Bodil Stokke on µKanren: A Minimal Functional Core for Relational Programming

Sam Tobin-Hochstadt on Composable and Compilable Macros

February Meetups

We have another great line-up of meet-ups scheduled for February across a number of our chapters:

Dallas 2/2: Rendering Synthetic Objects into Real Scenes, Paul Debevec, pres. Adam Hill

Toronto 2/4: Chris Saunders on Teaching Garbage Collectors

New York 2/5: Sam Tobin-Hochstadt on Composable and Compilable Macros

Hyderabad 2/14: A Theoretician's­ Guide to the Experimental Analysis of Algorithms

St. Louis 2/16: On Certain Formal Properties of Grammars (Chomsky)

Montreal 2/18: Guy Dumais on "Learning to Rank with Multi-Aspect Relevance for Vertical Search"

San Francisco 2/19: Caitie McCaffrey on Orleans: A Framework for Cloud Computing

Vienna 2/23: Dynamo: Amazon’s Highly Available Key-value Store

New York 2/23: Andrew Turley on Incremental Mature Garbage Collection Using the Train Algorithm

Los Angeles 2/25: Sam L'ecuyer on The Join Calculus: a Language for Distributed Mobile Programming

January Meetups

We have another great line-up of meet-ups scheduled for January across a number of our chapters:

Dallas 1/5: Jane Prusakova: 16 Ways to Stack a Cat, by Bjarne Stroustrup

Toronto 1/7: Dann Toliver on Fast Functional Lists

Hyderabad 1/11: A Note on Distributed Computing

Montreal 1/21: Christian Lavoie on Paxos Made Moderately Complex

San Francisco 1/22: Alex Rasmussen on Flat Datacenter Storage

Vienna 1/28: Being Classless

Bangalore 1/31: Ashok Gautham on Data Structures for Text Sequences

December Meetups

We have another great line-up of meet-ups scheduled for December across a number of our chapters:

Dallas 12/1: Time, Clocks, and the Ordering of Events in a Distributed System

Toronto 12/3: James MacAulay on Elm: Concurrent FRP for Functional GUIs

Bangalore 12/6: Vaidhy/Anita on Paxos Made Simple

Berlin 12/9: Erik Michaels-Ober on Soft Typing

Singapore 12/9: Papers We Love SG #005

Vienna 12/10: First (Paper) Love

Bangalore 12/13: Functional Geometry

New York 12/16: Jeff Larson - On the resemblance and containment of documents

San Francisco 12/17: Peter Bailis on Managing Update Conflicts in Bayou