_dwt

7 ms·

31.
by _dwt 5mo ago
I think at this point the containment board is the entire Internet. I have no idea how, but we all need to "Atlas Shrugged" this shit and start over somewhere else with something else.
32.
by _dwt 6mo ago
I think you may have missed a subtle point: there is an especial risk from automation which almost always works correctly. The aviation industry calls the phenomenon "automation fatigue". It's very difficult for humans to sta
33.
by _dwt 6mo ago
"Yes, Socrates, you can easily invent tales of Egypt, or of any other country."
34.
by _dwt 6mo ago
I have a question for all the "humans make those mistakes too" people in this thread, and elsewhere: have you ever read, or at least skimmed a summary of, "The Origin of Consciousness in the Breakdown of the Bicameral Mind&qu
35.
by _dwt 6mo ago
It's getting bad here; I've seen at least three obviously AI-written "anti-AI" or "AI critical" pieces hit and remain on the front page in the last week. I can't help but think about Bill Hicks on marketin
36.
by _dwt 6mo ago
It’s ok, Harlan, you save up for that baby and don’t let the cult browbeat you over it. (People are fuzzy and while game theory is fun and even sometimes useful, this kind of stuff skeeves me out and I think it lures “smart” people in and g
37.
by _dwt 6mo ago
> literally You were either a very talented baby or we’re justified in questioning your ability to assess the correctness of nitpicky formalisms.
38.
by _dwt 6mo ago
The formal methods people may yet have the last laugh. I did not have Lean becoming a hyped programming language / proof assistant on my bingo card for 2025-26 and yet here we are, because these tools help us close the validation loop
39.
by _dwt 6mo ago
> A number of these phenomena have been bundled under the name "Software Engineering". As economics is known as "The Miserable Science", software engineering should be known as "The Doomed Discipline", doom
40.
by _dwt 7mo ago
For me, “interestingly wrong” becomes just “wrong” without human thinking behind it. I wasn’t bowled over by the prose, I just thought it was an uncommon take and didn’t twig the signs it was Claude product.
41.
by _dwt 7mo ago
As a couple sibling comments said, I took it for an insight into the way an optimistic writer might see AI software development becoming a new form of "end-user programming" or "citizen developer" tooling. I'm perso
42.
by _dwt 7mo ago
It's a major bummer. When I first read the story (a few days ago, maybe?) I thought it was an interesting metaphor that didn't quite line up with the observed details of software development with AI. I assumed the writer was a jou
43.
by _dwt 7mo ago
I'm sorry you've had that experience, and I agree there are a good share of "skeptics" who have latched on to anecdata or outdated experience or theorycrafting. I know it must feel like the goalposts are moving, too, whe
44.
by _dwt 7mo ago
Well, no, not with that attitude there won’t! I am not trying to insinuate that there is a conspiracy, or that posts like yours are part of it, but there has been a huge wave of posts and comments since February which narrow the Overton win
45.
by _dwt 7mo ago
I am going to try to put this kindly: it is very glib, and people will find it offensive and obnoxious, to implicitly round off all resistance or skepticism to incuriosity. Perhaps to alienate AI critics even further is the goal, in which c
46.
by _dwt 7mo ago
I think this is coming, alongside professional licensure for "software engineers". Every public-facing project will need someone to put a literal stamp of approval on the code, and regardless whether Claude or Codex wrote the bulk
47.
by _dwt 7mo ago
I hope we get a follow-up in six months or a year as to how this all went.
48.
by _dwt 7mo ago
Yes, this is the reason I've completely stopped releasing any open-source projects. I'm discovering that newer models are somewhat capable of reverse-engineering even compiled WebAssembly, etc. too, so I can feel a sort of "d
49.
by _dwt 7mo ago
Not the original commenter, but you may have noticed a wee kerfluffle between a large nation-state's "Secretary of War" and a frontier model provider over whether the model's licensing would permit autonomous lethal weap
50.
by _dwt 7mo ago
Gary Marcus is living in Claude's head rent-free?
51.
by _dwt 8mo ago
This one IIRC: https://samkriss.substack.com/p/the-law-that-can-be-named-is... He writes about it here, a little: https://samkriss.substack.com/p/against-truth In general long meandering semi-fact
52.
by _dwt 8mo ago
Descent was a huge part of my childhood (and surprisingly my little kids are now big fans as well)! Unfortunately this seems to stutter pretty badly with audio issues as well for me on Firefox on Linux. As a huge fan of three.js and other p
53.
by _dwt 8mo ago
Sorry for coming off combative - I'm mostly fatigued from "criti-hype" pieces we've been deluged with the last week. For what it's worth I think you're right about the inevitability but I also think it's w
54.
by _dwt 8mo ago
This (LOC is an anti-metric, Goodhart's Law, etc.) is true, but I'm reaching the point of "fuck nuance" when I see so many articles superficially critical of AI which contain things like this: > If AI-generated code
55.
by _dwt 10mo ago
I have the strangest feeling that at some point this received a 's/—/...' pass. That aside, while I'm "old" enough to remember this kind of cultural/vibe-based rivalry between programming language com
56.
by _dwt 1y ago
Great article. I'd never thought about a spacecraft ADI having a third axis. Sadly, a nitpick - Bill Lear's F-5 autopilot was not, as far as I can tell, in any way connected to the Northrop F-5 fighter jet.
57.
by _dwt 1y ago
Oh wow, are you me - I had an almost identical SAT experience. Oddly enough compared to another poster in this thread, I love functional programming and Haskell and studying things like dependent types in a programming context has helped me
58.
by _dwt 3y ago
As an "unlucky" person, I can't help but wonder: what about an alternative version of the experiment where the newspaper contained the big "This newspaper has 43 photographs" text - followed by 44 photographs? (This
59.
by _dwt 3y ago
Hmmm, "Rama is programmed entirely with a Java API – no custom languages or DSLs" according to the landing page, but this sure looks like an embedded DSL for dataflow graphs to me - Expr and Ops everywhere. Odd angle to take.
60.
by _dwt 3y ago
It is, though, by the same argument also collectively dumber than the dumbest person who ever lived. No single human moron's brain could accommodate so much misinformation, useless fluff, spurious reasoning, etc. etc. etc. So I think t

More ›