Just LOOK at the humongous type that Hindley-Milner infers for this tiny program!
We found chat in a hostile place!!
The Sound of Segfaults!!
How I used my knowledge of code (and music!) to help fight fires!
Brainwaves! On your computer!
Map, Reduce, Awk!
Proofs about programs, proofs as programs, and programs as proofs!
High Schoolers vs. Robots!!!!
Serial! It's what's for breakfast
The terrible Yook monster! Slayed by the grandson of Master Prolog!