FStar
An ML-like language aimed at program verification
A Secret Battery Startup Hints It’s Blown Past Tesla – But Won’t Show the Goods
2020-12-28
The Ashes of Scotty from Star Trek Are Aboard the International Space Station
2020-12-28
Novavax Starts Late-Stage Trial of Covid-19 Vaccine in U.S., Mexico
2020-12-28
My favorite startup management hack of 2020
2020-12-28
China Online Education Startup Draws Alibaba in $1.6B Funding Round
2020-12-28
Ashes of Star Trek’s Scotty, Actor James Doohan, Smuggled Aboard the ISS
2020-12-28
Ask HN: Are people starting to care about their data privacy?
2020-12-28
Russia's SolarWinds Attack
2020-12-28
Heather Cox Richardson Offers a Break from the Media Maelstrom. Star of Substack
2020-12-28
Ask HN: What did you learn from a movie?
2020-12-28
