FStar
An ML-like language aimed at program verification
Startups Braced for the Worst. The Worst Never Came
2020-08-10
Clear Channel billboards to start tracking mobile phones in Europe
2020-08-10
A Japanese robotics startup invents smart mask that translates into 8 languages
2020-08-10
SpaceX is manufacturing 120 Starlink internet satellites per month
2020-08-10
Daily updated list of leading companies and noteworthy startups with remote jobs
2020-08-10
Ask HN: All videos on Cloudflare Stream disappeared from dashboard
2020-08-10
Stock Options – Why It’s Time for Startups to Replace Them
2020-08-10
Hyundai will launch three new electric cars, starting in 2021
2020-08-10
How to make 3500 GitHub stars in one week
2020-08-10
Managing the codebase for a coding platform I wrote in 8 weeks as a highschooler
2020-08-10
