I don't usually tweet about football, because my team usually lose, but... Wow. Usually this goes the other way... http://www.bbc.co.uk/sport/football/51101528
I've just entered the Skye Go tournament. I don't play Go nearly often enough these days, but when I do, it is in the middle (or in this case on the edge) of nowhere! http://www.britgo.org/tournaments/2020/skye
This is basically me now https://www.gocomics.com/calvinandhobbes/1993/12/07
Just procrastinated so hard I set up a blog and wrote about linearity and erasure in Idris 2. https://www.type-driven.org.uk/edwinb/linearity-and-erasure-in-idris-2.html
I'm probably not going to make a habit of this...
Combining exceptions and linear types turns out to be achievable too. As long as: a) App is parameterised over whether a code fragment can throw; b) I've implemented the type checker competently... https://github.com/edwinb/IdrisApp/blob/master/tests/Door.idr
Doing some, er, Boring Idris. https://github.com/edwinb/IdrisApp/blob/master/tests/TestEx.idr
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!