Technical & Business Writing

From 2013-2017 I published a number of technical and business related articles here on my blog. They are the most trafficked and referenced pages here by far. After starting a consultancy in 2016, I started publishing writing of this sort there, on the Reify blog.

• 2017.02.02
  The impossible fragility of Dockerfiles
• 2016.11.29
  A Framework for SaaS Pricing
• 2016.11.24
  A quick note on starting a business with someone else
• 2016.11.08
  Five qualities of great marketing
• 2016.11.02
  The hidden secret of the CAC ratio
• 2016.11.02
  Yes, your team should be blogging
• 2016.10.20
  The most important question to ask about your SaaS business
• 2016.10.18
  How to Sell SaaS
• 2016.10.09
  Five failure modes for technical founders
• 2016.01.29
  The Power of the Material, or: Make something and keep it on your desk
• 2016.01.15
  I'd like to introduce you to a few of my closest friends - CUSEC 2016 Keynote
• 2015.09.13
  What I Am About
• 2015.09.03
  Propositions As Types: Papers We Love 2015
• 2015.09.03
  Live Every Time
• 2015.08.12
  Meeting J-Bob: Notes on 'The Little Prover' Chapters 1-5
• 2015.05.13
  Two Programmers
• 2015.04.15
  Don't Bet Against Yourself
• 2015.03.06
  The False Economy Of Metaprogramming
• 2015.03.03
  Yeah, but what are you gonna make?
• 2015.02.26
  Programs That Eat Programs: Software GR 2/2015
• 2015.01.31
  A Metaphor For Abstract Interpretation
• 2015.01.29
  Learning Math: A Blank Is A Blank With A Blank
• 2015.01.02
  The Man Who Lived 300 Years
• 2014.12.15
  'Power' Mix: December 2014
• 2014.12.11
  You Are Learning Haskell Right Now (Or Anything You Want Really)
• 2014.10.30
  Two Things Types Have Taught Me
• 2014.10.21
  Should I Read Papers?
• 2014.09.10
  Where Does Scope Come From?
• 2014.08.11
  Programming, Math, and Hot Dogs
• 2014.06.23
  Know Your Types: GoRuCo 2014
• 2014.06.17
  I'll never stop calling it 'The City'
• 2014.06.10
  Types Are The Truth
• 2014.06.01
  The Art of Obsession: !!Con 2014
• 2014.04.16
  Lisp is Abstract Syntax
• 2014.04.11
  Read Code Every Day
• 2014.04.07
  Modeling and Pestering
• 2014.04.02
  The Well-Rounded Technologist
• 2014.03.25
  On Programming and Cooking
• 2014.03.10
  Sales For Engineers, 1-50
• 2014.03.02
  The Promise of Relational Programming
• 2014.02.28
  Translating a Typechecker from 'Math' to OCaml
• 2014.02.24
  Papers We Love: A Unified Theory of Garbage Collection
• 2014.02.17
  What is a Type System for?
• 2014.01.01
  A Taste of Logic Programming In Ruby
• 2013.12.31
  A Certain Kind of Book and a Thank You
• 2013.12.10
  Why We Need Explicit State
• 2013.11.24
  Knots and a Mathematical Notion of Equivalence
• 2013.11.22
  Distributed Systems Archaeology: Ricon West, 2013.10.30
• 2013.11.21
  Distributed Systems Archaeology, Part Three
• 2013.11.20
  Distributed Systems Archaeology, Part Two
• 2013.11.19
  Distributed Systems Archaeology, Part One
• 2013.11.13
  The Only Sure Thing in Computer Science
• 2013.11.06
  Distributed Systems Archaeology: Works Cited
• 2013.10.16
  The Unexpected Outcomes Of Code Review
• 2013.09.23
  Formalizing Concurrency, Distribution, and Mobility
• 2013.09.11
  Message-Passing and Concurrent Program Design
• 2013.07.09
  What It Really Means To Be Lazy
• 2013.07.01
  Concurrency Made Simple
• 2013.06.20
  What Is Declarative Programming?
• 2013.06.17
  Declarative Computation, Syntactic Sugar, and the Abstract Machine
• 2013.06.12
  Matter, Anti-Matter, and the Unified Theory of Garbage Collection
• 2013.06.10
  To Know A Garbage Collector: GoRuCo 2013
• 2013.06.03
  Real-Time Garbage Collection Is Real
• 2013.05.28
  A Generation Ago, A Thoroughly Modern Sampling
• 2013.05.20
  Adventures in Garbage Collection Pedagogy and an Introduction to Racket
• 2013.05.12
  A Nice Feature in core.logic and Thoughts About A Data Structure
• 2013.03.13
  A List of Lists: NYC.rb 2013.03.12
• 2013.02.23
  Learning How To Learn Programming
• 2013.02.19
  The Beginning of a Long Journey: Notes on CTM Chapter 01