archive

Title
Date
Not Freedom
April 2, 2020
A Typed Socket API
December 2, 2017
Applicatives and Alternatives
April 21, 2017
Reading Types (in progress!!)
April 21, 2017
Smaller Types, Happier Programs
January 6, 2017
Writing a Search DSL, Part 1
January 27, 2016
Terms and Boundaries for my Works
October 17, 2015
Notes on - Name and Marker Change in Austin, TX
October 16, 2015
Queer Types - The Business
October 16, 2015
GHC base Library Changes - 7.8 to 7.10
October 4, 2015
Simply Typed Lambda Calculus in Agda
June 22, 2015
Notes - A Taste of Linear Logic
June 19, 2015
Logic Proofs with Coq, Agda, and Idris
June 17, 2015
Simple Proofs with Phantom Encoding
February 25, 2015
Presenting - GHC Language Extensions
February 25, 2015
Announcing - Applicative Games
February 8, 2015
GHCi + Hoogle - A Guide and Thoughts
January 1, 2015
On Beginner Languages, Choosing, and Tribalism
December 22, 2014
Social Debt
December 21, 2014
Developing With Algebras - Edit Distance
November 27, 2014
The Importance of Gradual Typing
November 18, 2014
Software Foundations in Idris; Chapter 1 - Weekdays
November 13, 2014
Talk - Introduction to Functional Programming
October 27, 2014
Functor, Foldable, and Traversable Over Binary Tree
October 21, 2014
Briefly - Logics, FP, and Systems
October 19, 2014
Comparing Type Error Messages Across Languages
October 5, 2014
Hi, Purescript! - Emacs for Purescript Development
September 17, 2014
Finding Issues in Scala With Wart Remover
September 15, 2014
Reading - Software Foundations
September 4, 2014
Presenting - Comparing Haskell, Scala, and Go
August 28, 2014
Digest - Socio-PLT - Principles for Programming Language Adoption
August 27, 2014
Refactoring With Equational Reasoning
August 12, 2014
Programming as Art - Locked Out
August 12, 2014
OSCON 2014 - Speaking
July 22, 2014
Homotopy, Sets, Logic, and Types
July 17, 2014
Notes on - Know Your Types - Michael Bernstein
July 16, 2014
Briefly Haxl
June 11, 2014
Tinkering - Extensible Effects
May 24, 2014
Simple HTTP in Haskell
May 8, 2014
Announce - A New Job (Haskell), Moving (Austin, TX)
May 5, 2014
On New Relationships
May 3, 2014
Presenting - An Introduction to Haskell, Type Systems, and Functional Programming
April 22, 2014
On Individual and Collective Reality, and Programming
April 16, 2014
On Polyamory and Relationships
April 13, 2014
Learning Hakyll and Setting Up
April 8, 2014
Migrating to Static, Self-Hosted Blog
March 31, 2014
On Being Me
March 31, 2014
My OSCON 2014 Proposal - The Case for Haskell
January 30, 2014
OSCON 2014 Aspirations - The Case for Haskell
January 28, 2014
Removed the Advertising
January 13, 2014
To Be Honest...
December 14, 2013
10 Ways to Incorporate Haskell into a Modern, Functional, CS Curriculum
December 14, 2013
Parallel and Concurrent Programming in Haskell by Simon Marlow; O'Reilly Media;
December 12, 2013
ZeroMQ - Messaging for Many Application by Peter Hintjens; O'Reilly Media
August 21, 2013
Sarah Mei. The Insufficiency of Good Design. Ruby Conf 2012.
July 22, 2013
21st Century C by Ben Klemens; O'Reilly Media
July 22, 2013
Python Cookbook (2013) by David Beazley, Brian K. Jones; O'Reilly Media
June 14, 2013
A Dry Spell, Some New Books
March 14, 2013
Busy Times, Agile Reviewing
February 23, 2013
Updates and Upcoming Reviews
February 15, 2013
Beautiful Testing by Adam Goucher, Tim Riley; O'Reilly Media
February 9, 2013
Archive