#commonlisp on 2024-05-07 — irc logs at libera.irclog.whitequark.org

2022-07-28 16:55 jackdaniel changed the topic of #commonlisp to: Common Lisp, the #1=(programmable . #1#) programming language | Wiki: <https://www.cliki.net> | IRC Logs: <https://irclog.tymoon.eu/libera/%23commonlisp> | Cookbook: <https://lispcookbook.github.io/cl-cookbook> | Pastebin: <https://plaster.tymoon.eu/>

00:04 waleee has joined #commonlisp

00:04 NotThatRPG has quit [Quit: Textual IRC Client: www.textualapp.com]

00:07 mesuutt has joined #commonlisp

00:07 X-Scale has quit [Ping timeout: 250 seconds]

00:10 X-Scale has joined #commonlisp

00:11 mesuutt has quit [Ping timeout: 255 seconds]

00:18 jonatack has quit [Ping timeout: 255 seconds]

00:23 craigbro has joined #commonlisp

00:23 zaymington has quit [Remote host closed the connection]

00:24 zaymington has joined #commonlisp

00:31 ymir has quit [Ping timeout: 246 seconds]

00:41 X-Scale has quit [Quit: Client closed]

00:51 random-nick has quit [Ping timeout: 260 seconds]

00:56 josrr` has joined #commonlisp

00:58 amb007 has joined #commonlisp

01:00 waleee has quit [Ping timeout: 255 seconds]

01:00 josrr has quit [Ping timeout: 256 seconds]

01:03 amb007 has quit [Ping timeout: 272 seconds]

01:08 mesuutt has joined #commonlisp

01:08 ymir has joined #commonlisp

01:12 mesuutt has quit [Ping timeout: 268 seconds]

01:24 cmack has quit [Ping timeout: 256 seconds]

01:30 Noisytoot has quit [Ping timeout: 268 seconds]

01:36 Noisytoot has joined #commonlisp

01:41 Noisytoot has quit [Ping timeout: 264 seconds]

01:46 Noisytoot has joined #commonlisp

01:54 Noisytoot has quit [Ping timeout: 252 seconds]

02:08 ldb has joined #commonlisp

02:09 mesuutt has joined #commonlisp

02:11 <ldb> ACL2 !> (thm (equal (AND (LISTP X) (NOT (NULL X))) (consp x))) Q.E.D.

02:12 <ldb> Even though I don't do program formal verification, I still find ACL2 useful for checking some facts

02:13 mesuutt has quit [Ping timeout: 255 seconds]

02:18 Noisytoot has joined #commonlisp

02:27 green_ has joined #commonlisp

02:28 Pixel_Outlaw has joined #commonlisp

02:30 rainthree has quit [Ping timeout: 268 seconds]

02:31 X-Scale has joined #commonlisp

02:35 rainthree has joined #commonlisp

02:44 terrorjack has quit [Quit: The Lounge - https://thelounge.chat]

02:44 rainthree has quit [Ping timeout: 272 seconds]

02:45 terrorjack has joined #commonlisp

02:48 istewart has joined #commonlisp

02:48 mzan has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

02:51 pfdietz has joined #commonlisp

02:51 X-Scale95 has joined #commonlisp

02:51 X-Scale has quit [Ping timeout: 250 seconds]

02:59 amb007 has joined #commonlisp

03:05 gilberth_ has joined #commonlisp

03:06 gilberth_ has quit [Remote host closed the connection]

03:08 gilberth_ has joined #commonlisp

03:08 gilberth_ has quit [Remote host closed the connection]

03:09 X-Scale95 is now known as X-Scale

03:10 mesuutt has joined #commonlisp

03:12 gilberth_ has joined #commonlisp

03:14 mesuutt has quit [Ping timeout: 260 seconds]

03:18 ymir has quit [Ping timeout: 260 seconds]

03:25 josrr` has quit [Remote host closed the connection]

03:30 randm has quit [Remote host closed the connection]

03:31 amb007 has quit [Ping timeout: 256 seconds]

03:31 randm has joined #commonlisp

03:42 jonatack has joined #commonlisp

03:45 jon_atack has joined #commonlisp

03:48 jonatack has quit [Ping timeout: 255 seconds]

03:50 bitspook has joined #commonlisp

