kmt-lnh's submissions

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