Stefan Grosser
@stefangrosser.bsky.social
CS PhD Student at McGill
https://blog.catalangrenade.com/p/about.html
https://blog.catalangrenade.com/p/about.html
Reposted by Stefan Grosser
BREAKING: A source tells me that the Trump administration has shut down public access to every single National Climate Assessment, the Congressionally-mandated quadrennial report assessing how climate change is affecting the U.S.
This is what you get when you try to access them online
This is what you get when you try to access them online
June 30, 2025 at 8:06 PM
BREAKING: A source tells me that the Trump administration has shut down public access to every single National Climate Assessment, the Congressionally-mandated quadrennial report assessing how climate change is affecting the U.S.
This is what you get when you try to access them online
This is what you get when you try to access them online
Reposted by Stefan Grosser
STOC will have an on-line poster session and gathering Monday June 23rd from 6-7 PM CEST (GMT+2). Submissions welcome by June 12th.
acm-stoc.org/stoc202...
acm-stoc.org/stoc202...
June 4, 2025 at 12:36 PM
STOC will have an on-line poster session and gathering Monday June 23rd from 6-7 PM CEST (GMT+2). Submissions welcome by June 12th.
acm-stoc.org/stoc202...
acm-stoc.org/stoc202...
What is the greatest name for a theorem you can think of?
Last year, Ian Mertz and I realized that the small improvement of the Cook-Mertz algorithm for Tree Evaluation to space log n loglog n / logloglog n should be called the Four Russians in Space Theorem
Last year, Ian Mertz and I realized that the small improvement of the Cook-Mertz algorithm for Tree Evaluation to space log n loglog n / logloglog n should be called the Four Russians in Space Theorem
May 20, 2025 at 5:18 PM
What is the greatest name for a theorem you can think of?
Last year, Ian Mertz and I realized that the small improvement of the Cook-Mertz algorithm for Tree Evaluation to space log n loglog n / logloglog n should be called the Four Russians in Space Theorem
Last year, Ian Mertz and I realized that the small improvement of the Cook-Mertz algorithm for Tree Evaluation to space log n loglog n / logloglog n should be called the Four Russians in Space Theorem
Reposted by Stefan Grosser
It's HERE! IT'S REAL!
I cannot wait for this book to be out in the world. 27 days until MORE EVERYTHING FOREVER hits the shelves! In the meantime, if you're tired of autocratic billionaires and their horrifying ideas for the future, pre-order the book here: www.hachettebookgroup.com/titles/adam-...
I cannot wait for this book to be out in the world. 27 days until MORE EVERYTHING FOREVER hits the shelves! In the meantime, if you're tired of autocratic billionaires and their horrifying ideas for the future, pre-order the book here: www.hachettebookgroup.com/titles/adam-...
March 26, 2025 at 8:21 PM
It's HERE! IT'S REAL!
I cannot wait for this book to be out in the world. 27 days until MORE EVERYTHING FOREVER hits the shelves! In the meantime, if you're tired of autocratic billionaires and their horrifying ideas for the future, pre-order the book here: www.hachettebookgroup.com/titles/adam-...
I cannot wait for this book to be out in the world. 27 days until MORE EVERYTHING FOREVER hits the shelves! In the meantime, if you're tired of autocratic billionaires and their horrifying ideas for the future, pre-order the book here: www.hachettebookgroup.com/titles/adam-...