FStar
An ML-like language aimed at program verification
Boeing Spacecraft Flight’s Flaws Show ‘Fundamental Problem,’ NASA Says
2020-02-08
Boeing's troubled Starliner mission could have been much worse
2020-02-08
Ask HN: How should a Kickstarter work with its backers?
2020-02-08
SpaceX Starlink
2020-02-07
Looking for founders for three startup ideas
2020-02-07
Climate-friendly startups in Norway are bankrolled by the state oil fund
2020-02-07
Sloppy PhD Hires
2020-02-07
5G Technology Accelerator
2020-02-07
SpaceX is holding a Starship career day to ramp up its Mars colonization effort
2020-02-07
Second, potentially 'catastrophic', software defect found on Boeing Starliner
2020-02-07
