hwayne's favorites | Hacker News

1.		GPT4 should be part of your toolkit (buttondown.email/hillelwayne)
		4 points by BerislavLopac on April 25, 2023
2.		Ask HN: Best empirical papers on software development?
		130 points by KingOfCoders on Sept 10, 2022 \| 31 comments
3.		Learn TLA+ (hillelwayne.com)
		350 points by MindGods on July 1, 2022 \| 74 comments
4.		Software Dev Can't Be Automated – It’s a Creative Process with an Unknown Goal (thehosk.medium.com)
		214 points by thunderbong on Aug 14, 2021 \| 195 comments
5.		Leslie Lamport: Video course on TLA+ (lamport.azurewebsites.net)
		328 points by kelvich on March 20, 2017 \| 74 comments