Noah Stephens-Davidowitz @NoahSD
Nerd, computer scientist (https://t.co/HTZHaHNoS7), Cornell CS prof. I spend a lot of time thinking about lattices and sometimes other things. noahsd.com Joined February 2009-
Tweets9K
-
Followers3K
-
Following2K
-
Likes13K
@JohnBal14046363 I once had a conversation with Akshay Venkatesh where he was explaining some result to me and I commented “wow, you read that [difficult] paper?” And he replied “well, I imagined I read it.” Made a big impression on me.
@ml_fest_at Yeah. I comment on that in the post. It makes sense technically, but 1) more-or-less any mathematical notation is formally equivalent to some kind of set membership; that doesn't mean we should write it as such; and 2) this hasn't caught on because it doesn't match our intuition.
I wrote up a little blog post proposing a slightly different way to write asymptotic notation. solipsistslog.com/a-simple-and-m… In short, I think asymptotic notation should often 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)}.
I know that this is not an original idea. It seems that many authors use this notation already, at least in some contexts. I have not seen anyone advocate for its widespread adoption, so I thought I would.
And, using these conventions means that authors must think a bit about what they actually mean when they use asymptotic notation, which is a good thing.
Left: Interim U.S. Attorney Ed Martin dismisses Jan. 6 case of Jose Padilla on Jan. 21, 2025 Right: Interim US Attorney Ed Martin seeks to withdraw as Padilla’s counsel of record on Feb. 5, 2025 He signed a dismissal for a client he was still recorded as representing.
Almost three years later, I found a proof that I really like and wrote it up formally: noahsd.com/exponential_is… .
Dumb question that's bugging me: What's a really nice clean proof that 2^n grows faster than any polynomial? (Clean is obviously ill-defined here, but I mean short, intuitive, and using as little fancy math as possible.)
A look back at The Future of Publishing: A festival in New York City. @SethS_D discusses writing a book in 30 days with the help of AI.
Congratulations to @Eshan_chattopad and David Zuckerman on winning the Held Prize! For their groundbreaking work on randomness extraction.
Eshan Chattopadhyay of @Cornell and David Zuckerman of @UTAustin are the recipients of the 2024 Michael and Sheila Held Prize for their novel work on randomized algorithms, which you can learn more about here: bit.ly/held-prize-2024 #NASaward #ComputerScience
A great preprint appeared on arXiv this morning by Marcelo Campos, Marcus Michelen, Julian Sahasrabudhe and Matthew Jensen -- the first improvement by more than a constant factor to the lower bound for sphere packing in large dimensions since 1947. 1/10 arxiv.org/abs/2312.10026
First review of Who Makes the NBA, from one of my heroes @tylercowen, who says "It's quite good!" and "I really liked this book." marginalrevolution.com/marginalrevolu…
My new book, Who Makes the NBA, is out today!!!! This is one of my favorite charts from the book: the advantage fathers pass to their sons in various fields. I expanded it based on twitter comments. bit.ly/41f0JBy
My 3rd favorite chart from Who Makes the NBA (out today!!!) amazon.com/Who-Makes-NBA-…
DAY 3 OF MY CHALLENGE TO WRITE A (GOOD) BOOK ON THE NBA IN 30 DAYS, THANKS TO AI's DATA ANALYSIS TOOLS. Have you ever wondered: Who would be the best basketball player of all time if everybody were the same height? 🧵
Amazing: Zeyong Li showed that the complexity class S_2 E requires near-maximum circuit size on 𝐚𝐥𝐦𝐨𝐬𝐭 𝐞𝐯𝐞𝐫𝐲 input length, as well as a "genuine" (no infty often caveats) pseudodeterministic ZPP^NP algorithm for range avoidance! eccc.weizmann.ac.il/report/2023/15… (1/4)
Gautam Kamath @thegautamkamath
69K Followers 641 Following Assistant Prof of CS @NYU_Courant. Co-EiC @TmlrOrg. I lead @TheSalonML.
Phil Galfond @PhilGalfond
154K Followers 1K Following Pro poker player, coach, founder of @RunItOnce and https://t.co/927KDhVvo3 coaching. Playing on @BetRiversPoker!
Tom Gur @TomGur
6K Followers 336 Following Professor @Cambridge_Uni. My research is in Theoretical Computer Science and Quantum Computing.
Ryan Williams @rrwill... @rrwilliams
9K Followers 496 Following Professor @MITEECS and @MIT_CSAIL. Complexity, algorithms, and related math. I'll let you know when P != NP (and when it's not)
𝖬𝖺𝗁𝖽𝗂 ... @mahdi_tcs_
5K Followers 752 Following CS prof@ U. Michigan-Ann Arbor. Opinions are mine & may evolve. r/t≠endorsement. I don't interact w/ anonymous accounts. Moving to Bluesky: @mahdi.ch he/him/his
Sasho Nikolov (thesas... @thesasho
5K Followers 450 Following Associate professor at U of T. Computer science and math research: (differentially) private data analysis, geometry, discrepancy, optimization.
Pravesh K. Kothari @praveshkkothari
4K Followers 573 Following Associate Professor @PrincetonCS @Princeton Applied Math (PACM) Research: Theoretical Computer Science
Aaron Roth @Aaroth
13K Followers 677 Following CS prof at Penn. Amazon Scholar at AWS. Author of The Ethical Algorithm (w/ Michael Kearns). I study machine learning, privacy, game theory, and uncertainty.
Huck Bennett @huckbennett
672 Followers 560 Following Faculty at the University of Colorado. Interested in theoretical computer science, and especially lattices. Also: mountains, running, music.
Arya Mazumdar @MountainOfMoon
5K Followers 372 Following Professor @UCSanDiego Dy. Director+AD Research NSF AI Inst https://t.co/wblPm6DhUX, UCSD Site Lead @encoreinstitut Information Theory, Coding Theory, Machine Learning
Daniel Litt @littmath
65K Followers 945 Following Assistant professor (of mathematics) at the University of Toronto, visiting Harvard Fall 2026. Forever confused. Algebraic geometry, number theory, etc. He/him.
Talia Ringer 🕊🪬 @TaliaRinger
35K Followers 7K Following Professor, @plfmse, @IllinoisCS! Interactive Proof. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Jonathan Ullman @thejonullman
3K Followers 278 Following Associate Professor of Computer Science @KhouryCollege @Northeastern. Probably an imposter.
Jukka Suomela @JukkaSuomela
2K Followers 1K Following Associate Professor, Department of Computer Science @CSAalto, @AaltoUniversity. Research interests: theory of distributed and parallel computing.
Carsten Baum @crypto_carsten
3K Followers 426 Following Associate Professor in Cryptography at @DTU_Compute in Copenhagen, Denmark. Any opinions are entirely mine.
Greg Bodwin @GregBodwin
1K Followers 375 Following Assistant professor at @EECSatMI. I do theoretical computer science and graph theory.
Jason Hartline @jasondhartline
2K Followers 434 Following Prof at @NorthwesternCS & @NUEconomics (by courtesy). Theory of computation, online markets, theoretical foundations of AI, and CS+Law.
Martin R. Albrecht @martinralbrecht
4K Followers 439 Following Find me on those other sites if you came here for the fun cryptography.
Jason Lee @jasondeanlee
44K Followers 5K Following Associate Professor CS/stats UC Berkeley and Senior Scientist at Simons Institute. ML/AI Researcher working on LLMs and deep learning.
Shriram Krishnamurthi... @ShriramKMurthi
25K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Stochastic Step @StochasticStep
0 Followers 190 Following
Daniel Shteinbuk @DanielShteinbuk
650 Followers 7K Following
Stefan Szeider @StefanSzeider
661 Followers 197 Following Find me on Bluesky https://t.co/f2oRpM7cHd
yakirovski @yakirovski
1 Followers 404 Following
mironov @mironov56790504
1 Followers 53 Following
Christian Schaffner @theoryamsterdam
336 Followers 357 Following Professor Theoretical Computer Science, Informatics Institute at @UvA_Amsterdam. Director @QuSoftAmsterdam, chair of https://t.co/J4jNbB5iTc
Reza Sheikhi @resheikhi
372 Followers 5K Following Computer Science | Applied Mathematics | Artificial Intelligence | Data Science | Quantitative Finance & Derivatives | Computational Science
LLLLLLL @LLLLLLL1216751
3 Followers 101 Following
Johannes Schwarz @almostoverboard
76 Followers 476 Following
Steve Perkins @perky_29651
162 Followers 1K Following Knowledge is the only currently that never loses its value 🔺️🔺️
Ujjwal (Ulysses) Sehr... @ujjwaltz
10 Followers 2K Following An ü-adic soliton drifting athwart the undulating curls of space-time-matter ab initio immemorabilli ad infinitum
wormhole @wapurun
21 Followers 1K Following stop living in Minecraft survival mode, start living in creative mode
Sathwik Trades @SathwikTrader
20 Followers 507 Following
Dev @dev_kar_
18 Followers 69 Following
Armin PCM @ArminPCM
2K Followers 6K Following Director @ Adobe Firefly Foundation Model 👑✌️ Javid Shah ✌️👑 PhD | RL, Eval, & Benchmarking
Ted Peters @TedAPeters
61 Followers 715 Following
Mohammed Amine BEN CH... @AmineLehocine
18 Followers 2K Following
Jack Peaches @jack_peaches
186 Followers 7K Following Opinions are not my own. A muse tells me what to post or do and right now she is disappointed in you. We can do better.
Pensé FFun @inftyCategory
128 Followers 8K Following
Rosanne Brown @Patrick46215
182 Followers 8K Following
Mariana @Lizardqueen954
115 Followers 347 Following
Giulio Frey @giulio_frey
145 Followers 438 Following Researcher in Applied AI @ChicagoBooth. Prev. Econ BSc and MSc @Unibocconi. Microeconomics and CS
Phyao @Penghui_Yao
191 Followers 325 Following
cezanne Nandi @CezanneNandi
499 Followers 3K Following life is all about making a move,,, because the only else day was yesterday.💓💯 La vida se trata de hacer un movimiento,,, porque el único día diferente fue ay
Desmonderci @desmonderci
56 Followers 2K Following I'm a $202 mega million lottery winner I’m so blessed🙏and grateful💯I'll be giving away $5000 randomly.
Jérôme Guyot @_JeromeGuyot
2 Followers 85 Following PhD student at EPFL Quantum, Cryptography & Complexity
Nima @nimily__
2 Followers 210 Following
Zihan Tan @zihantan09
944 Followers 124 Following Assistant Professor @UMNComputerSci. Research interest: theoretical computer science.
Medium Latte @hiphoppityhop
0 Followers 337 Following
Vir Pathak @VirPathak86141
3 Followers 36 Following
Justin Thaler @SuccinctJT
66K Followers 2K Following Research Partner @ a16z crypto Associate Professor of CS at Georgetown.
Adwaiya @adi9973
4 Followers 109 Following budding cryptographer. professional funny person. retired free will haver. Ashoka | IIT B
xzzhddkdkshf 19301930... @X1930193023
0 Followers 41 Following
Prof Anon CS @profannoncs
6 Followers 467 Following
John Lilic @johnlilic
5K Followers 3K Following 501c3 @codetoinspire | current: co-founder & CSO @usetria | prev: @consensys @0xPolygon | angel: @morpholabs @build_on_bob @streamflow_fi @lissen
Dylan Foster 🐢 @canondetortugas
5K Followers 2K Following Incoming professor @UCBerkeley in EECS and Statistics. Principal Researcher @ Microsoft Research. AI & RL. Lecture Notes: https://t.co/bhgL3aKIk0
FLUCTONIC Frédéric ... @FLUCTONIC
178 Followers 7K Following My hypotheses on: Cancer, Prime Numbers, Perfect Numbers, Attenuation of viremia, Quantum Mechanics, Free Fall on air https://t.co/ktA0oD5WmK
promach @thecocopopcorn
108 Followers 7K Following
Gautam Kamath @thegautamkamath
69K Followers 641 Following Assistant Prof of CS @NYU_Courant. Co-EiC @TmlrOrg. I lead @TheSalonML.
Jelani Nelson @minilek
53K Followers 355 Following Member of Technical Staff @AnthropicAI. On leave from @Berkeley_EECS. Founder @addiscoder. Posts are personal views. 🇻🇮🇺🇸🇪🇹
Boaz Barak @boazbaraktcs
36K Followers 890 Following Computer Scientist. See also https://t.co/EXWR5k634w . @harvard @openai opinions my own.
TCS blog aggregator @cstheory
5K Followers 9 Following Posts from the Theory of Computing Blog Aggregator maintained by @nimaanari, @abhatt2, and @thegautamkamath.
Tom Gur @TomGur
6K Followers 336 Following Professor @Cambridge_Uni. My research is in Theoretical Computer Science and Quantum Computing.
Ryan Williams @rrwill... @rrwilliams
9K Followers 496 Following Professor @MITEECS and @MIT_CSAIL. Complexity, algorithms, and related math. I'll let you know when P != NP (and when it's not)
𝖬𝖺𝗁𝖽𝗂 ... @mahdi_tcs_
5K Followers 755 Following CS prof@ U. Michigan-Ann Arbor. Opinions are mine & may evolve. r/t≠endorsement. I don't interact w/ anonymous accounts. Moving to Bluesky: @mahdi.ch he/him/his
Sasho Nikolov (thesas... @thesasho
5K Followers 450 Following Associate professor at U of T. Computer science and math research: (differentially) private data analysis, geometry, discrepancy, optimization.
Pravesh K. Kothari @praveshkkothari
4K Followers 573 Following Associate Professor @PrincetonCS @Princeton Applied Math (PACM) Research: Theoretical Computer Science
Aaron Roth @Aaroth
13K Followers 677 Following CS prof at Penn. Amazon Scholar at AWS. Author of The Ethical Algorithm (w/ Michael Kearns). I study machine learning, privacy, game theory, and uncertainty.
Nutan Limaye @nutanlimaye
3K Followers 300 Following Also at @nutanlimaye.bsky.social and @[email protected]
Huck Bennett @huckbennett
672 Followers 560 Following Faculty at the University of Colorado. Interested in theoretical computer science, and especially lattices. Also: mountains, running, music.
Timothy Gowers @wtgow... @wtgowers
60K Followers 193 Following Mathematician. Professeur titulaire de la chaire Combinatoire au Collège de France. Also fellow of Trinity College Cambridge.
Rasmus Pagh @RasmusPagh1
2K Followers 382 Following Professor of computer science at @barcdk, University of Copenhagen. Interested in random things and their applications. Also @rasmuspagh.net on BlueSky
Arya Mazumdar @MountainOfMoon
5K Followers 372 Following Professor @UCSanDiego Dy. Director+AD Research NSF AI Inst https://t.co/wblPm6DhUX, UCSD Site Lead @encoreinstitut Information Theory, Coding Theory, Machine Learning
Daniel Litt @littmath
65K Followers 945 Following Assistant professor (of mathematics) at the University of Toronto, visiting Harvard Fall 2026. Forever confused. Algebraic geometry, number theory, etc. He/him.
Simons Institute for ... @SimonsInstitute
10K Followers 352 Following The world's leading venue for collaborative research in theoretical computer science. Follow us at https://t.co/KvcuGI7WM0.
IACR @IACR_News
12K Followers 4 Following The International Association for Cryptologic Research (IACR) is a non-profit scientific organization in the field of cryptology and related fields.
levent @__alpoge__
53K Followers 223 Following idiot. cuda og, harvard val, morgan prize, society of fellows, 1 hilbert problem so far, creating friendly, SAFE, delightful, supergenius ..things @anthropicai
Ce Jin @jcvbcn
1K Followers 2K Following
Zihan Tan @zihantan09
944 Followers 124 Following Assistant Professor @UMNComputerSci. Research interest: theoretical computer science.
CU Boulder Engineerin... @CUEngineering
8K Followers 2K Following The Twitter account for news and updates from @CUBoulder’s College of Engineering and Applied Science | one of the top-ranked programs in the nation. #BeBoulder
Max Hopkins @MHop_Theory
829 Followers 355 Following Postdoc @Princeton-@the_IAS. PhD '24 @UCSanDiego theory. Inputs sushi. Occasionally outputs combinatorics. Likes learning things (mostly halfspaces). He/Him.
Ian Mertz @ian_mertz
285 Followers 107 Following Complexity theory person. Postdoc in the Computer Science department at University of Warwick, occasional translator. Tea and breathing enthusiast. he/him
Naomi Saphra @nsaphra
11K Followers 1K Following Waiting on a robot body. All opinions are universal and held by both employers and family. Now a dedicated grok hate account. (I post more elsewhere.)
Ethan Siegel @StartsWithABang
44K Followers 3K Following "Some blogger who doesn’t even write a single paper in a decade." #Cosmology Science writer, astrophysicist, author, communicator. He/him or they/them.
Rafael Oliveira @roliveira641
134 Followers 136 Following Assistant Professor of Computer Science at @UWaterloo, working on Algebra, Geometry, Complexity, Optimization. 🇧🇷-🇺🇸-🇨🇦
Pranjal Dutta (প্... @WeirdlyPranjal
467 Followers 425 Following CS Faculty @NTUsg |Past: Postdoc @NUSComputing, Google PhD Fellow (2018-22) at CMI & @cseatiitk | Research: Theoretical CS | Amateur poet & proud Bengali
Sidhanth Mohanty @sidzekrom
233 Followers 492 Following
Willy Quach @WillyQuach
17 Followers 16 Following
Hanlin Ren @dfc7027894e168c
637 Followers 534 Following
Nico Döttling @nicodoettling
531 Followers 297 Following Vanitas! Vanitatum vanitas! Cryptographer, Tenured Faculty at CISPA Helmholtz Center for Information Security. Opinions here are my own
Sílvia Casacuberta @SiCaPu
899 Followers 2K Following CS PhD student & @KnightHennessy scholar @Stanford. Prev.: @UniofOxford with @rhodes_trust, @Harvard '23, @MPI_IS, @CSatETH, @IBM. Theory CS for Trustworthy AI
Kasper Green Larsen @kasperglarsen
2K Followers 260 Following Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
sainyam galhotra @SainyamGalhotra
858 Followers 670 Following Asst. Professor, @cornellcis Computing Innovation Postdoctoral Fellow, UChicago PhD, UMass Amherst
Joy Yang 🕊 @nerd_qp
174 Followers 419 Following PhD Student @Sydney_Uni. Prev: @NUSingapore; @NTUsg. Statistics, learning theory and algorithms. Introvert. He/Him.
Latif Nasser @latifnasser
66K Followers 5K Following nerdy writer type. mostly harmless. co-host, wnyc's @radiolab. host, #theotherlatif and #connectednetflix
Jiaxin Pan @csplator
523 Followers 280 Following Cryptographer @uni_kassel, and part-time @NTNUnorway
Schloss Dagstuhl @dagstuhl
3K Followers 19 Following hosts CS research seminars · publishes open-access conference proceedings LIPIcs · operates literature database DBLP · non-profit
Out of Spec Studios @Out_of_Spec
32K Followers 13 Following Road trips, track tests, and reviews all centered around the love of motoring. https://t.co/ANUamZXDv0
Kyle Conner @itskyleconner
67K Followers 62 Following Running @Out_of_Spec | Find me on your nearest mountain road
Nick Spooner @_nickspoon
1K Followers 505 Following Assistant Professor @Cornell_CS. CS theory, cryptography, quantum computing. he/him
David Plotz @davidplotz
45K Followers 795 Following CEO, City Cast (https://t.co/4p1ViPPouF); Host, @SlateGabfest; former CEO, @Atlasobscura; former EIC, @Slate.
_ @jdickerson
1.8M Followers 3K Following
Allison Koenecke @allisonkoe
1K Followers 251 Following asst prof @CornellInfoSci | fairness in tech and public health | alum of @MSRNE, @ICMEStanford, @NERA_Economics, @MITMath | she/her
Cornell ECE @CornellECE
2K Followers 247 Following Where science meets engineering, theory meets practice, and elegance meets relevance. #CornellECE The School of Electrical and Computer Engineering at Cornell
Benjamin Laufer @BenDLaufer
775 Followers 580 Following Senior Applied Scientist @Microsoft, incoming Assistant Professor at @UW. Formerly PhD @cornellCIS @Cornell_Tech and ORFE @Princeton.
Dhruv Agarwal @agdhruv
778 Followers 218 Following PhD @Cornell. Past: @MSFTResearch, @GoogleDeepMind, @ashokauniv. Sports fan!
Aditya Vashistha @imadityav
1K Followers 195 Following Faculty @CornellCIS. Previously: PhD @uwcse, @Meta Fellow, @MSFTResearch. Research interests in HCI, ICTD, and Responsible AI.
Katherine Lee is at I... @katherine1ee
6K Followers 952 Following understanding ourselves and our models @openai
Wildtype @wildtypefoods
10K Followers 941 Following Wildtype salmon isn’t plant-based, farmed-raised, or wild-caught. Introducing cultivated seafood. Want a first taste? Join our waitlist at the link.
дблп - ☮ Stop t... @dblp_org
2K Followers 93 Following dblp computer science bibliography we are currently trying out: https://t.co/yejhKScR9E
The Isogeny Club @IsogenyClub
537 Followers 1 Following X no longer regularily updated, follow our website instead --- A bi-weekly virtual seminar for young isogenists. YT: https://t.co/5INrWPG0Xr
Joey Fox @joeyfox85
29K Followers 515 Following HVAC Engineer. P. Eng. @O_S_P_E IAQ Advisory Group Chair. No COIs. https://t.co/Gy3qvimAap
Mastodon (@Mastodon@m... @joinmastodon
145K Followers 2 Following Mastodon is the largest decentralised social network on the internet. Built on open web standards by a non-profit. Learn more on our website!
Lulu Miller @lmillernpr
45K Followers 3K Following Co-Host of Radiolab. Host of Terrestrials. Co-founder of NPR’s Invisibilia. Mom. Science nerd. Author of international bestseller "Why Fish Don't Exist.” 🌈
Hamed Hatami @HamedHa26534517
426 Followers 312 Following Computer Scientist and Mathematician | here for doom scrolling | Professor @McGillU;
Barna Saha @B1ar2n3a
2K Followers 102 Following Director of EnCORE Institute, Computer Scientist, UCSD Prof, Previously UC Berkeley, UMass Amherst, AT&T Labs. https://t.co/V8B6uqq26t
Rasmus @rjkyng
128 Followers 644 Following Associate Professor in Computer Science at ETH Zurich @[email protected]

























