Yes! https://hangouts.google.com/hangouts/_/rdeeqjtz35avzn7wxyibn4nyi4e
On Sun, Apr 2, 2017 at 1:04 PM, rose <[email protected]> wrote: > Is the advanced group meeting again today? > > On Saturday, April 1, 2017 at 3:06:13 PM UTC-4, William Byrd wrote: >> >> Yes! Starting now: >> >> https://hangouts.google.com/hangouts/_/ayt7tqkx6re2pdcfpwa2z3kvr4e >> >> On Sat, Apr 1, 2017 at 1:04 PM, danielle kefford >> <[email protected]> wrote: >> > 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]> >> >> 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]. >> >> > To post to this group, send email to [email protected]. >> >> > 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. > > -- > 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]. > To post to this group, send email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/barliman-editor/956fbe9d-9a05-4dd5-b2ab-145602b97005%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.
