Modeling and Developing Systems Using TLA+ (2005) [pdf]
2022-03-17
Launch HN: AirMyne (YC W22) – Capturing CO2 from air at industrial scale
2022-03-17
Show HN: Knock – Notification Infrastructure for Developers
2022-03-17
Show HN: Parsers VC – Real-time tracking Venture Capital data provider
2022-03-17
Google for Startups Black Founders Fund (Europe) Open for Round Two Applications
2022-03-17
Operating Effective All-Hands Meetings
2022-03-17
Ask HN: Do you tend to say “our work” or “my work” more often?
2022-03-17
Stronger hands lengthen your life
2022-03-17
Microsoft: An Unprincipled, Rapacious Company (1995)
2022-03-17
Hiroshima: Was It Necessary? [Historical Details and Analysis, 1996]
2022-03-17