Dependent Preservation
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.
👑RISC-V Privilege Content type: CodeRust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa
🔒Type Safety Content type: Blog Content type: DiscussionLean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
💻CS Content type: AcademicNo more posts from matmat's subscribed feeds.