FStar
An ML-like language aimed at program verification
Propose HN: Idea Week
2020-02-07
The Definitive React-Native Starter App Kit
2020-02-07
FreeBSD Is an Operating System
2020-02-07
Clearview AI is reportedly planning a 'rapid international expansion'
2020-02-06
SpaceX will now let you book a rocket launch online starting at $1M
2020-02-06
Build a Chrome Extension with Tailwindcss and AlpineJS (Starter Kit)
2020-02-06
Old Node Packages in production? You can start monitoring them in 15 minutes
2020-02-06
SpaceX could spin off Starlink satellite business and take it public
2020-02-06
Linux Starter Kit for Developers
2020-02-06
Reid Hoffman's $30M bet: Send partners, not cash, to startups
2020-02-06
