FStar
An ML-like language aimed at program verification
How to use PR firms at startups
2021-04-09
Planetary Sunshade Foundation
2021-04-09
Show HN: Curated list of startup tools in a single page
2021-04-09
Vocus emerges as earth station builder for Starlink
2021-04-09
Launch HN: Refinery (YC S20) – Edit your React app in-browser and generate code
2021-04-09
“The Martian” + Starship – Casey Handmer's Blog
2021-04-09
$200k streaming rigs and millions of views: inside SpaceX cottage industry
2021-04-09
Show HN: Quantum logic gates for a single qubit, interactively
2021-04-09
China’s Real Invasion of Taiwan Has Already Started
2021-04-09
Setting Up Starlink, SpaceX's Satellite Internet
2021-04-09
