hode
hode copied to clipboard
JeffreyBenjaminBrown
rslt, take five-ish
Tom (what's your Github handle?) emailed the following: # Universality by default When talking about merging peoples' knowledge bases, we discussed the difference between "local" vs "universal" atoms (lmk if...
Tom (what's your Github handle?) emailed: # Transitivity and general computation The transitivity property seems like the first toe in the ocean of general computation, and seems to be a...
[This duplicates what I just posted to Twitter, in response to @mwotton who wrote https://twitter.com/mwotton/status/1383429467306008585.] Yes [there's a good way to handle merges], although it's not coded yet. Say you...
While the idea looks very cool, it would be great to see some typical use cases of this. In that way, it's much easier to compare it with existing solutions...
See the packages here: https://hackage.haskell.org/user/Norfair And the blogposts by @NorfairKing here: https://cs-syd.eu/tags/cursors Seems like this **might** make a few things easier
Using a UUID instead of an `Int` for the `Addr` type synonym would be better, as they are less prone to collision[1]. There are some conditions under which a user...
(This issue began as an email.) > you mention a "_ eats _" relationship, but in the turtle example it's "turtles #eat kelp" - is there some way to unify...
I would like the system to be able to infer from "turtles #eat kelp" that "a turtle #eats kelp". Hode can do a little inference already, via transitive relationships. The...
Some of the discussion on [this earlier issue](https://github.com/JeffreyBenjaminBrown/hode/issues/3) regards permitting other applications, say Vim, to access Hode without having to go through ncurses. It's possible. @adaszko suggests a REPL with...
http://www.telescopictext.org/write/ I just found this tool(via https://raindrop.io/collection/613587?q=), and immediately like this kind of interface could work extremely well for a lot forms of data entry as well as browsing for...