FStar
An ML-like language aimed at program verification
We outgrew AWS amplify in a pre-seed startup
2021-10-26
Dead star and exoplanet show the aftermath of a star's self-destruction
2021-10-26
Musk: Starship ready for orbital launch next month, but FAA review continues
2021-10-26
Wall Street Quant Talent Makes Leap to Self-Driving Startups
2021-10-26
What Is Resistant Starch?
2021-10-26
Telegram Ad Platform
2021-10-26
Vercel Edge Functions: Standards-based runtime and no cold starts
2021-10-26
Finding startup ideas that predict the future
2021-10-26
Ask HN: I built a side project. How do I get people to use it?
2021-10-26
Ask HN: Questions to ask a startup before taking their offer (new grad)?
2021-10-26
