⭐ I favourited https://www.zylstra.org/blog/2020/01/12241/ by Ton Zijlstra on January 5, 2020 — 12:49.