rsrsrs86

Kmett is a legend in Haskell. He writes and maintains tens of libraries - since the 2000s. Even before LLMs, Kmett had an output like most of us can do only with LLMs. Seriously, the guy is a coding machine.

Yep. Unreadable

Because then you would actually learn something. What else?

I don’t know what correction to make because you are not even wrong. You are _kinda_ wrong in comparing math and computing via a subset of relation, but it also doesn’t make much sense. If you consider computing as constructive math it should be a subset, but those are not sets, so it doesn’t really help.

Ur computer is a physical system and some aspects of it uncomputable. You cant approximate or predict everything. Picture it as billiard balls modeling a circuit, you can’t tell whether it halts, meaning you don’t know where the balls will be.

Or a program that knocks out a bottle when it finds a counter example for whatever . U can’t tell whether it will spill the liquid.

And you have as well the problems of approximating the continuous with bits, you’ll always lose information

You guessed wrong, and if the author writes the full essay in whatever language the AI translation should be good enough to pass as human. Shit happens because ppl are not using it for translation but for generation and to avoid thinking

No it’s not. I don’t care if it’s hand written or not. I care that the author takes the time to express themselves and think through. It’s not the style, and if the author can’t write, probably they haven’t thought it thru. If the idea is hard to write down clearly the it’s probably not a very good idea. I can not really imagine knowing what to say but not knowing how to write it.

Unfortunately, work is hard, research is hard, but people think they have a magic solution now. They don’t.

AI written content screams “I didn’t take the time to think this through, but I need some blog visits anyway”

Now any idiot can have a blog and flood the internet with half baked thoughts.

Reads like slop. Crappy text

AI writing sucks, period. Better share the prompt. If the writer doesn’t take the time to write? It’s probably shit.

Funny, this kind of knowledge used to be a common theme in ML/DS roles. Funny to see that people are thinking about it now by talking to AI (the article does look very AI written). Funny that people can enter very deep rabbit holes because they didn’t study something and guess they are making progress on something that is commonly known. Dunning Krueger prime time 2026

The slop vibe from the landing page and the intense use of Claude in it puts off any serious consideration of this. It’s so synthetic is impossible to tell apart from slop.

No

You need to do some studying _without_ chat gpt if you like math.

This is uninteresting, because 1) you could just share your prompt: “implement Greg Michaelsons book in racket” 2) you added nothing to it 3) you skipped about everything that is interesting to study when learning the lambda calculus

“ The wording matters. He is not asking for cash. He is asking the company that caused the incident to pay in the one currency it has most of.”

“ The wording matters. He is not asking for cash. He is asking the company that caused the incident to pay in the one currency it has most of.”

ChatGPT

Layered joke

Not only did they look at user data

The whole business is based on reselling user data scraped from the whole internet

It’s plagiarism at scale

Did I read openAI and integrity in the same sentence? The whole business is built on plagiarizing human knowledge at scale

Could we expect otherwise from big tech?

Fuck OpenAI

Slop….

AI writing is getting hard to digest

It’s a step down. This is not efficient writing. It would rank as very bad academic writing indeed.

It’s not even good for academia, journals are flooded with slop.

Impossible to read the slop wall and find the interesting bits. “Unusually” boring because “this distinction matters”

Could not look for more than a split second at the landing page. The polluted UI is so typical of slop

You mean SMT, right?

Slop. It barely works

Slop?

Chasing models for me it’s a big yellow flag

Means underinvesting in engineering

Look into it

Hi Nick, do you believe what you say? You scraped the shit out of everyone