FStar
An ML-like language aimed at program verification
SpaceX releases a Payload User’s Guide for its Starship rocket
2020-03-31
SpaceX – Starship Users Guide [pdf]
2020-03-31
A startup is building computer chips using real neurons
2020-03-31
Launch HN: PillarPlus (YC W20) – Automatically create construction blueprints
2020-03-31
Ask HN: Non tech founders, how do you assess the quality of your software?
2020-03-31
New gel lets us spread flame retardant before wildfires start (2019)
2020-03-31
How to look at your startup after the current crisis
2020-03-31
Getting Started with the MonoGame Project: Setting Up a Shared Project
2020-03-31
20min Startup Financial Model
2020-03-29
Ask HN: If I developed IP and go work for a big tech company, do they claim it?
2020-03-29
