2014-10-15T00:00:31Z cmack` joined #sbcl
2014-10-15T00:00:51Z cmack quit (Read error: Connection reset by peer)
2014-10-15T00:32:23Z krzysz00 joined #sbcl
2014-10-15T00:48:21Z scymtym quit (Ping timeout: 255 seconds)
2014-10-15T01:12:22Z krzysz00 quit (Ping timeout: 240 seconds)
2014-10-15T01:15:16Z krzysz00 joined #sbcl
2014-10-15T01:20:39Z ehaliewicz joined #sbcl
2014-10-15T01:30:41Z Blkt_ joined #sbcl
2014-10-15T01:30:42Z jdz_ joined #sbcl
2014-10-15T01:30:47Z lacedaemon joined #sbcl
2014-10-15T01:32:01Z reb`` quit (Ping timeout: 272 seconds)
2014-10-15T01:32:02Z Hydan` joined #sbcl
2014-10-15T01:32:56Z pchrist_ joined #sbcl
2014-10-15T01:33:09Z snafuchs quit (Ping timeout: 260 seconds)
2014-10-15T01:33:10Z jdz quit (Ping timeout: 260 seconds)
2014-10-15T01:33:11Z thoto quit (Ping timeout: 260 seconds)
2014-10-15T01:33:11Z Hydan quit (Ping timeout: 260 seconds)
2014-10-15T01:33:11Z pchrist quit (Ping timeout: 260 seconds)
2014-10-15T01:33:11Z thoto joined #sbcl
2014-10-15T01:33:12Z fe[nl]ix quit (Ping timeout: 260 seconds)
2014-10-15T01:33:12Z Blkt quit (Ping timeout: 260 seconds)
2014-10-15T01:33:16Z Hydan` is now known as Hydan
2014-10-15T01:35:04Z snafuchs joined #sbcl
2014-10-15T01:41:56Z redline6561_ joined #sbcl
2014-10-15T01:42:12Z slyrus_ joined #sbcl
2014-10-15T01:42:30Z p_l_ joined #sbcl
2014-10-15T01:42:49Z slyrus quit (Ping timeout: 272 seconds)
2014-10-15T01:42:53Z snafuchs quit (Ping timeout: 260 seconds)
2014-10-15T01:42:53Z redline6561 quit (Ping timeout: 260 seconds)
2014-10-15T01:42:53Z thoto quit (Ping timeout: 260 seconds)
2014-10-15T01:42:54Z p_l quit (Ping timeout: 260 seconds)
2014-10-15T01:43:38Z slyrus_ is now known as slyrus
2014-10-15T01:46:41Z thoto joined #sbcl
2014-10-15T01:52:11Z snafuchs joined #sbcl
2014-10-15T01:57:02Z karswell` joined #sbcl
2014-10-15T02:13:46Z krzysz00 quit (Ping timeout: 255 seconds)
2014-10-15T02:30:03Z sav is now known as tmh_
2014-10-15T02:39:41Z christoph_debian quit (Ping timeout: 272 seconds)
2014-10-15T02:47:30Z krzysz00 joined #sbcl
2014-10-15T02:52:32Z christoph_debian joined #sbcl
2014-10-15T03:30:08Z psy joined #sbcl
2014-10-15T03:32:00Z gingerale joined #sbcl
2014-10-15T04:23:57Z loke_ joined #sbcl
2014-10-15T04:38:17Z nyef quit (Quit: G'night all.)
2014-10-15T04:51:16Z gingerale quit (Ping timeout: 244 seconds)
2014-10-15T05:18:25Z oleo__ quit (Quit: Verlassend)
2014-10-15T05:34:04Z pranavrc joined #sbcl
2014-10-15T05:34:04Z pranavrc quit (Changing host)
2014-10-15T05:34:04Z pranavrc joined #sbcl
2014-10-15T05:44:22Z c4h joined #sbcl
2014-10-15T06:42:56Z edgar-rft joined #sbcl
2014-10-15T06:50:26Z ehaliewicz quit (Ping timeout: 240 seconds)
2014-10-15T06:55:20Z flip214_: christoph_debian: I've installed sbcl=1.2.4 from debian onto my raspi, which uses raspbian for all other packages.
2014-10-15T06:56:26Z flip214_: "# sbcl" => "Segmentation fault". Is a possible cause that eg. libc, libm, libz or something like that is a different version?
2014-10-15T06:57:19Z flip214_: hmmm, "# LD_DEBUG=all sbcl" gets to "calling init: /usr/lib/arm-linux-gnueabihf/libcofi_rpi.so"
2014-10-15T06:57:30Z fridim_ joined #sbcl
2014-10-15T06:57:49Z flip214_: and then crashes...
2014-10-15T07:03:36Z Krystof: if the arm binary is built using a real v7 toolchain, it won't start on the rpi
2014-10-15T07:03:51Z Krystof: that's just the way it goes, I'm afraid
2014-10-15T07:09:58Z p_l_ is now known as p_l
2014-10-15T07:15:01Z flip214_: Krystof: does that mean that the calling convention is different?
2014-10-15T07:15:35Z flip214_: or "just" some libraries, which I could put in some directory and use LD_LIBRARY_PATH?
2014-10-15T07:22:57Z prxq joined #sbcl
2014-10-15T07:39:27Z stassats joined #sbcl
2014-10-15T07:40:21Z Krystof: no, the v7 compiler uses some instructions that aren't supported on v6plus or whatever rpi is called
2014-10-15T07:42:17Z flip214_: but both are "armhf"?
2014-10-15T07:42:20Z flip214_: strange...
2014-10-15T07:42:41Z flip214_: so there's no sbcl binary available via debian for a raspberry right now?
2014-10-15T07:55:07Z stassats quit (Remote host closed the connection)
2014-10-15T07:58:04Z flip214_ is now known as flip214
2014-10-15T07:58:12Z flip214 quit (Changing host)
2014-10-15T07:58:12Z flip214 joined #sbcl
2014-10-15T08:00:38Z DGASAU quit (Read error: Connection reset by peer)
2014-10-15T08:01:17Z DGASAU joined #sbcl
2014-10-15T08:02:37Z DGASAU quit (Read error: Connection reset by peer)
2014-10-15T08:03:17Z DGASAU joined #sbcl
2014-10-15T08:09:29Z brucem: flip214: rpi is armv6 with hard float (hf) ... different (older) architecture than armv7.
2014-10-15T08:10:00Z brucem: flip214: but sadly, a lot of toolchains are armv7 so you have to be careful when targeting rpi (or other armv6 boards)
2014-10-15T08:10:57Z flip214: hrmpf.
2014-10-15T08:11:12Z flip214: thanks for the information, though.
2014-10-15T08:11:14Z flip214: so I'll
2014-10-15T08:11:28Z flip214: "just" have to wait until raspbian provides an sbcl binary.
2014-10-15T08:12:05Z brucem: flip214: no problem ... it is fairly annoying at times. I have a VM that I keep around with an x86-linux on it + environment for targeting RPI just so I don't have to deal with remembering what I did.
2014-10-15T08:12:36Z flip214: brucem: yeah, I've got a qemu environment, but that's awfully slow, too.
2014-10-15T08:55:36Z c4h quit (Quit: quit)
2014-10-15T08:58:46Z scymtym joined #sbcl
2014-10-15T09:16:08Z attila_lendvai joined #sbcl
2014-10-15T09:16:16Z attila_lendvai quit (Changing host)
2014-10-15T09:16:16Z attila_lendvai joined #sbcl
2014-10-15T10:01:19Z DGASAU quit (Remote host closed the connection)
2014-10-15T10:06:56Z DGASAU joined #sbcl
2014-10-15T10:07:10Z attila_lendvai quit (Quit: Leaving.)
2014-10-15T10:23:17Z scymtym quit (Ping timeout: 272 seconds)
2014-10-15T10:33:21Z stassats joined #sbcl
2014-10-15T10:55:16Z pchrist_ is now known as pchrist
2014-10-15T11:00:54Z scymtym_ quit (Remote host closed the connection)
2014-10-15T11:02:42Z heddwch quit (Ping timeout: 246 seconds)
2014-10-15T11:05:08Z heddwch joined #sbcl
2014-10-15T11:13:18Z scymtym joined #sbcl
2014-10-15T11:19:22Z stassats quit (Remote host closed the connection)
2014-10-15T11:19:30Z stassats joined #sbcl
2014-10-15T11:19:47Z Krystof: the good news: turning off caches for defun-cached functions fixes the bitwise-incompatibility in compiling unix.lisp-obj
2014-10-15T11:19:59Z Krystof: the bad news: it slows down the build by an order of magnitude
2014-10-15T11:31:13Z Krystof: (the good news again: I think that means I now know all the causes of bitwise non-identicalness between sbcl, clisp and ccl{,64} host compilers)
2014-10-15T11:43:03Z pkhuong: do we need an xc random?
2014-10-15T11:44:48Z Krystof: an xc sxhash, I think :(
2014-10-15T11:45:02Z Krystof: the culprit is probably the values-specifier-type cache
2014-10-15T11:46:19Z Krystof: possibly also %type-intersection / %type-union
2014-10-15T11:47:20Z Krystof: and make-array-type / make-union-type also use host sxhash
2014-10-15T11:48:00Z Krystof: specialized hash functions for those five would probably fix the problem
2014-10-15T11:57:57Z DGASAU quit (Remote host closed the connection)
2014-10-15T11:59:31Z DGASAU joined #sbcl
2014-10-15T12:01:11Z alchemis7 left #sbcl
2014-10-15T12:01:12Z alchemis7 joined #sbcl
2014-10-15T12:02:36Z pkhuong: add a hash slot to ctype?
2014-10-15T12:05:06Z DGASAU quit (Ping timeout: 265 seconds)
2014-10-15T12:07:46Z DGASAU joined #sbcl
2014-10-15T12:08:29Z Krystof: we have one, though it unfortunately uses host random
2014-10-15T12:09:05Z Krystof: values-specifier-type, though, is a conses -> ctype mapping
2014-10-15T12:09:13Z Krystof: so we also need a stable hash for type names
2014-10-15T12:10:27Z Krystof: I think the type-hash-value generator could safely be replaced by a very simple lcg
2014-10-15T12:13:23Z Krystof: I'm also experiencing a certain amount of spidey-sense-tingling about why there were so many cache misses
2014-10-15T12:13:57Z Krystof: why is it constantly reconstructing ^C5$@$@^CE^CA1^E^A identical alien-pointer types?
2014-10-15T12:27:10Z DGASAU quit (Read error: Connection reset by peer)
2014-10-15T12:27:45Z DGASAU joined #sbcl
2014-10-15T12:38:36Z psy quit (Ping timeout: 246 seconds)
2014-10-15T12:41:12Z psy joined #sbcl
2014-10-15T12:41:48Z eudoxia joined #sbcl
2014-10-15T12:55:33Z pranavrc quit
2014-10-15T12:58:20Z prxq quit (Remote host closed the connection)
2014-10-15T13:05:26Z pkhuong: hashing lists of ctypes for union/intersection should be OK with logxor... not sure what to do with make-array-type (except an equal hash table of list -> random value in xc :|)
2014-10-15T13:07:28Z Krystof: someone has already done the logxor thing
2014-10-15T13:07:31Z Krystof: type-cache-hash
2014-10-15T13:08:17Z Krystof: gosh, it's primordial
2014-10-15T13:08:52Z Krystof: [revisit- PVK says pick idx1]
2014-10-15T13:08:54Z Krystof: yargh
2014-10-15T13:09:05Z Krystof: (zerop (random 2))
2014-10-15T13:22:07Z attila_lendvai joined #sbcl
2014-10-15T13:26:48Z oleo joined #sbcl
2014-10-15T13:27:30Z pkhuong: CCL uses one of L'Ecuyer's MRG and maps to small ints with mod
2014-10-15T13:45:18Z oleo quit (Quit: Verlassend)
2014-10-15T13:50:54Z oleo joined #sbcl
2014-10-15T14:03:42Z hlavaty joined #sbcl
2014-10-15T14:36:06Z eudoxia quit (Quit: Lost terminal)
2014-10-15T14:45:41Z gingerale joined #sbcl
2014-10-15T14:54:25Z attila_lendvai quit (Quit: Leaving.)
2014-10-15T15:00:59Z njmurphy quit (Remote host closed the connection)
2014-10-15T15:05:13Z reb` joined #sbcl
2014-10-15T15:11:39Z lacedaemon is now known as fe[nl]ix
2014-10-15T15:38:00Z DGASAU quit (Remote host closed the connection)
2014-10-15T15:39:02Z DGASAU joined #sbcl
2014-10-15T15:39:32Z redline6561_ is now known as redline6561
2014-10-15T15:41:05Z stassats` joined #sbcl
2014-10-15T15:43:07Z stassats quit (Remote host closed the connection)
2014-10-15T15:51:53Z stassats` quit (Remote host closed the connection)
2014-10-15T15:52:52Z krzysz00 quit (Ping timeout: 240 seconds)
2014-10-15T16:12:08Z DGASAU quit (Remote host closed the connection)
2014-10-15T16:13:20Z DGASAU joined #sbcl
2014-10-15T16:13:52Z joshe joined #sbcl
2014-10-15T16:21:32Z krzysz00 joined #sbcl
2014-10-15T16:37:14Z fridim_ quit (Ping timeout: 258 seconds)
2014-10-15T16:50:28Z oleo quit (Ping timeout: 244 seconds)
2014-10-15T16:56:35Z krzysz00 quit (Ping timeout: 272 seconds)
2014-10-15T17:00:16Z oleo joined #sbcl
2014-10-15T17:01:40Z DGASAU quit (Remote host closed the connection)
2014-10-15T17:03:09Z DGASAU joined #sbcl
2014-10-15T17:03:57Z krzysz00 joined #sbcl
2014-10-15T17:10:05Z gingerale quit (Ping timeout: 265 seconds)
2014-10-15T17:20:38Z loke_ quit (Remote host closed the connection)
2014-10-15T17:23:29Z attila_lendvai joined #sbcl
2014-10-15T17:33:35Z slyrus quit (Ping timeout: 258 seconds)
2014-10-15T17:39:53Z snafuchs quit (Ping timeout: 260 seconds)
2014-10-15T17:40:52Z snafuchs joined #sbcl
2014-10-15T17:49:18Z krzysz00 quit (Ping timeout: 258 seconds)
2014-10-15T17:52:29Z snafuchs quit (Ping timeout: 260 seconds)
2014-10-15T17:52:52Z snafuchs joined #sbcl
2014-10-15T17:54:44Z angavrilov joined #sbcl
2014-10-15T17:59:01Z scymtym_ joined #sbcl
2014-10-15T18:24:46Z Hache_ joined #sbcl
2014-10-15T18:53:27Z Intensity quit (Ping timeout: 246 seconds)
2014-10-15T18:54:30Z faheem quit (Ping timeout: 246 seconds)
2014-10-15T18:55:46Z cmack`` joined #sbcl
2014-10-15T18:56:34Z faheem joined #sbcl
2014-10-15T18:57:39Z attila_lendvai quit (Ping timeout: 246 seconds)
2014-10-15T18:57:39Z cmack` quit (Ping timeout: 246 seconds)
2014-10-15T18:58:00Z redline6561 quit (Ping timeout: 246 seconds)
2014-10-15T19:02:46Z redline6561 joined #sbcl
2014-10-15T19:15:30Z attila_lendvai joined #sbcl
2014-10-15T19:15:30Z attila_lendvai quit (Changing host)
2014-10-15T19:15:30Z attila_lendvai joined #sbcl
2014-10-15T19:33:59Z krzysz00 joined #sbcl
2014-10-15T19:34:13Z snafuchs quit (Ping timeout: 260 seconds)
2014-10-15T19:36:32Z snafuchs joined #sbcl
2014-10-15T19:58:16Z Bicyclidine joined #sbcl
2014-10-15T20:16:31Z angavrilov quit (Remote host closed the connection)
2014-10-15T20:35:21Z snafuchs quit (Ping timeout: 260 seconds)
2014-10-15T20:35:38Z snafuchs joined #sbcl
2014-10-15T20:39:39Z prxq joined #sbcl
2014-10-15T21:02:09Z attila_lendvai quit (Quit: Leaving.)
2014-10-15T21:03:38Z Bicyclidine quit (Ping timeout: 244 seconds)
2014-10-15T21:03:45Z fridim_ joined #sbcl
2014-10-15T21:04:20Z cmack`` is now known as cmack
2014-10-15T21:13:00Z Bicyclidine joined #sbcl
2014-10-15T21:40:47Z slyrus joined #sbcl
2014-10-15T21:50:35Z leoc quit (Quit: _)
2014-10-15T22:01:20Z Bicyclidine quit (Quit: Reconnecting)
2014-10-15T22:01:34Z Bicyclidine joined #sbcl
2014-10-15T22:09:04Z fridim_ quit (Ping timeout: 260 seconds)
2014-10-15T22:10:17Z Bicyclidine quit (Ping timeout: 244 seconds)
2014-10-15T22:10:33Z snafuchs quit (Ping timeout: 260 seconds)
2014-10-15T22:10:49Z snafuchs joined #sbcl
2014-10-15T22:12:33Z Bicyclidine joined #sbcl
2014-10-15T22:31:26Z edgar-rft quit (Quit: continuation disconnected because of unknown reasons)
2014-10-15T22:49:01Z Bicyclidine quit (Ping timeout: 255 seconds)
2014-10-15T22:54:01Z Bicyclidine joined #sbcl
2014-10-15T22:55:16Z Intensity joined #sbcl
2014-10-15T23:05:34Z Bicyclidine quit (Ping timeout: 244 seconds)
2014-10-15T23:06:00Z prxq quit (Ping timeout: 260 seconds)
2014-10-15T23:13:54Z Bicyclidine joined #sbcl
2014-10-15T23:20:11Z slyrus_ joined #sbcl
2014-10-15T23:21:34Z slyrus quit (Ping timeout: 250 seconds)
2014-10-15T23:21:35Z slyrus_ is now known as slyrus
2014-10-15T23:22:24Z heddwch quit (Ping timeout: 255 seconds)
2014-10-15T23:24:18Z heddwch joined #sbcl
2014-10-15T23:28:05Z oleo is now known as Guest36041
2014-10-15T23:28:57Z oleo__ joined #sbcl
2014-10-15T23:31:06Z Guest36041 quit (Ping timeout: 240 seconds)
2014-10-15T23:53:45Z slyrus quit (Ping timeout: 246 seconds)