Honestly this article is already 8 months behind. In 6 months they will recommend Rust. Still wrong. Answer already been found. Formal verification or nothing. Lean v4.33.0. Since v4.30.0 LLVMBindings are included making direct projection to llvm IR instead of emitting C or emitting IR
Only formal verification kernels will solve the issues discussed. It cannot make your c design correct, it can only verify the code itself whatever is written.
Point is, this is solved known, and everyone get enough ahead made the jump long time ago.
Also, sorry, standard libs are almost always forbidden now. They can’t be trusted. Anything important is written from scratch.
Why? Go and others standard libs are “broken”, meaning they are half assed lightly defined not purpose built for a developers job. They are general. That was good once upon a time. Not anymore.
Use Go and attempt JSON Canonicalization. You can’t. It’s valid. Proven so. Why? Stdlib json parsing is normalizing and lossy. Fail closed. Float to string violates ecma 262 for floats. Every single action taken is in violation. This is the stage of today’s programmmkng. Developers who don’t even understand what “correct” is. https://lattice-substrate.github.io/blog/2026/02/27/shortest...
The issue is NOT AI LLM, it’s poor development by HUMANS. The same problem we always had.
Only formal verification kernels will solve the issues discussed. It cannot make your c design correct, it can only verify the code itself whatever is written.
Point is, this is solved known, and everyone get enough ahead made the jump long time ago.
Also, sorry, standard libs are almost always forbidden now. They can’t be trusted. Anything important is written from scratch.
Why? Go and others standard libs are “broken”, meaning they are half assed lightly defined not purpose built for a developers job. They are general. That was good once upon a time. Not anymore.
Use Go and attempt JSON Canonicalization. You can’t. It’s valid. Proven so. Why? Stdlib json parsing is normalizing and lossy. Fail closed. Float to string violates ecma 262 for floats. Every single action taken is in violation. This is the stage of today’s programmmkng. Developers who don’t even understand what “correct” is. https://lattice-substrate.github.io/blog/2026/02/27/shortest...
The issue is NOT AI LLM, it’s poor development by HUMANS. The same problem we always had.