Nothing is Free (Pebble Economics): Denial-of-Service is mitigated by physics. Resources (RAM, CPU, Bus access) are not granted by quota; they must be purchased withtokens generated via Proof-of-Work. Attacks become economically irrational because theyrequire exponential energy expenditure. Not an OS guy myself, but wouldn't that proof of work require some cpu/ram/bus usage by itself ?
Also, curious, how many tokens did this cost you ? And Was it part of some free "AI" credit, you used some company credit or you paid for it from your own pocket ? You also talking the talk of formal verifying a kernel while AFAIK only one "usable" kernel worldwide have managed to do something close to that. And I suppose that will cost you far more tokens than what you used for this version. 21 Jan 2026, 15:25 by [email protected]: > 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://bafybeicbfqcliweuq5pba3pvfzyp2baid66ky2n2ekp6qhlaz4owgogxpe.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-M82cbe1ad55c64bb7ba79b103> > ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T1338384c5eaf40a5-M5f7c1ea0bd26f4460b4251b7 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
