Domen Kožar proposes a Rust FFI bridge to Fil-C, a C/C++ compiler that adds memory safety via capabilities, runtime checks, and a concurrent garbage collector. The vision involves generating safe Rust wrappers, compiling C dependencies through Fil-C, and eliminating unsafe C escape hatches. filnix already packages Fil-C as a Nix cross-compilation platform with 100+ nixpkgs ports.
Background
Fil-C is a research/compiler project that recompiles C and C++ code with safety guarantees including runtime bounds checking and a concurrent garbage collector. filnix provides Nix packaging for Fil-C, making it a practical platform for reproducible builds.
- Source
- Lobsters
- Published
- Aug 14, 2026 at 01:43 AM
- Score
- 5.0 / 10