Nope, and I actually learned about application of category theory to programming language in university.

I tried to get an idea about the main points, and then stumbled over

> a thing is what you can observe of it. > > [...] > > Content addressing is extensionality made physical (chapter 11): two values indistinguishable by observation are not merely equal, they are the same slot

That only works in a category because you have enough (a countably or uncountably infinite number) functions that you can compose and "test" so you don't need (or don't care) about the "value" itself.

But on a real computer that doesn't work, because you can't go beyond a countable number, and even then you run into the halting problem pretty soon. So equality in this model is not computable. Which is sort of bad if you want to somehow store values "in the same slot" just based on observability. It might work for string literals, and even for concatenated strings, but not in general.

Picking some random lattice (a lattice is a partially ordered structure with some extra conditions) as a base of addressing doesn't help...

So yes, crackpot AI slop. The words sort of make sense, but there's nothing solid behind it, and as soon as you look at details it falls apart.

And of course Rust and TypeScript were heavily influenced by Haskell... they just don't mention it and call things differently, to avoid the "monads are scary, I need to write a tutorial" effect. Though it's less about monads and more about things like type classes.

Imitation is the sincerest form of flattery.

If the article says "functional programmers should take a look at Zig", and Zig makes algebraic data types hard, then maybe they shouldn't use it.

If you even say "the annoyingness is a feature, use zig the way it is intended to be used" then that's another signal for functional programmers that they won't be able to use zig the same way they use functional languages.

So if you have no LLM to ask, can you figure out on your own what is wrong? Just by reading documentation?

That's also an important skill to have.

Teletext [1] was extremely popular in Europe before the Internet was widely available for private households. Also piggybacked on TV.

[1] https://en.wikipedia.org/wiki/Teletext

The authorization can probably be done somehow in nginx as well.

But from I hear it affects other projects too. It affected curl more because with the bug bounty they actually need to invest work and look at those.

[1] https://daniel.haxx.se/blog/2024/01/02/the-i-in-llm-stands-f...

[2] https://daniel.haxx.se/blog/2025/07/14/death-by-a-thousand-s...

And of course "start a war with another country" is an excellent example of how to control your country in case you have to, because, say, elections are coming up and you may loose.

Though occasionally you saw a cart far far away from a supermarket, where someone had basically stolen it, either teenagers to have fun, or someone asocial who, I don't know, used to carry all the shopping home? I don't really know what they did with it.

And it was the cost of replacing those stolen carts that drove the adaption of the coin operation system. Not that people just left them in the parking lot. Some supermarkets also tried a system where the cart locked if you moved it out of range of some radio in the supermarket, but that one really didn't take off.

(Also, quite a few people in Germany just do shopping by walking or biking to the supermarket).

So for now that works a lot better in Macports. The portfile stuff needed some digging to understand, but that's doable.

Not sure what made you move from Macports to Homebrew. (Should I worry?)

Well, Unix came into being on a DEC PDP-11, and C is basically high-level PDP-11 assembly...

And MS-DOS was influenced by CP/M which was influenced by DEC operating systems (like OS/8 for the PDP-8).

[1] https://www.cyber1.org

[1] https://en.wikipedia.org/wiki/IBM_5100

Some genius at Microsoft decided the exporting to CSV should follow the locale convention. Which means I get a "semicolon-separated value" file instead of a comma-separated one, unless I change my local to us.

Line breaks are also fun...

The thing is that there are enough people who blindly trust ChatGPT's answers, and they don't know in which ways they could be broken, and they wouldn't have the knowledge to verify the answers because they are asking about things they themselves know very little about.

And I like the Haskell do-blocks.