Let’s call this “Jon’s conjecture”.
Writing software in typed languages is biased towards one big-bang finish, with less visibility of incomplete half-broken versions en route.
-
-
-
I feel like I should be offering some commentary on whether my conjecture is a good thing or a bad thing, but I'm not sure...
- Show replies
New conversation -
-
-
.
@propensive we've been doing some work on this problem, see http://hazelgrove.org (c.f. a section of vision paper + hazelnut live)Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.