Enrique Fernandez

Software Engineer, Erlanger, Coffee Addict, Foodie

A Gentle Introduction to Riak Core

What is Riak Core?

People tend to refer to Riak Core as a framework or toolkit for developing scalable, fault-tolerant, distributed applications. However, I find this description somewhat misleading. After reading this description, people automatically assume that Riak Core ships with off-the-shelf replication and synchronisation algorithms. People familiar with...

Read More

A Gentle Introduction to QuviQ's QuickCheck

What is QuickCheck?

QuickCheck is a language for stating properties of programs.

?FORALL(X, nat(), X*X >= 0)

It is implemented as a library of functions and macros (like the ?FORALL macro...

Read More