lutusp

4 ms·

1.
by lutusp 5d ago
> The answer to what I'd say if this were about primes and a program which blocks outputting them in pure mathematics, despite there being infinitely many, would be ... [ snip ] ... Q.E.D. Now I get it. I should have realized at the
2.
by lutusp 6d ago
> That much is apparent by the lack of a single mathematically defined claim specified by any of your messages. I posted the Turing Halting Problem Wikipedia page. It describes a theorem, not a conjecture that I need to prove, which show
3.
by lutusp 6d ago
> If you wish to say you have a counterclaim to the idea mistakes can be blocked regardless if every program can be proven to halt which is based in mathematical reasoning you must be able to state or produce the claim in the actual math
4.
by lutusp 6d ago
> You're confusing the halting problem with Gödel's first incompleteness theorem. So did Alan Turing, but ... he wasn't confused. The two are connected. > And Bend is just claiming to be sound but incomplete That is not
5.
by lutusp 6d ago
> It's certainly possible to write a program that always terminates with an answer of either HALTS or UNKNOWN, and only says HALT when that's true, it's just that it will also return UNKNOWN for some (or all) programs that
6.
by lutusp 8d ago
>> This is a simple restatement of the original claim, and it is false. The program being discussed is subject to the Turing Halting Problem. The program being tested, the same. Lean, the prover and the final authority, the same. All
7.
by lutusp 8d ago
> It blocks AI mistakes, it only accepts ones able to be proven. This is a simple restatement of the original claim, and it is false. The program being discussed is subject to the Turing Halting Problem. The program being tested, the sam
8.
by lutusp 8d ago
> Separately, the halting problem would not apply in the first place. The halting problem applies to all systems able to perform Peano arithmetic. Therefore it applies to all non-trivial programs -- the program being tested, the program
9.
by lutusp 9d ago
Beginners in computer science need to understand that there's no such thing as a computer programming method or discipline that "blocks AI mistakes via proof." This is not a position or opinion, it is a fundamental constraint
10.
by lutusp 13d ago
All such prediction engines should include an obvious warning -- "If you act on my predictions, then all bets are off." This is why stock market predictions are a waste of perfectly good paper: people try to act on the predictions
11.
by lutusp 13d ago
> Before concluding what to do about it, it is worth asking why. But that's the easiest question to answer -- AI engines don't possess a moral or ethical dimension. They've been programmed and trained to efficiently carry
12.
by lutusp 1mo ago
Apart from the article's probable origin in AI, it makes an elaborate, wordy argument about consciousness without trying to define the term. That's just as well, since consciousness is philosophy's "hard problem," m
13.
by lutusp 3mo ago
> It feels like we're actually returning to the age of the individual cottage programmer. True. I've recently been vibe-coding a number of projects that I wouldn't tackle if I had to ... what's the current expression
14.
by lutusp 3mo ago
About Apple Works ... Apple paid me massive royalties for Apple Writer but got tired of that arrangement pretty quickly. So they made an outright-sale deal with the Apple Works guy. Then the Apple Works guy refused to answer after-release b
15.
by lutusp 3mo ago
I guess one could launch Claude Code on a quixotic project to create optimally terse 6502 assembly for some imaginary project that might never execute on actual hardware. Hmm ...
16.
by lutusp 3mo ago
LibreOffice, for the most part. Still an open-source True Believer.
17.
by lutusp 3mo ago
> ... immediately readable to a human eye, but even leading AI models can't decipher it easily. For the moment. This pattern is easy to code -- it relies on the premise that a character has an inside and an outside. Outside, a patte
18.
by lutusp 3mo ago
I wrote one of the chapters in Digital Deli ( https://www.atariarchives.org/deli/cottage_computer_programm... ), in a computing world that bears little resemblance to the present. Am I exaggerating? You decide. I wrote a
19.
by lutusp 3mo ago
> There's something incredibly peaceful about being in the hands of an expert you trust. You don't have to worry anymore and can let them guide you through the process. > AI can absolutely shatter that feeling in an uncomfor
20.
by lutusp 3mo ago
Why isn't my favorite color on the list: Unforeseeable Fuchsia?
21.
by lutusp 3mo ago
The linked video is a must-see -- it's one of those rare video essays that shed more light than heat.
22.
by lutusp 3mo ago
If Stephen Wolfram really wanted wide adoption of Wolfram Language, he would give it an open-source license and release its source. As things stand it's an expensive walled garden whose costs outweigh its advantages. A quote from the l
23.
by lutusp 3mo ago
This is easy to answer -- the nerds are out there, but they don't push themselves into the spotlight. The reason Sam Altman gets more press than Linus Torvalds is because Altman is a media spectacle and Torvalds is a technologist. In t
24.
by lutusp 4mo ago
AI describes images in a photo archive, creates a searchable Web page
25.
Photo Database Searchable Webpage Generator(github.com)
1 points by lutusp 4mo ago|1 comments
26.
by lutusp 5mo ago
I create CAD instructional videos based on SolveSpace, and I sometimes try to get people interested in CADQuery as well, but many people interested in CAD will learn SolveSpace or another similar design program, but don't have the prog
27.
by lutusp 5mo ago
Are you asking how the bracelet multiplies two numbers? It's the same idea used by slide rules -- you take the logarithm of the two numbers, then add the logarithms instead of multiplying -- same result, with somewhat less accuracy dep
28.
by lutusp 6mo ago
Wait a sec ... > The problem AI inherits from us is that context and intent cannot be known. > Both can be omitted or lied about. This implies that neither we nor our creations can ever be ethical or safe. It follows logically that no
29.
by lutusp 6mo ago
> ... 40 kilobytes. How times have changed. My best-selling program "Apple Writer", for the Apple II, ran in eight kilobytes. It was written entirely in 6502 assembly language.
30.
by lutusp 6mo ago
For context, the same phased-array transceiver technology is used in Starlink terminals, some of which have 1,280 active elements. Such a terminal can require as much as 150W to function. It's also why pictures of modern naval vessels

More ›