FStar
An ML-like language aimed at program verification
In defense of interesting writing on controversial topics
2021-02-14
He started a Covid-19 vaccine company. Then he hosted a superspreader event
2021-02-14
The Prison Industry [pdf]
2021-02-14
Ask HN: Playing multiplayer games while BYOD WFH
2021-02-14
Cryptocurrency pioneer Diana Biggs joins digital assets startup Valour as CEO
2021-02-14
Who is Scott Alexander and what is he about?
2021-02-14
Ask HN: How to get a good pay SDE job in US?
2021-02-13
Get Started with Vim Tutorial
2021-02-13
NYTimes on Scott Alexander
2021-02-13
Startup aims to make nearly unlimited clean energy
2021-02-13
