Re:Using Claude Code to modernize a forgotten Linux kernel d...
by skydhash on Monday September 08, 2025 @08:17AM
(#45167376)
Code working is a very high bar. And the only way close for most projects is formal verification.
[ Parent
| on HN ]
There are no comments on this comment yet.