FStar
An ML-like language aimed at program verification
AI startup using satellite imagery to trace the path of Chinese balloon
2023-02-17
Ask HN: (How) do you/I apply 80/20 principle to investments of $, time etc.?
2023-02-17
Benford's Law, or why most numbers start with 1
2023-02-17
John Carmack on lead time to push fixes in startups
2023-02-17
NASA is using AI to design alien-looking spacecraft and mission hardware
2023-02-17
Amazon calls employees back to office 3 days a week starting 5/1
2023-02-17
How to start a conversation in Greater Tech-Twitter
2023-02-17
B2B startup will stop innovating the day you give power to product managers
2023-02-17
Export your starred episodes from Overcast
2023-02-17
Ask HN: What language/framework would you choose to build a startup in?
2023-02-17
