Systems Papers
Less-relevant results
coherentforge/CambiOS: Zero-trust, capability-based Rust microkernel targeting formal verification. Tri-arch (x86_64 / AArch64 / RISC-V). Sovereign and generative: no telemetry, user owns keys and data. Early-stage — see STATUS.md. Inspired by seL4, Hubris, and Redox.
🧠Memory Management Content type: CodeKareus: Joint Reduction of Dynamic and Static Energy in Large Model Training
🔬Systems Research Content type: AcademicNo more posts from rishabh's subscribed feeds.