FStar
An ML-like language aimed at program verification
Australian startup HealthEngine cops $2.9m penalty over patient data misuse
2020-08-20
Launch HN: How to help the remote community while building a startup
2020-08-20
Launch HN: Hubble (YC S20) – Monitor data quality inside data warehouses
2020-08-20
80 Questions to Answer When Starting a New Business
2020-08-20
Cool progress from the Chinese startup LinkSpace
2020-08-20
Ask HN: How are you generating documentation for your GraphQL APIs?
2020-08-20
The Rise and Fall of Tony Roma's
2020-08-20
Install Ghost for me to start building your house
2020-08-20
Ask HN: Linux Alternative to macOS?
2020-08-20
Startup mistakes: Lessons from failed startups
2020-08-20
