FStar
An ML-like language aimed at program verification
Signs your startup equity won't be worth anything
2022-02-17
Is Europe’s Nuclear Phaseout Starting to Phase Out?
2022-02-17
Windows 11 is getting new touch gestures, Start menu folders, and much more
2022-02-17
Astronomers Discover a Strange New Type of Star Covered in Helium Burning Ashes
2022-02-16
DuckDuckGo, StartPage, Kagi, Brave Search and other alternatives search engines
2022-02-16
Ask HN: Outco versus Interview Kickstart?
2022-02-16
The New Get-Rich-Faster Job in Silicon Valley: Crypto Startups
2022-02-16
Starship's advanced design is said to have NASA officials “sh**ting the bed”
2022-02-16
AI startups reeling in hundreds of millions to help computers understand humans
2022-02-16
Okay (Y Combinator startup) is mentioned for engineer productivity monitoring
2022-02-16
