In 2001, as a university undergraduate, a friend and I were lucky enough to get the opportunity to meet the physicist Stephen Hawking at a small private reception after he gave a public lecture in Cambridge.
Thoughts about the Leiden Declaration
Last September I went to a workshop at the Lorentz Centre in Leiden to discuss mathematics and AI with historians, philosophers, computer scientists, AI researchers, and mathematicians of several d…
What is Hindley-Milner? (and why is it cool?) - Code Commit
Daniel Spiewak is a software engineer based out of Chicago, IL. Over the years, he has worked with Scala, Java, Ruby, Go, Haskell, C/C++, SML, Clojure, and countless other languages, covering topics ranging from type theory, compiler and language design, globally distributed systems, JVM optimization, large-scale AI data infrastructure, data structures, OLAP and OLTP databases, mechanical sympathy, and much more. He currently spends most of his free time maintaining the Cats Effect project and continuing to push the boundaries of what is possible at the intersection of mathematical reasoning and highly scalable production implementations.
Brandon Yates on Twitter / X
I wrote a cosmology paper that's under peer review.I can't post it to arXiv because I don't have a university affiliation.If any of you happen to have published in astro-ph. CO, gr-qc, or hep-ph and can endorse me, I'd owe you one.#AcademicTwitter #PhysicsTwitter #Cosmology…— Brandon Yates (@bmichaelyates) March 13, 2026
The Math Superstar Who’s Terrified of AI—and Just Took a Job at OpenAI
Jacob Tsimerman won the biggest prize in math. Now he’s working on the most important problem of his career.
Future of Scientific Publishing: Interview with Mathïs Fédérico - Writing Scientist
It started as a week-long writing bootcamp, with participants writing together on a video call. The week was a great success and everyone wanted to continue, so they did another week — and are continuing ever since.
The Year in Math and Computer Science
Mathematicians and computer scientists made big progress in number theory, graph theory, machine learning and quantum computing, even as they reexamined our fundamental understanding of mathematics…
steve hsu on Twitter / X
I think I’ve published the first research article in theoretical physics in which the main idea came from an AI - GPT5 in this case. The physics research paper itself (on QFT and state-dependent quantum mechanics) has been published in Physics Letters B.I've written an… pic.twitter.com/6IYDTS2JAt— steve hsu (@hsu_steve) December 3, 2025
Jermolene — learning to program since 1978
In April 2024 I gave the opening keynote at the software industry conference “QCon London” under the title "The Home Computer That Roared: How the BBC Micro Shaped Our World".
Out of Nowhere: The Emergence of Spacetime in Quantum Theories of Gravity
Out of Nowhere is the monograph co-authored by Nick Huggett and Christian Wüthrich, which appeared in 2025 from Oxford University Press. Selected chapters are posted here. (Our publication agreemen…
Write You a Haskell ( Stephen Diehl )
When compilers surprise you — Matt Godbolt’s blog
Sometimes compilers can surprise and delight even a jaded old engineer like me
Thomas Wolf on Twitter / X
wtf is this way to handle mathematicians work and scientific communicationTLDR: Leven and Tristan worked over several months on one of the Millenium Prize Problems with various AIs to reach final interesting results. OpenAI apparently heard about it in the last days and… https://t.co/zNozwkFcFO pic.twitter.com/XcefJ17AQe— Thomas Wolf (@Thom_Wolf) September 8, 2026
🔬Doing Vibe Physics — Alex Lupsasca, OpenAI
The full story of how GPT‑5.x derived new results in theoretical physics and quantum gravity.
Niklaus Wirth
Niklaus Wirth (born 1934 in Switzerland) is one of the most prominent computer scientists, mostly known for creating Pascal and several other programming languages.
Webb Telescope & The Big Bang - NASA Science
The concept of the Big Bang is both simple and easy to misunderstand. Dr. John Mather, Nobel Laureate and James Webb Space Telescope Senior Project Scientist,
Ian Preston (@ianopolous.bsky.social)
Mathematician/particle physicist turned privacy researcher. Java Rockstar #Oxford Building a better web - private, self-sovereign identity, p2p, social - with @peergos.org. Public social media undermines democracy. #covidisairborne #maskswork #cleantheair
