Martin Kleppmann

Results 166 comments of Martin Kleppmann

This depends on the [Markdown parsing library](https://github.com/ept/avrodoc/blob/master/public/vendor/markdown.js) that's bundled with Avrodoc. evilstreak/markdown-js#41 is an open issue, suggesting that the library doesn't currently support the Github dialect of Markdown. If you...

@mphuff Thanks, agree that this is a bug. However I'm afraid your fix is not correct — it makes the `_(new_type).isEqual(typeEssence(...))` comparison always true (so any actual differences between types...

The problem is that at the beginning of `defineNamedType`, the types of fields are not yet resolved to their definitions. If unqualified types are used, `typeEssence` for the new schema...

@mphuff Rather than a separate index page, would it make sense to include a list of types on the protocols on the same index page as the protocols index? Then...

We're currently using the popover library from Twitter Bootstrap, and that library seems to be pretty bad. I've also had sporadic problems with popovers appearing in random places and getting...

Hi @aboodman, I agree that Figma shouldn't be considered a CRDT, and we should make this clearer. In 112568b39d77ab919c9110f4c63c347da5d2ba87 I've updated the text of the two places on this site...

Hello! Lead developer of Automerge here. Let me know if I can help in any way :)

Hi, I unfortunately don't have time to maintain Bottled Water at the moment, and there doesn't seem to be anybody else currently wanting to do it either. You're of course...

Yeah, seems likely that you're hitting that limit. I put it there to avoid accidentally allocating unreasonably large amounts of memory in the case of a bug. Can you try...

Yes, I think that would be possible. We get a `wal_pos` for every event from Postgres (begin transaction, commit transaction, insert, update, delete) so that could be added to events...