FStar
An ML-like language aimed at program verification
Going fast, by investing deep (Demystifying the scrappy tech startup myth)
2022-04-04
Roiquant is recognized as one of the best analytics startups in Southeast Asia
2022-04-04
Why can't we kill Transcription? It wastes 30% of our working time
2022-04-04
Hacker Startup House – Oakland SF Area
2022-04-04
Climate Action: Where can I Start?
2022-04-04
Tell HN: OpenBB scraping GitHub emails for marketing spam
2022-04-03
Ask HN: How do I write quick and dirty, spaghetti code?
2022-04-03
Shein Raises at $100B Valuation
2022-04-03
Visualizing quantum mechanics in an interactive simulation
2022-04-03
uBiome: The Biotech Startup That Became an FBI Target
2022-04-03
