! Read Me First

Date	February 6, 2018
Tags	meta
Target Audience	Everyone

Interesting Research

Date	March 22, 2018
Tags	research
Target Audience	Computer science people.

Simplifying Execution Traces

Date	March 8, 2018
Tags	concurrency, dejafu, haskell, programming, research
Target Audience	People interested in the dejafu internals.
Epistemic Status	This is describing the current state of a wip branch, which may yet be changed.

Using Hedgehog to Test Déjà Fu

Date	February 11, 2018
Tags	concurrency, dejafu, haskell, hedgehog, programming, property-based testing
Target Audience	People interested in dejafu or in property-based testing.
Attention Conservation Notice	There is a fairly long preamble before I get to the Hedgehog stuff, which you can jump to directly if you don't really care about how the Déjà Fu side of this works.

Personal Finance

Date	January 7, 2018
Tags	finance, hledger, howto
Target Audience	Mostly me, & possibly personal finance nerds.
Epistemic Status	Documents my way of doing things, doesn't attempt to speak more generally than that.
Attention Conservation Notice	You may get something out of this if you're rethinking how you manage your finances.

I Need A Budget

Date	December 16, 2017
Tags	finance, hledger, howto
Target Audience	Personal finance nerds.
Epistemic Status	Reflection on how I've done things for the past year, with planning for the future.
Attention Conservation Notice	You may get something out of this if you're rethinking how you manage your finances.

Do Developers Update Their Library Dependencies?

Date	December 12, 2017
Tags	esec, fse, paper summary, research
Target Audience	Computer science people.

The Academic Mindset and Me

Date	December 6, 2017
Tags	life, research
Target Audience	Computer science postgrads who are a little fed up.
Epistemic Status	A rant.
Attention Conservation Notice	I was coming out of a bad place when I wrote this.

Why Do Developers Use Trivial Packages?

Date	December 4, 2017
Tags	esec, fse, paper summary, research
Target Audience	Computer science people.

How to Break an API

Date	November 30, 2017
Tags	esec, fse, paper summary, research
Target Audience	Computer science people.

100 Prisoners

Date	November 1, 2017
Tags	concurrency, dejafu, haskell, programming
Target Audience	Mostly me.
Attention Conservation Notice	There's a more polished version of this in my thesis, go read that instead.

Writing a Concurrency Testing Library (Part 2): Exceptions

Date	October 28, 2017
Tags	concurrency, dejafu, haskell, minifu, programming
Target Audience	Haskell programmers.
Epistemic Status	This is building up to a simplified form of dejafu, which is based on published research.
Attention Conservation Notice	Still no fancy testing.

Writing a Concurrency Testing Library (Part 1)

Date	October 14, 2017
Tags	concurrency, dejafu, haskell, minifu, programming
Target Audience	Haskell programmers.
Epistemic Status	This is building up to a simplified form of dejafu, which is based on published research.
Attention Conservation Notice	This is setting up the basic types and functions we'll need, no fancy testing in this post.

A Multithreaded Runtime for Deja Fu

Date	October 3, 2017
Tags	concurrency, dejafu, haskell, programming, research
Target Audience	People interested in the dejafu internals.
Epistemic Status	This isn't actually the implementation dejafu uses now, but it's close enough (and simple enough) to help understanding.

irc-client-1.0.0.0

Date	September 22, 2017
Tags	haskell, irc-client, programming, release notes
Target Audience	Haskell programmers.
Attention Conservation Notice	irc-client is a Haskell library for writing, you guessed it, IRC clients.

Magic Mechanics

Date	September 17, 2017
Tags	worldbuilding
Target Audience	Not you.

List of Granfalloons

Date	August 25, 2017
Tags	bokononism, life
Target Audience	Not you.

Improving Performance by Discarding Traces

Date	August 16, 2017
Tags	dejafu, haskell, programming, release notes
Target Audience	Haskell programmers.

Notes for Summer 2017

Date	June 30, 2017
Tags	life
Target Audience	Not you.

Property-testing Side Effects

Date	June 9, 2017
Tags	coco, dejafu, haskell, programming
Target Audience	Haskell programmers.
Attention Conservation Notice	dejafu-0.7.0.0 can check if a concurrent program is equivalent to or a refinement of another, using observational equivalence of side-effects.

\texttt{foo} vs \verb#foo#

Date	May 31, 2017
Tags	latex, writing
Target Audience	Not you.
Epistemic Status	Totally unsubstantiated opinions.

Visualise your finances with hledger, InfluxDB, and Grafana

Date	May 18, 2017
Tags	finance, hledger, howto
Target Audience	The intersection of Haskell programmers, personal finance nerds, and graph nerds.

Haskell Style Guide

Date	May 16, 2017
Tags	haskell, programming
Target Audience	Haskell programmers.
Epistemic Status	Totally unsubstantiated opinions.

Implementing Polymorphism

