FStar
An ML-like language aimed at program verification
RISC-V SBC VisionFive 2 Officially Shipped
2023-01-11
Toi-700’s exoplanets: Our best bet for alien life
2023-01-11
Starfish whisperer develops a physical language of life
2023-01-11
2022 JavaScript Rising Stars
2023-01-11
Ask HN: Is there a total blackout of the Twitter Files on HN?
2023-01-10
My SaaS startup's expenses, equity allocation, and results after six years
2023-01-10
Several Top Rivian Executives Depart the Electric-Vehicle Startup
2023-01-10
Show HN: Syncthing-map – a utility to map syncthing devices and folders
2023-01-10
Ask HN: How pivot into a (viable) US Government career in tech?
2023-01-10
Alphabet brings startup out of stealth with data from 10% of world’s farmland
2023-01-10
