FStar
An ML-like language aimed at program verification
10 weeks of changelogs as a 2 person startup
2020-07-15
Steps to Select the Right Technical Partner to Help You Build a Startup
2020-07-15
Ethiopia Starts Filling Nile Dam at Center of Dispute with Egypt
2020-07-15
Bluetooth Low Energy on iOS from Scratch -commentary on limitations/difficulties
2020-07-15
Walmart will start requiring all customers to wear masks
2020-07-15
Show HN: Free iOS 14 Wireframe Starter Kit for Sketch and Figma
2020-07-15
Launch HN: Legacy (YC S19) – we help men test and freeze their sperm
2020-07-15
Headline on New Startup Website Making a Lot of Founders Upset
2020-07-15
We're looking for feedback and BETA testers
2020-07-15
Raspberry Pi on Steroids with Rust and WebAssembly
2020-07-15
