otabdeveloper4

That's assuming that "formal deterministic language" is equivalent to mathematical reality, or that it even reflects it correctly. It's the accepted view nowadays but akshually quite the hot take.

There's a simple and very logical definition of what a "world war" is - it's when international law completely breaks down, and the only way to get back to a semblance of order in international relations is to have the victors of the ensuing shitstorm impose a new set of rules in some sort of grand finale pact.

1945 was clearly that. 1920 with the League of Nations attempted to be that, but failed.

Whatever happens after the current turbulence we can be sure that there won't be a UN and NATO and a World Bank at the end.

P.S. The first modern world war was the Thirty Year's War.

The very first thing Garage did after I installed it on a test three-node cluster is get corrupted and lose files.

No thanks.

> Fact: There was no world war.

Akshually there is, and WW3 has been going on since 2010. (Mostly in places that aren't Europe.)

> claims to be

Yes, quite the smoking gun of a load-bearing phrase.

All vibe-coded software is complete unusable trash. There are no exceptions.

So no, we're not advancing, we're in fact regressing. The crash and disillusionment of the post-vibe-code world will be immense.

If you ask an AI if "P=NP", it will certainly give an answer. It has to, because the answer is either "yes" or "no".

If you ask it to then prove its assertion, it will then certainly output the tokens that look like a plausible proof. It has to, as it is programmed too.

This "proof" might even be thousands of pages of very technical looking and professional sounding jargon.

It's not a real proof though, and as an artifact it is 100% useless to both the field of mathematics and humanity.

> The elephant in the room

...is the fact that the people pontificating on AI and math the most are also the people who understand AI and math the least.

No, Google will just do "product placement" in the AI output.

P.S. Google's real problem is that their web search is absolutely atrocious and completely broken. Even Qwen is better at searching the web than Google's AI search box.

If people are actually dumb enough to believe an LLM chatbot is god then it becomes a self-fulfilling prophesy.

"The AI is a vengeful god" is a marketing campaign ran by AI companies.

And why not? It seems there is, indeed, one born every minute, and technological progress only accelerates this phenomenon.

Don't worry about it. Claude did a thorough security review of their code.

LiteLLM is vibecoded trash.

> Exactly. Music theory is a programming language for musical composition and performance.

Not really. Here in the 21st century people mostly use DAWs, and there's a piano roll inside that thing instead of staff notation.

"Music theory" is not a theory per se, it's mostly a fancy way of saying "rules for notating piano".

In the linked textbook the real actual theory only starts in chapter 33, "Set Theory". (The exposition of the actual theory is pretty bad, though - zero explanation of what consonance/dissonance is, where the 12 notes come from and the reason why our particular scales exist.)

> You're completely right to call me out on this. Here's the real smoking gun: the iDoohickey isn't a real API interface on iPhone

You don't need a "root certificate".

Just publish a public key in your DNS TXT records. ACME is just that anyways but with extra (pointless) steps.

The whole SSL certificate grift is just a way to extort money out of nothing.

Caveat: I have zero experience with USA government agencies. The spying tech from other countries I'm familiar with are beige box routers made by network engineering types with embedded firmware written in C inside.

I think spying on traffic is just a massively simpler task than generating content.

> The Internet runs on tens of thousands of massive datacenters.

"The Internet" would require 1000 times less servers if it wasn't running off Python scripts in Docker containers in VMs in a virtual overlay network. (I'm exaggerating these numbers only slightly.)

Are you nuts?

Excel is great, but it's an arcane beast rivaled only by Emacs configs. People pass down Excel formulas by word of mouth like they're magic spells.

Your jimmies seem rustled. Am I wrong tho?

Is music "theory" actually a theory? Can it be used to predict or construct something? Even just a two-note steady-pulse acid bass beat. I'm not asking for much.

There's nothing magic in it. Any two pitches that have a rational number ratio with a small denominator sound "correct".

It's just a quirk of human physiology. The real creativeness and ingenuity comes from rhythm and the interplay of repetitive and surprising sounds. The pitches are not important.

There's no such thing as "music theory".

Music theory was originally a tool for music critics in the 19th century to talk about conservatory music of the time.

There's nothing rigorous, systematic or scientific in it; it's mostly a historical cultural artifact more than anything else.

For example, music "theory" is completely helpless when describing an EDM track or how to compose one. EDM is one of the most primitive music styles ever (barely even qualifies as music in my opinion) and yet music "theory" is worthless in this case.

We also can't prove that our minds aren't machine elf meat puppets. Come on. Please.

> It’s true

It's not. "Brains as electrical circuits" is a gross simplification based on our ignorance and prejudices. (In the 18th century they spoke of brains as "clockwork mechanisms".)

LLMs, in contrast, are literally next token predictors. We know exactly how LLMs work, and they are exactly that.

That's literally what LLMs are.

No amount of cope and anthropomorphizing is gonna change that cold, hard fact.

P.S. The perceived magic of LLMs comes from the way they cross-correlate all the probabilities of tokens on their context window. Not from their ability to "think ahead". They can't do that by design.

> Well, obviously we're talking about Default Language people from Default Country and Default Social Strata

No, it's not really a given. :)

Well, for one thing, Mr. Beast is originally an anglophone thing. That alone makes him kinda niche globally.

Not really. Mr. Beast (whatever that is) may be big in your bubble. In my bubble that's a literally who, I doubt even 1 child out of 100 knows what that is.

Cross-cultural (acultural?) memes like sixtyseven have much wider appeal.

By "ad tech" they apparently mean AdX, the part of Google that used to monetize the old open third-party Internet we used to have. (That old Internet that Google itself killed in favor of their walled-garden ecosystem.)