Costrong Comonads are Boring

Strength is a category theoretical property which is known to be boring - every Monad in Hask (and similarly Scal) satisfies it. The question arises - what about it's dual, Costrength? What would a Costrong Comonad look like? Is it interesting? It turns out the answer is no - every Comonad in Hask/Scal is Costrong. In this post I'll provide a brief tutorial on Comonads and show why every Comonad is also Costrong. You do NOT need to know much category theory to follow this post, but some familiarity with the everyday programming of Monads will be helpful.

more ...








Mosh - ssh for a bad connection

I'm currently located in India. Most of my servers are in the US. Due to my location, I have to deal with crappy wifi connections (in the past hour I switched from NETGEAR1 to NETGEAR2), high latency, disconnections and the like. Often I'm stuck tethered to my phone, which occasionally …

more ...