Next meeting: mob programming logic puzzles in miniKanren

[Simon Coffey]

Hi all,

The doodle has spoken, and we're meeting on Wednesday 5th September at 6.30pm (NB: not Tuesday) to mob a solution to one or more logic puzzles of our choosing using miniKanren (in its clojure core.logic guise).

The meeting will be at Unboxed's offices near Liverpool Street - if you're planning to attend please sign up at the link below:

https://attending.io/events/computation-club-seven-more-languages-in-seven-weeks-minikanren-mobbing-a-thing

It's an off-book meeting, so more so than ever: if you've not read the book, please don't worry, and come along if you're interested.

Cheers,

Simon

[Paul Mucur]

Good afternoon all,

A reminder that we're meeting _tomorrow_ night (not tonight!) at Unboxed's office to mob program/throw parentheses at logic problems together to get to grips with core.logic's implementation of miniKanren.

Don't be discouraged if you didn't make it to the last meeting (or any at all for that matter) as all are welcome and, as a practical meeting, this might be a fun point to jump in.

There are more details and you can sign up at the following link: https://attending.io/events/computation-club-seven-more-languages-in-seven-weeks-minikanren-mobbing-a-thing

I look forward to seeing you all there,

-- Paul

--
You received this message because you are subscribed to the Google Groups "London Computation Club" group.
To unsubscribe from this group and stop receiving emails from it, send an email to london-computation-club+unsub...@googlegroups.com.
To post to this group, send email to london-computation-club@googlegroups.com.
To view this discussion on the web, visit https://groups.google.com/d/msgid/london-computation-club/CAAK-%3DxhOKDEX7-3WdUV_6NYd6VOxZQawu%2BgbR1fjJ3yk%2BBQhTw%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

[Chris Patuzzo]

If you have five minutes spare, here's a TED-Ed video about the puzzle: https://www.youtube.com/watch?v=1rDVz_Fb6HQ

... and here's a logic oriented post about it: https://web.stanford.edu/~laurik/fsmbook/examples/Einstein%27sPuzzle.html

See you tomorrow!

On 4 September 2018 at 15:11, Paul Mucur <mu...@mudge.name> wrote:

Good afternoon all,

A reminder that we're meeting _tomorrow_ night (not tonight!) at Unboxed's office to mob program/throw parentheses at logic problems together to get to grips with core.logic's implementation of miniKanren.

Don't be discouraged if you didn't make it to the last meeting (or any at all for that matter) as all are welcome and, as a practical meeting, this might be a fun point to jump in.

There are more details and you can sign up at the following link: https://attending.io/events/computation-club-seven-more-languages-in-seven-weeks-minikanren-mobbing-a-thing

I look forward to seeing you all there,

-- Paul

On Sun, Aug 26, 2018 at 8:19 PM, Simon Coffey <si...@urbanautomaton.com> wrote:

Hi all,

The doodle has spoken, and we're meeting on Wednesday 5th September at 6.30pm (NB: not Tuesday) to mob a solution to one or more logic puzzles of our choosing using miniKanren (in its clojure core.logic guise).

The meeting will be at Unboxed's offices near Liverpool Street - if you're planning to attend please sign up at the link below:

https://attending.io/events/computation-club-seven-more-languages-in-seven-weeks-minikanren-mobbing-a-thing

It's an off-book meeting, so more so than ever: if you've not read the book, please don't worry, and come along if you're interested.

Cheers,

Simon

--
You received this message because you are subscribed to the Google Groups "London Computation Club" group.

To unsubscribe from this group and stop receiving emails from it, send an email to london-computation-club+unsubscr...@googlegroups.com.

To post to this group, send email to london-computation-club@googlegroups.com.
To view this discussion on the web, visit https://groups.google.com/d/msgid/london-computation-club/CAAK-%3DxhOKDEX7-3WdUV_6NYd6VOxZQawu%2BgbR1fjJ3yk%2BBQhTw%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups "London Computation Club" group.
To unsubscribe from this group and stop receiving emails from it, send an email to london-computation-club+unsub...@googlegroups.com.
To post to this group, send email to london-computation-club@googlegroups.com.

To view this discussion on the web, visit https://groups.google.com/d/msgid/london-computation-club/CA%2B%3DM%3DvmPqZ7GhW3cQVABwXOrP36qPcLfs9yMhX_a34tqD-ZtAg%40mail.gmail.com.

[Paul Mucur]

Good morning all,

Thanks to all who attended last night during our Minikanren mobbing adventures. If you couldn't make it, you can find details of our parentheses-wrangling in our latest write-up on the wiki: https://github.com/computationclub/computationclub.github.io/wiki/7ML7W-Minikanren-Einsteins-Puzzle

Kind regards,

-- Paul