FStar
An ML-like language aimed at program verification
Recluse spider bite. My fantastic journey from start until (almost) finish
2022-08-19
Ask HN: What do you use to monitor hardware in the field?
2022-08-19
The Overemployed and Startups
2022-08-19
For sale: 8 hours/week of my time
2022-08-19
Group wiped out $6.7B in medical debt, and its just getting started
2022-08-19
Wander: Lessons from a Failed Student Startup
2022-08-19
Ask HN: Google for Summarized Results
2022-08-19
Behind the scenes pictures from the making of Star Wars saga, 1977
2022-08-19
Ask HN: Good resources on utilizing probability in corporate financial planning?
2022-08-19
Anywhere but here–China now insists the pandemic didn’t start within its borders
2022-08-19
