notes on computers and other stuff
Sunday, June 2, 2013
Control.Category: now with kind polymorphism
›
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...
2 comments:
Friday, May 3, 2013
User-mode performance counters for ARM/Linux
›
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:...
18 comments:
Wednesday, March 6, 2013
cryptol-mode for Emacs released
›
I’ve finally released my Emacs mode for Cryptol , the domain specific language for Cryptography, from Galois. For those who aren’t aware, yo...
Sunday, March 3, 2013
Retrospective: Corelan Live
›
Several weeks ago, I had the extraordinary pleasure of being a part of Corelan Live Training , which offers an intense, multi-day Win32 expl...
Sunday, February 24, 2013
My Homebrew tap
›
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...
Sunday, February 10, 2013
Public service announcement: patdiff is awesome
›
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 ...
6 comments:
Controlling inlining phases in GHC
›
Recently on StackOverflow there was a question about controlling inlining phases in GHC. I set out to answer that question, and I decided t...
1 comment:
›
Home
View web version