FStar
An ML-like language aimed at program verification
Show HN: I recreated my SaaS that took me 6 months to build in just 1 week
2022-06-09
How having health care workers handle nonviolent police calls may impact crime
2022-06-09
We Didn't Start the Kernel (A SUSE Music Parody)
2022-06-09
UkraineX: Elon Musk’s space satellites changed the war on the ground
2022-06-09
Ask HN: How to setup startup research interviews with executives
2022-06-09
Why I Killed My Startup
2022-06-09
Ask HN: Find Side Project
2022-06-09
Founders that came from wealthy backgrounds
2022-06-08
Constraining Neutron-Star Matter with Microscopic and Macroscopic Collisions
2022-06-08
The Five Most Dreaded Words at the Office: ‘Let’s Start a Google Doc’
2022-06-08
