FStar
An ML-like language aimed at program verification
Show HN: Check your GitHub Stars for repos that opted in to Hacktoberfest
2020-10-04
The Last Stargazers
2020-10-04
Startup Funding: September 2020
2020-10-04
Ask HN: What improvements would you make to the education system?
2020-10-04
Relational Pipes
2020-10-04
Going Under: A satirical dungeon crawler exploring the ruins of failed startups
2020-10-04
Big Companies Are Starting to Swallow the World
2020-10-04
Ask HN: Do ”blue light” glasses work?
2020-10-04
I'm paying over 10k to stare at a screen and be told to “teach myself”
2020-10-04
Ask HN: Is PhD the only way to be able to enter research?
2020-10-04
