|
my operating system is good
|
#
¿
Jun 11, 2020 00:16
|
|
|
|
| # ¿ May 10, 2024 11:59 |
|
|
halt and catch a cold
|
|
#
¿
Jun 11, 2020 05:59
|
|
|
Plank Walker posted:a monad is more than just a monoid in the category of endofunctors i can’t get one at chipotle tho 
|
|
#
¿
Jun 12, 2020 15:11
|
|
|
MononcQc posted:yeah but it’s not work safe emacs hardcore
|
|
#
¿
Jun 24, 2020 14:23
|
|
|
animist posted:vim is topologically equivalent to emacs lmao
|
|
#
¿
Jun 26, 2020 17:00
|
|
|
Trabisnikof posted:i dare one of you motherfuckers to actually show me right here and now that the halting problem isn't solvable, go ahead i'll wait Cybernetic Vermin posted:assume we have a program f such that f(g,x) answers yes if the program g halts running on input x, otherwise it answers no. rekt
|
|
#
¿
Jun 28, 2020 04:21
|
|
|
|
| # ¿ May 10, 2024 11:59 |
|
|
yeah that’s profoundly hosed up
|
|
#
¿
Aug 28, 2020 15:30
|
|