A (slightly dramatic) history of Engelbert's vision for knowledge tools, his prototypes on early timesharing systems, and the transition to personal computers:
https://www.rheingold.com/texts/tft/09.html#Chap09
Related Posts
I'm experimenting with Atuin for searching my terminal history: https://atuin.sh/
Previously I'd just used fzf to find items, which does work nicely. Occasionally I *really* want to search "commands which were run in this directory" though, which Atuin offers.
One interesting consequence of the rise of LLMs: there's more demand for tools that handle untrusted input.
Arbitrary HTML+JS can be safely run in a browser. Lean can check an arbitrary proof.
These work really well with an LLM that can be wrong, but sometimes gives exactly what you want. Are there other tools in this family?
I'm considering switching my personal servers (on Digital Ocean) from Ubuntu to Debian. I essentially just need something running Docker for most of my projects.
Debian seems to require upgrading less often. Any opinions?