ComNik
Joined 14 years ago
Karma
218
Submissions
97
Member since
Feb 24
Recent submissions
Comment · 7 years ago
Additional time axes allow you to separate transactions from different sources of input. E.g. in a collaborative system it could be helpful to ask questions while rewinding the actions of a particular user.
But a different question is whether the system can do something useful for you with first-class time co-ordinates, compared to just stuffing additional timestamps into your data. (something useful being clever indexing, compaction, maybe more?)
Comment · 7 years ago
If model-theoretic semantics and the various ways to slice, dice, and extend Datalog are interesting to you, then almost any talk by Peter Alvaro might be as well.
In particular: https://www.youtube.com/watch?v=R2Aa4PivG0g
Comment · 8 years ago
Check out the white paper at https://github.com/ipfs/papers/raw/master/ipfs-cap2pfs/ipfs-..., section 3.7. There is a name system called IPNS.
Comment · 8 years ago
I think Finda (https://keminglabs.com/finda/) fills a similar need, runs offline, and indexes lots of other stuff as well. Although I think it is not possible to assign additional keywords.
(Not affiliated in any way, just a user)
Comment · 9 years ago
Interesting point.
As I don't have much experience in this area: Can you elaborate on some use cases for layouts other than AoS and SoA?
Comment · 9 years ago
Jonathan Blow's language "jai" allows for seamlessly switching between AoS and SoA and generally seems to value efficient data layout and "gradual" optimization over safety (in contrast to e.g. Rust).
Unfortunately, no public compiler seems to be available at this time.
Comment · 9 years ago
For anyone interested in exploring the datomic model, there is a great ClojureScript in-memory implementation called datascript (https://github.com/tonsky/datascript) by Nikita Prokopov.
Comment · 10 years ago
We use Datalog every day in a React-Native application, via the datascript db (https://github.com/tonsky/datascript).
Has been a very positive experience so far.
Thinking in "facts" / binary relations is itself a refreshing approach.
Comment · 10 years ago
Thank you for Murmur3! I have been using it in a consistent hashing implementation as part of my bachelor's thesis and it is performing very well.
Comment · 10 years ago
Interesting note, thank you.
Are you referring to "Sigma" https://code.facebook.com/posts/745068642270222/fighting-spa... ?
Comment · 10 years ago
That was not the intension behind my comment at all. I rely on type systems a lot, myself.
I was trying to note that Clojure, as a dynamic language, is making a (to my eyes) very interesting choice, of doubling down on these dynamic methods of verification. For some uses, I can see this as the better choice, for others it isn't and won't be.
Comment · 10 years ago
As a side note in his talk "Simple Made Easy" (https://www.infoq.com/presentations/Simple-Made-Easy, around minute 42)
Rich Hickey mentions, that conditional statements are complex, because they spread (business-)logic throughout the program.
As a simpler (in the Hickey-sense) alternative, he lists rule systems and logic programming. For example, keeping parts of the business logic ("What do we consider an 'active' user?", "When do we notify a user?", etc...) as datalog expressions, maybe even storing them in a database, specifies them all in a single place. This helps to ensure consistency throughout the program. One could even give access to these specifications to a client, who can then customise the application directly in logic, instead of chasing throughout the whole code base.
Basically everyone involved agrees on a common language of predicates explicitly, instead of informally in database queries, UI, application code, etc...
But Hickey also notes that this thinking is pretty "cutting-edge" and probably not yet terribly practical.
my public key: https://keybase.io/ngoebel; my proof: https://keybase.io/ngoebel/sigs/C17WmorsBKpdFUHXXyYfXfPANTUfzcEaw4xxtI6Xy4I