FStar
An ML-like language aimed at program verification
Show HN: A weekly newsletter of firearms training near your location
2020-01-20
Built a startup on the side and open-sourced 7 libraries thanks to remote work
2020-01-20
Elon Musk: Starship Will Fly for 20-30 Years, Aiming for Fleet of 1k
2020-01-20
Ask HN: Australian ISP blocking DNS
2020-01-20
Crossroads 2020: Plan to Develop Startup Ecosystem in Australia
2020-01-20
Netgear Signed TLS Cert Private Key Disclosure
2020-01-20
Ask HN: What books are respected in your field, that aren't written for laymen?
2020-01-20
Git board – A dashboard for the top repositories based on GitHub Stars
2020-01-20
Ask HN: Whats the easiest way to build a Twitter bot nowadays?
2020-01-19
We Started a $400K/Month Business Selling Seeds and Growing Supplies
2020-01-19
