#commonlisp on 2025-08-25 — irc logs at libera.catirclogs.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:03 istewart has joined #commonlisp

00:05 admich1 has quit [Ping timeout: 255 seconds]

00:06 admich1 has joined #commonlisp

00:11 fosskers has joined #commonlisp

00:22 eddof13 has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

00:32 nullbath has quit [Remote host closed the connection]

01:04 kchanqvq3 has joined #commonlisp

01:08 kchanqvq48 has quit [Ping timeout: 250 seconds]

01:17 chomwitt has quit [Ping timeout: 248 seconds]

01:25 kchanqvq3 is now known as kchanqvq

01:29 Lord_of_Life has joined #commonlisp

01:36 leeb_ has joined #commonlisp

01:36 leeb has quit [Ping timeout: 248 seconds]

01:57 ski has quit [Remote host closed the connection]

02:01 kchanqvq45 has joined #commonlisp

02:04 kchanqvq has quit [Ping timeout: 250 seconds]

02:08 nullbath has joined #commonlisp

02:16 kchanqvq91 has joined #commonlisp

02:19 kchanqvq45 has quit [Ping timeout: 250 seconds]

02:28 cow_2001 has quit [Quit: ✡]

02:34 cow_2001 has joined #commonlisp

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

02:43 terrorjack has joined #commonlisp

03:04 kchanqvq7 has joined #commonlisp

03:07 kchanqvq36 has joined #commonlisp

03:08 kchanqvq91 has quit [Ping timeout: 250 seconds]

03:11 kchanqvq7 has quit [Ping timeout: 250 seconds]

03:13 kchanqvq59 has joined #commonlisp

03:17 kchanqvq36 has quit [Ping timeout: 250 seconds]

03:32 gooba has quit [Read error: Connection reset by peer]

03:37 gooba has joined #commonlisp

03:38 rodrigo-morales has quit [Server closed connection]

03:41 rodrigo-morales has joined #commonlisp

03:42 X-Scale has quit [Ping timeout: 248 seconds]

03:47 X-Scale has joined #commonlisp

04:02 kchanqvq51 has joined #commonlisp

04:04 Oladon has joined #commonlisp

04:06 decweb has quit [Quit: Konversation terminated!]

04:06 kchanqvq59 has quit [Ping timeout: 250 seconds]

04:08 admich1 has quit [Ping timeout: 244 seconds]

04:08 admich1 has joined #commonlisp

04:25 kchanqvq45 has joined #commonlisp

04:29 kchanqvq51 has quit [Ping timeout: 250 seconds]

04:30 Moon_Rabbit has quit [Server closed connection]

04:30 Moon_Rabbit has joined #commonlisp

04:31 X-Scale has quit [Ping timeout: 248 seconds]

04:34 kchanqvq82 has joined #commonlisp

04:36 kchanqvq21 has joined #commonlisp

04:37 kchanqvq45 has quit [Ping timeout: 250 seconds]

04:38 reb`````` has joined #commonlisp

04:38 Noisytoot_ has joined #commonlisp

04:38 Noisytoot is now known as Guest6327

04:38 Guest6327 has quit [Killed (cadmium.libera.chat (Nickname regained by services))]

04:38 Noisytoot_ is now known as Noisytoot

04:38 rolling-lambda_ has joined #commonlisp

04:38 sjl has quit [Ping timeout: 258 seconds]

04:39 TMA has quit [Ping timeout: 258 seconds]

04:39 Spawns has joined #commonlisp

04:39 Spawns_Carpeting has quit [Ping timeout: 258 seconds]

04:39 rolling-lambda has quit [Ping timeout: 258 seconds]

04:39 reb````` has quit [Ping timeout: 258 seconds]

04:39 foretspa1sibles has quit [Ping timeout: 258 seconds]

04:40 kchanqvq82 has quit [Ping timeout: 250 seconds]

04:40 TMA has joined #commonlisp

04:45 wohonajax has quit [Quit: leaving]

04:46 foretspa1sibles has joined #commonlisp

04:46 arpunk has quit [Ping timeout: 258 seconds]

04:48 delyan_ has quit [Quit: Updating details, brb]

04:48 megeve has joined #commonlisp

04:53 sjl has joined #commonlisp

04:56 wavedepletion has joined #commonlisp

04:57 arpunk has joined #commonlisp

04:58 msv has joined #commonlisp

05:06 kchanqvq27 has joined #commonlisp

05:09 kchanqvq21 has quit [Ping timeout: 250 seconds]

05:16 edgar-rft` has joined #commonlisp

