How to Create a Proof Guide

Justin and Jason discuss Jason's trip to Palo Alto, the prospect of a Zuckerberg/Musk cage match, the TITAN submarine tragedy, the new direction of List/NitroNote and how implementing dark mode has reignited Justin's enthusiasm for the project, the release of the Math Academy proof editor, why Justin can no longer talk to Georgie about his projects, the Reddit kerfuffle and the fundamental misalignment between commercial social networks and their users, why solving imaginary problems is so common in technology, whether life was better before the Internet, and finally why Justin enjoys Ted Lasso and Jason doesn't. Artwork by https://sonsofcrypto.com. Join our Discord, chat with us and fellow listeners! https://discord.gg/2EbBwdHHx8