it's inspiring

the article also says the creator of Linux is LTT

It's a joke

couldn't find/replace be used to swap between operators and readable function names?

you shouldn't be unwrapping, error cases should be properly handled. users shouldn't see null dereference errors without any context, even in cli tools...

That too, as a general coding pattern. I was commenting on the criticism of Zig as a sub-par system's language though, contrasting with a language most people with that opinion seem to like.

it seems like you're just not familiar with the domains defined by those types, or at least the names used here

Are you? What would an option for a hash set of userids? I just don't find that "types" magically solve problems of cognitive load.

> What would an option for a hash set of userids?

As an argument: An optional filter for a query e.g. "return me posts form these users"

As a return value: The users who liked a post or nothing if it's not semantically valid for the post to be liked for some reason.

> I just don't find that "types" magically solve problems of cognitive load.

Cognitive load is about working memory and having to keep things in it. Without types one only has a name, say "userIds". The fact that it's possible for it to be null and that it's supposed to contain unique values has to be kept in working memory(an increase in cognitive load)

I think that's the smoking gun for why most UIs are terrible. it is definitely cheaper to use a framework, but maybe, sometimes, doing something yourself (for 25+) years is worth it