You’re going to indent your code anyway, so why not let the indentation carry meaning?

Fair enough. So what are your favorites?

You might be interested in Lean.

Might just look that way because it’s using the default theme of Tailwind CSS, which is coincidentally the weapon of choice for sloptimized vibe code.

As neither a chatbot nor a doctor, I have to assume that subarachnoid hemorrhage has something to do with bleeding a lot of spiders.

I think for Terminal.app you have to enable “Use Option as Meta key”

You might have fun perusing the Miscellaneous Technical block (I sure did).

⌥+. does the trick for me on MacOS.

The joke’s not about Firefox; you could swap in any Linux program.

I’ve been curious about yash but haven’t tried it. What do you like about it?

As an interactive shell or for scripting?

I think I can live with that

I prefer the term “commensalist”

Here is their FY 24–25 Audit Report. To wit, their net assets were $296.6 million, while their total internet hosting expenses were $3.5 million. So the claim that hosting expenses make up a trivial fraction of their total assets would appear to hold true even moreso today than a decade ago.

Granted, the FAQs for the report state that “The vast majority of […] revenue came from donations […], as well as investment income, Wikimedia Enterprise revenue, and other revenue primarily related to a cost sharing agreement with the Wikimedia Endowment”.

I remain suspicious of the large increases in “Salaries and wages” year-over-year compared to other expense categories.

Operating expenses don’t necessarily equate to total expenditure. The article also mentions that fifteen executives took home a six-figure salary in 2015; that doesn’t strike me as particularly efficient.

Notwithstanding, what I originally said was not prescriptive. People are free to spend their money as they see fit. Even I have donated to the Wikimedia Foundation in the past and still believe that they provide invaluable resources for the common good.

Where I take issue is the fact that the messaging in their campaigns often gives the impression that the organization is scraping by on user donations, whereas in reality they’re sitting on a pile of assets that would ostensibly be in the 99.9ᵗʰ percentile of household net worth in the US.

I should have specified: I don’t agree with every part of the article, but I shared it for this excerpt:

The Wikimedia Foundation solicits donations from Wikipedia users every year, even though its expenses ($2 million to run hosting and servers) are vanishingly small compared to its profits. Wikimedia has increased its spending over 1000% since 2008 and sits on $97.6 million in assets as of 2016.

They probably don’t need donations.

Atomas was mentioned in another comment; I can vouch for it as well.

A Dark Room is a fun (if not somewhat short) text-based game.

Bonza and Smash Hit are good for passing the time.

Vector Classic and Shadow Fight 2 (Special Edition) used to be my favorites as a teen, though I otherwise wouldn’t recommend Nekki games since they’re full of ads and dark patterns.

There are a couple of unofficial Android clients on F-Droid:

• LinkDroid
• LinkGuardian