1. Formalizing Julia in Lean (discourse.julialang.org)
  2. I was tired of copy/pasting back and forth from ChatGPT to my terminal, so I created Pigeon-Home.ai Homing Pigeon is both a protocol and a software (daemon) which gives major cloud AI vendors a signed and secure…

  3. How to Do Less (2022) (alexturek.com)
  4. What about mob/ensemble programming? I work on a team that used to use mob programming heavily. There would be a driver and a navigator, and then someone taking notes. Other people would be "muses" or observers. Always…

  5. The Earthshot Prize 2026 (earthshotprize.org)