It is usually impossible to use reductio ad absurdum if someone has already taken their idea to its logical conclusion.
Related Posts
https://tigerbeetle.com/blog/2025-02-27-why-we-designed-tigerbeetles-docs-from-scratch/ has an interesting distinction between "physical" and "logical" hash of a tarball.
By storing the hash of the decompressed tarball contents (i.e. the logical hash), they can verify the validity of files without needing to keep the tarball around.
I've been experimenting with an 'evaluate up to cursor' mode for my PL project.
I love evaluating self-contained snippets in Lisp, this generalises the idea.
The interpreter remembers the arguments when you run tests, then can re-use them when you say 'eval up to here'.
What do you think?
I'm never sure what to name my remotes in git. I tend to use 'mine' so I can add other forks later, but sometimes I use 'gh' or the traditional 'origin'.
What do others use?