miniblog.

What are the most interesting upcoming scripting languages? Scripting remains an important part of the programming language ecosystem. Optimise time to first feature. Allow mutation of the running system to experiment. Interactive inspection of data.

I've been writing docs for different programming language operators (+, *, == and so on). Each one gets a separate web page. I've suddenly realised that / is much harder! docs/+ and docs/== is fine, but docs// just doesn't work as a URL in a static site. Any ideas?

I'm not a fan of the mastodon web UI behaviour where moving down with cursor keys 'snaps' to the next toot. Is it possible to disable this, so my cursor keys always move the page by a consistent visual amount? I've poked in the settings and didn't see anything obvious.