0:46:28minionThere are multiple help modules. Try ``/msg minion help kind'', where kind is one of: "lookups", "helping others", "adding terms", "aliasing terms", "forgetting", "memos", "avoiding memos", "nicknames", "goodies", "eliza", "advice", "apropos", "acronyms".
0:48:15g_ominion: memo for karlosz: thanks for trying I'll find a better way to phrase my question tommorow
0:48:16minionRemembered. I'll tell karlosz when he/she/it next speaks.
1:27:51adlaiACTION wonders what stassats meant by 'non-computable' type derivers
2:25:14pkhuongadlai: the halting problem is equivalent to asking if the type of a function is the empty type. any time we consider tighter flow analyses / abstract interpretation in the presence of loops or recursion, non termination is an obvious challenge
2:29:24adlaiACTION imagines the venn diagram spanned by computability vs evaluation
8:41:03ebrascaDoes sbcl disassemble emit correct Mnemonic for ppc64le ?