FStar
An ML-like language aimed at program verification
New York hospitals will trial using antibodies to treat coronavirus cases
2020-03-28
Scientific community MUST rally to expose likely leak from a Wuhan lab
2020-03-28
Ask HN: Online Resources/Courses to Learn AR
2020-03-28
Programming Books You Wish You Read Earlier
2020-03-28
Ask HN: Is there demand for super wide generalists?
2020-03-28
Show HN: We solved invoicing at our startup: built our own web app for that
2020-03-28
We solved invoicing at our startup. We built our own web app for that
2020-03-28
Ask HN: Would an app to split proceeds be useful for zoom users?
2020-03-28
Ag robotics startup Tortuga comes out of stealth with Tesla co-founder on board
2020-03-27
How to get a Slack notification when someone stars your GitHub repository
2020-03-27
