Welcome to SpeyTech's org discussion board

[williamofai]

👋 Welcome to SpeyTech Discussions!

This is a place to connect with others interested in deterministic computing, safety-critical systems, and learning C the right way.

What this space is for:

• Questions about any SpeyTech project (c-from-scratch, certifiable-*, C-Sentinel, etc.)
• Sharing your implementations and getting feedback
• Discussing fixed-point arithmetic, deterministic ML, FSMs, and safety patterns
• Suggesting topics or improvements

Guidelines:

• Be respectful and constructive
• Mention which repo/project your question relates to
• Include code snippets and platform details for technical questions
• Search existing discussions before posting
• Check the project's docs/ folder — the answer might be there

New here? Introduce yourself — what brought you to SpeyTech and what are you working on?

[martinhewing]

Introduce yourself - Martin H.

What brought you to SpeyTech - Interested in learning C and saw these tutorials blend C, rigorous mathematical thinking and testing.

What are you working on? - Learning C the right way, will build on this foundation.

[williamofai]

Welcome Martin!

Great to have you here. That combination, C, mathematical rigour, and testing is exactly what c-from-scratch is built around. The "math → structs → code" approach might feel slower at first, but it pays off when your code works correctly the first time.

A few tips as you get started:

• Work through the modules in order — each one builds on the contracts and patterns from the previous
• Actually run the tests and read what they're checking — they're documentation as much as verification
• Don't skip the MATH sections — understanding why before how is the whole point

If you get stuck or want feedback on your implementations, this is the place. Looking forward to seeing what you build.

William