FStar
An ML-like language aimed at program verification
Ask HN: Advise for an amateur programmer who is also a high school math teacher
2021-12-11
The new decentralized venture landscape is changing how we report startup data
2021-12-11
Ask HN: What JS framework/library would you use for lightweight frontend work
2021-12-11
Why does Minnesota sometimes get colder than the North Pole?
2021-12-11
Web creator Tim Berners-Lee’s startup Inrupt raises $30M – TechCrunch
2021-12-11
Death by Indigestion. More companies die of indigestion than starvation
2021-12-10
Foam served in a plaster cast of the chef's mouth
2021-12-10
Turborepo
2021-12-10
Don’t Overdose on VC: Lessons from 166 Startup IPOs
2021-12-10
Planetary scientists are starting to get stirred up by Starship’s potential
2021-12-10
