FStar
An ML-like language aimed at program verification
A startup is putting ads inside Ubers and Lyfts
2019-04-02
Do SaaS Startups Still Require Less Capital Than 10 Years Ago?
2019-04-02
Segment Is Worth $1.5B, Thanks to Companies’ Troves of Customer Data
2019-04-02
MicroDraw – visualise and annotate collaboratively hi-res histology data
2019-04-02
Startup CEO Salaries at IPO
2019-04-02
A Founder's Perspective on Growing from Startup Failure
2019-04-02
I tried replacing myself with a Python script
2019-04-02
Teen started playing video games 18 hours/day, makes more than most adults
2019-04-02
Getting Started with Base Web – A New, Extremely Customizable Component Library
2019-04-02
FemTech is finally getting recognition and Elvie is leading the charge
2019-04-02
