FStar
An ML-like language aimed at program verification
Ask HN: How to be careful with phishing and domain redirects?
2021-01-15
Show HN: Some Affirmations
2021-01-15
Startup fund Y Combinator increases global reach, diversity of entrepreneurs
2021-01-15
Qualcomm just snapped up Apple's chief architect and his CPU startup
2021-01-15
SpaceX returns to Starship program roots with new 'test tank' prototype
2021-01-15
Ask HN: Where can I start learning about hacking?
2021-01-15
Ask HN: When do you choose RDBMS read replica over ElasticSearch and vice-versa?
2021-01-15
Startup built on top of OpenAI GPT-3 API crosses $30K MRR in 3 months
2021-01-15
Best way to find a job at a startup
2021-01-15
Shiri's Scissor (Slate Star Codex)
2021-01-15
