FStar
An ML-like language aimed at program verification
SF poop-testing startup, once compared to Theranos, charged in $60M fraud scheme
2021-03-21
Ask HN: Re-Entry to Software Engineering
2021-03-21
How can some planets be hotter than stars? We’ve started to unravel the mystery
2021-03-21
Spanish porn star charged after man dies in psychedelic ritual
2021-03-21
I think now is the greatest time to launch a startup
2021-03-21
Learn Mathematics from Start to Finish [video]
2021-03-20
Ask HN: Where do you start with programming synthesizers?
2021-03-20
Sourdough Starter Tracker
2021-03-20
Launch HN: Kanda (YC W21) – Let tradespeople offer finance to their customers
2021-03-20
Join Discord with 750 startup founders – share your projects and get feedback
2021-03-20
