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.
Programming as a hand-crafted art is really diminishing fast.