FStar
An ML-like language aimed at program verification
It’s Time to Start Playing Offense
2020-05-08
Ask HN: What terms are best for a reseller of SaaS?
2020-05-08
SpaceX fires up Starship rocket twice in 30 hours ahead of next big tests
2020-05-08
Zoox, Self-Driving Car Startup Valued at $2.7B, Is for Sale
2020-05-08
Goircd: Minimalistic simple IRC server written on Go
2020-05-08
Moderna eyes 'early summer' start for phase 3 Covid-19 vaccine trial
2020-05-07
Ask HN: How can I learn to think more like a programmer?
2020-05-07
Step by Step: How to Build a (New) Community from Scratch
2020-05-07
Israeli smart street light startup Juganu raises 41 Mil
2020-05-07
Smart home platform Wink will require a monthly subscription starting next week
2020-05-07
