zach lieberman on Twitter / X

Humanities in the Machine - Blain Smith

There is something quietly remarkable about the people who built the foundations of modern computing. Not their technical achievements, though those are extraordinary. What is remarkable is where they came from before they ever touched a machine.

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

100% Utilization

Since the end of the Second World War, we have come to expect continual growth in computing power and the rapid development of digital technology. This dynam...

DOGE Blitzkrieg: on Musk's artificial intelligence statecraft

Published in Science as Culture (Ahead of Print, 2026)

Thirty Years On, the Californian Ideology is Alive and Well

In the seminal essay, Barbrook and Cameron insisted that there are other ways to build technology, and to do it democratically, writes Nathan Schneider.

Thomas Wolf on Twitter / X

Very thoughtful piece from Kevin Buzzard (perfect IMO score, number theorist, pioneer of formal maths in Lean)if math is not just about “human understanding,” then what is it about?and if ai capabilities keep growing exponentially what happens since “mathematics is infinite”? https://t.co/h7yYmZS01T pic.twitter.com/wFp2fec52Q— Thomas Wolf (@Thom_Wolf) October 2, 2026

Orion Reed

My research investigates the intersection of computing, human-system interfaces, and emancipatory politics. I am interested in the potential of computing as a medium for thought, as a tool for collective action, and as a means of emancipation.

Liberatory Computing

We live under a capitalist mode of computing. The tools, languages, techniques, and assumptions of digital systems are structured by economic forces that shape not just what we can do, but what we can imagine doing. By separating production from use, producing inflexible software, and slicing up computing into siloed apps, your agency is held back by a tech industry that profits from a population rendered computationally passive.

Liberatory Computing

We live under a capitalist mode of computing. The tools, languages, techniques, and assumptions of digital systems are structured by economic forces that shape not just what we can do, but what we can imagine doing. By separating production from use, producing inflexible software, and slicing up computing into siloed apps, your agency is held back by a tech industry that profits from a population rendered computationally passive.

E.W. Dijkstra Archive: On the cruelty of really teaching computing science (EWD 1036)

The second part of this talk pursues some of the scientific and educational consequences of the assumption that computers represent a radical novelty. In order to give this assumption clear contents, we have to be much more precise as to what we mean in this context by the adjective "radical". We shall do so in the first part of this talk, in which we shall furthermore supply evidence in support of our assumption.

The Rise of Silicon Valley’s Techno-Religion (Published 2025)

The Rationalists, a community focused on the risks of artificial intelligence, regularly gather with tech figures and other like-minded people in a complex that covers much of a city block.

No. 008: AI co-mathematician, compiler-verified protocols, open infrastructure bets - The Hallway Track

The Hallway Track No. 008 - How AI is affecting the practice of science

Applied Pure Mathematics

Some thoughts about mathematics as a cultural and social technology.