Hi, I’m CosmicExplorer. I’m into C, Rust, Linux, and mathematics. I like understanding systems from the bottom up, but I’m also interested in formal methods, programming language theory, and how we can make software more reliable. I’m here to discover interesting projects, collect good resources, and discuss technical topics with people who care about details.