recent posts

typetitleauthorlast post sort icon
Forum topicA production rule system matching algorithm with match cost logarithmic wrt the size of the knowledge base (rules + facts) Enrique Perez Arnaud2019-08-06 15:55
Forum topicSession Types for Purely Functional Process Networks dmbarbour2019-08-02 12:50
Forum topicNDArray/multi-columnar with efficient CRUD operations? mamcx2019-07-31 15:58
Forum topicStepanov and McJones: Elements of Programming Tom Duff2019-07-21 23:50
Forum topicCFP: PLOS '19: 10th Workshop on Programming Languages and Operating Systems eeide2019-07-08 18:05
Forum topicApplied Category Theory and Categorical Query Language Ryan Wisnesky2019-07-07 22:16
Forum topicANN: Jekejeke Minlog 0.6.2 (forward debugging and hypothetical reasoning) j4n bur532019-07-05 23:40
StoryThe Left Hand of Equals naasking2019-06-20 19:16
Forum topicFor a relational language, how treat KeyValues, Streams in relations with operators that add or remove "columns" mamcx2019-06-08 16:17
StorySeven Sketches in Compositionality: An Invitation to Applied Category Theory Andris Birkmanis2019-05-24 22:34