drumnerd

It reads like slop. It’s repetitive, abstract and adds essentially nothing beyond him babbling about himself.

Slop.

This is so obvious I am amazed it warrants a post.

It’s so simple to understand. There are tens of dictatorships around. Why this one? Shit is fucked more a lot more in Congo. Why is the US not interested? This is not about human rights. This is about oil.

Many type errors

Every computer scientist with a grain of salt knows this…

The page is so obviously written with AI that it isn’t even worth reading. Try the model if you will but save yourselves the pain of reading ai slop

This comment looks as if written by an agent.

In type checking, particularly in dependent types, it is not trivial to check that two types are the same. Different notions of equality are useful in this field. A type can contain a function value inside. How to prove that two functions are the same? Is not enough to prove that for all X f X and g X implies f is g.

So a little bit of syntax is verbose, goes on to invent a whole new syntax for it

I would never ever let an LLM anywhere near C code. If you need help from LLM to write a NIF that performs basic C calls to the OS, you probably can’t check if it’s safe. I mean, it needs at least to pass valgrind.

Why the name conflict with aria the technology?

Fuck trump, the Epstein buddy

Ave Brasil

A monad is not a container! It’s a way of composing functions if they have an effect. You tell how to inject a value in that effect (unit) and how to compose two functions that have that effect and that’s it: programmable semicolons.