Clik here to view.
Well, that was fun
It appears that if you’re using Android’s HttpURLConnection (2.3 is the specific source of the grievance), and you’re talking to certain web servers (ahem, in this case nginx with varnish in front of...
View ArticleClik here to view.
Limits
The Houston Report advises re-opening Nauru and Manus Island as off-shore processing centres for asylum seekers. From my point of view, that sucks. I try to be all love-your-neighbour, yo, and shipping...
View ArticleClik here to view.
The Asylum Seeker Trade-off
I wrote earlier that the trade-off between deaths at sea and possible trauma in detention at Nauru could potentially be justified. That’s predicated on a pretty big assumption, the assumption that...
View ArticleClik here to view.
Not In Detention
They’re not in detention, honest! It’s right there in the law (clause 11): An offshore entry person who is being dealt with under subsection (3) is taken not to be in immigration detention (as defined...
View ArticleClik here to view.
3 Approaches
In today’s fantabulous outing, marvel at three approaches to efficient implementation! Ride the wave of perplexity that is the function from a list of inputs to the current state! Gaze in wonder at...
View ArticleClik here to view.
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 ArticleClik here to view.
Progress 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 ArticleClik here to view.
4 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 ArticleClik here to view.
1984, 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 ArticleClik here to view.
Matilda, 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 ArticleClik here to view.
LambdaConf, 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 ArticleClik here to view.
Towards 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 ArticleClik here to view.
Convening 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