Twitter | Pretraživanje | |
Conor Mc Bride
From a Curry-Howard perspective, "I like programming but I don't like maths." means "I like programming but I don't like programming.".
Reply Retweet Označi sa "sviđa mi se" More
⊢ 🐝, ¬🐝 28. ruj 2017.
Odgovor korisniku/ci @pigworker
But "liking" does not respect extensional equality. If I like a theorem proved using unary-ℕ, I may still dislike the proof using ternary-ℕ.
Reply Retweet Označi sa "sviđa mi se"
Conor Mc Bride 28. ruj 2017.
Odgovor korisniku/ci @ZoltanAK
Stop sentence after word 5.
Reply Retweet Označi sa "sviđa mi se"
Diogo (f a) Castro 28. ruj 2017.
Odgovor korisniku/ci @pigworker
Unless untyped languages are your thing 😱
Reply Retweet Označi sa "sviđa mi se"
Conor Mc Bride 28. ruj 2017.
Odgovor korisniku/ci @dfacastro
Formally, perhaps. But I'd argue that C-H has an informal aspect identifying programming and proof as similar human activities.
Reply Retweet Označi sa "sviđa mi se"
Jonathan Edwards 28. ruj 2017.
Odgovor korisniku/ci @pigworker
There are more kinds of programming in the world than are dreamt of in your philosophy
Reply Retweet Označi sa "sviđa mi se"
Conor Mc Bride 28. ruj 2017.
Odgovor korisniku/ci @jonathoda
There are more kinds of philosophy in the world than are dreamt of in anyone's philosophy.
Reply Retweet Označi sa "sviđa mi se"
Oleg Lobachev 28. ruj 2017.
Odgovor korisniku/ci @pigworker
Isn't it "I like math, but I hate math"?
Reply Retweet Označi sa "sviđa mi se"
Conor Mc Bride 28. ruj 2017.
Odgovor korisniku/ci @theoal
What's the difference?
Reply Retweet Označi sa "sviđa mi se"
Loch Nessa Monster🌸 28. ruj 2017.
Odgovor korisniku/ci @pigworker
In practice this usually means "I like programming badly", of course.
Reply Retweet Označi sa "sviđa mi se"
Kris Nuttycombe 28. ruj 2017.
Odgovor korisniku/ci @pasiphae_goals @pigworker
"I like ignoring potential errors."
Reply Retweet Označi sa "sviđa mi se"