Want to create an interactive transcript for this episode?
Podcast: airhacks.fm podcast with adam bien
Episode: The Endless Loop of Frustration and Challenge
Description: An airhacks.fm conversation with Nicolai Parlog (@nipafx) about:
Amiga 500,
booting into blue environment,
Settlers, dune game on Amiga,
writing the first line of Turbo Pascal at high-school,
starting with Java in 2001 with Applets,
the dining philosopher's problem with Java,
Karel the Robot in Java,
studying math is hard,
Temporal logic and formal verification,
the endless loop of frustration and challenge,
mathematicians and formulas,
solving an equation is refactoring,
learning complexity theory,
TLA+ and Lesley Lamport,
Amazon S3 formal verification with TLA+,
cost estimation in large scale projects,
java.awt.List vs. java.util.List
Kotlin vs. Java 17 productivity,
Java...