kmt-lnh

Recent Submissions

1. 1. ▲ Spreadsheet Assassins – A short history of "software as a service" (thebaffler.com) 82 points · 1 year ago · 81 comments
2. 2. ▲ Andy Matuschak: Studying with Dwarkesh Patel – Introduction to Quantum Mechanics [video] (youtube.com) 3 points · 2 years ago · 1 comment
3. 3. ▲ Behind the Scenes: Sleeping soundly with the help of TLA+ (blogs.oracle.com) 1 point · 3 years ago · 0 comments
4. 4. ▲ Sleeping the Technical Interview (xeiaso.net) 2 points · 3 years ago · 0 comments
5. 5. ▲ NF is consistent – proof partly in LEAN (logicmatters.net) 4 points · 3 years ago · 0 comments
6. 6. ▲ The Return of Industrial Warfare – Royal United Services Institute (rusi.org) 5 points · 3 years ago · 0 comments
7. 7. ▲ Gergő Érdi: Pong on an FPGA with Clash (Haskell) (youtube.com) 3 points · 3 years ago · 0 comments
8. 8. ▲ David MacIver on Life Skills for Programmers (commoncog.com) 1 point · 4 years ago · 0 comments
9. 9. ▲ Solar Powered Website: Uptime for 2020 (notechmagazine.com) 2 points · 4 years ago · 0 comments