FStar
An ML-like language aimed at program verification
Snapchat Launches Its Games Platform, Starting with Six Titles
2019-04-04
Amazon to launch low earth orbit internet constellation
2019-04-04
Is Perfectionism the Root-Cause of Startup Failure?
2019-04-04
Anonymous startup employee exit $ numbers
2019-04-04
A murder mystery in the Nevada desert. The start of this tale: The internet
2019-04-04
Instagram needs stars, and it’s built a team to find them
2019-04-04
What I learned from building an AI that generates porn
2019-04-02
Sci-Hub and Alexandra Basic Information
2019-04-02
Exposing GPS Spoofing in Russia and Syria [pdf]
2019-04-02
On-Demand Startups Are Hemorrhaging Tens of Billions a Year
2019-04-02
