Wadler's Blog

A recent paper by Escardo and Oliva, to appear in MSFP 2010, relates diverse aspects of computing, in the form of a literate Haskell progra...

From an article in the New York Times by Guy Deutscher , describing linguistics view of the Sapir-Whorf hypothesis, seventy years on. Taken...

L'Illusionniste, Sylvain Chomet's second film and Jacques Tati's last, is a remarkable film; The Guardian gave if five stars . ...

Network effects are clearly significant in the spread of programming lagnuages. I've often thought it would be good to team up with an ...

A site that tracks popularity of Programming Languages. Many of my favorite languages appear on the list. Interesting to see that (for thi...

Nifty visualisation with sound of several sorting algorithms. It covers insert, bubble, selection, merge, and gnome sort; a related video t...

Masterminds of Programming , edited by Federico Biancuzzi and Shane Warden, has just won a Jolt award . The book features interviews with t...

A previous post described the SEC's plan to clarify certain kinds of trades by describing them using a computer program, written in Pyt...

The usual Gentzen-style rules make some use of visual layout, but I suspect it may be possible to exploit the potential of graphical techniq...

A stunning Infographic from David McCandless of Information is Beautiful . Note the £1 billion raise in capital gains compared to the £13 b...