I posted on When did Math get so hard? a commenter pointed out that one can also ask When did Computer Science Theory Get so Hard? For t...
The Missing Discipline in Computer Science
On Teaching Computer Scientists to Ask “Why”
Computational Thinking for All Students
Posted by Maggie Johnson, Director of Education and University Relations, Google(Crossposted on the Google for Education Blog, and the the Huffingt...
Anatomy of an Enduring Gender Gap: The Evolution of Women’s Participation in Computer Science
Given growing interest in computing fields, as well as a longstanding gender gap in computer science, this study used nationwide survey data on college students during 4 decades to: (a) document tr...
When Women Stopped Coding
For decades, the share of women majoring in computer science was rising. Then, in the 1980s, something changed.
When Women Stopped Coding
For decades, the share of women majoring in computer science was rising. Then, in the 1980s, something changed.
Tony Feng on Twitter / X
I am a mathematician but I avoided commenting on this because the problems are (far) outside my domain. Even if I sat down to read the technical details (which I have not), it would be hard to appreciate the context of prior work, etc. But I've gotten enough sense of things… https://t.co/VZzosBYFto— Tony Feng (@tonylfeng) August 5, 2026
Theory Beyond Theorems and Proofs: A Guest Post
Scott’s foreword: I’m extremely grateful to my brilliant colleagues, Pravesh Kothari, Raghu Meka, and Prasad Raghavendra, for sharing the guest post below about how theoretical computer…
The Past and Present of Computer-Augmented Hypothesis Generation
Don Swanson’s career started on a path familiar to many who read this blog.
The Mathocalypse
Last night my 9-year-old son was taunting my wife, complexity theorist Dana Moshkovitz, as follows: “mommy, I heard you got cooked! I heard that a robot solved the math problem you worked on …
An Introduction To Robust-First Computation
Did you know there's an entire field of computer science barely yet explored? Join me at the entrance to a deep rabbit hole as we take a look at Robust-First Computation.
A Mathematical Theory of Communication
"A Mathematical Theory of Communication" is an article by mathematician Claude Shannon published in Bell System Technical Journal in 1948. It was renamed The Mathematical Theory of Communication in the 1949 book of the same name, a small but significant title change after realizing the generality of this work. It has tens of thousands of citations, being one of the most influential and cited scientific papers of all time, as it gave rise to the field of information theory, with Scientific American referring to the paper as the "Magna Carta of the Information Age", while the electrical engineer Robert G. Gallager called the paper a "blueprint for the digital era". Historian James Gleick rated the paper as the most important development of 1948, placing the transistor second in the same time period, with Gleick emphasizing that the paper by Shannon was "even more profound and more fundamental" than the transistor.
The fall of the theorem economy
How AI could destroy mathematics and barely touch it
The fall of the theorem economy
How AI could destroy mathematics and barely touch it
Applied Pure Mathematics
Some thoughts about mathematics as a cultural and social technology.
