Einar W. Høst is a computer at NRK, the Norwegian public broadcaster. He thinks that programs should be written for people to read and also for machines to laugh at. He has a PhD in Computer Science from the University of Oslo.
We know that we can represent all kinds of things in lambda calculus, including booleans, integers, and lists, but what about the representation of the lambda calculus terms themselves? In this talk we present beep boop, a representation for lambda calculus terms inspired by sound. It is a humane alternative to de Bruijn notation, since it is much easier to utter a sequence of symbols in beep boop than in traditional lambda-based representations. Pretty useful for humans!Slides