🦀 Enforcing Safer Rust Code with a Custom `clippy.toml`
A thorough guide to advanced Rust linting — a must-read for teams aiming to enforce safety and maintain consistent coding standards.
This article shows how to use a custom `clippy.toml` configuration in Rust to forbid unsafe or discouraged APIs. It demonstrates how to replace `std::fs` with `fs_err` for clearer errors and how to block risky functions like `std::env::set_current_dir` in tests. It also explains how to integrate these checks into CI pipelines for more consistent, reliable, and secure Rust development.
🔗 Read more 🔗
🧩 RFC Hub: Streamlined Platform for Technical Proposal Management
An excellent tool for teams that want to bring clarity and traceability to their architectural and API design discussions.
RFC Hub provides a centralized system to create, review, discuss, and publish RFCs, making technical decision-making more transparent and organized across teams. It formalizes engineering proposals through a structured workflow, similar to internal RFC systems used by large tech organizations.
🔗 Read more 🔗
🦁 LionsOS: A Research-Driven Secure Microkernel Operating System
A compelling research initiative exploring verifiable and modular OS design — blending academic rigor with practical system security principles.
LionsOS is an experimental OS built atop the seL4 microkernel, focusing on high assurance, modularity, and robustness. Developed at UNSW Sydney, it employs composable, task-oriented components connected via lock-free queues. While static in nature, it supports runtime swapping of equivalent modules and encourages community contributions to grow its ecosystem.
🔗 Read more 🔗
🧰 A Battery-Included Hacker’s File Manager with VIM Keybinds
🔗 Read more 🔗