@Meaningness Couple more remarks on social facts v. math that occurred to me this morning...
-
-
Replying to @St_Rev @Meaningness
1) Yr audience is programmer-heavy, and they are going to pattern-match on Curry-Howard--they *know*, or 'know', they're doing math!
1 reply 0 retweets 1 like -
Replying to @St_Rev @Meaningness
It's a false dichotomy even at that level--programs/proofs are a form of highly constrained storytelling (http://st-rev.livejournal.com/395798.html )
1 reply 1 retweet 6 likes -
Replying to @St_Rev @Meaningness
2) But that's not even what you want to talk about, so by leading with that dichotomy you're hamstringing yourself out of the gate.
1 reply 0 retweets 2 likes
Replying to @St_Rev
Yes… I plead the 140 character limit, and the offhandedness of Twitter. Your recommendations seem well-advised & I’ll heed them in longform
2:05 PM - 12 May 2017
0 replies
0 retweets
3 likes
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.