Wadler's Blog

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

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

Wet Sidewalks and Odd Numbers

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

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

Curious: Brave New Bullshit

Haskell equations, thirty-eight years later

Translation Table

Why are we funding this?

The Provocateurs: Brave New Bullshit

The Provocateurs: Brave New Bullshit

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

How to market Haskell to a mainstream programmer

The Provocateurs: Brave New Bullshit

I've been nominated for a teaching award

Telnaes quits The Washington Post

Please submit to Lambda Days

John Longley's Informatics Lecturer Song

You can help Cards Against Humanity pay "blue leaning" nonvoters $100 to vote

Remember to vote, tactically (a message for the progressive among you)

INESC-ID Distinguished Lecture, Lisbon

I am a Highly Ranked Scholar

Cabaret of Dangerous Ideas

I'm speaking at Lambda Days 2024.

Orwell was right

The Problem with Counterfeit People

Will A.I. become the new McKinsey?

Our Labor Built AI

Gradual Effect Handlers