FStar
An ML-like language aimed at program verification
Ask HN: How do you cut down long B2B sales cycles?
2020-03-20
Galactic Energy of China is preparing its Ceres-1 Rocket for first launch
2020-03-20
Ask HN: Isolation (from coronavirus) is only a temporary band-aid that will fail
2020-03-20
Starfleet 4 – Drife Secures Spot Among the Top
2020-03-20
Show HN: Orchestra – Model and data pipeline monitoring as a service
2020-03-20
Startup Needs a Product Engineer Immediately
2020-03-20
Coronafiles: Who’s getting hired, who’s getting fired?
2020-03-20
Launch HN: Nextmv (YC W20) – Developer-friendly logistics algorithms
2020-03-19
Ask HN: Ideas for how to collaborate on fun things during social distancing
2020-03-19
NYC mayor pleads with Elon Musk to start producing ventilators
2020-03-19
