FStar
An ML-like language aimed at program verification
Ask HN: Why does Gmail tab on Firefox takes over 150MB memory?
2020-07-09
Su Hui's Star Gauge
2020-07-09
Ask HN: Books or projects to learn data structures and algorithms practically?
2020-07-09
Slate Star Codex and Silicon Valley’s War Against the Media
2020-07-09
Are biotech startups 5x better at R&D than big pharma?
2020-07-09
Fintech startup nCino targets –$2B valuation in impending IPO
2020-07-09
Show HN: Cinderella Clusters – Easy way to spin up Kubernetes clusters
2020-07-09
How to Translate a Website in 2020 [Full Guide]
2020-07-09
Ask HN: Anyone interested in joining me for the Mozilla Builders Open Lab?
2020-07-09
Ask HN: How to manage employee personal blogs?
2020-07-09
