- cross-posted to:
- [email protected]
- cross-posted to:
- [email protected]
GrapheneOS is currently defending its use of AI coding tools on Mastodon against complaints by various accounts claiming to be users.
We do not understand where you’re coming from or why you’re so incredibly angry with us. It’s not justified and does not make sense.


I am not talking about the Linux kernel or the Rust project - they have stabdards way above average commercial projects - but generally “using ai” in practice means to use it for code generation. Then, programmers are expected to review the output but are not given extra time for it. This creates an extremely slippery slope leading to mostly unsupervised code creation. Also because reading and understanding buggy third party code means more effort than writing new code.
Then there is the idea to get rid of the bugs by “debugging”, but debugging is frankly not a software engineering strategy, because you can always just recognize a fraction of the bugs that your process created in the first place. Debugging is also more expensive tha writing good code.
Then, what makes the process between product managers and software developers very often a bit friction-loaded is that good developers always want to have clear specifications what they are supposed to build.
LLM code generation largely replaces clear specifications with plausible assumptions. That appears to make the process fast, but the result is often wrong. At times obviously wrong, and at times subtly and catastrophically wrong.
Excellent observation, which aligns with my observation that fans of “coding assistants” can’t wrap their head around algorithms, not to mention a sound software architecture.
Eh, I now have witnessed two cases where I asked a software team lead of a project I was working for for a precise interface or API for a planned function and they looked at me as if I had talked about going on a giraffe ride with a bunch of alien Martian schoolkids.
(And subsystem interfaces is really a subject I was taught in 10th grade by a math professor who himself had been a student of Niklaus Wirth.)