We need talks on type theory for non-academics. With actual citations/evidence for what % bugs type systems prevent, or dev time they save
-
-
@danluu eeeeeeeeeee!!! I can't wait to read it as soon as I get back to a real computer! -
@DanielleSucher It's actually pretty boring! The evidence is really weak! Although, weak evidence is perhaps evidence against strong effects
End of conversation
New conversation -
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.