Viewing profile — molikto

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

Hello, I am working on a project that you can think as Typora + Vim keybindings. Here is a demo: https://www.youtube.com/watch?v=97lAMRrAcF4&feature=youtu.be I have previously post…

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 e…

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.

https://www.quora.com/Is-China-colonizing-Asia-and-Africa/an...

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?