@techtangents @dibblego @channingwalton @jdegoes @puffnfresh thanks for checking off the, "b-b-b-but dependent types" box. We needed that.
-
@techtangents@dibblego@channingwalton@jdegoes@puffnfresh DTs are useful, but there are unresolved sources of design friction.
@bitemyapp @techtangents @channingwalton @jdegoes @puffnfresh There was a kid in high school who swore his DT175 could beat me. Nope.
