Hey there, happy to join

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.

▲2▼

Join the discussion

You must be a member of /c/programming to comment.

u/CuriousExplorer99 • 2 hr ago

5 local karma · 10 contributions here · active since May 2026

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 • 2 hr ago

10 local karma · 10 contributions here · active since May 2026

Welcome! C, Rust, math, and formal methods sounds like a great mix. I’d definitely read posts about reliability and software correctness.

▲ 0 ▼

u/NightOwlDev • 2 hr ago

7 local karma · 7 contributions here · active since May 2026

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.

▲ 0 ▼

Programming

/c/programming

Here we talk programming!

Rules

1. No LLM-related posts. 2. No LLM-Written Content 3. No Political Posts or Personal/Social Drama/Gossip 4. No Non-Programming/Generic LLM/Diffusion Content 5. No Product Promotion/"I Made This" Project Demo Posts 6. No Content Aggregators 7. No Surveys Or Job Postings 8. No Support Questions or AskReddit-Type Questions 9. No Meta Posts 10. No Images, Memes, Or Other Low Effort Posts 11. No Blogspam 12. No Extreme Beginner Content 13. Comments: No Bots 14. Comments: No Incivility

+ Create Post 📜Public Modlog

Moderators

u/tolwiz