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