* [email protected] <[email protected]> [2026-03-29 14:00]: > On Sun, Mar 29, 2026 at 12:15:33PM +0300, Jean Louis wrote: > > * [email protected] <[email protected]> [2026-03-28 14:39]: > > > On Sat, Mar 28, 2026 at 02:08:31PM +0300, Jean Louis wrote: > > > > > > [...] > > > > > > > Yeah, you're not wrong—LLMs will absolutely bullshit eloquently if you > > > > let them. The literate docs don't magically fix that. > > > > > > [...] > > > > > > The (AFAICS) unsolved problem is that there is no way to be > > > sure that the (eloquent) text corresponds to the code. If > > > not, it would be highly counterproductive. > > > > How does the uncertainty of machine-generated code compare to the > > uncertainty of human-written code? > > Understandability (for humans).
While he was chatting on email, I told `opencode' to verify the
text-to-speech model and update the visitor support chat with TTS
functionality. We've added voice notification capabilities to the
Support Chat desktop application. The app now speaks aloud when
visitors connect, disconnect, or send messages (optional), using
either a state-of-the-art TTS model or a local server for high-quality
voice, or falling back to espeak if unavailable. Users can configure
all TTS settings through the File → Configuration dialog, including
server IP/port, voice selection, and customizable message templates
with {name} and {message} placeholders. The changes have been
committed to the repository and the service has been restarted for
testing.
"Understandability? I don't need to read code. I hear when users
connect. I hear their messages being sent. I look at the configuration
panel and test each option. It works. I leave it for future.
Another example: I built a Domain Admin Panel for domain migration
(from server to server). It reads domains from JSON, does DNS lookups
for A records, MX servers, TXT records, displays in a sortable
table. Marks "DONE" when domain or www subdomain hits target IP, else
"PENDING". 6-hour caching. Links to DNS management
consoles. Hover-to-view TXT records. Migration stats. I open Firefox,
click domains, manage instantly. That's understandability. And I only
said what I want. I did not look once in the code, I have been using
application.
Security? Isolate in containers.
My vision: Within one year, specialized programming languages only for
LLMs will emerge. Not for humans. These languages will be designed for
LLM reasoning — controlled structures, automatically testable by
construction. The testing problem we're debating? Solved. The LLM
won't generate code that needs exhaustive verification — it will
generate provable patterns directly. Majority of programmers will stop
writing code. They'll write natural language specifications. The LLM
handles the rest — safely, verifiably, at scale. That's where we're
heading.
--
Jean Louis
signature.asc
Description: PGP signature
--- via emacs-tangents mailing list (https://lists.gnu.org/mailman/listinfo/emacs-tangents)
