Home

TitleDate
Writing a Search DSL, Part 1January 27, 2016
Terms and Boundaries for my WorksOctober 17, 2015
Notes on: Name and Marker Change in Austin, TXOctober 16, 2015
Queer Types: The BusinessOctober 16, 2015
GHC base Library Changes: 7.8 to 7.10October 4, 2015
Simply Typed Lambda Calculus in AgdaJune 22, 2015
Notes: A Taste of Linear LogicJune 19, 2015
Logic Proofs with Coq, Agda, and IdrisJune 17, 2015
Simple Proofs with Phantom EncodingFebruary 25, 2015
Presenting: GHC Language ExtensionsFebruary 25, 2015
Announcing: Applicative GamesFebruary 8, 2015
GHCi + Hoogle: A Guide and ThoughtsJanuary 1, 2015
On Beginner Languages, Choosing, and TribalismDecember 22, 2014
Social DebtDecember 21, 2014
Developing With Algebras: Edit DistanceNovember 27, 2014
The Importance of Gradual TypingNovember 18, 2014
Software Foundations in Idris; Chapter 1 - WeekdaysNovember 13, 2014
Talk - Introduction to Functional ProgrammingOctober 27, 2014
Functor, Foldable, and Traversable Over Binary TreeOctober 21, 2014
Briefly - Logics, FP, and SystemsOctober 19, 2014
Comparing Type Error Messages Across LanguagesOctober 5, 2014
Hi, Purescript! - Emacs for Purescript DevelopmentSeptember 17, 2014
Finding Issues in Scala With Wart RemoverSeptember 15, 2014
Reading - Software FoundationsSeptember 4, 2014
Presenting: Comparing Haskell, Scala, and GoAugust 28, 2014
[Digest] Socio-PLT: Principles for Programming Language AdoptionAugust 27, 2014
Refactoring With Equational ReasoningAugust 12, 2014
Programming as Art: Locked OutAugust 12, 2014
OSCON 2014: SpeakingJuly 22, 2014
Homotopy, Sets, Logic, and TypesJuly 17, 2014
Notes on - Know Your Types: Michael BernsteinJuly 16, 2014
Briefly HaxlJune 11, 2014
Tinkering: Extensible EffectsMay 24, 2014
Simple HTTP in HaskellMay 8, 2014
Announce: A New Job (Haskell), Moving (Austin, TX)May 5, 2014
On New RelationshipsMay 3, 2014
Presenting: An Introduction to Haskell, Type Systems, and Functional ProgrammingApril 22, 2014
On Individual and Collective Reality, and ProgrammingApril 16, 2014
On Polyamory and RelationshipsApril 13, 2014
Learning Hakyll and Setting UpApril 8, 2014
Migrating to Static, Self-Hosted BlogMarch 31, 2014
On Being MeMarch 31, 2014
My OSCON 2014 Proposal: The Case for HaskellJanuary 30, 2014
OSCON 2014 Aspirations: The Case for HaskellJanuary 28, 2014
Removed the AdvertisingJanuary 13, 2014
To Be Honest...December 14, 2013
10 Ways to Incorporate Haskell into a Modern, Functional, CS CurriculumDecember 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 MediaAugust 21, 2013
Sarah Mei. The Insufficiency of Good Design. Ruby Conf 2012.July 22, 2013
"21st Century C" by Ben Klemens; O'Reilly MediaJuly 22, 2013
"Python Cookbook (2013)" by David Beazley, Brian K. Jones; O'Reilly MediaJune 14, 2013
A Dry Spell, Some New BooksMarch 14, 2013
Busy Times, Agile ReviewingFebruary 23, 2013
Updates and Upcoming ReviewsFebruary 15, 2013
"Beautiful Testing" by Adam Goucher, Tim Riley; O'Reilly MediaFebruary 9, 2013

Tags

abstraction (1), agda (2), agile (1), algebra (1), algorithm (1), blog (1), books (8), business (2), c (1), clojure (1), communication (1), community (1), coq (1), culture (1), dsl (1), education (1), emacs (1), fp (1), functional programming (1), game development (1), ghc (1), go (1), government (1), hakyll (2), haskell (28), homotopy (1), idris (2), intuitionism (1), lambda calculus (1), linear (1), logic (3), management (1), me (4), meta (3), network (1), notes (2), oscon (2), phantom types (1), polyamory (2), presentation (2), programming (2), programming as art (1), proof (1), proofs (1), purescript (1), python (1), queer (1), research (1), review (8), rust (1), scala (2), security (1), sf (1), social (3), software (1), software foundations (1), systems (1), talk (1), terms (1), testing (1), tests (1), thoughtstreams (1), transgender (1), type theory (1), types (13), ux (1), zeromq (1)