@robkuz

12 Followers
21 Following
17 Posts
it's me. always have have been so

Does anyone else judge the difficulty of a problem by how many tabs you close once you've solved it?

Y'know, like Sherlock Holmes' "Three pipe problem" - "This was a six tab problem" or the like.

I was refactoring some very foundational stuff in my codebase today that rippled almost thru every module I had.
The interesting and scary thing was that I couldn't compile for almost 6 hours until I had applied all of the changes. And as time went on and on and I could compile I grew more and more uneasy as I really didnt know if things will work out. But then it compiled and all tests run.
static (inferred) typing really rocks!
#fsharp

Shen Trick Shots https://www.youtube.com/watch?v=BUJNyHAeAc8 by @deech

this is some serious black magic

Last Friday was one hell of a day.
I sat all of the day staring at my #sharp editor trying to figure out how to express HKTs on type signatures ... (yeah I know you #Haskell types do that for breakfast)
So I sat there typing a line now and then, more staring, a short google search, staring, thinking, again more staring.
I knew there was a solution. I could almost see it like thru mist.
And then while commuting home it was there. Just like Lego blocks self assembled. Writing a blog abt it now

having spent my first few weeks learning haskell defending myself against accusations of being a "bro-enabler" due to my associating with the *alleged misogynist* coauthor, people assuming now that i have a feminist agenda is interesting. i've come full circle, it seems. people are so quick to label.

i think in the end we end up being liked or disliked by people for their own reasons, and there's not much we can do about it, so, no, i don't worry too much about it, thx for ur concern.

such a relief to finally have a theme for my Zurihac talk.

they asked me to talk about "teaching Haskell" and i agreed because omg i get to talk at Zurihac. but the topic seems extremely meh. it's been stressing me.

now i just need a title for this talk proposal about conjunctive and disjunctive monoids and i am set.

I'm going to try A/B testing a joke
I bet Steve Jobs was the kind of person who would fart in your office and then pretend it never happened

Q: what do you call someone who reads a category theory paper?

A: a co-author!

My 2 favorite icons