Brought to you by Believe in Scotland. You can sign the petition here.Tell your elected representatives and the Prime Minister that blocking our indyref mandate is unacceptable.The Scottish Parliament elections in May 2026 returned the larg…
After retiring last July, the University Senate have approved my emeritus status. I'm grateful to Julian Bradfield for his work drafting the generous minute that accompanied the approval.Special MinuteProfessor Philip Wadler BSc, MSc, PhD,
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. A simplified description of one of the passes appea…
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). Lambda Man makes an appearance.
I'm looking forward to speaking in Lisbon. On June 4, Professor Philip Wadler will give an INESC-ID Distinguished Lecture organized in the scope of the BIG ERA Chair Project, titled “(Programming Languages) in Agda = Programming (Languages
I'm looking forward to speaking in Lisbon. On June 4, Professor Philip Wadler will give an INESC-ID Distinguished Lecture organized in the scope of the BIG ERA Chair Project, titled “(Programming Languages) in Agda = Programming (Languages
Amongst all the nonsense, something sensible in the press about AI: "AI machines aren’t ‘hallucinating’, But their makers are" in The Guardian. Written by Naomi Klein, the author of one of my favourite books, This Changes Everything. But fi…
A handy summary prepared by Jesse Sigal. Thanks, Jesse! - Determine what is relevant for you to actually benchmark (areas include accuracy, computational complexity, speed, memory usage, average/best/worst case, power usage, degree of achie…
A fascinating blog post by Adam Mastroianni, suggesting that peer review is a failed experiment. Thanks to Scott Delman for the pointer. The post also cites a scientific paper by Mastroianni that he published direct to his blog, circumventi…
Do you know of other applications of my work? If so, please email me or list them in the comments. (You can find my email at the bottom of my home page.) Possible example: I gather Twitter uses monads and implicits in Scala (where implicits…
Via a tweet, the PLDI steering community is asking whether PLDI should join PACMPL. Have your say! (My vote is yes.) Should @pldi join ICFP, OOPSLA and POPL in publishing its proceedings in the PACM-PL journal? The PLDI Steering Committee w…
[An open request from three of my students. Please try it out! I'm impressed with what they have achieved.] We'd like to invite you to take a look at Mandelbrot Maps - an interactive fractal explorer! Marco Patrignani explains why and how t…