Alissa Pajer introduces the basics of category theory with examples of categories, functors, and natural transformations, helping to recognize category-theoretical patterns in programming projects.
Joseph Wilk addresses the questions if machines can be creative and what's the place of artists in such a world?
Craig Muth demoes using a simple text syntax to create tool interfaces for git, MySQL, MongoDB, Rails, Node.js, etc. with Xiki.
Chiu-Ki Chan provides advice on dealing with Android fragmentation by using web development concepts and differentiated resource folders.
Chris Martens discusses how linear logic programming, via the logical framework and experimental programming language Celf, can be used to capture idioms related to state change and resource usage in a totally declarative fashion. Some possible example applications to be covered: state machines, narrative situations, interactive applications.
Zach Allaun shows how to build a functional and persistent vector, hash map, and set on top of the same data structure, and how to optimize the code for performance.
Brandon Benvie introduces Continuum, what it does, how it works, and why it's useful. Continuum maintains compatibility with all popularly used JS engines in use today (IE8, modern browsers, Node.js).
Walter Wilson introduces Axiomatic, a minimal pure-specification logic language with meta-language capability based on the idea that the external behavior of a program can be defined by an infinite set of symbolic expressions that enumerate all possible inputs, or sequences of inputs, along with the corresponding outputs. The language is just a formal system for defining these symbolic expressions
Tom Murphy explores the automation of Nintendo Entertainment System game playing, using the mathematically elegant and amusingly simple techniques of lexicographic ordering and time travel.
Heather Miller presents attempts at better supporting distributed programming in Scala, including a new fast pickling framework designed for Scala, as well as Spores - composable pieces of mobile functional behaviour.
Chad DePue presents the process of building Edis, a Redis clone written in Erlang, allowing pluggable backends and implementing the Paxos algorithm.
Catherine Havasi, Rob Speer discuss and exemplify how to quantify Natural Language Processing with concept-based text understanding, modelling what people think about our world.