Guilds
Events
Presentations
CS Cabal
23 members

Come make computers do weird things with us!

We read papers and books on computers and their sciences, and meet for talks and discussion on interesting topics in CS, math, philosophy, and uncivil engineering. (But mostly CS!)

Join
Past Events
November 15th at 12AM
Lessons from The Reasoned Schemer Study Group

(Placeholder)

IN PERSON EVENT. Please RSVP so we can plan accordingly.

Talk:

John Krasnay will be sharing his lessons learnt from The Reasoned Schemer (https://mitpress.mit.edu/9780262535519/the-reasoned-schemer/)

It'll be a great introduction to Logic Programming and you can probably find a library in the programming language of your choice! Check out http://minikanren.org/

Agenda:

  • 7 to 7:30: Entry and Mingling

  • 7:30 to 8:30: Talk by John

  • 8:30 to 9:00: Mingling and Exit

Thanks to Ronny and OneEleven for hosting!

15 Attended
October 5th at 11PM
The Little Typer Reading Group v1.0.0

Long time type theorist, or just type curious? Come join us for our reading of The Little Typer!

We're just beginning this book, but we've built up a great rhythm over the previous three books in the series. No homework required, just show up and we'll read together, write code, and discuss some very interesting topics.

4 Attended
Guild
Got feedback or questions?
Contact Us:
hi@guild.host