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