#commonlisp on 2022-09-23 — 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:00 son0p has joined #commonlisp

00:00 eddof13 has joined #commonlisp

00:01 eddof13 has quit [Client Quit]

00:20 waleee has quit [Ping timeout: 264 seconds]

00:26 waleee has joined #commonlisp

00:35 waleee has quit [Ping timeout: 246 seconds]

01:07 waleee has joined #commonlisp

01:12 waleee has quit [Ping timeout: 246 seconds]

01:46 akoana has quit [Quit: leaving]

02:06 thuna` has quit [Quit: sleep]

02:29 ttree has quit [Ping timeout: 264 seconds]

02:41 cercopith_ has quit [Ping timeout: 265 seconds]

02:43 cercopith has joined #commonlisp

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

02:43 terrorjack has joined #commonlisp

02:53 gxt has quit [Ping timeout: 258 seconds]

02:55 gxt has joined #commonlisp

03:01 smlckz has quit [Quit: WeeChat 3.6]

03:01 smlckz has joined #commonlisp

03:01 smlckz has quit [Changing host]

03:03 jeosol has joined #commonlisp

03:37 john_michel has quit [Quit: Client closed]

03:46 tyson2 has quit [Remote host closed the connection]

04:19 xlarsx has joined #commonlisp

04:28 anticomputer has quit [Ping timeout: 258 seconds]

04:28 ttree has joined #commonlisp

04:30 anticomputer has joined #commonlisp

04:47 notzmv has quit [Ping timeout: 260 seconds]

04:49 Brucio-61 has quit [Ping timeout: 246 seconds]

04:50 scymtym has quit [Ping timeout: 264 seconds]

04:51 tasty has quit [Quit: byebye]

04:56 masinter has joined #commonlisp

05:12 nexalam_ has joined #commonlisp

05:12 jeosol has quit [Quit: Client closed]

05:13 tasty has joined #commonlisp

05:13 tasty has quit [Changing host]

05:13 tasty has joined #commonlisp

05:15 nexalam__ has quit [Ping timeout: 260 seconds]

05:29 Hrodgar has quit [Quit: Leaving]

05:34 rgherdt has joined #commonlisp

05:38 xlarsx has quit [Remote host closed the connection]

05:46 xlarsx has joined #commonlisp

06:16 xlarsx has quit [Remote host closed the connection]

06:17 xlarsx has joined #commonlisp

06:23 xlarsx has quit [Ping timeout: 264 seconds]

06:26 Cymew has joined #commonlisp

06:30 _cymew_ has joined #commonlisp

06:30 enzuru has quit [Quit: ZNC 1.8.2 - https://znc.in]

06:30 pve has joined #commonlisp

06:34 enzuru has joined #commonlisp

06:39 MajorBiscuit has joined #commonlisp

06:46 <phantomics> Is there a way to specify the return type of a (lambda)? As with declaring a ftype for a named function

06:47 <beach> You mean of an anonymous function?

06:53 igemnace has joined #commonlisp

07:00 <phantomics> Yes

07:01 <_death> just declare its type, possibly even use THE?

07:03 <phantomics> Like (the type (lambda () ...))?

07:03 luna-is-here has quit [Quit: No Ping reply in 180 seconds.]

07:04 <jdz> http://www.lispworks.com/documentation/HyperSpec/Body/t_fn.htm

07:06 luna-is-here has joined #commonlisp

07:06 edgar-rft has quit [Ping timeout: 250 seconds]

07:06 edgar-rft has joined #commonlisp

07:08 <phantomics> So for instance (the (function ((unsigned-byte 32)) (unsigned-byte 32)) (lambda (x) ...))

07:09 ttree has quit [Ping timeout: 265 seconds]

07:11 <jdz> Or (let ((fun (lambda (x) ...))) (declare (type (function ((unsigned-byte 32)) (unsigned-byte 32)) fun)) ...).

07:14 <phantomics> Thanks

07:23 masinter has quit [Remote host closed the connection]

07:23 causal has quit [Quit: WeeChat 3.6]

07:45 azimut has quit [Ping timeout: 258 seconds]

07:46 jmdaemon has quit [Ping timeout: 268 seconds]

07:47 _cymew_ has quit [Ping timeout: 246 seconds]

07:47 dmrz has joined #commonlisp

07:48 FallenSky2077 has joined #commonlisp

08:06 shka has joined #commonlisp

08:07 cosimone has joined #commonlisp

08:10 hrberg has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

08:10 hrberg has joined #commonlisp

08:20 Lycurgus has joined #commonlisp

08:45 makomo has quit [Quit: WeeChat 3.5]

08:51 Lycurgus has quit [Quit: Exeunt juan@acm.org]

09:08 gxt has quit [Ping timeout: 258 seconds]

09:09 gxt has joined #commonlisp

09:14 makomo_ has quit [Ping timeout: 265 seconds]

09:25 <contrapunctus> https://news.ycombinator.com/item?id=32948969

09:26 <contrapunctus> > The AP5 Specification Language for Common Lisp

09:28 <beach> All I see is an empty box.

09:29 <mfiano> That is for comments on the link above it?

09:29 <pjb> beach: The actual link is https://oceanpark.com/ap5.html

09:29 <pjb> mfiano: yes.

09:29 <beach> Hmm. OK.

09:30 cage has joined #commonlisp

09:53 makomo_ has joined #commonlisp

10:04 <_death> looks like the link to latest version in ap5.com is fudged

10:09 attila_lendvai has joined #commonlisp

10:25 <_death> also, apparently the source files need to be put into a source/ directory, load code for sbcl is in clisp-build.lsp, and some patching may be needed since it has (defvar ... #+sbcl x ... #+bordeaux-threads y) and the features are not mutually exclusive..

10:26 <_death> but then after compilation you arrive at a promising result, the symbol BEGINNING :)

10:26 cage has quit [Remote host closed the connection]

10:27 cage has joined #commonlisp

10:33 jeosol has joined #commonlisp

10:35 lottaquestions has joined #commonlisp

11:03 FallenSky2077 has quit [Quit: Leaving]

11:12 anticomputer has quit [Remote host closed the connection]

11:12 random-nick has joined #commonlisp

11:12 anticomputer has joined #commonlisp

11:18 ec has quit [Remote host closed the connection]

11:18 anticomputer has quit [Read error: Connection reset by peer]

11:18 anticomputer has joined #commonlisp

11:18 ec has joined #commonlisp

11:18 serbest has joined #commonlisp

11:30 tyson2 has joined #commonlisp

11:34 waleee has joined #commonlisp

11:35 jeosol has quit [Quit: Client closed]

11:43 _cymew_ has joined #commonlisp

11:47 ec_ has joined #commonlisp

11:48 ec has quit [Ping timeout: 258 seconds]

11:51 attila_lendvai has quit [Ping timeout: 260 seconds]

12:34 Brucio-61 has joined #commonlisp

12:38 waleee has quit [Ping timeout: 252 seconds]

12:38 scymtym has joined #commonlisp

12:39 Lycurgus has joined #commonlisp

12:40 tibfulv has quit [Ping timeout: 265 seconds]

12:44 tibfulv has joined #commonlisp

12:49 thuna` has joined #commonlisp

