FStar
An ML-like language aimed at program verification
Startup Claims Breakthrough in Long-Duration Batteries
2021-07-23
Launch HN: Exams, tasks, K8, eCommerce, cell sites, health, data quality, travel
2021-07-23
Ask HN: Can I give less than 2 weeks notice when leaving?
2021-07-23
Advice on Starting Out
2021-07-23
McDonald’s Plans Three Days a Week in Office
2021-07-23
Fastly Launches Highly-Secure Serverless JavaScript with Zero Cold Starts
2021-07-23
Star Trek’s Warp Drive Leads to New Physics
2021-07-23
Ask HN: How to do auth with the HN API?
2021-07-23
Show HN: Tablevibe (YC S21) – Restaurant surveys which drive direct sales
2021-07-23
Lead Engineer Fyllo, Series B Startup – Chicago – OnSite – Full-Time
2021-07-22
