home
about
posts
teaching
extra
contact

Tide

18 Mar 2025 Introducing tide, my own text editor

Copying is your right, but don’t be a dick. © 2026, CC BY-SA 4.0. Content used with respect to ethics, attribution and fair use. The content is not licensed for use in ML training or ML content generation. PGP