#ada

• Ada's Super Powered Enums
• Writing Anteforth, a Forth-like in SPARK
• Writing a Verified Postfix Expression Calculator in Ada/SPARK
• Ada on the Raspberry Pi 5
• Summary After Four Months with Ada
• Ray Tracing in One Weekend... in Ada

#ai

• Running my first LLM locally

#blog

• Generating Colors for Blog Syntax Highlighting
• Me making a blog

#c++

• C++ Alternative Operator Representations
• Binding Lua to C++
• Inspecting Type and Value Info at C++ Build Time
• Me making a blog

#food

• Cole Slaw

#forth

• Writing Anteforth, a Forth-like in SPARK
• Writing a Verified Postfix Expression Calculator in Ada/SPARK

#go

• Generating Colors for Blog Syntax Highlighting
• Learning Tests

#learning

• The First One Will Be Awful
• Learning Tests

#llm

• Running my first LLM locally

#lua

• Binding Lua to C++

#music

• Improv Violin in a Band

#odin

• Hello, odin

#os

• Updating to Windows 11

#python

• File Hashes from Python

#spark

• Writing Anteforth, a Forth-like in SPARK
• Writing a Verified Postfix Expression Calculator in Ada/SPARK

#stream of consciousness

• Hello, odin

#testing

• Learning Tests

#vim

• Vim, Markdown, and Unordered List Indentation

#windows

• Updating to Windows 11