#commonlisp on 2025-05-27 — 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 tuck has quit [Ping timeout: 248 seconds]

00:07 fart_cat has quit [Quit: reboot]

00:09 fart_cat has joined #commonlisp

00:27 dlowe has quit [Ping timeout: 244 seconds]

00:28 dlowe has joined #commonlisp

00:52 markb1 has quit [Ping timeout: 252 seconds]

01:00 bjorkintosh has quit [Ping timeout: 260 seconds]

01:04 markb1 has joined #commonlisp

01:04 bjorkintosh has joined #commonlisp

01:04 bjorkintosh has quit [Changing host]

01:16 akoana has quit [Quit: leaving]

01:23 edgar-rft` has quit [Ping timeout: 276 seconds]

01:31 edgar-rft has joined #commonlisp

01:32 pyooque has joined #commonlisp

01:32 puke is now known as Guest6057

01:32 Guest6057 has quit [Killed (mercury.libera.chat (Nickname regained by services))]

01:32 pyooque is now known as puke

01:33 bjorkintosh has quit [Remote host closed the connection]

01:34 bjorkintosh has joined #commonlisp

01:43 spdegabrielle has quit [Quit: Connection closed for inactivity]

01:53 yazz has joined #commonlisp

02:09 admich1 has quit [Ping timeout: 248 seconds]

02:10 admich1 has joined #commonlisp

02:14 ello_ has quit [Quit: ZNC 1.9.1 - https://znc.in]

02:21 random-nick has quit [Ping timeout: 252 seconds]

02:58 mange has joined #commonlisp

03:16 rbcarleton has quit [Quit: rbcarleton]

03:19 admich1 has quit [Read error: Connection reset by peer]

03:19 ello has quit [Quit: ZNC 1.9.1 - https://znc.in]

03:20 admich1 has joined #commonlisp

03:23 ello has joined #commonlisp

03:24 ello_ has joined #commonlisp

03:25 ello_ has quit [Read error: Connection reset by peer]

03:25 ello has quit [Read error: Connection reset by peer]

03:28 ello has joined #commonlisp

03:30 ello_ has joined #commonlisp

04:22 _whitelogger has joined #commonlisp

04:22 admich1 has joined #commonlisp

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

04:39 triffid has quit [Remote host closed the connection]

04:56 Lord_of_Life_ has joined #commonlisp

04:57 notzmv has quit [Ping timeout: 245 seconds]

04:57 Lord_of_Life has quit [Ping timeout: 248 seconds]

04:58 Lord_of_Life_ is now known as Lord_of_Life

05:00 dieggsy has left #commonlisp [ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)]

05:18 Guest7630 has joined #commonlisp

05:24 Oddity has quit [Ping timeout: 260 seconds]

05:40 triffid has joined #commonlisp

05:44 chomwitt has joined #commonlisp

05:54 pve has joined #commonlisp

05:59 attila_lendvai has joined #commonlisp

06:03 mgl has joined #commonlisp

06:05 ingeniot has joined #commonlisp

06:07 admich1 has quit [Ping timeout: 245 seconds]

06:10 admich1 has joined #commonlisp

06:19 admich1 has quit [Ping timeout: 252 seconds]

06:20 admich1 has joined #commonlisp

06:21 ingeniot has quit [Ping timeout: 260 seconds]

06:41 rootnode has quit [Quit: ZNC 1.8.2 - https://znc.in]

06:41 rootnode has joined #commonlisp

06:41 rootnode has quit [Changing host]

06:41 rootnode has joined #commonlisp

06:46 rgherdt has joined #commonlisp

07:00 markb1 has quit [Ping timeout: 248 seconds]

07:00 donlcn has joined #commonlisp

07:02 Guest7630 has quit [Quit: WeeChat 4.6.3]

07:03 ingeniot has joined #commonlisp

07:12 markb1 has joined #commonlisp

07:23 apac has joined #commonlisp

07:24 Ruby has quit [Quit: ZNC - https://znc.in]

07:25 rgherdt` has joined #commonlisp

