minikanren  

Messages by Thread

• What is the name of this relation? Brett Schreiber
  • Re: What is the name of this relation? William Byrd
  • Re: What is the name of this relation? Brett Schreiber
  • Re: What is the name of this relation? Brett Schreiber
  • Re: What is the name of this relation? Brett Schreiber
• Call for Proposals for miniKanren Workshop William Byrd
• Tree automata and minikanren Kakadu
  • Re: Tree automata and minikanren William Byrd
• miniKanren Workshop now streaming on Youtube Greg Rosenblatt
  • Re: miniKanren Workshop now streaming on Youtube Joe Corneli
  • Re: miniKanren Workshop now streaming on Youtube Greg Rosenblatt
• miniKanren Workshop next week (Thursday, August 26th) Greg Rosenblatt
• Is it possible to construct a negation of a relation? zaoqi libre
  • Re: Is it possible to construct a negation of a relation? Greg Rosenblatt
• Call for Papers--Third miniKanren and Relational Programming Workshop Greg Rosenblatt
  • Re: Call for Papers--Third miniKanren and Relational Programming Workshop Greg Rosenblatt
  • Re: Call for Papers--Third miniKanren and Relational Programming Workshop lz.w...@gmail.com
  • Re: Call for Papers--Third miniKanren and Relational Programming Workshop Greg Rosenblatt
• Let's use miniKanren/Barliman to optimize itself? Steve Phillips
  • Re: Let's use miniKanren/Barliman to optimize itself? William Byrd
  • Re: Let's use miniKanren/Barliman to optimize itself? silas poulson
  • Re: Let's use miniKanren/Barliman to optimize itself? zaoqi libre
• working through the book in drracket? thro...@gmail.com
  • Re: working through the book in drracket? Jason Hemann
• Parser fuzzing using minikanren Amirouche Boubekki
  • Re: Parser fuzzing using minikanren William Byrd
  • Re: Parser fuzzing using minikanren Amirouche Boubekki
  • Re: Parser fuzzing using minikanren phil jones
• Call for Papers--Second miniKanren and Relational Programming Workshop Jason Hemann
• Attempt to understand micro-Kanren's search order through machine semantics Phil Nguyen
• Photos from miniKanren workshop (ICFP 2019) Dmitrii Kosarev
• Best reference for Javascript implementation of cKanren Tom
• 2nd Call for Contributions: miniKanren 2019 [extended deadline May 27] William Byrd
• Another possible venue for miniKanren-related papers William Byrd
• Call for Proposals--First miniKanren and Relational Programming Workshop William Byrd
• minikanren + triple store = ❤ Amirouche Boubekki
  • Re: minikanren + triple store = ❤ Amirouche Boubekki
  • Re: minikanren + triple store = ❤ Amirouche Boubekki
  • Re: minikanren + triple store = ❤ Rick Moynihan
  • Re: minikanren + triple store = ❤ Amirouche Boubekki
• Parallel/Distributed Constraint Solving in miniKanren Cole Lyman
  • Re: Parallel/Distributed Constraint Solving in miniKanren William Byrd
• "fresh" - why not "leto"? Brian Damgaard
  • Re: "fresh" - why not "leto"? Rick Moynihan
  • Re: "fresh" - why not "leto"? William Byrd
  • Re: "fresh" - why not "leto"? Brian Damgaard
  • Re: "fresh" - why not "leto"? Brian Damgaard
  • Re: "fresh" - why not "leto"? Brian Damgaard
  • Re: "fresh" - why not "leto"? Dan Friedman
  • Re: "fresh" - why not "leto"? Dakota Fisher
  • Re: "fresh" - why not "leto"? Dan Friedman
• Reasoned Schemer 2nd Edition Rick Moynihan
  • Re: Reasoned Schemer 2nd Edition William Byrd
  • Re: Reasoned Schemer 2nd Edition Rick Moynihan
  • Reasoned Schemer 2nd Edition Rick Moynihan
• What is goal tabling in Clojure core.logic? Gordon Gustafson
  • Re: What is goal tabling in Clojure core.logic? Rick Moynihan
  • Re: What is goal tabling in Clojure core.logic? William Byrd
• Let's organize a Scheme European Event at FOSDEM 2019 Amirouche Boubekki
• Re: Problem with Reasoned Schemer 2nd ed's conj2 / append-map-inf in Racket 'Jeff Ward' via minikanren
  • Re: Problem with Reasoned Schemer 2nd ed's conj2 / append-map-inf in Racket Dakota Fisher
  • Re: Problem with Reasoned Schemer 2nd ed's conj2 / append-map-inf in Racket Jason Hemann
  • Re: Problem with Reasoned Schemer 2nd ed's conj2 / append-map-inf in Racket 'Jeff Ward' via minikanren
