otabdeveloper4

4 ms·

1.
by otabdeveloper4 5d ago
Programming hasn't been solved by LLMs. AI chatbots give wrong answers to programming queries most of the time too.
2.
by otabdeveloper4 5d ago
> without first having to solve the problem of effectively sandboxing Bash "Sandboxing bash" is a problem that has been solved a zillion years ago already. Take your pick of any of the dozens of battle-proven solutions.
3.
by otabdeveloper4 5d ago
> appeal to authority Okay.
4.
by otabdeveloper4 5d ago
You're confusing the mechanical language of math with math itself. The map is not the territory, etc. If math was just an elaborate linguistic Glass Bead Game then we wouldn't be funding it. The intuition is that the surface rules
5.
by otabdeveloper4 7d ago
Read what I said again. AI art falls into the uncanny valley range and solicits disgust, ire or suprise in most people. Sometimes that's okay, but probably not in ad copy.
6.
by otabdeveloper4 7d ago
AI irritates people. This is fine if you're making political cartoons or racist memes, but not so fine for ad copy.
7.
by otabdeveloper4 7d ago
> Since they are invisibly inserted They're not, all destructors are explicit. Seems like a skill issue on your end.
8.
by otabdeveloper4 8d ago
It's capital-G God. Also the question is circular because how you define what a "being" is is dependent on your concept of God.
9.
by otabdeveloper4 8d ago
AI slop isn't "new proofs of theorems", no more than Claude Code slop is "new software products".
10.
by otabdeveloper4 9d ago
> Math, Science, ..., certainly not God Pretty much everyone worships some sort of God. (The exceptions are non-self-aware people living moment-to-moment.) What people argue about is the degree of personality and autonomy that God posses
11.
by otabdeveloper4 10d ago
Because the UN, NATO, etc., are clearly not working now. They're not gonna be fixed to work as designed because that's quite impossible in today's world.
12.
by otabdeveloper4 10d ago
> you're just not using the latest model, bro Pro tip, ChatGPT is the normiest of all normie websites right now. You're not part of the cognoscenti just because you learned how to type prompts into one of the most popular websi
13.
by otabdeveloper4 10d ago
> everything you believe is wrong, here's our god, you must follow and believe in him or you're going to hell "Democracy" and "human rights" is basically that but on steroids. Surely you're not a cultur
14.
by otabdeveloper4 11d ago
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.
15.
by otabdeveloper4 11d ago
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 v
16.
by otabdeveloper4 11d ago
The very first thing Garage did after I installed it on a test three-node cluster is get corrupted and lose files. No thanks.
17.
by otabdeveloper4 11d ago
> Fact: There was no world war. Akshually there is, and WW3 has been going on since 2010. (Mostly in places that aren't Europe.)
18.
by otabdeveloper4 12d ago
> claims to be Yes, quite the smoking gun of a load-bearing phrase.
19.
by otabdeveloper4 12d ago
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.
20.
by otabdeveloper4 12d ago
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
21.
by otabdeveloper4 12d ago
> 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.
22.
by otabdeveloper4 12d ago
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 s
23.
by otabdeveloper4 13d ago
If people are actually dumb enough to believe an LLM chatbot is god then it becomes a self-fulfilling prophesy.
24.
by otabdeveloper4 13d ago
"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.
25.
by otabdeveloper4 14d ago
Don't worry about it. Claude did a thorough security review of their code.
26.
by otabdeveloper4 14d ago
LiteLLM is vibecoded trash.
27.
by otabdeveloper4 15d ago
> 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.
28.
by otabdeveloper4 15d ago
"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 o
29.
by otabdeveloper4 16d ago
> 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
30.
by otabdeveloper4 18d ago
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.

More ›