07:26 rgherdt has quit [Ping timeout: 248 seconds]

07:27 Ruby has joined #commonlisp

07:28 Guest47 has joined #commonlisp

07:31 rgherdt`` has joined #commonlisp

07:32 istewart has quit [Quit: Konversation terminated!]

07:35 rgherdt`` has quit [Remote host closed the connection]

07:35 GalaxyNova has quit [Ping timeout: 276 seconds]

07:35 rgherdt` has quit [Ping timeout: 248 seconds]

07:35 rgherdt`` has joined #commonlisp

07:37 apac has quit [Ping timeout: 244 seconds]

07:37 King_julian has quit [Read error: Connection reset by peer]

07:41 donlcn has quit [Ping timeout: 252 seconds]

07:43 King_julian has joined #commonlisp

07:57 varjag has joined #commonlisp

07:59 zwrr has quit [Read error: Connection reset by peer]

08:05 zwr has joined #commonlisp

08:13 Guest47 has quit [Quit: Textual IRC Client: www.textualapp.com]

08:17 markb1 has quit [Ping timeout: 260 seconds]

08:29 markb1 has joined #commonlisp

08:39 donlcn has joined #commonlisp

09:09 JuanDaugherty has joined #commonlisp

09:37 anticomputer has quit [Remote host closed the connection]

09:38 anticomputer has joined #commonlisp

09:46 chomwitt has quit [Ping timeout: 268 seconds]

09:53 donlcn has quit [Remote host closed the connection]

09:53 donlcn has joined #commonlisp

10:15 scymtym has quit [Ping timeout: 252 seconds]

10:15 scymtym has joined #commonlisp

10:21 admich1 has quit [Ping timeout: 265 seconds]

10:22 admich1 has joined #commonlisp

10:36 pranav has quit [Remote host closed the connection]

10:46 donlcn has quit [Remote host closed the connection]

10:46 donlcn has joined #commonlisp

10:50 pranav has joined #commonlisp

10:56 rbcarleton has joined #commonlisp

10:59 bjorkintosh has quit [Remote host closed the connection]

10:59 bjorkintosh has joined #commonlisp

11:00 ingeniot has quit [Ping timeout: 268 seconds]

11:03 JuanDaugherty has quit [Quit: praxis.meansofproduction.biz (juan@acm.org)]

11:29 ingeniot has joined #commonlisp

11:41 tuck has joined #commonlisp

11:47 famicom_guy has quit [Quit: ZNC 1.8.2 - https://znc.in]

11:47 famicom_guy has joined #commonlisp

11:51 donlcn has quit [Ping timeout: 252 seconds]

11:58 rbcarleton has quit [Quit: rbcarleton]

12:05 ejohnson has quit [Ping timeout: 244 seconds]

12:07 decweb has joined #commonlisp

12:07 ejohnson has joined #commonlisp

12:15 markb1 has quit [Ping timeout: 268 seconds]

12:25 admich1 has quit [Ping timeout: 265 seconds]

12:27 Oddity has joined #commonlisp

12:27 admich1 has joined #commonlisp

12:28 markb1 has joined #commonlisp

12:34 zwr has quit [Ping timeout: 276 seconds]

12:37 tuck has quit [Ping timeout: 260 seconds]

12:47 random-nick has joined #commonlisp

12:51 zwr has joined #commonlisp

12:55 markb1 has quit [Ping timeout: 276 seconds]

12:55 markb1 has joined #commonlisp

13:03 ingeniot has quit [Ping timeout: 245 seconds]

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

13:10 admich1 has joined #commonlisp

13:19 brokkoli_origin has quit [Ping timeout: 248 seconds]

13:20 tuck has joined #commonlisp

13:22 wbooze has quit [Quit: Leaving]

13:28 brokkoli_origin has joined #commonlisp

13:28 varjag has quit [Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)]

13:38 donlcn has joined #commonlisp

14:01 admich1 has quit [Ping timeout: 252 seconds]

14:03 admich1 has joined #commonlisp

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

14:03 admich1 has joined #commonlisp

14:09 jonatack has quit [Ping timeout: 245 seconds]

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

14:13 admich1 has joined #commonlisp

14:13 <soweli_iki> the CSS is shiny but it seems like the novaspec leaves out a lot of information

14:14 <beach> Like what?

14:15 <soweli_iki> hm, maybe i was just looking at a bad example. now that i search all of the information (besides X3J13 cleanup issues) seems to be there. ignore me lol

14:16 mange has quit [Quit: Zzz...]

14:17 jonatack has joined #commonlisp

14:18 rtypo has quit [Ping timeout: 260 seconds]

14:19 chomwitt has joined #commonlisp

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

14:23 admich1 has joined #commonlisp

14:24 jonatack has quit [Ping timeout: 265 seconds]

14:26 JuanDaugherty has joined #commonlisp

14:28 ewig has joined #commonlisp

14:33 molson_ has quit [Read error: Connection reset by peer]

14:34 molson_ has joined #commonlisp

14:41 bjorkint0sh has joined #commonlisp

14:42 admich1 has quit [Ping timeout: 252 seconds]

14:43 bjorkintosh has quit [Ping timeout: 276 seconds]

14:43 admich1 has joined #commonlisp

14:46 bjorkint0sh has quit [Ping timeout: 260 seconds]

14:49 JuanDaugherty has quit [Quit: praxis.meansofproduction.biz (juan@acm.org)]

14:52 theruran has joined #commonlisp

15:06 bjorkintosh has joined #commonlisp

15:11 robin has joined #commonlisp

15:20 zxcvz has joined #commonlisp

15:33 chomwitt has quit [Ping timeout: 272 seconds]

15:38 mrvdb has quit [Quit: ZNC 1.9.1 - https://znc.in]

15:39 mrvdb has joined #commonlisp

15:42 bjorkintosh has quit [Ping timeout: 260 seconds]

15:52 ello has quit [Quit: ZNC 1.9.1 - https://znc.in]

15:53 ello has joined #commonlisp

15:59 zxcvz has quit [Quit: zxcvz]

15:59 donlcn has quit [Ping timeout: 276 seconds]

15:59 ello has quit [Quit: ZNC 1.9.1 - https://znc.in]

16:00 ello has joined #commonlisp

16:01 ello has quit [Remote host closed the connection]

16:03 ello has joined #commonlisp

16:06 jonatack has joined #commonlisp

16:07 wbooze has joined #commonlisp

16:17 bjorkintosh has joined #commonlisp

16:17 bjorkintosh has quit [Changing host]

16:20 ello_ has quit [Quit: ZNC 1.9.1 - https://znc.in]

16:26 chomwitt has joined #commonlisp

16:26 admich1 has quit [Ping timeout: 252 seconds]

16:27 admich1 has joined #commonlisp

16:28 ello has quit [Quit: ZNC 1.9.1 - https://znc.in]

16:29 ello has joined #commonlisp

16:32 ello_ has joined #commonlisp

16:33 tfeb has joined #commonlisp

16:36 tfeb has quit [Client Quit]

16:38 thuna` has joined #commonlisp

