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