• Context-Free Grammars Including Left Recursion using Recursive miniKanren Niitsuma Hirotaka
  • Context-Free Grammars Including Left Recursion using Recursive miniKanren Dmitrii Kosarev
  • Re: Context-Free Grammars Including Left Recursion using Recursive miniKanren Dan Friedman
  • Re: Context-Free Grammars Including Left Recursion using Recursive miniKanren Niitsuma Hirotaka
  • Re: Context-Free Grammars Including Left Recursion using Recursive miniKanren Greg Rosenblatt
  • Re: Context-Free Grammars Including Left Recursion using Recursive miniKanren Niitsuma Hirotaka
  • Re: Context-Free Grammars Including Left Recursion using Recursive miniKanren Evgenii Moiseenko
  • Re: Context-Free Grammars Including Left Recursion using Recursive miniKanren Jason Hemann
  • Re: Context-Free Grammars Including Left Recursion using Recursive miniKanren Evgenii Moiseenko
  • Re: Context-Free Grammars Including Left Recursion using Recursive miniKanren Niitsuma Hirotaka
• Fwd: Can Michael Vanier join us? Dan Friedman
• Re: Constructive Negation in MiniKanren William Byrd
  • Re: Constructive Negation in MiniKanren William Byrd
  • Re: Constructive Negation in MiniKanren Evgenii Moiseenko
  • Re: Constructive Negation in MiniKanren Greg Rosenblatt
  • Re: Constructive Negation in MiniKanren Dan Friedman
  • Re: Constructive Negation in MiniKanren Evgenii Moiseenko
  • Re: Constructive Negation in MiniKanren Greg Rosenblatt
  • Re: Constructive Negation in MiniKanren Evgenii Moiseenko
  • Re: Constructive Negation in MiniKanren Greg Rosenblatt
  • Re: Constructive Negation in MiniKanren Evgenii Moiseenko
  • Re: Constructive Negation in MiniKanren Greg Rosenblatt
  • Re: Constructive Negation in MiniKanren Evgenii Moiseenko
  • Re: Constructive Negation in MiniKanren Evgenii Moiseenko
  • Re: Constructive Negation in MiniKanren Greg Rosenblatt
  • Re: Constructive Negation in MiniKanren Evgenii Moiseenko
  • Re: Constructive Negation in MiniKanren Dakota Fisher
  • Re: Constructive Negation in MiniKanren Evgenii Moiseenko
  • Re: Constructive Negation in MiniKanren Greg Rosenblatt
  • Re: Constructive Negation in MiniKanren Evgenii Moiseenko
  • Re: Constructive Negation in MiniKanren Greg Rosenblatt
  • Re: Constructive Negation in MiniKanren Evgenii Moiseenko
• core.logic.fd struggle Pierre Baille
  • Re: core.logic.fd struggle David Nolen
  • Re: core.logic.fd struggle Pierre Baille
  • Re: core.logic.fd struggle Paulo César Cuneo
  • core.logic.fd struggle Pierre Baille
• core.logic struggle Pierre Baille
• My projects: theorem proving, miniKanren in TypeScript, search tree visualization 'Jonas Kölker' via minikanren
• Stray thoughts about the possibilities of miniKanren with LVars 'Jonas Kölker' via minikanren
  • Re: Stray thoughts about the possibilities of miniKanren with LVars Greg Rosenblatt
  • Re: Stray thoughts about the possibilities of miniKanren with LVars 'Jonas Kölker' via minikanren
  • Re: Stray thoughts about the possibilities of miniKanren with LVars Greg Rosenblatt
  • Re: Stray thoughts about the possibilities of miniKanren with LVars William Byrd
  • Re: Stray thoughts about the possibilities of miniKanren with LVars 'Jonas Kölker' via minikanren
  • Re: Stray thoughts about the possibilities of miniKanren with LVars Greg Rosenblatt
  • Re: Stray thoughts about the possibilities of miniKanren with LVars 'Jonas Kölker' via minikanren
• [paper] Synthesizing Data Structure Transformations from Input-Output Examples orchid
• How does conjunct/disjunct(!) order impact performance and divergence? 'Jonas Kölker' via minikanren
  • Re: How does conjunct/disjunct(!) order impact performance and divergence? Eugene Grigoriev
  • Re: How does conjunct/disjunct(!) order impact performance and divergence? William Byrd
  • Re: How does conjunct/disjunct(!) order impact performance and divergence? William Byrd
  • Re: How does conjunct/disjunct(!) order impact performance and divergence? 'Jonas Kölker' via minikanren
• probKanren Francesco Bellomi
  • Re: probKanren Amirouche Boubekki
  • Re: probKanren William Byrd
  • Re: probKanren Francesco Bellomi
• No hangouts this weekend -- laptop died William Byrd
  • Re: No hangouts this weekend -- laptop died Louise Klodt
  • Re: No hangouts this weekend -- laptop died William Byrd
