Tom Cole (@colethecoder) profile picture

Functional Programming, C#, Haskell, Managing Devs, Health Informatics

East Midlands, England
Joined May 2010
Photo by Tom Cole (@colethecoder)Photo by Tom Cole (@colethecoder)Photo by Tom Cole (@colethecoder)Photo by Tom Cole (@colethecoder)Photo by Tom Cole (@colethecoder)Photo by Tom Cole (@colethecoder)Photo by Tom Cole (@colethecoder)Photo by Tom Cole (@colethecoder)Photo by Tom Cole (@colethecoder)Photo by Tom Cole (@colethecoder)
We're recruiting for my dev team. meddbase.com/jobs-at-meddbas… Looking for experienced C# devs that want to move into functional programming. Fully remote, UK, up to £80k. RTs appreciated.
3
1
I was sure Shelter Song by Iceage would be the mournful soundtrack to England not winning #disappointed – at Paulerspury, England
Experienced this in 2010 because someone had done 10-99 as 1900s. I have a horrible feeling that the fix was change it to 20-99 and add a card to the backlog to fix properly.
Apparently a non-trivial number of systems are experiencing #Y2020 bugs. A common Y2K "fix" just postponed things by 20 years, interpreting 00-19 as the 2000s and 20-99 as the 1900s. 20 years is now up, some of those systems are still in use, and they think it's 1920. Oooops.
For my next trick, I'm going to build a 65 MB self-contained game in C# and shrink it to 8 kB (still 100% self-contained): medium.com/@MStrehovsky/buil…
28
217
37
659
An approachable explanation of tagless final. But secretly, these are just typeclasses for Kleisli arrows. jproyo.github.io/posts/2019-…
I've just done the most pointless commit on github to keep my run of little green squares going...
I may have started a talk at our dev meetup today about type systems and ended up ranting about how algebraic data types are the only way aliens will understand our code. I have no regrets.
Let's talk about code reviews (again). I usually encounter two camps when it comes to code reviews: those who think they are necessary and good and those who think they are an unneeded process that slows people down (or a less efficient alternative to pair programming). 1/
7
83
12
162
Over the last few months I've stopped following a load of political tweeters and started following a load of category theorists. I've gone from feeling angry when I open twitter to feeling stupid. Is this progress?
3
I got an Nvidia Shield a few days ago to replace firestick & Chromecast. So far it's been great. UI is well laid out and responsive, apps all run significantly faster than on other hardware and just played Injustice 2 streamed from my PC with hardly any lag!
Saw Mogwai last night at the Mill in Birmingham. It was amazing.... and deafening. Ears are ringing this morning!
2
Having a late night adventure on the British rail network. I have to get the last train from Doncaster, I had a 15min window but my train is 21 mins late so far #nailbiting
1
2
For added excitement the speakers are broken in this carriage so no updates.
1