FStar
An ML-like language aimed at program verification
Dog Star
2020-09-20
We need physical audio kill switches
2020-09-20
When the Otters Vanished, Everything Else Started to Crumble
2020-09-20
Dreamhack Starcraft 2 Masters 2020 Fall: Season Finals [live]
2020-09-20
SMAT – The Social Media Analysis Toolkit
2020-09-20
Ask HN: Cognitive Decline During Covid?
2020-09-20
Ask HN: Teaching Python to 16 yo as their first PL. Fun projects to get started?
2020-09-20
Ask HN: Y Combinator recent batches lack AI and Blockchain startups
2020-09-20
New GitHub repos to have default branches named “main” instead of “master”
2020-09-20
Ask HN: How to launch a side project after a startup failure?
2020-09-19
