News for hackers. Stuff that matters.
Re:Lean Now Ships with Verified Kernels by cloudbonsai on Sunday October 18, 2026 @04:15AM (#50139042)
What’s more interesting to me is the fact that these two kernels (con-leche and con-ron) were actually implemented by Claude (with “human supervision”).

Programming as a hand-crafted art is really diminishing fast.

There are no comments on this comment yet.