@bentnib @sjoerd_visscher Not in a "if only they'd used dependent types" sort of way, but rather as motivation for why people should care.
@a_cowley @bentnib @sjoerd_visscher And presumably, like me, none of them will have ever actually written a working SSL implementation...
-
-
@edwinbrady@bentnib@sjoerd_visscher Indeed. The most important point is that these mistakes are made by great programmers.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.