Anyway. Possibly more related than I'm willing to admit in some ways, but Idris n+1 is moving on steadily. I keep looking at Idris 2 and wondering why I did it like that. In hindsight, I understand why I was in a hurry. But now, it's got to be "Move slowly and understand what you're doing".
I will be exclaiming "FOUR" at some point in the not too distant future. About three people will know what I mean, but that is always a good moment.
@edwinb FOUR!
@edwinb I'd offer to race you, but I think betting you a beer is a better idea ;)
@flippac on the one hand, an incentive to get a move on is good. On the other, rushing too much is why I'm currently having to fix everything right from the start :).
@edwinb ... pub break?
@flippac Well I am passing through Edinburgh occasionally these days, so that should definitely happen...
@edwinb warning is good, but I'm awake most days
@WellsiteGeo @edwinb They're not so long at the moment, right? Wrong sleep phase and a bit of exhaustion, you could miss all the daylight entirely...
@WellsiteGeo @edwinb I have to be a lot less well to sleep for 24 hours, but if you excuse toilet breaks it's happened
@edwinb Is randomly shouting "FOUR" common around StAndrews?
@edwinb That’s not your private key, is it?
@mtorpey no, that's much more secure. Two plus two.