home
posts
teaching
extra
contact

Tide

2025

18 Mar 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. This website does not rely on cookies and does not use any kind of analytics. PGP