1. Hacker Public Radio (hackerpublicradio.org)
  2. Pac Maps (profrino.github.io)
  3. Are We Stuck with Lean? (mathoverflow.net)
  4. The Glass Famine (edconway.substack.com)
  5. Azulejo (en.wikipedia.org)