05:17 kchanqvq85 has joined #commonlisp

05:18 kchanqvq23 has joined #commonlisp

05:21 kchanqvq27 has quit [Ping timeout: 250 seconds]

05:21 edgar-rft has quit [Ping timeout: 272 seconds]

05:22 kchanqvq76 has joined #commonlisp

05:22 kchanqvq85 has quit [Ping timeout: 250 seconds]

05:25 kchanqvq9 has joined #commonlisp

05:25 kchanqvq23 has quit [Ping timeout: 250 seconds]

05:26 kchanqvq94 has joined #commonlisp

05:29 kchanqvq76 has quit [Ping timeout: 250 seconds]

05:30 kchanqvq9 has quit [Ping timeout: 250 seconds]

05:43 fermat has quit [Server closed connection]

05:43 fermat has joined #commonlisp

05:44 istewart has quit [Quit: Konversation terminated!]

05:47 masinter has quit [Server closed connection]

05:47 masinter has joined #commonlisp

05:53 pve has joined #commonlisp

05:55 kchanqvq94 is now known as kchanqvq

05:59 King_julian has joined #commonlisp

05:59 metalisp has joined #commonlisp

06:00 <metalisp> o/

06:01 <inline> jo

06:16 earl-ducaine_ has joined #commonlisp

06:24 wavedepletion has quit [Quit: Terminus Est]

06:58 Lord_of_Life has quit [Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine]

06:59 Lord_of_Life has joined #commonlisp

06:59 admich1 has quit [Read error: Connection reset by peer]

06:59 admich1 has joined #commonlisp

07:09 Lord_of_Life has quit [Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine]

07:10 Lord_of_Life has joined #commonlisp

07:14 Lord_of_Life has quit [Read error: Connection reset by peer]

07:20 ingeniot has joined #commonlisp

07:26 X-Scale has joined #commonlisp

07:31 Oladon has quit [Quit: Leaving.]

07:33 attila_lendvai has joined #commonlisp

07:44 mgl_ has joined #commonlisp

07:45 d4ryus has quit [Ping timeout: 252 seconds]

07:52 Lord_of_Life has joined #commonlisp

08:06 ingeniot has quit [Ping timeout: 258 seconds]

08:09 fgarcia has quit [Ping timeout: 248 seconds]

08:19 fgarcia has joined #commonlisp

08:23 kchanqvq has quit [Quit: Client closed]

08:23 kchanqvq has joined #commonlisp

08:28 dcb has quit [Server closed connection]

08:28 dcb has joined #commonlisp

