- Spreadsheet Assassins – A short history of "software as a service"
by kmt-lnh on 6/12/24, 9:19 AM, with comments
- Andy Matuschak: Studying with Dwarkesh Patel – Introduction to Quantum Mechanics [video]
by kmt-lnh on 8/1/23, 10:58 AM, with comments
- Behind the Scenes: Sleeping soundly with the help of TLA+
by kmt-lnh on 9/20/22, 12:28 PM, with comments
- Sleeping the Technical Interview
by kmt-lnh on 9/16/22, 12:45 PM, with comments
- NF is consistent – proof partly in LEAN
by kmt-lnh on 8/24/22, 8:41 AM, with comments
- The Return of Industrial Warfare – Royal United Services Institute
by kmt-lnh on 6/20/22, 11:03 AM, with comments
- Gergő Érdi: Pong on an FPGA with Clash (Haskell)
by kmt-lnh on 1/10/22, 9:24 AM, with comments
- David MacIver on Life Skills for Programmers
by kmt-lnh on 9/23/21, 7:01 PM, with comments
- Solar Powered Website: Uptime for 2020
by kmt-lnh on 4/7/21, 1:23 PM, with comments