http://blog.incubaid.com Blog of the Incubaid Research Team Sat, 15 Jun 2013 14:44:15 +0000 en hourly 1 http://wordpress.com/ http://s2.wp.com/i/buttonw-com.png http://blog.incubaid.com http://blog.incubaid.com/2013/02/01/user-functions-in-arakoon/ http://blog.incubaid.com/2013/02/01/user-functions-in-arakoon/#comments Fri, 01 Feb 2013 08:20:44 +0000 rslootma http://blog.incubaid.com/?p=990 ]]> http://blog.incubaid.com/2013/02/01/user-functions-in-arakoon/feed/ 0 rslootma http://blog.incubaid.com/2012/10/25/caulking-your-distributed-algorithm-implementation/ http://blog.incubaid.com/2012/10/25/caulking-your-distributed-algorithm-implementation/#comments Thu, 25 Oct 2012 07:20:24 +0000 rslootma http://blog.incubaid.com/?p=886 ]]> http://blog.incubaid.com/2012/10/25/caulking-your-distributed-algorithm-implementation/feed/ 4 rslootma mark0 mark1 mark2 mark3 mark3_2 http://blog.incubaid.com/2012/04/02/tracking-asynchronous-io-using-type-systems/ http://blog.incubaid.com/2012/04/02/tracking-asynchronous-io-using-type-systems/#comments Mon, 02 Apr 2012 12:37:53 +0000 Nicolas Trangez http://blog.incubaid.com/?p=801 ]]> http://blog.incubaid.com/2012/04/02/tracking-asynchronous-io-using-type-systems/feed/ 5 eikke http://blog.incubaid.com/2012/02/14/rediscovering-the-rsync-algorithm/ http://blog.incubaid.com/2012/02/14/rediscovering-the-rsync-algorithm/#comments Tue, 14 Feb 2012 11:11:36 +0000 rslootma http://blog.incubaid.com/?p=584 ]]> http://blog.incubaid.com/2012/02/14/rediscovering-the-rsync-algorithm/feed/ 10 rslootma http://blog.incubaid.com/2012/01/17/share-your-mistakes-adventures-in-optimization/ http://blog.incubaid.com/2012/01/17/share-your-mistakes-adventures-in-optimization/#comments Tue, 17 Jan 2012 12:34:41 +0000 rslootma http://incubaid.wordpress.com/?p=426 ]]> http://blog.incubaid.com/2012/01/17/share-your-mistakes-adventures-in-optimization/feed/ 6 rslootma http://blog.incubaid.com/2011/12/23/announcing-baardskeerder/ http://blog.incubaid.com/2011/12/23/announcing-baardskeerder/#comments Fri, 23 Dec 2011 13:27:27 +0000 Nicolas Trangez http://incubaid.wordpress.com/?p=412 ]]> http://blog.incubaid.com/2011/12/23/announcing-baardskeerder/feed/ 1 eikke http://blog.incubaid.com/2011/12/15/guest-lecture-real-world-functional-programming-incubaid/ http://blog.incubaid.com/2011/12/15/guest-lecture-real-world-functional-programming-incubaid/#comments Thu, 15 Dec 2011 11:35:27 +0000 Nicolas Trangez http://blog.incubaid.com/?p=395 ]]> http://blog.incubaid.com/2011/12/15/guest-lecture-real-world-functional-programming-incubaid/feed/ 1 eikke http://blog.incubaid.com/2011/12/04/on-segmentation-faults-stack-overflows-gdb-and-ocaml/ http://blog.incubaid.com/2011/12/04/on-segmentation-faults-stack-overflows-gdb-and-ocaml/#comments Sun, 04 Dec 2011 14:09:37 +0000 Nicolas Trangez http://blog.incubaid.com/?p=366 ]]> http://blog.incubaid.com/2011/12/04/on-segmentation-faults-stack-overflows-gdb-and-ocaml/feed/ 1 eikke http://blog.incubaid.com/2011/11/28/baardskeerders-transaction-strategy/ http://blog.incubaid.com/2011/11/28/baardskeerders-transaction-strategy/#comments Mon, 28 Nov 2011 09:02:21 +0000 rslootma http://blog.incubaid.com/?p=308 ]]> http://blog.incubaid.com/2011/11/28/baardskeerders-transaction-strategy/feed/ 0 rslootma tree after 5 sets http://blog.incubaid.com/2011/11/21/combining-ocaml-functors-and-first-class-modules/ http://blog.incubaid.com/2011/11/21/combining-ocaml-functors-and-first-class-modules/#comments Mon, 21 Nov 2011 09:44:42 +0000 rslootma http://blog.incubaid.com/?p=268 ]]> http://blog.incubaid.com/2011/11/21/combining-ocaml-functors-and-first-class-modules/feed/ 6 rslootma