the μKanren #paper, presenting a tiny version of the #logic-programming language #Kanren in 39 lines of Scheme, in 8 pages. Unfortunately, those 8 pages say things like “mapping tuples of domain elements into a linearized submultiset of elements of the codomain over which the initial relation holds.”.
a talk presenting a Ruby version of μKanren. #logic-programming #Kanren
#GraphQL is Facebook’s graph #query-language.
The working #spec for the #GraphQL #query-language. At a quick skim I can’t see why this is interesting but apparently it solves some major pain points they had in their mobile apps.
an overview of the million #public-domain images the British Library has posted to Flickr with their Flickr Commons project.
a versioned data repository to replace CSV files: “a version-controlled, decentralized data sync tool for collaboration between data people and data systems.” Not clear what size of datasets they're talking about: megabytes, gigabytes, terabytes, or petabytes?
The Bertrand #constraint-programming system, related to #logic-programming.
Darius Bacon’s “Goobergram”, an implementation of the local constraint propagation approach to #constraint-programming demonstrated in #Linogram.
explains the #Eve #cp4e system’s data model: it stores and replicates the entire input history and caches views of the input history.
a domain specific language in #Scheme for #GPGPU programming, compiling to #OpenCL. 3-clause BSD license. Build currently failing.
#introduction to core.logic, the implementation of #miniKanren #logic-programming that’s in the #Clojure standard library. This has the major advantage over the other introductions I’ve found that it starts with explaining the usage of miniKanren, rather than the implementation. #KANREN