Generating Verified LLVM from Isabelle/HOL [pdf]
2020-01-20
Radiohead launched an online ‘public library’ with rare tracks and library card
2020-01-20
Ask HN: Legal problems when discontinuing side businesses
2020-01-20
Velodyne's $100 Lidar Will Go into Cars Driven by Human Beings
2020-01-20
People no longer believe working hard will lead to a better life, survey shows
2020-01-20
Tracking the Trackers: using machine learning to aid ethical decisions
2020-01-20
Gramateria: Drag and drop web builder with material design
2020-01-20
Ipywidgets Get Drag'n'drop Support
2020-01-20
How finns became the world’s greatest coffee drinkers
2020-01-20
Auto-mounting encrypted drives with a remote key on Linux
2020-01-20