FStar
An ML-like language aimed at program verification
China’s state rocket company unveils rendering of a Starship look-alike
2021-04-26
The definitive guide to financial modelling for starups
2021-04-26
It's time to start wearing masks inside homes to prevent Covid-19 – Indian govt
2021-04-26
Starlink Is a Global ISP Built at Zero Cost to SpaceX
2021-04-26
Ask HN: Firebase SDK with PostgreSQL in the back end (is there a need)
2021-04-26
Unusually Flare from Nearby Star a Bad Sign for Alien Life
2021-04-26
Setting up a NAT64 WiFi test network using Ubuntu's hotspot feature
2021-04-26
We Shouldn’t Invoke Colonialist Language to Justify Missions to the Cosmos (?)
2021-04-26
Gardening startups want to make every day Earth Day for the home gardener
2021-04-26
Using data from the Kepler mission to scientifically imagine star systems (2019)
2021-04-26
