News for hackers. Stuff that matters.

molikto

Re:Nominal for Storing, Structural for Manipulating on Tuesday November 19, 2024 @11:35PM (#42190849)
convertTree doesn't work because Tree uses Tree type recursively.

Show HN: A VIM-inspired keyboard only interface for WYSIWYG rich text editor?

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.beI have previously posted on reddit/r/vim here: https://www.reddit.com/r/vim/comments/a2kjx9/work_in_progress_rich_text_editing_with/Do you think there is an audience?Do you think that it needs to be collaborative and implement branching...

( Read More... | 2 comments | 4 points | on HN )
monaco is not a rich text editor
Re:Show HN: JQBX – Social Listening Web/Mobile App on Tuesday May 29, 2018 @09:20AM (#17178875)
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.
Re:Ask HN: What are your favorite books of all time, and why? on Sunday November 05, 2017 @11:24AM (#15630071)
Nine Stories

Franny and Zooey

Re:Dynamic Progamming: First Principles on Tuesday October 24, 2017 @10:23PM (#15546895)
Why use monospace font?????
Re:Flex on Wednesday March 29, 2017 @09:36AM (#13986050)
What about a better interface for Coq? I think this makes more sense to experienced programmers. Also for mankind.
Re:Google Spaces will be shut down on April 17th on Saturday February 25, 2017 @10:12AM (#13731863)
They had Google Tasks, now they have Reminders in Google Calendar
Re:Grokking Deep Learning on Wednesday August 17, 2016 @11:55PM (#12310348)
I know DL. but will never use Python... 23333
Re:Realm 1.0 on Wednesday May 25, 2016 @10:48AM (#11770133)
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?
Re:So you want to learn type theory on Monday December 22, 2014 @01:44AM (#8782270)
is there anything in the world that is non-nonsense? so it is better to study pure-nonsense, just because it is pure
Re:So you want to learn type theory on Sunday December 21, 2014 @01:22PM (#8780430)
what about categorial semantics? hahaha!!!
Re:ASCII art editor designed for the Mac on Sunday October 12, 2014 @12:17PM (#8445685)
What's the point?
Re:“Mostly functional” programming does not work on Sunday April 27, 2014 @09:49AM (#7655025)
Is there any reference for transactional semantics?