Will there be a hangout today? On Monday, March 27, 2017 at 3:19:46 PM UTC-4, William Byrd wrote: > > Hi everyone! > > I'm very sorry that Google Hangouts only supports 10 people. I'm > looking into getting the enhanced version of hangouts, which supports > up to 25 people. Hangouts is convenient since (1) I know the > technology well, and it is relatively reliable and (2) the videos > automatically get converted to YouTube videos, which is a tremendous > time saver. > > The first two hangouts are online: > > > -------- > miniKanren Intro Series #1 > Basic Scheme, lists and pairs, conditional expressions, definitions, > recursion, how to think recursively. > > https://www.youtube.com/watch?v=a5p8DPbaokE > ---------- > > ---------- > miniKanren Advanced Series #1 > Quick Barliman overview, implementation of faster-miniKanren > (https://github.com/michaelballantyne/faster-miniKanren), and more! > > https://www.youtube.com/watch?v=QZaTB92NKHM > ---------- > > Cheers, > > --Will > > > On Mon, Mar 27, 2017 at 12:56 PM, Boaz Rosenan <[email protected] > <javascript:>> wrote: > > Was the session recorded? Are you going to post it? > > > > Boaz > > > > > > On Tuesday, March 21, 2017 at 6:22:05 PM UTC+2, William Byrd 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 > > "Barliman Editor" group. > > To unsubscribe from this group and stop receiving emails from it, send > an > > email to [email protected] <javascript:>. > > To post to this group, send email to [email protected] > <javascript:>. > > To view this discussion on the web visit > > > https://groups.google.com/d/msgid/barliman-editor/6c603687-0aa1-427a-a5e0-ef5ecbe0241b%40googlegroups.com. > > > > > > For more options, visit https://groups.google.com/d/optout. >
-- 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.
