FStar
An ML-like language aimed at program verification
Ask HN: Cofounder in startup about to get funding but not feeling it
2021-11-01
U.S. Telecoms Are Going to Start Physically Removing Huawei Gear
2021-11-01
EV Startups Lucid and Rivian Deliver First Models to Customers
2021-11-01
iPhones, Apple Watches Could Detect Car Crash, Auto-Dial 911 Starting Next Year
2021-11-01
Ask HN: Has your company ever accounted for inflation?
2021-11-01
Ask HN: How to read a CS research paper?
2021-11-01
Ask HN: How to Treat Reddit Addiction?
2021-11-01
Ask HN: Reading someone else's code and bug fixing
2021-10-31
Looking for someone who want to start building cool things for the metaverse
2021-10-31
Why Limiting WIP,Starting Together,Being Less Busy,and Working Together Is Hard
2021-10-31
