Software and AI - Plotting vs. Pantsing
An alt take on why some like or dislike AI
pyj's blog
Various thoughts on life and software development
Latest posts
Marcus Aurelius' Fortress of the Mind
Thoughts on "Meditations" by the Roman emperor Marcus Aurelius
C++ Alternative Operator Representations
Equivalent ways of writing the same tokens.
Ada's Super Powered Enums
A quick look at the power of Ada's enums.
The First One Will Be Awful
Fighting the blank page
Binding Lua to C++
Writing compile-time bindings to Lua
Writing Anteforth, a Forth-like in SPARK
Writing a verified Forth VM in Ada/SPARK
Inspecting Type and Value Info at C++ Build Time
Leveraging templates with the compiler and linker to see type and value info
File Hashes from Python
Python's standard library to the rescue
Writing a Verified Postfix Expression Calculator in Ada/SPARK
A venture in writing a larger SPARK project.
Improv Violin in a Band
Techniques for playing violin in a band.
Ada on the Raspberry Pi 5
Building Alire on Raspberry Pi 5
Cole Slaw
A Southern Dish Ripe with Personality
Generating Colors for Blog Syntax Highlighting
A program to automatically create color palettes.
Running my first LLM locally
Trying out ollama
The soccer field problem
A hypothetical interview problem
Learning Tests
Testing libraries when behavior is unclear
Vim, Markdown, and Unordered List Indentation
Preventing unordered list indentation in Vim
Hello, odin
Downloading odin and writing simple programs
Me making a blog
Writing a static site generator and parsing Markdown!
Updating to Windows 11
Learning about TPMs, MBR, CSM, and GPT to upgrade to Windows 11
Summary After Four Months with Ada
My experience after programming in Ada for four months
Ray Tracing in One Weekend... in Ada
Ray Tracing in One Weekend in Ada