FStar
An ML-like language aimed at program verification
If I start a new company, I wouldn’t start with being open source
2021-01-10
Ask HN: Idea of “Riskipedia”, or “Wikichance”
2021-01-10
Ask HN: Why did YC stop it's podcast/interviews?
2021-01-10
We've been running a bootstrapped startup for a year
2021-01-10
Startpage.com: The world's most private search engine
2021-01-10
I am gonna be fired soon, techlead does not wants me to do things
2021-01-10
Charlie's Diary: Why I Hate Star Trek (2009)
2021-01-10
Ask HN: When do you know your startup has failed?
2021-01-10
Chinese electric car startup Nio doubles deliveries as Tesla competition rises
2021-01-10
Websites should be more like Star Wars
2021-01-10
