Wadler's Blog

A series by award-winning engineer Corey Boyle in the Edinburgh Inquirer.

A brilliant, and sadly timely, parody.

Adam McKay, director of Don't Look Up, points out what should be obvious but is easy to ignore.

I've searched with little success for ideas about how we can handle AI so that it benefits rather than harms society.

A comic by Tom Humberstone about gig workers and the need to organise, with loads of local Edinburgh flavour.

I am a Distinguished Reviewer of GPCE 2026, colocated with ECOOP in Brussels.

Brought to you by Believe in Scotland.

Not a crank project!

After retiring last July, the University Senate have approved my emeritus status.

Thomas Piketty is at it again.

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 post from my colleague Ziyang Liu at Input Output.

Phil Crissman explains Propositions as Types with a dialogue between Achilles and the Tortoise, in the style of Douglas Hofstadter (who in turn was inspired by Lewis Carrol).

Peter Coviello explains how the New York Times enables right-wing billionaires to push their agenda.

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

One night, while drifting off to sleep (or failing to), I solved a conundrum that has puzzled me since 1987.

I remember seeing a version of the above in High School.

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

Update: My colleague Elizabeth Polgreen has kindly written a post for the ETAPS Blog describing my show.

[Reposting with update.]

A powerful op-ed by Gabor Maté in the Toronto Star.

An intriguing talk by Gabriella Gonzalez, delivered at Haskell Love 2020.

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 Susan Morrison 17.40 Sunday 17 August, Stand 4 w/Smita Kheria and Sarah-Jane Judge 17.40 Tuesday 19 August, Stand 4 w/Camer…

I've been fortunate to be nominated for a few teaching awards over my career, and even to win a couple.

Cartoonist Ann Telnaes has quit the Washington Post, after they refused to publish one of her cartoons, depicting Mark Zuckerberg (Meta), Sam Altman (Open AI), Patrick Soon-Shiong (LA Times), the Walt Disney Company (ABC News), and Jeff Bezos (Amazon & Wa…

I'm part of the programme committee for Lambda Days, and I’m personally inviting you to submit your talk!

From my colleague, John Longley, a treat.