00:05:39 homie` [~levgue@xdsl-78-35-145-99.netcologne.de] has joined #sbcl 00:07:02 -!- homie [~levgue@xdsl-78-35-188-203.netcologne.de] has quit [Read error: Operation timed out] 00:13:35 attila_lendvai [~attila_le@178-164-242-77.pool.digikabel.hu] has joined #sbcl 00:13:35 -!- attila_lendvai [~attila_le@178-164-242-77.pool.digikabel.hu] has quit [Changing host] 00:13:35 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 00:20:37 -!- Kryztof [~user@81.174.155.115] has quit [Ping timeout: 248 seconds] 00:37:38 -!- galdor [galdor@def92-10-88-162-192-107.fbx.proxad.net] has quit [Ping timeout: 265 seconds] 00:37:39 -!- borkman [~user@S0106001111de1fc8.cg.shawcable.net] has quit [Ping timeout: 265 seconds] 00:37:39 -!- jsnell [~jsnell@ash.snellman.net] has quit [Ping timeout: 265 seconds] 00:37:40 -!- milanj [~milanj_@109-93-198-135.dynamic.isp.telekom.rs] has quit [Ping timeout: 265 seconds] 00:37:40 -!- DGASAU [~user@91.218.144.129] has quit [Ping timeout: 265 seconds] 00:38:29 -!- cmm [~cmm@bzq-79-179-209-105.red.bezeqint.net] has quit [*.net *.split] 00:38:29 -!- lichtblau [~user@port-92-195-61-68.dynamic.qsc.de] has quit [*.net *.split] 00:38:29 -!- ASau [~user@95-26-251-179.broadband.corbina.ru] has quit [*.net *.split] 00:39:04 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [*.net *.split] 00:39:06 -!- asedeno_work [~asedeno@74.125.59.113] has quit [*.net *.split] 00:39:06 -!- Fade [~fade@outrider.deepsky.com] has quit [*.net *.split] 00:39:06 -!- easye [~user@213.33.70.157] has quit [*.net *.split] 00:39:06 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [*.net *.split] 00:39:06 -!- joshe [~joshe@opal.elsasser.org] has quit [*.net *.split] 00:39:06 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [*.net *.split] 00:39:06 -!- homie` [~levgue@xdsl-78-35-145-99.netcologne.de] has quit [*.net *.split] 00:39:07 -!- Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has quit [*.net *.split] 00:39:07 -!- nyef [~nyef@c-174-63-105-188.hsd1.ma.comcast.net] has quit [*.net *.split] 00:39:07 -!- lsenta [u6454@gateway/web/irccloud.com/x-padgejkjwmfqywpf] has quit [*.net *.split] 00:39:07 -!- luis [~luis@nhop.r42.eu] has quit [*.net *.split] 00:39:07 -!- ivan`` [~ivan@unaffiliated/ivan/x-000001] has quit [*.net *.split] 00:39:07 -!- dlowe [~dlowe@digital.sanctuary.org] has quit [*.net *.split] 00:39:07 -!- les [moreorles@fsf/member/les] has quit [*.net *.split] 00:42:53 jsnell [~jsnell@ash.snellman.net] has joined #sbcl 00:42:53 cmm [~cmm@bzq-79-179-209-105.red.bezeqint.net] has joined #sbcl 00:42:53 lichtblau [~user@port-92-195-61-68.dynamic.qsc.de] has joined #sbcl 00:42:53 ASau [~user@95-26-251-179.broadband.corbina.ru] has joined #sbcl 00:44:08 milanj- [~milanj_@109-93-198-135.dynamic.isp.telekom.rs] has joined #sbcl 00:44:09 galdor_ [galdor@def92-10-88-162-192-107.fbx.proxad.net] has joined #sbcl 00:44:09 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 00:44:09 homie` [~levgue@xdsl-78-35-145-99.netcologne.de] has joined #sbcl 00:44:09 pchrist [~spirit@gentoo/developer/pchrist] has joined #sbcl 00:44:09 Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has joined #sbcl 00:44:09 nyef [~nyef@c-174-63-105-188.hsd1.ma.comcast.net] has joined #sbcl 00:44:09 lsenta [u6454@gateway/web/irccloud.com/x-padgejkjwmfqywpf] has joined #sbcl 00:44:09 luis [~luis@nhop.r42.eu] has joined #sbcl 00:44:09 ivan`` [~ivan@unaffiliated/ivan/x-000001] has joined #sbcl 00:44:09 dlowe [~dlowe@digital.sanctuary.org] has joined #sbcl 00:44:09 easye [~user@213.33.70.157] has joined #sbcl 00:44:09 Quadrescence [~quad@unaffiliated/quadrescence] has joined #sbcl 00:44:09 Fade [~fade@outrider.deepsky.com] has joined #sbcl 00:44:09 asedeno_work [~asedeno@74.125.59.113] has joined #sbcl 00:44:09 les [moreorles@fsf/member/les] has joined #sbcl 00:44:09 joshe [~joshe@opal.elsasser.org] has joined #sbcl 00:44:56 -!- jsnell [~jsnell@ash.snellman.net] has quit [*.net *.split] 00:44:56 -!- cmm [~cmm@bzq-79-179-209-105.red.bezeqint.net] has quit [*.net *.split] 00:44:56 -!- lichtblau [~user@port-92-195-61-68.dynamic.qsc.de] has quit [*.net *.split] 00:44:56 -!- ASau [~user@95-26-251-179.broadband.corbina.ru] has quit [*.net *.split] 00:51:00 jsnell [~jsnell@ash.snellman.net] has joined #sbcl 00:51:00 cmm [~cmm@bzq-79-179-209-105.red.bezeqint.net] has joined #sbcl 00:51:00 lichtblau [~user@port-92-195-61-68.dynamic.qsc.de] has joined #sbcl 00:51:00 ASau [~user@95-26-251-179.broadband.corbina.ru] has joined #sbcl 01:19:32 stassats` [~stassats@wikipedia/stassats] has joined #sbcl 01:42:11 tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has joined #sbcl 02:01:39 -!- tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [Quit: Leaving.] 02:40:48 huangjs [~huangjs@190.8.100.83] has joined #sbcl 03:57:25 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 04:44:03 nikodemus [~nikodemus@37-219-0-207.nat.bb.dnainternet.fi] has joined #sbcl 04:44:03 -!- ChanServ has set mode +o nikodemus 05:10:23 slyrus [~chatzilla@99-28-161-110.lightspeed.miamfl.sbcglobal.net] has joined #sbcl 05:26:22 -!- milanj- [~milanj_@109-93-198-135.dynamic.isp.telekom.rs] has quit [Quit: Leaving] 05:29:51 -!- nikodemus [~nikodemus@37-219-0-207.nat.bb.dnainternet.fi] has quit [Quit: This computer has gone to sleep] 05:40:01 sdemarre [~serge@91.176.56.241] has joined #sbcl 05:42:53 -!- antgreen [~user@bas3-toronto06-1177889984.dsl.bell.ca] has quit [Ping timeout: 252 seconds] 05:49:25 nikodemus [~nikodemus@37-219-0-207.nat.bb.dnainternet.fi] has joined #sbcl 05:49:25 -!- ChanServ has set mode +o nikodemus 05:50:01 -!- nikodemus [~nikodemus@37-219-0-207.nat.bb.dnainternet.fi] has quit [Client Quit] 06:10:34 -!- sdemarre [~serge@91.176.56.241] has quit [Ping timeout: 245 seconds] 06:17:18 -!- galdor_ is now known as galdor 06:37:11 prxq [~mommer@mnhm-4d0104ae.pool.mediaWays.net] has joined #sbcl 07:03:19 jdz [~jdz@193.206.22.97] has joined #sbcl 07:10:51 tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has joined #sbcl 07:29:57 -!- angavrilov [~angavrilo@217.71.227.190] has quit [Ping timeout: 252 seconds] 07:30:03 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 07:56:06 Kryztof [~user@81.174.155.115] has joined #sbcl 07:56:06 -!- ChanServ has set mode +o Kryztof 08:19:39 -!- tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [Quit: Leaving.] 08:22:14 -!- Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has quit [Ping timeout: 245 seconds] 08:49:12 tcr [~tcr@178-83-229-138.dynamic.hispeed.ch] has joined #sbcl 08:49:32 Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has joined #sbcl 08:57:43 morning all 09:01:05 hi pkhuong 09:03:04 -!- jdz [~jdz@193.206.22.97] has quit [Ping timeout: 245 seconds] 09:13:43 jdz [~jdz@193.206.22.97] has joined #sbcl 09:25:50 nice post 09:26:27 thanks (: Think I'll go for rational approximations next, and then branch and cut. 09:27:16 I'm hoping to have a table of the pareto front for quality of approximation VS efficiency for useful functions in a couple weeks 09:28:37 for particular pathological functions, do you have to worry about the derivative combined with the fact that you can only evaluate on a grid of rationals? 09:29:30 well, the domain of the approximation is only doubles, so it's not an issue. 09:30:05 if we want to go all theory on this, we're not interested in min max_{R or Q}, but in min max_{fp values} 09:30:37 of you mean missing roots because I only initialise with a grid of rationals? 09:31:35 I think I mean that the user-supplied derivative function may not accurately reflect what's going on in f in the domain of the doubles 09:31:49 yes, that's an issue. 09:32:14 I imagine things like sin(1/x) nearish zero 09:32:15 I'm hoping that the exhaustive linear search once we have a tight enough range is good enough. 09:33:41 when are you planning to graduate, by the way? (To the extent that one plans these things) 09:33:57 in the next six months, amazingly enough. 09:45:10 I wonder where we'll find the next sbcl-hacking grad student 09:52:25 -!- tcr [~tcr@178-83-229-138.dynamic.hispeed.ch] has quit [Quit: Leaving.] 10:09:54 -!- specbot [~specbot@tiger.common-lisp.net] has quit [Disconnected by services] 10:10:40 specbot [~specbot@tiger.common-lisp.net] has joined #sbcl 10:33:47 -!- homie` [~levgue@xdsl-78-35-145-99.netcologne.de] has quit [Read error: Connection reset by peer] 10:48:02 Thoughts on having deftransform generate code like: 10:48:26 (funcall (load-time-value (ensure-specialized-routine [key] (lambda (...) ...))) ...)? 10:48:56 for e.g. sequence transforms? 10:48:57 We don't have to generate out of line routines ahead of time, but we still avoid code blow-up. 10:49:00 yeah 10:49:32 and it'd be pretty simple to wrap our current inlining-happy code in that. 10:52:56 tcr [~tcr@178-83-229-138.dynamic.hispeed.ch] has joined #sbcl 12:28:30 I think I generally like the idea, modulo potential issues of debugging. does our load-time-value do the right thing in core-compiled (as opposed to fasl-compiled) code? 12:29:51 Kryztof: the form is evaluated during compilation and the value spliced right in. 12:30:06 that's even righter than the right thing 12:34:05 btw, when does the fasl dumped call make-load-form? 12:40:46 *fassl dumper... and got it. 12:46:18 homie [~levgue@xdsl-78-35-137-160.netcologne.de] has joined #sbcl 12:52:03 pkhuong: you must also love the forum posts on the internets where somebody asks a question, and at the end of the thread says: "oh, never mind, i solved the problem" 12:53:17 i personally totally love those 12:55:28 http://xkcd.com/979/ 13:11:30 gko [~gko@114-34-168-13.HINET-IP.hinet.net] has joined #sbcl 13:23:14 jdz: bah, it's of next to no interest. If you must know, it's called nigh-unconditionally while the source is converted to IR. 13:38:13 DGASAU [~user@91.218.144.129] has joined #sbcl 13:42:58 pkhuong: that's exactly what i wanted to see (i'm lurking here just to be humbled by all the foreign to me names and concepts) 13:56:59 -!- foom [jknight@nat/google/x-cdbibsvzyvceduin] has quit [Remote host closed the connection] 14:02:23 antgreen [user@nat/redhat/x-aatrjtadkcasbrvk] has joined #sbcl 14:06:40 -!- slyrus [~chatzilla@99-28-161-110.lightspeed.miamfl.sbcglobal.net] has quit [Ping timeout: 256 seconds] 14:07:37 slyrus [~chatzilla@99-28-161-110.lightspeed.miamfl.sbcglobal.net] has joined #sbcl 14:43:39 -!- tcr [~tcr@178-83-229-138.dynamic.hispeed.ch] has quit [Quit: Leaving.] 14:59:35 wbooze [~wbooze@xdsl-78-35-137-160.netcologne.de] has joined #sbcl 15:20:58 borkman [~user@S0106001111de1fc8.cg.shawcable.net] has joined #sbcl 15:21:01 -!- jdz [~jdz@193.206.22.97] has quit [Quit: Byebye.] 15:31:31 tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has joined #sbcl 15:33:29 -!- stassats` [~stassats@wikipedia/stassats] has quit [Ping timeout: 244 seconds] 15:39:10 pkhuong, you might find http://gcc.godbolt.org/ interesting 15:40:15 Quadrescence: I mostly use the time honoured terminal (: 15:40:43 pkhuong, that recompiles in realtime and whatever 15:53:43 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 16:01:33 -!- tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [Quit: Leaving.] 16:17:34 -!- slyrus [~chatzilla@99-28-161-110.lightspeed.miamfl.sbcglobal.net] has quit [Ping timeout: 256 seconds] 17:18:08 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 240 seconds] 17:30:08 attila_lendvai [~attila_le@84-236-57-50.pool.digikabel.hu] has joined #sbcl 17:30:08 -!- attila_lendvai [~attila_le@84-236-57-50.pool.digikabel.hu] has quit [Changing host] 17:30:08 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 17:38:18 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [Quit: leaving] 17:38:42 pchrist [~spirit@gentoo/developer/pchrist] has joined #sbcl 17:45:32 -!- whoops [whoops@2600:3c01::f03c:91ff:fe93:da36] has quit [Ping timeout: 272 seconds] 17:56:02 sdemarre [~serge@91.176.56.241] has joined #sbcl 18:02:48 whoops [whoops@2600:3c01::f03c:91ff:fe93:da36] has joined #sbcl 18:09:43 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 18:31:08 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 18:41:18 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Read error: Connection reset by peer] 18:42:17 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 18:43:28 -!- gko [~gko@114-34-168-13.HINET-IP.hinet.net] has quit [] 18:43:44 -!- sdemarre [~serge@91.176.56.241] has quit [Read error: Connection reset by peer] 19:01:59 sdemarre [~serge@91.176.6.13] has joined #sbcl 19:24:44 -!- sdemarre [~serge@91.176.6.13] has left #sbcl 19:28:40 foom [jknight@nat/google/x-bbmphghtjgxyotsk] has joined #sbcl 19:57:08 -!- nyef [~nyef@c-174-63-105-188.hsd1.ma.comcast.net] has quit [Quit: G'night all.] 20:22:33 -!- foom [jknight@nat/google/x-bbmphghtjgxyotsk] has quit [Remote host closed the connection] 20:24:09 foom [jknight@nat/google/x-erdxqbpsqrzgboao] has joined #sbcl 20:24:26 -!- foom [jknight@nat/google/x-erdxqbpsqrzgboao] has quit [Remote host closed the connection] 20:26:07 foom [jknight@nat/google/x-vpqwwyntjnsjogmx] has joined #sbcl 20:38:02 -!- antgreen [user@nat/redhat/x-aatrjtadkcasbrvk] has quit [Remote host closed the connection] 21:23:52 -!- prxq [~mommer@mnhm-4d0104ae.pool.mediaWays.net] has quit [Quit: Leaving] 21:46:54 -!- brown``` [user@nat/google/x-uazkjvnapfykupbj] has quit [Remote host closed the connection] 23:26:45 tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has joined #sbcl 23:47:07 -!- tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [Quit: Leaving.] 23:55:09 tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has joined #sbcl 23:56:25 -!- tcr [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [Client Quit]