Jeffrey Benjamin Brown
Jeffrey Benjamin Brown
Examples: * "x #needs y" = "y #(is required by) x" (useful when merging data written by people who used different words for the same thing). * "x #is urgent"...
Currently DWT runs on a single machine. Federated queries such as "What expressions on any of my friends' computers involve `wedding`, `invitation` and `Smith`?" would be useful. Some powerful pattern-matching...
# The problem Consider the following data: ``` Germany #makes nice cars German #is a language #from Germany Italian #is a language #from Germany (Italian #is a language #from Germany)...
# Within-expression decorators The user might ask to prepend "NEW!" to any task that was created within the last week, and "URGENT!" to anything urgent. The result would be something...
Currently when the user requests a set of expressions, the UI presents them in no particular order. The user should be able to specify a list of relationships (using the...
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...
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...