FStar
An ML-like language aimed at program verification
Open source, self-hosted, admin tool. What next
2021-11-02
Netflix Games starts global rollout on Android, with iOS ‘on the way’
2021-11-02
Start up idea: on demand cleaning service but paid for by your employer
2021-11-02
Launch HN: Typedream (YC W20) – WYSIWYG website builder
2021-11-02
G20 leaders endorse global minimum corporate tax deal for 2023 start
2021-11-02
Svitla Systems' Webinar “8 Grave Mistakes That Startups Make”
2021-11-02
Paul McCartney: Why Beatles Classic Yesterday Is a 'Solo Song'
2021-11-02
Bugatti and Rimac: Blistering speedster and EV hypercar startup join forces
2021-11-02
Ask HN: As a React Native Developer how should one prepare one self for FAANG?
2021-11-02
Why Co–Star Uses Haskell
2021-11-02
