03:00:49 Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has joined #sbcl 03:06:42 rbarraud [~rbarraud@ip-58-28-154-210.static-xdsl.xnet.co.nz] has joined #sbcl 03:51:52 -!- rbarraud [~rbarraud@ip-58-28-154-210.static-xdsl.xnet.co.nz] has quit [Read error: Connection reset by peer] 03:52:21 rbarraud [~rbarraud@ip-58-28-153-132.static-xdsl.xnet.co.nz] has joined #sbcl 04:36:30 -!- DGASAU [~user@91.218.144.129] has quit [Ping timeout: 244 seconds] 05:31:20 -!- rbarraud [~rbarraud@ip-58-28-153-132.static-xdsl.xnet.co.nz] has quit [Read error: Connection reset by peer] 05:59:36 sdemarre [~serge@91.176.103.246] has joined #sbcl 06:09:21 tcr [~tcr@84.235.97.113] has joined #sbcl 06:09:31 -!- homie [~levgue@xdsl-78-35-190-201.netcologne.de] has quit [Read error: Operation timed out] 06:09:34 -!- wbooze [~wbooze@xdsl-78-35-190-201.netcologne.de] has quit [Read error: Operation timed out] 06:48:38 -!- sdemarre [~serge@91.176.103.246] has quit [Ping timeout: 246 seconds] 07:03:52 sdemarre [~serge@91.176.135.228] has joined #sbcl 07:16:38 -!- tcr [~tcr@84.235.97.113] has quit [Ping timeout: 246 seconds] 07:30:07 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 07:32:09 nikodemus [~nikodemus@37-136-21-70.nat.bb.dnainternet.fi] has joined #sbcl 07:32:09 -!- ChanServ has set mode +o nikodemus 08:17:19 -!- nikodemus [~nikodemus@37-136-21-70.nat.bb.dnainternet.fi] has quit [Quit: This computer has gone to sleep] 08:39:11 tcr [~tcr@46.184.191.90] has joined #sbcl 09:19:08 gko [~user@114-34-168-13.HINET-IP.hinet.net] has joined #sbcl 09:27:40 Is there any reason why CHECK-TYPE doesn't seem to be propagating its type information? 09:34:33 <|3b|> should be working in general, though i seem to remember being told the type propagation stuff can't carry all the same type info a declaration could or something like that 09:38:14 CHECK-TYPE works with an assignment, and assignment + closure -> no flow-sensitive analysis. 09:39:05 Since SBCL doesn't use dominator-type information, it misses on obvious stuff like check-type always being executed before calls to local functions. Rebinding should do it. 09:49:38 -!- Fare [fare@nat/google/x-bgcqyyeqyjypnbox] has quit [Ping timeout: 240 seconds] 10:01:04 rbarraud [~rbarraud@125-237-76-181.jetstream.xtra.co.nz] has joined #sbcl 10:04:59 Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has joined #sbcl 10:10:06 pkhuong, when are you free from the bondage of school? 10:11:23 pkhuong, also, thanks for the explanation 10:13:28 Good question. I've been telling Kryztof I should be mostly done by ~december. 10:14:19 -!- rbarraud [~rbarraud@125-237-76-181.jetstream.xtra.co.nz] has quit [Read error: Connection reset by peer] 10:14:25 A second question: what would cause the same code to execute code in 5e6 processor cycles on one machine, and 25e6 on another machine? I am baffled as to why someone else's code is taking 3-5 times longer. 10:15:17 . o O (maybe 32 vs 64 bit?) 10:16:35 The code is https://bitbucket.org/tarballs_are_good/qtility/src/65eff10fdece/arithmetic.lisp#cl-64 10:17:56 yeha, different fixnum ranges are a suspect. 10:19:17 Also, I think I should request that binomial-coefficient to be added to Alexandria. I think it plays nicer with SBCL especially (the current one has CHECK-TYPEs and ROTATEFs) 10:19:55 rbarraud [~rbarraud@125-237-76-181.jetstream.xtra.co.nz] has joined #sbcl 10:25:27 -!- sshirokov [sshirokov@2600:3c02::f03c:91ff:fe93:e02d] has quit [Ping timeout: 245 seconds] 10:32:30 edgar-rft [~me@HSI-KBW-078-043-123-191.hsi4.kabel-badenwuerttemberg.de] has joined #sbcl 10:37:29 sshirokov [~sshirokov@caladan.boot.sh] has joined #sbcl 10:51:50 -!- rbarraud [~rbarraud@125-237-76-181.jetstream.xtra.co.nz] has quit [Ping timeout: 255 seconds] 11:11:50 -!- Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has quit [Ping timeout: 246 seconds] 11:15:00 -!- Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has quit [Read error: Connection reset by peer] 11:15:28 Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has joined #sbcl 12:08:42 What's the reason for SBCL not using x87 fpu stuff for, say, long-floats? 12:14:31 it bit rotted out. 12:24:59 -!- tcr [~tcr@46.184.191.90] has quit [Ping timeout: 246 seconds] 12:57:37 tcr [~tcr@84.235.97.124] has joined #sbcl 13:04:11 -!- sdemarre [~serge@91.176.135.228] has quit [Ping timeout: 246 seconds] 13:41:24 enupten [~neptune@117.213.255.207] has joined #sbcl 13:56:13 Hi. I notice that SBCL throws out a lot more (useful) optimization warnings when loading files, when compared to compiling things in slime. I couldn't get the unmuffle-condition thing to effect much on this matter. Does anyone know how I can make SBCL be more verbose in SLIME ? 13:56:56 enupten: Compile (with C-c C-c). 13:57:19 When you evaluate things or pass them in the REPL, we assume you're not interested in optimisation notes. 13:57:47 M-n/M-p will let you cycle forward/backward through notes 14:00:15 Neat. This worked, thanks! 14:01:07 C-c C-k (compile-file/load) can be more useful than straight load as well. 14:02:14 Also C-u C-c C-c will compile with maximum debug, and M C-c C-c with maximum speed (which can be useful to solicit compiler notes about type propagation) 14:03:47 That said, I was once working on hooking into SBCL type inference more deeply; I envisioned a slime mode that would highlight variable bindings and on mouse/cursor over it'd display what type SBCL inferenced for that binding. 14:04:30 I was using C-c C-r, now I realised this is bound to eval region. slime-compile-region works just as well. 14:05:05 tcr: That'd very useful, I'm currently working my way through SBCL type inference-optimization issues. 14:05:20 Those are pretty uncommon things to do; usually to compile in multiple toplevel forms piece-a-piece 14:11:46 hargettp [~hargettp@pool-71-174-137-155.bstnma.east.verizon.net] has joined #sbcl 14:31:47 -!- tcr [~tcr@84.235.97.124] has quit [Ping timeout: 250 seconds] 14:33:14 -!- daimrod [~daimrod@sbrk.org] has quit [Ping timeout: 272 seconds] 14:41:48 daimrod [~daimrod@sbrk.org] has joined #sbcl 14:51:21 homie [~levgue@xdsl-78-35-189-133.netcologne.de] has joined #sbcl 15:15:12 tcr [~tcr@94.76.25.114] has joined #sbcl 15:17:17 tcr: Type inference assistance from SLIME would be frickin awesome. Did you come up with an estimate for how much work it was? I'm not very familiar with the SLIME or SBCL codebases so it would be more for me but... 15:17:46 tcr: I could pass by zurich for a hackathon ;) 15:18:17 Extracting the information wouldn't be that hard, really. Exposing it in a useful manner, though... as usual c'est le nerf de la guerre. 15:20:32 haha. no doubt. 15:45:12 -!- hargettp [~hargettp@pool-71-174-137-155.bstnma.east.verizon.net] has quit [Quit: Leaving...] 15:49:06 hargettp [~hargettp@pool-71-174-137-155.bstnma.east.verizon.net] has joined #sbcl 15:52:47 -!- hargettp [~hargettp@pool-71-174-137-155.bstnma.east.verizon.net] has quit [Client Quit] 16:07:00 Fare [fare@nat/google/x-wloxjszzmcpyhrug] has joined #sbcl 16:12:36 pkhuong: I planned such a hackathon but I'm not so sure anymore now with Xof's efforts of a sbcl-con-2012 16:12:55 How long again will you be in france? 16:14:24 Late september might be a suitable time frame. 16:16:38 Maybe. 16:16:57 I might hop back in europe to work at INRIA/Nice aroudn that time 16:21:10 I'm thinking of writing a lock-ful OO-version of the MCAS stuff I presented last time. 16:37:00 -!- homie [~levgue@xdsl-78-35-189-133.netcologne.de] has quit [Remote host closed the connection] 16:41:48 homie [~levgue@xdsl-78-35-189-133.netcologne.de] has joined #sbcl 16:50:08 -!- gko [~user@114-34-168-13.HINET-IP.hinet.net] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 17:47:08 slyrus [~chatzilla@adsl-99-104-224-112.dsl.pltn13.sbcglobal.net] has joined #sbcl 17:52:00 gabnet [~user@ACaen-257-1-110-72.w86-220.abo.wanadoo.fr] has joined #sbcl 17:54:15 -!- gabnet [~user@ACaen-257-1-110-72.w86-220.abo.wanadoo.fr] has quit [Remote host closed the connection] 18:07:02 hargettp [~hargettp@pool-71-174-137-155.bstnma.east.verizon.net] has joined #sbcl 18:21:51 -!- homie [~levgue@xdsl-78-35-189-133.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 18:47:53 -!- slyrus [~chatzilla@adsl-99-104-224-112.dsl.pltn13.sbcglobal.net] has quit [Ping timeout: 246 seconds] 18:51:38 homie [~levgue@xdsl-78-35-189-133.netcologne.de] has joined #sbcl 18:59:54 homie` [~levgue@xdsl-78-35-144-14.netcologne.de] has joined #sbcl 19:01:16 -!- homie` [~levgue@xdsl-78-35-144-14.netcologne.de] has quit [Read error: Connection reset by peer] 19:02:39 -!- homie [~levgue@xdsl-78-35-189-133.netcologne.de] has quit [Ping timeout: 245 seconds] 19:03:02 homie [~levgue@xdsl-78-35-144-14.netcologne.de] has joined #sbcl 19:33:16 -!- enupten [~neptune@117.213.255.207] has quit [Quit: quitting...] 19:38:29 -!- angavrilov [~angavrilo@217.71.227.190] has quit [Ping timeout: 248 seconds] 20:21:16 -!- tsuru` [~charlie@adsl-98-87-52-215.bna.bellsouth.net] has quit [Read error: Connection reset by peer] 20:22:25 tsuru` [~charlie@adsl-74-240-217-184.bna.bellsouth.net] has joined #sbcl 20:24:04 -!- tsuru` [~charlie@adsl-74-240-217-184.bna.bellsouth.net] has quit [Remote host closed the connection] 20:25:42 -!- hargettp [~hargettp@pool-71-174-137-155.bstnma.east.verizon.net] has quit [Quit: Linkinus - http://linkinus.com] 20:25:54 wbooze [~wbooze@xdsl-78-35-144-14.netcologne.de] has joined #sbcl 20:40:21 gabnet [~gabnet@ACaen-257-1-110-72.w86-220.abo.wanadoo.fr] has joined #sbcl 21:42:40 -!- gabnet [~gabnet@ACaen-257-1-110-72.w86-220.abo.wanadoo.fr] has quit [Quit: Quitte] 21:45:28 sdemarre [~serge@91.176.135.228] has joined #sbcl 21:57:56 -!- tcr [~tcr@94.76.25.114] has quit [Ping timeout: 246 seconds] 22:02:08 -!- sdemarre [~serge@91.176.135.228] has quit [Ping timeout: 246 seconds] 22:11:29 -!- wbooze [~wbooze@xdsl-78-35-144-14.netcologne.de] has quit [Ping timeout: 252 seconds] 23:15:05 -!- Fare [fare@nat/google/x-wloxjszzmcpyhrug] has quit [Ping timeout: 244 seconds] 23:33:52 I had a dream last night about an SBCL hackathon which was temporally adjacent to a Lisp convention