Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

It's the Magic that counts. -- Larry Wall on Perl's apparent ugliness

devel / comp.lang.lisp / Learning miniKanren (The Reasoned Schemer)

SubjectAuthor
o Learning miniKanren (The Reasoned Schemer)Paul Tarvydas

1
Learning miniKanren (The Reasoned Schemer)

<603fcb48-6d65-4699-97e5-b73c6d704e5cn@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=17314&group=comp.lang.lisp#17314

  copy link   Newsgroups: comp.lang.lisp
X-Received: by 2002:a0c:a9d9:0:b0:56e:d94d:5df0 with SMTP id c25-20020a0ca9d9000000b0056ed94d5df0mr467022qvb.75.1676805553878;
Sun, 19 Feb 2023 03:19:13 -0800 (PST)
X-Received: by 2002:a81:6d58:0:b0:52e:fb9a:8b1d with SMTP id
i85-20020a816d58000000b0052efb9a8b1dmr1711776ywc.239.1676805553565; Sun, 19
Feb 2023 03:19:13 -0800 (PST)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.lisp
Date: Sun, 19 Feb 2023 03:19:13 -0800 (PST)
Injection-Info: google-groups.googlegroups.com; posting-host=142.198.48.184; posting-account=dBnF6goAAABpn0t3qXX1I6B9y5qr2pj-
NNTP-Posting-Host: 142.198.48.184
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <603fcb48-6d65-4699-97e5-b73c6d704e5cn@googlegroups.com>
Subject: Learning miniKanren (The Reasoned Schemer)
From: paultarvydas@gmail.com (Paul Tarvydas)
Injection-Date: Sun, 19 Feb 2023 11:19:13 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 1640
 by: Paul Tarvydas - Sun, 19 Feb 2023 11:19 UTC

The Computer Science Cabal reading group will begin reading through "The Reasoned Schemer".

Essentially, this book teaches Declarative Programming in the form of Relational Programming, using miniKanren.

Relational Programming is very much different from the usual forms of programming, and, IMO, worth knowing in order to expand your horizons.

The group meets once a week on Zoom and chit-chats on Slack in the interim.

The next Zoom meeting is on Thursday Feb. 23, 7pm EST. Contact me for an invite.

[I’ve also posted this on HN…]

pt

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor