drumnerd's comments

On: P vs. NP and the Difficulty of Computation: A ruliological approach

[drumnerd]

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

On: P vs. NP and the Difficulty of Computation: A ruliological approach

[drumnerd]

Slop.

On: Case study: Creative math – How AI fakes proofs

[drumnerd]

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

On: Trump says Venezuela’s Maduro captured after strikes

[drumnerd]

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.

On: Statistical Process Control in Python

[drumnerd]

Many type errors

On: Ilya Sutskever, Yann LeCun and the End of “Just Add GPUs”

[drumnerd]

Every computer scientist with a grain of salt knows this…

[uoaei → drumnerd]

Then they should speak up more because non-technical people and the general public are still confused.

[senectus1 → uoaei]

the market doesnt want to listen, because lines go up...

On: Kimi K2 Thinking, a SOTA open-source trillion-parameter reasoning model

[drumnerd]

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

On: GHC now runs in the browser

[drumnerd]

This comment looks as if written by an agent.

On: Identity Types

[drumnerd]

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.

[auggierose → drumnerd]

Don't use types for logic. It will lead to confused statements like yours.

On: Type-machine

[drumnerd]

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