FStar
An ML-like language aimed at program verification
VVV-WIT-08: the giant star that blinked
2021-06-18
“Thermal Shutdown” – Heat Wave Knocks Beta Starlink Users Offline
2021-06-18
Tell HN: Opera disabled VPN in Russia with a browser update
2021-06-18
Lessons I Wish I Had Learned Before I Started Teaching Differential Equations [pdf]
2021-06-18
Ask HN: Use of Make outside of software build automation?
2021-06-18
What is the best way to develop a cross-platform native app in 2021?
2021-06-17
On Depression and Founders
2021-06-17
$1B S.F. startup wants to disrupt vacation homes
2021-06-17
Grafana Labs acquires load-testing startup K6
2021-06-17
Co-founder for media and information start up
2021-06-17
