An appeal to return to hard sciences with national security implications.

PowerPC:1, Me:0

Earlier this year, I thought it would be a good idea to simulate RTL in Haskell...

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