making your way in a changing world
summary
Career memoir gives concrete hits: develops an algorithmic type system that consumes five years chasing proof before abandoning it, models parameterized modules as push-outs to simplify ideas, builds the first model of Java with wildcards (later found unsound when combined with nulls), misses early funding for JavaScript/TypeScript work, and formalizes holistic specification C for a Safe class that permits secret-changing only when an external object already has secret access. Lessons: formal models matter, publish fast, don’t quit too soon.
AI-written summary · about
chapters (4)
- 0:00Start
- 2:18y journey started at the Technishe Universitaet Karlsruhe - KIT
- 9:17y journey continued at Imperial College London
- 26:14Holistic Specifications for Robust Code
related talks
50mHow I'm Becoming a Programmer
01h 01mLessons from a lifetime of doing, teaching, managing, and leading technical development
05mLooking back to move forward
43mA moment's reflection
34mKeynote: Looking Back at a Lifetime of Poor Tech Choices
19mA Career As Software Engineer
42m"How I made a career in the Tech industry writing horrible code"
38mJoy - Maintaining Passion for Programming