InfoQ Homepage Strange Loop 2013 Content on InfoQ
-
How Developers Can Treat Ovarian Cancer
Mridula Jayaraman shares from her experience developing a next generation sequencing solution used to customize cancer treatment based on patient's genetic makeup.
/presentations/ovarian-cancer/en/mediumimage/Mribig.jpg)
-
Dart for the Language Enthusiast
Bob Nystrom attempts to demonstrate that Dart is not boring, covering laziness, higher-order functions, asynchronicity, abstractions and others.
/presentations/dart-introduction/en/mediumimage/Bobbig.jpg)
-
Category Theory: An Abstraction for Anything
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.
/presentations/category-theory/en/mediumimage/Alibig.jpg)
-
Creative Machines
Joseph Wilk addresses the questions if machines can be creative and what's the place of artists in such a world?
/presentations/ai-machine-creativity/en/mediumimage/Jobig.jpg)
-
Xiki: GUI and Text Interfaces are Converging
Craig Muth demoes using a simple text syntax to create tool interfaces for git, MySQL, MongoDB, Rails, Node.js, etc. with Xiki.
/presentations/xiki/en/mediumimage/Craigbig.jpg)
-
Bust the Android Fragmentation Myth
Chiu-Ki Chan provides advice on dealing with Android fragmentation by using web development concepts and differentiated resource folders.
/presentations/android-fragmentation-myth/en/mediumimage/Chanbig.jpg)
-
Linear Logic Programming
Chris Martens discusses how linear logic programming can be used to capture idioms related to state change and resource usage in a totally declarative fashion using the programming language Celf.
/presentations/linear-logic-programming/en/mediumimage/Chrisbig.jpg)
-
Functional Vectors, Maps, and Sets in Julia
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.
/presentations/julia-vectors-maps-sets/en/mediumimage/Zachbig.jpg)
-
Continuum: A JS (ES6) VM Written in JS (ES3)
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).
/presentations/continuum-js-vm/en/mediumimage/Brandonbig.jpg)
-
Axiomatic Language
Axiomatic language is 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, along with the outputs.
/presentations/axiomatic-language/en/mediumimage/Walbig.jpg)
-
Learnfun and Playfun: A Nintendo Automation System
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.
/presentations/nintendo-automation/en/mediumimage/Tombig.jpg)
-
Pickles & Spores: Improving Distributed Prog. in Scala
Heather Miller presents attempts at better supporting distributed programming in Scala, including a new fast pickling framework, as well as Spores - composable pieces of mobile functional behaviour.
/presentations/scala-pickles-spores/en/mediumimage/Hebig.jpg)