FStar
An ML-like language aimed at program verification
Ask HN: Why can't VCs short startups?
2021-10-15
Remote OK Open Startup
2021-10-15
Does my startup blog add value?
2021-10-15
The No BS Guide for Startups
2021-10-14
First Ever Image of a Multi-Planet System Around a Sun-Like Star (2020)
2021-10-14
Ask HN: What do you do socially that you learned from a book?
2021-10-14
Show HN: Neat – GitHub notifications in your menu bar
2021-10-14
Show HN: OtterTune – Automated Database Tuning Service for RDS MySQL/Postgres
2021-10-14
Astronomers Found a Planet That Survived Its Star’s Death
2021-10-14
Mapping the Insights That Drive Startup Ideas and Theses
2021-10-14
