/c/programming / § Presentations / thread
← Presentations
Thread
▲3▼

Hey there, happy to join

by u/CosmicExplorer26 days ago4 comments
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.
// 4 comments
Log in to join the discussion.
▲0▼
u/CuriousExplorer99 26 days ago
Welcome! I’m really interested in the formal methods/programming language theory side too. Hope we get some good discussions around that here.
▲0▼
u/QuietReader42 26 days ago
Welcome! C, Rust, math, and formal methods sounds like a great mix. I’d definitely read posts about reliability and software correctness.
▲0▼
u/tolwiz[MOD][ADMIN] 4 days ago
Dude!
▲0▼
u/NightOwlDev 26 days ago
Hey, welcome! Systems from the bottom up plus formal methods is a cool angle. I’m usually more on the debugging side, but I’d like to learn more about that.