@edwinbrady Comment forums are the Internet’s Care in the Community.
Help, I'm reading comments on /r/programming again, about dependent types... must... resist... joining... in...
-
-
-
@j05e ha ;). Though actually, I find it vaguely enlightening to see what misconceptions people have about our research... so we can fix it! - 4 more replies
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.