waleee has joined #commonlisp
mesuutt has joined #commonlisp
X-Scale has quit [Ping timeout: 250 seconds]
X-Scale has joined #commonlisp
mesuutt has quit [Ping timeout: 255 seconds]
jonatack has quit [Ping timeout: 255 seconds]
craigbro has joined #commonlisp
zaymington has quit [Remote host closed the connection]
zaymington has joined #commonlisp
ymir has quit [Ping timeout: 246 seconds]
X-Scale has quit [Quit: Client closed]
random-nick has quit [Ping timeout: 260 seconds]
josrr` has joined #commonlisp
amb007 has joined #commonlisp
waleee has quit [Ping timeout: 255 seconds]
josrr has quit [Ping timeout: 256 seconds]
amb007 has quit [Ping timeout: 272 seconds]
mesuutt has joined #commonlisp
ymir has joined #commonlisp
mesuutt has quit [Ping timeout: 268 seconds]
cmack has quit [Ping timeout: 256 seconds]
Noisytoot has quit [Ping timeout: 268 seconds]
Noisytoot has joined #commonlisp
Noisytoot has quit [Ping timeout: 264 seconds]
Noisytoot has joined #commonlisp
Noisytoot has quit [Ping timeout: 252 seconds]
ldb has joined #commonlisp
mesuutt has joined #commonlisp
<
ldb>
ACL2 !> (thm (equal (AND (LISTP X) (NOT (NULL X))) (consp x))) Q.E.D.
<
ldb>
Even though I don't do program formal verification, I still find ACL2 useful for checking some facts
mesuutt has quit [Ping timeout: 255 seconds]
Noisytoot has joined #commonlisp
green_ has joined #commonlisp
Pixel_Outlaw has joined #commonlisp
rainthree has quit [Ping timeout: 268 seconds]
X-Scale has joined #commonlisp
rainthree has joined #commonlisp
rainthree has quit [Ping timeout: 272 seconds]
terrorjack has joined #commonlisp
istewart has joined #commonlisp
pfdietz has joined #commonlisp
X-Scale95 has joined #commonlisp
X-Scale has quit [Ping timeout: 250 seconds]
amb007 has joined #commonlisp
gilberth_ has joined #commonlisp
gilberth_ has quit [Remote host closed the connection]
gilberth_ has joined #commonlisp
gilberth_ has quit [Remote host closed the connection]
X-Scale95 is now known as X-Scale
mesuutt has joined #commonlisp
gilberth_ has joined #commonlisp
mesuutt has quit [Ping timeout: 260 seconds]
ymir has quit [Ping timeout: 260 seconds]
josrr` has quit [Remote host closed the connection]
randm has quit [Remote host closed the connection]
amb007 has quit [Ping timeout: 256 seconds]
randm has joined #commonlisp
jonatack has joined #commonlisp
jon_atack has joined #commonlisp
jonatack has quit [Ping timeout: 255 seconds]
bitspook has joined #commonlisp
ronald has joined #commonlisp
decweb has quit [Ping timeout: 255 seconds]
ymir has joined #commonlisp
piethesailor has joined #commonlisp
<
piethesailor>
Hello! I am having trouble with '(lisp-stat:read-csv ...)'
mesuutt has joined #commonlisp
<
piethesailor>
read-csv takes a #P"file/path/" and I am trying to programmatically create the file path
<
piethesailor>
but I can't seem to smash the #P part to the file path string and pass to read-csv
<
piethesailor>
anyone have this problem or.. know what I am talking about lol
<
aeth>
iirc, uiop has a library for creating pathnames... there are others, too
<
piethesailor>
aeth: cool! will check out
<
beach>
piethesailor: Did you try the standard operator PATHNAME?
<
beach>
,(pathname "/home")
<
ixelp>
(pathname "/home") => #P"/home"
mason has quit [Remote host closed the connection]
mason has joined #commonlisp
mesuutt has quit [Ping timeout: 260 seconds]
<
piethesailor>
Ah! I should have known #P was syntactic sugar for a function
<
beach>
It's reader syntax for a pathname.
<
piethesailor>
I think (pathname "path/to/file") will work
<
piethesailor>
Yes! Thanks beach
<
piethesailor>
that does it
istewart has quit [Quit: Konversation terminated!]
mesuutt has joined #commonlisp
wacki has joined #commonlisp
mesuutt has quit [Ping timeout: 255 seconds]
shka has joined #commonlisp
amb007 has joined #commonlisp
Pixel_Outlaw has quit [Quit: Leaving]
amb007 has quit [Read error: Connection reset by peer]
amb007 has joined #commonlisp
synchromesh has joined #commonlisp
jonatack has joined #commonlisp
jon_atack has quit [Ping timeout: 256 seconds]
Noisytoot has joined #commonlisp
mesuutt has joined #commonlisp
mesuutt has quit [Ping timeout: 272 seconds]
wacki has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
synchromesh has quit [Quit: WeeChat 4.0.5]
synchromesh has joined #commonlisp
ldb has quit [Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)]
pranavats has joined #commonlisp
pranavats has left #commonlisp [Disconnected: Replaced by new connection]
pranavats has joined #commonlisp
pve has joined #commonlisp
synchromesh has quit [Quit: WeeChat 4.0.5]
piethesailor has quit [Read error: Connection reset by peer]
synchromesh has joined #commonlisp
synchrom1 has joined #commonlisp
synchromesh has quit [Ping timeout: 240 seconds]
Posterdati has joined #commonlisp
mesuutt has joined #commonlisp
son0p has quit [Ping timeout: 268 seconds]
jonatack has quit [Ping timeout: 264 seconds]
clock has joined #commonlisp
jonatack has joined #commonlisp
mesuutt has quit [Ping timeout: 252 seconds]
easye___ has joined #commonlisp
amb007 has quit [Ping timeout: 256 seconds]
mesuutt has joined #commonlisp
amb007 has joined #commonlisp
clock has quit [Ping timeout: 268 seconds]
pranavats has left #commonlisp [Disconnected: Hibernating too long]
easye___ has quit [Remote host closed the connection]
varjag has joined #commonlisp
easye____ has joined #commonlisp
danse-nr3 has joined #commonlisp
danse-nr3 has quit [Remote host closed the connection]
danse-nr3 has joined #commonlisp
easye____ has quit [Remote host closed the connection]
msavoritias has joined #commonlisp
ymir has quit [Ping timeout: 268 seconds]
rgherdt has joined #commonlisp
tok has joined #commonlisp
amb007 has quit [Ping timeout: 268 seconds]
amb007 has joined #commonlisp
attila_lendvai has joined #commonlisp
clock` has joined #commonlisp
clock` is now known as skyler544
bitspook has quit [Remote host closed the connection]
amb007 has quit [Ping timeout: 260 seconds]
bitspook has joined #commonlisp
amb007 has joined #commonlisp
dino_tutter has joined #commonlisp
louis77 has joined #commonlisp
danse-nr3 has quit [Ping timeout: 264 seconds]
amb007 has quit [Read error: Connection reset by peer]
amb007 has joined #commonlisp
amb007 has quit [Read error: Connection reset by peer]
amb007 has joined #commonlisp
danza has joined #commonlisp
X-Scale has quit [Quit: Client closed]
amb007 has quit [Read error: Connection reset by peer]
danza has quit [Ping timeout: 246 seconds]
amb007 has joined #commonlisp
danse-nr3 has joined #commonlisp
danse-nr3 has quit [Remote host closed the connection]
danse-nr3 has joined #commonlisp
younder has quit [Remote host closed the connection]
younder has joined #commonlisp
skyler544 has quit [Ping timeout: 268 seconds]
danse-nr3 has quit [Remote host closed the connection]
danse-nr3 has joined #commonlisp
son0p has joined #commonlisp
danse-nr3 has quit [Read error: Connection reset by peer]
danse-nr3 has joined #commonlisp
bitspook has quit [Remote host closed the connection]
bitspook has joined #commonlisp
bitspook has quit [Remote host closed the connection]
bitspook has joined #commonlisp
louis77 has quit [Ping timeout: 246 seconds]
jweek has quit [Quit: Client closed]
danse-nr3 has quit [Ping timeout: 268 seconds]
danse-nr3 has joined #commonlisp
tfeb has joined #commonlisp
tfeb has quit [Client Quit]
aciep has joined #commonlisp
lxsameer has joined #commonlisp
mesuutt has quit [Ping timeout: 260 seconds]
louis77 has joined #commonlisp
Equill has quit [Quit: Gone offline]
louis77 has quit [Client Quit]
newbie has joined #commonlisp
louis77 has joined #commonlisp
pfdietz has quit [Quit: Client closed]
rogersm has joined #commonlisp
newbie is now known as Equill
Josh_2 has joined #commonlisp
<
Josh_2>
ELS is on right, hopefully everyone is enjoying :thumbsup:
mesuutt has joined #commonlisp
bitspook has quit [Ping timeout: 250 seconds]
mesuutt has quit [Ping timeout: 256 seconds]
alto_ has joined #commonlisp
alto_ has quit [Remote host closed the connection]
* varjag
couldn't attend it this year too sadly
awlygj has joined #commonlisp
AetherWind has joined #commonlisp
jweek has joined #commonlisp
X-Scale has joined #commonlisp
mm007emko has quit [Ping timeout: 260 seconds]
mm007emko has joined #commonlisp
awlygj has quit [Quit: Lost terminal]
amb007 has quit [Ping timeout: 260 seconds]
mesuutt has joined #commonlisp
amb007 has joined #commonlisp
iNomad has quit [Ping timeout: 256 seconds]
iNomad has joined #commonlisp
amb007 has quit [Read error: Connection reset by peer]
amb007 has joined #commonlisp
gooba has quit [Ping timeout: 240 seconds]
jweek has quit [Quit: Client closed]
mm007emko has quit [Read error: Connection reset by peer]
mm007emko has joined #commonlisp
random-nick has joined #commonlisp
Rue has joined #commonlisp
jweek has joined #commonlisp
aciep has quit [Ping timeout: 272 seconds]
alcor has joined #commonlisp
Lord_of_Life_ has joined #commonlisp
Lord_of_Life has quit [Ping timeout: 268 seconds]
Lord_of_Life_ is now known as Lord_of_Life
phantomics_ has joined #commonlisp
zaymington has quit [Ping timeout: 268 seconds]
phantomics has quit [Ping timeout: 268 seconds]
bitspook has joined #commonlisp
aciep has joined #commonlisp
aciep` has joined #commonlisp
jweek has left #commonlisp [#commonlisp]
tok` has joined #commonlisp
tok has quit [Ping timeout: 260 seconds]
tok` has quit [Changing host]
tok` has joined #commonlisp
bitspook has quit [Remote host closed the connection]
bitspook has joined #commonlisp
tok` is now known as tok
danse-nr3 has quit [Ping timeout: 268 seconds]
decweb has joined #commonlisp
tok` has joined #commonlisp
X-Scale has quit [Quit: Client closed]
tok` has quit [Remote host closed the connection]
tok has quit [Killed (mercury.libera.chat (Nickname regained by services))]
tok has joined #commonlisp
decweb has quit [Ping timeout: 260 seconds]
X-Scale has joined #commonlisp
danse-nr3 has joined #commonlisp
aciep has quit [Remote host closed the connection]
aciep` has quit [Remote host closed the connection]
aciep has joined #commonlisp
dtman34 has quit [Ping timeout: 256 seconds]
decweb has joined #commonlisp
attila_lendvai has quit [Ping timeout: 268 seconds]
edgar-rfx has joined #commonlisp
yitzi has joined #commonlisp
edgar-rft has quit [Ping timeout: 256 seconds]
danieli6 has joined #commonlisp
danse-nr3 has quit [Ping timeout: 268 seconds]
danieli has quit [Ping timeout: 240 seconds]
danieli6 is now known as danieli
danse-nr3 has joined #commonlisp
edgar-rfx is now known as edgar-rft
ocra8 has joined #commonlisp
varjag has quit [Quit: ERC (IRC client for Emacs 27.1)]
zaymington has joined #commonlisp
cage has joined #commonlisp
bitspook has quit [Remote host closed the connection]
bitspook has joined #commonlisp
pfdietz has joined #commonlisp
Rue has left #commonlisp [WeeChat 4.2.2]
X-Scale has quit [Ping timeout: 250 seconds]
dlowe has joined #commonlisp
micro has quit [Ping timeout: 268 seconds]
scymtym has quit [Remote host closed the connection]
scymtym has joined #commonlisp
micro has joined #commonlisp
pfdietz has quit [Quit: Client closed]
bitspook has quit [Ping timeout: 250 seconds]
bitspook has joined #commonlisp
bitspook has quit [Ping timeout: 250 seconds]
aciep has quit [Ping timeout: 264 seconds]
jonatack has quit [Ping timeout: 264 seconds]
Posterdati has joined #commonlisp
bitspook has joined #commonlisp
danse-nr3 has quit [Remote host closed the connection]
danse-nr3 has joined #commonlisp
bitspook has quit [Ping timeout: 250 seconds]
yitzi has quit [Remote host closed the connection]
cdegroot has joined #commonlisp
dtman34 has joined #commonlisp
seanw has quit [Remote host closed the connection]
seanw has joined #commonlisp
danse-nr3 has quit [Ping timeout: 256 seconds]
danse-nr3 has joined #commonlisp
<
ixelp>
UNTITLED - Pastebin Service
NotThatRPG has joined #commonlisp
bitspook has joined #commonlisp
ymir has joined #commonlisp
danse-nr3 has quit [Ping timeout: 264 seconds]
amb007 has quit [Ping timeout: 260 seconds]
amb007 has joined #commonlisp
mesuutt has quit [Ping timeout: 255 seconds]
yitzi has joined #commonlisp
rainthree has joined #commonlisp
mm007emko has quit [Ping timeout: 252 seconds]
mm007emko has joined #commonlisp
green_ has quit [Ping timeout: 252 seconds]
zaymington has quit [Remote host closed the connection]
reb has quit [Remote host closed the connection]
zaymington has joined #commonlisp
green_ has joined #commonlisp
pfdietz has joined #commonlisp
wacki has joined #commonlisp
X-Scale has joined #commonlisp
rgherdt_ has joined #commonlisp
rgherdt has quit [Ping timeout: 268 seconds]
danza has joined #commonlisp
danza has quit [Remote host closed the connection]
mesuutt has joined #commonlisp
danza has joined #commonlisp
tfeb has joined #commonlisp
danza has quit [Remote host closed the connection]
danza has joined #commonlisp
tfeb has quit [Client Quit]
mesuutt has quit [Ping timeout: 260 seconds]
amb007 has quit [Ping timeout: 260 seconds]
amb007 has joined #commonlisp
green_ has quit [Ping timeout: 246 seconds]
mm007emko has quit [Read error: Connection reset by peer]
mesuutt has joined #commonlisp
mm007emko has joined #commonlisp
mesuutt has quit [Ping timeout: 240 seconds]
younder has quit [Remote host closed the connection]
younder has joined #commonlisp
X-Scale has quit [Ping timeout: 250 seconds]
danza has quit [Remote host closed the connection]
danza has joined #commonlisp
danza has quit [Max SendQ exceeded]
danza has joined #commonlisp
X-Scale has joined #commonlisp
danza has quit [Ping timeout: 252 seconds]
kdlv has joined #commonlisp
green_ has joined #commonlisp
rgherdt_ has quit [Read error: Connection reset by peer]
rgherdt has joined #commonlisp
wacki has quit [Ping timeout: 268 seconds]
msavoritias has quit [Ping timeout: 264 seconds]
wacki has joined #commonlisp
_cymew_ has joined #commonlisp
mesuutt has joined #commonlisp
boogsbunny has joined #commonlisp
mesuutt has quit [Ping timeout: 252 seconds]
rainthree has quit [Read error: Connection reset by peer]
jonatack has joined #commonlisp
mesuutt has joined #commonlisp
ymir has quit [Ping timeout: 252 seconds]
mesuutt has quit [Ping timeout: 260 seconds]
aciep has joined #commonlisp
AetherWind has quit [Quit: leaving]
X-Scale has quit [Ping timeout: 250 seconds]
_cymew_ has quit [Ping timeout: 260 seconds]
waleee has joined #commonlisp
cage has quit [Quit: rcirc on GNU Emacs 29.3]
josrr has joined #commonlisp
wacki has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
mesuutt has joined #commonlisp
bitspook has quit [Ping timeout: 250 seconds]
Devon has joined #commonlisp
Devon7 has joined #commonlisp
Devon has left #commonlisp [#commonlisp]
aciep has quit [Ping timeout: 255 seconds]
ymir has joined #commonlisp
yitzi has quit [Remote host closed the connection]
bitspook has joined #commonlisp
bitspook has quit [Ping timeout: 250 seconds]
Devon7 has quit [Read error: Connection reset by peer]
lxsameer has quit [Ping timeout: 272 seconds]
mesuutt has quit [Ping timeout: 268 seconds]
Devon has joined #commonlisp
alcor has quit [Ping timeout: 264 seconds]
shka has quit [Ping timeout: 268 seconds]
mariari has quit [Read error: Connection reset by peer]
tok has quit [Remote host closed the connection]
johnjaye has quit [Ping timeout: 260 seconds]
mariari has joined #commonlisp
Devon has quit [Ping timeout: 272 seconds]
mesuutt has joined #commonlisp
amb007 has quit [Ping timeout: 255 seconds]
mesuutt has quit [Ping timeout: 268 seconds]
ymir has quit [Ping timeout: 260 seconds]
mathrick has quit [Ping timeout: 264 seconds]
ymir has joined #commonlisp
<
_death>
is there already a location for the next ELS?
bitspook has joined #commonlisp
Pixel_Outlaw has joined #commonlisp
johnjaye has joined #commonlisp
dino_tutter has quit [Ping timeout: 260 seconds]
bitspook has quit [Ping timeout: 250 seconds]
mathrick has joined #commonlisp
zaymington has quit [Quit: Sleep]
<
edgar-rft>
the location probably already exists, only still nobody knows that ELS will happen there :-)
tibfulv has quit [Remote host closed the connection]
tibfulv has joined #commonlisp
mesuutt has joined #commonlisp
green_ has quit [Ping timeout: 255 seconds]
mesuutt has quit [Ping timeout: 256 seconds]
Josh_2 has quit [Ping timeout: 260 seconds]
green_ has joined #commonlisp
green_ has quit [Client Quit]
mathrick has quit [Remote host closed the connection]
mathrick has joined #commonlisp
<
fourier>
In asdf, how to get the path to the particular compiled file (generated by :cffi-wrapper-file ) ?
rgherdt has quit [Quit: Leaving]
pve has quit [Quit: leaving]
amb007 has joined #commonlisp
synchrom1 has quit [Quit: WeeChat 4.0.5]
amb007 has quit [Ping timeout: 260 seconds]
waleee has quit [Ping timeout: 272 seconds]
waleee has joined #commonlisp
synchromesh has joined #commonlisp
mesuutt has joined #commonlisp
synchromesh has quit [Quit: WeeChat 4.0.5]
mesuutt has quit [Ping timeout: 256 seconds]