minikanren

Messages by Date

2017/05/14 miniKanren advanced hangout #7 starting now! Michael Ballantyne
2017/05/14 Re: Reminder: miniKanren advanced hangout #7 Sunday Dmitrii Kosarev
2017/05/14 Re: Reminder: miniKanren advanced hangout #7 Sunday Amirouche Boubekki
2017/05/13 Reminder: miniKanren advanced hangout #7 Sunday Michael Ballantyne
2017/05/13 Re: No intro hangout this weekend William Byrd
2017/05/13 No intro hangout this weekend Dmitrii Kosarev
2017/05/12 No intro hangout this weekend William Byrd
2017/05/03 Intro and advanced hangouts from this past weekend posted William Byrd
2017/05/03 Re: A possible bug about disequality constraints in faster-miniKanren William Byrd
2017/05/03 Re: A possible bug about disequality constraints in faster-miniKanren Kakadu
2017/05/03 Re: A possible bug about disequality constraints in faster-miniKanren William Byrd
2017/05/03 Re: A possible bug about disequality constraints in faster-miniKanren Jason Hemann
2017/05/03 Re: A possible bug about disequality constraints in faster-miniKanren Kakadu
2017/05/03 Re: A possible bug about disequality constraints in faster-miniKanren William Byrd
2017/05/03 A possible bug about disequality constraints in faster-miniKanren Dmitrii Kosarev
2017/04/30 miniKanren advanced hangout starting now William Byrd
2017/04/29 miniKanren Intro Series #5 starting now William Byrd
2017/04/26 Canonical quines implementation for lambda-calculus Dmitrii Kosarev
2017/04/25 Uploaded intro #5 and advanced #5 hangouts William Byrd
2017/04/23 Link to hangout for anyone who wants to lurk William Byrd
2017/04/23 miniKanren Advanced Hangout #5 starting now William Byrd
2017/04/22 Map coloring in mk cycling fan
2017/04/22 miniKanren Intro Series #5 starting now William Byrd
2017/04/21 Hangout videos from last week added to the summaries github William Byrd
2017/04/16 Re: miniKanren Advanced Series #4 starting now William Byrd
2017/04/16 miniKanren Advanced Series #4 starting now William Byrd
2017/04/15 miniKanren Intro Hangout starting in 30 minutes William Byrd
2017/04/15 Re: miniKanren advanced hangout #3 started now Avi Farah
2017/04/14 Last week's hangouts posted; guided search experiment William Byrd
2017/04/09 miniKanren advanced hangout #3 started now William Byrd
2017/04/08 Re: miniKanren Intro Uncourse #3 starting now William Byrd
2017/04/08 miniKanren Intro Uncourse #3 starting now William Byrd
2017/04/04 Hangout videos from last week are public, along with a new resource William Byrd
2017/04/02 Re: Announcing *two* miniKanren hangout series: Saturdays and Sundays William Byrd
2017/04/02 miniKanren advanced hangout starting now William Byrd
2017/04/01 Re: Announcing *two* miniKanren hangout series: Saturdays and Sundays William Byrd
2017/04/01 Re: Announcing *two* miniKanren hangout series: Saturdays and Sundays danielle kefford
2017/04/01 Fwd: miniKanren Intro hangout #2 starting now William Byrd
2017/03/27 Re: Announcing *two* miniKanren hangout series: Saturdays and Sundays William Byrd
2017/03/26 Re: Announcing *two* miniKanren hangout series: Saturdays and Sundays Jake Mitchell
2017/03/26 Re: Announcing *two* miniKanren hangout series: Saturdays and Sundays William Byrd
2017/03/25 Re: Announcing *two* miniKanren hangout series: Saturdays and Sundays William Byrd
2017/03/24 Re: Announcing *two* miniKanren hangout series: Saturdays and Sundays William Byrd
2017/03/23 pattern match with continuations-ish to reduce the amount of fresh variables. Paulo César Cuneo
2017/03/22 Re: About internals of faster miniKanren Nehal Patel
2017/03/22 Re: About internals of faster miniKanren Michael Ballantyne
2017/03/21 Announcing *two* miniKanren hangout series: Saturdays and Sundays William Byrd
2017/03/21 Re: About internals of faster miniKanren William Byrd
2017/03/20 About internals of faster miniKanren Dmitrii Kosarev
2017/03/19 Re: New miniKanren hangout series Amirouche Boubekki
2017/03/18 Re: New miniKanren hangout series William Byrd
2017/03/18 Re: Relational maps Paulo César Cuneo
2017/03/18 Re: unify with path compression, benchmarks? Paulo César Cuneo
2017/03/18 New miniKanren hangout series William Byrd
2017/03/16 Re: unify with path compression, benchmarks? Jason Hemann
2017/03/16 Re: unify with path compression, benchmarks? David Kahn
2017/03/14 Re: What's the purpose of symbolo? How to implement =/= Amirouche Boubekki
2017/03/13 Re: Facts and relations Cev Ing
2017/03/12 Re: Relational maps Amirouche Boubekki
2017/03/10 Re: struggling with boolean expressions in minikanren Jason Hemann
2017/03/10 Re: struggling with boolean expressions in minikanren Cev Ing
2017/03/10 struggling with boolean expressions in minikanren Cev Ing
2017/03/10 Re: Facts and relations Cev Ing
2017/03/09 Re: What's the purpose of symbolo? How to implement =/= Jason Hemann
2017/03/09 [core.logic] - Nice to have: support function in matche/a/u Paulo César Cuneo
2017/03/09 Re: What's the purpose of symbolo? How to implement =/= William Byrd
2017/03/09 Re: package manager version problem Amirouche Boubekki
2017/03/09 What's the purpose of symbolo? How to implement =/= Amirouche Boubekki
2017/03/09 Re: Relational maps Amirouche Boubekki
2017/03/09 Re: conde as a function taking a variable number of arguments Paulo César Cuneo
2017/03/09 Re: Relational maps William Byrd
2017/03/09 Re: Relational maps Dmitrii Kosarev
2017/03/09 Re: conde as a function taking a variable number of arguments Cev Ing
2017/03/08 Re: package manager version problem William Byrd
2017/03/08 Re: Relational maps William Byrd
2017/03/08 Re: conde as a function taking a variable number of arguments William Byrd
2017/03/08 Re: conde as a function taking a variable number of arguments Paulo César Cuneo
2017/03/08 Re: Relational maps Amirouche Boubekki
2017/03/08 Re: Relational maps Amirouche Boubekki
2017/03/08 Re: Relational maps Amirouche Boubekki
2017/03/08 Re: Relational maps Amirouche Boubekki
2017/03/08 conde as a function taking a variable number of arguments Cev Ing
2017/03/08 Re: Relational maps Evgenii Moiseenko
2017/03/07 Re: Relational maps Dan Friedman
2017/03/07 Relational maps Evgenii Moiseenko
2017/03/07 Relational maps Evgenii Moiseenko
2017/03/06 Re: [core.logic] - Why arent goals allowed as constraints? Paulo César Cuneo
2017/03/06 Re: [core.logic] - Why arent goals allowed as constraints? David Nolen
2017/03/06 [core.logic] - Why arent goals allowed as constraints? Paulo César Cuneo
2017/03/06 Re: unify with path compression, benchmarks? Paulo César Cuneo
2017/03/03 package manager version problem Amirouche Boubekki
2017/02/09 Re: Why does µKanren use `=` instead of `equal?` Jason Hemann
2017/02/09 Why does µKanren use `=` instead of `equal?` Cev Ing
2017/02/08 Re: Lists in miniKanren William Byrd
2017/02/08 Re: Lists in miniKanren Jason Hemann
2017/02/08 Lists in miniKanren Cev Ing
2017/02/06 Re: unify with path compression, benchmarks? William Byrd
2017/02/06 unify with path compression, benchmarks? Paulo César Cuneo
2016/12/27 Re: Negation troubles: candidate-received-no-votes Gordon Gustafson
2016/12/27 Re: Negation troubles: candidate-received-no-votes Norman Richards
2016/12/26 Re: Feature structure and minikanren? Jason Hemann
2016/12/26 Re: Feature structure and minikanren? Chung-chieh Shan
2016/12/24 Re: Feature structure and minikanren? Dan Friedman
2016/12/24 Re: Feature structure and minikanren? Jason Hemann
2016/12/24 Feature structure and minikanren? Amirouche Boubekki
2016/12/23 Negation troubles: candidate-received-no-votes Gordon Gustafson
2016/12/23 Re: Querying a tuple database with minikanren Amirouche Boubekki
2016/12/16 Re: Reasoned schemer for microkanren? Dan Friedman
2016/12/16 Re: Reasoned schemer for microkanren? Nehal Patel
2016/12/16 Re: Reasoned schemer for microkanren? Dan Friedman
2016/12/16 Reasoned schemer for microkanren? Amirouche Boubekki
2016/11/17 Re: minikanren with attributed variables William Byrd
2016/11/17 Re: How run * works in minikanren ? William Byrd
2016/11/17 Re: Is the "run" search mechanism programmable? William Byrd
2016/11/16 Re: Is the "run" search mechanism programmable? Alex Gian
2016/11/16 Re: Is the "run" search mechanism programmable? Alex Gian
2016/11/16 Re: Is the "run" search mechanism programmable? Alex Gian
2016/11/15 Re: Is the "run" search mechanism programmable? William Byrd
2016/11/15 Is the "run" search mechanism programmable? Alex Gian
2016/09/11 Re: Question answering using minikanren Amirouche Boubekki
2016/09/11 Re: How run * works in minikanren ? Amirouche Boubekki
2016/09/11 What relation can we drawn between minikanren and inference algorithms? Amirouche Boubekki
2016/09/07 How run * works in minikanren ? Mr. Gogo
2016/03/23 Re: Question answering using minikanren David Kahn
2016/03/20 Question answering using minikanren Amirouche Boubekki
2016/03/19 What is the purpose of fresh/nf Amirouche Boubekki
2016/03/02 Core.logic - Restricting Relations Kaylen Wheeler
2016/02/29 Re: minimips assembler/disassembler running in the browser! David Kahn
2016/02/29 Re: minimips assembler/disassembler running in the browser! David Kahn
2016/02/29 Re: minimips assembler/disassembler running in the browser! William Byrd
2016/02/29 Re: minimips assembler/disassembler running in the browser! William Byrd
2016/02/29 minimips assembler/disassembler running in the browser! David Kahn
2016/02/22 Generating scheme quines with prolog? [comp.lang.prolog post] cycling fan
2016/02/22 minikanren with attributed variables cycling fan
2015/11/29 Querying a tuple database with minikanren Amirouche Boubekki
2015/11/05 Re: [core.logic] Compile error: File name too long David Nolen
2015/11/04 [core.logic] Compile error: File name too long Armando Blancas
2015/09/21 Re: building a troubleshooter in miniKanren Reuben Garrett
2015/09/21 Re: building a troubleshooter in miniKanren William Byrd
2015/09/21 building a troubleshooter in miniKanren Reuben Garrett
2015/08/01 [Call For Participation] Scheme and Functional Programming Workshop 2015 Andy Keep
2015/07/12 miniKanren uncourse starting now William Byrd
2015/07/12 miniKanren uncourse hangout today William Byrd
2015/06/21 miniKanren uncourse #26 is about to start William Byrd
2015/06/14 miniKanren uncourse starting now William Byrd
2015/06/07 miniKanren uncourse starting now William Byrd
2015/05/31 miniKanren uncourse starting now William Byrd
2015/05/24 miniKanren uncourse hangout #22 starting now William Byrd
2015/05/21 [CFP] *DEADLINE EXTENDED* Scheme and Functional Programming Workshop 2015 Andy Keep
2015/05/17 [CFP] SECOND NOTICE: Scheme and Functional Programming Workshop 2015 Andy Keep
2015/05/17 miniKanren uncourse #21 starting now William Byrd
2015/05/10 Re: miniKanren weekly uncourse starts again today Dan Friedman
2015/05/10 miniKanren weekly uncourse starts again today William Byrd
2015/04/19 miniKanren uncourse starting now William Byrd
2015/04/19 [CFP] Scheme and Functional Programming Workshop 2015 Andy Keep
2015/04/19 Re: miniKanren uncourse starting now Rick Moynihan
2015/04/12 Re: No miniKanren uncourse today Ambrose Bonnaire-Sergeant
2015/04/12 No miniKanren uncourse today William Byrd
2015/04/05 miniKanren uncourse starting now William Byrd
2015/03/31 Re: Castor vs miniKanren William Byrd
2015/03/29 miniKanren uncourse starting now William Byrd
2015/03/21 Castor vs miniKanren Eugene Grigoriev
2015/03/15 miniKanren uncourse #16 starting now William Byrd
2015/03/08 miniKanren uncourse #15 starting now William Byrd
2015/03/01 miniKanren uncourse #14 starting now William Byrd
2015/02/26 Re: MicroKanren for C# William Byrd
2015/02/25 Re: MicroKanren for C# Sandro Magi
2015/02/24 Re: MicroKanren for C# William Byrd
2015/02/24 Re: MicroKanren for C# Sandro Magi
2015/02/24 Re: MicroKanren for C# Sandro Magi
2015/02/23 Re: MicroKanren for C# William Byrd
2015/02/23 MicroKanren for C# Sandro Magi
2015/02/22 minikanren uncourse starting now William Byrd
2015/02/15 miniKanren uncourse starting now... William Byrd
2015/02/14 Re: Produce list from goal branches? William Byrd
2015/02/14 Re: Produce list from goal branches? William Byrd
2015/02/14 Re: Produce list from goal branches? Mark Addleman
2015/02/14 Re: Produce list from goal branches? Norman Richards
2015/02/13 Re: Produce list from goal branches? William Byrd
2015/02/13 Re: Produce list from goal branches? William Byrd
2015/02/08 miniKanren Uncourse #11 starting now! William Byrd
2015/02/01 Produce list from goal branches? Mark Addleman
2015/02/01 miniKanren Uncourse #10 starting now William Byrd
2015/01/25 miniKanren Uncourse #9 starting now William Byrd
2015/01/18 miniKanren uncourse #8 starting now William Byrd
2015/01/11 miniKanren uncourse Hangout #7 starting now William Byrd
2015/01/08 micrologic - A tiny, literate implementation of miniKanren/core.logic Russell Mull
2014/12/21 miniKanren Uncourse #6 starting in 43 minutes William Byrd
2014/12/14 miniKanren Uncourse #5 starts at 3pm Eastern/noon Pacific today William Byrd
2014/12/07 miniKanren uncourse #4 today at 3pm Eastern/noon Pacific William Byrd
2014/11/30 minikanren uncourse #3 starting in 5 minutes William Byrd
2014/11/29 miniKanren Uncourse #3, tomorrow (Sunday), 3 pm Eastern, noon Pacific William Byrd
2014/11/29 Re: minikanren in python Dan Friedman
2014/11/29 Re: minikanren in python Norman Richards
2014/11/27 Re: minikanren in python William Byrd
2014/11/27 minikanren in python Norman Richards
2014/11/16 Re: miniKanren uncourse #2 hangout starting now! Dan Friedman
2014/11/16 miniKanren uncourse #2 hangout starting now! William Byrd
2014/11/06 Weekly miniKanren course on Google Hangouts on Air William Byrd
2014/09/03 [ANN] *Extended Deadline* CFP for 2014 Scheme and Functional Programming Workshop Jason Hemann