24.3.17

 

Explained Visually

As the creators put it
Explained Visually (EV) is an experiment in making hard ideas intuitive inspired the work of Bret Victor's Explorable Explanations. Sign up to hear about the latest.
I've found their explanations of Markov Chains and Eigenvectors and Eigenvalues both cool and clear.

Labels: ,


# posted by Philip Wadler @ 2:45 PM 0 comments

14.3.17

 

Papers We Love: John Reynolds, Definitional Interpreters for Higher-Order Languages, now in Haskell

I suggested at Papers We Love that someone might like to recode John Reynolds's definitional interpeter, and I'm pleased to say that Rein Henrichs has done so.

Labels: , ,


# posted by Philip Wadler @ 10:54 AM 1 comments

7.3.17

 

First Paul, now John

Two years ago we lost Paul Hudak to cancer. Today I was saddened to learn that we have lost his close collaborator, John Peterson, to a climbing accident. Both will be missed.

Labels: ,


# posted by Philip Wadler @ 3:19 PM 0 comments

This page is powered by Blogger. Isn't yours?