From the Pythagorean Theorem to the Existence of a Soul: A Journey of Faith and Reason

What I Learned

Exploring the complexities of the POWER ISA led me to consider formal models as a more intuitive alternative to traditional prose-based specifications.

AI is now part of my utility bill.

Some notes that should help with adding features to the Bluespec Compiler

SBIR related to seL4 and Custom Hardware

Language Eagerness; Concurrency Safety Primitives; Differentiable Programming

It might be time to leave Rust for Good?

I've hit some practical issues with Bluespec, prompting me to take another look at Clash

Rust is taking the software world by storm and offers incredible safety guarantees. Could Bluespec do the same for the hardware world?