molikto | 1 year ago | on: Nominal for Storing, Structural for Manipulating
convertTree doesn't work because Tree uses Tree type recursively.
molikto's comments
molikto | 7 years ago | on: Slate JS – A customizable framework for building rich text editors
monaco is not a rich text editor
molikto | 7 years ago | on: Show HN: JQBX – Social Listening Web/Mobile App
Chinese app Xiami already has this
molikto | 8 years ago | on: Automerge: JSON-like data structure for building collaborative apps
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
molikto | 8 years ago | on: Automerge: JSON-like data structure for building collaborative apps
I am planning to doing the same thing, but using OT.
molikto | 8 years ago | on: Ask HN: What are your favorite books of all time, and why?
Nine Stories
Franny and Zooey
molikto | 8 years ago | on: Dynamic Progamming: First Principles
Why use monospace font?????
molikto | 9 years ago | on: Flex
What about a better interface for Coq? I think this makes more sense to experienced programmers. Also for mankind.
molikto | 9 years ago | on: China is spending billions on soft power
molikto | 9 years ago | on: Google Spaces will be shut down on April 17th
They had Google Tasks, now they have Reminders in Google Calendar
molikto | 9 years ago | on: Grokking Deep Learning
I know DL. but will never use Python... 23333
molikto | 9 years ago | on: Realm 1.0
Please don't say it is faster than SQLite anymore. http://kpgalligan.tumblr.com/post/133281929963/my-talk-at-dr...
molikto | 11 years ago | on: Don't text 'beer' in Korea: Words that trigger teen alerts
Hi, what's your current project now?
molikto | 11 years ago | on: So you want to learn type theory
is there anything in the world that is non-nonsense? so it is better to study pure-nonsense, just because it is pure
molikto | 11 years ago | on: So you want to learn type theory
what about categorial semantics? hahaha!!!
molikto | 11 years ago | on: ASCII art editor designed for the Mac
What's the point?
molikto | 12 years ago | on: “Mostly functional” programming does not work
Is there any reference for transactional semantics?
page 1