On 25/02/2026 11:21, Mr. Man-wai Chang wrote:
On 2/22/2026 5:47 AM, HAL 9000 wrote:
AI is great but you have to be able to call on everything you learnt
prior
to the arrival of LLMs to leverage the stochastic parrots properly (i.e.
fixing their errors and flat out hallucinations): this is why pure vibe
coding by people with no coding experience remains bullsh*t. #compsci #AI
Why do you trust source codes found by A.I.?
A.I. merely helps programmers find canned source codes. Opening the can
of worms, doing quality control and auditing security should still be
done by human.
helps, helped, or will help?
mere LLMs don't even help find canned source codes, expert systems do that.
Automated theorem provers can translate requirements direct to correct
(and provably correct) programs (by the Curry-Howard correspondence).
Auditing security should be done by these.
Expert Systems and Automated Theorem Provers are AI too.
LLMs could assist in generating conjectures for the automated theorem
provers but then human language could become formalised and not natural
and then we're in a double-plus-dystopia. LLMs should be very useful to
create semi-formal statements that requirements encoders and customers
mutually understand, but perhaps not by linguistic prompts but by
providing faster navigation through the space of meaning - and faster
mapping direct from the space of meaning to formal expressions of
requirements.
--
Tristan Wibberley
The message body is Copyright (C) 2026 Tristan Wibberley except
citations and quotations noted. All Rights Reserved except that you may,
of course, cite it academically giving credit to me, distribute it
verbatim as part of a usenet system or its archives, and use it to
promote my greatness and general superiority without misrepresentation
of my opinions other than my opinion of my greatness and general
superiority which you _may_ misrepresent. You definitely MAY NOT train
any production AI system with it but you may train experimental AI that
will only be used for evaluation of the AI methods it implements.
--- PyGate Linux v1.5.12
* Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)