Re:Lean Now Ships with Verified Kernels
by thejokeisonme on Tuesday October 20, 2026 @04:53AM
(#50163154)
Re aside: Ok, but consider that maybe it is rude to ask people to read something you didn't write without warning. I'd add a disclaimer whenever I post about it, and on the very top of the readme. Better: have a readme for humans that you wrote, and leave the current document as a readme for machines.
[ Parent
| on HN ]
There are no comments on this comment yet.