FStar
An ML-like language aimed at program verification
Ask HN: Is the YouTube GUI slower during ads?
2022-01-31
New York City Starts Free Same-Day Delivery of Covid Antiviral Pills
2022-01-31
Ask HN: How can I help my devs solve “combinatorial test case scope creep”?
2022-01-31
Start Paying for Internet Stuff
2022-01-31
Robot performs first abdominal / laparoscopic surgery without human help
2022-01-31
Google Maps Nearly Starts a War
2022-01-31
Optimizing app startup time with order files
2022-01-31
The year of tech unicorns: India's startup ecosystem sees record-breaking growth
2022-01-31
Ask HN: Where do you hang out virtually online?
2022-01-31
FriesDAO Wants to Start a Crypto-Crowdfunded Fast-Food Franchise
2022-01-31
