FStar
An ML-like language aimed at program verification
Airbnb Leads $160M Investment in Business-Travel Startup Lyric
2019-04-17
Netflix execs say they’ll finally start releasing viewership data soon
2019-04-17
Airbnb Leads $160M Investment into Hospitality Startup Lyric
2019-04-17
Porn sites must age-verify British users starting July 15
2019-04-17
Microsoft’s Surface Hub 2S starts at $8,999, ships in June
2019-04-17
How to get started with advanced Lego building
2019-04-17
Why are Silicon Valley billionaires starving themselves?
2019-04-17
Big News for People Who Spend Hours Staring at Maps on Planes
2019-04-17
USS Enterprise Classic Bridge Design Explained by Tamara Deverell – SYFY Wire
2019-04-17
Tech’s new stars have it all–except a path to high profits
2019-04-17
