Vim has stopped before that particular threshold. But if ever Neovim get a GUI version, I believe the community will soon have its own Gnus, Eww, and EMMS.
It's ok, but not more than that. I dabbled a bit in Ada, and while that link has a lot of information, it's far from complete. Unfortunately, there isn't much more information on the internet. It can be difficult to find answers.
I also learned a bit of SPARK, and there the situation is much worse. The Adacore link shows less than the bare minimum: I couldn't get my simple programs (AoC) to the "silver" level, where it passes all checks, let alone "gold", where you actually prove correctness. The rest of the internet is practically barren when you search for SPARK. I got a second-hand copy of Building High Integrity Applications with SPARK; John W. McCormick, Peter C. Chapin. It contains complete examples, and explains the concepts pretty much in depth. Unfortunately, the book is expensive, and since I was just dabbling, I got the cheapest, which was the 2015 edition, which lacks later changes.
There's an Ada forum (https://forum.ada-lang.io/), but it is not very active, and questions may not be answered.
To me culture building does not imply creating culture from scratch intentionally (as you cannot intentionally force it), but rather influencing or guiding that natural process thoughtfully to encourage "positive" values and behaviors to encourage "positive" values and behaviors within a group.
Why would you drop it altogether? Medications and/or supplements can have synergistic effects, for example. Synergy is actually a term that is formally defined as "Effect(A + B) > Effect(A) + Effect(B)".
The point of saying and writing things is to be understood by your audience.
If I know a given wording is widely misunderstood, to the point I'm planning to immediately follow it with a clarification - often that's a sign it's not a very good wording.
There are exceptions, of course - go ahead and say Cephalopods (things like octopuses and squid) if you're a marine biology educator.
Most people couldn't tell you how their car works, at least not enough to fix it. Is that handholding, too?
People can't be knowledgable about everything. There's just too much information in the world, and too many different skills that could be learned, and not enough time.
A carpenter can rely on power tools without understanding fully how the tools work, and it's fine, as long as the tools are made to safe standards and the user understands basic safety instructions (e.g. wear protective eyewear).
To me, making sure that apps don't screw with people, even if they don't understand how the apps work, is roughly the equivalent of making sure power drills are made safely so they don't explode in peoples' hands.
“As long as the user understands basic safety instructions”
Yes, the internet has basic safety instructions, too (and probably just as many bother to read them), number one or two is “almost nothing online is ever really private”. I learned it by the mid 2000s, not knowing it in 2026 is not excusable with “people don’t need to know how everything works”.
And I never said that people should be knowledgeable about everything...
... and this is not what I was referring to either.
Less handholding -> more learning... but even then, what I meant is that you do not have to be knowledgeable to know that your "private messages" are not really encrypted and can be read by the admin (in case of forums, for one), and so forth.
If browsers remember which domains do ECH and refuse to downgrade to non-ECH connections after, the way the HSTS cache forces browsers to connect over HTTPS despite direct attempts to load over HTTP, then you only need an entry in the browser database to make downgrade attacks to accomplish SNI-snooping impossible.
For HSTS, browsers come with a preloaded list of known-HTTPS domains that requests are matched against. That means they will never connect over HTTP, rather than connect over HTTP and upgrade+maintain a cache when the HSTS header is present. If ECH comes with a preload list, then browsers connecting to ECH domains will simply fail to connect rather than permit the network to downgrade their connection to non-ECH TLS.
reply