FStar
An ML-like language aimed at program verification
Product hunt for products and startups made with no code
2021-09-08
Largest plant capturing carbon from air starts in Iceland
2021-09-08
What would you include in a manifesto for deep work?
2021-09-08
Lockheed, Northrop invest in a startup that wants to refuel satellites in space
2021-09-08
YouTube acquires Indian social commerce startup Simsim
2021-09-08
Ask HN: Are you happy with the app log management solution your team is using?
2021-09-08
This Is How Long It Takes for a Startup to Become an 'Overnight Success'
2021-09-08
A Black Hole or Neutron Star Fell into Another Star and Triggered a Supernova
2021-09-08
El Salvador’s Bitcoin Gamble Is Off to a Rocky Start
2021-09-08
Open-source software starts with developers, but there are other contributors
2021-09-08
