pyj's blog

An alt take on why some like or dislike AI

Thoughts on "Meditations" by the Roman emperor Marcus Aurelius

Equivalent ways of writing the same tokens.

A quick look at the power of Ada's enums.

Fighting the blank page

Writing compile-time bindings to Lua

Writing a verified Forth VM in Ada/SPARK

Leveraging templates with the compiler and linker to see type and value info

Python's standard library to the rescue

A venture in writing a larger SPARK project.

Techniques for playing violin in a band.

Building Alire on Raspberry Pi 5

A Southern Dish Ripe with Personality

A program to automatically create color palettes.

Trying out ollama

A hypothetical interview problem

Testing libraries when behavior is unclear

Preventing unordered list indentation in Vim

Downloading odin and writing simple programs

Writing a static site generator and parsing Markdown!

Learning about TPMs, MBR, CSM, and GPT to upgrade to Windows 11

My experience after programming in Ada for four months

Ray Tracing in One Weekend in Ada