Empathy in Tech cover image

Who is "The Business"?

Empathy in Tech

00:00

Ray's dive into theorem provers and ACL2

Ray explains ACL2, Lisp's uniform syntax, and benefits of purely functional code for formal reasoning.

Play episode from 02:40
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app