notes on computers and other stuff

Just a quick update. The other day, I pushed a patch to the Haskell base library that will enable kind polymorphism for the Category typ...

On x86 and amd64, an easy and cheap way of getting access to a 32bit cycle counter is using the rdtsc instruction. On ARMv7 machines (read:...

I’ve finally released my Emacs mode for Cryptol , the domain specific language for Cryptography, from Galois. For those who aren’t aware, yo...

Several weeks ago, I had the extraordinary pleasure of being a part of Corelan Live Training , which offers an intense, multi-day Win32 expl...

For anyone who’s curious, I’ve taken time over the past few months to accumulate software I like in my own homebrew tap . For those OS X use...

This is just a word of note: patdiff is an amazing diff tool from Jane Street that’s totally blowing my mind. I’m very, very thankful ...

Recently on StackOverflow there was a question about controlling inlining phases in GHC. I set out to answer that question, and I decided t...