Blog

Full post: Work log 2016-08-10

Full post: Work log 2016-08-09

Full post: Work log 2016-08-08

Full post: Work log 2016-08-05

Full post: Work log 2016-08-04

Full post: Hydra

Full post: Work log 2016-08-03

Full post: Work log 2016-08-02

Full post: Work log 2016-08-01

Full post: Work log 2016-07-31

Full post: Work log 2016-07-29

Full post: Work log 2016-07-27

Full post: Work log 2016-07-26

Full post: Work log 2016-07-25

Full post: Work log 2016-07-22

Full post: Work log 2016-07-20

Full post: Work log 2016-07-13

Full post: Work log 2016-07-11

Full post: Work log 2016-07-08

Full post: Work log 2016-07-07

Full post: Work log 2016-07-06

Full post: Work log 2016-07-05

Full post: Work log 2016-07-04

Full post: Trolled 2

Full post: Premature Optimisation

Full post: The Sorry State of the Web

Full post: Off The Grid

Full post: A Few Site Updates

Full post: Calculating Arity

Full post: Fixing Web Colours

Full post: nix-eval

Full post: Abandoning Hakyll

Full post: HoTT for Dummies

Full post: Cabal Hell

Full post: More git changes

Full post: Moving Git Repos

Full post: Active Code Updates

Full post: Procedural Images

Full post: Developing on NixOS

Full post: Embedding Lambda Calculus

Full post: Learning Functional Programming

Full post: Does Polymorphism Make Code More Flexible?

Full post: Controlling Side-Effects

Full post: Minimalist Programming Languages

Full post: Nix Packages

Full post: Nat-like Types, or Dynamic and Static Information

Full post: MELPA breakage

Full post: Search Algorithms (again!)

Full post: Plumb: A Domain-Specific Language Embedded in PHP

Full post: Fibonacci Sequence in PHP