working on foundations

I have spent years learning how to make production systems work.

There are still too many things I know operationally but cannot explain from first principles. I want to reduce that set.

For now I am using Rust to study ownership, aliasing, memory, errors, concurrency, and the boundary between what the compiler proves and what the program must still guarantee.

The loop is simple:

• learn one model
• implement it
• find where the model is incomplete
• inspect what the machine actually does
• write down the correction