Certified Programming with Dependent Types (2019) [pdf]
2020-03-16
Hackenbush. Two-player game invented by John Conway
2020-03-16
Typesetting RSS with LaTeX
2020-03-16
Ask HN: App idea for managing Covid transmission vectors
2020-03-16
Securing your component library with visual testing
2020-03-16
Voodoo death
2020-03-16
A year without conferences? How the coronavirus pandemic could change research
2020-03-16
Recession will hit the US, GDP to shrink 5%
2020-03-16
Verily will launch pilot to expand access to Covid-19 screening and testing
2020-03-15
Show HN: Store Text in a Gist with OpenFaaS
2020-03-15