FStar
An ML-like language aimed at program verification
TAE Raises $280M for 'Copernicus' Demo Fusion Reactor
2021-04-17
Policing the Police by scraping court data
2021-04-17
Find a domain fo your project
2021-04-17
Star Trek and Design
2021-04-17
Garry Tan: I funded Coinbase in 2012. Making 6000x on my best startup investment
2021-04-17
Laser-equipped robots to zap weeds on farmland
2021-04-17
Startpage Search retires Advanced Search page
2021-04-17
Ask HN: Is there a future for Jetbrains IDEs?
2021-04-16
From a Free Skype Plugin to a $1M/Year Audio/Video Transcription Service
2021-04-16
Ask HN: Was there controversy with how much energy computers were using
2021-04-16
