Is the group of victims of mark v shaney are finally out with revenge, trying to have the last laugh?
On Wednesday, January 21, 2026, Thaddeus Woskowiak <[email protected]> wrote: > What both amuses and puzzles me is you didn't bother to describe why you > are doing this. There's no cohesive design presented, no goals, and no > itches you needed to scratch. It's just a bunch of crap tossed into a pile > and handed to a matrix math pachinko machine. > > What is the point of this? > > On Wed, Jan 21, 2026, 9:25 AM <[email protected]> wrote: > >> I'm writing a 9p micro kernel with a focus on security. I've borrowed a >> quite a bit of the 9front code base and another open source project called >> LuxOS and added my own stuff. The kernel boots, and I'm working on the user >> space servers. >> I'm also trying to formally verify the kernel (a work in progress) using >> Coq, and ACSL to prove the code is correct. >> I've put together a technical manual that describes in detail what I've >> put together: https://bafybeicbfqcliweuq5pba3pvfzyp2 >> baid66ky2n2ekp6qhlaz4owgogxpe.ipfs.dweb.link?filename=lux9_ >> technical_manual.pdf >> >> The repo is here: >> https://github.com/kiljoy001/lux9-kernel >> >> I would to hear your roasts, commentary or anything you have to say good >> or bad. I have been working on this solo and haven't had anyone to talk >> about this project in depth. >> > *9fans <https://9fans.topicbox.com/latest>* / 9fans / see discussions > <https://9fans.topicbox.com/groups/9fans> + participants > <https://9fans.topicbox.com/groups/9fans/members> + delivery options > <https://9fans.topicbox.com/groups/9fans/subscription> Permalink > <https://9fans.topicbox.com/groups/9fans/T1338384c5eaf40a5-M3e3c7a933c12c27688ada149> > ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T1338384c5eaf40a5-Maa8f043b414d7b3480988d2f Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
