Sign in

Noah Stephens-Davidowitz

@noahsd.bsky.social
208 followers 177 following 43 posts

Nerd, computer scientist (noahsd.com), Cornell CS prof. I spend a lot of time thinking about lattices and sometimes other things.

PostsRepliesMedia
Reposted by Noah Stephens-Davidowitz
Mike Masnick @masnick.com · 11/09/2026
Just did a quick look around and I don't see very many headlines about the President of the US making people pledge allegiance to him personally while telling everyone to commit election fraud and "cheat like hell" to support his party. Seems like it should be a story?
5758191881
Reposted by Noah Stephens-Davidowitz
Huck Bennett @huckbennett.bsky.social · 17/08/2026
Here's a thread about four papers of mine that are being presented at conferences this week. I won't be at any of them due to the start of classes at CU, but my awesome students and collaborators will! (And, no, none of these papers used AI except for typo checking in one case.) 1/
181
Reposted by Noah Stephens-Davidowitz
Henry Yuen @henryyuen.bsky.social · 01/08/2026
Some initial thoughts, and a complicated mix of feelings. Wow. I mean, Erdos problems are cool (I genuinely mean that), I didn't know about the Jacobian conjecture before it got disproved. But this newest batch from OpenAI hits home in a way the previous announcements did not.
232972
Reposted by Noah Stephens-Davidowitz
Bas Westerbaan @bwesterb.bsky.social · 09/07/2026
Every year we write about the exciting developments in post-quantum signatures. Last year didn't disappoint. But it's too late. As ekr wrote in 2024 "You go to war with the algorithms you have, not the ones you wish you had." ML-DSA will have to do for now. blog.cloudflare.com/ml-dsa-will-...
blog.cloudflare.com
Why we cannot wait for better post-quantum signature algorithms
NIST is advancing nine new post-quantum signature algorithms as potential candidates for future standardization. We take a closer look at all of them, and argue that while they are in the works and sh...
0116
Reposted by Noah Stephens-Davidowitz
Polling USA @usapolling.bsky.social · 11/06/2026
A reminder of how many times Trump has said a deal is right around the corner with Iran
613962
Reposted by Noah Stephens-Davidowitz
Costa Samaras @costasamaras.com · 28/04/2026
Hold on. We the taxpayers are going to pay companies $900 million, which is more than 6x what we spend on wind power R&D, to NOT build wind power at a time when electricity prices are spiking and we need more clean power?
24263062782
Reposted by Noah Stephens-Davidowitz
Huck Bennett @huckbennett.bsky.social · 18/03/2026
10 years ago today: my blog post on AlphaGo and Artificial Intelligence, which I wrote in grad school: hdbennett.wordpress.com/2016/03/18/a....
hdbennett.wordpress.com
AlphaGo and Artificial Intelligence
On Friday, March 11th the world’s best Go player, Lee Sedol, lost the third game in a row of a five game match to Google DeepMind’s AlphaGo program. Far from being just games, AlphaGo&#…
043
Reposted by Noah Stephens-Davidowitz
Michael Kinyon @profkinyon.bsky.social · 27/02/2026
Me, writing a proof of a "the following are equivalent" theorem: "(2) implies (3) is trivial" No, that's not supercilious enough "Only a nincompoop would fail to see that (2) implies (3)" No, that one would never get past the Editor "(2) implies (3) is, of course, trivial" Perfect
1152
Reposted by Noah Stephens-Davidowitz
arXiv @arxiv.bsky.social · 27/02/2026
Today arXiv remembers our colleague Joe Halpern, who was instrumental in founding arXiv's CS section. Joe's passions ranged far & wide and we're lucky that arXiv was one of them. Joe, thank you for giving so much to arXiv - you are missed. blog.arxiv.org/2026/02/27/remembering-joe-halpern
A picture of Joe Halpern smiling in green shirt in front of a blue background.
25414
Reposted by Noah Stephens-Davidowitz
Huck Bennett @huckbennett.bsky.social · 23/01/2026
I wrote a short expository note about a beautiful result of Carmosino, Gao, Impagliazzo, Mihajlin, Paturi, and Schneider for certifying NO instances of 3-SUM in roughly n^{3/2} time, beating the fastest known, roughly n^2-time deterministic algorithm: home.cs.colorado.edu/~hbennett/no.... 1/
home.cs.colorado.edu
2213
Noah Stephens-Davidowitz @noahsd.bsky.social · 07/01/2026
I wrote up a little blog post proposing a slightly different way to write asymptotic notation. www.solipsistslog.com/a-simple-and... In short, I think asymptotic notation should usually be written with an INequality. E.g., f(n) <= O(n^2), f(n) < o(log n), f(n) > 2^{-o(n)}, f(n) >= n^{-O(1)}, etc.
solipsistslog.com
A simple and modest proposal for improving asymptotic notation | Solipsist's Log
5165
Reposted by Noah Stephens-Davidowitz
Huck Bennett @huckbennett.bsky.social · 01/01/2026
To kick off 2026, here's a quick thread on a few mountain ascents from 2025, starting at home in Boulder, Colorado with Mount Sanitas (6,798') at night. 1/4
2101
Noah Stephens-Davidowitz @noahsd.bsky.social · 09/12/2025
New paper with Surendra Ghentiyala (my wonderful PhD student) and Zeyong Li (a PhD student at NUS) eccc.weizmann.ac.il/report/2025/... . I'm super excited about this paper!
eccc.weizmann.ac.il
ECCC - TR25-210
181
Reposted by Noah Stephens-Davidowitz
Tim Dedopulos @ghostwoods.bsky.social · 27/07/2025
French sign saying (in French) "Crepes and chocolates", left arrow. "Cruel world", right arrow. Harvested from the webs, no idea of attribution.
3643621192
Reposted by Noah Stephens-Davidowitz
Kevin M. Kruse @kevinmkruse.bsky.social · 31/05/2025
Sarah Huckabee Sanders was once politely asked to leave a restaurant and it generated 100x as much handwringing from the media as this will
176101363044
Reposted by Noah Stephens-Davidowitz
Adithya Bhaskara @adithyacolorado.bsky.social · 01/06/2025
Kimbrel's receipt of this honor is well-deserved! To celebrate, I'll discuss the matrix multiplication verification problem and his improvement with R.K. Sinha [KS93] to Freivalds' algorithm [Fre79]. More improvements are ongoing work, joint with @huckbennett.bsky.social and @noahsd.bsky.social!
152
Noah Stephens-Davidowitz @noahsd.bsky.social · 24/05/2025
I don't do this, but I should!
040
Reposted by Noah Stephens-Davidowitz
TCS+ @tcsplus.bsky.social · 08/05/2025
The recording of this week's talk, by Palak Jain (@thepalakjain.bsky.social), is now available online as well along with the slides: "Enforcing Demographic Coherence: A Harms-Aware Framework for Reasoning about Private Data Release" www.tcsplus.org/welcome/past...
tcsplus.org
TCS+ - 2024-2025
2025/05/07: Palak Jain, "Enforcing Demographic Coherence: A Harms-Aware Framework for Reasoning about Private Data Release" Palak Jain (Boston University)
034
Reposted by Noah Stephens-Davidowitz
Rude Law Dog @esghound.com · 30/04/2025
I had to upload the clip here because it's frankly insane. Possibly the most insane trump clip yet. His brain is pudding
2902747779
Reposted by Noah Stephens-Davidowitz
Thomas Steinke @stein.ke · 19/04/2025
I also find it interesting that, when kids are learning about primary colours in school, it's presented as some fundamental truth about the wider universe and not merely a quirk about how our eyes work.
1151
Noah Stephens-Davidowitz @noahsd.bsky.social · 18/04/2025
An exploration of different quantifiers via Beyonce's single ladies
media.tenor.com
a black and white photo of three women dancing in swimsuits .
ALT: a black and white photo of three women dancing in swimsuits .
160
Reposted by Noah Stephens-Davidowitz
Thomas Steinke @stein.ke · 03/03/2025
Alphanumeric citations [ABC00] strike the right balance between compactness & communication. Plain numeric citations [1] are compact, but convey no information. Author-year citations (Aaronson, Barrington, & Coppersmith, 2000) are too verbose, even if abbreviated (Aaronson et al. 2000).
6426
Reposted by Noah Stephens-Davidowitz
Huck Bennett @huckbennett.bsky.social · 10/02/2025
New work on faster algorithms for the code equivalence problem: eprint.iacr.org/2025/187! This came out of Jean-François Biasse's REU, and three great undergraduates (Drisana Bhatia, Medha Durisheti, and Lucas LaBuff) are among the coauthors.
eprint.iacr.org
Asymptotic improvements to provable algorithms for the code equivalence problem
We present several new provable algorithms for two variants of the code equivalence problem on linear error-correcting codes, the Linear Code Equivalence Problem (LCE) and the Permutation Code Equival...
0135
Reposted by Noah Stephens-Davidowitz
Jeremy Berg @jeremymberg.bsky.social · 08/02/2025
A Primer on Indirect Cost Rates
media.tenor.com
a cartoon says hey everybody an old man 's talking while bart simpson looks on
ALT: a cartoon says hey everybody an old man 's talking while bart simpson looks on
14997351