Date	May 9, 2017
Tags	coco, haskell, programming, research, type checking
Target Audience	Haskell programmers.
Epistemic Status	I wrote this memo to work out how to implement CoCo. So this all works and is, mostly, still implemented like this.

Blub Crisis

Date	April 17, 2017
Tags	programming
Target Audience	Not you

Shoan and the Garden Path

Date	April 15, 2017
Tags	koan
Target Audience	Not you.

Machines

Date	April 5, 2017
Tags	howto, possessions, tech
Target Audience	Not you.

Mixing and Matching Variables

Date	April 4, 2017
Tags	coco, haskell, programming, research
Target Audience	Haskell programmers.
Epistemic Status	I wrote this memo to work out how to implement CoCo. So this all works and is, mostly, still implemented like this.

M4 is Good

Date	March 31, 2017
Tags	m4, programing
Target Audience	Not you.
Epistemic Status	Totally unsubstantiated opinions.

Generating Typed Expressions

Date	March 27, 2017
Tags	coco, code generation, haskell, programming, research
Target Audience	Haskell programmers.
Epistemic Status	I wrote this memo to work out how to implement CoCo. So this all works and is, mostly, still implemented like this.

Representation & Evaluation of Typed Expressions

Date	March 23, 2017
Tags	coco, programming, research
Target Audience	Haskell programmers.
Epistemic Status	I wrote this memo to work out how to implement CoCo. So this all works and is, mostly, still implemented like this.

NixOS, GHCi, and Mueval

Date	March 17, 2017
Tags	haskell, howto, nixos, programming, tech
Target Audience	The intersection of NixOS and Haskell users.
Epistemic Status	Was accurate and true at one point, but NixOS does like to change how things are done...

Symlinks are Bad

Date	March 13, 2017
Tags	tech
Target Audience	Not you.
Epistemic Status	Totally unsubstantiated opinions.

Imageboards

Date	March 9, 2017
Tags	culture, tech
Target Audience	Imageboard dwellers & cyber-anthropologists.
Epistemic Status	Totally unsubstantiated opinions, but I've been immersed in this culture for a while.

Running a YUSU Society

Date	March 9, 2017
Tags	howto, university
Target Audience	University of York people.
Epistemic Status	These are all my opinions about running a society based on doing it for several years. YUSU likes to change things, so any (or all) of this may no longer be valid.

The Way

Date	March 6, 2017
Tags	life
Target Audience	Not you.
Epistemic Status	Totally unsubstantiated opinions.

Boardgames

Date	March 3, 2017
Tags	possessions
Target Audience	Not you.

C is not Turing-complete

Date	February 1, 2017
Tags	c, programming, semantics
Target Audience	C programmers & language lawyers.
Epistemic Status	Based on my interpretation of the C11 spec.
Attention Conservation Notice	Because of how pointers are defined in the C standard, an isolated C program is equivalent in computational power to a pushdown automata.

Three Months of Go (from a Haskeller's perspective)

Date	August 25, 2016
Tags	haskell, go, programming
Target Audience	Haskell programmers & Go programmers.
Attention Conservation Notice	This is mostly just an opinionated rant.

Systematic Concurrency Testing and Daemon Threads

Date	May 13, 2016
Tags	concurrency, programming, research
Target Audience	Mostly me, & possibly concurrency testing nerds.
Epistemic Status	I guess it's possible I've misunderstood every paper on concurrency testing I've read and they actually do address this topic.
Attention Conservation Notice	There's a subtlety in partial-order techniques when daemon threads are involved which has caught me out a couple of times.

Strict-by-default vs Lazy-by-default

Date	February 12, 2016
Tags	haskell, programming
Target Audience	Haskell programmers.
Attention Conservation Notice	In every discussion of Haskell, the issue of strict vs lazy evaluation comes up. I think laziness is the better default.

Concurrency and Typeclass Laws

Date	November 29, 2015
Tags	dejafu, haskell, programming, semantics
Target Audience	Haskell programmers.
Attention Conservation Notice	By calling dejafu from within a property test, we can check laws of classes which do concurrency.

dejafu-0.1.0.0

Date	August 27, 2015
Tags	dejafu, haskell, programming, release notes
Target Audience	Haskell programmers.
Attention Conservation Notice	dejafu is a Haskell library for testing concurrent programs.

Reducing Combinatorial Explosion

Date	August 21, 2015
Tags	concurrency, programming, research
Target Audience	Mostly me, & possibly concurrency testing nerds.
Epistemic Status	Summarises existing research.

hledger

Date	September 29, 2017
Tags	finance, hledger, howto
Deprecated By	personal-finance
Target Audience	Mostly me, & possibly personal finance nerds.
Epistemic Status	Documents how I used to do things, doesn't attempt to speak more generally than that.
Attention Conservation Notice	You may get something out of this if you're rethinking how you manage your finances.

Memos vs. Blog Posts

Date	March 1, 2017
Tags	meta, writing
Deprecated By	read-me-first
Target Audience	Everyone