The Graveyard of Good Ideas
summary
A mashup of abandoned ideas and modern tooling: a Turnstyle‑inspired language prototype called deft accumulates 70 commits but stalls for lack of tooling; Richardson’s 64,000‑worker forecast becomes a concurrent runtime validated by a tower of oracles (Fortran → sequential → Nyx tensor → factory); an Elixir accord DSL generates tests, TLA+ models and TLC checks to catch protocol bugs before code exists; static analyses via Datalog/Sule/Argus find real supervisor and H2 issues and one bug gets fixed days after reporting.
AI-written summary · about
chapters (12)
- 0:00Introduction
- 2:35Lewis Fry Richardson’s weather dream
- 7:34From Richardson’s dream to modern forecasting
- 12:40Joe Armstrong’s UBF and protocols
- 16:24How tools changed my view
- 19:54Trusting agent-generated code
- 22:42UBF to practical tool
- 29:03Formal methods and TLA Plus
- 35:22Bugs in OTP supervision trees
- 39:24Static analysis with DataLog and Argus
- 41:15Future of ambitious software
- 43:41Q&A
related talks
59mStanding on the Shoulders of Giants: Unlocking our Future
57mWhy Programming Languages Matter
43mThe Eyjafjallajökull Lecture
03mFuture history
28mDEVOPS DAYS MTL 2018 - James Shubin
23mDevoxx: A Journey Through the Past, Present, and Future
40mAll of this has happened before, and it will all happen again.
44mThe evolution of a language