BAM Weblog

Higher Kinded Parametricity

Brian McKenna — 2018-12-24
Comments —

Polymorphic Programming

Brian McKenna — 2018-01-07
Comments —

Constraints are for methods, not data

Brian McKenna — 2017-11-22
Comments —

10x Engineers were the Silver Bullet

Brian McKenna — 2017-11-21
Comments —

Tool Subsumption and Silver Bullets

Brian McKenna — 2017-10-09
Comments —

Haskell on Android using Eta

Brian McKenna — 2017-05-23
Comments —

Running Unpatched Binaries on NixOS

Brian McKenna — 2017-03-22
Comments —

How to stop functional programming

Brian McKenna — 2016-02-23
Comments —

Don't write code on line #45

Brian McKenna — 2016-02-22
Comments —

QuickChecking non-Haskell Code

Brian McKenna — 2015-03-10
Comments —

This Blog Uses Idris

Brian McKenna — 2015-02-12
Comments —

EvenOdd in Agda, Idris, Haskell, Scala

Brian McKenna — 2014-01-23
Comments —

Idris as a Library

Brian McKenna — 2013-12-22
Comments —

Scala Code Linting via WartRemover 0.4

Brian McKenna — 2013-09-16
Comments —

Odd Odd Even Agda Proof, Take (suc (suc zero))

Brian McKenna — 2013-08-03
Comments —

Bottom-up Type Annotation with the Cofree Comonad

Brian McKenna — 2013-07-06
Comments —

Row Polymorphism Isn't Subtyping

Brian McKenna — 2013-05-05
Comments —

Read-only Guest tmux Sessions

Brian McKenna — 2013-04-29
Comments —

Category Theory for Promises/A+

Brian McKenna — 2013-04-09
Comments —

Applicative Validation in JavaScript

Brian McKenna — 2013-03-27
Comments —

Haskell Buildpack for Heroku

Brian McKenna — 2012-11-07
Comments —

bilby.js - QuickCheck

Brian McKenna — 2012-09-16
Comments —

Introducing bilby.js

Brian McKenna — 2012-09-09
Comments —

Roy - Constraint Typing

Brian McKenna — 2012-09-02
Comments —

GLL Combinators - Whitespace Fix

Brian McKenna — 2012-08-26
Comments —

Dripper git support

Brian McKenna — 2012-08-19
Comments —

ScalaSyd - Monad Transformers

Brian McKenna — 2012-08-12
Comments —

OSXMonad using StackSet

Brian McKenna — 2012-08-05
Comments —

OSXMonad as an XMonad library

Brian McKenna — 2012-07-29
Comments —

OS X Tiling Window Manager

Brian McKenna — 2012-07-22
Comments —

JavaScript ad hoc single dispatch library

Brian McKenna — 2012-07-15
Comments —

SpainJS

Brian McKenna — 2012-07-08
Comments —

CraftyJS running character demo

Brian McKenna — 2012-07-01
Comments —

Foldable1/Traverse1 for scalaz

Brian McKenna — 2012-06-24
Comments —

Using ScalaCheck with Akka and Specs2

Brian McKenna — 2012-06-17
Comments —

Roy - IEEE Article

Brian McKenna — 2012-06-10
Comments —

GovHack 2012

Brian McKenna — 2012-06-03
Comments —

Naggly

Brian McKenna — 2012-05-27
Comments —

Haskell on Heroku

Brian McKenna — 2012-05-20
Comments —

Roy - Jasmine tests

Brian McKenna — 2012-05-13
Comments —

Roy - Type-class function constraints

Brian McKenna — 2012-05-06
Comments —

Roy - Initial Source Maps

Brian McKenna — 2012-04-29
Comments —

Roy - Type-classes and how they fix primitives

Brian McKenna — 2012-04-22
Comments —

Roy - Highlighting on Website

Brian McKenna — 2012-04-15
Comments —

Roy - CLI Compile Browser Modules

Brian McKenna — 2012-03-25
Comments —

Roy - Modules in master

Brian McKenna — 2012-03-18
Comments —

Roy - Breaking Changes

Brian McKenna — 2012-03-11
Comments —

Ray - Roy on Play

Brian McKenna — 2012-03-04
Comments —

Diabetes Fundraiser Poster

Brian McKenna — 2012-02-26
Comments —

Roy - fp-syd

