00:08:07 And with 8-word symbols it still goes to 11^H^H128. 00:18:15 davazp [~user@14.Red-79-152-116.dynamicIP.rima-tde.net] has joined #sbcl 00:25:14 Would anyone here happen to know what this "hidden bit" thing is with floating point formats? 00:25:39 It seems to be the low bit of the exponent, but there's no actual explanation that I've found yet. 00:29:43 -!- crixxus [~Rob@69.77.176.98] has quit [Ping timeout: 252 seconds] 00:38:35 the significand is assumed to be 1.xxx 00:39:27 so it's not represented in the binary format (exception: +/- 0) 00:39:55 Another exception would be denormals, surely? 00:40:47 Okay, at least it's starting to almost make sense. 00:40:49 yeah, but arm don't do denorm, I think ;) 00:41:17 At least the VFP systems do. 00:41:28 re exponent, the only trickery is bias instead of a sign bit 00:41:29 FPA systems might be another matter. 00:41:57 Right, the bias was my next question. Why is it typically one less than what's specified by the CPU manufacturer? 00:42:50 one less? 00:43:35 See the definition of single-float-bias in compiler/x86-64/parms.lisp. 00:44:19 CL has a different definition, I think. 00:44:35 Apparently. 00:45:04 So my best bet is to just hope that the pattern holds, and crib from, say, the PPC definitions for the float formats? 00:45:42 i doubt they deviate from the very clever representation everyone else uses 00:45:53 maybe in endianness 00:46:23 Yeah, it looks pretty straightforward. 00:49:25 look at (decode-float 2d0): we return a significand < 1 00:50:49 as mandated by the spec 00:52:16 rpg [~rpg@198-74-7-110.fttp.usinternet.com] has joined #sbcl 00:52:25 rpg_ [~rpg@23-25-144-217-static.hfc.comcastbusiness.net] has joined #sbcl 00:55:28 crixus [~Rob@135-23-80-105.cpe.pppoe.ca] has joined #sbcl 00:56:37 -!- rpg [~rpg@198-74-7-110.fttp.usinternet.com] has quit [Ping timeout: 248 seconds] 00:59:17 Okay, so it's an implementation-convenience thing more than anything else? 01:02:04 I guess. It magically compensates for the mismatch between IEEE and the spec. 01:06:17 I SO dislike unexplained magic. Almost as much as I dislike fragile magic. /-: 01:06:30 -!- drmeister [~drmeister@155.247.96.196] has quit [Remote host closed the connection] 01:07:09 now you can explain it (: 01:08:02 No, I can't. I really DON'T understand floating point. 01:10:33 IEEE's representation works in terms of 1.xxx; CL wants 0.yyy = 1.xxx/2. 01:19:35 drmeister [~drmeister@166.170.21.131] has joined #sbcl 01:38:24 -!- rpg_ [~rpg@23-25-144-217-static.hfc.comcastbusiness.net] has quit [Quit: rpg_] 01:53:50 -!- drmeister [~drmeister@166.170.21.131] has quit [Read error: Connection reset by peer] 01:57:00 edgar-rft [~GOD@HSI-KBW-109-193-013-113.hsi7.kabel-badenwuerttemberg.de] has joined #sbcl 02:11:46 drmeister [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has joined #sbcl 02:14:06 LiamH [~none@96.231.217.60] has joined #sbcl 02:32:24 yacks [~py@103.6.159.103] has joined #sbcl 02:33:22 echo-area [~user@182.92.247.2] has joined #sbcl 02:42:15 -!- nyef [~nyef@pool-108-7-220-91.bstnma.fios.verizon.net] has quit [Quit: G'night all.] 02:44:49 -!- oleo [~oleo@xdsl-78-35-130-3.netcologne.de] has quit [Ping timeout: 272 seconds] 02:45:38 prxq_ [~mommer@x2f6a4b9.dyn.telefonica.de] has joined #sbcl 02:45:38 oleo [~oleo@xdsl-78-35-191-218.netcologne.de] has joined #sbcl 02:48:04 -!- drmeister [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 02:48:37 -!- prxq [~mommer@x2f6c5ef.dyn.telefonica.de] has quit [Ping timeout: 248 seconds] 02:48:38 -!- davazp [~user@14.Red-79-152-116.dynamicIP.rima-tde.net] has quit [Remote host closed the connection] 02:52:57 -!- crixus [~Rob@135-23-80-105.cpe.pppoe.ca] has quit [Ping timeout: 252 seconds] 02:55:57 -!- yacks [~py@103.6.159.103] has quit [Ping timeout: 272 seconds] 02:56:14 drmeister [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has joined #sbcl 02:57:06 yacks [~py@103.6.159.103] has joined #sbcl 02:58:35 Quadrescence [~quad@unaffiliated/quadrescence] has joined #sbcl 03:05:16 crixus [~Rob@135-23-80-105.cpe.pppoe.ca] has joined #sbcl 03:38:45 -!- christoph_debian [~christoph@ppp-46-244-227-234.dynamic.mnet-online.de] has quit [Ping timeout: 272 seconds] 03:52:30 christoph_debian [~christoph@ppp-46-244-210-122.dynamic.mnet-online.de] has joined #sbcl 04:11:15 -!- crixus [~Rob@135-23-80-105.cpe.pppoe.ca] has quit [Ping timeout: 245 seconds] 04:12:37 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 04:19:58 -!- LiamH [~none@96.231.217.60] has quit [Quit: Leaving.] 04:44:16 -!- scymtym_ [~user@ip-5-147-115-29.unitymediagroup.de] has quit [Ping timeout: 272 seconds] 04:47:00 pranavrc [~pranavrc@unaffiliated/pranavrc] has joined #sbcl 05:10:43 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [Quit: This computer has gone to sleep] 05:33:29 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 240 seconds] 05:54:11 -!- oleo [~oleo@xdsl-78-35-191-218.netcologne.de] has quit [Quit: Leaving] 05:59:33 attila_lendvai [~attila_le@5.76.185.228] has joined #sbcl 05:59:33 -!- attila_lendvai [~attila_le@5.76.185.228] has quit [Changing host] 05:59:33 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 06:08:20 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 245 seconds] 06:15:48 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 06:38:51 pnpuff [~harmonic@unaffiliated/pnpuff] has joined #sbcl 06:45:43 -!- pnpuff [~harmonic@unaffiliated/pnpuff] has quit [] 07:01:09 -!- yacks [~py@103.6.159.103] has quit [Read error: Operation timed out] 07:02:07 -!- slyrus [~chatzilla@107.201.5.56] has quit [Ping timeout: 246 seconds] 07:02:27 jewel [~jewel@105-237-68-160.access.mtnbusiness.co.za] has joined #sbcl 07:03:13 slyrus [~chatzilla@107.201.5.56] has joined #sbcl 07:11:09 ubii_ [~ubii@198.45.198.1] has joined #sbcl 07:13:35 -!- ubii [~ubii@unaffiliated/ubii] has quit [Ping timeout: 260 seconds] 07:13:42 -!- ubii_ is now known as ubii 07:14:28 -!- ubii [~ubii@198.45.198.1] has quit [Changing host] 07:14:28 ubii [~ubii@unaffiliated/ubii] has joined #sbcl 07:38:19 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 08:44:11 -!- prxq_ is now known as prxq 08:48:23 -!- Vivitron [~Vivitron@c-50-172-44-193.hsd1.il.comcast.net] has quit [Ping timeout: 260 seconds] 08:48:43 -!- segv- [~mb@95-91-241-32-dynip.superkabel.de] has quit [Ping timeout: 272 seconds] 09:06:12 -!- angavrilov [~angavrilo@217.71.227.190] has quit [*.net *.split] 09:11:20 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 09:13:48 -!- angavrilov [~angavrilo@217.71.227.190] has quit [*.net *.split] 09:14:12 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 09:37:45 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 09:38:05 attila_lendvai [~attila_le@5.76.207.242] has joined #sbcl 09:38:05 -!- attila_lendvai [~attila_le@5.76.207.242] has quit [Changing host] 09:38:05 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 10:29:15 -!- echo-area [~user@182.92.247.2] has quit [Remote host closed the connection] 11:16:54 -!- pranavrc [~pranavrc@unaffiliated/pranavrc] has quit [Quit: Ping timeout: ] 11:22:31 -!- kanru [~kanru@118-163-10-190.HINET-IP.hinet.net] has quit [Ping timeout: 246 seconds] 11:46:13 -!- ASau [~user@p54AFFE57.dip0.t-ipconnect.de] has quit [Remote host closed the connection] 11:47:17 ASau [~user@p54AFFE57.dip0.t-ipconnect.de] has joined #sbcl 12:00:13 -!- Bike [~Glossina@gannon-wless-gw.resnet.wsu.edu] has quit [Remote host closed the connection] 12:24:52 Bike [~Glossina@gannon-wless-gw.resnet.wsu.edu] has joined #sbcl 12:29:10 -!- Bike [~Glossina@gannon-wless-gw.resnet.wsu.edu] has quit [Ping timeout: 245 seconds] 12:30:04 Bike [~Glossina@gannon-wless-gw.resnet.wsu.edu] has joined #sbcl 12:47:55 adityarajbhatt [~adityaraj@122.161.28.24] has joined #sbcl 13:01:59 -!- Bike [~Glossina@gannon-wless-gw.resnet.wsu.edu] has quit [Ping timeout: 252 seconds] 13:03:22 -!- adityarajbhatt [~adityaraj@122.161.28.24] has left #sbcl 13:09:46 -!- drmeister [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 13:25:49 drmeister [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has joined #sbcl 13:38:35 -!- drmeister [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 13:47:16 drmeister [~drmeister@166.170.21.131] has joined #sbcl 13:52:22 -!- tsuru [~charlie@adsl-74-179-198-164.bna.bellsouth.net] has quit [Remote host closed the connection] 13:54:19 yacks [~py@103.6.159.103] has joined #sbcl 13:57:11 -!- psilord [~psilord@c-69-180-173-249.hsd1.mn.comcast.net] has quit [Quit: Leaving.] 14:05:47 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 14:08:49 -!- jewel [~jewel@105-237-68-160.access.mtnbusiness.co.za] has quit [Read error: Connection timed out] 14:11:17 -!- edgar-rft [~GOD@HSI-KBW-109-193-013-113.hsi7.kabel-badenwuerttemberg.de] has quit [Quit: mental process disconnected by death] 14:12:04 jewel [~jewel@105-237-68-160.access.mtnbusiness.co.za] has joined #sbcl 14:25:40 oleo [~oleo@xdsl-87-79-252-15.netcologne.de] has joined #sbcl 14:30:23 crixus [~Rob@135-23-80-105.cpe.pppoe.ca] has joined #sbcl 14:35:38 -!- crixus [~Rob@135-23-80-105.cpe.pppoe.ca] has quit [Ping timeout: 264 seconds] 14:51:19 Bike [~Glossina@gannon-wless-gw.resnet.wsu.edu] has joined #sbcl 14:52:39 segv- [~mb@95-91-241-42-dynip.superkabel.de] has joined #sbcl 15:01:24 -!- ASau [~user@p54AFFE57.dip0.t-ipconnect.de] has quit [Remote host closed the connection] 15:02:19 ASau [~user@p54AFFE57.dip0.t-ipconnect.de] has joined #sbcl 15:03:12 psilord [~pkeller@23-25-144-217-static.hfc.comcastbusiness.net] has joined #sbcl 15:03:40 -!- drmeister [~drmeister@166.170.21.131] has quit [Read error: Connection reset by peer] 15:08:46 crixus [~Rob@69.77.176.98] has joined #sbcl 15:12:43 -!- oleo [~oleo@xdsl-87-79-252-15.netcologne.de] has quit [Read error: Operation timed out] 15:15:20 oleo [~oleo@xdsl-78-35-153-139.netcologne.de] has joined #sbcl 15:33:03 -!- ltbarcly [~textual@pool-108-42-99-156.snfcca.fios.verizon.net] has quit [Quit: Computer has gone to sleep.] 15:55:43 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 16:10:16 senj [~senj@unaffiliated/senj] has joined #sbcl 16:14:51 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 16:22:46 attila_lendvai [~attila_le@5.76.185.228] has joined #sbcl 16:22:46 -!- attila_lendvai [~attila_le@5.76.185.228] has quit [Changing host] 16:22:46 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 16:28:55 stassats [~stassats@wikipedia/stassats] has joined #sbcl 16:31:30 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 16:37:26 ltbarcly [~textual@216.113.168.148] has joined #sbcl 16:38:37 nyef [~nyef@pool-108-7-220-91.bstnma.fios.verizon.net] has joined #sbcl 16:38:49 G'morning all. 16:39:17 i think sparc is still broken 16:39:34 i don't have a sparc machine to test a fix 16:39:43 (which should be similar to the ppc one) 16:40:00 Right, I should have access to my SPARC tomorrow. 16:41:00 Possibly briefly tonight as well, but not for long enough to do anything. 16:44:37 -!- Bike [~Glossina@gannon-wless-gw.resnet.wsu.edu] has quit [Ping timeout: 272 seconds] 16:46:51 Quadrescence [~quad@unaffiliated/quadrescence] has joined #sbcl 16:50:41 -!- ltbarcly [~textual@216.113.168.148] has quit [Ping timeout: 272 seconds] 16:50:54 -!- oleo [~oleo@xdsl-78-35-153-139.netcologne.de] has quit [Read error: Connection reset by peer] 16:53:18 ltbarcly [~textual@216.113.168.148] has joined #sbcl 17:05:12 oleo [~oleo@xdsl-78-35-128-167.netcologne.de] has joined #sbcl 17:06:48 -!- senj [~senj@unaffiliated/senj] has quit [Ping timeout: 252 seconds] 17:09:39 pranavrc [~pranavrc@unaffiliated/pranavrc] has joined #sbcl 17:14:16 Hi. I'm trying to build sbcl from source, but while running 'sudo sh make.sh', I get this weird "make.sh: 67: make.sh: time: not found" error. 'whereis time' returns '/usr/include/time.h /usr/share/man/man2/time.2.gz /usr/share/man/man7/time.7.gz', so I added those paths to $PATH for super user as well, but the error persists. Any ideas? 17:16:04 you found the wrong kind of time 17:16:14 pranavrc: if you are on Ubuntu you need to install the package named time 17:16:20 first, I would ask why you're building as root? 17:16:29 second, you need a time binary or shell builtin 17:17:24 i would find it hard to believe that Ubuntu doesn't have "time" 17:17:37 joshe: IIRC, when bash is executed as /bin/sh it doesn't recognize time as built-in 17:17:46 stassats: it's in a separate package 17:17:57 Bike [~Glossina@gannon-wless-gw.resnet.wsu.edu] has joined #sbcl 17:19:35 -!- crixus [~Rob@69.77.176.98] has quit [Ping timeout: 265 seconds] 17:20:16 That worked, thanks! 17:20:55 joshe, it seems to have permission issues with creating certain files if I run as non-root 17:21:44 pranavrc: I suggest not to install it 17:21:54 just compile it and execute run-sbcl.sh 17:22:21 -!- Bike [~Glossina@gannon-wless-gw.resnet.wsu.edu] has quit [Ping timeout: 252 seconds] 17:23:40 fe[nl]ix, would I be able to force that into a execute-lisp-code-on-boot kind of workflow? 17:24:05 yes 17:24:12 what do you want to execute on boot ? 17:24:51 just a couple of little webapps on the server 17:25:09 with supervisord 17:28:59 no problem there 17:31:18 alright thanks 17:32:25 crixus [~Rob@69.77.176.98] has joined #sbcl 17:39:23 -!- yacks [~py@103.6.159.103] has quit [Quit: Leaving] 17:45:46 -!- slyrus [~chatzilla@107.201.5.56] has quit [Ping timeout: 246 seconds] 17:48:33 drmeister [~drmeister@155.247.96.196] has joined #sbcl 17:49:18 tsuru [~charlie@adsl-74-179-198-164.bna.bellsouth.net] has joined #sbcl 18:01:00 -!- psilord [~pkeller@23-25-144-217-static.hfc.comcastbusiness.net] has quit [Quit: Leaving.] 18:12:24 -!- pranavrc [~pranavrc@unaffiliated/pranavrc] has quit [Ping timeout: 252 seconds] 18:15:53 pnpuff [~harmonic@unaffiliated/pnpuff] has joined #sbcl 18:17:27 Bike [~Glossina@gannon-wless-gw.resnet.wsu.edu] has joined #sbcl 18:31:17 davazp [~user@14.Red-79-152-116.dynamicIP.rima-tde.net] has joined #sbcl 19:11:32 -!- pnpuff [~harmonic@unaffiliated/pnpuff] has quit [] 19:20:33 -!- crixus [~Rob@69.77.176.98] has quit [Ping timeout: 245 seconds] 19:21:16 psilord [~psilord@c-69-180-173-249.hsd1.mn.comcast.net] has joined #sbcl 19:22:33 -!- davazp [~user@14.Red-79-152-116.dynamicIP.rima-tde.net] has quit [Remote host closed the connection] 19:24:24 slyrus [~chatzilla@173-228-44-92.dsl.static.sonic.net] has joined #sbcl 19:25:02 -!- asedeno [~asedeno@66.102.14.24] has quit [Read error: Connection reset by peer] 19:27:57 pnpuff [~harmonic@unaffiliated/pnpuff] has joined #sbcl 19:37:26 crixus [~Rob@69.77.176.98] has joined #sbcl 19:42:29 -!- crixus [~Rob@69.77.176.98] has quit [Ping timeout: 240 seconds] 19:42:44 crixus [~Rob@69.77.176.98] has joined #sbcl 19:43:40 asedeno [~asedeno@66.102.14.16] has joined #sbcl 19:48:20 -!- crixus [~Rob@69.77.176.98] has quit [Ping timeout: 245 seconds] 19:50:24 boxofvodka [~boxofvodk@193.104.110.54] has joined #sbcl 19:51:16 crixus [~Rob@69.77.176.98] has joined #sbcl 19:55:01 -!- boxofvodka [~boxofvodk@193.104.110.54] has quit [K-Lined] 19:55:54 crixxus [~Rob@69.77.176.98] has joined #sbcl 19:58:07 -!- crixus [~Rob@69.77.176.98] has quit [Ping timeout: 265 seconds] 20:21:01 -!- Bike [~Glossina@gannon-wless-gw.resnet.wsu.edu] has quit [Ping timeout: 252 seconds] 20:32:32 Vivitron [~Vivitron@c-50-172-44-193.hsd1.il.comcast.net] has joined #sbcl 20:46:50 -!- angavrilov [~angavrilo@217.71.227.190] has quit [Remote host closed the connection] 20:50:02 Bike [~Glossina@wl-nat101.it.wsu.edu] has joined #sbcl 20:56:07 -!- jewel [~jewel@105-237-68-160.access.mtnbusiness.co.za] has quit [Ping timeout: 265 seconds] 21:41:02 -!- crixxus [~Rob@69.77.176.98] has quit [Ping timeout: 264 seconds] 21:50:44 crixus [~Rob@69.77.176.98] has joined #sbcl 22:24:03 -!- pnpuff [~harmonic@unaffiliated/pnpuff] has quit [Remote host closed the connection] 22:25:14 -!- drmeister [~drmeister@155.247.96.196] has quit [Remote host closed the connection] 22:37:36 drmeister [~drmeister@166.170.23.157] has joined #sbcl 22:38:22 -!- slyrus [~chatzilla@173-228-44-92.dsl.static.sonic.net] has quit [Ping timeout: 246 seconds] 22:59:35 -!- Bike [~Glossina@wl-nat101.it.wsu.edu] has quit [Ping timeout: 245 seconds] 23:06:08 -!- drmeister [~drmeister@166.170.23.157] has quit [Read error: Connection reset by peer] 23:17:21 drmeister [~drmeister@pool-71-175-2-214.phlapa.fios.verizon.net] has joined #sbcl 23:23:25 scymtym_ [~user@ip-5-147-115-29.unitymediagroup.de] has joined #sbcl 23:37:38 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [Ping timeout: 245 seconds] 23:55:51 ASau` [~user@p5083D589.dip0.t-ipconnect.de] has joined #sbcl 23:58:27 -!- crixus [~Rob@69.77.176.98] has quit [Ping timeout: 272 seconds] 23:59:38 -!- ASau [~user@p54AFFE57.dip0.t-ipconnect.de] has quit [Ping timeout: 264 seconds]