Evolving the Industry • Nov 11, 2012 Unifying Programming and Math – The Dependent Type Revolution A programmer's introduction to Martin-Löf Type Theory, a recent theory that elegantly unifies programming and math.
Business Practices • Nov 09, 2012 Self-Managed Teams Are Effective Teams Self-managed teams can communicate faster and better, build more trust with clients, avoid conflict, and make better decisions.
Ruby Motion • Nov 08, 2012 Using Nimbus with UITableViews in RubyMotion: An Example Sometimes an example is the best documentation. This is an example of how to use Nimbus to help manage a UITableView and its cells.
UX/Design Practices • Nov 08, 2012 What Are the Categories of Design? A brief review of the categories of design, courtesy of Bettina von Stamm's book "Managing Innovation, Design, and Creativity."
Extracurricular Activities • Nov 07, 2012 openBMS: Electric Vehicle Battery Management openBMS has the potential to be expanded into part of a fully-integrated electric vehicle, communicating with other devices such as chargers and LCD displays.
Platforms & Languages • Nov 06, 2012 Beware the Elvis Operator in Groovy With Groovy's definition of truth, the elvis operator can lead to confusing results. Make sure that it's actually going to do what you want.
Ruby • Nov 06, 2012 Is Your Application Running with Ruby – Slow? Ruby may not be compiled for optimal performance with RVM. I benchmarked Ruby, and compiled Ruby with optimization flags to improve performance.
Developer Tools • Nov 05, 2012 Extending Sublime Text… Now for Vim Lovers Too! Sublime Text’s Vim mode provides good coverage of the basic Vi Command Mode, but it retains the full capabilities of Sublime while in Insert Mode.
UX/Design Practices • Nov 04, 2012 Where Is the Offline View Pattern? Many mobile apps try to bridge a connected and offline experience. This inevitably leads devs to common practices when dealing with data and views.
Development Practices • Nov 02, 2012 A Case for Learning J Observations on dynamism, compositionality, regularity, and concision in J.
Embedded Systems • Nov 01, 2012 Hey, C Is a Functional Language Too! I will show how you can write a linked list reversal function in C with no mutation and no malloc!
Functional Programming • Oct 31, 2012 Elixir, Erlang, and the Dining Philosophers Solving a classic computer science problem using Elixir, a functional meta-programming aware language built on top of the Erlang VM.
