FStar
An ML-like language aimed at program verification
Show HN: The ML API for engineers who don't have time for ML
2021-08-05
Live cleaner, healthier and save the planet all while shopping on Amazon
2021-08-05
KUR8: Start Visualizing Your Cluster’s Topology and Metrics
2021-08-05
Google+ class action starts paying out $2.15 for G+ privacy violations
2021-08-05
Unparalleled bounty of oscillating red giant stars detected
2021-08-05
How to grow your startup with AI
2021-08-05
Launch YC S21: Meet the Batch, Thread #4
2021-08-05
MacBook M1 multiple screens – cheap decent adapter
2021-08-05
Disney's Star Wars hotel stays will cost at least $4,809
2021-08-05
Suburbs of surveillance
2021-08-05
