00:02:41 -!- fisxoj [~fisxoj@c-24-12-190-29.hsd1.il.comcast.net] has quit [Ping timeout: 248 seconds]
00:14:51 -!- joshe [~joshe@opal.elsasser.org] has quit [Ping timeout: 252 seconds]
00:57:00 LiamH [~none@pool-173-48-164-128.bstnma.fios.verizon.net] has joined #sbcl
01:36:13 -!- hydan [~hydan@ip-89-103-110-5.net.upcbroadband.cz] has quit [Ping timeout: 240 seconds]
02:18:21 Bike_ [~Glossina@67-5-220-112.ptld.qwest.net] has joined #sbcl
02:19:09 -!- Bike [~Glossina@75-164-170-20.ptld.qwest.net] has quit [Ping timeout: 252 seconds]
02:20:34 -!- Bike_ is now known as Bike
02:24:44 echo-area [~user@123.120.245.173] has joined #sbcl
02:35:13 -!- LiamH [~none@pool-173-48-164-128.bstnma.fios.verizon.net] has quit [Ping timeout: 248 seconds]
02:36:59 -!- christoph4 [~christoph@ppp-188-174-93-255.dynamic.mnet-online.de] has quit [Read error: Operation timed out]
02:45:03 LiamH [~none@pool-173-48-164-128.bstnma.fios.verizon.net] has joined #sbcl
02:52:17 christoph4 [~christoph@ppp-93-104-178-98.dynamic.mnet-online.de] has joined #sbcl
03:37:37 yacks [~py@180.151.36.168] has joined #sbcl
03:38:30 -!- LiamH [~none@pool-173-48-164-128.bstnma.fios.verizon.net] has quit [Quit: Leaving.]
04:18:00 attila_lendvai [~attila_le@92.47.189.225] has joined #sbcl
04:18:00 -!- attila_lendvai [~attila_le@92.47.189.225] has quit [Changing host]
04:18:00 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl
04:25:55 -!- echo-area [~user@123.120.245.173] has quit [Remote host closed the connection]
04:28:19 <pkhuong> ah, turns out we do; it's hidden in the "optimize using intervals" transform.
04:28:35 slyrus [~chatzilla@23-25-20-209-static.hfc.comcastbusiness.net] has joined #sbcl
04:30:55 <pkhuong> and istm maybe-float-lvar-p should be more specific, like maybe-nan-lvar-p: if a float type has lower and upper bounds, it can't be a nan (or we're doing something seriously wrong).
04:31:29 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 248 seconds]
04:38:11 attila_lendvai [~attila_le@92.47.189.225] has joined #sbcl
04:38:12 -!- attila_lendvai [~attila_le@92.47.189.225] has quit [Changing host]
04:38:12 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl
04:38:44 -!- drmeister [~drmeister@pool-71-185-168-200.phlapa.fios.verizon.net] has quit [Remote host closed the connection]
04:40:38 joshe [~joshe@opal.elsasser.org] has joined #sbcl
04:52:38 -!- yacks [~py@180.151.36.168] has quit [Ping timeout: 245 seconds]
05:06:00 teggi [~teggi@113.173.4.86] has joined #sbcl
05:16:04 -!- robgssp [~user@cpe-24-93-28-218.rochester.res.rr.com] has quit [Read error: Operation timed out]
05:16:19 -!- Bike [~Glossina@67-5-220-112.ptld.qwest.net] has quit [Ping timeout: 240 seconds]
05:16:44 robgssp [~user@cpe-24-93-28-218.rochester.res.rr.com] has joined #sbcl
05:19:54 Bike [~Glossina@67-5-220-112.ptld.qwest.net] has joined #sbcl
05:45:13 yacks [~py@180.151.36.168] has joined #sbcl
05:57:56 sdemarre [~serge@109.134.148.136] has joined #sbcl
06:31:43 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [Quit: This computer has gone to sleep]
06:43:30 <pkhuong> Quicker (and hopefully unpatented) RETE at http://blog.athico.com/2013/01/life-beyond-rete-rip-rete-2013.html, if someone's really interested in diving in IR1.
06:44:48 -!- foreignFunction [~niksaak@ip-4761.sunline.net.ua] has quit [Ping timeout: 252 seconds]
06:51:40 foreignFunction [~niksaak@ip-4761.sunline.net.ua] has joined #sbcl
07:10:45 -!- sdemarre [~serge@109.134.148.136] has quit [Ping timeout: 256 seconds]
07:34:16 stassats [~stassats@wikipedia/stassats] has joined #sbcl
08:06:33 easy-iPad [~easyipad@61.Red-2-137-44.dynamicIP.rima-tde.net] has joined #sbcl
08:15:55 stassats` [~stassats@wikipedia/stassats] has joined #sbcl
08:19:04 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 276 seconds]
08:24:20 prxq [~mommer@mnhm-4d012478.pool.mediaWays.net] has joined #sbcl
08:37:18 -!- easy-iPad [~easyipad@61.Red-2-137-44.dynamicIP.rima-tde.net] has quit [Quit: Outta here?]
08:43:00 Odyessus [~odyessus@61.Red-2-137-44.dynamicIP.rima-tde.net] has joined #sbcl
08:52:41 -!- Odyessus [~odyessus@61.Red-2-137-44.dynamicIP.rima-tde.net] has quit [Quit: Colloquy for iPad - http://colloquy.mobi]
08:58:41 Odyessus [~odyessus@61.Red-2-137-44.dynamicIP.rima-tde.net] has joined #sbcl
08:59:16 sdemarre [~serge@109.134.148.136] has joined #sbcl
09:04:04 benkard [~benkard@mnch-5d85764e.pool.mediaWays.net] has joined #sbcl
09:14:03 -!- Odyessus [~odyessus@61.Red-2-137-44.dynamicIP.rima-tde.net] has quit [Quit: Colloquy for iPad - http://colloquy.mobi]
09:23:30 davazp [~user@213.37.200.68.dyn.user.ono.com] has joined #sbcl
09:55:55 -!- prxq [~mommer@mnhm-4d012478.pool.mediaWays.net] has quit [Ping timeout: 276 seconds]
09:57:06 prxq [~mommer@mnhm-4d012478.pool.mediaWays.net] has joined #sbcl
10:16:03 -!- yacks [~py@180.151.36.168] has quit [Ping timeout: 256 seconds]
10:17:38 <stassats`> can i theoretically put NIL below 16-bit? or is this space reserved by the kernel?
10:19:41 Odyessus [~odyessus@089144192097.atnat0001.highway.a1.net] has joined #sbcl
10:20:14 -!- davazp [~user@213.37.200.68.dyn.user.ono.com] has quit [Remote host closed the connection]
10:28:44 easy-iPad [~easyipad@195.Red-88-5-174.dynamicIP.rima-tde.net] has joined #sbcl
10:32:33 -!- sdemarre [~serge@109.134.148.136] has quit [Ping timeout: 248 seconds]
10:33:11 -!- Odyessus [~odyessus@089144192097.atnat0001.highway.a1.net] has quit [Quit: Colloquy for iPad - http://colloquy.mobi]
10:37:58 Hydan [~hydan@ip-89-103-110-5.net.upcbroadband.cz] has joined #sbcl
10:38:45 sdemarre [~serge@109.134.148.136] has joined #sbcl
10:46:10 -!- easy-iPad [~easyipad@195.Red-88-5-174.dynamicIP.rima-tde.net] has quit [Quit: Outta here?]
10:51:11 -!- sdemarre [~serge@109.134.148.136] has quit [Ping timeout: 256 seconds]
11:03:29 yacks [~py@180.151.36.168] has joined #sbcl
11:07:13 -!- milosn [~milosn@user-5af502ee.broadband.tesco.net] has quit [Remote host closed the connection]
11:16:26 <stassats`> after sysctl -w vm.mmap_min_addr=0, i can mmap from 0x1000
11:19:06 Blkt [~user@dynamic-adsl-62-10-11-72.clienti.tiscali.it] has joined #sbcl
11:19:43 <stassats`> this means it's time to experiment with putting NIL there
11:41:33 -!- benkard [~benkard@mnch-5d85764e.pool.mediaWays.net] has quit [Quit: Textual IRC Client: www.textualapp.com]
11:42:05 benkard [~benkard@mnch-5d85764e.pool.mediaWays.net] has joined #sbcl
11:55:33 -!- yacks [~py@180.151.36.168] has quit [Quit: Leaving]
11:56:26 -!- Krystof [~user@81.174.155.115] has quit [Read error: Operation timed out]
12:00:38 scymtym_ [~user@ip-5-147-122-209.unitymediagroup.de] has joined #sbcl
12:02:45 -!- foreignFunction [~niksaak@ip-4761.sunline.net.ua] has quit [Quit: Leaving.]
12:05:48 davazp [~user@213.37.200.68.dyn.user.ono.com] has joined #sbcl
12:14:25 -!- davazp [~user@213.37.200.68.dyn.user.ono.com] has quit [Ping timeout: 248 seconds]
12:16:13 -!- slyrus [~chatzilla@23-25-20-209-static.hfc.comcastbusiness.net] has quit [Remote host closed the connection]
12:17:03 slyrus [~chatzilla@107-1-159-131-ip-static.hfc.comcastbusiness.net] has joined #sbcl
12:26:34 -!- benkard [~benkard@mnch-5d85764e.pool.mediaWays.net] has quit [Read error: Connection reset by peer]
12:26:59 LiamH [~none@pool-173-48-164-128.bstnma.fios.verizon.net] has joined #sbcl
12:31:54 davazp [~user@213.37.200.68.dyn.user.ono.com] has joined #sbcl
12:35:57 benkard [~benkard@mnch-5d85764e.pool.mediaWays.net] has joined #sbcl
12:36:17 -!- LiamH [~none@pool-173-48-164-128.bstnma.fios.verizon.net] has quit [Ping timeout: 248 seconds]
12:41:00 wbooze [~wbooze@xdsl-78-35-166-251.netcologne.de] has joined #sbcl
12:43:07 LiamH [~none@pool-173-48-164-128.bstnma.fios.verizon.net] has joined #sbcl
12:46:59 -!- benkard [~benkard@mnch-5d85764e.pool.mediaWays.net] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz]
12:50:32 -!- slyrus [~chatzilla@107-1-159-131-ip-static.hfc.comcastbusiness.net] has quit [Ping timeout: 252 seconds]
12:52:07 -!- Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has quit [Ping timeout: 264 seconds]
12:52:59 davazp` [~user@213.37.200.68.dyn.user.ono.com] has joined #sbcl
12:53:23 leoc [~leoc.git@p5DDBA113.dip0.t-ipconnect.de] has joined #sbcl
12:54:09 -!- davazp [~user@213.37.200.68.dyn.user.ono.com] has quit [Read error: Connection reset by peer]
12:55:05 -!- davazp` [~user@213.37.200.68.dyn.user.ono.com] has quit [Remote host closed the connection]
12:59:34 -!- LiamH [~none@pool-173-48-164-128.bstnma.fios.verizon.net] has quit [Quit: Leaving.]
13:03:12 <stassats`> gah, too much things depend on the position of nil
13:09:38 benkard [~benkard@mnch-5d85764e.pool.mediaWays.net] has joined #sbcl
13:11:36 davazp [~user@213.37.200.68.dyn.user.ono.com] has joined #sbcl
13:13:22 LiamH [~none@pool-173-48-164-128.bstnma.fios.verizon.net] has joined #sbcl
13:17:57 -!- LiamH [~none@pool-173-48-164-128.bstnma.fios.verizon.net] has quit [Ping timeout: 256 seconds]
13:18:52 yacks [~py@180.151.36.168] has joined #sbcl
13:27:39 LiamH [~none@pool-173-48-164-128.bstnma.fios.verizon.net] has joined #sbcl
13:42:54 Sagane [~Sagane@177.100-226-89.dsl.completel.net] has joined #sbcl
13:55:55 -!- davazp [~user@213.37.200.68.dyn.user.ono.com] has quit [Ping timeout: 256 seconds]
13:58:48 <maxm> pkhuong: here is full reproduction without nothing else http://paste.lisp.org/display/137402
13:59:11 -!- benkard [~benkard@mnch-5d85764e.pool.mediaWays.net] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz]
13:59:58 <maxm> but I agree its more of a glibc bug
14:00:24 <maxm> or maybe not even a bug, since technically there are no guarantees about async killing of anything
14:21:02 drmeister [~drmeister@pool-71-185-168-200.phlapa.fios.verizon.net] has joined #sbcl
14:22:10 davazp [~user@213.37.200.68.dyn.user.ono.com] has joined #sbcl
14:25:49 <stassats`> moving NIL is hard
14:26:27 <stassats`> i should have started with T
14:27:38 <pkhuong> we assume that T is at a higher address than NIL on x86oids
14:28:12 <stassats`> more things are assumed about NIL
14:28:28 <pkhuong> indeed. it marks the beginning of static space.
14:28:59 <stassats`> and i'm trying to weed out where i forgot to change that
14:34:23 Krystof [~user@81.174.155.115] has joined #sbcl
14:34:23 -!- ChanServ has set mode +o Krystof
14:34:29 <stassats`> moving NIL to 0 would be even more fun
14:35:37 <pkhuong> leaving low addresses unused makes it easier to detect bugs in memory-unsafe languages.
14:37:57 <stassats`> right, i'm just fooling around
14:38:12 <stassats`> even if i succeed moving NIL to 4096, i'm not planning on making upstream
14:41:07 benkard [~benkard@mnch-5d85764e.pool.mediaWays.net] has joined #sbcl
14:41:11 -!- LiamH [~none@pool-173-48-164-128.bstnma.fios.verizon.net] has quit [Quit: Leaving.]
14:48:29 -!- davazp [~user@213.37.200.68.dyn.user.ono.com] has quit [Remote host closed the connection]
14:55:45 -!- drmeister [~drmeister@pool-71-185-168-200.phlapa.fios.verizon.net] has quit [Remote host closed the connection]
15:03:28 -!- stassats` [~stassats@wikipedia/stassats] has quit [Ping timeout: 245 seconds]
15:07:57 drmeister [~drmeister@pool-71-185-168-200.phlapa.fios.verizon.net] has joined #sbcl
15:25:36 samskulls [~samskulls@S0106001111de1fc8.cg.shawcable.net] has joined #sbcl
15:26:52 -!- wbooze [~wbooze@xdsl-78-35-166-251.netcologne.de] has quit [Remote host closed the connection]
15:31:43 -!- benkard [~benkard@mnch-5d85764e.pool.mediaWays.net] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz]
15:34:38 wbooze [~wbooze@xdsl-78-35-166-251.netcologne.de] has joined #sbcl
15:34:51 LiamH [~none@pool-173-48-164-128.bstnma.fios.verizon.net] has joined #sbcl
15:46:42 sdemarre [~serge@109.134.148.136] has joined #sbcl
15:48:30 -!- samskulls [~samskulls@S0106001111de1fc8.cg.shawcable.net] has quit [Quit: leaving]
15:48:59 samskulls [~samskulls@S0106001111de1fc8.cg.shawcable.net] has joined #sbcl
16:08:22 stassats` [~stassats@wikipedia/stassats] has joined #sbcl
16:19:42 -!- LiamH [~none@pool-173-48-164-128.bstnma.fios.verizon.net] has quit [Quit: Leaving.]
16:25:06 -!- teggi [~teggi@113.173.4.86] has quit [Remote host closed the connection]
16:31:25 <stassats`> i wonder why didn't i just try to move the whole static space, not just nil, i guess it's more fun that way
16:42:38 -!- Bike [~Glossina@67-5-220-112.ptld.qwest.net] has quit [Ping timeout: 252 seconds]
16:44:15 Bike [~Glossina@67-5-255-79.ptld.qwest.net] has joined #sbcl
16:48:13 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.]
16:50:34 -!- yacks [~py@180.151.36.168] has quit [Remote host closed the connection]
16:56:21 foreignFunction [~niksaak@ip-4761.sunline.net.ua] has joined #sbcl
17:25:38 LiamH [~none@pool-173-48-164-128.bstnma.fios.verizon.net] has joined #sbcl
17:38:47 ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has joined #sbcl
17:41:55 Bike_ [~Glossina@71-222-56-127.ptld.qwest.net] has joined #sbcl
17:42:04 -!- Bike_ [~Glossina@71-222-56-127.ptld.qwest.net] has quit [Client Quit]
17:42:20 Bike_ [~Glossina@71-222-56-127.ptld.qwest.net] has joined #sbcl
17:42:36 -!- Bike [~Glossina@67-5-255-79.ptld.qwest.net] has quit [Disconnected by services]
17:42:39 -!- Bike_ is now known as Bike
17:58:39 benkard [~benkard@mnch-5d85764e.pool.mediaWays.net] has joined #sbcl
18:27:16 -!- LiamH [~none@pool-173-48-164-128.bstnma.fios.verizon.net] has quit [Quit: Leaving.]
18:54:40 es917 [~es@pool-71-106-162-5.lsanca.dsl-w.verizon.net] has joined #sbcl
19:01:03 -!- es917 [~es@pool-71-106-162-5.lsanca.dsl-w.verizon.net] has left #sbcl
19:15:18 -!- wbooze [~wbooze@xdsl-78-35-166-251.netcologne.de] has quit [Quit: none]
19:26:00 LiamH [~none@pool-173-48-164-128.bstnma.fios.verizon.net] has joined #sbcl
19:32:39 Quadrescence [~quad@unaffiliated/quadrescence] has joined #sbcl
19:37:52 robgssp` [~user@cpe-24-93-28-218.rochester.res.rr.com] has joined #sbcl
19:39:53 -!- robgssp [~user@cpe-24-93-28-218.rochester.res.rr.com] has quit [Ping timeout: 256 seconds]
19:46:16 -!- drmeister [~drmeister@pool-71-185-168-200.phlapa.fios.verizon.net] has quit [Remote host closed the connection]
20:02:24 -!- benkard [~benkard@mnch-5d85764e.pool.mediaWays.net] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz]
20:04:09 -!- foreignFunction [~niksaak@ip-4761.sunline.net.ua] has quit [Read error: Operation timed out]
20:05:39 benkard [~benkard@mnch-5d85764e.pool.mediaWays.net] has joined #sbcl
20:06:52 <stassats`> typechecking for (mod 20) doesn't appear to be optimal, it checks that it's greater than 0, then that it's less than 20, instead of just using unsigned comparisons
20:08:28 foreignFunction [~niksaak@ip-4761.sunline.net.ua] has joined #sbcl
20:21:09 robgssp`` [~user@cpe-24-93-28-218.rochester.res.rr.com] has joined #sbcl
20:22:23 -!- sdemarre [~serge@109.134.148.136] has quit [Ping timeout: 256 seconds]
20:22:34 -!- robgssp` [~user@cpe-24-93-28-218.rochester.res.rr.com] has quit [Ping timeout: 245 seconds]
20:39:01 ASau` [~user@p5797E618.dip0.t-ipconnect.de] has joined #sbcl
20:41:43 -!- ASau [~user@p5797E91E.dip0.t-ipconnect.de] has quit [Read error: Operation timed out]
20:43:16 -!- LiamH [~none@pool-173-48-164-128.bstnma.fios.verizon.net] has quit [Quit: Leaving.]
20:47:47 -!- robgssp`` [~user@cpe-24-93-28-218.rochester.res.rr.com] has quit [Ping timeout: 240 seconds]
20:48:33 robgssp [~user@cpe-24-93-28-218.rochester.res.rr.com] has joined #sbcl
20:49:39 *stassats`* sees how that can be done for type checks, but (<= 0 x 20) is harder
20:54:07 -!- stassats` [~stassats@wikipedia/stassats] has quit [Ping timeout: 256 seconds]
20:54:19 -!- foreignFunction [~niksaak@ip-4761.sunline.net.ua] has quit [Quit: Leaving.]
21:00:06 -!- benkard [~benkard@mnch-5d85764e.pool.mediaWays.net] has quit [Read error: Connection reset by peer]
21:06:05 benkard [~benkard@mnch-5d85764e.pool.mediaWays.net] has joined #sbcl
21:06:47 -!- ASau` is now known as ASau
22:14:18 LiamH [~none@pool-173-48-164-128.bstnma.fios.verizon.net] has joined #sbcl
22:16:55 -!- LiamH [~none@pool-173-48-164-128.bstnma.fios.verizon.net] has quit [Client Quit]
22:29:55 -!- benkard [~benkard@mnch-5d85764e.pool.mediaWays.net] has quit [Ping timeout: 264 seconds]
22:35:36 benkard [~benkard@mnch-5d85764e.pool.mediaWays.net] has joined #sbcl
22:47:51 -!- Sagane [~Sagane@177.100-226-89.dsl.completel.net] has quit [Ping timeout: 240 seconds]
22:50:33 wbooze [~wbooze@xdsl-78-35-166-251.netcologne.de] has joined #sbcl
22:56:42 -!- wbooze [~wbooze@xdsl-78-35-166-251.netcologne.de] has quit [Remote host closed the connection]
22:59:20 wbooze [~wbooze@xdsl-78-35-166-251.netcologne.de] has joined #sbcl
23:00:42 slyrus [~chatzilla@23-25-20-209-static.hfc.comcastbusiness.net] has joined #sbcl
23:01:29 -!- wbooze [~wbooze@xdsl-78-35-166-251.netcologne.de] has quit [Remote host closed the connection]
23:05:27 Sagane [~Sagane@177.100-226-89.dsl.completel.net] has joined #sbcl
23:07:48 -!- benkard [~benkard@mnch-5d85764e.pool.mediaWays.net] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz]
23:11:11 -!- Krystof [~user@81.174.155.115] has quit [Read error: Operation timed out]
23:11:23 -!- prxq [~mommer@mnhm-4d012478.pool.mediaWays.net] has quit [Remote host closed the connection]
23:17:52 yacks [~py@180.151.36.168] has joined #sbcl
23:25:52 wbooze [~wbooze@xdsl-78-35-166-251.netcologne.de] has joined #sbcl
23:35:16 -!- yacks [~py@180.151.36.168] has quit [Ping timeout: 260 seconds]
23:36:48 -!- slyrus [~chatzilla@23-25-20-209-static.hfc.comcastbusiness.net] has quit [Ping timeout: 252 seconds]