molikto

convertTree doesn't work because Tree uses Tree type recursively.

monaco is not a rich text editor

Chinese app Xiami already has this

My idea about conflicts is, since OT is a centralized protocol, the server can refuse some conflicts and let user to resolve it.

Another thing I don't like about CRDT is for text editing, it requires a uuid for each char you type. this is a huge waste of memory and disk imho. on the other hand OT requires no metadata

I am planning to doing the same thing, but using OT.

Nine Stories

Franny and Zooey

Why use monospace font?????

What about a better interface for Coq? I think this makes more sense to experienced programmers. Also for mankind.

They had Google Tasks, now they have Reminders in Google Calendar

I know DL. but will never use Python... 23333

Please don't say it is faster than SQLite anymore. http://kpgalligan.tumblr.com/post/133281929963/my-talk-at-dr...

Hi, what's your current project now?

is there anything in the world that is non-nonsense? so it is better to study pure-nonsense, just because it is pure

what about categorial semantics? hahaha!!!

What's the point?

Is there any reference for transactional semantics?