2015-02-22T00:00:28Z Bicyclidine quit (Quit: tire)
2015-02-22T00:06:39Z nicdev quit (Remote host closed the connection)
2015-02-22T00:06:49Z nicdev joined #sbcl
2015-02-22T00:11:08Z stassats quit (Ping timeout: 246 seconds)
2015-02-22T00:11:32Z stassats` quit (Ping timeout: 245 seconds)
2015-02-22T00:29:32Z Quadrescence joined #sbcl
2015-02-22T00:36:55Z Shinmera quit (Quit: しつれいしなければならないんです。)
2015-02-22T01:17:52Z eudoxia_ quit (Quit: Leaving)
2015-02-22T01:35:30Z Quadrescence quit (Quit: This computer has gone to sleep)
2015-02-22T01:39:08Z edgar-rft quit (Quit: bye...)
2015-02-22T02:30:17Z karswell joined #sbcl
2015-02-22T03:39:21Z christoph_debian quit (Ping timeout: 256 seconds)
2015-02-22T03:41:16Z Quadrescence joined #sbcl
2015-02-22T03:47:08Z LiamH quit (Quit: Leaving.)
2015-02-22T03:52:46Z christoph_debian joined #sbcl
2015-02-22T05:57:28Z nyef quit (Quit: G'night all)
2015-02-22T06:04:35Z Quadrescence: http://paste.lisp.org/display/145881
2015-02-22T06:05:24Z Quadrescence: err ignore that
2015-02-22T06:06:29Z Bike: got one of those new 128-bit machines, eh
2015-02-22T06:06:36Z Quadrescence: ha ;)
2015-02-22T06:22:12Z selat quit (Quit: Lost terminal)
2015-02-22T07:13:31Z gingerale joined #sbcl
2015-02-22T07:40:24Z Shinmera joined #sbcl
2015-02-22T07:48:34Z csziacobus quit (Quit: csziacobus)
2015-02-22T08:01:10Z stassats joined #sbcl
2015-02-22T08:30:08Z Quadrescence: Just implemented most of bit vectors from scratch: https://bitbucket.org/tarballs_are_good/lisp-random/raw/7837be04ea889871f16c96d0a0f3a13694baa498/bitset.lisp
2015-02-22T08:30:19Z Quadrescence: SBCL does exceedingly well at compiling it. I was surprised.
2015-02-22T08:31:44Z Quadrescence: Stunning http://paste.lisp.org/display/145885
2015-02-22T08:34:57Z Quadrescence: LW doesn't optimize anything, CCL seems to be encumbered by compiler bugs
2015-02-22T08:35:42Z sdemarre joined #sbcl
2015-02-22T08:48:55Z Quadrescence quit (Quit: This computer has gone to sleep)
2015-02-22T09:20:03Z edgar-rft joined #sbcl
2015-02-22T09:22:07Z stassats quit (Ping timeout: 265 seconds)
2015-02-22T09:51:36Z angavrilov joined #sbcl
2015-02-22T10:10:25Z attila_lendvai joined #sbcl
2015-02-22T10:10:25Z attila_lendvai quit (Changing host)
2015-02-22T10:10:25Z attila_lendvai joined #sbcl
2015-02-22T10:13:15Z ASau` joined #sbcl
2015-02-22T10:16:33Z ASau quit (Ping timeout: 250 seconds)
2015-02-22T10:17:04Z attila_lendvai quit (Ping timeout: 255 seconds)
2015-02-22T10:19:34Z ASau` is now known as ASau
2015-02-22T10:47:29Z psy_ quit (Ping timeout: 252 seconds)
2015-02-22T10:49:09Z psy_ joined #sbcl
2015-02-22T11:31:58Z rszeno quit (Quit: Leaving.)
2015-02-22T11:34:19Z karswell quit (Read error: Connection reset by peer)
2015-02-22T11:34:46Z karswell joined #sbcl
2015-02-22T11:38:28Z oleo is now known as Guest55262
2015-02-22T11:39:24Z oleo__ joined #sbcl
2015-02-22T11:41:18Z Guest55262 quit (Ping timeout: 246 seconds)
2015-02-22T11:58:51Z scymtym joined #sbcl
2015-02-22T12:03:00Z attila_lendvai joined #sbcl
2015-02-22T12:07:54Z attila_lendvai quit (Ping timeout: 265 seconds)
2015-02-22T13:15:00Z selat joined #sbcl
2015-02-22T13:37:47Z oleo__ quit (Quit: Verlassend)
2015-02-22T13:38:35Z oleo joined #sbcl
2015-02-22T13:58:21Z attila_lendvai joined #sbcl
2015-02-22T13:58:21Z attila_lendvai quit (Changing host)
2015-02-22T13:58:21Z attila_lendvai joined #sbcl
2015-02-22T14:03:24Z karswell` joined #sbcl
2015-02-22T14:04:14Z karswell quit (Remote host closed the connection)
2015-02-22T14:09:05Z nyef joined #sbcl
2015-02-22T14:09:23Z nyef: G'morning all.
2015-02-22T14:23:35Z oleo: morning
2015-02-22T14:24:15Z LiamH joined #sbcl
2015-02-22T15:03:31Z karswell` quit (Read error: Connection reset by peer)
2015-02-22T15:03:47Z karswell` joined #sbcl
2015-02-22T15:14:05Z scymtym quit (Ping timeout: 256 seconds)
2015-02-22T15:24:00Z kanru quit (*.net *.split)
2015-02-22T15:24:00Z ferada quit (*.net *.split)
2015-02-22T15:24:00Z krl quit (*.net *.split)
2015-02-22T15:24:00Z fe[nl]ix quit (*.net *.split)
2015-02-22T15:24:01Z Blkt quit (*.net *.split)
2015-02-22T15:24:26Z krl joined #sbcl
2015-02-22T15:24:42Z Blkt joined #sbcl
2015-02-22T15:24:44Z fe[nl]ix joined #sbcl
2015-02-22T15:26:04Z attila_lendvai quit (Ping timeout: 245 seconds)
2015-02-22T16:03:57Z wbooze joined #sbcl
2015-02-22T17:50:50Z sdemarre quit (Quit: Leaving.)
2015-02-22T17:54:29Z Intensity joined #sbcl
2015-02-22T18:35:47Z scymtym joined #sbcl
2015-02-22T19:01:34Z karswell` quit (Remote host closed the connection)
2015-02-22T19:10:21Z ferada joined #sbcl
2015-02-22T19:34:03Z attila_lendvai joined #sbcl
2015-02-22T19:37:47Z Adlai quit (Ping timeout: 245 seconds)
2015-02-22T19:53:22Z foom quit (Ping timeout: 265 seconds)
2015-02-22T19:53:23Z pchrist quit (Ping timeout: 265 seconds)
2015-02-22T19:54:19Z PuercoPop quit (Ping timeout: 265 seconds)
2015-02-22T19:57:19Z PuercoPop joined #sbcl
2015-02-22T19:58:05Z foom joined #sbcl
2015-02-22T20:01:40Z pchrist joined #sbcl
2015-02-22T20:10:29Z Quadrescence joined #sbcl
2015-02-22T20:20:15Z stassats joined #sbcl
2015-02-22T20:21:04Z stassats: Quadrescence: why is there a 1 2 4 8 vector in your bitset toggle?
2015-02-22T20:24:20Z Quadrescence: because I didn't use (1) (SETF LDB) (2) I couldn't get ASH to optimize, or maybe I should have inspected the disassembly and ignored the compiler notes
2015-02-22T20:25:16Z stassats: what is the range of that vector?
2015-02-22T20:25:36Z Quadrescence: Practically up to 1 << 64
2015-02-22T20:25:42Z Quadrescence: err 63
2015-02-22T20:27:09Z stassats: so, (ash 1 (the (integer 1 63) x)) looks fine
2015-02-22T20:27:40Z Quadrescence: hm, I'll have to try that. The other question is whether other platforms would optimize that. I am guessing no.
2015-02-22T20:30:24Z Quadrescence: stassats, yes that seemed to work. Do you have any suggestions on computing the complement of an N-bit integer? I did (logxor X (1- (expt 2 N)))
2015-02-22T20:36:47Z Adlai joined #sbcl
2015-02-22T20:37:26Z stassats: (ldb (byte n 0) (lognot x))?
2015-02-22T20:39:26Z Quadrescence: That actually leads to my next question: does SBCL deal well with not consing up a BYTE if it's called as such?
2015-02-22T20:40:01Z stassats: it never conses byte, but in this case it doesn't even call ldb
2015-02-22T20:40:10Z stassats: calling ldb would be losing
2015-02-22T20:40:22Z Quadrescence: yes
2015-02-22T20:41:35Z stassats: incidentally, we should transform (expt 2 positive-integer) into ash
2015-02-22T20:42:18Z Quadrescence: sounds reasonable
2015-02-22T20:42:32Z stassats: or even (expt power-of-two positive-integer)
2015-02-22T20:43:46Z Quadrescence: will the transforms act recurively?
2015-02-22T20:44:00Z stassats: why would it?
2015-02-22T20:44:25Z Quadrescence: (expt p n) => (expt 2 (* n (log p 2))
2015-02-22T20:45:00Z Quadrescence: (where p is power of 2, n is non-negative, (log p 2) is computed during the transform)
2015-02-22T20:45:38Z stassats: why would you do it that way?
2015-02-22T20:46:06Z Quadrescence: I dunno, stylistically?
2015-02-22T20:46:51Z Quadrescence: Maybe it's reasonable to just do it in one go in this case
2015-02-22T20:51:20Z nikki93 joined #sbcl
2015-02-22T20:51:27Z csziacobus joined #sbcl
2015-02-22T20:55:11Z nikki93 quit (Remote host closed the connection)
2015-02-22T21:02:42Z LiamH1 joined #sbcl
2015-02-22T21:03:19Z stassats:  it's a win even if ash doesn't get opencoded
2015-02-22T21:03:28Z stassats: will add after the freeze
2015-02-22T21:04:30Z stassats: don't know how to turn (expt 2 0) without branches
2015-02-22T21:05:55Z LiamH quit (Ping timeout: 244 seconds)
2015-02-22T21:06:29Z LiamH1 is now known as LiamH
2015-02-22T21:06:48Z stassats: oh wait
2015-02-22T21:06:56Z stassats: it's already handled
2015-02-22T21:09:12Z stassats: could even do (if (minusp power) (%make-ratio 1 (ash 1 (- power))) (ash 1 power))
2015-02-22T21:15:16Z Quadrescence: stassats, clearly we all see where you are going: we should include MACSYMA inside SBCL to power an algebraic simplification engine.
2015-02-22T21:16:22Z LiamH quit (Ping timeout: 240 seconds)
2015-02-22T21:28:22Z selat quit (Quit: Lost terminal)
2015-02-22T21:37:57Z stassats: ok, what else can we optimize?
2015-02-22T21:46:54Z wbooze quit (Quit: none)
2015-02-22T21:48:27Z pkhuong: i believe the lowest hanging fruits are in IR2.
2015-02-22T21:51:05Z stassats: got to optimize out of line ash when the result is not a fixnum but signed-byte 64
2015-02-22T21:52:41Z stassats: out of line ldb/dpb/etc. are particularly notorious
2015-02-22T21:53:05Z stassats: but i couldn't get better ldb quite right last time i tried
2015-02-22T21:54:21Z nyef: There's probably some big wins in terms of better DX support, including auto-dx-ification of function parameters to known functions.
2015-02-22T21:54:23Z stassats: and our out of line arithmetic things in general
2015-02-22T22:34:17Z angavrilov quit (Remote host closed the connection)
2015-02-22T22:36:20Z karswell` joined #sbcl
2015-02-22T22:43:20Z karswell` is now known as karswell
2015-02-22T22:54:24Z LiamH joined #sbcl
2015-02-22T22:57:17Z Shinmera quit (Quit: しつれいしなければならないんです。)
2015-02-22T23:23:12Z attila_lendvai quit (Ping timeout: 245 seconds)
2015-02-22T23:26:55Z krzysz00 joined #sbcl
2015-02-22T23:43:02Z oleo is now known as Guest58568
2015-02-22T23:43:58Z oleo__ joined #sbcl
2015-02-22T23:46:03Z Guest58568 quit (Ping timeout: 264 seconds)
2015-02-22T23:59:49Z ASau quit (Ping timeout: 264 seconds)