Inspecting Type and Value Info at C++ Build Time
Leveraging templates with the compiler and linker to see type and value info
#c++
Writing a Verified Postfix Expression Calculator in Ada/SPARK
A venture in writing a larger SPARK project.
#ada#forth#spark
Improv Violin in a Band
Techniques for playing violin in a band.
#music
Ada on the Raspberry Pi 5
Building Alire on Raspberry Pi 5
#ada
Cole Slaw
A Southern Dish Ripe with Personality
#food
Generating Colors for Blog Syntax Highlighting
A program to automatically create color palettes.
#blog#go
Running my first LLM locally
Trying out ollama
#ai#llm
The soccer field problem
A hypothetical interview problem
Learning Tests
Testing libraries when behavior is unclear
#go#testing
Vim, Markdown, and Unordered List Indentation
Preventing unordered list indentation in Vim
#vim
Hello, odin
Downloading odin and writing simple programs
#odin#stream of consciousness
Me making a blog
Writing a static site generator and parsing Markdown!
#blog#c++
Summary After Four Months with Ada
My experience after programming in Ada for four months
#ada
Ray Tracing in One Weekend... in Ada
Ray Tracing in One Weekend in Ada
#ada