@samth @bitemyapp @puffnfresh @djspiewak demonstrate it to be false, because otherwise it is a well understood expedience of many.
-
-
Replying to @dibblego
@dibblego@bitemyapp@puffnfresh@djspiewak Telling your interlocutors that they don't themselves exist is unlikely to be persuasive.1 reply 1 retweet 1 like -
Replying to @samth
@samth@bitemyapp@puffnfresh@djspiewak I am compelling you to PLEASE show me where I am wrong. This is my position until such time.2 replies 0 retweets 0 likes -
Replying to @dibblego
@dibblego@bitemyapp@puffnfresh@djspiewak I (a) know type theory (b) regularly willingly eschew types. Types are an SE tool w/ tradeoffs.3 replies 4 retweets 11 likes -
Replying to @samth
@samth@bitemyapp@puffnfresh@djspiewak Please demonstrate your understanding. It's often trivial to recognise when it is not the case.1 reply 0 retweets 0 likes -
Replying to @dibblego
@dibblego@bitemyapp@puffnfresh@djspiewak I encourage you to read my published papers, which are linked from my twitter profile.1 reply 0 retweets 0 likes -
Replying to @samth
@samth@bitemyapp@puffnfresh@djspiewak I look forward to it. Please link?1 reply 0 retweets 0 likes -
Replying to @dibblego
@dibblego@bitemyapp@puffnfresh@djspiewak Like I said, in my twitter profile. Maybe start here: http://www.ccs.neu.edu/racket/pubs/icfp10-thf.pdf …1 reply 0 retweets 0 likes -
-
Replying to @dibblego
@dibblego@samth@bitemyapp@puffnfresh@djspiewak Sam is the author of typed racket. He’s kind an actual expert.4 replies 0 retweets 0 likes
@cartazio @samth @bitemyapp @puffnfresh @djspiewak I know this; I was challenging for the killer argument. It never came.
-
-
Replying to @dibblego
@dibblego@cartazio@puffnfresh@djspiewak The whole problem here is your search for "killer arguments". Still,@bitemyapp's claim was false1 reply 0 retweets 0 likes -
Replying to @samth
@samth@cartazio@puffnfresh@djspiewak@bitemyapp I agree it was at least hyperbolic, but yours raises more alarming questions.1 reply 0 retweets 0 likes - Show 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.