May 10, 2020
It is easy to make mistakes when conducting mathematical proofs. Nevertheless, you can find some recurring error patterns in those proofs. And some of the most common reasons are related to the…
Read MoreMarch 28, 2020
"Real World OCaml Functional programming for the masses 2nd edition" by Yaron Minsky, Anil Madhavapeddy, and Jason Hickey - I highly recommend this book for people who want to learn Ocaml in-depth…
Read MoreMarch 2, 2020
What are the statics of a programming language? Most programming languages exhibit a phase distinction between static and dynamic phase of processing. People sometime loosey say static of a…
Read MoreMarch 2, 2020
Would spamming the noexcept keyword make your code faster? Sometimes. But not always. Consider the following snippet of code: I intentionally do not define g in this translation unit since…
Read More