minikanren  

Messages by Date

• 2023/07/23 Re: What is the name of this relation? Brett Schreiber
• 2022/12/29 Re: What is the name of this relation? Brett Schreiber
• 2022/10/24 Re: What is the name of this relation? Brett Schreiber
• 2022/10/24 Re: What is the name of this relation? William Byrd
• 2022/10/24 What is the name of this relation? Brett Schreiber
• 2022/06/27 Call for Proposals for miniKanren Workshop William Byrd
• 2022/03/22 Re: Tree automata and minikanren William Byrd
• 2022/03/22 Tree automata and minikanren Kakadu
• 2021/11/16 Re: Let's use miniKanren/Barliman to optimize itself? silas poulson
• 2021/10/25 Re: miniKanren Workshop now streaming on Youtube Greg Rosenblatt
• 2021/10/25 Re: miniKanren Workshop now streaming on Youtube Joe Corneli
• 2021/08/26 miniKanren Workshop now streaming on Youtube Greg Rosenblatt
• 2021/08/20 miniKanren Workshop next week (Thursday, August 26th) Greg Rosenblatt
• 2021/08/16 Re: Is it possible to construct a negation of a relation? Greg Rosenblatt
• 2021/08/12 Re: Let's use miniKanren/Barliman to optimize itself? zaoqi libre
• 2021/08/12 Is it possible to construct a negation of a relation? zaoqi libre
• 2021/06/27 Re: Call for Papers--Third miniKanren and Relational Programming Workshop Greg Rosenblatt
• 2021/06/20 Re: Call for Papers--Third miniKanren and Relational Programming Workshop [email protected]
• 2021/04/17 Re: Call for Papers--Third miniKanren and Relational Programming Workshop Greg Rosenblatt
• 2021/04/11 Call for Papers--Third miniKanren and Relational Programming Workshop Greg Rosenblatt
• 2020/10/06 Re: Let's use miniKanren/Barliman to optimize itself? William Byrd
• 2020/10/06 Let's use miniKanren/Barliman to optimize itself? Steve Phillips
• 2020/09/18 Re: working through the book in drracket? Jason Hemann
• 2020/09/17 working through the book in drracket? [email protected]
• 2020/07/31 Re: Parser fuzzing using minikanren phil jones
• 2020/07/31 Re: Parser fuzzing using minikanren Amirouche Boubekki
• 2020/07/31 Re: Parser fuzzing using minikanren William Byrd
• 2020/07/31 Parser fuzzing using minikanren Amirouche Boubekki
• 2020/03/06 Call for Papers--Second miniKanren and Relational Programming Workshop Jason Hemann
• 2019/11/04 Attempt to understand micro-Kanren's search order through machine semantics Phil Nguyen
• 2019/08/29 Photos from miniKanren workshop (ICFP 2019) Dmitrii Kosarev
• 2019/07/05 Best reference for Javascript implementation of cKanren Tom
• 2019/06/20 Re: minikanren + triple store = ❤ Amirouche Boubekki
• 2019/06/20 Re: minikanren + triple store = ❤ Amirouche Boubekki
• 2019/05/13 2nd Call for Contributions: miniKanren 2019 [extended deadline May 27] William Byrd
• 2019/04/08 Another possible venue for miniKanren-related papers William Byrd
• 2019/04/05 Call for Proposals--First miniKanren and Relational Programming Workshop William Byrd
• 2019/03/22 Re: About internals of faster miniKanren Amirouche Boubekki
• 2019/02/26 Re: minikanren + triple store = ❤ Rick Moynihan
• 2019/02/26 Re: minikanren + triple store = ❤ Amirouche Boubekki
• 2019/02/26 minikanren + triple store = ❤ Amirouche Boubekki
• 2019/02/21 Re: Parallel/Distributed Constraint Solving in miniKanren William Byrd
• 2019/02/19 Parallel/Distributed Constraint Solving in miniKanren Cole Lyman
• 2019/01/15 Re: Set constraints Khoa Võ Đăng
• 2018/12/09 Re: Feature structure and minikanren? Apocalypse Mystic
• 2018/12/09 Re: Feature structure and minikanren? Matías Guzmán Naranjo
• 2018/12/09 Re: Feature structure and minikanren? Apocalypse Mystic
• 2018/12/09 Re: Feature structure and minikanren? Matías Guzmán Naranjo
• 2018/12/04 Re: Feature structure and minikanren? Apocalypse Mystic
• 2018/12/01 Re: Feature structure and minikanren? Matías Guzmán Naranjo
• 2018/12/01 Re: Feature structure and minikanren? Amirouche Boubekki
• 2018/12/01 Re: Feature structure and minikanren? Matías Guzmán Naranjo
• 2018/12/01 Re: Feature structure and minikanren? Amirouche Boubekki
• 2018/12/01 Re: Feature structure and minikanren? Amirouche Boubekki
• 2018/11/18 Re: Feature structure and minikanren? Matías Guzmán Naranjo
• 2018/11/01 Re: "fresh" - why not "leto"? Dan Friedman
• 2018/11/01 Re: "fresh" - why not "leto"? Dakota Fisher
• 2018/11/01 Re: "fresh" - why not "leto"? Dan Friedman
• 2018/11/01 Re: "fresh" - why not "leto"? Brian Damgaard
• 2018/11/01 Re: "fresh" - why not "leto"? Brian Damgaard
• 2018/11/01 Re: "fresh" - why not "leto"? Brian Damgaard
• 2018/10/29 Re: "fresh" - why not "leto"? William Byrd
• 2018/10/29 Re: "fresh" - why not "leto"? Rick Moynihan
• 2018/10/28 "fresh" - why not "leto"? Brian Damgaard
• 2018/09/10 Re: Reasoned Schemer 2nd Edition Rick Moynihan
• 2018/09/09 Re: What is goal tabling in Clojure core.logic? William Byrd
• 2018/09/09 Re: Reasoned Schemer 2nd Edition William Byrd
• 2018/09/09 Reasoned Schemer 2nd Edition Rick Moynihan
• 2018/09/09 Reasoned Schemer 2nd Edition Rick Moynihan
• 2018/09/09 Re: What is goal tabling in Clojure core.logic? Rick Moynihan
• 2018/09/08 What is goal tabling in Clojure core.logic? Gordon Gustafson
• 2018/08/24 Let's organize a Scheme European Event at FOSDEM 2019 Amirouche Boubekki
• 2018/08/06 Re: Problem with Reasoned Schemer 2nd ed's conj2 / append-map-inf in Racket 'Jeff Ward' via minikanren
• 2018/08/06 Re: Problem with Reasoned Schemer 2nd ed's conj2 / append-map-inf in Racket Jason Hemann
• 2018/08/06 Re: Problem with Reasoned Schemer 2nd ed's conj2 / append-map-inf in Racket Dakota Fisher
• 2018/08/06 Re: Problem with Reasoned Schemer 2nd ed's conj2 / append-map-inf in Racket 'Jeff Ward' via minikanren
• 2018/05/23 Re: Reasoned schemer for microkanren? Greg Rosenblatt
• 2018/05/23 Re: Reasoned schemer for microkanren? Amirouche Boubekki
• 2018/05/23 Re: Reasoned schemer for microkanren? Amirouche Boubekki
• 2018/03/21 Re: Context-Free Grammars Including Left Recursion using Recursive miniKanren Niitsuma Hirotaka
• 2018/03/21 Re: Context-Free Grammars Including Left Recursion using Recursive miniKanren Evgenii Moiseenko
• 2018/03/21 Re: Context-Free Grammars Including Left Recursion using Recursive miniKanren Jason Hemann
• 2018/03/21 Re: Context-Free Grammars Including Left Recursion using Recursive miniKanren Evgenii Moiseenko
• 2018/03/09 Re: Context-Free Grammars Including Left Recursion using Recursive miniKanren Niitsuma Hirotaka
• 2018/03/06 Re: Context-Free Grammars Including Left Recursion using Recursive miniKanren Greg Rosenblatt
• 2018/03/06 Re: Context-Free Grammars Including Left Recursion using Recursive miniKanren Niitsuma Hirotaka
• 2018/03/05 Re: Context-Free Grammars Including Left Recursion using Recursive miniKanren Dan Friedman
• 2018/03/05 Context-Free Grammars Including Left Recursion using Recursive miniKanren Dmitrii Kosarev
• 2018/03/04 Context-Free Grammars Including Left Recursion using Recursive miniKanren Niitsuma Hirotaka
• 2018/02/17 Re: Reasoned schemer for microkanren? Jason Hemann
• 2018/01/09 Fwd: Can Michael Vanier join us? Dan Friedman
• 2017/12/18 Re: Constructive Negation in MiniKanren Evgenii Moiseenko
• 2017/12/18 Re: Constructive Negation in MiniKanren Greg Rosenblatt
• 2017/12/18 Re: Constructive Negation in MiniKanren Evgenii Moiseenko
• 2017/12/18 Re: Constructive Negation in MiniKanren Evgenii Moiseenko
• 2017/12/15 Re: Constructive Negation in MiniKanren Greg Rosenblatt
• 2017/12/15 Re: Constructive Negation in MiniKanren Dakota Fisher
• 2017/12/15 Re: Constructive Negation in MiniKanren Evgenii Moiseenko
• 2017/12/15 Re: Constructive Negation in MiniKanren Greg Rosenblatt
• 2017/12/15 Re: Constructive Negation in MiniKanren Evgenii Moiseenko
• 2017/12/15 Re: Constructive Negation in MiniKanren Evgenii Moiseenko
• 2017/12/15 Re: Constructive Negation in MiniKanren Greg Rosenblatt
• 2017/12/15 Re: Constructive Negation in MiniKanren Evgenii Moiseenko
• 2017/12/14 Re: Constructive Negation in MiniKanren Greg Rosenblatt
• 2017/12/14 Re: Constructive Negation in MiniKanren Evgenii Moiseenko
• 2017/12/14 Re: Constructive Negation in MiniKanren Greg Rosenblatt
• 2017/12/14 Re: Constructive Negation in MiniKanren Evgenii Moiseenko
• 2017/12/14 Re: Constructive Negation in MiniKanren Dan Friedman
• 2017/12/14 Re: Constructive Negation in MiniKanren Greg Rosenblatt
• 2017/12/14 Re: Constructive Negation in MiniKanren Evgenii Moiseenko
• 2017/12/13 Re: Constructive Negation in MiniKanren William Byrd
• 2017/12/13 Re: Constructive Negation in MiniKanren William Byrd
• 2017/12/12 Re: core.logic.fd struggle Paulo César Cuneo
• 2017/11/15 Re: core.logic.fd struggle Pierre Baille
• 2017/10/30 Re: core.logic.fd struggle David Nolen
• 2017/10/29 core.logic.fd struggle Pierre Baille
• 2017/10/29 core.logic.fd struggle Pierre Baille
• 2017/10/29 core.logic struggle Pierre Baille
• 2017/09/10 Re: MiniKanren + Neural Nets Apocalypse Mystic
• 2017/09/04 Re: MiniKanren + Neural Nets Apocalypse Mystic
• 2017/09/02 Re: MiniKanren + Neural Nets Apocalypse Mystic
• 2017/08/26 Re: Stray thoughts about the possibilities of miniKanren with LVars 'Jonas Kölker' via minikanren
• 2017/08/26 My projects: theorem proving, miniKanren in TypeScript, search tree visualization 'Jonas Kölker' via minikanren
• 2017/08/25 Re: Stray thoughts about the possibilities of miniKanren with LVars Greg Rosenblatt
• 2017/08/25 Re: Stray thoughts about the possibilities of miniKanren with LVars 'Jonas Kölker' via minikanren
• 2017/08/25 Re: Stray thoughts about the possibilities of miniKanren with LVars William Byrd
• 2017/08/20 Re: Stray thoughts about the possibilities of miniKanren with LVars Greg Rosenblatt
• 2017/08/20 Re: Stray thoughts about the possibilities of miniKanren with LVars 'Jonas Kölker' via minikanren
• 2017/08/19 Re: Stray thoughts about the possibilities of miniKanren with LVars Greg Rosenblatt
• 2017/08/19 Stray thoughts about the possibilities of miniKanren with LVars 'Jonas Kölker' via minikanren
• 2017/07/26 Re: Tabling in MiniKanren Evgenii Moiseenko
• 2017/07/26 [paper] Synthesizing Data Structure Transformations from Input-Output Examples orchid
• 2017/07/26 Re: How does conjunct/disjunct(!) order impact performance and divergence? 'Jonas Kölker' via minikanren
• 2017/07/25 Re: How does conjunct/disjunct(!) order impact performance and divergence? William Byrd
• 2017/07/25 Re: How does conjunct/disjunct(!) order impact performance and divergence? William Byrd
• 2017/07/25 Re: How does conjunct/disjunct(!) order impact performance and divergence? Eugene Grigoriev
• 2017/07/25 How does conjunct/disjunct(!) order impact performance and divergence? 'Jonas Kölker' via minikanren
• 2017/07/25 Re: probKanren Francesco Bellomi
• 2017/07/25 Re: Tabling in MiniKanren William Byrd
• 2017/07/25 Re: probKanren William Byrd
• 2017/07/24 Re: probKanren Amirouche Boubekki
• 2017/07/23 probKanren Francesco Bellomi
• 2017/07/20 Re: Tabling in MiniKanren Evgenii Moiseenko
• 2017/07/09 Re: No hangouts this weekend -- laptop died William Byrd
• 2017/07/09 Re: No hangouts this weekend -- laptop died Louise Klodt
• 2017/07/07 No hangouts this weekend -- laptop died William Byrd
• 2017/07/05 Re: River Crossing Puzzle Smock Jonathan
• 2017/07/05 Re: River Crossing Puzzle Daniel S
• 2017/07/05 Re: River Crossing Puzzle Smock Jonathan
• 2017/07/05 Re: River Crossing Puzzle Daniel S
• 2017/07/05 Re: River Crossing Puzzle Daniel S
• 2017/07/04 No hangout this Sunday; hangout as usual on Saturday William Byrd
• 2017/07/04 Re: River Crossing Puzzle toby . thain
• 2017/07/04 Re: River Crossing Puzzle Jon Smock
• 2017/07/04 Re: River Crossing Puzzle Smock Jonathan
• 2017/07/04 Re: River Crossing Puzzle Daniel S
• 2017/07/04 Re: River Crossing Puzzle Daniel S
• 2017/07/03 Re: River Crossing Puzzle Dan Friedman
• 2017/07/03 Re: River Crossing Puzzle Smock Jonathan
• 2017/07/03 Re: River Crossing Puzzle Smock Jonathan
• 2017/07/03 Tabling in MiniKanren Evgenii Moiseenko
• 2017/07/03 River Crossing Puzzle Daniel S
• 2017/07/02 miniKanren Advanced hangout starting now William Byrd
• 2017/07/01 No intro hangout today William Byrd
• 2017/06/30 Re: ICFP pearl almost finished -- looking for readers Jon Smock
• 2017/06/30 ICFP pearl almost finished -- looking for readers William Byrd
• 2017/06/23 Advances in Property-Based Testing for αProlog William Byrd
• 2017/06/20 Re: acokanren Eugene Grigoriev
• 2017/06/20 Re: acokanren William Byrd
• 2017/06/20 acokanren Eugene Grigoriev
• 2017/06/20 No Intro *or* Advanced Hangout this weekend William Byrd
• 2017/06/20 No advanced hangout this weekend William Byrd
• 2017/06/20 Re: About internals of faster miniKanren Dan Friedman
• 2017/06/20 Re: About internals of faster miniKanren Kakadu
• 2017/06/19 Re: About internals of faster miniKanren Michael Ballantyne
• 2017/06/19 Re: About internals of faster miniKanren Dan Friedman
• 2017/06/19 Re: About internals of faster miniKanren Michael Ballantyne
• 2017/06/18 miniKanren Advanced Hangout starting now William Byrd
• 2017/06/17 miniKanren Intro Hangout begnining now William Byrd
• 2017/06/16 Birectional search William Byrd
• 2017/06/16 Re: About internals of faster miniKanren Dmitrii Kosarev
• 2017/06/16 Re: About internals of faster miniKanren Dmitrii Kosarev
• 2017/06/14 Re: MiniKanren + Neural Nets Apocalypse Mystic
• 2017/06/13 Re: MiniKanren + Neural Nets William Byrd
• 2017/06/13 MiniKanren + Neural Nets Apocalypse Mystic
• 2017/06/12 Algorithmic program debugging William Byrd
• 2017/06/12 Re: miniKanren intro practice hangout stating now Daniel S
• 2017/06/11 Re: miniKanren intro practice hangout stating now William Byrd
• 2017/06/11 miniKanren intro practice hangout stating now Daniel S
• 2017/06/11 miniKanren Advanced Hangout, starting now William Byrd
• 2017/06/10 miniKanren intro practice hangout stating now William Byrd
• 2017/06/03 Re: No hangouts this weekend due to ICFP revision deadline danielle kefford
• 2017/06/02 No hangouts this weekend due to ICFP revision deadline William Byrd
• 2017/05/28 miniKanren Advanced Hangout beginning now William Byrd
• 2017/05/27 Intro hangout starting now William Byrd
• 2017/05/21 miniKanren Advanced Hangout starting now William Byrd
• 2017/05/20 Re: miniKanren Intro Series #7 starting now! William Byrd
• 2017/05/20 miniKanren Intro Series #7 starting now! William Byrd
• 2017/05/19 Re: Hangouts this weekend Amirouche Boubekki
• 2017/05/19 Hangouts this weekend William Byrd

• Earlier messages