FStar
An ML-like language aimed at program verification
Ask HN:Do companies make up the VC money they burn during startup stage via IPO?
2020-12-02
Teardown of “Dishy McFlatface,” the SpaceX Starlink User Terminal
2020-12-02
Being a startup CTO has more challenges than you imagine
2020-12-02
Ask HN: What exponential technology growth is driving your 2021 strategy?
2020-12-02
World now has 500 unicorns, 70% of which in US and China
2020-12-02
The vomit method: how to start writing (2018)
2020-12-02
Ask HN: Best Resources for Compiler Construction
2020-12-02
Starting a Side Hustle, the Frustrations, Trials and Tribulations (Part 1)
2020-12-02
You have an idea. Here's how to validate it, gain traction, and start a list
2020-12-01
Red Star (Novel)
2020-12-01
