 |
Posts by [email protected] |
 |
Post #AinWUK6jFYvvGgBQy8 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@frank This seems off. Isn't there always a trivial solution for K-CLOSURE?… |
|
|
|
Post #AinWUKFEjvjrh4AEEK by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@frank Thinking about the "Non emptyness condition for V'". This … |
|
|
|
Post #AinWUKJ8VQrFt9zLJA by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@frank You can do that for each vertex in V. If no run accepts, you reject. Sin… |
|
|
|
Post #AtHRX37XcbQYaRe2Mq by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Ich bin heut in Göttingen 😁 |
|
|
|
Post #AuSuyR7jZFSy3mDlCa by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@raiderrobert Haskell: theThing, theThing' :: TheThing |
|
|
|
Post #AxXW3ZjRHwMhuBJ2o4 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@nixCraft do I really need 16/32 cores? Probably not. Does seeing this in htop … |
