FStar
An ML-like language aimed at program verification
The engineering of living organisms could soon start changing everything
2019-04-09
Aurora and Zoox: Mapping different routes to autonomy
2019-04-09
PureQML: QML-inspired declarative JavaScript-framework for the web
2019-04-09
Want to be a non-technical co-founder? Here is a list of your responsibilities
2019-04-09
I Stumbled into a $300K Business Framing Tweets
2019-04-09
The search for alien life starts in Antarctica
2019-04-09
The Mysterious Disappearance of Fan Bingbing, the World’s Biggest Movie Star
2019-04-09
Amazon shoppers misled by 'bundled' star-ratings and reviews
2019-04-09
Why the Web Went Bad
2019-04-09
Astronomers spy an iron planet stripped of its crust around a burned-out star
2019-04-09
