I have my Ph.D. in Science from Radboud University Nijmegen . I have my bachelor’s of mathematics in Pure Mathematics and Computer Science from the University of Waterloo .
Visit r6.ca → On Hacker News Apr 2011 – Sep 2020
Software Engineering 3Systems & Performance 2Programming Languages 2Tools & Productivity 1Math & Algorithms 1Crypto & Blockchain 1
You have just made a Bitcoin transaction and you are eager to see if it appears in the next block. You know that the expected time between Bitcoin blocks is 10 minutes. You check the log of your Bitcoin node. It has been 7 minutes since the previous block. You recall that blocks occurrences in Bitcoin are a Poisson…
Last week I was trying to add some testing code to libsecp256k1 and I was pulling out my hair trying to get it to work. No amount of printf was working to illuminate what I was doing wrong. Finally, out of desperation, I thought I would do a quick check to see if there are any compiler bugs related to memcmp , and lo…
My style of Haskell programming has been evolving over the 15 years that I have been working with it. It is turning into something that I would like to call “functor oriented programming”. The traditional use of typed functional programming focuses on data types. One defines data types to model the data structures…
It’s fairly clear when one should buy a particular stock. One should buy stock when it is undervalued. What I have always wondered about is how much stock one should buy. A few months ago I stumbled upon the answer which is given by the Kelly criterion . It says that one should invest an amount to maximize one’s…
I have a confession to make. I recently released two Haskell packages, lens-family-core and lens-family based on my previous blog post and Edward Kmett’s blog post . However, I never tested this code before releasing it. By “never tested”, I mean that I am pretty sure that I never once executed any of this code. I did…
Zooko provides a nice example of the problems with most distributed version control systems merge algorithms. He gives an example of a merge situation that most version control systems, including git, get wrong, but that darcs, Codeville, SCCS, and perhaps BitKeeper get correct.