How is it that I only recognize 2 restaurants on this list (and haven't been to either of those)?! nytimes.com/article/best-r…

I received the NSF CAREER award! Needless to say, I am pretty happy about it. But what makes me really excited is that this will support my research on the entanglement bootstrap (EB) program! Here's a long 🧵 on the origin of the EB program, from my personal perspective.

Very excited to share these new results on #AI for #quantumcomputing from Q-CTRL Our team developed a new learning-to-rank technique that can dramatically boost the efficiency of "layout selection" necessary to run algorithms on real hardware arxiv.org/abs/2404.06535

I still find the idea of applying corporate management techniques to fundamental scientific research so funny. Like what do you mean I need to align my work to our quarterly OKRs, I'm trying to touch the mind of God over here.

The amazing #quantum #EDA capabilities in Boulder Opal from Q-CTRL are now expanding to photonic circuits! Design, Automate, and Scale... Xanadu ORCA Computing @Quandela_SAS @QuiXQuantum arxiv.org/abs/2508.16505

“I’m concerned about the health of the field in terms of finding a way not to rely on freaks like myself wandering in off the street who don’t need to have a salary, don’t care about tenure, and are just doing this stuff for fun ...” simonsfoundation.org/2025/08/12/a-s…

The essence of great software is the quality of its abstractions. Great abstractions are indefinitely composable and stackable. They become a dependable foundation for future work, future thought. The best ones are so robust you never have to revisit them -- you can forget them

Leaving Meta and PyTorch I'm stepping down from PyTorch and leaving Meta on November 17th. tl;dr: Didn't want to be doing PyTorch forever, seemed like the perfect time to transition right after I got back from a long leave and the project built itself around me. Eleven years

Bombshell: Oliver Sacks (a humane man & a fine essayist) made up many of the details in his famous case studies, deluding neuroscientists, psychologists, & general readers for decades. The man who mistook his wife for a hat? The autistic twins who generated multi-digit prime

Here's an important question that we must contend with increasingly as AI-for-Mathematics pipelines become more commonplace: Why do we care about solving hard problems? Almost always, the answer is *not* because we particularly want the hard problem to be solved. (1/12)

J Cole sampled Andrew Wiles’ interview talking about his work on Fermat’s Last Theorem lol

Powerful statement. I applaud Dario.

We are pleased to share that using Gauss, we have completed a ~200K LOC formalization of Maryna Viazovska’s 2022 Fields Medal theorems on optimal sphere packing in dimensions 8 and 24. This is the only Fields Medal-winning result from this century to be completely formalized,