logicprog

7 ms·

91.
by logicprog 6mo ago
Is he wrong about AI water usage, though? Using the fact that he defended AI water usage, as a reason to ignore everything he says, only works if he was wrong to defend AI water usage. I read that article in depth and checked all the math
92.
Contra Benn Jordan, data center (and all) sub-audible infrasound issues are fake(blog.andymasley.com)
23 points by logicprog 6mo ago|15 comments
93.
by logicprog 6mo ago
LMArena isn't very useful as a benchmark, however I can vouch for the fact that GLM 5.1 is astonishingly good. Several people I know who have a $100/mo Claude Code subscription are considering cancelling it and going all in on GLM
94.
by logicprog 6mo ago
> That seems exceptionally clumsy That's me ;_;
95.
by logicprog 6mo ago
> If a robot unloading your dishwasher breaks one of your dishes once, this is a massive failure. Depending on what the rate of breaking dishes is, this would be a massive improvement on me, a human being, since I break a really importan
96.
by logicprog 6mo ago
I've trained myself to have powers in the dream, but I rarely, fully know that it's a dream, so it doesn't really help when it's all psychological.
97.
by logicprog 6mo ago
I'm extremely sensitive to poor sleep. I also have nothing in my schedule that really prevents me from going to sleep early and sleeping late most of the time, and generally I at least achieve the former. The problem is that I have unb
98.
by logicprog 6mo ago
Lmfao. With this attitude, pretty soon these people won't be able to use anything. Voluntarily just pulling their walls in tighter and tighter
99.
by logicprog 6mo ago
We tried that. It was called Cyc. It never got even close to the level of capabilities a modern LLM has in an agentic harness — even on common sense and reasoning problems!
100.
by logicprog 6mo ago
I don't think anything you said here contradicts what they said, they take great pains throughout the blog post to explain that the model does not "expedience" these "emotions," that they're not emotions in the
101.
by logicprog 6mo ago
Okay, so anti AI people are just making shit up now. Got it. According to Willy Tarreau[0] and Greg Kroah-Hartman[1], this trend has recently significantly reversed, at least form the reports they've been seeing on the Linux kernel. Th
102.
by logicprog 6mo ago
According to Willy Tarreau[0] and Greg Kroah-Hartman[1], this trend has recently significantly reversed, at least form the reports they've been seeing on the Linux kernel. The creator of curl, Daniel Steinberg, before that broader tran
103.
by logicprog 6mo ago
I actually run a custom fork of Zed based on their master branch because of how stagnated the built-in agent is. Master branch Zed agent did get sub-agents, parallel threads, better thread management, and worktrees though, and I implemented
104.
by logicprog 6mo ago
It's still a very nice and fast editor, and you can just switch off those AI features. They're still releasing features and fixes for the non-AI parts.
105.
by logicprog 6mo ago
I am indeed the april fool ;_;
106.
by logicprog 6mo ago
Anyone who says anything good about AI must be an AI shill from the start, not someone who is genuinely observing reality or had their mind changed, don't you know?
107.
by logicprog 6mo ago
> but you never really see any gathered data backing these points up. https://www.anthropic.com/news/mozilla-firefox-security ?
108.
by logicprog 6mo ago
I got really excited about this, but the instructions don't seem to work for me.
109.
by logicprog 7mo ago
This is a wild misinterpretation of that ruling.
110.
by logicprog 7mo ago
Via websearch? Or training?
111.
by logicprog 7mo ago
The problem I'd think, for the average user, would be writing the 'then' part of any deterministic rule — that would require coding, or at least some kind of automation script (visual or otherwise) that's basically codin
112.
by logicprog 7mo ago
If LLMs can come up with formerly truly novel solutions to things, and you have a verification loop to ensure that they are actual proper solutions, I don't understand why you think they could never come up with solutions to impressive
113.
by logicprog 7mo ago
https://web.archive.org/web/20260323190551/https://fortune.c...
114.
by logicprog 7mo ago
Yeah, the temporal logic aspect of it is exactly what I was referring to :)
115.
by logicprog 7mo ago
This looks genuinely awesome! I've been thinking about how to do good property based testing on UIs, and this elegantly solves that problem — I love the language they've designed here. It really feels like model checking or someth
116.
by logicprog 7mo ago
https://archive.ph/ZwUyi
117.
by logicprog 7mo ago
This is an extremely dumb video just lazily dunking on some boomer that used cloud technology poorly. If anything this is brain rot.
118.
by logicprog 7mo ago
The statements made in this article seem so absolutely out of touch with what modern generative AI can do that it's kind of insane.
119.
Scientists discover AI can make humans more creative(sciencedaily.com)
3 points by logicprog 7mo ago|1 comments
120.
by logicprog 7mo ago
There are fairly popular exceptions to this in the AI world IMO. Pi, for instance.

More ›