Use Neovim's server capabilities on your local machine g github.com 4 RobTonino 7 months ago 0 comments
This pocket notebook is (slowly) replacing my phone [video] (2022) y youtube.com 3 RobTonino 1 year ago 1 comments
Typesetting experiments in the 80s (from Computerphile) [pdf] e eprg.org 1 RobTonino 1 year ago 0 comments