@jonsterling I don't actually have an opinion on this as an idea, just as a pun.
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@jonsterling@wilbowma forall a : Anything, not (Answer(formalism, a)) sounds like a theorem to me -
@jonsterling@wilbowma I can at least set up rules within which it is a derivable string of symbols, which means it's true, right?
End of conversation
New conversation -
-
-
@Pinboard if LC’s decisions come from the same intellectual rigor they use to reason about programs, FP can’t be all that great.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@Pinboard Nope, it's exactly what got LambdaConf into this mess.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@Pinboard Or just, you know, a basic awareness of the history of philosophy and ethics. But humanities are worthless!Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@Pinboard The dream of Emmanuel Kant is alive and wellThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@Pinboard seriously?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.