12:56 vassenn has joined #commonlisp

13:01 Lycurgus has quit [Quit: Exeunt juan@acm.org]

13:08 gxt has quit [Remote host closed the connection]

13:08 gxt has joined #commonlisp

14:02 MajorBiscuit has quit [Ping timeout: 246 seconds]

14:09 dlowe has joined #commonlisp

14:39 makomo_ has quit [Ping timeout: 252 seconds]

14:53 Dynom_ has joined #commonlisp

14:54 Dynom_ is now known as Guest4752

15:11 serbest has quit [Quit: Leaving]

15:16 makomo_ has joined #commonlisp

15:16 serbest has joined #commonlisp

15:17 prokhor has quit [Remote host closed the connection]

15:17 makomo has joined #commonlisp

15:18 Cymew has quit [Ping timeout: 252 seconds]

15:20 <ober> Are there any webserver packages yet that can host ssl?

15:21 <dlowe> yet?

15:21 <ober> in CL

15:21 <dlowe> there have been for a long time

15:21 <ober> oh. last I looked I did not think there were. thanks.

15:21 <dlowe> they use cl-ssl which is an openssl wrapper

15:23 <ober> gotcha. ty

15:35 <gin> 1

15:35 <gin> eh! sorry. wrong window.

15:42 eddof13 has joined #commonlisp

15:42 serbest has left #commonlisp [Leaving]

15:42 thuna` has quit [Remote host closed the connection]

15:42 vassenn has quit [Quit: Leaving]

15:51 notzmv has joined #commonlisp

16:00 pickanick has joined #commonlisp

16:13 masinter has joined #commonlisp

16:22 tyson2 has quit [Remote host closed the connection]

16:27 ttree has joined #commonlisp

16:38 skeemer has joined #commonlisp

16:54 azimut has joined #commonlisp

16:59 azimut has quit [Ping timeout: 258 seconds]

17:00 thuna` has joined #commonlisp

