New post: "What Context Can Bring to Terminal Mouse Clicks", explaining how one can click on filenames with line numbers in my terminal and have the "correct" editor instance jump to that file and line. A hack, or pragmatic use of existing tools? You decide! tratt.net/laurie/blog/...

Here's a visualisation of the evolution of our "Garbage Collection for Rust: The Finalizer Frontier" paper. The animation renders each git commit in the paper's history as a frame, with the time of the commit shown in the bottom right. The full hi-res version can be found at youtu.be/zC866HybCp8

I've been a long-term user of fzf: its Ctrl-R feature for searching shell history is an astonishing productivity gain. Recently I tried skim, a similar tool, and realised that I could present my history nicely: with times/dates, and without row indices.