The VPN software he had to use to talk to Mossad was only available for Windows.

Base successor(successor(successor(successor(zero))))

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.

You won’t find him on any social network

I seem to recall he is or was on one of the fediverse platforms. Am I misremembering?

Edit: https://social.kernel.org/torvalds

The CEO of Socket is this guy. I’m not sure that someone with those credentials would be heading a company engaged in what basically amounts to racketeering. Though, I suppose he might be unaware it’s happening. The company has many investors, any of who would benefit from creating an environment that supports the company’s existence without the awareness of any of the employees. But it’s clear this isn’t some scam operation run by desperate people out of India, which was my first thought from reading your comment. There are reputable people with their reputations at stake. It would be a Theranos-level scandal if what you say was actually determined to be occurring. So, on the one hand, there are reputations at stake, and, on the other hand, Silicon Valley is not incapable of committing fraud.

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.

Using it for writing tests is attractive because the way we generally test software sucks. Programs are written abstractly for an unimaginably large number of cases, but only tested for a finite few. It’s so ugly and boring and inexact. I’d be so giddy if a language/system came along that did formal methods properly, enabling me to formally prove correctness in every case. Programming is fun. Proofs are fun. Tests are not fun. And I’m here on Earth to have the most fun.

This is all to say that using LLMs to do the boring work of writing tests is a suboptimal solution for testing software. It fits a general pattern. Yes, you can learn X by having a conversation with an LLM, but I believe it will be a subpar experience compared to forcing yourself to read a professionally-written book on the subject.

memory safety isn’t the only source of security vulnerabilities

I would like you to produce an example of a Rust evangelist disputing this. They’re not as dimwitted or misguided as you seem to think.

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

Cory Doctorow has had a lot to say about Uber on his blog.^[1]

Off by one error

There’s an ongoing effort to get gcc to compile Rust.^[1]

Debian Science

It doesn’t answer your question directly, but https://linuxpreloaded.com/ has a large list of vendors you could check out.

System76

deleted by creator

A hacky way to fix that is to make that device your user home directory. If the device contains your user home or root directory, it won’t be removable.

I’m looking through the code now. It looks like it’s getting the device list from multiple sources and the fstab source might be losing the race to something else.^[1] fstab devices aren’t removable.

At some point, we’re going to have to have verified real human identity crap because the present situation of having to question everything I come across on the internet and essentially CAPTCHA myself to everyone every time I post is giving me a level of stress that makes me want to log off forever and I can’t be the only one.

This post foreshadowed today’s AWS outage.

Fuck AI.