This blog post discusses the future of compile-time dependent types in systems programming, highlighting features in languages like C++, Rust, and Zig, and introduces Syl, a new language designed to improve compile-time computation through a novel modal type system.