FStar
An ML-like language aimed at program verification
US drug overdoses up 24% since start of pandemic
2021-07-11
Thousands of Sea Creatures Found Boiled Alive After Canada's Deadly Heatwave
2021-07-11
Ask HN: Have these digital wellbeing ideas been done?
2021-07-11
Angry Birds Star Wars
2021-07-10
Ask HN: Experience Running Neo4j in Production?
2021-07-10
When buying hard drive, take off a star in your review if no write-enable switch
2021-07-10
Nanofiber membrane makes seawater drinkable in minutes
2021-07-10
Ask HN: Study Tracking and Notes Tool
2021-07-10
Ask HN: How does Reddit track users?
2021-07-10
Sea snot, stars and sleeping elephants
2021-07-09
