miniblog.

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?

Bootstrapping a language can be immensely satisfying. I've added the ability to define stub types in the Garden stdlib and suddenly I don't need to special-case Int or String! They're just normal type declarations.

When I look at tools like Tor and other strong anonymity tools, the complexity is daunting. Only one mistake and suddenly you've outed yourself. I used to suspect that strong anonymity is essentially impossible, but Satoshi Nakamoto has demonstrated otherwise. Remarkable.