01:34:55 -!- segv- [~mb@95-91-242-32-dynip.superkabel.de] has quit [Ping timeout: 252 seconds] 02:44:37 -!- rme [rme@CE5011A7.C48DE298.699BA7A6.IP] has quit [Quit: rme] 02:44:38 -!- rme [~rme@50.43.177.60] has quit [Quit: rme] 03:15:59 rme [~rme@50.43.177.60] has joined #ccl 03:38:50 aftershave_ [~textual@h-238-41.a336.priv.bahnhof.se] has joined #ccl 03:52:33 -!- aftershave_ [~textual@h-238-41.a336.priv.bahnhof.se] has quit [Quit: Computer has gone to sleep.] 04:02:47 ccl is fast 04:43:34 -!- rme [~rme@50.43.177.60] has quit [Quit: rme] 05:11:08 -!- asedeno [~asedeno@66.102.14.16] has quit [Ping timeout: 252 seconds] 05:12:04 asedeno [~asedeno@66.102.14.26] has joined #ccl 06:12:24 -!- DataLinkDroid [~DataLinkD@120.159.147.74] has quit [Quit: Disconnecting -- bye] 06:18:50 -!- jaimef [jaimef@dns.mauthesis.com] has quit [Excess Flood] 06:24:44 jaimef [jaimef@dns.mauthesis.com] has joined #ccl 09:32:41 -!- jdz_ is now known as jdz 11:57:16 jdz_ [~jdz@212.36.34.246] has joined #ccl 11:59:16 -!- jdz_ [~jdz@212.36.34.246] has quit [Client Quit] 12:00:50 -!- jdz [~jdz@212.36.34.246] has quit [Ping timeout: 264 seconds] 13:27:21 rme [~rme@50.43.177.60] has joined #ccl 13:44:50 aftershave_ [~textual@h-238-41.a336.priv.bahnhof.se] has joined #ccl 14:20:57 -!- aftershave_ [~textual@h-238-41.a336.priv.bahnhof.se] has quit [Quit: Computer has gone to sleep.] 14:42:02 -!- rme [rme@CE5011A7.C48DE298.699BA7A6.IP] has quit [Quit: rme] 14:42:03 -!- rme [~rme@50.43.177.60] has quit [Quit: rme] 14:43:34 segv- [~mb@95-91-242-4-dynip.superkabel.de] has joined #ccl 14:50:19 rme [~rme@50.43.177.60] has joined #ccl 16:42:59 -!- asedeno [~asedeno@66.102.14.26] has quit [Ping timeout: 246 seconds] 16:43:14 asedeno [~asedeno@66.102.14.26] has joined #ccl 16:45:46 jdz [~jdz@212.36.34.246] has joined #ccl 18:03:03 aftershave_ [~textual@h-238-41.a336.priv.bahnhof.se] has joined #ccl 18:22:01 -!- fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has quit [Excess Flood] 18:22:01 -!- Blkt [~Blkt@2a01:4f8:150:80a1::aaaa] has quit [Excess Flood] 18:24:03 Blkt [~Blkt@2a01:4f8:150:80a1::aaaa] has joined #ccl 18:24:07 fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has joined #ccl 18:31:12 -!- aftershave_ [~textual@h-238-41.a336.priv.bahnhof.se] has quit [Quit: Computer has gone to sleep.] 18:49:14 alms_ [~alms_@209-6-153-34.c3-0.bkl-ubr1.sbo-bkl.ma.cable.rcn.com] has joined #ccl 19:20:42 -!- alms_ [~alms_@209-6-153-34.c3-0.bkl-ubr1.sbo-bkl.ma.cable.rcn.com] has quit [Quit: alms_] 19:41:13 aftershave_ [~textual@h-238-41.a336.priv.bahnhof.se] has joined #ccl 19:58:05 -!- aftershave_ [~textual@h-238-41.a336.priv.bahnhof.se] has quit [Quit: Textual IRC Client: www.textualapp.com] 20:06:11 aftershave_ [~textual@h-238-41.a336.priv.bahnhof.se] has joined #ccl 20:11:44 has anyone done a comprehensive benchmark of the various CL implementations lately? 20:18:36 this is pretty recent, but limited to ACL2, which only uses a small subset of Lisp: 20:18:39 http://www.cs.utexas.edu/users/moore/acl2/v6-4/HTML/new.html#performance 20:22:22 *jaimef* is finding ccl much faster for the few uses I've had so far 20:22:26 over sbcl 20:25:04 the acl2 subset is mostly first-order recursive functions; there are various uses of hash tables and arrays and property lists, lots of consing, etc 20:25:05 yeah that shows me the same trend 20:25:29 lparallel-bench for example favors ccl on each platform I've tried 20:25:29 but ACL2 probably uses absolutely no CLOS, few structures, few closures/lambdas/funcalls/etc 20:30:32 alms_ [~alms_@252.sub-70-192-1.myvzw.com] has joined #ccl 20:34:08 -!- aftershave_ [~textual@h-238-41.a336.priv.bahnhof.se] has quit [Quit: Textual IRC Client: www.textualapp.com] 20:40:38 -!- 5EXAAMAAB [~textual@h-238-41.a336.priv.bahnhof.se] has quit [Ping timeout: 252 seconds] 20:41:44 aftershave_ [~textual@h-238-41.a336.priv.bahnhof.se] has joined #ccl 20:51:49 -!- alms_ [~alms_@252.sub-70-192-1.myvzw.com] has quit [Quit: alms_] 20:54:15 -!- rme [rme@CE5011A7.C48DE298.699BA7A6.IP] has quit [Quit: rme] 20:54:15 -!- rme [~rme@50.43.177.60] has quit [Quit: rme] 21:00:04 rme [~rme@50.43.177.60] has joined #ccl 21:00:14 -!- aftershave_ [~textual@h-238-41.a336.priv.bahnhof.se] has quit [Ping timeout: 264 seconds] 21:03:49 aftershave_ [~textual@h-238-41.a336.priv.bahnhof.se] has joined #ccl 21:15:57 alms_ [~alms_@209-6-153-34.c3-0.bkl-ubr1.sbo-bkl.ma.cable.rcn.com] has joined #ccl 21:22:55 -!- aftershave_ [~textual@h-238-41.a336.priv.bahnhof.se] has quit [Ping timeout: 272 seconds] 21:28:56 pnpuff [~l@unaffiliated/pnpuff] has joined #ccl 21:29:24 -!- pnpuff [~l@unaffiliated/pnpuff] has left #ccl 22:24:55 -!- alms_ [~alms_@209-6-153-34.c3-0.bkl-ubr1.sbo-bkl.ma.cable.rcn.com] has quit [Quit: alms_] 22:47:06 aftershave_ [~textual@h-238-41.a336.priv.bahnhof.se] has joined #ccl 23:05:32 -!- aftershave_ [~textual@h-238-41.a336.priv.bahnhof.se] has quit [Ping timeout: 246 seconds] 23:33:25 alms_ [~alms_@209-6-153-34.c3-0.bkl-ubr1.sbo-bkl.ma.cable.rcn.com] has joined #ccl 23:39:04 -!- alms_ [~alms_@209-6-153-34.c3-0.bkl-ubr1.sbo-bkl.ma.cable.rcn.com] has quit [Quit: alms_] 23:40:19 aftershave_ [~textual@h-238-41.a336.priv.bahnhof.se] has joined #ccl 23:59:05 -!- aftershave_ [~textual@h-238-41.a336.priv.bahnhof.se] has quit [Ping timeout: 246 seconds]