Viewing profile — martinkl

Replaying immutable events in a deterministic order doesn't fit so well with Automerge; Automerge is more designed for apps where you can represent the mutable state of your applic…

Oh hi Andrew! It's been ages, hope you're well!

Hi there, good to hear from you! :)

Thank you! To your point about industrial use, yes – this is interesting. For example, Actyx makes a software system for coordination within a factory floor, and Ditto performs syn…

Hi there! Martin here. I agree that for most engineers, getting into formal proof is intimidatingly hard and perhaps not a good use of time, because lighter-weight specification la…

Hi, one of the authors here. You're right that in order to ensure that you won't receive timestamps lower than some threshold, you need to know all the nodes in the system, and you…

Not quite a MOOC, but if you like video, I published my lecture series here (same as what I teach to Cambridge undergraduates): https://www.youtube.com/playlist?list=PLeKd45zvjcDFU…

Martin here. I cited your paper in the related work section. It's a good start, but it does not cover everything that's required to achieve BFT — in particular, the issue that an o…

Hello, Martin here :) I use the Paper app ( https://wetransfer.com/paper ) on an iPad, then transfer the images to a computer, do a little post-processing in Gimp and ImageMagick, …

For the first half on concurrent systems, videos are not publicly available (because the course is given by a different lecturer), but slides are available here: https://www.cl.cam…

Interesting idea, but the devil is in the details. Especially two concurrent moves of partially overlapping ranges of characters is a tricky case to handle, and it is not obvious t…

Just for the record, I was already aware of GUN previously, and think it is a good project to include in the list. We had just forgotten about it when putting together this list of…

I just looked up my own O'Reilly book on ebooks.com. http://www.ebooks.com/95729334/designing-data-intensive-appl... I can't see anything about DRM on the page, but under "supporte…

I only have the blog post to go by, and don't have first-hand information. It seems possible to me that a few packets could indeed be delayed by 90 seconds, perhaps stuck in a swit…

The FLP result (Fischer, Lynch, Paterson) shows that consensus cannot reliably be solved in an asynchronous system (if you do not make any timing assumptions) if one or more proces…

There are some pointers to better terminology at the end of the post — e.g. I like Terry's session guarantees (read-your-writes, monotonic reads, etc) — but they too only cover a s…

My beef with CAP is not that it's so broad, but that it's so narrow. It actually only proves a fairly small class of systems as impossible, and it's kinda obvious. Literature going…

Oh, sorry to hear that it won't work in a follower. I guess I should have tested that before boldly claiming it :p

Apache 2.0 is just my default license to use for stuff. Would there be any conflict with the PG license?

Correct. If you're going to try it, I recommend getting a stylus for your iPad, since handwriting with your fingertip doesn't work very well.