I'm a software developer and researcher, currently studying at the University of Saint Andrews, in Scotland. I love complex problems, especially those relating to Distributed Systems and Programming Languages.If you're looking for the blog posts that used to be hosted here, the useful ones have moved to github.com/lenary/kb and the rest have been deleted.
2014: I have just finished 15 months working at Basho, continuing to develop Data Types for Riak. My work on Data Types has been included in Riak 2.0, and there is pending work that should be in the next major release of Riak.
2014: My Colleagues and I co-authored an extended abstract about the new CRDT that supports composition, titled “Riak DT Map: a Composable, Convergent Replicated Dictionary” that we presented at PaPEC 2014 (a Workshop colocated with Eurosys 2014).
2013 (Autumn): For more details on the work I did on the Data Types team, see My talk at RICON West 2013 entitled “CRDTs: An Update (or just a PUT)”
2013 (Summer): I spent 3 months working at Basho on Data Type support for their datastore, Riak. This included designing a new CRDT that supported composition, and adding Garbage Collection to their existing CRDT implementations.
2012: I spent over two months working with the University of St Andrews and other institutions from the ParaPhrase project on this parallel skeleton library.
I helped co-author a paper titled “Cost-Directed Refactoring of Parallel Erlang Programs” which uses my Skeleton Library as the basis of its refactoring.
2014: Henry Legg and I started a Science and Technology news radio show, broadcasting on St Andrews STAR Radio. We broadcast weekly, covering the news of the last week. We also invite on scientists from around St Andrews and beyond to guest-present, including an interview. Henry and I both produce and present the show every week.