News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.