FStar
An ML-like language aimed at program verification
Boeing Starliner Almost Destroyed by Software Glitches
2020-02-08
Modern cloud architecture on AWS: server fleets and databases
2020-02-08
Facebook has acquired Scape Technologies, London-based computer vision startup
2020-02-08
The Welcome Optimism of “Star Trek: Picard”
2020-02-08
OneWeb: London startup launches first big batch of satellites
2020-02-08
Allegedly Shenzen is locked down starting February 7th (via Google Translate)
2020-02-08
NASA finds ‘fundamental’ software problems in Boeing’s Starliner spacecraft
2020-02-08
Why Startups Succeed [pdf]
2020-02-08
Ask HN: What are the best strategies for a new grad engineer to build wealth?
2020-02-08
Boeing's botched Starliner test flirted with 'catastrophic' failure, NASA finds
2020-02-08
