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
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…
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.