00:09:43 -!- Qworkescence [~quad@unaffiliated/quadrescence] has quit [Quit: Leaving] 01:19:44 -!- tsuru [~charlie@adsl-74-240-217-227.bna.bellsouth.net] has quit [Remote host closed the connection] 03:37:33 homie` [~levgue@xdsl-78-35-185-51.netcologne.de] has joined #sbcl 03:39:39 -!- homie [~levgue@xdsl-84-44-210-160.netcologne.de] has quit [Ping timeout: 255 seconds] 05:15:40 redline6561 [~redline65@li69-162.members.linode.com] has joined #sbcl 05:15:47 -!- redline6561_syn [~redline65@li69-162.members.linode.com] has quit [Ping timeout: 255 seconds] 05:18:12 -!- tunes [~Fare@ita4fw1.itasoftware.com] has quit [Ping timeout: 255 seconds] 05:18:42 tunes [~Fare@ita4fw1.itasoftware.com] has joined #sbcl 06:20:48 -!- scymtym [~user@2001:638:504:2093:21a:a0ff:fe34:2d7d] has quit [Read error: Connection reset by peer] 06:21:31 scymtym [~user@2001:638:504:2093:21a:a0ff:fe34:2d7d] has joined #sbcl 06:30:06 -!- scymtym [~user@2001:638:504:2093:21a:a0ff:fe34:2d7d] has quit [Remote host closed the connection] 07:30:36 udzinari [~user@ip-89-102-12-6.net.upcbroadband.cz] has joined #sbcl 08:53:56 nikodemus [~nikodemus@cs181063174.pp.htv.fi] has joined #sbcl 08:53:56 -!- ChanServ has set mode +o nikodemus 10:43:44 -!- nikodemus [~nikodemus@cs181063174.pp.htv.fi] has quit [Ping timeout: 258 seconds] 11:29:01 hargettp [~hargettp@pool-71-174-138-128.bstnma.east.verizon.net] has joined #sbcl 11:34:09 -!- udzinari [~user@ip-89-102-12-6.net.upcbroadband.cz] has quit [Ping timeout: 276 seconds] 12:11:27 -!- homie` [~levgue@xdsl-78-35-185-51.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 12:13:24 homie [~levgue@xdsl-78-35-185-51.netcologne.de] has joined #sbcl 12:39:00 nikodemus [~nikodemus@cs181063174.pp.htv.fi] has joined #sbcl 12:39:00 -!- ChanServ has set mode +o nikodemus 12:46:01 -!- nikodemus [~nikodemus@cs181063174.pp.htv.fi] has quit [Ping timeout: 258 seconds] 14:08:12 hm 14:08:55 it looks like I may owe someone from yesterday an apology, my nightly clisp-hosted build failed, but the sbcl-hosted one succeeded 14:22:03 prxq [~mommer@mnhm-5f75e9f4.pool.mediaWays.net] has joined #sbcl 14:27:12 looks like a recent commit yesterday added a non-ascii character in a comment 14:28:06 setting the default encoding to latin-1 in make-host-1.lisp is enough to make it through make-host-1 at least, but I'm not sure if it's better to do that or to fix the comment 14:52:57 udzinari [~user@ip-89-102-12-6.net.upcbroadband.cz] has joined #sbcl 14:55:43 oh yeah. Totally forgot to fix that. 14:56:16 \"{o}. 15:02:46 I was leaning towards the clisp workaround, were you thinking of doing that or fixing the comment(s)? 15:03:56 fixing the comment 15:04:18 hm, build ended up failing, maybe the workaround is needed in make-host-2 too 15:04:29 fixing the comment is certainly easier :) 15:11:49 -!- daimrod [~daimrod@sbrk.org] has quit [Quit: leaving] 15:13:22 daimrod [~daimrod@sbrk.org] has joined #sbcl 15:20:31 -!- hargettp [~hargettp@pool-71-174-138-128.bstnma.east.verizon.net] has quit [Quit: Leaving...] 15:57:21 hargettp [~hargettp@pool-71-174-138-128.bstnma.east.verizon.net] has joined #sbcl 16:06:31 homie` [~levgue@xdsl-78-35-152-142.netcologne.de] has joined #sbcl 16:08:27 -!- homie [~levgue@xdsl-78-35-185-51.netcologne.de] has quit [Ping timeout: 240 seconds] 16:28:43 -!- homie` [~levgue@xdsl-78-35-152-142.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 16:30:58 homie [~levgue@xdsl-78-35-152-142.netcologne.de] has joined #sbcl 16:51:23 so... I know how to do (truncate x 4/3) (and other constant fraction), which is very useful because the intermediate result is potentially two words wide. 16:52:34 except that I can't show there won't be edge cases in which I have to go through montgomery-style preprocessing, and I don't know how to extend the latter to arbitrary fractions 17:05:25 -!- udzinari [~user@ip-89-102-12-6.net.upcbroadband.cz] has quit [Remote host closed the connection] 17:48:31 -!- hargettp [~hargettp@pool-71-174-138-128.bstnma.east.verizon.net] has quit [Quit: Leaving...] 18:39:59 scymtym [~user@2001:638:504:2093:21a:a0ff:fe34:2d7d] has joined #sbcl 18:53:07 pkhuong: sounds like a job for... a bunch of academics! 19:06:12 i was hoping the forth people would have something, but i'm told they just do it all at runtime 19:15:35 well, there's probably a paper in a mediocre journal in it for whoever works it all out 19:28:55 nikodemus [~nikodemus@cs181063174.pp.htv.fi] has joined #sbcl 19:28:55 -!- ChanServ has set mode +o nikodemus 19:45:43 pkhuong: what is the matter? 19:47:40 trying to get all the corner cases for (truncate x [constant positive rational]), with x and the truncation machine words 19:48:34 ah 19:49:17 any limitations on the constant positive rational? 19:49:25 no. 19:50:33 why do you expect there to be a simple description of corner cases? 19:50:44 I don't. 19:50:54 ok 19:52:46 do you use (truncate (* (denominator r) x) (numerator r)) as a simplification? 19:53:26 no. That's the point. 19:54:10 the intermediate multiplication result can be very large, but we only need a small fixed point approximation. 20:03:25 -!- prxq [~mommer@mnhm-5f75e9f4.pool.mediaWays.net] has quit [Quit: Leaving] 20:07:18 -!- scymtym [~user@2001:638:504:2093:21a:a0ff:fe34:2d7d] has quit [Read error: Connection reset by peer] 20:08:00 scymtym [~user@2001:638:504:2093:21a:a0ff:fe34:2d7d] has joined #sbcl 20:22:11 -!- nikodemus [~nikodemus@cs181063174.pp.htv.fi] has quit [Ping timeout: 258 seconds] 20:41:07 Xof: think I got it (mostly). It helps to refactor the literature a bit ;) 22:05:48 Qworkescence [~quad@unaffiliated/quadrescence] has joined #sbcl 22:13:30 -!- alexmagnus [~anonymous@alice.ipq.co] has quit [Quit: alexmagnus]