The Endless Loop of Frustration and Challenge

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 is the lowest possible denominator, working for lichtblick - the renewal energy company, implementing energy model for Fraunhofer in Karlsruhe, linear programming with simplex in C, dependencies come with a cost, dependencies are liability, starting to work for Oracle as Java Developer Advocate, Nicolai Parlog on twitter: @nipafx, Nicolai's website: nipafx.dev