FStar
An ML-like language aimed at program verification
Text in librsvg starts to get better
2021-10-21
Ask HN: How to Sell a Website
2021-10-21
The Start of the (Ocean) Cleanup
2021-10-21
Show HN: Scaffoldly – Serverless APIs on AWS, in Minutes
2021-10-21
Ask HN: Should I study CS or Law?
2021-10-21
Our first round of venture capital: 263 meetings, 12 months, $128,700
2021-10-21
Startup Spotlight: Groundwork BioAG
2021-10-21
Ask HN: Resources for writing tests for experienced programmers?
2021-10-21
Ask HN: Favorite corporate team building events?
2021-10-20
Create a nonprofit in Minutes instead of Months – .NGO
2021-10-20
