00:11:59 -!- fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has quit [Remote host closed the connection] 00:24:34 -!- leuler [~user@p54901FB0.dip.t-dialin.net] has quit [Quit: ERC Version 5.1.2 $Revision: 1.796.2.6 $ (IRC client for Emacs)] 00:31:17 Cryotank2011 [~Cryotank2@c-24-17-62-152.hsd1.wa.comcast.net] has joined #sbcl 00:36:55 -!- LiamH [~healy@pool-108-18-171-26.washdc.east.verizon.net] has quit [Quit: Leaving.] 00:52:18 fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has joined #sbcl 01:07:18 chp [~user@c-68-45-180-238.hsd1.nj.comcast.net] has joined #sbcl 02:33:01 Issue SYMBOL-MACROLET-TYPE-DECLARATION:NO ;; <== that's not how SBCL does it 02:38:45 oops. Some months ago I've stumbled upon a behavoir that was contrary to SYMBOL-MACROLET-TYPE-DECLARATION:NO, but now I can't reproduce it (and the original example is lost) 03:20:18 pkhuong: it seems that clisp is wrong (nonconforming) when it warns on (declare (index index)) where index is a deftype [any thoughts to the contrary?]. 03:27:22 LiamH [~healy@pool-108-18-171-26.washdc.east.verizon.net] has joined #sbcl 03:28:22 -!- saschakb [~saschakb@p4FEA02B3.dip0.t-ipconnect.de] has quit [Ping timeout: 268 seconds] 03:32:20 saschakb [~saschakb@p4FEA0F83.dip0.t-ipconnect.de] has joined #sbcl 04:37:26 akovalenko: none, but if it helps cut down on these diffs, I'm all for restricting ourselves to less than CL. 04:46:23 tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has joined #sbcl 04:46:50 saschakb_ [~saschakb@p4FEA056C.dip0.t-ipconnect.de] has joined #sbcl 04:50:26 -!- saschakb [~saschakb@p4FEA0F83.dip0.t-ipconnect.de] has quit [Ping timeout: 252 seconds] 04:51:26 -!- tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [Quit: Leaving.] 05:24:08 -!- LiamH [~healy@pool-108-18-171-26.washdc.east.verizon.net] has quit [Quit: Leaving.] 05:30:10 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 06:05:31 -!- antgreen [~user@70.50.67.239] has quit [Ping timeout: 244 seconds] 06:06:27 -!- chp [~user@c-68-45-180-238.hsd1.nj.comcast.net] has quit [Ping timeout: 240 seconds] 06:13:00 oh that is quite special 06:13:11 angavrilov [~angavrilo@217.71.227.181] has joined #sbcl 06:14:17 clisp, of course, generates warnings on ANSI-compliant DECLARE expressions where the car is a DEFTYPE'd type 06:16:33 but where it really distinguishes itself is by then generating an error if you try to declare that type as a declaration to silence that warning 06:21:50 joshe: declaring the type as a declaration is undefined behavior, so clisp is not wrong here, even if distinguished 06:22:48 joshe: er, not UB, "signals an error" 06:23:17 sure, but it seemed a little absurd on top of its behavior wrt known types as the car of a declaration expression 06:25:24 does anyone know if this behavior wrt known types is a conscious decision of clisp developers? 06:27:51 I'd say that pkhuong's idea of disallowing such declarations when cross-compiling is definitely good if clisp is going to behave this way forever. 06:28:04 I have been thinking that someone should try and fine that out before we do anything else 06:29:09 I might take a look and see if it would be too difficult to implement the desired behavior in clisp 06:31:50 -!- drdo [~user@85.207.54.77.rev.vodafone.pt] has quit [Read error: Connection reset by peer] 06:53:37 sdemarre [~serge@91.176.187.36] has joined #sbcl 07:01:39 stassats` [~stassats@wikipedia/stassats] has joined #sbcl 07:54:25 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Read error: Operation timed out] 08:34:48 nikodemus [~nikodemus@188-67-240-100.bb.dnainternet.fi] has joined #sbcl 08:34:48 -!- ChanServ has set mode +o nikodemus 09:02:41 attila_lendvai [~attila_le@87.247.56.86] has joined #sbcl 09:02:41 -!- attila_lendvai [~attila_le@87.247.56.86] has quit [Changing host] 09:02:41 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 09:25:18 hey, i have a new theory why i the darwin strangeness 09:25:47 on x86-64, we're calling alloc_tramp without clearing the direction flag -- which is against the ABI 09:26:11 *nikodemus* tries out the theory 09:36:38 drdo [~user@85.207.54.77.rev.vodafone.pt] has joined #sbcl 09:43:19 homie` [~levgue@xdsl-87-79-196-242.netcologne.de] has joined #sbcl 09:45:07 -!- stassats` [~stassats@wikipedia/stassats] has quit [Read error: Operation timed out] 09:45:43 -!- homie [~levgue@xdsl-78-35-135-88.netcologne.de] has quit [Ping timeout: 252 seconds] 09:51:24 stassats [~stassats@wikipedia/stassats] has joined #sbcl 09:56:05 no difference :/ 10:52:21 tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has joined #sbcl 11:02:29 um, wait. why are we not aligning stack in alloc_tramp? 11:16:53 how much of SBCL's speed do you think is attributable to the lack of read/write barriers? 11:17:22 I'm reading up on the C4 garbage collector (no stop-the-worlds at all), and it has a read barrier that checks bitmasks on each value load which might contain a pointer 11:17:32 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has left #sbcl 11:17:55 but from my understanding, given the presence of cache misses and their cost, the cost of such operations really wouldn't affect overall speed much 11:17:56 thoughts? 11:20:27 sbcl's speed isn't attributable to the GC 11:20:47 or lack of barriers for that matter 11:20:59 yeah, that's my suspicion 11:21:11 they might cost extra, but their lack isn't what makes sbcl fast 11:21:29 right, type inference being the major component? 11:21:43 type inference and heroic inlining 11:22:12 and lots and lots of specialized partial evaluation rules for CL primitives 11:22:19 yep 11:23:04 here's the paper for anybody so inclined: http://www.scribd.com/doc/64196208/C4-Continuously-Concurrent-Compacting-Collector 11:23:27 if I were to get back into school, I'd love to implement a version of that into SBCL as a thesis project 11:24:05 since it's really only applicable for very large heaps. Most standard GCs are fine with <=4GB heaps in terms of pauses 11:25:49 i've had it open in a tab since it appeared in the ACM feeds :) 11:25:56 ah, cool :) 11:26:06 haven't gotten a chance to read it yet 11:26:08 I just found out about it via an infoq video link 11:26:24 I think I can summarize it pretty succinctly if you want an overview 11:26:32 this is another one i should read: http://dl.acm.org/citation.cfm?id=1993482 12:24:52 *Phoodus* read through it 12:25:40 it requires distinguishing immutable (and therefore copyable) vs mutable (therefore immovable) objects, and depends on stop-the-world global GC 12:25:57 they claim it's applicable to fully mutable languages, but don't know the realities of it 12:27:01 I think that approach would help smaller programs run faster 12:27:17 but I don't think it addresses large scalability at all 12:28:51 I think it might also help mostly-functional programs run faster 12:29:08 if SBCL has the ability to distinguish immutable composite data 12:29:09 -!- nikodemus [~nikodemus@188-67-240-100.bb.dnainternet.fi] has quit [Ping timeout: 248 seconds] 12:29:15 bah 12:29:43 nikodemus_, this is not SBCL related but it reminds me of you http://www.youtube.com/watch?v=Teaft0Kg-Ok 12:29:44 -!- Cryotank2011 [~Cryotank2@c-24-17-62-152.hsd1.wa.comcast.net] has quit [Quit: Cryotank2011] 12:30:00 (oh, he is on twice) 13:08:41 -!- Phoodus [~foo@68.107.217.139] has quit [Ping timeout: 252 seconds] 13:22:52 nikodemus [~nikodemus@188-67-240-100.bb.dnainternet.fi] has joined #sbcl 13:22:52 -!- ChanServ has set mode +o nikodemus 13:31:44 gabnet [~gabnet@ACaen-257-1-119-95.w86-220.abo.wanadoo.fr] has joined #sbcl 13:44:08 LiamH [~healy@pool-108-18-171-26.washdc.east.verizon.net] has joined #sbcl 13:44:42 -!- homie` [~levgue@xdsl-87-79-196-242.netcologne.de] has quit [Read error: Connection reset by peer] 13:52:13 homie [~levgue@xdsl-87-79-196-242.netcologne.de] has joined #sbcl 13:56:59 gabnet_ [~gabnet@ACaen-257-1-19-86.w86-220.abo.wanadoo.fr] has joined #sbcl 14:00:21 -!- gabnet [~gabnet@ACaen-257-1-119-95.w86-220.abo.wanadoo.fr] has quit [Ping timeout: 248 seconds] 15:09:09 -!- gabnet_ [~gabnet@ACaen-257-1-19-86.w86-220.abo.wanadoo.fr] has quit [Quit: Quitte] 15:11:07 leuler [~user@p54904217.dip.t-dialin.net] has joined #sbcl 15:11:35 -!- sdemarre [~serge@91.176.187.36] has quit [Ping timeout: 240 seconds] 15:11:42 -!- nikodemus [~nikodemus@188-67-240-100.bb.dnainternet.fi] has quit [Quit: This computer has gone to sleep] 15:28:08 nikodemus [~nikodemus@188-67-240-100.bb.dnainternet.fi] has joined #sbcl 15:28:08 -!- ChanServ has set mode +o nikodemus 15:49:22 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 16:06:32 -!- leuler [~user@p54904217.dip.t-dialin.net] has quit [Quit: ERC Version 5.1.2 $Revision: 1.796.2.6 $ (IRC client for Emacs)] 16:53:16 -!- lichtblau [~user@port-92-195-58-29.dynamic.qsc.de] has quit [Ping timeout: 255 seconds] 16:59:18 chp [~user@c-68-45-180-238.hsd1.nj.comcast.net] has joined #sbcl 16:59:23 Blkt [~user@82.84.182.166] has joined #sbcl 17:03:45 -!- akovalenko [~akovalenk@77.51.45.138] has quit [Read error: Connection reset by peer] 17:04:23 akovalenko [~akovalenk@95.73.217.209] has joined #sbcl 17:09:16 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 240 seconds] 17:12:16 attila_lendvai [~attila_le@87.247.6.226] has joined #sbcl 17:12:16 -!- attila_lendvai [~attila_le@87.247.6.226] has quit [Changing host] 17:12:16 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 17:39:33 -!- Blkt [~user@82.84.182.166] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 18:27:05 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 240 seconds] 18:28:09 -!- LiamH [~healy@pool-108-18-171-26.washdc.east.verizon.net] has quit [Quit: Leaving.] 19:18:45 -!- angavrilov [~angavrilo@217.71.227.181] has quit [Ping timeout: 248 seconds] 19:23:41 -!- Posterdati [~tapioca@host133-226-dynamic.10-87-r.retail.telecomitalia.it] has quit [Ping timeout: 244 seconds] 19:37:23 Posterdati [~tapioca@87.19.49.170] has joined #sbcl 19:41:13 -!- foom [~jknight@ita4fw1.itasoftware.com] has quit [Read error: Operation timed out] 19:47:13 -!- saschakb_ [~saschakb@p4FEA056C.dip0.t-ipconnect.de] has quit [Remote host closed the connection] 19:51:51 foom [~jknight@ita4fw1.itasoftware.com] has joined #sbcl 20:28:52 Phooodus [~foo@ip72-223-116-248.ph.ph.cox.net] has joined #sbcl 20:33:56 LiamH [~healy@pool-108-18-171-26.washdc.east.verizon.net] has joined #sbcl 20:37:27 sdemarre [~serge@91.176.187.36] has joined #sbcl 20:48:31 -!- Phooodus is now known as Phoodus 21:40:38 lichtblau [~user@port-92-195-58-29.dynamic.qsc.de] has joined #sbcl 21:58:56 homie` [~levgue@xdsl-78-35-157-60.netcologne.de] has joined #sbcl 22:01:13 -!- homie [~levgue@xdsl-87-79-196-242.netcologne.de] has quit [Ping timeout: 252 seconds] 22:01:27 -!- sdemarre [~serge@91.176.187.36] has quit [Ping timeout: 240 seconds] 22:10:30 tsuru`` [~charlie@adsl-74-179-29-211.bna.bellsouth.net] has joined #sbcl 22:11:47 -!- tsuru` [~charlie@adsl-74-179-196-139.bna.bellsouth.net] has quit [Ping timeout: 240 seconds] 22:16:45 -!- LiamH [~healy@pool-108-18-171-26.washdc.east.verizon.net] has quit [Quit: Leaving.] 22:18:24 -!- kanru [~kanru@kanru-1-pt.tunnel.tserv15.lax1.ipv6.he.net] has quit [*.net *.split] 22:18:24 -!- natesm [~pelican@nate.xen.prgmr.com] has quit [*.net *.split] 22:18:24 -!- pkhuong [~pkhuong@gravelga.xen.prgmr.com] has quit [*.net *.split] 22:18:24 -!- cow-orke1 [~foobar@pogostick.net] has quit [*.net *.split] 22:18:24 -!- danlarkin [~dan@danlarkin.org] has quit [*.net *.split] 22:18:24 -!- luis [~luis@nhop.r42.eu] has quit [*.net *.split] 22:18:24 -!- sbryant [~freenode@ghanima.slavasaur.com] has quit [*.net *.split] 22:18:24 -!- fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has quit [*.net *.split] 22:18:24 -!- peddie [~peddie@repl.esden.net] has quit [*.net *.split] 22:18:24 -!- jsnell [~jsnell@ash.snellman.net] has quit [*.net *.split] 22:18:24 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [*.net *.split] 22:18:24 -!- slyrus [~chatzilla@173-228-44-92.dsl.static.sonic.net] has quit [*.net *.split] 22:18:24 -!- flip214 [~marek@unaffiliated/flip214] has quit [*.net *.split] 22:18:24 -!- cmm [~cmm@bzq-79-180-225-146.red.bezeqint.net] has quit [*.net *.split] 22:18:24 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [*.net *.split] 22:18:24 -!- spacebat_ [~spacebat@ubermonkey.net] has quit [*.net *.split] 22:18:24 -!- tsuru`` [~charlie@adsl-74-179-29-211.bna.bellsouth.net] has quit [*.net *.split] 22:18:24 -!- akovalenko [~akovalenk@95.73.217.209] has quit [*.net *.split] 22:18:24 -!- chp [~user@c-68-45-180-238.hsd1.nj.comcast.net] has quit [*.net *.split] 22:18:24 -!- tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [*.net *.split] 22:18:24 -!- nikodemus_ [~nikodemus@dsl-hkibrasgw4-fe5bdf00-15.dhcp.inet.fi] has quit [*.net *.split] 22:18:24 -!- deepfire [~deepfire@80.92.100.69] has quit [*.net *.split] 22:18:24 -!- joshe [~joshe@opal.elsasser.org] has quit [*.net *.split] 22:18:24 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [*.net *.split] 22:18:24 -!- christoph_debian [~user@DSL01.212.114.250.149.ip-pool.NEFkom.net] has quit [*.net *.split] 22:18:24 -!- Posterdati [~tapioca@87.19.49.170] has quit [*.net *.split] 22:18:24 -!- stassats [~stassats@wikipedia/stassats] has quit [*.net *.split] 22:18:25 -!- daimrod [~daimrod@sbrk.org] has quit [*.net *.split] 22:18:30 -!- sshirokov [~sshirokov@ghanima.slavasaur.com] has quit [*.net *.split] 22:18:30 -!- Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has quit [*.net *.split] 22:18:30 -!- kwmiebach_ [kwmiebach@31-222-138-133.static.cloud-ips.co.uk] has quit [*.net *.split] 22:18:30 -!- ASau` [~user@95-26-61-217.broadband.corbina.ru] has quit [*.net *.split] 22:18:46 -!- |3b| [foobar@cpe-72-179-19-4.austin.res.rr.com] has quit [*.net *.split] 22:18:50 cow-orker [~foobar@pogostick.net] has joined #sbcl 22:18:50 tsuru`` [~charlie@adsl-74-179-29-211.bna.bellsouth.net] has joined #sbcl 22:18:50 akovalenko [~akovalenk@95.73.217.209] has joined #sbcl 22:18:50 chp [~user@c-68-45-180-238.hsd1.nj.comcast.net] has joined #sbcl 22:18:50 tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has joined #sbcl 22:18:50 nikodemus_ [~nikodemus@dsl-hkibrasgw4-fe5bdf00-15.dhcp.inet.fi] has joined #sbcl 22:18:50 deepfire [~deepfire@80.92.100.69] has joined #sbcl 22:18:50 -!- zelazny.freenode.net has set mode +o nikodemus_ 22:19:53 danlarkin_ [~dan@danlarkin.org] has joined #sbcl 22:19:53 pchrist [~spirit@gentoo/developer/pchrist] has joined #sbcl 22:19:53 slyrus [~chatzilla@173-228-44-92.dsl.static.sonic.net] has joined #sbcl 22:19:54 -!- danlarkin_ is now known as danlarkin 22:19:54 natesm [~pelican@nate.xen.prgmr.com] has joined #sbcl 22:19:54 jsnell [~jsnell@ash.snellman.net] has joined #sbcl 22:19:54 luis [~luis@nhop.r42.eu] has joined #sbcl 22:19:54 fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has joined #sbcl 22:19:54 peddie [~peddie@repl.esden.net] has joined #sbcl 22:19:54 joshe [~joshe@opal.elsasser.org] has joined #sbcl 22:19:54 antoszka [~antoszka@unaffiliated/antoszka] has joined #sbcl 22:19:54 christoph_debian [~user@DSL01.212.114.250.149.ip-pool.NEFkom.net] has joined #sbcl 22:20:47 sbryant [~freenode@ghanima.slavasaur.com] has joined #sbcl 22:20:47 Posterdati [~tapioca@87.19.49.170] has joined #sbcl 22:20:47 stassats [~stassats@wikipedia/stassats] has joined #sbcl 22:20:47 daimrod [~daimrod@sbrk.org] has joined #sbcl 22:20:47 sshirokov [~sshirokov@ghanima.slavasaur.com] has joined #sbcl 22:20:55 kanru [~kanru@kanru-1-pt.tunnel.tserv15.lax1.ipv6.he.net] has joined #sbcl 22:21:18 pkhuong [~pkhuong@gravelga.xen.prgmr.com] has joined #sbcl 22:21:18 flip214 [~marek@unaffiliated/flip214] has joined #sbcl 22:21:18 cmm [~cmm@bzq-79-180-225-146.red.bezeqint.net] has joined #sbcl 22:21:18 Quadrescence [~quad@unaffiliated/quadrescence] has joined #sbcl 22:21:18 spacebat_ [~spacebat@ubermonkey.net] has joined #sbcl 22:22:16 -!- pkhuong is now known as Guest43172 22:25:29 kwmiebach_ [kwmiebach@31-222-138-133.static.cloud-ips.co.uk] has joined #sbcl 22:25:31 Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has joined #sbcl 22:25:36 ASau` [~user@95-26-61-217.broadband.corbina.ru] has joined #sbcl 22:26:01 |3b| [foobar@cpe-72-179-19-4.austin.res.rr.com] has joined #sbcl 22:32:59 Cryotank2011 [~Cryotank2@c-24-17-62-152.hsd1.wa.comcast.net] has joined #sbcl 22:34:34 -!- kwmiebach_ [kwmiebach@31-222-138-133.static.cloud-ips.co.uk] has quit [Read error: Connection reset by peer] 22:34:47 kwmiebach [kwmiebach@31-222-138-133.static.cloud-ips.co.uk] has joined #sbcl 22:42:19 ASau`` [~user@176.14.209.86] has joined #sbcl 22:42:36 LiamH [~healy@pool-108-18-171-26.washdc.east.verizon.net] has joined #sbcl 22:46:13 -!- ASau` [~user@95-26-61-217.broadband.corbina.ru] has quit [Ping timeout: 248 seconds] 23:01:16 -!- tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [Quit: Leaving.] 23:04:16 -!- Guest43172 is now known as pkhuong- 23:07:23 snafuchs [~foobar@care.boinkor.net] has joined #sbcl 23:13:24 -!- pkhuong- is now known as pkhuong 23:13:32 -!- snafuchs is now known as antifuchs 23:34:25 -!- jiacobucci [~jiacobucc@gw-asdl.ae.gatech.edu] has quit [Ping timeout: 244 seconds] 23:41:06 borkman [~user@S0106001111de1fc8.cg.shawcable.net] has joined #sbcl 23:51:38 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 252 seconds]