FStar
An ML-like language aimed at program verification
Hundreds of ancient Maya sites hidden under Mexico reveal a mysterious blueprint
2021-11-06
Showdrop is hiring Founding Engineer
2021-11-05
A startup says it applied to trademark Meta before Facebook
2021-11-05
Bird's Top VC Went from Scooter Skeptic to Convert Ahead of SPAC Deal
2021-11-05
Bird's Top VC Went from Scooter Skeptic to Convert Ahead of SPAC Deal
2021-11-05
World first USB-C iPhone (with opensourced solution)
2021-11-05
Where Are DAOs the Best At?
2021-11-05
Sea stars get their symmetry
2021-11-05
Thousand Yard Stare
2021-11-05
Waymo will start mapping the complex traffic patterns of New York City
2021-11-05
