Programming & Proofs
Home › Miscellaneous ›Welcome to my blog

Welcome to my blog

Introductory post for Programming & Proofs - a blog by Cody Dresel.

June 20, 2026 · 1 min read

Hello, and welcome.
This blog will be about programming, mathematics, compilers,
and other topics that I enjoy researching and practing.

I look forward to further publications, and I hope you’ll find my publications enlightening and entertaining.

Thanks for stopping by,
Cody