martinkl

9 ms·

1.
by martinkl 1y ago
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 application as an Automerge doc. https://livestore
2.
by martinkl 3y ago
Oh hi Andrew! It's been ages, hope you're well!
3.
by martinkl 3y ago
Hi there, good to hear from you! :)
4.
by martinkl 3y ago
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 sync between devices of cabin crew on an aircraft. These are ni
5.
by martinkl 4y ago
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 languages and model-checking can help develop a good understan
6.
by martinkl 4y ago
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 need to hear from all of them (if even just one n
7.
by martinkl 4y ago
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=PLeKd45zvjcDFUEv_ohr_H...
8.
by martinkl 5y ago
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 operation may be valid in some contexts and invalid
9.
by martinkl 5y ago
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, and then drop the images into PowerPoint. You
10.
by martinkl 6y ago
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.ac.uk/teaching/2021/ConcDisSys&#x
11.
by martinkl 6y ago
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 to me how your scheme would deal with this. Another fun case
12.
by martinkl 6y ago
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 links. I guess I don't check HN all that often. ;)
13.
by martinkl 9y ago
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 "supported devices" it says
14.
by martinkl 11y ago
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 switch buffer somewhere, although this would be a small num
15.
by martinkl 11y ago
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 processes can fail. The impossibility result shows that any consen
16.
How to do distributed locking(martin.kleppmann.com)
277 points by martinkl 11y ago|71 comments
17.
Using logs to build a solid data infrastructure(blog.confluent.io)
120 points by martinkl 11y ago|33 comments
18.
by martinkl 11y ago
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 small subset of the design space. In the end, this stuff
19.
by martinkl 11y ago
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 back to the 1970s suggests that the trade-of
20.
Please stop calling databases CP or AP(martin.kleppmann.com)
200 points by martinkl 11y ago|34 comments
21.
by martinkl 11y ago
Oh, sorry to hear that it won't work in a follower. I guess I should have tested that before boldly claiming it :p
22.
by martinkl 11y ago
Apache 2.0 is just my default license to use for stuff. Would there be any conflict with the PG license?
23.
by martinkl 11y ago
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.
24.
by martinkl 11y ago
Here are a few production users: https://cwiki.apache.org/confluence/display/SAMZA/Powered+By The Metamarkets team wrote a nice post on their use of Samza a few days ago: https://metamarkets.com&#x
25.
Turning the database inside-out with Apache Samza(blog.confluent.io)
232 points by martinkl 12y ago|64 comments
26.
by martinkl 12y ago
The problem is that, on the whole, users simply don't care. They have more important things to worry about than email encryption (you know, stuff like spouse, kids, mortgage, partying, etc). The only way I can see end-to-end crypto rea
27.
by martinkl 12y ago
The article is essentially arguing that entrepreneurs should be contrarian: not set up shop in the same place as everyone else, not try to hire the same people as everyone else, not have the same office setup as everyone else, etc. Of cours
28.
by martinkl 12y ago
A tricky thing about communication is that sometimes it's really hard to convey why you believe something. You have some intuition that you should do A not B, but you can't put a finger on why. In order to resolve conflicts, you n
29.
by martinkl 12y ago
I don't know about Tesla specifically, but in general the security of embedded firmware is pretty catastrophic [1]. OTA updates are definitely a two-edged sword: on the one hand, they allow vulnerabilities to be fixed (without taking t
30.
by martinkl 12y ago
This talk was mostly about backend systems, but it hints at Functional Reactive Programming at the end. That's a field in which people are working out how to update the UI based on event streams. Some cool projects to look at in this a

More ›