Re: GR: Ban LLM contributions from Debian
Gard Spreemann <[email protected]> Tue, 28 Jul 2026 15:41:34 +0200
| Newsgroups | gmane.linux.debian.devel.vote |
|---|---|
| Message-ID | <[email protected]> |
Matthias Urlichs <[email protected]> writes: > On 27.07.26 10:24, Gard Spreemann wrote: >> a person is >> still writing a precise set of instructions when they write C or >> JavaScript > > I would contend that there are heaps of edge cases in both C and JavaScript > where the intended meaning and/or the result is *not* precise[ly specified]. At > all. Sure. But there are large, well-specified portions of those languages. We agree that staying away from edge cases in e.g. C is no easy task, but it is certainly possible (at least in principle). With the "source language" being natural prose, however, all bets are entirely off. > Yes, translating a more-or-less-correct/complete specification to code is (for > the most part) not going to be one-shot and/or deterministic when you give the > job to an LLM, but the same thing happens when you hand the spec to a junior > programmer. But now you're comparing LLMs to junior programmers! My issue is with comparing the role of LLMs to that of compilers or calculators. We definitely interact with junior programmers through natural language already, so nothing changes there. My point is that we interact with compilers and calculators through *formal languages*, and that therefore it's not helpful to compare LLMs to those. Best, Gard
signature.asc
(application/pgp-signature, 857 B)
-----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEz8XvhRCFHnNVtV6AnRFYKv1UjPoFAmposY8SHGdzcHJAbm9u ZW1wdHkub3JnAAoJEJ0RWCr9VIz6Jc4QAJTVfBlCOBOxe3KX1rvyQmhTa7hmpTjF 27yMXcO7J3XLLkIH+VKidG9wO9GWWmAAgNeqHkrxz3MHH0584vfvOKHOPrCozXx+ 7FiFboKz+9JZ8pdoGVMOQ7oEDQPlhOODXuMcW4gDmxs3LNVIgO9vMdFCeLIymE+b f0KzfXbb93IlId5g78LHi2hXKDCXy+HeA8P9DvKvXO36GpjouyN7n/fHxOXwq757 LG9dGolBkIFGEDS5ZrxabzxWtDA6nAoO1cpPvD7Ph0Asp/YkevBdXCf7a4TwtBVw 0X9W4EMVVRNjdYUgu5rZg5IWAbZzgCxhQhh6Fsdo9jnBzJw2Q9WUK0XLueDv4RTQ 920t5yXfqhTNgfnc1eAXAgWK+YdJ3GdBK/crm6pth57f+TvmhpE5Vt+cCX2i5Lal zGLQvofx0mkfh+jNAJq1aN5adlN4CsW/fKX3OJH+xkuMun/AIJLfsquMRqMWiOiR bzTdFxXnFcDLFyEZVLDo5nu9DzyEK4sMaKAb0bgCJmIArGCwsdm7Z0+Ng8wcez4o ATPAQGjbqLBQ2PNWQqKwkRDv7e5OjdQpbeExTKd+il0H4cXvb5DZ9O/FJbUsNyIy gJe20/o7S6Dl3aAx8UtZwT8Jf6LEZCjnNQwg76JaB2VRUE9ePstb23i58yUlE4D4 DR7Y6pWETFq4 =zb2u -----END PGP SIGNATURE-----