freenode/#sbcl - IRC Chatlog
Search
2:25:14
pkhuong
adlai: 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
12:51:04
g_o
Say I've compiled sbcl, installed and now I'm running it. When I try to use a contrib module (e.g: sb-posix) it says there's no such package, even though on the install output i see him copying the .asd file... what's going on?
13:06:36
g_o
Shinmera: what i meant was is there a file where i put my desired requires (like an entry point for running sbcl); nvm it's not that important, just wanted my build to be more comfy
13:14:02
scymtym
you can put (require :sb-posix) into ~/.sbclrc, but if you use SBCL via SLIME (recommended), sb-posix will already be loaded