Stories by colinprince

How to name things in programming

Google Unveils BIG and Heatherwick Studios Collaboration for New Campus

Anubis – Analysis for Unknown Binaries

Using Yoneda rather than J to present the identity type

A Proof of Church Rosser in Twelf

Creating a Digital Privacy Literacy Game to Create Safe Online Personas

A Gentle Introduction to Category Theory [pdf]

Building OCaml with Redo

The Anti-Pigeonhole Conjecture

Defenders think in lists. Attackers think in graphs

The Tyranny of Pew-Pew: How Fun Fantasy Violence Became Inescapable

Radically silo-free

Let Them Eat Privilege

Those Like Us

The Hash Function BLAKE

Vector Quotients

Metadata Anonymisation Toolkit

What Our Office Learned Working Naked for One Month

Is It O.K. To Be A Luddite? (1984)

Your kids will love a cookie-decorating party