00:19:28 -!- LiamH [~none@96.231.220.53] has quit [Quit: Leaving.] 01:22:18 LiamH [~none@96.231.220.53] has joined #sbcl 01:33:55 minion: memo for leuler: ISTR Hacker's Delight had a section on deriving bounds for ior/and. Is it any better than the current code? I'll try and compare as soon as I'm close to my library 01:33:55 Remembered. I'll tell leuler when he/she/it next speaks. 01:47:55 Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has joined #sbcl 01:49:55 -!- tcr [~tcr@88-134-109-42-dynip.superkabel.de] has quit [Quit: Leaving.] 02:19:14 prxq_ [~mommer@mnhm-590c1b36.pool.mediaWays.net] has joined #sbcl 02:20:11 tcr [~tcr@88-134-109-42-dynip.superkabel.de] has joined #sbcl 02:22:44 -!- prxq [~mommer@mnhm-5f75ce84.pool.mediaWays.net] has quit [Ping timeout: 252 seconds] 02:28:23 -!- tcr [~tcr@88-134-109-42-dynip.superkabel.de] has quit [Ping timeout: 255 seconds] 03:24:55 tcr [~tcr@88-134-109-42-dynip.superkabel.de] has joined #sbcl 03:30:09 -!- tcr [~tcr@88-134-109-42-dynip.superkabel.de] has quit [Ping timeout: 276 seconds] 03:36:37 -!- huangjs [~huangjs@69.84.244.131] has quit [Quit: This computer has gone to sleep] 03:39:41 -!- wbooze [~wbooze@xdsl-78-35-153-217.netcologne.de] has quit [Quit: none] 03:45:49 huangjs [~huangjs@69.84.244.131] has joined #sbcl 03:46:04 wbooze [~wbooze@xdsl-78-35-153-217.netcologne.de] has joined #sbcl 03:50:44 -!- wbooze [~wbooze@xdsl-78-35-153-217.netcologne.de] has quit [Ping timeout: 255 seconds] 03:53:14 wbooze [~wbooze@xdsl-87-79-194-168.netcologne.de] has joined #sbcl 04:16:06 -!- Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has quit [Ping timeout: 272 seconds] 04:26:14 tcr [~tcr@88-134-109-42-dynip.superkabel.de] has joined #sbcl 04:30:59 -!- tcr [~tcr@88-134-109-42-dynip.superkabel.de] has quit [Ping timeout: 260 seconds] 05:26:55 tcr [~tcr@88-134-109-42-dynip.superkabel.de] has joined #sbcl 05:31:11 -!- tcr [~tcr@88-134-109-42-dynip.superkabel.de] has quit [Ping timeout: 246 seconds] 05:35:28 -!- LiamH [~none@96.231.220.53] has quit [Quit: Leaving.] 06:27:13 tcr [~tcr@88-134-109-42-dynip.superkabel.de] has joined #sbcl 06:31:34 -!- tcr [~tcr@88-134-109-42-dynip.superkabel.de] has quit [Ping timeout: 240 seconds] 06:55:53 pnpuff [~Dioxirane@unaffiliated/pnpuff] has joined #sbcl 07:27:34 tcr [~tcr@88-134-109-42-dynip.superkabel.de] has joined #sbcl 07:32:36 -!- tcr [~tcr@88-134-109-42-dynip.superkabel.de] has quit [Ping timeout: 276 seconds] 07:39:20 -!- stassats` [~stassats@wikipedia/stassats] has quit [Ping timeout: 255 seconds] 08:27:53 tcr [~tcr@88-134-109-42-dynip.superkabel.de] has joined #sbcl 08:32:20 -!- tcr [~tcr@88-134-109-42-dynip.superkabel.de] has quit [Ping timeout: 240 seconds] 08:57:14 -!- prxq_ is now known as prxq 09:28:16 tcr [~tcr@88-134-109-42-dynip.superkabel.de] has joined #sbcl 09:32:38 -!- tcr [~tcr@88-134-109-42-dynip.superkabel.de] has quit [Ping timeout: 255 seconds] 09:42:03 christoph_debian [~user@2001:a60:f01c:0:42::1] has joined #sbcl 09:51:06 -!- huangjs [~huangjs@69.84.244.131] has quit [Quit: This computer has gone to sleep] 10:28:36 tcr [~tcr@88-134-109-42-dynip.superkabel.de] has joined #sbcl 10:33:02 -!- tcr [~tcr@88-134-109-42-dynip.superkabel.de] has quit [Ping timeout: 255 seconds] 10:38:52 tcr [~tcr@88-134-109-42-dynip.superkabel.de] has joined #sbcl 10:41:43 hydan [~user@ip-89-102-13-27.net.upcbroadband.cz] has joined #sbcl 11:02:19 snowylike [~sn@91-67-171-156-dynip.superkabel.de] has joined #sbcl 11:18:45 -!- Blkt [~user@82.84.159.98] has quit [Quit: Cya!] 12:30:24 -!- wbooze [~wbooze@xdsl-87-79-194-168.netcologne.de] has quit [Quit: none] 12:45:03 wbooze [~wbooze@xdsl-87-79-194-168.netcologne.de] has joined #sbcl 13:34:23 leuler [~user@p548FC88D.dip.t-dialin.net] has joined #sbcl 13:36:17 minion: I see in the logs that you have a message for me. I have read it there, so you don't need to repeat it now. Thanks! 13:36:20 well, i don't think i see in the logs that you have a message for you you have read it there so me don t need to repeat it now thanks though 13:36:20 leuler, memo from pkhuong: ISTR Hacker's Delight had a section on deriving bounds for ior/and. Is it any better than the current code? I'll try and compare as soon as I'm close to my library 13:38:53 LiamH [~none@96.231.220.53] has joined #sbcl 13:43:04 pkhuong: The current code is from Hacker's Delight. It is bit-serial and worst case quadratic as for each bit it uses operations that are linear in the number of bits. I think this is a case where one can actually improve upon Hacker's Delight as my algorithm is completely bit-parallel. Maybe Henry Warren wasn't interested in bignums so didn't care about the quadratical behaviour. 13:50:31 huangjs [~huangjs@69.84.244.131] has joined #sbcl 14:15:48 edgar-rft [~GOD@HSI-KBW-091-089-005-153.hsi2.kabelbw.de] has joined #sbcl 14:30:55 stassats [~stassats@wikipedia/stassats] has joined #sbcl 15:04:27 minion: forget my memos. 15:04:28 You didn't have any memos! 15:04:48 it's only for your memos directed for you 15:07:40 stassats: pedagogy. 15:08:33 pedagogus. (: 15:10:40 Thanks for the hint. I had too high hopes for minion's capabilities. 15:11:40 ... with respect to understanding natural language, that is. 15:12:31 "my" is ambiguous 16:27:14 -!- hydan [~user@ip-89-102-13-27.net.upcbroadband.cz] has quit [Remote host closed the connection] 16:36:10 -!- wbooze [~wbooze@xdsl-87-79-194-168.netcologne.de] has quit [Ping timeout: 246 seconds] 16:55:29 -!- snowylike [~sn@91-67-171-156-dynip.superkabel.de] has quit [Ping timeout: 248 seconds] 16:56:15 snowylike [~sn@91-67-171-156-dynip.superkabel.de] has joined #sbcl 17:16:47 hydan [~user@ip-89-102-13-27.net.upcbroadband.cz] has joined #sbcl 17:41:07 wbooze [~wbooze@xdsl-78-35-159-160.netcologne.de] has joined #sbcl 17:42:46 -!- wbooze [~wbooze@xdsl-78-35-159-160.netcologne.de] has quit [Remote host closed the connection] 17:43:48 wbooze [~wbooze@xdsl-78-35-159-160.netcologne.de] has joined #sbcl 17:46:39 -!- LiamH [~none@96.231.220.53] has quit [Quit: Leaving.] 17:47:45 -!- wbooze [~wbooze@xdsl-78-35-159-160.netcologne.de] has quit [Client Quit] 17:50:02 wbooze [~wbooze@xdsl-78-35-159-160.netcologne.de] has joined #sbcl 17:52:46 -!- wbooze [~wbooze@xdsl-78-35-159-160.netcologne.de] has quit [Read error: Connection reset by peer] 17:53:42 wbooze [~wbooze@xdsl-78-35-159-160.netcologne.de] has joined #sbcl 17:57:40 -!- wbooze [~wbooze@xdsl-78-35-159-160.netcologne.de] has quit [Remote host closed the connection] 17:58:58 wbooze [~wbooze@xdsl-78-35-159-160.netcologne.de] has joined #sbcl 18:02:28 -!- snowylike [~sn@91-67-171-156-dynip.superkabel.de] has quit [Quit: Nettalk6 - www.ntalk.de] 18:35:40 -!- hydan [~user@ip-89-102-13-27.net.upcbroadband.cz] has quit [Remote host closed the connection] 18:48:35 Fare [fare@nat/google/x-kjyzlejkxfoquecy] has joined #sbcl 19:06:29 -!- Fare [fare@nat/google/x-kjyzlejkxfoquecy] has quit [Ping timeout: 255 seconds] 19:09:17 Thra11 [~thrall@54.247.112.87.dyn.plus.net] has joined #sbcl 19:30:57 LiamH [~none@96.231.220.53] has joined #sbcl 19:37:21 Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has joined #sbcl 19:37:31 FareWell [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has joined #sbcl 19:39:14 -!- Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has quit [Read error: Operation timed out] 19:42:40 -!- FareWell [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has quit [Ping timeout: 272 seconds] 19:54:27 FareWell [fare@nat/google/x-ikycemgrgrjqpmdp] has joined #sbcl 20:12:58 -!- pnpuff [~Dioxirane@unaffiliated/pnpuff] has quit [Quit: .] 20:43:09 leuler: I think we should use your version of the bound derivation routines. 20:43:32 Denommus [~user@gateway/tor-sasl/denommus] has joined #sbcl 20:43:44 -!- Denommus [~user@gateway/tor-sasl/denommus] has left #sbcl 21:01:36 pkhuong: I am curious: based on which considerations of yours? 21:04:00 leuler: making fast case slightly slower to avoid really bad slowdowns is a solid choice. 21:04:17 OK. 21:05:18 if someone reports issues, we can look into switching dynamically. 21:07:53 Actually, I have reworked the logior case a bit in the meantime. Joining the low and high variant in one function allows sharing of work (two calls to logxor and two to integer-length being shared) which makes the most common case take only 50 % more time than with the current implementation (instead of being five times slower). This is without the special casing from my last code example in launchpad. 21:08:13 The absolutely worst case runs twice as slow. 21:08:38 The compiler is already full of micro-optimisation hacks that don't scale that well to large compilation units. Python being slow is an issue. Python taking hours to compile some function is a bug. 21:10:31 kanru`` [~kanru@62-50-219-183.client.stsn.net] has joined #sbcl 21:11:13 I agree. I would really like to make these functions as straightforward as possible. 21:20:17 Blkt [~user@82.84.159.98] has joined #sbcl 22:00:44 -!- wbooze [~wbooze@xdsl-78-35-159-160.netcologne.de] has quit [Remote host closed the connection] 22:12:30 wbooze [~wbooze@xdsl-78-35-159-160.netcologne.de] has joined #sbcl 22:17:07 -!- wbooze [~wbooze@xdsl-78-35-159-160.netcologne.de] has quit [Client Quit] 22:18:26 wbooze [~wbooze@xdsl-78-35-159-160.netcologne.de] has joined #sbcl 22:35:15 -!- leuler [~user@p548FC88D.dip.t-dialin.net] has quit [Quit: ERC Version 5.1.2 $Revision: 1.796.2.6 $ (IRC client for Emacs)] 22:35:44 -!- wbooze [~wbooze@xdsl-78-35-159-160.netcologne.de] has quit [Remote host closed the connection] 22:36:43 wbooze [~wbooze@xdsl-78-35-159-160.netcologne.de] has joined #sbcl 23:57:24 -!- Thra11 [~thrall@54.247.112.87.dyn.plus.net] has quit [Quit: kthxbai]