FStar
An ML-like language aimed at program verification
Elon Musk's Starlink Train Looks but Astronomers Have Serious Concerns
2019-05-27
How to be a startup founder (phrase edition)
2019-05-27
Lessons from Our First Image of a Black Hole's Event Horizon
2019-05-27
Show HN: A random generator for redirecting to your landing page using Ethereum
2019-05-27
Show HN: Whitepaper Stars Network – Metdata for the Next Generation of the Web
2019-05-27
Show HN: Star-history – The missing star history graph of GitHub repos
2019-05-27
Why Starting Multiple Businesses Is Not a Bad Idea
2019-05-27
Linux 5.1 Hit by a Data Loss Bug Due to Overly Aggressive Fstrim
2019-05-26
The startups building ‘dark kitchens’ for Uber Eats and Deliveroo
2019-05-21
Startup Taps High-Tech to Thwart Illegal Logging
2019-05-21
