FStar
An ML-like language aimed at program verification
Not cutting edge science but – new Roomba can avoid dog poop
2021-09-10
Microsoft Start
2021-09-09
Is no code useful for building MVP? Yes, No, Maybe?
2021-09-09
To Restore Civil Society, Start with the Library (2018)
2021-09-09
Open-source backend-as-a-service startup Supabase raises $30M
2021-09-09
Microsoft launches a personalized news service, Microsoft Start
2021-09-09
Ask HN: Pro and Cons of external control via IPC vs. Extension Language
2021-09-09
A guide to user retention for startups
2021-09-09
Facebook, Ray-Ban debut picture-taking smart glasses
2021-09-09
Ask HN: How to Get into Crypto as a Programmer?
2021-09-09
