Experience Implementing a Performant Category-Theory Library in Coq (2014) [pdf]

2022-02-05

A Better Way to Write Self-Evaluation and Peer-Feedback

2022-02-05

“Don’t be evil” isn’t a normal company value. But Google isn’t a normal company (2021)

2022-02-05

Uppy – Sleek, modular open source JavaScript file uploader

2022-02-05

How to make sure you're not installing spyware to your computer via USB drivers?

2022-02-05

Banned and Challenged Books Everyone Should Read

2022-02-05

Google One VPN is now available on iOS

2022-02-05

Fonts or Food?

2022-02-05

Ask HN: How to log full HTTP requests

2022-02-05

Ask HN: Why does no one care about data quality?

2022-02-05