FStar
An ML-like language aimed at program verification
Ask HN: What to Read on Decentralised Networking?
2021-01-25
Autonomous driving startup Uisee attracts Chinese state investor in $150M round
2021-01-25
Launch HN: Aviron (YC W21) – High-Intensity Peloton for Rowing
2021-01-25
Openstreetmap data extraction – getting started with Overpass Turbo
2021-01-25
Ask HN: How do you find a business idea and motivation to leave the 9-5 grind
2021-01-25
European startups hacking the ageing process
2021-01-25
Easy HPC Configuration in the Cloud
2021-01-25
One of the world’s fastest-growing startups burned through $300m
2021-01-25
SpaceX Launches Starlink Satellites to Polar Orbit to Provide Internet in Alaska
2021-01-25
Tencent buys major stake in Klei Entertainment, latter retaining “full autonomy”
2021-01-25
