FStar
An ML-like language aimed at program verification
‘Here We Go. The Chaos Is Starting’: An Oral History of Y2K
2019-12-29
Ask HN: Best solutions for keeping a personal log?
2019-12-29
2019: The Year of IPO Disappointment. Investors Started Focusing on Profits
2019-12-29
Silicon Valley engineers are starting to doubt the wisdom of working at startups
2019-12-29
2019: Further reflections on trying to start an internet business
2019-12-29
The unlikely heroes that made starlight possible
2019-12-29
Developing a fast and extendable climate model using Julia and GPUs
2019-12-29
An analysis of the AngelList startups to watch out for and the fails of 2019
2019-12-29
Ask HN: Should I shut down my startup?
2019-12-29
Ask HN: Scariest startup hype you believed but learned not to be true?
2019-12-29
