FStar
An ML-like language aimed at program verification
Star Trek TOS – Evolving Ambient Bridge (YouTube)
2020-09-17
First intact exoplanet around a white dwarf is far bigger than its star
2020-09-17
What employees say about making diversity work
2020-09-17
Startup Nation: The Country That Invented Itself
2020-09-17
Remoty – work like you're in the same office
2020-09-17
How India's Byju's became the most valuable edtech startup
2020-09-17
Launch HN: Narrator (YC S19) – All your data, one table. A new standard for data
2020-09-17
Understanding Startup Stock Options
2020-09-17
Similar subreddits to Slate Star Codex by user overlap
2020-09-17
Exit to community – what if startups could be owned by their users?
2020-09-17
