FStar
An ML-like language aimed at program verification
Clerky – The easiest way for startups to get legal paperwork done safely
2020-02-03
Arctic Code Vault: your open source projects are being archived
2020-02-03
Show HN: Star - Go but in Python?
2020-02-03
Female Founded Club (get your startup in front of investors)
2020-02-02
Meditation will make you a better programmer (2017)
2020-02-02
Listen to Other Startup's Pitch
2020-02-02
New Startup Offers Free Live Negotiation Course from MIT
2020-02-02
Ask HN: Issues of a Growing Startup?
2020-02-02
Slate Star Codex
2020-02-02
Why My Startup Failed Despite a Production Ready Tech
2020-02-02