Brian McKenna — 2012-02-19
Comments —

Roy - REPL Improvements

Brian McKenna — 2012-02-12
Comments —

Roy - DOM Tests

Brian McKenna — 2012-02-05
Comments —

Roy - Browser Modules

Brian McKenna — 2012-01-29
Comments —

Roy - node.js Modules

Brian McKenna — 2012-01-22
Comments —

Roy - Type System Documentation

Brian McKenna — 2012-01-15
Comments —

Type Errors as Warnings

Brian McKenna — 2012-01-11
Comments —

Roy - Documentation

Brian McKenna — 2012-01-08
Comments —

Roy - Literate Roy

Brian McKenna — 2012-01-01
Comments —

Rome - Roy as Chrome Extension

Brian McKenna — 2011-12-25
Comments —

Roy - Separate Compilation

Brian McKenna — 2011-12-18
Comments —

Roy - Pretty Printing

Brian McKenna — 2011-12-11
Comments —

Roy - Recursive Data

Brian McKenna — 2011-12-04
Comments —

Roy's Big Week

Brian McKenna — 2011-11-27
Comments —

SydJS Presentation on altJS

Brian McKenna — 2011-11-20
Comments —

BigText Slideshow

Brian McKenna — 2011-11-13
Comments —

S-expression Compiler in Scala

Brian McKenna — 2011-11-06
Comments —

Launch48 Sydney

Brian McKenna — 2011-10-30
Comments —

Roy - Type Aliases

Brian McKenna — 2011-10-23
Comments —

Roy - Tuples

Brian McKenna — 2011-10-16
Comments —

Roy - Deep Pattern Matching

Brian McKenna — 2011-10-09
Comments —

Roy Improvements

Brian McKenna — 2011-10-02
Comments —

Time Lapse

Brian McKenna — 2011-09-25
Comments —

PyWeek #13

Brian McKenna — 2011-09-18
Comments —

JReversePro

Brian McKenna — 2011-09-11
Comments —

Cloud9 User Script

Brian McKenna — 2011-09-04
Comments —

PyWeek - 8 pixels and Python reloading

Brian McKenna — 2011-08-28
Comments —

Odd Odd Even Agda Proof

Brian McKenna — 2011-08-21
Comments —

GDD HTML5 Challenge

Brian McKenna — 2011-08-14
Comments —

Ringneck - PASM to JS

Brian McKenna — 2011-08-07
Comments —

Climacs

Brian McKenna — 2011-07-31
Comments —

Escaping Callback Hell with ClojureScript macros

Brian McKenna — 2011-07-24
Comments —

Roy - Tests (finally)

Brian McKenna — 2011-07-17
Comments —

Learn Nintendo DS a Haskell

Brian McKenna — 2011-07-10
Comments —

Roy - Meta-programming and a REPL

Brian McKenna — 2011-07-03
Comments —

Roy - Standard Library

Brian McKenna — 2011-06-26
Comments —

Roy - Monad Syntax

Brian McKenna — 2011-06-19
Comments —

Roy - Structural Typing

Brian McKenna — 2011-06-12
Comments —

Roy - Simple Pattern Matching

Brian McKenna — 2011-06-05
Comments —

Roy

Brian McKenna — 2011-05-29
Comments —

Simple Lexer in JavaScript

Brian McKenna — 2011-05-22
Comments —

Type Inference in JavaScript

Brian McKenna — 2011-05-15
Comments —

Minimalist Android Scala Environment

Brian McKenna — 2010-12-28
Comments —

Haskell: From a Parallel Perspective

Brian McKenna — 2010-10-13
Comments —

When I was 3...

Brian McKenna — 2010-09-06
Comments —

Wanted: Unparallel project in need of good optimisation

Brian McKenna — 2010-07-29
Comments —

node.js WebGL

Brian McKenna — 2010-06-09
Comments —

GSoC Introduction

Brian McKenna — 2010-05-19
Comments —

PyWeek 2010

Brian McKenna — 2010-04-29
Comments —

JavaScript as a Functional Language

Brian McKenna — 2010-04-28
Comments —

node.js via CGI

Brian McKenna — 2010-04-27
Comments —

I am Brian McKenna, a software engineer at Atlassian.

My interests cross:

  • Programming languages
  • Functional programming
  • Type theory
  • Logic
  • Web applications

You can find me on Twitter.