This video was recorded at Lambda Days 2022 -https://www.lambdadays.org/lambdadays2022 Lambda Calculus Beep Boop | Einar Høst & Jonas Winje - computer at NRK & Developer at Computas ABSTRACT 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! • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Lambda Days conference near you! • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global