My name is Rúnar Óli. I’m a software engineer in Austin, Texas. I post here periodically about topics that interest me, including functional programming, relational database theory, and generally applying a rational philosophy to practical problems in the development of software.

Discussion is invited in comments, but please be polite. You may contact me at gmail.com, where my user name is apocalispnow.

“The required techniques of effective reasoning are pretty formal, but as long as programming is done by people that don’t master them, the software crisis will remain with us and will be considered an incurable disease. And you know what incurable diseases do: they invite the quacks and charlatans in, who in this case take the form of Software Engineering gurus.” — Edsger Dijkstra

“Human knowledge, at every level, is relational.” — Leonard Peikoff