FStar
An ML-like language aimed at program verification
The golden age of neutron-star physics has arrived
2020-06-16
AI-vending machine startup “Stockwell” (a.k.a. “Bodega”) shutting down July 1
2020-06-16
What country is most likely to start World War 3?
2020-06-16
Ask HN: How would you fix this failing startup?
2020-06-16
Anura: How to build a Key-Value Store in 3 days
2020-06-16
Stars Manage to Outcomes, Not Tasks
2020-06-15
Clerky, Gust, Atlas or real attorney? Which one is cost effective?
2020-06-15
Technologies that have been jump-started by Covid-19
2020-06-15
One startup is doing what Magic Leap should've done from the start
2020-06-15
MainStreet launches, helps startups claim $10,000s in government tax credits
2020-06-15