03:50 ronald has joined #commonlisp

03:50 decweb has quit [Ping timeout: 255 seconds]

03:54 ymir has joined #commonlisp

04:09 piethesailor has joined #commonlisp

04:10 <piethesailor> Hello! I am having trouble with '(lisp-stat:read-csv ...)'

04:11 mesuutt has joined #commonlisp

04:12 <piethesailor> read-csv takes a #P"file/path/" and I am trying to programmatically create the file path

04:12 <piethesailor> but I can't seem to smash the #P part to the file path string and pass to read-csv

04:13 <piethesailor> anyone have this problem or.. know what I am talking about lol

04:13 <aeth> iirc, uiop has a library for creating pathnames... there are others, too

04:14 <piethesailor> aeth: cool! will check out

04:14 <beach> piethesailor: Did you try the standard operator PATHNAME?

04:14 <beach> ,(pathname "/home")

04:14 <ixelp> (pathname "/home") => #P"/home"

04:14 mason has quit [Remote host closed the connection]

04:15 mason has joined #commonlisp

04:15 mesuutt has quit [Ping timeout: 260 seconds]

04:16 <piethesailor> Ah! I should have known #P was syntactic sugar for a function

04:16 <beach> It's reader syntax for a pathname.

04:16 <piethesailor> I think (pathname "path/to/file") will work

04:21 <piethesailor> Yes! Thanks beach

04:21 <piethesailor> that does it

04:23 istewart has quit [Quit: Konversation terminated!]

04:26 mesuutt has joined #commonlisp

04:30 <beach> Great!

04:30 wacki has joined #commonlisp

04:31 mesuutt has quit [Ping timeout: 255 seconds]

04:43 shka has joined #commonlisp

05:00 amb007 has joined #commonlisp

05:00 Pixel_Outlaw has quit [Quit: Leaving]

05:00 amb007 has quit [Read error: Connection reset by peer]

05:00 amb007 has joined #commonlisp

05:11 synchromesh has joined #commonlisp

05:17 jonatack has joined #commonlisp

05:19 jon_atack has quit [Ping timeout: 256 seconds]

05:20 Noisytoot has quit [Quit: ZNC 1.8.2 - https://znc.in]

05:21 Noisytoot has joined #commonlisp

05:27 mesuutt has joined #commonlisp

05:32 mesuutt has quit [Ping timeout: 272 seconds]

05:33 wacki has quit [Quit: My iMac has gone to sleep. ZZZzzz…]

05:34 synchromesh has quit [Quit: WeeChat 4.0.5]

05:40 synchromesh has joined #commonlisp

05:45 ldb has quit [Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)]

05:48 pranavats has joined #commonlisp

05:49 pranavats has left #commonlisp [Disconnected: Replaced by new connection]

05:49 pranavats has joined #commonlisp

05:49 pve has joined #commonlisp

05:51 synchromesh has quit [Quit: WeeChat 4.0.5]

05:52 piethesailor has quit [Read error: Connection reset by peer]

05:56 synchromesh has joined #commonlisp

06:06 synchrom1 has joined #commonlisp

06:06 Posterdati has quit [Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/]

06:07 synchromesh has quit [Ping timeout: 240 seconds]

06:07 Posterdati has joined #commonlisp

06:24 mesuutt has joined #commonlisp

06:24 son0p has quit [Ping timeout: 268 seconds]

06:25 jonatack has quit [Ping timeout: 264 seconds]

06:25 clock has joined #commonlisp

06:26 jonatack has joined #commonlisp

06:28 mesuutt has quit [Ping timeout: 252 seconds]

06:31 easye___ has joined #commonlisp

06:33 amb007 has quit [Ping timeout: 256 seconds]

06:33 mesuutt has joined #commonlisp

06:33 amb007 has joined #commonlisp

06:35 clock has quit [Ping timeout: 268 seconds]

06:36 pranavats has left #commonlisp [Disconnected: Hibernating too long]

06:37 easye___ has quit [Remote host closed the connection]

06:40 varjag has joined #commonlisp

06:55 easye____ has joined #commonlisp

06:57 danse-nr3 has joined #commonlisp

