FStar
An ML-like language aimed at program verification
Startups Hoping to Fight Climate Change Struggle as Other Tech Firms Cash In
2019-05-07
Square Acquires Conversational AI Startup Eloquent Labs
2019-05-07
HBO quietly removed the coffee cup from Game of Thrones
2019-05-07
In Death Valley, Fighter Jet Aficionados Congregate at ‘Star Wars Canyon’
2019-05-07
Startups for Realists #3 – With Julia Enthoven, CEO of Kapwing
2019-05-07
On a Quick Way to Extract Concise Image Descriptors from CNN Models
2019-05-07
Unhackable: New chip stops attacks before they start
2019-05-07
Lockheed Martin X-33
2019-05-06
South Korean Women 'Escape the Corset' and Reject Their Country's Beauty Ideals
2019-05-06
Uavos
2019-05-06
