The differences between a medium-scale type-directed refactoring and the test-driven refactorings I'm used to feel fascinating /1
-
-
Replying to @marick
I find myself too compulsive and goal-oriented to stop and take the proper notes that might elucidate those differences. /2
1 reply 0 retweets 0 likes -
Replying to @marick
I don't know all that much about Garfinkel-style ethnomethodology, but it feels like something that ought to be directed at programming. /3
2 replies 1 retweet 1 like -
-
-
Replying to @marick
tangentially, Phil Agre described rebuilding theory through minute, reflexive observations in Towards a Critical Technical Practice
2 replies 1 retweet 1 like
he names Garfinkle as one of the first inspirations for doing so
1:42 PM - 31 Dec 2016
from Seattle, WA
0 replies
0 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.