17:08 apac has joined #commonlisp

17:13 wbooze has quit [Quit: Leaving]

17:19 rgherdt`` is now known as rgherdt

17:22 bjorkintosh has quit [Quit: "Every day, computers are making people easier to use." David Temkin]

17:31 donlcn has joined #commonlisp

17:48 brokkoli_origin has quit [Ping timeout: 245 seconds]

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

18:03 brokkoli_origin has joined #commonlisp

18:35 istewart has joined #commonlisp

18:41 ingeniot has joined #commonlisp

18:43 brokkoli_origin has quit [Ping timeout: 260 seconds]

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

18:44 admich1 has joined #commonlisp

18:51 jonatack has joined #commonlisp

18:56 Gleefre has quit [Remote host closed the connection]

18:56 rtypo has joined #commonlisp

19:03 brokkoli_origin has joined #commonlisp

19:14 JuanDaugherty has joined #commonlisp

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

19:28 rgherdt has quit [Ping timeout: 272 seconds]

19:49 ingeniot has quit [Ping timeout: 244 seconds]

19:59 admich1 has quit [Ping timeout: 252 seconds]

20:00 admich1 has joined #commonlisp

20:10 donlcn has quit [Ping timeout: 265 seconds]

20:12 pve has quit [Quit: leaving]

