Pages

▼
4.6.26

Professor Emeritus

›
After retiring last July, the University Senate have approved my emeritus status. I'm grateful to Julian Bradfield for his work drafting...

A good life for the 99% isn’t a pipe dream: it can be done. Here’s how

›
Thomas Piketty is at it again. He and his colleagues at the World Inequality Lab have produced a report outlining, with quantitative modelli...
12.5.26

Smaller, cheaper Plutus scripts with the UPLC command-line tool

›
If you want to see a use of Agda in real life, to provide certificates validating the correctness of compiler passes, check out this blog po...
9.4.26

Wet Sidewalks and Odd Numbers

›
Phil Crissman explains Propositions as Types with a dialogue between Achilles and the Tortoise, in the style of Douglas Hofstadter (who in ...
16.11.25

Maybe Don’t Talk to the New York Times About Zohran Mamdani

›
Peter Coviello explains how the New York Times enables right-wing billionaires to push their agenda. Like so many other bits of  Times  cov...
2.10.25

Type Theory for All: The Goal of Science is to Communicate Ideas

›
  Thank you to the crew at Type Theory for All for their thoughtful and well-prepared interview .
18.9.25

Curious: Brave New Bullshit

›
10.9.25

Haskell equations, thirty-eight years later

›
One night, while drifting off to sleep (or failing to), I solved a conundrum that has puzzled me since 1987. Before Haskell there was Orwell...
9 comments:
9.9.25

Translation Table

›
I remember seeing a version of the above in High School. My favourite entries, which I quote to this day, are "... accidentally straine...
21.8.25

Why are we funding this?

›
  In the face of swinging funding cuts in the US, David Samuel Shiffman defends the value of scientific curiosity in American Scientist . Sp...