Twitter | Search | |
Rúnar
Icelander. Eudaimonist. Individualist. Cofounder, Unison Computing. Author of Functional Programming in Scala.
14,199
Tweets
34
Following
8,378
Followers
Tweets
Rúnar 6h
Perhaps volition is just satisficing.
Reply Retweet Like
Rúnar 9h
Goldmining old tweets.
Reply Retweet Like
Rúnar 18h
Replying to @runarorama
I learned a thing from posting this question: when in doubt, draw equations as commutative diagrams. This one happens to be a naturality square. So `q` is a functor and `p` is a natural transformation.
Reply Retweet Like
Rúnar 18h
Replying to @khurramijaz
Yeah. As somebody already pointed out, this equation is a naturality square, so `q` is a functor and `p` is a natural transformation from it to the identity.
Reply Retweet Like
Rúnar 18h
Replying to @khurramijaz
Or if p takes q to the identity.
Reply Retweet Like
Rúnar 19h
Replying to @khurramijaz
Why not?
Reply Retweet Like
Rúnar Oct 28
Replying to @samosa @curious_reader
Oops, my bad. Fixed now, I think.
Reply Retweet Like
Rúnar Oct 28
Replying to @curious_reader
I wrote some notes on the conversation, here:
Reply Retweet Like
Rúnar Oct 28
Replying to @curious_reader
Such an attack on free will amounts to "we think that at any time we can do several things, but at any given moment we will do only one." While it's obviously true that causality is linear, it's not even a little bit instructive about volition and teleology.
Reply Retweet Like
Rúnar Oct 28
Replying to @curious_reader
Too complex for a tweet, but the short of it is that the usual “consciousness is magic” take on free will is rubbish and most attacks on free will as such take aim at that straw man for no actual enlightenment.
Reply Retweet Like
Rúnar Oct 28
Replying to @tailcalled
It is
Reply Retweet Like
Rúnar Oct 28
If for all f, p . q f = f . p, what is q? What do you call the relationship between p and q?
Reply Retweet Like
Rúnar Oct 28
Replying to @curious_reader
Why not?
Reply Retweet Like
Rúnar Oct 28
Replying to @curious_reader
Basically not what?
Reply Retweet Like
Rúnar Oct 28
Replying to @berenguel
Okay
Reply Retweet Like
Rúnar Oct 28
Replying to @berenguel
Care to expand on that?
Reply Retweet Like
Rúnar Oct 28
Replying to @runarorama
Which would be a killer combo for a panel discussion on basically any topic, by the way.
Reply Retweet Like
Rúnar Oct 28
I just managed to actually change someone’s mind about free will, using a combination of Eric Drexler, Stephen Wolfram, and Ayn Rand
Reply Retweet Like
Rúnar Oct 27
Replying to @gusvanhorn
More generally, extrinsic motivation works against you. This is true whether you're doing things for duty, reward, bribes, admiration, or anything other than your own selfish enjoyment.
Reply Retweet Like
Rúnar Oct 26
They also say “urbs” instead of herbs, and kill-Ometer instead of kilometer, so I wouldn’t take Americans too seriously when it comes to pronunciation.
Reply Retweet Like