20:15 markb1 has quit [Ping timeout: 265 seconds]

20:24 admich1 has quit [Ping timeout: 248 seconds]

20:26 dra has joined #commonlisp

20:26 dra has quit [Changing host]

20:26 dra has joined #commonlisp

20:26 admich1 has joined #commonlisp

20:28 markb1 has joined #commonlisp

20:29 robin has quit [Ping timeout: 260 seconds]

20:31 donlcn has joined #commonlisp

20:33 robin has joined #commonlisp

20:37 rgherdt has joined #commonlisp

20:40 tuck has quit [Ping timeout: 244 seconds]

20:51 Gleefre has joined #commonlisp

21:03 kevingal has joined #commonlisp

21:03 dra has quit [Read error: Connection reset by peer]

21:07 markb1 has quit [Ping timeout: 265 seconds]

21:09 markb1 has joined #commonlisp

21:15 apac has quit [Ping timeout: 244 seconds]

21:31 chomwitt has quit [Ping timeout: 252 seconds]

21:35 thuna` has quit [Ping timeout: 260 seconds]

21:36 markb1 has quit [Ping timeout: 276 seconds]

21:47 random-nick has quit [Read error: Connection reset by peer]

21:47 markb1 has joined #commonlisp

21:58 random-nick has joined #commonlisp

21:59 kevingal has quit [Ping timeout: 272 seconds]

22:01 dra has joined #commonlisp

22:10 mgl has quit []

22:14 JuanDaugherty has quit [Quit: praxis.meansofproduction.biz (juan@acm.org)]

22:21 kevingal has joined #commonlisp

22:29 rbcarleton has joined #commonlisp

22:43 rbcarleton has quit [Quit: rbcarleton]

22:52 Gleefre has quit [Ping timeout: 240 seconds]

23:01 dra has quit [Ping timeout: 276 seconds]

23:04 donlcn has quit [Ping timeout: 276 seconds]

23:04 markb1 has quit [Ping timeout: 252 seconds]

23:05 bjorkintosh has joined #commonlisp

23:05 bjorkintosh has quit [Changing host]

23:12 bjorkintosh has quit [Quit: "Every day, computers are making people easier to use." David Temkin]

23:15 bjorkintosh has joined #commonlisp

23:16 Alfr is now known as Guest2112

23:16 Alfr has joined #commonlisp

23:17 markb1 has joined #commonlisp

23:19 Guest2112 has quit [Ping timeout: 252 seconds]

23:24 markb1 has quit [Ping timeout: 265 seconds]

23:24 markb1 has joined #commonlisp

23:25 rgherdt has quit [Read error: Connection reset by peer]

23:30 mange has joined #commonlisp

23:30 Alfr has quit [Ping timeout: 252 seconds]

23:34 robin_ has joined #commonlisp

23:37 robin has quit [Ping timeout: 276 seconds]

23:37 bjorkintosh has quit [Quit: "Every day, computers are making people easier to use." David Temkin]

23:38 kevingal has quit [Ping timeout: 272 seconds]

23:53 screwlisp has joined #commonlisp

23:53 <screwlisp> o/

23:55 <screwlisp> Type theory discussion today, written notes from edrx, dm, andrej bauer (whom was not warned), common lisp types. Other notes from my https://screwlisp.small-web.org . edrx published my gnuplot eev sbcl eepitch. Going live in 5 minutes https://anonradio.net:8443/anonradio . I'll keep half an eye here for your comments and criticism ;p