To #scala people confused about #FinallyTagless, don't let people overcomplicate it. It's just Java style interfaces, with results wrapped in a generic F[_] and subtype constraints replaced with context bounds. It's a very powerful switch, but it's simple.

I never realized how badly I wanted orchestral, Celtic, folk with some 80s and metal mixed in, until today. youtu.be/6qTghUgMOeY

Verifying myself: I am jacoby6000 on Keybase.io. 53hnix3ZZ_n4m-Xy_Rhx_nJjqFdBpTDKOI2x / keybase.io/jacoby6000/sigs/5…

#NixOS is amazing.

I should get a red "-" tattoo on my face for every line of code of code I've deleted.

Principled code is cool. Stuff just fits together and works. Thanks @typelevel and the #scalaz contributors for making awesome libraries!

I'm not sure anything is real anymore. I just wrote "trait LiftH[F[_[_[_], _], _]]". #matryoshka by @slamdata has got me learning a lot.

Sucks whenever you start having nightmares about things and people you should've been over forever ago.

That feeling when you can wake up at 2 in the morning from a terrible dream, and have somebody to talk to for over an hour. @megandenyse