An Oversight
Object Relational Mappers have a dream. Their dream is that the mechanics of creating, reading, updating and deleting can be abstracted away and need not be thought about. I have a dream, too. My dream...
View ArticleProgress report
I remain captivated by the idea of a large-scale software system implemented entirely in purely functional style, and have been noodling away for a while on a much simpler implementation of some of...
View Article4 days in Edinburgh
(Not shown: It Might Get Ugly late on the Saturday night) Sh*t-faced Shakespeare This is a show with a very simple premise: take a cast of 6 people, condense a Shakespeare play down to an hour,...
View Article1984, Playhouse, London
This was a stunning piece of theatre, which I went to largely on the strength of this review. The show opens on Winston Smith, sitting at a table and opening a book. He muses to himself about the...
View ArticleMatilda, Cambridge Theatre, London
Where 1984 was gripping, exhilarating and exhausting, Matilda was lovely, light and fun. The opening number riffs somewhat on Monty Python’s “we’re all individuals” as all of these kids sing about how...
View ArticleLambdaConf, Yarvin and Moldbug
I’ve spent the last weekend enjoying the excellent National Folk Festival in Canberra and thinking a lot about the question of whether or not Curtis Yarvin should be invited to LambdaConf, and if so,...
View ArticleTowards A Fundamentally and Fundamentalistically Declarative Client-Side...
How much of the space of user interface programming models have we, as a society, explored? The story starts with pretty raw event loops and runs through explicitly associating event handlers with...
View ArticleConvening The Flag
I just got back from three months at the Recurse Center in NYC. One of the things I did there was co-organise / lead a group (with the excellent Dom) that worked through a series of Capture the Flag...
View ArticleA Type Inference Implementation Adventure
I stumbled across a blog post entitled “Generic Unification” a while ago. It makes this claim: The unification-fd package by wren gayle romano is the de-facto standard way to do unification in Haskell....
View ArticleFrom Logic Variables to Type Variables
When we were here last, I outlined how to write most of a type inferencer in haskell. I outlined a 5-step plan, and charted a course through the treacherous waters that stopped just shy of the fifth...
View Article