FStar
An ML-like language aimed at program verification
SpaceX now plans for 5M Starlink customers in US, up from 1M
2020-08-03
Ask HN: Do emojis belong in Design Systems?
2020-08-03
Make Your Startup More Visible
2020-08-03
Google Pay will support mobile checking accounts starting next year
2020-08-03
August 1, 1981: The Launch of MTV Kills the Radio Star
2020-08-03
Stop Learning and Start Doing
2020-08-03
Launch HN: Strings – Delegated App Copy Management
2020-08-03
Despite global pandemic, Israeli startups raise $700M in July
2020-08-03
How to Start a Podcast and Connect with Leading Executives
2020-08-03
Launch HN: Stacker (YC S20) – Create Apps from Airtable or Google Sheets
2020-08-03