08:37 Ruby2 has quit [Quit: ZNC - https://znc.in]

08:38 rgherdt has joined #commonlisp

08:40 Ruby has joined #commonlisp

08:49 fgarcia has quit [Quit: Remote host closed the connection]

08:51 <beach> Hello metalisp. Hello inline.

09:02 fosskers has quit [Remote host closed the connection]

09:03 TactfulCitrus has joined #commonlisp

09:08 TactfulCitrus has quit [Ping timeout: 255 seconds]

09:20 fgarcia has joined #commonlisp

09:23 chomwitt has joined #commonlisp

09:24 notzmv has quit [Ping timeout: 248 seconds]

09:26 shka has quit [Quit: Konversation terminated!]

09:28 apac has joined #commonlisp

09:32 shka has joined #commonlisp

10:02 kchanqvq has quit [Quit: Client closed]

10:03 kchanqvq has joined #commonlisp

10:03 mwnaylor has joined #commonlisp

10:17 kchanqvq has quit [Quit: Client closed]

10:18 kchanqvq has joined #commonlisp

10:36 apac has quit [Quit: Konversation terminated!]

10:36 apa_c has joined #commonlisp

10:40 ski has joined #commonlisp

10:55 alanz has quit [Server closed connection]

10:55 alanz has joined #commonlisp

10:58 admich1 has quit [Read error: Connection reset by peer]

11:03 prokhor has quit [Ping timeout: 272 seconds]

11:24 mwnaylor has quit [Ping timeout: 248 seconds]

11:25 mwnaylor has joined #commonlisp

11:25 Lord_of_Life_ has joined #commonlisp

11:25 Lord_of_Life has quit [Ping timeout: 258 seconds]

11:28 Lord_of_Life_ is now known as Lord_of_Life

11:31 msv has quit [Remote host closed the connection]

11:36 apa_c has quit [Ping timeout: 258 seconds]

11:38 ae-chat has joined #commonlisp

11:38 ae-chat has quit [Changing host]

11:38 ae-chat has joined #commonlisp

11:40 admich1 has joined #commonlisp

11:41 metalisp` has joined #commonlisp

11:41 jonatack has joined #commonlisp

11:42 ae-chat has left #commonlisp [#commonlisp]

11:43 metalisp has quit [Ping timeout: 256 seconds]

12:00 decweb has joined #commonlisp

12:02 lcn_ has joined #commonlisp

12:07 decweb has quit [Quit: Konversation terminated!]

12:13 metalisp` has quit [Remote host closed the connection]

12:24 ewig has joined #commonlisp

12:24 decweb has joined #commonlisp

12:28 mwnaylor has quit [Ping timeout: 256 seconds]

12:29 mwnaylor has joined #commonlisp

12:32 decweb has quit [Quit: Konversation terminated!]

12:35 mwnaylor has quit [Ping timeout: 256 seconds]

12:35 Lycurgus has joined #commonlisp

12:45 bpanthi977 has quit [Ping timeout: 260 seconds]

12:47 decweb has joined #commonlisp

13:06 earl-ducaine_ has quit [Quit: No Ping reply in 180 seconds.]

13:12 bpanthi977 has joined #commonlisp

13:16 X-Scale has quit [Ping timeout: 248 seconds]

13:23 rgherdt has quit [Ping timeout: 258 seconds]

13:26 apa_c has joined #commonlisp

13:31 bpanthi977 has quit [Remote host closed the connection]

13:31 bpanthi977 has joined #commonlisp

13:52 bpanthi977 has quit [Ping timeout: 256 seconds]

13:54 Farooq has quit [Remote host closed the connection]

13:56 bpanthi977 has joined #commonlisp

13:57 skin has joined #commonlisp

13:58 admich1 has quit [Ping timeout: 248 seconds]

13:58 admich1 has joined #commonlisp

14:01 bpanthi977 has quit [Remote host closed the connection]

14:01 bpanthi977 has joined #commonlisp

14:09 admich1 has quit [Read error: Connection reset by peer]

14:10 admich1 has joined #commonlisp

14:17 bpanthi977 has quit [Ping timeout: 258 seconds]

14:23 ixelp has quit [Ping timeout: 248 seconds]

14:25 zxcvz has joined #commonlisp

14:25 zxcvz has quit [Client Quit]

14:26 ixelp has joined #commonlisp

14:30 jon_atack has joined #commonlisp

14:30 ingeniot has joined #commonlisp

14:32 jonatack has quit [Ping timeout: 252 seconds]

14:37 bpanthi977 has joined #commonlisp

14:40 apac has joined #commonlisp

14:41 apa_c has quit [Ping timeout: 256 seconds]

14:41 markasoftware has quit [Server closed connection]

14:41 markasoftware has joined #commonlisp

14:43 ingeniot has quit [Ping timeout: 256 seconds]

14:46 wohonajax has joined #commonlisp

14:46 kchanqvq43 has joined #commonlisp

14:50 ec has joined #commonlisp

14:50 kchanqvq has quit [Ping timeout: 250 seconds]

14:54 treflip has joined #commonlisp

14:58 admich1 has quit [Read error: Connection reset by peer]

15:10 bpanthi977 has quit [Ping timeout: 245 seconds]

15:10 bpanthi977 has joined #commonlisp

15:15 zxcvz has joined #commonlisp

15:15 zxcvz has quit [Remote host closed the connection]

15:18 King_julian has quit [Read error: Connection reset by peer]

15:24 King_julian has joined #commonlisp

15:29 X-Scale has joined #commonlisp

15:33 admich1 has joined #commonlisp

15:38 bpanthi977 has quit [Ping timeout: 258 seconds]

15:47 bpanthi977 has joined #commonlisp

15:52 bpanthi977 has quit [Ping timeout: 256 seconds]

15:58 apac has quit [Ping timeout: 248 seconds]

16:07 logic_roar has joined #commonlisp

16:10 bpanthi977 has joined #commonlisp

16:15 apac has joined #commonlisp

16:15 bpanthi977 has quit [Ping timeout: 255 seconds]

16:18 rgherdt has joined #commonlisp

16:18 jonatack has joined #commonlisp

16:20 jon_atack has quit [Ping timeout: 255 seconds]

16:23 jon_atack has joined #commonlisp

16:25 jonatack has quit [Ping timeout: 256 seconds]

16:28 jonatack has joined #commonlisp

16:29 kchanqvq43 has quit [Quit: Client closed]

16:30 kchanqvq43 has joined #commonlisp

16:31 jon_atack has quit [Ping timeout: 256 seconds]

16:34 divlamir_ has joined #commonlisp

16:34 kchanqvq43 has quit [Ping timeout: 250 seconds]

16:37 divlamir has quit [Ping timeout: 260 seconds]

16:37 divlamir_ is now known as divlamir

16:37 jon_atack has joined #commonlisp

16:39 jonatack has quit [Ping timeout: 248 seconds]

16:42 jon_atack has quit [Quit: WeeChat 4.7.1]

16:44 jonatack has joined #commonlisp

16:54 <jackdaniel> I've added with success a CONS kingdom to Baker's subtypep procedure \o/

16:54 apac has quit [Ping timeout: 248 seconds]

16:54 apac has joined #commonlisp

16:54 <jackdaniel> a bit of cleaning and ECL will have shiny improved subtypep

16:55 <jackdaniel> perhaps that's material for els submission?

17:01 nullbath has quit [Ping timeout: 248 seconds]

17:06 logic_roar has left #commonlisp [Leaving]

17:11 apac has quit [Remote host closed the connection]

17:13 szkl has joined #commonlisp

17:35 treflip has quit [Ping timeout: 248 seconds]

17:42 <beach> Excellent! Yes, definitely ELS material.

17:43 nullbath has joined #commonlisp

17:48 bpanthi977 has joined #commonlisp

17:50 msv has joined #commonlisp

17:52 bpanthi977 has quit [Ping timeout: 256 seconds]

17:53 <beach> jackdaniel: I believe the EPITA people have at least one ELS paper that mentions Baker's SUBTYPEP, and you need to cite that/those paper(s). That way you won't make the same mistake Didier did with his paper on method combinations.

17:55 * beach is off for today.

17:57 lusciouslover has quit [Remote host closed the connection]

17:57 lusciouslover has joined #commonlisp

17:59 cage has joined #commonlisp

18:19 bpanthi977 has joined #commonlisp

18:28 bpanthi977 has quit [Ping timeout: 258 seconds]

18:44 mgl_ has quit [Remote host closed the connection]

18:47 MetaYan has quit [Server closed connection]

18:48 MetaYan has joined #commonlisp

18:51 bpanthi977 has joined #commonlisp

18:56 bpanthi977 has quit [Ping timeout: 258 seconds]

18:59 admich1 has quit [Read error: Connection reset by peer]

19:07 rakka has quit [Remote host closed the connection]

19:08 rakka has joined #commonlisp

19:10 khinsen has joined #commonlisp

19:11 bpanthi977 has joined #commonlisp

19:14 <Posterdati> hi

19:15 bpanthi977 has quit [Ping timeout: 245 seconds]

19:16 <Posterdati> please help I've got this error using drakma htt-request for telegram bot: getaddrinfo -11 (system error). After that I had to restart the slime/sbcl session because it won't open any files: too many open files... Any hints? Thanks!

19:18 <Posterdati> this happens using polling

19:19 bpanthi977 has joined #commonlisp

19:20 Lycurgus has quit [Quit: alsoknownas.renjuan.org ( juan@acm.org )]

19:21 bpanthi977 has quit [Client Quit]

19:22 bpanthi977 has joined #commonlisp

19:26 bpanthi977 has quit [Ping timeout: 245 seconds]

19:27 bpanthi977 has joined #commonlisp

19:28 admich1 has joined #commonlisp

19:28 bpanthi977 has quit [Read error: Connection reset by peer]

19:28 manwithluck has quit [Ping timeout: 256 seconds]

19:28 bpanthi977 has joined #commonlisp

19:28 <g-gundam> https://stackoverflow.com/questions/34588/how-do-i-change-the-number-of-open-files-limit-in-linux

19:28 <ixelp> How do I change the number of open files limit in Linux?

19:32 <Posterdati> ?

19:32 bpanthi977 has quit [Ping timeout: 256 seconds]

19:36 cage has quit [Remote host closed the connection]

19:37 bpanthi977 has joined #commonlisp

19:42 bpanthi977 has quit [Ping timeout: 248 seconds]

19:47 khinsen has left #commonlisp [#commonlisp]

19:47 mwnaylor has joined #commonlisp

19:53 attila_lendvai_ has joined #commonlisp

19:56 attila_lendvai has quit [Ping timeout: 256 seconds]

19:57 g-gundam has quit [Remote host closed the connection]

19:59 pve has quit [Quit: leaving]

20:05 ewig has quit [Remote host closed the connection]

20:07 <mesaoptimizer> Posterdati: use the link the previous person posted to increase the number of files you can keep open at the same time in Linux

20:15 rgherdt_ has joined #commonlisp

20:18 younder has joined #commonlisp

20:18 rgherdt has quit [Ping timeout: 256 seconds]

20:48 bpanthi977 has joined #commonlisp

21:05 skin has quit [Ping timeout: 256 seconds]

21:07 skin has joined #commonlisp

21:22 jon_atack has joined #commonlisp

21:24 jonatack has quit [Ping timeout: 252 seconds]

21:30 szkl has quit [Quit: Connection closed for inactivity]

21:34 mrcom_ has quit [Read error: Connection reset by peer]

21:34 rgherdt__ has joined #commonlisp

21:35 rgherdt_ has quit [Remote host closed the connection]

21:42 skin has quit [Quit: Lost terminal]

21:44 <decweb> And be sure to close files you aren't using...

21:46 Fade has quit [Changing host]

21:46 Fade has joined #commonlisp

21:50 attila_lendvai_ has quit [Ping timeout: 256 seconds]

21:54 Lycurgus has joined #commonlisp

22:03 eddof13 has joined #commonlisp

22:03 istewart has joined #commonlisp

22:05 ello has quit [Ping timeout: 252 seconds]

22:05 ello- has quit [Ping timeout: 252 seconds]

22:15 fristed has quit [Server closed connection]

22:16 fristed has joined #commonlisp

22:18 admich1 has quit [Ping timeout: 258 seconds]

22:19 admich1 has joined #commonlisp

22:24 <tux0r> on openbsd, a similar error message exists, but it is misleading: the file system needs to be mounted with wxallowed

22:26 chomwitt has quit [Ping timeout: 260 seconds]

22:26 rgherdt has joined #commonlisp

22:27 fristed has quit [Ping timeout: 258 seconds]

22:27 divlamir has quit [Ping timeout: 258 seconds]

22:27 MetaYan has quit [Ping timeout: 258 seconds]

22:27 fgarcia has quit [Ping timeout: 258 seconds]

22:28 rgherdt__ has quit [Ping timeout: 258 seconds]

22:28 divlamir has joined #commonlisp

22:29 fristed has joined #commonlisp

22:30 fgarcia has joined #commonlisp

22:31 Lord_of_Life has quit [Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine]

22:32 Lord_of_Life has joined #commonlisp

22:33 admich1 has quit [Remote host closed the connection]

22:34 admich1 has joined #commonlisp

22:40 MetaYan has joined #commonlisp

22:43 mwnaylor has quit [Ping timeout: 248 seconds]

22:47 nattsu has joined #commonlisp

22:56 jonatack has joined #commonlisp

22:56 jon_atack has quit [Ping timeout: 252 seconds]

22:59 lcn_ has quit [Remote host closed the connection]

23:15 baby_groot has joined #commonlisp

23:26 Lycurgus has quit [Quit: alsoknownas.renjuan.org ( juan@acm.org )]

23:28 Pixel_Outlaw has joined #commonlisp

23:44 rgherdt has quit [Remote host closed the connection]