FStar
An ML-like language aimed at program verification
GitHub Stars Now Supporting Custom Lists
2021-12-10
Ask HN: Top tech stack for small businesses?
2021-12-10
Keep Watch Star Fork Order
2021-12-10
Polygon acquires ZK-rollups startup Mir Protocol for $400M
2021-12-10
Ask HN: How to Get Media Coverage?
2021-12-10
Don't Fear Starbucks (2007)
2021-12-09
We Remade the Star Wars Trench Run in 1 Day (3D)
2021-12-09
HashiCorp shares rise after IPO
2021-12-09
When do the lawsuits start against YouTube for demonetizing independent news?
2021-12-09
Ask HN: What Is Happening to the Market?
2021-12-09
