When did Computer Science Theory Get so Hard?

The Missing Discipline in Computer Science

On Teaching Computer Scientists to Ask “Why”

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

The Past and Present of Computer-Augmented Hypothesis Generation

Don Swanson’s career started on a path familiar to many who read this blog.

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

Terence Tao – Kepler, Newton, and the true nature of mathematical discovery

“And what those stories teach us about how AI will revolutionize math”

A quote from Andrew Quinn

One could say in the first quarter-century of my life, that while I was always fascinated by programming, I could never overcome the guilt of not really knowing whether the …

Experts Argue Whether Computers Could Reason, and if They Should (Published 1977)

Computer world is in midst of fundamental dispute over question of computer intelligence since MIT Prof Joseph Weizenbaum wrote book arguing that machines can never be made to reason like people and should not be; Weizenbaum por (M)

Phillip M. Alday

I was a struggling mathematician, then a linguist and now a (cognitive) neuroscientist, but will probably always be a hacker. I also moonlight as an applied statistician. These are some of the things I’ve done along the way.

A balanced review of Math Academy | Hacker News

(At the time I recommended my son start doing Math Academy, I had done 3722 XP myself, which is about 60 hours' worth.)

</> htmx ~ Yes, and...

In this essay, Carson Gross discusses his advice to young people interested in computer science worried about the future given the advancements in AI.