FStar
An ML-like language aimed at program verification
The BIGTECH Fellowship, 50k to quit your job and start a company
2021-09-16
Ask HN: Bose QC35 IIs – replace the battery?
2021-09-16
Inventor of 'Game of Life' and Prop Designer for Star Trek Dies
2021-09-16
NZ startup HeartLab raises $2.45M to bring heart scanning software to the US
2021-09-16
Getting Started with the Swift Collections Package
2021-09-16
“with an iPhone, a Starlink, and a solar power unit”, you could live anywhere
2021-09-16
Tele-Driving Startup to Deploy Remote-Controlled Cars
2021-09-16
Debugging by Starting a REPL Is Fun
2021-09-16
Woolly mammoths could walk the Earth again if CRISPR startup succeeds
2021-09-16
NY Times: Biology Starts to Get a Technological Makeover
2021-09-16
