FStar
An ML-like language aimed at program verification
Ask HN: What mistakes you wish you avoided with your vlog/video course?
2020-05-16
Internet Archive’s Wayback Machine starts adding warning labels to its archives
2020-05-16
Start or join a Google Meet video meeting directly from Gmail
2020-05-16
The Race to Deliver a Lucid Dream Machine Is Full of Fits and Starts
2020-05-16
List of the best Network Effect resources for Startups
2020-05-16
Ask HN: Chrome Store is reviewing my extension for 3 weeks. Similar experience?
2020-05-16
Ask HN: Switching Jobs at 50
2020-05-16
Kerala's rock star health minister helped save it from Covid-19
2020-05-16
Show HN: List of 150+ startups that raised seed funding last month.
2020-05-16
E-Bikes, Getting Lighter and Faster
2020-05-16
