FStar
An ML-like language aimed at program verification
Ask HN: How to Move to SF as a British Engineer?
2020-01-19
Marriage of ffmpeg and terminal TUIs, notcurses 1.1.0
2020-01-19
They didn't start the fire: Millennial views on war and peace
2020-01-19
Ask HN: Is YC AI track still active?
2020-01-19
Air Taxi Startup Joby Aviation Lands $590M from Toyota-Led Series C
2020-01-19
Ask HN: What are modern web-search engines missing?
2020-01-19
Ask HN: What was your experience using Google for Startups?
2020-01-19
Simple diagrams of convoluted neural networks (2018)
2020-01-19
Toyota invests $394M in eVTOL startup Joby
2020-01-19
A $100M Investment Pulls an EV Startup Out of Stealth Mode
2020-01-19
