Not that I encourage engaging with outrageous claims about either types or tests, but at least these things keep me entertained on the bus home.
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
The digression that caught my eye was in halting distinguishing cs. diagonalization barriers seem common in lots of math. but in cs i guess the obstacle is we can’t go “up a universe”? so maybe its a pervasive concern with finitary representations that’s more distinguishing?
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.