Numberwang and “The Blockchain” Episode 1

To celebrate April Fool’s Day, I made a Youtube video on The Blockchain and why it’s like Numberwang. I also made a website where your computer plays a simplified version of Blockchain Numberwang. This video is lightly adapted from the talk I recorded for SIGBOVIK 2018, a conference at Carnegie Mellon that “simultaneously scorches (for its pointless navel–gazing) and…

Read More

Abstract Binding Trees (Part 1)

I’ve been thinking a bit about abstract binding trees lately because of a slackbot I wrote to as a prank. (I might be bad at pranks.) Abstract binding trees (ABTs) are a fundamental idea in Robert Harper’s Practical Foundations of Programming Languages book. One of the most common things I’ve heard from people that try…

Read More