The first advanced miniKanren hangout is starting now: https://hangouts.google.com/hangouts/_/wiipt7orizb25dxznbantharkee
On Sat, Mar 25, 2017 at 12:59 PM, William Byrd <[email protected]> wrote: > Hi everyone! > > Here is the link to today's Intro to miniKanren hangout, starting now! > > https://hangouts.google.com/hangouts/_/tbweefcmb5fy5gdvabmsgm3xaee > > Cheers, > > --Will > > On Fri, Mar 24, 2017 at 8:10 PM, William Byrd <[email protected]> wrote: >> Just a reminder that the first beginning and advanced miniKanren >> hangouts will be held this weekend. I'll post the links to the >> mailing lists. >> >> See you soon! >> >> --Will >> >> On Tue, Mar 21, 2017 at 10:22 AM, William Byrd <[email protected]> wrote: >>> Hi everyone! >>> >>> We're going to be starting *two* miniKanren hangout series instead of >>> just one. The intent is to provide a way for those new to miniKanren, >>> or to functional programming, to learn the fundamentals, while also >>> providing a venue for advanced miniKanren exploration and hackery. >>> >>> The hangouts will be held every Saturday (beginning) and Sunday >>> (advanced), beginning this weekend. I'd like to record the hangouts >>> and put them on YouTube, as we have in the past. In the past we also >>> had an unrecorded beginning and ending segment of each hangout, for >>> anyone who would prefer to talk without being recorded. >>> >>> Here are details on the hangouts, which will start *this weekend*. >>> I'll send out a reminder before hand. >>> >>> ----- >>> Intro to Scheme/miniKanren/interpreters >>> Saturdays, 3pm Eastern time/noon Pacific time US/19:00 GMT >>> >>> This is the "intro" hangout, designed for people new to Scheme, >>> miniKanren, interpreters, etc. The idea is to introduce all the >>> fundamental concepts needed to understand relational interpreters, >>> relational type inferencers, and other advanced miniKanren programs. >>> >>> Topics will include: >>> >>> intro to Scheme >>> recursion >>> list processing >>> lexical scope, shadowing, environments >>> interpreters >>> continuations and continuation passing style >>> Scheme macros >>> intro to miniKanren >>> simple miniKanren relations >>> microKanren and miniKanren implementation >>> relational interpreters >>> relational type inferencers >>> ----- >>> >>> ----- >>> Advanced miniKanren/Barliman: >>> Sundays, 3pm Eastern time/noon Pacific time US/19:00 GMT >>> >>> This is the more advanced hangout series, for people familiar with >>> logic programming, functional programming, interpreters, etc., or who >>> want to know the details of how Barliman works, miniKanren >>> optimizations work, etc. >>> >>> The advanced hangouts will be much less strucutred, and will be driven >>> by whatever people want to talk about. >>> ----- -- You received this message because you are subscribed to the Google Groups "minikanren" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/minikanren. For more options, visit https://groups.google.com/d/optout.
