Should tools be making us smarter? Or should they just do smart things for us?
-
I think it's good that tools make us smarter. In fact, that might be a good heuristic for thinking of new ones. Which tools make us smarter, and why, and what new things of that type could we make?
This might be an interesting design criterion for programming languages, if it were possible to be a bit more precise about what it means.
-
-
javascript be like
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Haskell comes to mind.
-
I know you're a type agnostic person, but Haskell's type system feels like one of the prime examples of "Constraints liberate and liberties constrain".
End of conversation
New conversation -
-
Show additional replies, including those that may contain offensive content
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.