00:39:10 Got more than one page on computing (a*x >> s) without overflow :| 01:31:24 hargettp [~hargettp@pool-71-174-138-128.bstnma.east.verizon.net] has joined #sbcl 02:02:56 -!- Qworkescence [~quad@unaffiliated/quadrescence] has quit [Quit: Leaving] 03:47:51 -!- hargettp [~hargettp@pool-71-174-138-128.bstnma.east.verizon.net] has quit [Quit: Leaving...] 04:09:09 wee... Seems to be good for all fractions m/d such that m and d are unsigned words. 04:12:45 04:35:28 homie` [~levgue@xdsl-78-35-143-43.netcologne.de] has joined #sbcl 04:37:12 -!- homie [~levgue@xdsl-78-35-152-142.netcologne.de] has quit [Ping timeout: 252 seconds] 07:55:41 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [Ping timeout: 240 seconds] 08:09:17 pchrist [~spirit@gentoo/developer/pchrist] has joined #sbcl 08:38:25 looks plausible to me, in my current sleep-deprived way. (Not followed in detail, mind) 10:36:02 nikodemus [~nikodemus@cs181063174.pp.htv.fi] has joined #sbcl 10:36:02 -!- ChanServ has set mode +o nikodemus 11:21:31 -!- homie` [~levgue@xdsl-78-35-143-43.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 11:25:37 homie [~levgue@xdsl-78-35-143-43.netcologne.de] has joined #sbcl 11:43:43 -!- nikodemus [~nikodemus@cs181063174.pp.htv.fi] has quit [Remote host closed the connection] 11:52:21 hargettp [~hargettp@pool-71-174-138-128.bstnma.east.verizon.net] has joined #sbcl 14:07:17 Xof: finally, there's a ~2-line proof of the bound in that paper you reviewed. 14:08:36 Lemma (last found in a paper from 2005): a/d <= rho < (a+1)/d => floor(a/d) = floor(rho). 14:10:04 n/d <= (1/d + delta)n < (n+1)/d <==> 0 <= delta n < 1/d <==> n < 1/(d delta). 14:40:33 nikodemus [~nikodemus@cs181063174.pp.htv.fi] has joined #sbcl 14:40:33 -!- ChanServ has set mode +o nikodemus 14:45:57 well thank goodness :-) 14:49:33 that I'm ready to hide in comments (: 15:14:10 -!- nikodemus [~nikodemus@cs181063174.pp.htv.fi] has quit [Ping timeout: 258 seconds] 15:24:07 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 15:49:42 @nikodemus: Thanks for putting up the great merchandise at cafepress. I bought a shirt! I plan to wear it while working on my first serious Lisp project :) 15:51:36 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has left #sbcl 16:10:45 In SBCL, does specifying a host part of a pathname make any sense? Does that imply using NFS to access files on a different host, or something like that? 17:32:35 homie` [~levgue@xdsl-87-79-195-199.netcologne.de] has joined #sbcl 17:35:06 -!- homie [~levgue@xdsl-78-35-143-43.netcologne.de] has quit [Ping timeout: 276 seconds] 17:35:58 -!- homie` [~levgue@xdsl-87-79-195-199.netcologne.de] has quit [Client Quit] 17:44:09 homie [~levgue@xdsl-87-79-195-199.netcologne.de] has joined #sbcl 18:27:35 -!- hargettp [~hargettp@pool-71-174-138-128.bstnma.east.verizon.net] has quit [Quit: Leaving...] 18:42:35 What's (truncate (ash 1 63) pi) supposed to return? 18:43:11 How about (truncate (1- (ash 1 63)) pi)? Surely the remainder should differ by at least (/ pi) (: 18:43:24 hargettp [~hargettp@pool-71-174-138-128.bstnma.east.verizon.net] has joined #sbcl 18:44:10 ... and that's "by at least 1". 18:46:44 (the quotient has rounding issues as well) 19:46:11 -!- hargettp [~hargettp@pool-71-174-138-128.bstnma.east.verizon.net] has quit [Quit: Leaving...] 20:03:58 -!- redline6561 is now known as redline6561_afk 20:17:32 prxq [~mommer@mnhm-590c23f6.pool.mediaWays.net] has joined #sbcl 21:29:14 -!- fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has quit [Remote host closed the connection] 21:30:57 fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has joined #sbcl 21:40:08 -!- homie [~levgue@xdsl-87-79-195-199.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 21:41:04 -!- prxq [~mommer@mnhm-590c23f6.pool.mediaWays.net] has quit [Quit: Leaving] 22:18:45 hargettp [~hargettp@pool-71-174-138-128.bstnma.east.verizon.net] has joined #sbcl