An Interesting Consequence of Bluespec's One Rule at a Time Semantics
How ORAAT informs cycle to cycle behavior of 1 Depth and 2 Depth FIFOs
Read more ⟶
Graphics Pipelines and GPU Hardware : Lab Notes 1
One day I hope to design a GPU in Bluespec Haskell, but first I must learn how they work...
Read more ⟶
My First Linux Kernel Contribution!
Contributing to a 3-decade old codebase
Read more ⟶
Working on ICanBuildIt.io
This is why I get little sleep and rarely touch grass...
Read more ⟶
We wanted flying cars, instead we got 140 characters.
An appeal to return to hard sciences with national security implications.
Read more ⟶
PowerPC Retreat But Not Surrender
PowerPC:1, Me:0
Read more ⟶
Towards Simulating Verilog With Haskell
Earlier this year, I thought it would be a good idea to simulate RTL in Haskell...
Read more ⟶
Thoughts Probably Occur Outside Time and Space
From the Pythagorean Theorem to the Existence of a Soul: A Journey of Faith and Reason
Read more ⟶
Sunsetting the Fastwave Backend
What I Learned
Read more ⟶
Unpacking Challenges from the POWER ISA: Why I'm Exploring RISC-V's Formal Models
Exploring the complexities of the POWER ISA led me to consider formal models as a more intuitive alternative to traditional prose-based specifications.
Read more ⟶