FStar
An ML-like language aimed at program verification
Ask HN: How many developers have access to your production DB?
2021-02-14
Ask HN: Reverse engineering that allows software to run on modern systems
2021-02-14
Astronomers discover trio of planets orbiting teenage sun in river of stars
2021-02-14
In defense of interesting writing on controversial topics
2021-02-14
Staying healthy will building a startup
2021-02-14
Show HN: Livelossplot – Live deep learning training plots in Jupyter Notebook
2021-02-14
How are non-tech people getting jobs?
2021-02-14
Save some money on your SaaS spend
2021-02-14
Show HN: Save 6 months to deploy your apps on AWS in 30 minutes
2021-02-14
Ask HN: How is leaving a FAANG to join startup?
2021-02-14