• No hangout this Sunday; hangout as usual on Saturday William Byrd
• Tabling in MiniKanren Evgenii Moiseenko
  • Re: Tabling in MiniKanren Evgenii Moiseenko
  • Re: Tabling in MiniKanren William Byrd
  • Re: Tabling in MiniKanren Evgenii Moiseenko
• River Crossing Puzzle Daniel S
  • Re: River Crossing Puzzle Smock Jonathan
  • Re: River Crossing Puzzle Smock Jonathan
  • Re: River Crossing Puzzle Dan Friedman
  • Re: River Crossing Puzzle Daniel S
  • Re: River Crossing Puzzle Daniel S
  • Re: River Crossing Puzzle Smock Jonathan
  • Re: River Crossing Puzzle Jon Smock
  • Re: River Crossing Puzzle toby . thain
  • Re: River Crossing Puzzle Daniel S
  • Re: River Crossing Puzzle Daniel S
  • Re: River Crossing Puzzle Smock Jonathan
  • Re: River Crossing Puzzle Daniel S
  • Re: River Crossing Puzzle Smock Jonathan
• No intro hangout today William Byrd
• ICFP pearl almost finished -- looking for readers William Byrd
  • Re: ICFP pearl almost finished -- looking for readers Jon Smock
• Advances in Property-Based Testing for αProlog William Byrd
• acokanren Eugene Grigoriev
  • Re: acokanren William Byrd
  • Re: acokanren Eugene Grigoriev
• No Intro *or* Advanced Hangout this weekend William Byrd
• No advanced hangout this weekend William Byrd
• miniKanren Intro Hangout begnining now William Byrd
• Birectional search William Byrd
• MiniKanren + Neural Nets Apocalypse Mystic
  • Re: MiniKanren + Neural Nets William Byrd
  • Re: MiniKanren + Neural Nets Apocalypse Mystic
  • Re: MiniKanren + Neural Nets Apocalypse Mystic
  • Re: MiniKanren + Neural Nets Apocalypse Mystic
  • Re: MiniKanren + Neural Nets Apocalypse Mystic
• Algorithmic program debugging William Byrd
• miniKanren Advanced Hangout, starting now William Byrd
• miniKanren intro practice hangout stating now William Byrd
  • miniKanren intro practice hangout stating now Daniel S
  • Re: miniKanren intro practice hangout stating now William Byrd
  • Re: miniKanren intro practice hangout stating now Daniel S
• No hangouts this weekend due to ICFP revision deadline William Byrd
  • Re: No hangouts this weekend due to ICFP revision deadline danielle kefford
• miniKanren Advanced Hangout beginning now William Byrd
• Intro hangout starting now William Byrd
• miniKanren Intro Series #7 starting now! William Byrd
  • Re: miniKanren Intro Series #7 starting now! William Byrd
• Hangouts this weekend William Byrd
  • Re: Hangouts this weekend Amirouche Boubekki
• miniKanren advanced hangout #7 starting now! Michael Ballantyne
• Reminder: miniKanren advanced hangout #7 Sunday Michael Ballantyne
  • Re: Reminder: miniKanren advanced hangout #7 Sunday Amirouche Boubekki
  • Re: Reminder: miniKanren advanced hangout #7 Sunday Dmitrii Kosarev
• No intro hangout this weekend William Byrd
  • No intro hangout this weekend Dmitrii Kosarev
  • Re: No intro hangout this weekend William Byrd
• Intro and advanced hangouts from this past weekend posted William Byrd
• A possible bug about disequality constraints in faster-miniKanren Dmitrii Kosarev
  • Re: A possible bug about disequality constraints in faster-miniKanren William Byrd
  • Re: A possible bug about disequality constraints in faster-miniKanren Kakadu
  • Re: A possible bug about disequality constraints in faster-miniKanren Jason Hemann
  • Re: A possible bug about disequality constraints in faster-miniKanren William Byrd
  • Re: A possible bug about disequality constraints in faster-miniKanren Kakadu
  • Re: A possible bug about disequality constraints in faster-miniKanren William Byrd
• Canonical quines implementation for lambda-calculus Dmitrii Kosarev
• Uploaded intro #5 and advanced #5 hangouts William Byrd
• Link to hangout for anyone who wants to lurk William Byrd
• miniKanren Advanced Hangout #5 starting now William Byrd
• Map coloring in mk cycling fan
• miniKanren Intro Series #5 starting now William Byrd
  • miniKanren Intro Series #5 starting now William Byrd
• Hangout videos from last week added to the summaries github William Byrd
• miniKanren Advanced Series #4 starting now William Byrd
  • Re: miniKanren Advanced Series #4 starting now William Byrd
• miniKanren Intro Hangout starting in 30 minutes William Byrd
• Last week's hangouts posted; guided search experiment William Byrd

• Earlier messages