
Nonproofs 19 April 2016 in technical
I've enjoyed reading a few spurious proofs today

An idea for trusted bruteforceresistant twofactorauthenticated full disk encryption 15 April 2016 in technical
Combining a trusted platform module with a smart card (e.g. YubiKey) enables trusted booting with full disk encryption and without the ability to brute force passwords.

My Haskell was slow 12 April 2016 in technical
This is how I fixed it, blogged live.

Finding subsets with particular sums 11 April 2016 in technical
Given a list L and a sum S, what's the best way to find x, y in L such that x + y = S? What about a set of n integers with that sum, instead of a pair? I don't have a good answer for the second question; suggestions welcome!

Fibonacci numbers and the golden ratio 7 April 2016 in technical
In which I solve exercise 1.13 of Structure and Interpretation of Computer Programs

Some weeks are better than others 4 April 2016 in text posts about nothing
Last week was amazing. The weekend sucked. And now I'm struggling.

Learning Haskell 30 March 2016 in technical
I have started to learn Haskell. It's amazing.

RC Day One 28 March 2016 in text posts about nothing
I think I'm going to fit in here

Day one 22 March 2016 in travel
In which I explore the city a bit.

I have arrived 21 March 2016 in travel
New York City, I am in you.