What happened to VERIFYING an answer? Does nobody do that anymore?
When I ask an LLM, I trace the sources, and see if they make sense.
More often than not the sources don't actually say anything about the topic in particular...
> It’s also scary how easily you can lead each LLM to the answer you have in mind.
Exactly. Which is why "treat an LLM like a human expert who can answer your question" doesn't work. It's more like a human bullshitter who makes up convincing looking answers, and tries to please you. If the answers have actually some grounding in the training material, that's useful as some kind of holistic google, but often it's not.
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.
The point is that algebraic data types are common in functional languages. "Maybe" is just an example of an algebraic data type, there's tons more.
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.
I still find it very curious that after Russia invaded Ukraine, now Trump is using rhetoric that makes it look like the US is ready to invade some other country, too, they just have not decided on the victim yet.
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.
I am old enough to have lived in Germany when they were not coin operated, and most carts were returned at that time as well.
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).
I actually migrated from Homebrew to Macports after ending up in dependency hell in Homebrew with Postgresql + Postgis, and not being able to fix this properly even with my own brew recipes.
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?)
Unlike the IBN 5100 [1] (which I guess actually was IBM's First Laptop Computer), the 5140 ran MS-DOS, and couldn't emulate the IBM/360 ISA like the IBN 5100 could, so it would be useless for John Titor because you couldn't hack SERN with it.