00:21:42 -!- hargettp [~anonymous@96.237.132.189] has quit [Quit: hargettp] 00:24:41 attila_lendvai [~attila_le@catv-89-133-171-67.catv.broadband.hu] has joined #sbcl 03:18:56 ephcon [~user@ppp-71-139-25-220.dsl.snfc21.pacbell.net] has joined #sbcl 03:19:51 hey, sorry for #lisp crossposting, but does anybody know what's up with ? 03:20:27 seems down 03:20:48 i don't get any reply too 03:23:37 ephcon: you should ask on #tech.coop 03:24:10 -!- attila_lendvai [~attila_le@catv-89-133-171-67.catv.broadband.hu] has quit [Quit: Leaving.] 03:28:41 rpg [~rpg@216.243.156.16.real-time.com] has joined #sbcl 04:02:23 -!- homie [~levgue@xdsl-84-44-155-127.netcologne.de] has quit [Read error: Connection reset by peer] 04:08:23 homie [~levgue@xdsl-84-44-155-127.netcologne.de] has joined #sbcl 04:08:57 -!- rpg [~rpg@216.243.156.16.real-time.com] has quit [Remote host closed the connection] 05:14:46 -!- cmm [~cmm@109.65.200.120] has quit [Ping timeout: 276 seconds] 05:20:46 cmm [~cmm@bzq-109-65-200-120.red.bezeqint.net] has joined #sbcl 05:29:27 -!- cmm [~cmm@bzq-109-65-200-120.red.bezeqint.net] has quit [Ping timeout: 246 seconds] 05:35:45 cmm [~cmm@bzq-109-65-200-120.red.bezeqint.net] has joined #sbcl 05:42:06 -!- cmm [~cmm@bzq-109-65-200-120.red.bezeqint.net] has quit [Ping timeout: 240 seconds] 05:44:17 cmm [~cmm@bzq-79-178-206-31.red.bezeqint.net] has joined #sbcl 06:16:10 stassats [~stassats@wikipedia/stassats] has joined #sbcl 07:09:13 homie` [~levgue@xdsl-78-35-168-253.netcologne.de] has joined #sbcl 07:11:37 -!- homie [~levgue@xdsl-84-44-155-127.netcologne.de] has quit [Ping timeout: 255 seconds] 07:19:10 flip214 [~marek@2001:858:107:1:baac:6fff:fe6b:9183] has joined #sbcl 07:19:10 -!- flip214 [~marek@2001:858:107:1:baac:6fff:fe6b:9183] has quit [Changing host] 07:19:10 flip214 [~marek@unaffiliated/flip214] has joined #sbcl 07:21:05 -!- antgreen [~user@CPE00222d6c4710-CM00222d6c470d.cpe.net.cable.rogers.com] has quit [Ping timeout: 264 seconds] 07:30:26 mega1 [~quassel@catv4E5CABA2.pool.t-online.hu] has joined #sbcl 08:10:02 -!- mega1 [~quassel@catv4E5CABA2.pool.t-online.hu] has quit [Read error: Operation timed out] 08:12:40 -!- rhct_ [~root@venus.edt.aft.hist.no] has quit [Ping timeout: 265 seconds] 08:48:13 -!- Krystof [~csr21@csrhodes.plus.com] has quit [Ping timeout: 272 seconds] 08:52:49 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 255 seconds] 08:52:50 rhct [~root@fedora/rhct] has joined #sbcl 09:01:50 -!- rhct [~root@fedora/rhct] has quit [Ping timeout: 240 seconds] 09:20:58 rhct [~root@fedora/rhct] has joined #sbcl 09:38:50 tcr [~tcr@cpc1-bour5-2-0-cust921.15-1.cable.virginmedia.com] has joined #sbcl 09:42:14 -!- rhct [~root@fedora/rhct] has quit [Ping timeout: 240 seconds] 09:42:17 -!- tcr [~tcr@cpc1-bour5-2-0-cust921.15-1.cable.virginmedia.com] has quit [Client Quit] 09:47:19 Krystof [~csr21@howells.doc.gold.ac.uk] has joined #sbcl 09:47:19 -!- ChanServ has set mode +o Krystof 09:48:05 tcr [~tcr@cpc1-bour5-2-0-cust921.15-1.cable.virginmedia.com] has joined #sbcl 09:48:17 -!- tcr [~tcr@cpc1-bour5-2-0-cust921.15-1.cable.virginmedia.com] has quit [Client Quit] 09:49:58 rhct [~root@fedora/rhct] has joined #sbcl 09:59:25 -!- Krystof [~csr21@howells.doc.gold.ac.uk] has quit [Ping timeout: 255 seconds] 09:59:25 tcr [~tcr@cpc1-bour2-0-0-cust414.15-1.cable.virginmedia.com] has joined #sbcl 10:17:51 Krystof [~csr21@158.223.162.169] has joined #sbcl 10:17:51 -!- ChanServ has set mode +o Krystof 10:52:14 stassats [~stassats@wikipedia/stassats] has joined #sbcl 11:04:08 Blkt [~user@dynamic-adsl-78-13-251-76.clienti.tiscali.it] has joined #sbcl 11:07:02 good day everyone 11:15:12 -!- rhct [~root@fedora/rhct] has quit [Read error: Operation timed out] 11:29:47 hargettp [~anonymous@96.237.132.189] has joined #sbcl 11:54:01 mega1 [~quassel@catv4E5CABA2.pool.t-online.hu] has joined #sbcl 11:55:48 -!- ephcon [~user@ppp-71-139-25-220.dsl.snfc21.pacbell.net] has quit [Remote host closed the connection] 12:01:53 attila_lendvai [~attila_le@catv-89-133-171-67.catv.broadband.hu] has joined #sbcl 12:12:58 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 260 seconds] 12:17:50 -!- homie` [~levgue@xdsl-78-35-168-253.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 12:21:48 homie [~levgue@xdsl-78-35-168-253.netcologne.de] has joined #sbcl 12:26:43 -!- Krystof [~csr21@158.223.162.169] has quit [Ping timeout: 272 seconds] 12:34:27 Krystof [~csr21@158.223.162.169] has joined #sbcl 12:34:27 -!- ChanServ has set mode +o Krystof 13:13:43 -!- hargettp [~anonymous@96.237.132.189] has quit [Quit: hargettp] 13:28:22 stassats [~stassats@wikipedia/stassats] has joined #sbcl 13:33:12 -!- Krystof [~csr21@158.223.162.169] has quit [Ping timeout: 240 seconds] 13:33:21 hargettp [~anonymous@96.237.132.189] has joined #sbcl 13:33:23 -!- hargettp [~anonymous@96.237.132.189] has quit [Client Quit] 13:49:39 so the idea is when an argument is already in single precision then it won't matter to coerce the result of some operation to double precision, cause that won't gain any precision right ? 13:50:39 i think i have to look at some doc how sbcl really does that... 13:51:24 i would have thought single,single->single, double,single->double, single,double->double and double,double->double... 13:53:07 well, it may not matter from a precision standpoint, but it may matter from a what-the-standard-says standpoint 13:54:13 ansi ? 14:03:19 "When the arguments to an irrational mathematical function are all rational and the true mathematical result is also (mathematically) rational, then unless otherwise noted an implementation is free to return either an accurate rational result or a single float approximation. If the arguments are all rational but the result cannot be expressed as a rational number, then a single float approximation is always returned." 14:03:40 clhs 12.1.3.3 14:34:11 ok, but does that mean that cmucl and othes don't obey it ? 14:34:35 ah no, implementation is free to decide ok, sorry 15:16:45 slyrus_ [~chatzilla@adsl-75-36-217-249.dsl.pltn13.sbcglobal.net] has joined #sbcl 15:33:09 hulloo 15:40:23 hargettp [~hargettp@dhcp-162.mirrorimage.net] has joined #sbcl 15:47:50 Krystof [~csr21@csrhodes.plus.com] has joined #sbcl 15:47:50 -!- ChanServ has set mode +o Krystof 15:56:15 -!- flip214 [~marek@unaffiliated/flip214] has quit [Remote host closed the connection] 16:59:23 -!- cmm [~cmm@bzq-79-178-206-31.red.bezeqint.net] has quit [Ping timeout: 260 seconds] 16:59:51 cmm [~cmm@bzq-79-178-206-31.red.bezeqint.net] has joined #sbcl 17:09:07 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 276 seconds] 17:10:55 stassats [~stassats@wikipedia/stassats] has joined #sbcl 17:27:55 rpg [~rpg@216.243.156.16.real-time.com] has joined #sbcl 18:01:55 -!- rpg [~rpg@216.243.156.16.real-time.com] has quit [Ping timeout: 276 seconds] 18:30:55 rpg [~rpg@mpls.sift.info] has joined #sbcl 19:16:35 -!- Krystof [~csr21@csrhodes.plus.com] has quit [Quit: Leaving] 19:34:34 homie` [~levgue@xdsl-78-35-180-55.netcologne.de] has joined #sbcl 19:35:21 -!- homie` [~levgue@xdsl-78-35-180-55.netcologne.de] has quit [Remote host closed the connection] 19:36:27 -!- homie [~levgue@xdsl-78-35-168-253.netcologne.de] has quit [Ping timeout: 240 seconds] 20:00:53 homie [~levgue@xdsl-78-35-180-55.netcologne.de] has joined #sbcl 20:05:39 -!- rpg [~rpg@mpls.sift.info] has quit [Read error: Connection reset by peer] 20:07:04 rpg [~rpg@mpls.sift.info] has joined #sbcl 20:43:02 -!- rpg [~rpg@mpls.sift.info] has quit [Quit: rpg] 20:54:34 -!- homie [~levgue@xdsl-78-35-180-55.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 21:11:56 homie [~levgue@xdsl-78-35-180-55.netcologne.de] has joined #sbcl 21:21:10 -!- christoph_debian [~christoph@DSL01.212.114.250.149.ip-pool.NEFkom.net] has quit [Ping timeout: 255 seconds] 21:30:05 -!- tcr [~tcr@cpc1-bour2-0-0-cust414.15-1.cable.virginmedia.com] has quit [Quit: Leaving.] 21:37:08 Sake [~Sakeeee@82.113.99.33] has joined #sbcl 21:46:14 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 240 seconds] 21:51:30 tcr [~tcr@cpc1-bour5-2-0-cust921.15-1.cable.virginmedia.com] has joined #sbcl 22:33:33 christoph_debian [~user@oteiza.siccegge.de] has joined #sbcl 22:51:10 -!- Sake [~Sakeeee@82.113.99.33] has quit [Ping timeout: 255 seconds] 23:13:40 Sake [~Sakeeee@g227021074.adsl.alicedsl.de] has joined #sbcl 23:22:38 -!- mega1 [~quassel@catv4E5CABA2.pool.t-online.hu] has quit [Ping timeout: 240 seconds] 23:40:16 -!- attila_lendvai [~attila_le@catv-89-133-171-67.catv.broadband.hu] has quit [Read error: Connection reset by peer] 23:57:36 attila_lendvai [~attila_le@catv-89-133-171-67.catv.broadband.hu] has joined #sbcl