07:01 crumbles has quit [Quit: ZNC - https://znc.in]

07:07 danse-nr3 has quit [Remote host closed the connection]

07:07 danse-nr3 has joined #commonlisp

07:07 easye____ has quit [Remote host closed the connection]

07:16 msavoritias has joined #commonlisp

07:17 ymir has quit [Ping timeout: 268 seconds]

07:21 rgherdt has joined #commonlisp

07:21 tok has joined #commonlisp

07:22 amb007 has quit [Ping timeout: 268 seconds]

07:23 amb007 has joined #commonlisp

07:24 attila_lendvai has joined #commonlisp

07:25 <Shinmera> Day two of ELS is now live. https://www.twitch.tv/elsconf

07:25 <ixelp> Twitch

07:29 clock` has joined #commonlisp

07:29 clock` is now known as skyler544

07:34 bitspook has quit [Remote host closed the connection]

07:34 amb007 has quit [Ping timeout: 260 seconds]

07:34 bitspook has joined #commonlisp

07:35 amb007 has joined #commonlisp

07:36 dino_tutter has joined #commonlisp

07:36 louis77 has joined #commonlisp

07:44 danse-nr3 has quit [Ping timeout: 264 seconds]

07:45 amb007 has quit [Read error: Connection reset by peer]

07:46 amb007 has joined #commonlisp

07:46 amb007 has quit [Read error: Connection reset by peer]

07:47 amb007 has joined #commonlisp

07:47 danza has joined #commonlisp

07:47 X-Scale has quit [Quit: Client closed]

07:51 amb007 has quit [Read error: Connection reset by peer]

07:52 danza has quit [Ping timeout: 246 seconds]

07:53 amb007 has joined #commonlisp

07:54 danse-nr3 has joined #commonlisp

07:54 danse-nr3 has quit [Remote host closed the connection]

07:55 danse-nr3 has joined #commonlisp

07:58 younder has quit [Remote host closed the connection]

08:07 younder has joined #commonlisp

08:20 skyler544 has quit [Ping timeout: 268 seconds]

08:26 danse-nr3 has quit [Remote host closed the connection]

08:27 danse-nr3 has joined #commonlisp

08:33 son0p has joined #commonlisp

08:34 danse-nr3 has quit [Read error: Connection reset by peer]

08:35 danse-nr3 has joined #commonlisp

08:37 bitspook has quit [Remote host closed the connection]

08:37 bitspook has joined #commonlisp

08:37 bitspook has quit [Remote host closed the connection]

08:38 bitspook has joined #commonlisp

08:47 louis77 has quit [Ping timeout: 246 seconds]

08:47 jweek has quit [Quit: Client closed]

08:49 danse-nr3 has quit [Ping timeout: 268 seconds]

08:49 danse-nr3 has joined #commonlisp

08:50 tfeb has joined #commonlisp

08:53 tfeb has quit [Client Quit]

09:04 aciep has joined #commonlisp

09:09 lxsameer has joined #commonlisp

09:10 mesuutt has quit [Ping timeout: 260 seconds]

09:11 louis77 has joined #commonlisp

09:13 Equill has quit [Quit: Gone offline]

09:14 louis77 has quit [Client Quit]

09:15 newbie has joined #commonlisp

09:17 louis77 has joined #commonlisp

09:25 pfdietz has quit [Quit: Client closed]

09:35 rogersm has joined #commonlisp

09:35 newbie is now known as Equill

09:36 Josh_2 has joined #commonlisp

09:38 <Josh_2> Hi :wave:

09:38 <Josh_2> ELS is on right, hopefully everyone is enjoying :thumbsup:

09:39 mesuutt has joined #commonlisp

09:42 bitspook has quit [Ping timeout: 250 seconds]

09:43 mesuutt has quit [Ping timeout: 256 seconds]

09:45 alto_ has joined #commonlisp

09:45 alto_ has quit [Remote host closed the connection]

09:47 * varjag couldn't attend it this year too sadly

09:51 awlygj has joined #commonlisp

09:51 AetherWind has joined #commonlisp

09:55 jweek has joined #commonlisp

09:58 X-Scale has joined #commonlisp

10:03 mm007emko has quit [Ping timeout: 260 seconds]

10:06 mm007emko has joined #commonlisp

10:07 awlygj has quit [Quit: Lost terminal]

10:09 amb007 has quit [Ping timeout: 260 seconds]

10:09 mesuutt has joined #commonlisp

10:10 amb007 has joined #commonlisp

10:10 iNomad has quit [Ping timeout: 256 seconds]

10:11 iNomad has joined #commonlisp

10:19 amb007 has quit [Read error: Connection reset by peer]

10:20 amb007 has joined #commonlisp

10:28 gooba has quit [Ping timeout: 240 seconds]

10:31 jweek has quit [Quit: Client closed]

10:34 mm007emko has quit [Read error: Connection reset by peer]

10:34 mm007emko has joined #commonlisp

10:34 Equill has quit [Quit: KVIrc 5.0.1 Aria http://www.kvirc.net/]

10:36 random-nick has joined #commonlisp

10:38 Rue has joined #commonlisp

10:49 jweek has joined #commonlisp

10:53 aciep has quit [Ping timeout: 272 seconds]

10:54 alcor has joined #commonlisp

10:55 Lord_of_Life_ has joined #commonlisp

10:56 Lord_of_Life has quit [Ping timeout: 268 seconds]

10:58 Lord_of_Life_ is now known as Lord_of_Life

11:06 phantomics_ has joined #commonlisp

11:07 zaymington has quit [Ping timeout: 268 seconds]

11:07 phantomics has quit [Ping timeout: 268 seconds]

11:09 bitspook has joined #commonlisp

11:13 aciep has joined #commonlisp

11:13 aciep` has joined #commonlisp

11:15 jweek has left #commonlisp [#commonlisp]

11:27 tok` has joined #commonlisp

11:27 tok has quit [Ping timeout: 260 seconds]

11:28 tok` has quit [Changing host]

11:28 tok` has joined #commonlisp

11:29 bitspook has quit [Remote host closed the connection]

11:30 bitspook has joined #commonlisp

11:31 tok` is now known as tok

11:34 danse-nr3 has quit [Ping timeout: 268 seconds]

11:36 decweb has joined #commonlisp

11:45 tok` has joined #commonlisp

11:46 X-Scale has quit [Quit: Client closed]

11:46 tok` has quit [Remote host closed the connection]

11:46 tok has quit [Killed (mercury.libera.chat (Nickname regained by services))]

11:47 tok has joined #commonlisp

11:47 decweb has quit [Ping timeout: 260 seconds]

11:53 X-Scale has joined #commonlisp

11:58 danse-nr3 has joined #commonlisp

12:00 aciep has quit [Remote host closed the connection]

12:00 aciep` has quit [Remote host closed the connection]

12:01 aciep has joined #commonlisp

12:10 dtman34 has quit [Ping timeout: 256 seconds]

12:20 decweb has joined #commonlisp

12:32 attila_lendvai has quit [Ping timeout: 268 seconds]

12:38 edgar-rfx has joined #commonlisp

12:40 yitzi has joined #commonlisp

12:42 edgar-rft has quit [Ping timeout: 256 seconds]

12:48 danieli6 has joined #commonlisp

12:49 danse-nr3 has quit [Ping timeout: 268 seconds]

12:50 danieli has quit [Ping timeout: 240 seconds]

12:50 danieli6 is now known as danieli

12:51 danse-nr3 has joined #commonlisp

12:55 edgar-rfx is now known as edgar-rft

12:57 ocra8 has joined #commonlisp

13:12 varjag has quit [Quit: ERC (IRC client for Emacs 27.1)]

13:21 zaymington has joined #commonlisp

13:34 cage has joined #commonlisp

13:36 bitspook has quit [Remote host closed the connection]

13:37 bitspook has joined #commonlisp

13:40 pfdietz has joined #commonlisp

13:40 Rue has left #commonlisp [WeeChat 4.2.2]

13:49 X-Scale has quit [Ping timeout: 250 seconds]

13:52 dlowe has joined #commonlisp

13:53 micro has quit [Ping timeout: 268 seconds]

13:57 scymtym has quit [Remote host closed the connection]

13:58 scymtym has joined #commonlisp

14:01 micro has joined #commonlisp

14:03 pfdietz has quit [Quit: Client closed]

14:05 bitspook has quit [Ping timeout: 250 seconds]

14:06 bitspook has joined #commonlisp

14:10 bitspook has quit [Ping timeout: 250 seconds]

14:18 aciep has quit [Ping timeout: 264 seconds]

14:21 Posterdati has quit [Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/]

14:22 jonatack has quit [Ping timeout: 264 seconds]

14:22 Posterdati has joined #commonlisp

14:22 bitspook has joined #commonlisp

14:24 danse-nr3 has quit [Remote host closed the connection]

14:24 danse-nr3 has joined #commonlisp

14:27 bitspook has quit [Ping timeout: 250 seconds]

14:40 yitzi has quit [Remote host closed the connection]

14:40 cdegroot has joined #commonlisp

14:46 dtman34 has joined #commonlisp

14:55 seanw has quit [Remote host closed the connection]

14:58 seanw has joined #commonlisp

15:01 danse-nr3 has quit [Ping timeout: 256 seconds]

15:08 danse-nr3 has joined #commonlisp

15:11 <green_> Interesting package update :) https://paste.centos.org/view/434d62ef

15:11 <ixelp> UNTITLED - Pastebin Service

15:17 NotThatRPG has joined #commonlisp

15:21 bitspook has joined #commonlisp

15:38 ymir has joined #commonlisp

15:45 danse-nr3 has quit [Ping timeout: 264 seconds]

15:50 amb007 has quit [Ping timeout: 260 seconds]

15:51 amb007 has joined #commonlisp

15:54 mesuutt has quit [Ping timeout: 255 seconds]

15:55 yitzi has joined #commonlisp

15:58 rainthree has joined #commonlisp

16:01 mm007emko has quit [Ping timeout: 252 seconds]

16:01 mm007emko has joined #commonlisp

16:15 green_ has quit [Ping timeout: 252 seconds]

16:29 zaymington has quit [Remote host closed the connection]

16:29 reb has quit [Remote host closed the connection]

16:29 zaymington has joined #commonlisp

16:30 green_ has joined #commonlisp

16:39 pfdietz has joined #commonlisp

17:05 wacki has joined #commonlisp

17:07 X-Scale has joined #commonlisp

17:09 rgherdt_ has joined #commonlisp

17:14 rgherdt has quit [Ping timeout: 268 seconds]

17:19 danza has joined #commonlisp

17:22 danza has quit [Remote host closed the connection]

17:22 mesuutt has joined #commonlisp

17:22 danza has joined #commonlisp

17:24 tfeb has joined #commonlisp

17:25 danza has quit [Remote host closed the connection]

17:25 danza has joined #commonlisp

17:26 tfeb has quit [Client Quit]

17:26 mesuutt has quit [Ping timeout: 260 seconds]

17:31 amb007 has quit [Ping timeout: 260 seconds]

17:31 amb007 has joined #commonlisp

17:35 green_ has quit [Ping timeout: 246 seconds]

17:37 mm007emko has quit [Read error: Connection reset by peer]

17:37 mesuutt has joined #commonlisp

17:38 mm007emko has joined #commonlisp

17:42 mesuutt has quit [Ping timeout: 240 seconds]

17:42 younder has quit [Remote host closed the connection]

17:44 younder has joined #commonlisp

17:48 X-Scale has quit [Ping timeout: 250 seconds]

17:49 danza has quit [Remote host closed the connection]

17:49 danza has joined #commonlisp

17:52 danza has quit [Max SendQ exceeded]

17:53 danza has joined #commonlisp

17:53 X-Scale has joined #commonlisp

17:58 danza has quit [Ping timeout: 252 seconds]

18:05 kdlv has joined #commonlisp

18:23 green_ has joined #commonlisp

18:29 rgherdt_ has quit [Read error: Connection reset by peer]

18:29 rgherdt has joined #commonlisp

18:32 wacki has quit [Ping timeout: 268 seconds]

18:34 msavoritias has quit [Ping timeout: 264 seconds]

18:34 wacki has joined #commonlisp

18:39 _cymew_ has joined #commonlisp

18:39 mesuutt has joined #commonlisp

18:40 boogsbunny has joined #commonlisp

18:43 mesuutt has quit [Ping timeout: 252 seconds]

18:54 rainthree has quit [Read error: Connection reset by peer]

19:31 jonatack has joined #commonlisp

19:40 mesuutt has joined #commonlisp

19:41 ymir has quit [Ping timeout: 252 seconds]

19:45 mesuutt has quit [Ping timeout: 260 seconds]

19:58 aciep has joined #commonlisp

20:00 AetherWind has quit [Quit: leaving]

20:01 X-Scale has quit [Ping timeout: 250 seconds]

20:07 _cymew_ has quit [Ping timeout: 260 seconds]

20:08 waleee has joined #commonlisp

20:09 cage has quit [Quit: rcirc on GNU Emacs 29.3]

20:15 josrr has joined #commonlisp

20:24 wacki has quit [Quit: My iMac has gone to sleep. ZZZzzz…]

20:25 mesuutt has joined #commonlisp

20:28 bitspook has quit [Ping timeout: 250 seconds]

20:33 Devon has joined #commonlisp

20:35 Devon7 has joined #commonlisp

20:35 Devon has left #commonlisp [#commonlisp]

20:52 aciep has quit [Ping timeout: 255 seconds]

20:52 ymir has joined #commonlisp

20:56 yitzi has quit [Remote host closed the connection]

20:57 bitspook has joined #commonlisp

21:02 bitspook has quit [Ping timeout: 250 seconds]

21:06 Devon7 has quit [Read error: Connection reset by peer]

21:10 lxsameer has quit [Ping timeout: 272 seconds]

21:15 mesuutt has quit [Ping timeout: 268 seconds]

21:18 Devon has joined #commonlisp

21:19 alcor has quit [Ping timeout: 264 seconds]

21:25 shka has quit [Ping timeout: 268 seconds]

21:26 mariari has quit [Read error: Connection reset by peer]

21:26 tok has quit [Remote host closed the connection]

21:42 johnjaye has quit [Ping timeout: 260 seconds]

21:43 mariari has joined #commonlisp

21:50 Devon has quit [Ping timeout: 272 seconds]

21:58 mesuutt has joined #commonlisp

22:01 amb007 has quit [Ping timeout: 255 seconds]

22:03 mesuutt has quit [Ping timeout: 268 seconds]

22:05 ymir has quit [Ping timeout: 260 seconds]

22:05 mathrick has quit [Ping timeout: 264 seconds]

22:12 ymir has joined #commonlisp

22:16 <_death> is there already a location for the next ELS?

22:25 bitspook has joined #commonlisp

22:25 Pixel_Outlaw has joined #commonlisp

22:26 johnjaye has joined #commonlisp

22:27 dino_tutter has quit [Ping timeout: 260 seconds]

22:29 bitspook has quit [Ping timeout: 250 seconds]

22:30 mathrick has joined #commonlisp

22:40 zaymington has quit [Quit: Sleep]

22:41 Perflosopher has quit [Quit: The Lounge - https://thelounge.chat]

22:41 <edgar-rft> the location probably already exists, only still nobody knows that ELS will happen there :-)

22:55 <green_> zurich

22:56 tibfulv has quit [Remote host closed the connection]

22:57 tibfulv has joined #commonlisp

22:58 mesuutt has joined #commonlisp

23:00 green_ has quit [Ping timeout: 255 seconds]

23:02 mesuutt has quit [Ping timeout: 256 seconds]

23:04 Josh_2 has quit [Ping timeout: 260 seconds]

23:07 green_ has joined #commonlisp

23:08 green_ has quit [Client Quit]

23:11 mathrick has quit [Remote host closed the connection]

23:13 mathrick has joined #commonlisp

23:16 <fourier> In asdf, how to get the path to the particular compiled file (generated by :cffi-wrapper-file ) ?

23:19 rgherdt has quit [Quit: Leaving]

23:27 pve has quit [Quit: leaving]

23:28 amb007 has joined #commonlisp

23:33 synchrom1 has quit [Quit: WeeChat 4.0.5]

23:33 amb007 has quit [Ping timeout: 260 seconds]

23:34 waleee has quit [Ping timeout: 272 seconds]

23:36 waleee has joined #commonlisp

23:40 synchromesh has joined #commonlisp

23:49 mesuutt has joined #commonlisp

23:52 synchromesh has quit [Quit: WeeChat 4.0.5]

23:53 mesuutt has quit [Ping timeout: 256 seconds]