17:09 eddof13 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

17:15 waleee has joined #commonlisp

17:18 gxt has quit [Ping timeout: 258 seconds]

17:18 gxt has joined #commonlisp

17:19 tyson2 has joined #commonlisp

17:22 jeosol has joined #commonlisp

17:34 lottaquestions has quit [Remote host closed the connection]

17:35 jmdaemon has joined #commonlisp

17:54 cosimone has quit [Ping timeout: 246 seconds]

18:00 ec_ has quit [Ping timeout: 258 seconds]

18:01 ec_ has joined #commonlisp

18:03 ec_ has quit [Remote host closed the connection]

18:03 ec_ has joined #commonlisp

18:34 townsfolkPravda has joined #commonlisp

18:34 tyson2 has quit [Remote host closed the connection]

18:39 xlarsx has joined #commonlisp

18:40 lottaquestions has joined #commonlisp

18:48 xlarsx has quit [Remote host closed the connection]

18:51 xlarsx has joined #commonlisp

18:52 Lord_of_Life has quit [Ping timeout: 265 seconds]

18:52 Lord_of_Life_ has joined #commonlisp

18:53 Lord_of_Life_ is now known as Lord_of_Life

18:55 xlarsx has quit [Ping timeout: 246 seconds]

19:24 xlarsx has joined #commonlisp

19:28 son0p has quit [Ping timeout: 264 seconds]

19:31 igemnace has quit [Remote host closed the connection]

19:36 shka has quit [Ping timeout: 260 seconds]

19:39 xlarsx has quit [Ping timeout: 252 seconds]

19:39 Brucio-61 has quit [Read error: Connection reset by peer]

19:39 Brucio-61 has joined #commonlisp

19:41 tyson2 has joined #commonlisp

19:54 son0p has joined #commonlisp

19:56 dmrz has left #commonlisp [#commonlisp]

20:08 townsfolkPravda has quit [Quit: townsfolkPravda]

20:11 _cymew_ has quit [Ping timeout: 246 seconds]

20:13 xlarsx has joined #commonlisp

20:14 frgo has joined #commonlisp

20:21 ec has joined #commonlisp

20:21 ec_ has quit [Remote host closed the connection]

20:27 mariari has quit [Read error: Connection reset by peer]

20:28 pve has quit [Quit: leaving]

20:32 Guest4752 has quit [Quit: WeeChat 3.6]

20:35 masinter has quit [Remote host closed the connection]

20:36 masinter has joined #commonlisp

20:43 mariari has joined #commonlisp

20:48 xlarsx has quit [Remote host closed the connection]

20:49 cage has quit [Quit: rcirc on GNU Emacs 27.1]

21:19 xlarsx has joined #commonlisp

21:28 xlarsx has quit [Ping timeout: 265 seconds]

21:29 Noisytoot has quit [Remote host closed the connection]

21:30 Noisytoot has joined #commonlisp

21:37 <grawlinson> Looks like MIT are now charging for the SICP book

21:38 <grawlinson> The Wikipedia link now goes to a 404, and the book is priced at like 55 USD

21:38 <aeth> The book itself was open sourced. There are alternate web versions of it. https://sarabander.github.io/sicp/

21:40 dlowe has quit [Ping timeout: 244 seconds]

21:40 <aeth> The original is still up at https://mitp-content-server.mit.edu/books/content/sectbyfn/books_pres_0/6515/sicp.zip/full-text/book/book.html

21:43 <aeth> so it seems it's just another case of someone failing to follow https://www.w3.org/Provider/Style/URI

21:51 xlarsx has joined #commonlisp

21:53 dlowe has joined #commonlisp

21:55 xlarsx has quit [Ping timeout: 252 seconds]

22:02 tyson2 has quit [Remote host closed the connection]

22:14 rgherdt has quit [Remote host closed the connection]

22:41 dlowe has quit [Ping timeout: 264 seconds]

22:54 dlowe has joined #commonlisp

22:55 lisper29 has joined #commonlisp

23:15 dlowe has quit [Remote host closed the connection]

23:15 lisper29 has quit [Quit: Leaving]

23:17 thawes has joined #commonlisp

23:41 masinter has quit [Remote host closed the connection]

23:41 masinter has joined #commonlisp

23:43 akoana has joined #commonlisp