FStar
An ML-like language aimed at program verification
Sony shares details of its VISION-S electric car concept, starts road testing
2021-01-12
The Allure of Proxima Centauri, the Closest Star to Ours
2021-01-12
Deploying Software at GoCardless: Open-Sourcing Our “Getting Started” Tutorial
2021-01-12
Ask HN: How to get away from a job that crushes your soul slowly?
2021-01-12
Ask HN: What laptops can HN recommend in the ~1000€ price range?
2021-01-12
Ask HN: Firefox VPN or Mullvad?
2021-01-12
Mailchimp acquires Chatitive, a B2B messaging startup
2021-01-12
NYC Paid NBA Star Millions After NYPD Officer His Leg. Officer Paid Little Price
2021-01-12
Ask HN: What do you think of my strategy to change my field of work?
2021-01-12
The Guy Who Built the World Wide Web Is Building a 'New Internet'
2021-01-12
