FStar
An ML-like language aimed at program verification
Generating Startup Ideas with GPT
2020-11-02
Su Hui's Star Gauge
2020-11-02
Show HN: Gridbox – A web-based spreadsheet read-write API service
2020-11-02
Should we ban billionaires? [video]
2020-11-02
A hedge fund threatened my newsletter
2020-11-02
Scaling a startup across Africa is no child's play
2020-11-02
Start contributing to open source software
2020-11-02
Every startup needs a niche – here's how I found mine
2020-11-02
Ask HN: Note taking app suggestions with stylus support and a hybrid approach
2020-11-02
React JavaScript Project Ideas to Help You Start Learning by Doing
2020-11-02
