FStar
An ML-like language aimed at program verification
The Nikon Z9’s new sensor could be the start of a big shift in photography
2021-10-31
Learning from a hypergrowth startup (7x staff/year)
2021-10-31
Ask HN: To all interviewers, please don't interrupt candidates while coding
2021-10-31
Ask HN: Been in the IT industry for 10 years with nothing to show for it
2021-10-31
Ask HN: How to start learning about investments?
2021-10-31
Stardew Valley's Creator Won't Release New Game Until “Personally Satisfied ”
2021-10-31
Show HN: Godlighty – highly-customizable HTTP, HTTP/2, HTTPS server on pure Go
2021-10-31
Get started making music
2021-10-31
Start with Microservices. Don't Start with Microservices
2021-10-31
Stargate DAW – digital audio workstation with a powerful pattern-based workflow
2021-10-31
