Folder is better. On disk, a folder is a list of pairs of a name and number, mapping the items in the folder to their location on the disk i.e. it’s a directory. The days before computerization are before my time, but, as I understand it, library index cards worked this way. You might have a card for each author which listed the books by that author with the location of the index card on that book, and you might have directory cards on subjects or keywords too, and the card on a book might point to the location of the book on the shelf and the card for the author, etc., or something like that. It would be most confusing to call these directory cards “folders”. The computer does the same thing internally, but the user interface has hidden away any notion of directory. They’re logically folders. It’s only a directory if you’re writing a file system implementation.

HN comment which makes your point but is better worded

Another example is Coq, the interactive theorem prover, named after CoC, an abbreviation for calculus constructions, the type theory on which Coq is based, and the co-creator Thierry Coquand in whose native language (French) coq has no sexual connotation and is simply the word for rooster (male chicken).

I have just now seen on Wikipedia to gather this information that it was renamed to Rocq last year after 41 years.

https://github.com/rocq-prover/rocq/wiki/Alternative-names

One possible way to deal with this and very nearly return to the former freedom-to-tinker status quo is to send the bank your custom OS along with a computer-checkable formal proof that the bank’s app, while running on your OS, behaves as it would be expected to under the stock OS. With homomorphic encryption, it might be possible to do this without revealing your custom OS, only its one-way hash. The bank can then verify that the proof is correct and then accept transactions with attestation from your custom OS. This would enable installing a custom ROM that can be used for online banking without having to go through some cabal/consortium. The only caveat is something of this magnitude has never been done before. It’s a research project for sure. It would take many man- and compute-hours. But it would be very cool.

You wouldn’t download a new car each time you want to download a new car.

The Stranger Things universe has time travel confirmed.

lawl

It would also seem that the article’s existence violates Wikipedia’s “no conflicts of interest” policy and the entire list of sources violates the “no self-published sources” rule. I propose the article be deleted. Thoughts?

It really raises eyebrows when you come across users who have posted nothing but aggressively anti-US anti-NATO anti-EU stuff for several years straight. No other interests. Nobody talks about politics nonstop. Nobody. It’s straight up bizarre.

The part of the tech stack that handles all these command editing and navigation shortcuts is the readline library. Check out man readline. There’s an entire section on searching. readline is used for lots of other interpreters, too.

KDE’s Plasma Desktop has a web search plugin that I use all the time. Typing the Win (Super) key followed by wp:Sistine Chapel and then the Enter key brings me straight to the Wikipedia entry on the Sistine Chapel. imdb:Jurassic Park brings me to the IMDb page for Jurassic Park. yt: will search YouTube, and so on. There are around 200 keywords pre-programmed into it, including for searching programming language documentation. Unlike the Windows feature displayed here, it doesn’t use the network unless you specify a prefix and it accesses only the service you specify by the keyword. Whoever added this feature had to do so very little work compared to the payoff. It just takes the part after the colon and inserts it into a search URL for the corresponding service and opens that URL in the browser. It’s very convenient. None of this web search stuff comes up when you’re just searching for apps and there are no surprises.

In remembrance of the fallen

Pure rent seeking. It’s not the only example. So many products have artificial defects deliberately added by the manufacturer so that they can then charge you to disable the defect.

https://www.theregister.com/2000/07/31/ms_ballmer_linux_is_communism/

Debian Science

Eternal Jukebox

John Mulaney Plays “What’s New Pussycat?” 21 Times on a Diner Jukebox

This post foreshadowed today’s AWS outage.