FStar
An ML-like language aimed at program verification
The Startup Conference 2020 Is Postponed to the Fall
2020-03-02
Ask HN: Data Scientists / Statisticians of HN, how do you verify your numbers?
2020-03-02
Ask HN: Fremont and Pony.ai Launch Autonomous Vehicle Commuter Pilot Prgm
2020-03-02
Social-Investing App Startup Public Raises $15M
2020-03-02
Scientists Are Starting to Take Warp Drives Seriously
2020-03-02
Ask HN: Recommend chronological collection of books for living life efficiently?
2020-03-02
Startup Leadership Lessons from Former Constant Contact CEO Gail Goodman
2020-03-02
Starting a Fintech Company: A Guide
2020-03-02
Ask HN: How to Visualize the Gist of C(ode)?
2020-03-01
Show HN: Start contributing to JavaScript open source with `react-test`
2020-03-01
