kmt-lnh | Dark Hacker News

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