https://jamiecollinson.com/post/Recent content in Posts on Jamie CollinsonHugo -- gohugo.ioen-usWed, 14 Feb 2024 12:00:00 +0000https://jamiecollinson.com/blog/solving-knights-and-knaves-with-z3/Mon, 17 Jun 2019 00:00:00 +0000https://jamiecollinson.com/blog/solving-knights-and-knaves-with-z3/There’s a type of logic puzzle called Knights and Knaves, in which we have a set of people who will either always tell the truth - a Knight - or always lie - a Knave. Suppose we have two people, A and B, with A claiming “We are both Knaves”. What can we deduce? A must be a Knave, since if he were a Knight he could not claim to be a Knave.https://jamiecollinson.com/blog/category-theory-for-programmers/Tue, 14 May 2019 00:00:00 +0000https://jamiecollinson.com/blog/category-theory-for-programmers/1 Category: The Essence of Composition Categories consist of objects and arrows that go between them The essence of a category is composition, i.e. that A -> B and B -> C implies A -> C 1.1 Arrows as Functions Arrows are morphisms which are equivalent to functions Objects are equivalent to types. If we have f :: A -> B and g :: B -> C then (g .https://jamiecollinson.com/blog/my-emacs-config/Sun, 11 Mar 2018 14:33:18 +0000https://jamiecollinson.com/blog/my-emacs-config/This is my emacs configuration. After many years with vim then a year with spacemacs & prelude, I came to the realisation that I needed to construct my own to really get it1. After a few aborted attempts to split the config into separate files, I settled on the single file literate approach via Sacha Chua. Documenting this is mostly for my benefit, but I hope others might find it useful constucting their own.https://jamiecollinson.com/blog/faster-command-line-tools-in-golang/Wed, 31 May 2017 20:15:50 +0100https://jamiecollinson.com/blog/faster-command-line-tools-in-golang/Having read the post faster command line tools in nim by Euan Torano1, I wanted to see how Go would compare. I am no golang expert, but have used it in production on a couple of reasonably sized projects, and have recently been enjoying it as a language for creating small terminal applications. Replicating the functionality in go was pleasant but I’d hoped for better performance. The task is to take a csv file, a column number to sum by and another to sum, and to return the label and total of the largest value.https://jamiecollinson.com/blog/disassembling-ricoh-gr-for-sensor-cleaning/Mon, 30 May 2016 00:00:00 +0000https://jamiecollinson.com/blog/disassembling-ricoh-gr-for-sensor-cleaning/Updated: 2020-06-22 to add GR2 specific details sent by a kind reader The Ricoh GR is an excellent camera, which has managed to displace all my former dalliances due to it’s small size, near-perfect ergonomics and incredible performance. But it does have a design flaw. Dust gets sucked into the lens assembly far too easily. On a recent trip I found lots of annoying dust spots. This is easy to fix, but tedious1.https://jamiecollinson.com/blog/a-mathematician-a-physicist-and-an-engineer/Sat, 28 May 2016 00:00:00 +0000https://jamiecollinson.com/blog/a-mathematician-a-physicist-and-an-engineer/A mathematician, a physicist and an engineer are away from home at a conference1. The engineer wakes up in the night to find his bed is on fire. He grabs the fire extinguisher, points it at the fire and sprays until the fire is safely extinguished. He goes back to sleep content he has solved the problem. The physicist wakes up in the middle of the night to find his bed is also on fire.