Pages

▼
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...
11.8.25

The Provocateurs: Brave New Bullshit

›
  Update : My colleague Elizabeth Polgreen has kindly written a post for the ETAPS Blog describing my show. Philip Wadler is a man who wea...
22.6.25

The Provocateurs: Brave New Bullshit

›
[Reposting with update.] Following two sell-out shows at the Fringe last year, I'm on at the Fringe again: 11.25 Monday 4 August, Stand ...

What is happening in Gaza is an injury to our collective conscience. We must be allowed to speak out

›
  A powerful op-ed by Gabor  Maté  in the Toronto Star. Just as nothing justifies the atrocities of October 7, nothing about October 7 just...
2 comments:
21.6.25

How to market Haskell to a mainstream programmer

›
An intriguing talk by Gabriella Gonzalez, delivered at Haskell Love 2020. Based largely on the famous marketing book, Crossing the Chasm. G...
6.5.25

The Provocateurs: Brave New Bullshit

›
Following two sell-out shows at the Fringe last year, I'm on at the Fringe again: 11.25 Monday 4 August, Stand 2  w/Lucy Remnant and S...