https://jamiecollinson.com/2024-02-14T12:00:00+00:000https://jamiecollinson.com/post/2024-02-14T12:00:00+00:00https://jamiecollinson.com/blog/solving-knights-and-knaves-with-z3/2019-06-17T00:00:00+00:00https://jamiecollinson.com/blog/category-theory-for-programmers/2019-05-14T00:00:00+00:00https://jamiecollinson.com/blog/my-emacs-config/2018-03-11T14:33:18+00:00https://jamiecollinson.com/blog/faster-command-line-tools-in-golang/2017-05-31T20:15:50+01:00https://jamiecollinson.com/blog/disassembling-ricoh-gr-for-sensor-cleaning/2016-05-30T00:00:00+00:00https://jamiecollinson.com/blog/a-mathematician-a-physicist-and-an-engineer/2016-05-28T00:00:00+00:00https://jamiecollinson.com/categories/https://jamiecollinson.com/tags/