2014-12-05T08:49:55Z ccl-logbot joined #sbcl
2014-12-05T08:49:55Z 
2014-12-05T08:49:55Z names: ccl-logbot ASau` jdz stassats krzysz00 kanru pranavrc joshe leo2007 christoph_debian akkad psilord edgar-rft specbot fikusz White_Flame |3b| fe[nl]ix psy_ nicdev alchemis7 hzp`co`uk foom pillton milosn ams PuercoPop DeadTrickster scymtym karswell loke jl_3 Intensity irsol drmeister phf` reb` @Krystof Bike ferada weissschloss Hydan` kanru` jsnell flip214 sobel yauz pkhuong p_l|backup ivan`` Perlboy luis brucem Posterdati qbit p_l tmh_ les antoszka
2014-12-05T08:49:55Z names: jackdaniel pchrist snafuchs mood redline6561 carvite minion zacts Blkt
2014-12-05T08:54:57Z psy_ quit (Ping timeout: 244 seconds)
2014-12-05T09:02:37Z Bike quit (Ping timeout: 264 seconds)
2014-12-05T09:03:23Z Bike joined #sbcl
2014-12-05T09:13:41Z Bike quit (Ping timeout: 272 seconds)
2014-12-05T09:13:57Z Bike joined #sbcl
2014-12-05T09:14:37Z kanru quit (Ping timeout: 264 seconds)
2014-12-05T09:24:35Z fridim_ joined #sbcl
2014-12-05T09:46:05Z stassats quit (Ping timeout: 264 seconds)
2014-12-05T10:23:23Z angavrilov joined #sbcl
2014-12-05T10:30:01Z ASau` is now known as ASau
2014-12-05T10:51:53Z hlavaty joined #sbcl
2014-12-05T11:20:49Z jackdaniel quit (Remote host closed the connection)
2014-12-05T11:41:27Z attila_lendvai joined #sbcl
2014-12-05T11:41:27Z attila_lendvai quit (Changing host)
2014-12-05T11:41:27Z attila_lendvai joined #sbcl
2014-12-05T11:50:08Z eudoxia joined #sbcl
2014-12-05T12:13:49Z psy_ joined #sbcl
2014-12-05T13:11:08Z eudoxia quit (Quit: Lost terminal)
2014-12-05T13:11:20Z eudoxia joined #sbcl
2014-12-05T13:15:42Z p_l|backup quit (Ping timeout: 245 seconds)
2014-12-05T13:19:25Z pranavrc quit (Remote host closed the connection)
2014-12-05T13:20:16Z eudoxia quit (Quit: Lost terminal)
2014-12-05T13:23:42Z eudoxia joined #sbcl
2014-12-05T13:26:07Z eudoxia quit (Client Quit)
2014-12-05T13:34:40Z Hydan` is now known as Hydan
2014-12-05T13:35:35Z pkhuong: I have an arm board and a phi box coming in january.
2014-12-05T13:47:43Z eudoxia joined #sbcl
2014-12-05T13:51:21Z oleo joined #sbcl
2014-12-05T14:54:39Z gingerale joined #sbcl
2014-12-05T15:09:11Z eudoxia quit (Quit: Lost terminal)
2014-12-05T15:46:26Z krzysz00 quit (Ping timeout: 244 seconds)
2014-12-05T16:24:41Z edgar-rft quit (Quit: you are not expected to understand this message)
2014-12-05T16:36:09Z eudoxia joined #sbcl
2014-12-05T16:36:25Z krzysz00 joined #sbcl
2014-12-05T16:50:06Z eudoxia quit (Quit: Lost terminal)
2014-12-05T16:56:55Z krzysz00 quit (Ping timeout: 252 seconds)
2014-12-05T16:58:07Z krzysz00 joined #sbcl
2014-12-05T17:52:11Z krzysz00 quit (Ping timeout: 250 seconds)
2014-12-05T17:52:26Z krzysz00 joined #sbcl
2014-12-05T18:06:54Z milosn quit (Remote host closed the connection)
2014-12-05T18:18:30Z reb` quit (Remote host closed the connection)
2014-12-05T18:32:35Z krzysz00 quit (Ping timeout: 244 seconds)
2014-12-05T18:34:09Z reb joined #sbcl
2014-12-05T18:39:18Z krzysz00 joined #sbcl
2014-12-05T18:45:47Z krzysz00 quit (Ping timeout: 258 seconds)
2014-12-05T18:50:16Z krzysz00 joined #sbcl
2014-12-05T18:55:55Z krzysz00 quit (Ping timeout: 255 seconds)
2014-12-05T19:01:03Z milosn joined #sbcl
2014-12-05T19:43:04Z krzysz00 joined #sbcl
2014-12-05T19:51:21Z LiamH joined #sbcl
2014-12-05T20:07:53Z hlavaty quit (Remote host closed the connection)
2014-12-05T21:05:32Z Bicyclidine joined #sbcl
2014-12-05T21:15:29Z krzysz00 quit (Ping timeout: 264 seconds)
2014-12-05T21:23:06Z oleo is now known as Guest57531
2014-12-05T21:23:30Z Bicyclidine quit (Quit: restartin)
2014-12-05T21:25:28Z Bicyclidine joined #sbcl
2014-12-05T21:25:31Z oleo__ joined #sbcl
2014-12-05T21:26:24Z Guest57531 quit (Ping timeout: 258 seconds)
2014-12-05T21:27:14Z milosn quit (Ping timeout: 256 seconds)
2014-12-05T21:30:26Z angavrilov quit (Remote host closed the connection)
2014-12-05T21:48:53Z oleo__ is now known as oleo
2014-12-05T21:54:25Z pppp2 joined #sbcl
2014-12-05T21:59:11Z Bicyclidine quit (Quit: leaving)
2014-12-05T22:07:34Z pppp2 quit (Read error: No route to host)
2014-12-05T22:07:56Z milosn joined #sbcl
2014-12-05T22:08:55Z kanru joined #sbcl
2014-12-05T22:09:10Z pppp2 joined #sbcl
2014-12-05T22:10:44Z pppp3 joined #sbcl
2014-12-05T22:13:28Z pppp2 quit (Ping timeout: 255 seconds)
2014-12-05T22:27:11Z snuglas joined #sbcl
2014-12-05T22:28:26Z snuglas: i'm thinking of downgrading my newly introduced style-warning about compiler-macros to being an efficiency note. So far i've found that CFFI and CL-PROTOBUFS return T for the warnings-p result from compile-file, and I'm sure there are hundreds of other problems.
2014-12-05T22:30:39Z snuglas: anybody have a vested interest in it being one or the other?
2014-12-05T22:30:41Z kanru quit (Ping timeout: 265 seconds)
2014-12-05T22:36:36Z pppp3 quit (Read error: No route to host)
2014-12-05T22:40:59Z krzysz00 joined #sbcl
2014-12-05T22:41:07Z snuglas quit (Ping timeout: 246 seconds)
2014-12-05T22:44:37Z kanru joined #sbcl
2014-12-05T22:57:17Z pkhuong: efficiency note makes sense
2014-12-05T22:57:37Z pkhuong: don't know why someone would break the build for style warnings, but... you know, asdf.
2014-12-05T23:17:27Z eudoxia joined #sbcl
2014-12-05T23:21:40Z Bicyclidine joined #sbcl
2014-12-05T23:41:23Z pppp3 joined #sbcl
2014-12-05T23:53:11Z pppp3 quit (Read error: No route to host)
2014-12-05T23:53:34Z kanru quit (Ping timeout: 245 seconds)
2014-12-14T03:51:11Z ccl-logbot joined #sbcl
2014-12-14T03:51:11Z 
2014-12-14T03:51:11Z names: ccl-logbot alchemis7 ASau soggybread les oleo scymtym_ echo-area loke fitzsim DeadTrickster ivan4th gingerale flip214 fikusz specbot minion ams pkhuong jdz fe[nl]ix psilord qbit |3b| leo2007 White_Flame micro^ jasom njmurphy Bike PuercoPop ferada weissschloss zacts kanru rma tmh_ rs0 redline6561 drmeister akkad reb joshe nicdev hzp scymtym jl_3 irsol phf` Hydan jsnell sobel Blkt carvite mood snafuchs pchrist antoszka p_l Posterdati brucem luis Perlboy
2014-12-14T03:51:11Z names: ivan`` yauz
2014-12-14T03:51:45Z christoph_debian joined #sbcl
2014-12-14T03:52:31Z milosn joined #sbcl
2014-12-14T04:39:07Z oleo is now known as Guest7150
2014-12-14T04:39:57Z oleo__ joined #sbcl
2014-12-14T04:42:22Z Guest7150 quit (Ping timeout: 245 seconds)
2014-12-14T05:20:55Z loke_ joined #sbcl
2014-12-14T05:32:13Z loke quit (*.net *.split)
2014-12-14T05:32:15Z echo-area quit (*.net *.split)
2014-12-14T05:32:15Z |3b| quit (*.net *.split)
2014-12-14T05:32:15Z njmurphy quit (*.net *.split)
2014-12-14T05:32:15Z PuercoPop quit (*.net *.split)
2014-12-14T05:32:15Z joshe quit (*.net *.split)
2014-12-14T05:32:15Z nicdev quit (*.net *.split)
2014-12-14T05:32:16Z alchemis7 quit (*.net *.split)
2014-12-14T05:32:16Z scymtym_ quit (*.net *.split)
2014-12-14T05:32:16Z pkhuong quit (*.net *.split)
2014-12-14T05:32:16Z sobel quit (*.net *.split)
2014-12-14T05:32:17Z Posterdati quit (*.net *.split)
2014-12-14T05:32:17Z brucem quit (*.net *.split)
2014-12-14T05:39:16Z psy_ joined #sbcl
2014-12-14T05:39:16Z alchemis7 joined #sbcl
2014-12-14T05:39:16Z scymtym_ joined #sbcl
2014-12-14T05:39:16Z pkhuong joined #sbcl
2014-12-14T05:39:16Z sobel joined #sbcl
2014-12-14T05:39:16Z Posterdati joined #sbcl
2014-12-14T05:39:16Z brucem joined #sbcl
2014-12-14T05:48:29Z echo-area joined #sbcl
2014-12-14T05:48:29Z |3b| joined #sbcl
2014-12-14T05:48:29Z njmurphy joined #sbcl
2014-12-14T05:48:29Z PuercoPop joined #sbcl
2014-12-14T05:48:29Z joshe joined #sbcl
2014-12-14T05:48:29Z nicdev joined #sbcl
2014-12-14T05:52:48Z pppp2 joined #sbcl
2014-12-14T05:59:29Z echo-area quit (*.net *.split)
2014-12-14T05:59:29Z |3b| quit (*.net *.split)
2014-12-14T05:59:29Z njmurphy quit (*.net *.split)
2014-12-14T05:59:30Z PuercoPop quit (*.net *.split)
2014-12-14T05:59:30Z joshe quit (*.net *.split)
2014-12-14T05:59:30Z nicdev quit (*.net *.split)
2014-12-14T06:00:47Z echo-area joined #sbcl
2014-12-14T06:00:47Z |3b| joined #sbcl
2014-12-14T06:00:47Z njmurphy joined #sbcl
2014-12-14T06:00:47Z PuercoPop joined #sbcl
2014-12-14T06:00:47Z joshe joined #sbcl
2014-12-14T06:00:47Z nicdev joined #sbcl
2014-12-14T06:05:12Z kami joined #sbcl
2014-12-14T06:05:12Z kami quit (Changing host)
2014-12-14T06:05:12Z kami joined #sbcl
2014-12-14T06:05:43Z kami left #sbcl
2014-12-14T06:15:32Z Bicyclidine joined #sbcl
2014-12-14T06:47:53Z Bicyclidine quit (Ping timeout: 264 seconds)
2014-12-14T06:52:14Z Bicyclidine joined #sbcl
2014-12-14T06:53:13Z scymtym_ quit (Ping timeout: 255 seconds)
2014-12-14T07:24:24Z pppp2 quit (Read error: Connection reset by peer)
2014-12-14T07:45:09Z scymtym_ joined #sbcl
2014-12-14T07:53:58Z Intensity joined #sbcl
2014-12-14T07:56:20Z stassats joined #sbcl
2014-12-14T08:01:48Z milosn quit (Ping timeout: 244 seconds)
2014-12-14T08:11:23Z Krystof joined #sbcl
2014-12-14T08:11:23Z ChanServ has set mode +o Krystof
2014-12-14T08:18:54Z pppp2 joined #sbcl
2014-12-14T08:19:24Z milosn joined #sbcl
2014-12-14T08:45:31Z Bicyclidine quit (Quit: leaving)
2014-12-14T09:05:31Z angavrilov joined #sbcl
2014-12-14T09:39:41Z scymtym_ quit (Ping timeout: 260 seconds)
2014-12-14T09:58:07Z karswell joined #sbcl
2014-12-14T10:08:02Z sdemarre joined #sbcl
2014-12-14T10:16:35Z edgar-rft joined #sbcl
2014-12-14T10:23:04Z alchemis7 quit (Remote host closed the connection)
2014-12-14T10:38:13Z stassats quit (Ping timeout: 255 seconds)
2014-12-14T10:40:05Z stassats joined #sbcl
2014-12-14T10:40:13Z stassats quit (Changing host)
2014-12-14T10:40:13Z stassats joined #sbcl
2014-12-14T10:54:17Z milosn quit (Read error: Connection reset by peer)
2014-12-14T10:55:09Z milosn joined #sbcl
2014-12-14T11:34:03Z alchemis7 joined #sbcl
2014-12-14T11:42:02Z oleo__ quit (Quit: Verlassend)
2014-12-14T11:43:49Z stassats quit (Ping timeout: 260 seconds)
2014-12-14T11:47:32Z oleo joined #sbcl
2014-12-14T11:52:57Z attila_lendvai joined #sbcl
2014-12-14T11:52:57Z attila_lendvai quit (Changing host)
2014-12-14T11:52:57Z attila_lendvai joined #sbcl
2014-12-14T13:10:44Z attila_lendvai quit (Quit: Leaving.)
2014-12-14T13:21:05Z loke joined #sbcl
2014-12-14T13:38:36Z pppp2 quit (Quit: Leaving)
2014-12-14T13:39:07Z pppp2 joined #sbcl
2014-12-14T13:41:58Z eudoxia joined #sbcl
2014-12-14T13:42:03Z pppp2 quit (Read error: Connection reset by peer)
2014-12-14T13:50:44Z milosn quit (Ping timeout: 256 seconds)
2014-12-14T13:53:43Z nyef joined #sbcl
2014-12-14T14:20:28Z fitzsim quit (Read error: Connection reset by peer)
2014-12-14T14:20:53Z fitzsim joined #sbcl
2014-12-14T14:38:45Z LiamH joined #sbcl
2014-12-14T14:45:19Z eudoxia quit (Ping timeout: 244 seconds)
2014-12-14T15:25:07Z eudoxia joined #sbcl
2014-12-14T16:07:30Z fitzsim quit (Ping timeout: 265 seconds)
2014-12-14T16:08:24Z fitzsim joined #sbcl
2014-12-14T16:28:05Z loke quit (Remote host closed the connection)
2014-12-14T16:54:42Z oleo is now known as Guest3238
2014-12-14T16:55:32Z oleo__ joined #sbcl
2014-12-14T16:58:05Z Guest3238 quit (Ping timeout: 264 seconds)
2014-12-14T17:08:35Z sdemarre quit (Ping timeout: 272 seconds)
2014-12-14T17:14:52Z oleo__ quit (Quit: Verlassend)
2014-12-14T17:15:40Z oleo__ joined #sbcl
2014-12-14T17:15:49Z oleo__ is now known as oleo
2014-12-14T17:53:22Z psy_ quit (Ping timeout: 255 seconds)
2014-12-14T17:58:28Z milosn joined #sbcl
2014-12-14T18:06:51Z milosn quit (Read error: Connection reset by peer)
2014-12-14T18:07:51Z milosn joined #sbcl
2014-12-14T19:00:33Z sdemarre joined #sbcl
2014-12-14T19:14:01Z scymtym_ joined #sbcl
2014-12-14T19:32:41Z nikki93 joined #sbcl
2014-12-14T19:33:30Z nikki93: where should I look to learn how sbcl implements closures? I'm curious
2014-12-14T19:35:47Z nyef: How deeply do you wish to understand?
2014-12-14T19:38:43Z nyef: Roughly, the compiler works out which variables need to be closed over, arranges for their values to be stored in "value cell"s if necessary, and when it creates an actual closure object it includes a reference to the underlying "closure function" and the set of closed-over value cell references (or equivalent) in the object.
2014-12-14T19:38:58Z nyef: That's pretty much the basics, really.
2014-12-14T19:39:40Z pkhuong: the closure object itself follows the classical vector of values (/value cells) representation.
2014-12-14T19:41:00Z nyef: The part that I DON'T understand about the whole mess is how the compiler figures out top-level closure variables, because that's the part of the compiler than I understand the least.
2014-12-14T19:57:15Z nikki93 quit (Read error: Connection reset by peer)
2014-12-14T20:43:57Z nyef: I noticed something on the "Porting" page of the website, specifically the "Other Ports" section.
2014-12-14T20:44:55Z nyef: As such, I will likely spend part of the last week and a half of the year evaluating the plausibility of an IRIX port, and I want dibs on MIPS64 and HPPA.
2014-12-14T20:45:55Z nyef: (There are five port types listed, in order of estimated difficulty. I've done two of the three hardest already, and I'm thinking to try and complete the set.)
2014-12-14T20:47:34Z nyef: Hrm. I guess the other option would be to do a MIPS64/Linux port and then do an OpenBSD version of that. More likely to get used than IRIX, at least.
2014-12-14T20:52:09Z fitzsim quit (Ping timeout: 244 seconds)
2014-12-14T20:57:29Z joshe: nyef: I recently acquired a working hppa machine :)
2014-12-14T20:58:14Z joshe: I also have mips64 hardware which runs openbsd, both endiannesses
2014-12-14T20:58:41Z nyef: I have mips64 hardware which should be able to run openbsd, but I'd far, far rather run Linux.
2014-12-14T20:58:48Z nyef: I think we've been over some of this before.
2014-12-14T21:00:01Z fitzsim joined #sbcl
2014-12-14T21:00:14Z joshe: if you get linux working then I can try to bring up openbsd
2014-12-14T21:00:23Z joshe: I did start on hppa years ago before my machine died actually
2014-12-14T21:00:27Z joshe: and yes, I think we have
2014-12-14T21:01:25Z nyef: It might also be amusing to do the 32-on-64 trick that Alpha does.
2014-12-14T21:01:34Z joshe: "amusing"
2014-12-14T21:01:40Z nyef: IIRC, the MIPS instruction set should lend itself well to that.
2014-12-14T21:02:40Z joshe: on some platforms (amd64 at least) openbsd locates the heap above 4gb to help detect pointer truncation
2014-12-14T21:03:24Z nyef: Is that controlled by the linker, or by the kernel and supporting libraries?
2014-12-14T21:04:06Z joshe: it may entirely be the linker, but I'm not sure
2014-12-14T21:04:28Z joshe: if one were to avoid malloc() and just mmap() with fixed addresses then I imagine it wouldn't be a problem
2014-12-14T21:05:11Z joshe: well, after linking everything you need from lisp below 4gb
2014-12-14T21:05:11Z milosn quit (Ping timeout: 264 seconds)
2014-12-14T21:06:00Z nyef: The main point of the linker control file on alpha is to keep everything AWAY from the low memory space so that it can be used for the lisp heap.
2014-12-14T21:07:12Z joshe: it sounds perverse
2014-12-14T21:18:35Z attila_lendvai joined #sbcl
2014-12-14T21:21:28Z pkhuong: x32 would be more useful ;)
2014-12-14T21:21:41Z pkhuong: if we're going to try and keep 32-on-64 alive
2014-12-14T21:23:33Z joshe: indeed
2014-12-14T21:27:03Z nyef: The difference being that I don't actually care about x86oids. It's the other CPU architectures that are actually interesting.
2014-12-14T21:37:08Z milosn joined #sbcl
2014-12-14T21:41:33Z angavrilov quit (Remote host closed the connection)
2014-12-14T21:47:18Z pkhuong: funny. the only other arch I could perhaps truly care about is SPARC. Everything else has an insane memory model.
2014-12-14T21:56:42Z fe[nl]ix: why insane ?
2014-12-14T22:10:02Z nikki93 joined #sbcl
2014-12-14T22:10:14Z nikki93: i see
2014-12-14T22:11:01Z nikki93: but where is this clojure object defined, etc.? is it in C code in the runtime dir or lisp under src?
2014-12-14T22:12:19Z pkhuong: fe[nl]ix: they provide so little guarantees that the it's nearly impossible to compile thread-safe code efficiently
2014-12-14T22:12:32Z pkhuong: even for humans, you quickly get into theorem proving territory.
2014-12-14T22:14:03Z pkhuong: compare with TSO, which clearly works in hardware (we have large and powerful SPARC and x86-64 machines) and which only needs to track enforce one type of dependency
2014-12-14T22:16:11Z fe[nl]ix: hmm, what's TSO ?
2014-12-14T22:18:33Z nikki93 quit (Read error: Connection reset by peer)
2014-12-14T22:23:08Z nikki93_ joined #sbcl
2014-12-14T22:35:26Z pkhuong: fe[nl]ix: http://en.wikipedia.org/wiki/Memory_ordering
2014-12-14T22:36:35Z fitzsim quit (Ping timeout: 265 seconds)
2014-12-14T22:38:05Z sdemarre quit (Ping timeout: 260 seconds)
2014-12-14T22:38:53Z fitzsim joined #sbcl
2014-12-14T22:43:38Z krzysz00 joined #sbcl
2014-12-14T23:05:35Z eudoxia_ joined #sbcl
2014-12-14T23:05:56Z eudoxia_ quit (Remote host closed the connection)
2014-12-14T23:06:10Z eudoxia_ joined #sbcl
2014-12-14T23:06:25Z eudoxia_ quit (Client Quit)
2014-12-14T23:08:52Z eudoxia quit (Ping timeout: 258 seconds)
2014-12-14T23:09:13Z eudoxia joined #sbcl
2014-12-14T23:15:03Z nikki93_ quit (Read error: Connection reset by peer)
2014-12-14T23:15:08Z nikki93 joined #sbcl
2014-12-14T23:29:46Z nikki93 quit (Read error: Connection reset by peer)
2014-12-14T23:29:56Z nikki93 joined #sbcl
2014-12-14T23:30:56Z attila_lendvai quit (Quit: Leaving.)
2014-12-14T23:41:44Z nikki93 quit (Read error: Connection reset by peer)
2014-12-14T23:42:09Z nikki93 joined #sbcl
2014-12-15T00:18:23Z edgar-rft quit (Quit: mental process disappeared because all hope lost)
2014-12-15T00:19:47Z nikki93 quit (Read error: Connection reset by peer)
2014-12-15T00:19:52Z nikki93_ joined #sbcl
2014-12-15T00:27:56Z nikki93_ quit (Read error: Connection reset by peer)
2014-12-15T00:28:20Z nikki93 joined #sbcl
2014-12-15T00:38:56Z echo-area quit (Read error: Connection reset by peer)
2014-12-15T00:55:01Z nikki93 quit (Remote host closed the connection)
2014-12-15T00:55:17Z nikki93 joined #sbcl
2014-12-15T01:22:15Z nikki93 quit (Read error: Connection reset by peer)
2014-12-15T01:22:42Z nikki93 joined #sbcl
2014-12-15T01:29:31Z nikki93 quit (Read error: Connection reset by peer)
2014-12-15T01:29:48Z nikki93 joined #sbcl
2014-12-15T01:33:50Z micro^ left #sbcl
2014-12-15T02:19:50Z echo-area joined #sbcl
2014-12-15T02:53:25Z eudoxia quit (Quit: Leaving)
2014-12-15T02:57:35Z krzysz00 quit (Ping timeout: 272 seconds)
2014-12-15T03:39:08Z christoph_debian quit (Ping timeout: 250 seconds)
2014-12-15T03:52:03Z christoph_debian joined #sbcl
2014-12-15T04:25:49Z psy_ joined #sbcl
2014-12-15T04:50:42Z LiamH quit (Quit: Leaving.)
2014-12-15T04:55:24Z echo-area quit (Read error: Connection reset by peer)
2014-12-15T04:57:22Z echo-area joined #sbcl
2014-12-15T05:36:32Z leo2007 quit (Quit: rcirc on GNU Emacs 25.0.50.1)
2014-12-15T05:43:14Z pranavrc joined #sbcl
2014-12-15T05:43:14Z pranavrc quit (Changing host)
2014-12-15T05:43:14Z pranavrc joined #sbcl
2014-12-15T05:43:21Z nyef quit (Quit: G'night all.)
2014-12-15T05:45:13Z oleo is now known as Guest48980
2014-12-15T05:46:08Z oleo__ joined #sbcl
2014-12-15T05:46:40Z loke_ quit (Remote host closed the connection)
2014-12-15T05:48:24Z Guest48980 quit (Ping timeout: 256 seconds)
2014-12-15T05:50:15Z leo2007 joined #sbcl
2014-12-15T05:59:33Z gingerale quit (Ping timeout: 260 seconds)
2014-12-15T06:26:54Z jdz quit (Ping timeout: 260 seconds)
2014-12-15T06:26:55Z jdz joined #sbcl
2014-12-15T06:27:05Z DeadTrickster quit (Ping timeout: 260 seconds)
2014-12-15T06:27:33Z DeadTrickster joined #sbcl
2014-12-15T06:30:50Z oleo__ quit (Quit: Verlassend)
2014-12-15T06:46:15Z sdemarre joined #sbcl
2014-12-15T07:44:04Z DeadTrickster quit (Ping timeout: 258 seconds)
2014-12-15T07:47:35Z loke joined #sbcl
2014-12-15T07:50:31Z DeadTrickster joined #sbcl
2014-12-15T08:03:23Z scymtym_ quit (Ping timeout: 264 seconds)
2014-12-15T08:05:28Z DeadTrickster quit (Ping timeout: 265 seconds)
2014-12-15T08:13:38Z DeadTrickster joined #sbcl
2014-12-15T08:20:27Z DeadTrickster quit (Ping timeout: 265 seconds)
2014-12-15T08:24:16Z pppp2 joined #sbcl
2014-12-15T08:38:31Z christoph_debian quit (Ping timeout: 255 seconds)
2014-12-15T08:38:45Z ASau` joined #sbcl
2014-12-15T08:41:12Z DeadTrickster joined #sbcl
2014-12-15T08:42:22Z ASau quit (Ping timeout: 245 seconds)
2014-12-15T08:52:47Z christoph_debian joined #sbcl
2014-12-15T08:53:55Z nikki93 quit (Remote host closed the connection)
2014-12-15T08:54:31Z nikki93 joined #sbcl
2014-12-15T08:59:07Z nikki93 quit (Ping timeout: 265 seconds)
2014-12-15T09:04:32Z edgar-rft joined #sbcl
2014-12-15T09:04:55Z milosn quit (Ping timeout: 272 seconds)
2014-12-15T09:06:34Z ASau` is now known as ASau
2014-12-15T09:27:36Z milosn joined #sbcl
2014-12-15T09:32:41Z nikki93 joined #sbcl
2014-12-15T09:54:19Z DeadTrickster quit (Ping timeout: 250 seconds)
2014-12-15T10:00:18Z DeadTrickster joined #sbcl
2014-12-15T10:05:49Z DeadTrickster quit (Ping timeout: 255 seconds)
2014-12-15T10:17:52Z DeadTrickster joined #sbcl
2014-12-15T10:24:32Z echo-area quit (Remote host closed the connection)
2014-12-15T10:29:04Z DeadTrickster quit (Ping timeout: 250 seconds)
2014-12-15T10:29:50Z hlavaty joined #sbcl
2014-12-15T10:38:45Z angavrilov joined #sbcl
2014-12-15T10:43:39Z DeadTrickster joined #sbcl
2014-12-15T10:54:12Z milosn quit (Ping timeout: 250 seconds)
2014-12-15T10:56:43Z Krystof: fe[nl]ix: thanks for your github pr git config snippet
2014-12-15T10:57:29Z Krystof: do you happen to know if merging by cherry-picking/rebasing (rather than having explicit merge commits) will automatically close the pr?
2014-12-15T10:58:28Z fe[nl]ix: it won't happen
2014-12-15T10:59:09Z Krystof: shame
2014-12-15T10:59:51Z fe[nl]ix: you either need do do a merge commit that references the merge using "Close #56" on an empty line either at the beginning or at the end
2014-12-15T11:00:59Z fe[nl]ix: or do the same replying by email if you enable receiving emails for messages in the pull requests
2014-12-15T11:01:31Z Krystof: thanks
2014-12-15T11:02:05Z nikki93 quit
2014-12-15T11:02:53Z DeadTrickster quit (Ping timeout: 260 seconds)
2014-12-15T11:03:16Z fe[nl]ix: I meant "references the ticket/pr"
2014-12-15T11:05:13Z attila_lendvai joined #sbcl
2014-12-15T11:15:22Z DeadTrickster joined #sbcl
2014-12-15T11:34:59Z hlavaty quit (Read error: Connection reset by peer)
2014-12-15T11:35:30Z hlavaty joined #sbcl
2014-12-15T12:02:31Z attila_lendvai quit (Quit: Leaving.)
2014-12-15T12:07:36Z Hache_ joined #sbcl
2014-12-15T12:08:18Z pppp2 quit (Read error: Connection reset by peer)
2014-12-15T12:24:51Z fridim_ joined #sbcl
2014-12-15T12:39:13Z edgar-rft quit (Quit: connection ended into eternal disaster)
2014-12-15T12:50:10Z fridim_ quit (Read error: Connection reset by peer)
2014-12-15T13:02:51Z fridim_ joined #sbcl
2014-12-15T13:22:22Z DeadTrickster quit (Ping timeout: 245 seconds)
2014-12-15T13:26:48Z krzysz00 joined #sbcl
2014-12-15T13:32:18Z pranavrc quit
2014-12-15T13:40:33Z DeadTrickster joined #sbcl
2014-12-15T14:25:26Z attila_lendvai joined #sbcl
2014-12-15T14:29:31Z loke_ joined #sbcl
2014-12-15T14:29:41Z cmack joined #sbcl
2014-12-15T14:30:14Z cmack is now known as Guest50976
2014-12-15T14:32:15Z Guest50976 is now known as cmack`
2014-12-15T14:49:30Z oleo joined #sbcl
2014-12-15T15:33:56Z loke_ quit (Remote host closed the connection)
2014-12-15T15:48:27Z nyef joined #sbcl
2014-12-20T16:33:19Z ccl-logbot joined #sbcl
2014-12-20T16:33:19Z 
2014-12-20T16:33:19Z names: ccl-logbot rs0 gingerale irsol_ White__Flame _8hzp daviid ASau LiamH nyef oleo edgar-rft angavrilov karswell PuercoPop |3b| psy_ Bike christoph_debian drichards krzysz00 Intensity akkad drmeister flip214 ivan4th njmurphy kanru fe[nl]ix minion specbot scymtym jdz @Krystof redline6561 fitzsim rma luis jasom loke alchemis7 nicdev brucem Posterdati sobel pkhuong les fikusz ams psilord qbit ferada tmh_ reb jl_3 phf` Hydan jsnell Blkt carvite mood snafuchs
2014-12-20T16:33:19Z names: pchrist antoszka p_l Perlboy yauz ivan``
2014-12-20T16:33:59Z White__Flame quit (Ping timeout: 245 seconds)
2014-12-20T16:33:59Z daviid quit (Ping timeout: 245 seconds)
2014-12-20T16:34:07Z White_Flame joined #sbcl
2014-12-20T16:34:24Z irsol_ quit (Ping timeout: 245 seconds)
2014-12-20T16:34:25Z flip214 quit (Ping timeout: 245 seconds)
2014-12-20T16:34:33Z Krystof quit (Remote host closed the connection)
2014-12-20T16:34:33Z njmurphy quit (Ping timeout: 265 seconds)
2014-12-20T16:34:36Z redline6561 quit (Ping timeout: 265 seconds)
2014-12-20T16:34:37Z les quit (Ping timeout: 265 seconds)
2014-12-20T16:34:37Z ferada quit (Ping timeout: 265 seconds)
2014-12-20T16:34:41Z fe[nl]ix quit (Ping timeout: 265 seconds)
2014-12-20T16:34:42Z fitzsim quit (Ping timeout: 265 seconds)
2014-12-20T16:34:42Z fikusz quit (Ping timeout: 265 seconds)
2014-12-20T16:34:42Z ams quit (Ping timeout: 265 seconds)
2014-12-20T16:34:44Z scymtym quit (Ping timeout: 265 seconds)
2014-12-20T16:34:46Z fitzsim` joined #sbcl
2014-12-20T16:35:33Z flip214 joined #sbcl
2014-12-20T16:35:39Z fe[nl]ix joined #sbcl
2014-12-20T16:37:15Z weissschloss joined #sbcl
2014-12-20T16:37:44Z njmurphy joined #sbcl
2014-12-20T16:38:53Z Bike quit (Quit: motion)
2014-12-20T16:39:49Z LiamH quit (Ping timeout: 245 seconds)
2014-12-20T16:41:02Z redline6561 joined #sbcl
2014-12-20T16:42:10Z specbot quit (*.net *.split)
2014-12-20T16:43:06Z specbot joined #sbcl
2014-12-20T16:43:32Z edgar-rft quit (Ping timeout: 255 seconds)
2014-12-20T16:45:04Z psilord quit (Ping timeout: 265 seconds)
2014-12-20T16:45:20Z ferada joined #sbcl
2014-12-20T16:45:35Z nyef: Ugh. The bootstrap process for CMUCL on HPPA must have been a nightmare.
2014-12-20T16:45:39Z les joined #sbcl
2014-12-20T16:45:45Z Intensity quit (Ping timeout: 244 seconds)
2014-12-20T16:45:48Z fikusz joined #sbcl
2014-12-20T16:46:15Z psilord joined #sbcl
2014-12-20T16:46:16Z Intensity joined #sbcl
2014-12-20T16:46:21Z nyef: It looks like genesis mis-constructs any FDEFN that uses an undefined or closure function.
2014-12-20T16:46:30Z Intensity quit (Max SendQ exceeded)
2014-12-20T16:46:58Z LiamH joined #sbcl
2014-12-20T16:47:13Z irsol joined #sbcl
2014-12-20T16:49:34Z scymtym joined #sbcl
2014-12-20T16:49:41Z daviid joined #sbcl
2014-12-20T16:50:27Z Intensity joined #sbcl
2014-12-20T16:50:53Z njmurphy quit (Changing host)
2014-12-20T16:50:53Z njmurphy joined #sbcl
2014-12-20T16:52:38Z drichards: boy, don't try to lie about types.  The compiler will beat you up bigtime
2014-12-20T16:55:26Z nyef: Yes. Yes, it will. I learned that with gcc some fifteen years ago or so.
2014-12-20T16:56:30Z nyef: (These days, the stunt I pulled back then would take even more careful hackery to make work, thanks to non-executable data sections.)
2014-12-20T16:58:20Z drichards: aye.  this was in lisp tho.  I had a let block with six uninitialized variables.  I declared them to be various subtypes of integer.  sbcl abused me for it.  Instead of initializing them in the let block (which I would normally do) I removed the declare.  sbcl shut right up.
2014-12-20T16:58:57Z drichards: it did give me 29 notes prior to doing this :)
2014-12-20T16:59:51Z Bicyclidine joined #sbcl
2014-12-20T17:04:28Z nyef: (declare (type (or integer null) ...))?
2014-12-20T17:05:45Z drichards: I could have, but I think most of the value would have gone away
2014-12-20T17:06:28Z drichards: in truth, the variables were not assigned a value outside the type-spec and I never referred to their initial nil value, but the compiler caught me
2014-12-20T17:06:47Z drichards: assigned "explicitly" :)
2014-12-20T17:19:56Z flip214: in case anyone tried to answer me before the netsplit, please repeat it.
2014-12-20T17:22:47Z nyef: flip214: The last thing I see from you is "okay, got it built now."
2014-12-20T17:27:58Z flip214: nyef: thank you. so, I'll just repeat myself. so, I'll just repeat myself.
2014-12-20T17:27:59Z flip214: hmmm, why does (time (loop for i upto 1000000000))  give me
2014-12-20T17:28:11Z flip214:   14.593 seconds of real time
2014-12-20T17:28:15Z flip214:   14.593 seconds of real time
2014-12-20T17:28:17Z flip214:   14.593 seconds of real time
2014-12-20T17:28:21Z flip214: sorry
2014-12-20T17:28:27Z flip214:   7.270000 seconds of total run time (7.270000 user, 0.000000 system)
2014-12-20T17:28:32Z flip214:   49.82% CPU
2014-12-20T17:28:39Z flip214: why is only half of the CPU used?
2014-12-20T17:28:45Z flip214: I'd think that's a busy loop as good as it gets ...
2014-12-20T17:29:47Z nyef: Is something else using the other half of the CPU?
2014-12-20T17:29:58Z flip214: no, not that I know of.
2014-12-20T17:30:16Z flip214: hmmm, perhaps I have to try again... maybe the contrib building was still active in the other window.
2014-12-20T17:30:24Z nyef: process resource limit?
2014-12-20T17:30:33Z flip214: don't think so.
2014-12-20T17:30:49Z flip214: thanks, seems to have been the contribs ... they took much longer than I thought.
2014-12-20T17:31:08Z flip214: (and failed sb-bsd-sockets, sadly. will swank still work?)
2014-12-20T17:32:47Z flip214: then, does somebody know whether the hardware access libraries have been ported to lisp already?
2014-12-20T17:32:54Z flip214: things like http://sourceforge.net/p/raspberry-gpio-python/wiki/PWM/?
2014-12-20T17:34:17Z flip214: there is a library that does mmap() to get direct IO access, which allows 25MHz switching frequence on GPIO via a simple loop, too...
2014-12-20T17:39:18Z nyef: I've done direct hardware access via mmap() from SBCL before, but that was on an x86oid.
2014-12-20T17:40:46Z flip214: yeah, I wrote to video RAM via mmap, too... just asking whether it's already been done.
2014-12-20T17:47:39Z nyef: I wrote to the CRTC on my video card via mmap. d-:
2014-12-20T17:48:17Z scymtym_ joined #sbcl
2014-12-20T17:50:35Z nyef: Hrm. Are those 5v I/Os, and how many of them are there?
2014-12-20T17:52:37Z nyef: Ugh. Seventeen, 3v3 outputs. /-:
2014-12-20T17:53:45Z nyef: Guess it's back to plan A for me, trying to sort out termois stuff.
2014-12-20T17:56:27Z flip214: nyef: there's a raspberry B+ now available, with 27 GPIO ports!
2014-12-20T17:56:41Z nyef: 5v I/O on those ports?
2014-12-20T17:56:46Z flip214: no, all 3v3.
2014-12-20T17:56:57Z nyef: Doesn't help me, then.
2014-12-20T17:56:58Z flip214: but put a MOSFET behind and you can drive nearly anything...
2014-12-20T17:57:15Z flip214: what do you want to drive, then?
2014-12-20T17:57:25Z nyef: An SST39SF040.
2014-12-20T17:57:48Z nyef: Which is a 512kx8 5v FlashROM.
2014-12-20T18:00:05Z nyef: Looks like I need 22 pure outputs and 8 I/Os, all for 5v logic.
2014-12-20T18:00:10Z flip214: nyef: the datasheet says "input high voltage: >2.0V", so you should be able to drive the IO directly.
2014-12-20T18:00:45Z flip214: for data to the raspi a voltage divider might be useful, though.
2014-12-20T18:00:48Z nyef: There has to be an upper limit to that scale.
2014-12-20T18:01:13Z flip214: yeah, of course Vcc.
2014-12-20T18:01:27Z flip214: but it looks like you could have 5V supply and 3v3 IO just fine.
2014-12-20T18:02:46Z flip214: and if I read the datasheet correctly, you need 8 data io, 17 address, chip enable, output enable, write enable => 28 pins.
2014-12-20T18:03:11Z flip214: if you can do write enable = chip enable AND NOT output enable or something like that the 27 of the Rpi are sufficient ...
2014-12-20T18:03:28Z flip214: or don't use the biggest one, then you only need 16 address IO.
2014-12-20T18:03:35Z flip214: or use a latch register.
2014-12-20T18:04:15Z nyef: Hrm. Yeah, V_IH has a lower limit of 2.0V, and the inputs are apparently TTL compatible.
2014-12-20T18:04:33Z flip214: "That's what I said" ;P
2014-12-20T18:04:50Z nyef: My notes say 19 address lines.
2014-12-20T18:05:20Z flip214: a0 to a16? did I read that wrong?
2014-12-20T18:05:23Z nyef: Are you looking at the 010?
2014-12-20T18:05:40Z flip214: ah yes, read that wrong way around.
2014-12-20T18:05:42Z nyef: a0 to a18.
2014-12-20T18:06:10Z flip214: don't know what you want to do, but why not use an USB stick?
2014-12-20T18:06:10Z nyef: It's designed so that you can drop any of the chips into a suitably wired socket and get a useful result.
2014-12-20T18:06:29Z nyef: Can't boot a 65816 from USB.
2014-12-20T18:07:46Z flip214: then you'll need one latch, to reuse address pin ports.
2014-12-20T18:08:30Z Bicyclidine quit (Quit: out)
2014-12-20T18:08:46Z nyef: Or to stick with my current plan of serial comms to an arduino mega 2560.
2014-12-20T18:09:04Z flip214: well, whatever you like best ....
2014-12-20T18:09:35Z flip214: I'll go the RPi route, because I can simply put SBCL + Swank on it and program it from any other machine via LAN, WLAN, etc.
2014-12-20T18:09:57Z nyef: The advantage of using serial comms is that I end up with a serial protocol that I can then use with the '816 system to re-burn the ROM or if it has an extra ROM socket to burn a secondary ROM.
2014-12-20T19:32:15Z nyef quit (Quit: G'night all)
2014-12-20T19:34:32Z joshe joined #sbcl
2014-12-20T19:55:26Z angavrilov quit (Remote host closed the connection)
2014-12-20T20:17:51Z fitzsim` is now known as fitzsim
2014-12-20T20:44:11Z nikki93 joined #sbcl
2014-12-20T21:01:06Z nikki93_ joined #sbcl
2014-12-20T21:01:20Z nikki93 quit (Read error: Connection reset by peer)
2014-12-20T21:04:13Z nikki93_ quit (Remote host closed the connection)
2014-12-20T21:04:47Z nikki93 joined #sbcl
2014-12-20T21:06:56Z nikki93_ joined #sbcl
2014-12-20T21:06:57Z nikki93 quit (Read error: No route to host)
2014-12-20T21:17:30Z nikki93_ quit (Remote host closed the connection)
2014-12-20T22:20:30Z nikki93 joined #sbcl
2014-12-20T22:22:05Z nikki93 quit (Read error: Connection reset by peer)
2014-12-20T22:22:51Z nikki93 joined #sbcl
2014-12-20T22:23:36Z nikki93 quit (Read error: Connection reset by peer)
2014-12-20T22:23:57Z nikki93 joined #sbcl
2014-12-20T22:39:07Z DeadTrickster joined #sbcl
2014-12-20T23:02:48Z oleo is now known as Guest30153
2014-12-20T23:03:44Z oleo__ joined #sbcl
2014-12-20T23:06:07Z Guest30153 quit (Ping timeout: 252 seconds)
2014-12-20T23:20:34Z nikki93 quit (Read error: Connection reset by peer)
2014-12-20T23:39:23Z nikki93 joined #sbcl
2014-12-21T00:44:29Z attila_lendvai joined #sbcl
2014-12-21T00:44:29Z attila_lendvai quit (Changing host)
2014-12-21T00:44:29Z attila_lendvai joined #sbcl
2014-12-21T00:47:20Z nikki93_ joined #sbcl
2014-12-21T00:48:04Z nikki93 quit (Read error: Connection reset by peer)
2014-12-21T00:54:49Z nikki93_ quit (Remote host closed the connection)
2014-12-21T01:17:46Z attila_lendvai quit (Quit: Leaving.)
2014-12-21T01:18:47Z oleo__ quit (Quit: Verlassend)
2014-12-21T01:24:46Z oleo joined #sbcl
2014-12-21T01:32:03Z Hydan quit (Quit: ZNC - http://znc.in)
2014-12-21T01:32:44Z Hydan joined #sbcl
2014-12-21T02:18:54Z ASau` joined #sbcl
2014-12-21T02:22:17Z ASau quit (Ping timeout: 240 seconds)
2014-12-22T05:10:43Z ccl-logbot joined #sbcl
2014-12-22T05:10:43Z 
2014-12-22T05:10:43Z names: ccl-logbot luis nikki93 oleo__ psy_ gingerale kanru` Bicyclidine christoph_debian echo-area loke karswell drichard` nyef ASau ams fikusz PuercoPop Hydan DeadTrickster joshe scymtym_ Intensity scymtym irsol psilord les specbot redline6561 njmurphy weissschloss fe[nl]ix flip214 fitzsim White_Flame rs0 _8hzp |3b| krzysz00 akkad drmeister ivan4th kanru minion jdz jasom alchemis7 nicdev brucem Posterdati sobel pkhuong qbit tmh_ reb jl_3 phf` jsnell Blkt
2014-12-22T05:10:43Z names: carvite mood snafuchs pchrist antoszka p_l Perlboy yauz ivan``
2014-12-22T05:11:04Z ivan`` quit (Ping timeout: 245 seconds)
2014-12-22T05:13:37Z ivan`` joined #sbcl
2014-12-22T05:26:01Z pranavrc joined #sbcl
2014-12-22T05:26:01Z pranavrc quit (Changing host)
2014-12-22T05:26:01Z pranavrc joined #sbcl
2014-12-22T05:31:48Z nyef quit (Quit: G'night all)
2014-12-22T05:59:14Z ASau quit (Remote host closed the connection)
2014-12-22T06:00:36Z scymtym_ quit (Ping timeout: 250 seconds)
2014-12-22T06:19:57Z ASau joined #sbcl
2014-12-22T07:00:47Z sdemarre joined #sbcl
2014-12-22T07:18:39Z oleo__ quit (Quit: Verlassend)
2014-12-22T07:22:58Z oleo joined #sbcl
2014-12-22T08:43:46Z milosn joined #sbcl
2014-12-22T08:54:49Z kanru` quit (Ping timeout: 245 seconds)
2014-12-22T09:00:04Z tmh_ quit (Read error: Connection reset by peer)
2014-12-22T09:00:32Z tmh_ joined #sbcl
2014-12-22T09:14:31Z ASau quit (Ping timeout: 255 seconds)
2014-12-22T09:40:26Z pppp2 joined #sbcl
2014-12-22T09:57:16Z Bicyclidine quit (Ping timeout: 255 seconds)
2014-12-22T10:01:29Z pppp2 quit (Read error: Connection reset by peer)
2014-12-22T10:09:36Z pppp2 joined #sbcl
2014-12-22T10:13:17Z Bicyclidine joined #sbcl
2014-12-22T10:25:57Z nikki93: where can I read about how sbcl figures out which methods to call on dispatch? like the actual implementation, not the results of what it does
2014-12-22T10:27:49Z |3b|: for background, you could look for papers on "Portable CommonLoops", which is the basis of SBCL's CLOS implementation
2014-12-22T10:30:05Z |3b|: for actual code, src/pcl/* in sbcl source
2014-12-22T10:30:59Z kanru` joined #sbcl
2014-12-22T10:31:32Z |3b| doesn't know specifically where the dispatch is, but presumably people who do know will wake up eventually :)
2014-12-22T10:36:52Z attila_lendvai joined #sbcl
2014-12-22T10:39:01Z nikki93_ joined #sbcl
2014-12-22T10:39:06Z nikki93 quit (Read error: Connection reset by peer)
2014-12-22T10:42:33Z echo-area quit (Remote host closed the connection)
2014-12-22T10:45:51Z pppp2 quit (Read error: Connection reset by peer)
2014-12-22T10:46:22Z nikki93_ quit (Read error: Connection reset by peer)
2014-12-22T10:46:23Z Bicyclidine quit (Ping timeout: 272 seconds)
2014-12-22T10:46:38Z nikki93 joined #sbcl
2014-12-22T11:06:52Z attila_lendvai quit (Quit: Leaving.)
2014-12-22T11:06:55Z nikki93 quit (Read error: Connection reset by peer)
2014-12-22T11:07:24Z nikki93 joined #sbcl
2014-12-22T11:16:30Z Bicyclidine joined #sbcl
2014-12-22T11:23:17Z weissschloss quit (Ping timeout: 240 seconds)
2014-12-22T11:25:25Z nikki93_ joined #sbcl
2014-12-22T11:25:56Z weissschloss joined #sbcl
2014-12-22T11:26:03Z nikki93 quit (Read error: Connection reset by peer)
2014-12-22T11:43:23Z ivan4th quit (Ping timeout: 272 seconds)
2014-12-22T11:44:02Z nikki93_ quit (Read error: Connection reset by peer)
2014-12-22T11:44:04Z nikki93 joined #sbcl
2014-12-22T11:46:22Z Bicyclidine quit (Ping timeout: 240 seconds)
2014-12-22T11:48:23Z ivan4th joined #sbcl
2014-12-22T11:57:45Z edgar-rft joined #sbcl
2014-12-22T12:16:38Z Bicyclidine joined #sbcl
2014-12-22T12:19:03Z nikki93 quit (Remote host closed the connection)
2014-12-22T12:23:36Z eudoxia joined #sbcl
2014-12-22T12:25:19Z kanru` quit (Ping timeout: 255 seconds)
2014-12-22T12:27:44Z nikki93 joined #sbcl
2014-12-22T12:30:06Z nyef joined #sbcl
2014-12-22T12:31:32Z angavrilov joined #sbcl
2014-12-22T12:38:15Z Hache_ joined #sbcl
2014-12-22T12:43:59Z nikki93 quit (Read error: Connection reset by peer)
2014-12-22T12:44:25Z nikki93 joined #sbcl
2014-12-22T12:55:42Z pranavrc quit
2014-12-22T13:01:55Z nikki93 quit (Read error: Connection reset by peer)
2014-12-22T13:02:13Z nikki93 joined #sbcl
2014-12-22T13:21:57Z milosn quit (Ping timeout: 244 seconds)
2014-12-22T13:29:56Z loke_ joined #sbcl
2014-12-22T13:31:40Z ferada joined #sbcl
2014-12-22T13:32:56Z nikki93 quit (Read error: Connection reset by peer)
2014-12-22T13:33:23Z nikki93 joined #sbcl
2014-12-22T13:42:20Z nikki93 quit (Remote host closed the connection)
2014-12-22T13:42:53Z nikki93 joined #sbcl
2014-12-22T13:46:27Z ferada quit (Quit: leaving)
2014-12-22T13:47:01Z pkhuong: nikki93: the system hasn't changed much since the Kiczales papers
2014-12-22T13:47:39Z pkhuong: we don't do LAP for the slow path, but the caching system is pretty much the same
2014-12-22T13:47:40Z nikki93 quit (Ping timeout: 256 seconds)
2014-12-22T14:01:09Z ferada joined #sbcl
2014-12-22T14:01:47Z Bicyclidine quit (Ping timeout: 252 seconds)
2014-12-22T14:32:08Z Bicyclidine joined #sbcl
2014-12-22T15:01:37Z Bicyclidine quit (Ping timeout: 240 seconds)
2014-12-22T15:05:08Z milosn joined #sbcl
2014-12-22T15:29:47Z eudoxia_ joined #sbcl
2014-12-22T15:32:16Z Bicyclidine joined #sbcl
2014-12-22T15:33:42Z eudoxia quit (Ping timeout: 244 seconds)
2014-12-22T15:33:53Z loke_ quit (Quit: Leaving)
2014-12-22T15:49:07Z eudoxia_ quit (Quit: Leaving)
2014-12-22T15:49:15Z eudoxia joined #sbcl
2014-12-22T16:00:28Z daviid joined #sbcl
2014-12-22T16:01:47Z Bicyclidine quit (Ping timeout: 272 seconds)
2014-12-22T16:14:08Z cmack joined #sbcl
2014-12-22T16:15:46Z attila_lendvai joined #sbcl
2014-12-22T16:18:09Z ASau joined #sbcl
2014-12-22T16:23:43Z gingerale- joined #sbcl
2014-12-22T16:24:43Z gingerale quit (Ping timeout: 255 seconds)
2014-12-22T16:24:43Z gingerale- is now known as gingerale
2014-12-22T16:31:28Z Bicyclidine joined #sbcl
2014-12-22T16:34:54Z gingerale- joined #sbcl
2014-12-22T16:36:45Z gingerale quit (Disconnected by services)
2014-12-22T16:36:45Z gingerale- is now known as gingerale
2014-12-22T16:38:58Z eudoxia quit (Quit: Leaving)
2014-12-22T17:01:24Z Bicyclidine quit (Ping timeout: 265 seconds)
2014-12-22T17:11:58Z attila_lendvai quit (Quit: Leaving.)
2014-12-22T17:16:06Z milosn quit (Ping timeout: 264 seconds)
2014-12-22T17:31:36Z Bicyclidine joined #sbcl
2014-12-22T17:41:06Z oleo quit (Ping timeout: 244 seconds)
2014-12-22T17:41:14Z oleo joined #sbcl
2014-12-22T18:01:39Z Hache_ quit (Remote host closed the connection)
2014-12-22T18:44:45Z milosn joined #sbcl
2014-12-29T08:04:09Z ccl-logbot joined #sbcl
2014-12-29T08:04:09Z 
2014-12-29T08:04:09Z names: ccl-logbot psy Posterdati KingCons_ pranavrc scymtym krzysz00 christoph_debian echo-area pacon karswell milosn oleo stassats edgar-rft loke_ angavrilov DeadTrickster ams undata akkad antoszka flip214_ jsnell_ _8hzp loke luis irsol Intensity jackdaniel brucem sobel pkhuong kanru snafuchs nicdev |3b| White_Flame fitzsim njmurphy PuercoPop 1JTABHVVP jdz ferada ivan4th weissschloss tmh_ ivan`` fikusz Hydan joshe yauz Perlboy p_l pchrist mood carvite Blkt phf`
2014-12-29T08:04:09Z names: jl_3 qbit alchemis7 jasom minion drmeister fe[nl]ix les psilord
2014-12-29T08:04:24Z rs0 joined #sbcl
2014-12-29T08:09:31Z Bicyclidine joined #sbcl
2014-12-29T08:47:03Z nikki93 joined #sbcl
2014-12-29T08:48:39Z nikki93 quit (Remote host closed the connection)
2014-12-29T08:50:27Z pacon2 joined #sbcl
2014-12-29T08:53:34Z pacon quit (Ping timeout: 245 seconds)
2014-12-29T09:23:08Z angavrilov quit (Remote host closed the connection)
2014-12-29T09:57:17Z attila_lendvai joined #sbcl
2014-12-29T09:57:17Z attila_lendvai quit (Changing host)
2014-12-29T09:57:17Z attila_lendvai joined #sbcl
2014-12-29T10:06:30Z angavrilov joined #sbcl
2014-12-29T10:15:24Z psy quit (Ping timeout: 244 seconds)
2014-12-29T10:25:55Z echo-area quit (Remote host closed the connection)
2014-12-29T10:26:03Z pacon2 quit (Read error: Connection reset by peer)
2014-12-29T10:43:30Z Bicyclidine quit (Ping timeout: 244 seconds)
2014-12-29T10:45:58Z attila_lendvai quit (Quit: Leaving.)
2014-12-29T10:47:15Z attila_lendvai joined #sbcl
2014-12-29T10:47:15Z attila_lendvai quit (Changing host)
2014-12-29T10:47:15Z attila_lendvai joined #sbcl
2014-12-29T10:48:20Z attila_lendvai quit (Client Quit)
2014-12-29T10:53:23Z milosn quit (Remote host closed the connection)
2014-12-29T11:01:23Z milosn joined #sbcl
2014-12-29T11:08:12Z psy joined #sbcl
2014-12-29T11:10:05Z Bicyclidine joined #sbcl
2014-12-29T11:24:49Z attila_lendvai joined #sbcl
2014-12-29T11:34:33Z stassats: found a bug ~d
2014-12-29T11:34:44Z stassats: (let ((*print-readably* t)) (format t "~d" #'list)) should not stop
2014-12-29T11:42:24Z stassats: and in ~$
2014-12-29T11:47:44Z stassats: and another one: (let ((*print-base* 3)) (format t "~g" '(1 2 3 4 5 6))) => (1 2 10 11 12 20)
2014-12-29T11:47:51Z stassats: while it should have used ~d,
2014-12-29T11:55:22Z psy quit (Ping timeout: 265 seconds)
2014-12-29T12:04:55Z attila_lendvai quit (Quit: Leaving.)
2014-12-29T12:28:15Z oleo is now known as Guest65327
2014-12-29T12:29:09Z oleo__ joined #sbcl
2014-12-29T12:31:32Z Guest65327 quit (Ping timeout: 245 seconds)
2014-12-29T13:00:36Z eudoxia joined #sbcl
2014-12-29T13:13:09Z loke_ quit (Remote host closed the connection)
2014-12-29T13:14:05Z Bicyclidine quit (Ping timeout: 272 seconds)
2014-12-29T13:20:25Z pranavrc quit
2014-12-29T13:40:11Z Bicyclidine joined #sbcl
2014-12-29T14:08:49Z stassats quit (Ping timeout: 255 seconds)
2014-12-29T14:14:58Z KingCons_ is now known as redline6561
2014-12-29T14:28:09Z edgar-rft quit (Quit: session disconnected by supernova meltdown)
2014-12-29T15:30:30Z psy joined #sbcl
2014-12-29T15:56:45Z daviid joined #sbcl
2014-12-29T15:58:29Z eudoxia_ joined #sbcl
2014-12-29T15:58:29Z eudoxia quit (Read error: Connection reset by peer)
2014-12-29T15:58:53Z eudoxia_ quit (Client Quit)
2014-12-29T16:01:41Z eudoxia joined #sbcl
2014-12-29T16:11:46Z redline6561 quit (Quit: ZNC - http://znc.in)
2014-12-29T16:24:09Z redline6561 joined #sbcl
2014-12-29T17:01:01Z nikki93 joined #sbcl
2014-12-29T17:08:53Z oleo__ is now known as oleo
2014-12-29T17:13:54Z Bicyclidine quit (Ping timeout: 244 seconds)
2014-12-29T17:21:05Z Bicyclidine joined #sbcl
2014-12-29T17:26:33Z stassats joined #sbcl
2014-12-29T17:32:37Z eudoxia quit (Quit: Leaving)
2014-12-29T18:05:39Z nikki93__ joined #sbcl
2014-12-29T18:07:22Z nikki93 quit (Ping timeout: 245 seconds)
2014-12-29T18:15:39Z eudoxia joined #sbcl
2014-12-29T18:22:47Z stassats` joined #sbcl
2014-12-29T18:27:13Z stassats quit (*.net *.split)
2014-12-29T19:00:21Z nikki93__ quit (Remote host closed the connection)
2014-12-29T19:03:52Z nikki93 joined #sbcl
2014-12-29T19:09:25Z nikki93 quit (Remote host closed the connection)
2014-12-29T19:09:57Z nikki93 joined #sbcl
2014-12-29T19:14:37Z nikki93 quit (Read error: No route to host)
2014-12-29T19:14:57Z nikki93 joined #sbcl
2014-12-29T19:20:22Z stassats` quit (Ping timeout: 240 seconds)
2014-12-29T19:20:42Z edgar-rft joined #sbcl
2014-12-29T19:22:23Z Bicyclidine quit (Ping timeout: 258 seconds)
2014-12-29T19:23:09Z nikki93 quit (Remote host closed the connection)
2014-12-29T19:23:42Z nikki93 joined #sbcl
2014-12-29T19:28:21Z nikki93 quit (Ping timeout: 256 seconds)
2014-12-29T19:47:10Z daviid quit (Ping timeout: 250 seconds)
2014-12-29T19:49:07Z Bicyclidine joined #sbcl
2014-12-29T19:58:16Z stassats` joined #sbcl
2014-12-29T20:00:32Z nikki93 joined #sbcl
2014-12-29T20:07:14Z nikki93 quit (Remote host closed the connection)
2014-12-29T20:07:51Z nikki93 joined #sbcl
2014-12-29T20:22:23Z Bicyclidine quit (Ping timeout: 265 seconds)
2014-12-29T21:24:09Z Bicyclidine joined #sbcl
2014-12-29T21:25:16Z gabriel_laddel joined #sbcl
2014-12-29T21:25:23Z gabriel_laddel quit (Changing host)
2014-12-29T21:25:23Z gabriel_laddel joined #sbcl
2014-12-29T21:26:35Z gabriel_laddel quit (Remote host closed the connection)
2014-12-29T21:26:52Z gabriel_laddel joined #sbcl
2014-12-29T21:27:13Z gabriel_laddel quit (Changing host)
2014-12-29T21:27:13Z gabriel_laddel joined #sbcl
2014-12-29T21:46:27Z nyef joined #sbcl
2014-12-29T22:05:12Z attila_lendvai joined #sbcl
2014-12-29T22:08:31Z angavrilov quit (Remote host closed the connection)
2014-12-29T22:23:04Z stassats` quit (Ping timeout: 244 seconds)
2014-12-29T22:31:00Z nikki93_ joined #sbcl
2014-12-29T22:32:31Z nikki93 quit (Ping timeout: 256 seconds)
2014-12-29T22:36:51Z eudoxia quit (Quit: Leaving)
2014-12-29T22:43:11Z nikki93_ quit (Remote host closed the connection)
2014-12-29T22:43:46Z nikki93 joined #sbcl
2014-12-29T22:46:49Z stassats` joined #sbcl
2014-12-29T22:48:12Z nikki93 quit (Ping timeout: 245 seconds)
2014-12-29T23:01:56Z stassats` quit (Quit: ERC Version 5.3 (IRC client for Emacs))
2014-12-29T23:24:55Z Bicyclidine quit (Quit: Reconnecting)
2014-12-29T23:25:02Z Bicyclidine joined #sbcl
2014-12-29T23:25:16Z drichards joined #sbcl
2014-12-29T23:35:58Z attila_lendvai quit (Quit: Leaving.)
2014-12-29T23:53:39Z attila_lendvai joined #sbcl
2014-12-30T00:06:47Z rs0 left #sbcl
2014-12-30T00:14:04Z attila_lendvai quit (Quit: Leaving.)
2014-12-30T00:18:36Z oleo quit (Ping timeout: 244 seconds)
2014-12-30T00:43:39Z oleo joined #sbcl
2014-12-30T00:57:02Z jdz quit (Ping timeout: 258 seconds)
2014-12-30T01:01:37Z jdz joined #sbcl
2014-12-30T01:31:03Z oleo quit (Read error: Connection reset by peer)
2014-12-30T01:39:37Z drichards: aha!  I have been trying to debug a simple issue on sbcl.  After giving up, I ran the same code on LispWorks and it works.  I feel less stupid, but it means I do need to track the issue down.
2014-12-30T01:39:50Z oleo joined #sbcl
2014-12-30T01:49:27Z nikki93 joined #sbcl
2014-12-30T01:50:54Z akkad: drichards: why I like using lw and ccl to ensure my code is the problem or not
2014-12-30T01:51:35Z nyef: There's also the possibility that SBCL is the implementation in the right when it disagrees with other implementations.
2014-12-30T01:53:58Z nikki93 quit (Ping timeout: 255 seconds)
2014-12-30T02:11:58Z echo-area joined #sbcl
2014-12-30T03:04:37Z scymtym quit (Ping timeout: 255 seconds)
2014-12-30T03:15:38Z oleo quit (Ping timeout: 265 seconds)
2014-12-30T03:20:24Z PuercoPop quit (Ping timeout: 258 seconds)
2014-12-30T03:21:07Z drichards: yeah
2014-12-30T03:21:56Z |3b| quit (Ping timeout: 258 seconds)
2014-12-30T03:23:40Z PuercoPop joined #sbcl
2014-12-30T03:23:54Z drichards: lw and ecl agree, I will report the bug and maybe I am missing something or maybe it's real
2014-12-30T03:25:54Z echo-are` joined #sbcl
2014-12-30T03:29:27Z echo-area quit (Ping timeout: 244 seconds)
2014-12-30T03:29:59Z |3b| joined #sbcl
2014-12-30T03:38:34Z christoph_debian quit (Ping timeout: 245 seconds)
2014-12-30T03:52:09Z christoph_debian joined #sbcl
2014-12-30T04:02:18Z oleo joined #sbcl
2014-12-30T05:13:14Z daviid joined #sbcl
2014-12-30T05:15:39Z psy quit (Ping timeout: 245 seconds)
2014-12-30T05:21:59Z psy joined #sbcl
2014-12-30T05:39:08Z psy quit (Ping timeout: 244 seconds)
2014-12-30T05:40:59Z pranavrc joined #sbcl
2014-12-30T05:40:59Z pranavrc quit (Changing host)
2014-12-30T05:40:59Z pranavrc joined #sbcl
2014-12-30T05:41:35Z psy joined #sbcl
2014-12-30T05:47:52Z nyef quit (Quit: G'night all.)
2014-12-30T06:30:54Z daviid quit (Ping timeout: 265 seconds)
2014-12-30T06:55:33Z scymtym joined #sbcl
2014-12-30T07:04:54Z pranavrc_ joined #sbcl
2014-12-30T07:08:29Z pranavrc quit (Ping timeout: 264 seconds)
2014-12-30T07:11:40Z loke: drichards: Do you have a test case?
2014-12-30T07:15:10Z stassats joined #sbcl
2014-12-30T07:15:57Z loke: hell stassats
2014-12-30T07:16:00Z loke: hello even
2014-12-30T07:16:09Z stassats: damn loke
2014-12-30T07:18:34Z flip214_: is that the local speak for "good morning" around here? ;P
2014-12-30T07:20:39Z loke: flip: prettyu much
2014-12-30T07:36:53Z specbot joined #sbcl
2014-12-30T07:54:17Z echo-are` quit (Remote host closed the connection)
2014-12-30T08:35:15Z milosn quit (Remote host closed the connection)
2014-12-30T08:37:38Z milosn joined #sbcl
2014-12-30T09:09:21Z nikki93 joined #sbcl
2014-12-30T10:22:39Z angavrilov joined #sbcl
2014-12-30T11:08:15Z Bicyclidine quit (Ping timeout: 272 seconds)
2014-12-30T11:33:27Z pacon joined #sbcl
2014-12-30T11:34:37Z Bicyclidine joined #sbcl
2014-12-30T11:39:49Z krzysz00_ joined #sbcl
2014-12-30T11:42:34Z krzysz00 quit (Ping timeout: 255 seconds)
2014-12-30T11:51:54Z nikki93 quit (Read error: Connection reset by peer)
2014-12-30T11:52:14Z nikki93 joined #sbcl
2014-12-30T11:59:00Z pacon quit (Read error: Connection reset by peer)
2014-12-30T12:06:31Z attila_lendvai joined #sbcl
2014-12-30T12:13:55Z nikki93 quit (Read error: Connection reset by peer)
2014-12-30T12:14:17Z nikki93 joined #sbcl
2014-12-30T12:26:28Z nikki93_ joined #sbcl
2014-12-30T12:28:59Z attila_lendvai quit (Quit: Leaving.)
2014-12-30T12:29:22Z nikki93 quit (Ping timeout: 240 seconds)
2014-12-30T12:32:17Z oleo__ joined #sbcl
2014-12-30T12:33:41Z oleo is now known as Guest3962
2014-12-30T12:34:24Z Guest3962 quit (Ping timeout: 245 seconds)
2014-12-30T12:34:49Z eudoxia joined #sbcl
2014-12-30T12:37:29Z oleo__ quit (Quit: Verlassend)
2014-12-30T12:43:39Z oleo__ joined #sbcl
2014-12-30T12:48:55Z nikki93 joined #sbcl
2014-12-30T12:50:20Z nikki93 quit (Read error: Connection reset by peer)
2014-12-30T12:50:40Z nikki93 joined #sbcl
2014-12-30T12:51:35Z nikki93_ quit (Ping timeout: 244 seconds)
2014-12-30T12:52:50Z nikki93_ joined #sbcl
2014-12-30T12:53:06Z nikki93 quit (Read error: Connection reset by peer)
2014-12-30T12:55:26Z nikki93_ quit (Read error: Connection reset by peer)
2014-12-30T12:55:40Z nikki93 joined #sbcl
2014-12-30T13:03:01Z pranavrc_ quit
2014-12-30T13:09:40Z ccl-logbot joined #sbcl
2014-12-30T13:09:40Z 
2014-12-30T13:09:41Z names: ccl-logbot nikki93 oleo__ eudoxia krzysz00_ Bicyclidine angavrilov milosn specbot stassats scymtym psy christoph_debian |3b| PuercoPop jdz drichards gabriel_laddel edgar-rft redline6561 Posterdati karswell DeadTrickster ams undata akkad antoszka flip214_ jsnell_ _8hzp loke luis irsol Intensity jackdaniel brucem sobel pkhuong kanru snafuchs nicdev White_Flame fitzsim njmurphy 1JTABHVVP ferada ivan4th weissschloss tmh_ ivan`` fikusz Hydan joshe psilord les
2014-12-30T13:09:41Z names: fe[nl]ix drmeister minion yauz Perlboy p_l pchrist mood carvite Blkt phf` jl_3 qbit alchemis7 jasom
2014-12-30T13:11:54Z scymtym quit (Ping timeout: 245 seconds)
2014-12-30T13:13:41Z oleo__ is now known as oleo
2014-12-30T13:47:06Z gabriel_laddel quit (Remote host closed the connection)
2014-12-30T13:51:00Z nikki93 quit (Ping timeout: 244 seconds)
2014-12-30T13:51:48Z nikki93 joined #sbcl
2014-12-30T14:07:28Z Bicyclidine quit (Ping timeout: 255 seconds)
2014-12-30T14:15:11Z drichard` joined #sbcl
2014-12-30T14:16:07Z drichards quit (Remote host closed the connection)
2014-12-30T14:34:10Z Bicyclidine joined #sbcl
2014-12-30T15:11:58Z jl_3 quit (Ping timeout: 250 seconds)
2014-12-30T15:22:45Z christoph_debian quit (Quit: WeeChat 0.3.8)
2014-12-30T15:37:26Z Bicyclidine quit (Ping timeout: 244 seconds)
2014-12-30T15:40:04Z stassats: pkhuong: maybe you know an algorithm for exact bounds derivation of LOGCOUNT?
2014-12-30T15:40:40Z stassats: integer-length is conservative
2014-12-30T15:43:38Z daviid joined #sbcl
2014-12-30T16:02:24Z eudoxia quit (Read error: Connection reset by peer)
2014-12-30T16:02:49Z eudoxia joined #sbcl
2014-12-30T16:09:15Z Bicyclidine joined #sbcl
2014-12-30T16:39:46Z nikki93 quit (Remote host closed the connection)
2014-12-30T16:46:07Z nikki93 joined #sbcl
2014-12-30T16:57:52Z nikki93 quit (Read error: Connection reset by peer)
2014-12-30T16:57:53Z nikki93_ joined #sbcl
2014-12-30T17:04:49Z eudoxia quit (Quit: Leaving)
2014-12-30T17:28:00Z psy quit (Remote host closed the connection)
2014-12-30T17:30:55Z nikki93_ quit (Read error: Connection reset by peer)
2014-12-30T17:31:18Z nikki93 joined #sbcl
2014-12-30T18:08:36Z nikki93 quit (Read error: Connection reset by peer)
2014-12-30T18:08:41Z nikki93_ joined #sbcl
2014-12-30T18:14:20Z nikki93_ quit (Read error: Connection reset by peer)
2014-12-30T18:14:40Z nikki93 joined #sbcl
2014-12-30T18:18:49Z nikki93 quit (Read error: Connection reset by peer)
2014-12-30T18:19:07Z nikki93 joined #sbcl
2014-12-30T18:51:17Z nyef joined #sbcl
2014-12-30T19:06:09Z ASau joined #sbcl
2014-12-30T19:17:01Z Bicyclidine quit (Ping timeout: 240 seconds)
2014-12-30T19:17:08Z Bicyclidine joined #sbcl
2014-12-30T19:39:26Z scymtym joined #sbcl
2014-12-30T19:48:20Z nikki93 quit (Read error: Connection reset by peer)
2014-12-30T19:48:48Z nikki93 joined #sbcl
2014-12-30T19:58:23Z pkhuong: stassats: nothing comes to mind re logcount. Warren might haave something; otherwise it's not too hard to come up with random hacks that work OK when the lower and upper bounds aren't too far apart
2014-12-30T20:02:11Z nikki93 quit (Read error: Connection reset by peer)
2014-12-30T20:02:22Z nikki93 joined #sbcl
2014-12-30T20:03:27Z nyef: ... What's this about logcount?
2014-12-30T20:03:42Z stassats: bounds calculation
2014-12-30T20:04:39Z nyef: You're not going to have fewer than zero bits set, you're not going to have more bits set than the integer-length of the upper bound...
2014-12-30T20:04:54Z stassats: that i already have
2014-12-30T20:05:06Z stassats: i want exact bounds
2014-12-30T20:05:24Z nyef: Hrm.
2014-12-30T20:06:50Z nyef: Your bounds are set by the highest power-of-two boundary crossed by your input range.
2014-12-30T20:07:22Z stassats: do you have a proof?
2014-12-30T20:07:49Z nyef: Hrm. Maybe not crossed, maybe "touched".
2014-12-30T20:07:55Z stassats: and what about the lowest bound?
2014-12-30T20:08:28Z nyef: Lowest bound has to use similar logic.
2014-12-30T20:09:04Z nyef: With a range of, say, #b0000 - #b1111, your upper bound is four.
2014-12-30T20:09:31Z nyef: With a range of #b0000 - #b1110, your upper bound is three.
2014-12-30T20:09:46Z nyef: These are the obvious cases.
2014-12-30T20:10:28Z nyef: With a range of #b10100 - #b11010, the most bits set will be for #b10111, won't it?
2014-12-30T20:11:50Z nyef: You have a common bit-prefix, and then the bottom-side of a power-of-two boundary.
2014-12-30T20:12:15Z nyef: There's some off-by-one noise in there, but the basic idea looks to be sound.
2014-12-30T20:12:22Z stassats: what about #b0 - #b101111?
2014-12-30T20:12:29Z nyef: And the same applies on the topside of a power-of-two boundary for the lower bound.
2014-12-30T20:12:52Z stassats: or #b1010101
2014-12-30T20:13:09Z nyef: Okay, #b1010101 ?
2014-12-30T20:13:20Z nyef: As an upper bound from 0?
2014-12-30T20:13:25Z stassats: yes
2014-12-30T20:13:53Z nyef: You're never going to have more bits set than #b0111111.
2014-12-30T20:14:27Z nyef: It's the bottom side of the highest power-of-two boundary that is not greater than your upper limit.
2014-12-30T20:15:33Z nyef: The bottom side of the power-of-two boundary is so-many-bits-set, all at the low end of the number.
2014-12-30T20:15:43Z nyef: You can't have more than that before the next higher boundary.
2014-12-30T20:17:17Z nyef: If your input range has a lower bound, then you check for a common prefix and account for it separately when you look for your power-of-two boundary.
2014-12-30T20:18:17Z nyef: Similar logic applies for the lower boundary. Unless you include zero, your boundary will be one bit for the power-of-two, plus the common prefix.
2014-12-30T20:18:29Z nyef: For zero, it's just the common prefix.
2014-12-30T20:19:36Z nyef: I'm not sure how this works out with negative numbers, and you might want to work out some test cases because the off-by-one errors will likely be easy to trip over otherwise.
2014-12-30T20:20:13Z nyef: Does that work for you?
2014-12-30T20:22:06Z stassats: i had some similar ideas some hours ago, when i was more awake
2014-12-30T20:22:16Z stassats: now i have no idea whether anything works
2014-12-30T20:23:46Z nyef: Hence write it down, hence test cases...
2014-12-30T20:24:29Z nyef: ... hence using ACL2 to prove that it's correct.
2014-12-30T20:25:44Z nyef: Hrm. There's a thought. Should it be possible to use ACL2 to at least prove that type derivation logic in the compiler is correct?
2014-12-30T20:35:59Z ASau quit (Quit: ERC Version 5.3 (IRC client for Emacs))
2014-12-30T20:40:02Z Krystof joined #sbcl
2014-12-30T20:40:03Z ChanServ has set mode +o Krystof
2014-12-30T21:10:33Z snuglas joined #sbcl
2014-12-30T21:12:19Z snuglas: is the way to get from a VOP to its IR2 component like this?  (component-info (sb-c::block-component (ir2-block-block (vop-block myvop))))
2014-12-30T21:13:21Z nyef: ... It seems odd to need to jump from a VOP all the way to a component, but that looks workable.
2014-12-30T21:13:36Z nyef: ... Also seems like there might be an easier way.
2014-12-30T21:15:37Z nyef: That's not going to work.
2014-12-30T21:16:02Z nyef: Err. No, scratch that, mixed up targets.
2014-12-30T21:17:36Z nyef: ... It's worth a try, I guess?
2014-12-30T21:18:18Z nyef: Why do you want to go from VOP to IR2-component, anyway?
2014-12-30T21:18:40Z snuglas: ha ha ha. new feature. I'll send email about it as soon as it works.
2014-12-30T21:19:02Z psilord quit (Quit: Leaving.)
2014-12-30T21:23:09Z stassats quit (Quit: ERC Version 5.3 (IRC client for Emacs))
2014-12-30T21:29:36Z rpg joined #sbcl
2014-12-30T21:38:22Z Krystof: hm
2014-12-30T21:38:24Z Krystof: mmap: wanted 536870912 bytes at 0x4f000000, actually mapped at 0x46ccc000
2014-12-30T21:38:41Z Krystof: (and yet sbcl-1.2.1 starts up fine)
2014-12-30T21:39:13Z eudoxia joined #sbcl
2014-12-30T21:40:44Z Krystof: hm, could this be some kind of address space randomization?
2014-12-30T21:46:50Z Krystof: (no, probably not: shrinking the --dynamic-space-size to 400 makes it go)
2014-12-30T21:47:46Z nyef: Collision at the upper bound causing the kernel to decide to honor size more than starting address?
2014-12-30T21:48:21Z Krystof: except that sbcl-1.2.1 doesn't have this problem
2014-12-30T21:50:07Z Krystof: weirdly it is
2014-12-30T21:50:08Z Krystof: /usr/lib/locale/locale-archive
2014-12-30T21:50:17Z Krystof: that is in a different place in the two processes
2014-12-30T21:53:02Z Krystof: this was meant to be a triumphant announcement of an arm self-build in a reasonable amount of time (sub 1h)
2014-12-30T21:53:16Z Krystof: because I have finally glued together enough bits of a wandboard to make sense
2014-12-30T21:53:20Z Krystof: but nothing is ever simple
2014-12-30T22:18:44Z rpg_ joined #sbcl
2014-12-30T22:18:53Z rpg_ quit (Client Quit)
2014-12-30T22:23:29Z rpg quit (Ping timeout: 264 seconds)
2014-12-30T22:50:27Z angavrilov quit (Remote host closed the connection)
2014-12-30T23:27:01Z rpg joined #sbcl
2014-12-30T23:37:00Z csziacobus joined #sbcl
2014-12-30T23:44:14Z rpg quit (Quit: rpg)
2014-12-30T23:57:22Z csziacobus quit (Quit: csziacobus)
2014-12-31T00:14:39Z krzysz00_ quit (Quit: leaving)
2014-12-31T00:15:04Z krzysz00 joined #sbcl
2014-12-31T00:22:30Z attila_lendvai joined #sbcl
2014-12-31T00:38:28Z attila_lendvai quit (Quit: Leaving.)
2014-12-31T00:49:18Z oleo quit (Read error: Connection reset by peer)
2014-12-31T00:51:04Z oleo joined #sbcl
2014-12-31T01:04:34Z rpg joined #sbcl
2014-12-31T01:14:11Z rpg quit (Quit: rpg)
2014-12-31T01:21:41Z rpg joined #sbcl
2014-12-31T01:26:37Z snuglas quit (Ping timeout: 246 seconds)
2014-12-31T02:10:56Z echo-area joined #sbcl
2014-12-31T02:30:10Z Bicyclidine quit (Read error: No route to host)
2014-12-31T02:30:19Z Bicyclidine joined #sbcl
2014-12-31T03:03:13Z eudoxia quit (Quit: Leaving)
2014-12-31T03:53:30Z rpg quit (Quit: rpg)
2014-12-31T04:41:29Z nikki93 quit (Remote host closed the connection)
2014-12-31T05:15:21Z nikki93 joined #sbcl
2014-12-31T05:18:06Z pacon joined #sbcl
2014-12-31T05:19:22Z nikki93 quit (Ping timeout: 240 seconds)
2014-12-31T05:38:01Z pranavrc joined #sbcl
2014-12-31T05:40:24Z nyef quit (Quit: G'night all.)
2014-12-31T06:22:11Z psy joined #sbcl
2014-12-31T07:14:00Z stassats joined #sbcl
2014-12-31T07:26:37Z daviid quit (Ping timeout: 240 seconds)
2014-12-31T07:45:31Z nikki93 joined #sbcl
2014-12-31T07:51:32Z nikki93 quit (Ping timeout: 245 seconds)
2014-12-31T08:15:54Z attila_lendvai joined #sbcl
2014-12-31T08:20:38Z attila_lendvai quit (Client Quit)
2014-12-31T08:48:03Z nikki93 joined #sbcl
2014-12-31T08:52:19Z nikki93 quit (Ping timeout: 244 seconds)
2014-12-31T09:16:52Z _8hzp quit (Ping timeout: 240 seconds)
2014-12-31T09:22:21Z Krystof: *sigh* of course it's toolchain-related.  (the same build on my pi works fine on my wandboard)
2014-12-31T09:25:16Z psy quit (Ping timeout: 250 seconds)
2014-12-31T09:26:10Z pacon quit (Read error: Connection reset by peer)
2014-12-31T09:27:09Z pacon joined #sbcl
2014-12-31T09:29:03Z psy joined #sbcl
2014-12-31T09:48:51Z nikki93 joined #sbcl
2014-12-31T09:53:12Z nikki93 quit (Ping timeout: 245 seconds)
2014-12-31T09:54:47Z hzp joined #sbcl
2014-12-31T09:55:52Z Bicyclidine quit (Ping timeout: 244 seconds)
2014-12-31T10:05:28Z flip214_: Krystof: "apt-get dist-upgrade" isn't enough?
2014-12-31T10:13:36Z stassats: Krystof: will you upload an armhf binary?
2014-12-31T10:17:30Z angavrilov joined #sbcl
2014-12-31T10:21:10Z Krystof: stassats: yes
2014-12-31T10:21:23Z Krystof: (gaah so many blinkenlights on so many arm boards.  So confused)
2014-12-31T10:21:30Z stassats: good, i was planning on putting up some more/new releases
2014-12-31T10:21:44Z Krystof: I've run out of ethernet ports :-(
2014-12-31T10:21:50Z stassats: so that people will be fooled by the download table that we care
2014-12-31T10:22:45Z Bicyclidine joined #sbcl
2014-12-31T10:23:38Z stassats: but i didn't retest things after the gc change
2014-12-31T10:55:15Z stassats: Krystof: when do you plan on tagging?
2014-12-31T10:55:41Z stassats: since i don't have a christmas tree, i will be decorating the platform table
2014-12-31T10:58:17Z Krystof: likely in about 12 hours my time
2014-12-31T10:58:26Z Krystof: um, 12 hours any time, I suppose
2014-12-31T10:58:42Z Krystof: timezones: causing confusion even when there's no need
2014-12-31T10:58:45Z stassats: well, i'm moving at 50% c
2014-12-31T10:59:02Z Krystof: I need to build HEAD on my pi to see if the gc change broke things
2014-12-31T10:59:16Z Krystof: then (in between outings to keep the children happy) I'll start the process
2014-12-31T10:59:30Z stassats: i fired up a ppc build
2014-12-31T10:59:37Z stassats: can do an armel and windows as well
2014-12-31T10:59:57Z stassats: solaris and bsds would be too much work
2014-12-31T11:03:07Z stassats: would be a good idea to automate all of this
2014-12-31T11:04:24Z stassats: that was a good idea
2014-12-31T11:04:25Z Krystof: oh, and wait, did I see scymtym say that clisp build was busted?
2014-12-31T11:04:28Z stassats: windows build broken
2014-12-31T11:04:32Z stassats: Krystof: i fixed that
2014-12-31T11:04:37Z Krystof: thanks
2014-12-31T11:04:46Z stassats: declare type, of course
2014-12-31T11:05:20Z stassats: plus some ~/sb_-_impl:/ badness
2014-12-31T11:05:32Z Krystof: ah yes
2014-12-31T11:05:40Z stassats: ok, i have 12 hours to fix the windows build
2014-12-31T11:08:55Z stassats: well, the build failed because of MAP_FAILED, but i'm afraid that the usage is wrong even on non-windows
2014-12-31T11:11:04Z stassats: so, it actually doesn't need to do anything
2014-12-31T11:11:15Z stassats: just do perror
2014-12-31T11:11:51Z stassats: even that is not needed
2014-12-31T11:12:48Z stassats: well, OSF1's and HPUX os_validate are bad
2014-12-31T11:17:53Z stassats: #ifdef __NetBSD__ } #endif
2014-12-31T11:17:55Z stassats: how lovely
2014-12-31T11:24:21Z milosn quit (Ping timeout: 258 seconds)
2014-12-31T11:25:43Z stassats: build success, cold-init fail
2014-12-31T11:33:08Z stassats: gc_init is called first, then validate
2014-12-31T11:33:10Z stassats: validate fails
2014-12-31T11:33:18Z stassats: gc_init now allocates something
2014-12-31T11:33:39Z stassats: i presume validate now can't allocate static space because it's already taken
2014-12-31T11:33:57Z milosn joined #sbcl
2014-12-31T11:38:47Z stassats: switching gc_init and validate works
2014-12-31T11:38:50Z stassats: but is it right?
2014-12-31T11:50:11Z nikki93 joined #sbcl
2014-12-31T11:53:28Z nikki93 quit (Read error: No route to host)
2014-12-31T11:53:41Z nikki93 joined #sbcl
2014-12-31T12:03:11Z echo-area quit (Remote host closed the connection)
2014-12-31T12:06:09Z psy quit (Remote host closed the connection)
2014-12-31T12:14:23Z eudoxia joined #sbcl
2014-12-31T12:30:15Z pkhuong: I can probably do fbsd 9
2014-12-31T12:30:34Z stassats: i have it
2014-12-31T12:30:37Z stassats: in virtualbox
2014-12-31T12:31:03Z stassats: now that the windows was broken and fixed, i will also test solaris, openbsd, freebsd, dragonflybsd and debian kfreebsd
2014-12-31T12:32:30Z pranavrc quit (Ping timeout: 264 seconds)
2014-12-31T12:36:37Z pranavrc joined #sbcl
2014-12-31T12:36:37Z pranavrc quit (Changing host)
2014-12-31T12:36:37Z pranavrc joined #sbcl
2014-12-31T12:37:48Z nikki93 quit (Remote host closed the connection)
2014-12-31T12:38:25Z nikki93 joined #sbcl
2014-12-31T12:39:09Z nikki93 quit (Read error: Connection reset by peer)
2014-12-31T12:39:21Z nikki93 joined #sbcl
2014-12-31T12:41:57Z karswell quit (Remote host closed the connection)
2014-12-31T12:42:09Z karswell joined #sbcl
2014-12-31T12:45:08Z pranavrc quit
2014-12-31T13:00:31Z oleo is now known as Guest66463
2014-12-31T13:01:26Z oleo__ joined #sbcl
2014-12-31T13:01:26Z eudoxia quit (Remote host closed the connection)
2014-12-31T13:03:25Z Guest66463 quit (Ping timeout: 244 seconds)
2014-12-31T13:14:42Z pkhuong: brilliant: clang omits frame pointers for leaf functions even under fno-omit.
2014-12-31T13:16:29Z stassats: upgrading openbsd is a pain
2014-12-31T13:16:53Z stassats: especially when you're three versions behind
2014-12-31T13:17:59Z stassats: installing anew isn't any less pain, need to remember how to use the package system and to install sudo/zsh/screen/git
2014-12-31T13:18:19Z stassats: and openbsd doesn't have multilib, so i'll need two hosts to build both x86oids
2014-12-31T13:19:12Z stassats: openbsd changed time_t, so how well will the sbcl work with that?
2014-12-31T13:29:06Z ams: you'd need to recompile.. other than that, sbcl works well on openbsd
2014-12-31T13:29:50Z stassats: no, i can't put binaries on sbcl.org
2014-12-31T13:32:41Z ams: ?
2014-12-31T13:32:52Z stassats: ¿
2014-12-31T13:32:55Z ams: just advertise it as for openbsd 5.6 or something ..
2014-12-31T13:40:38Z stassats: Krystof: it's "go" from me
2014-12-31T13:46:31Z attila_lendvai joined #sbcl
2014-12-31T13:46:31Z attila_lendvai quit (Changing host)
2014-12-31T13:46:31Z attila_lendvai joined #sbcl
2014-12-31T13:56:52Z Bicyclidine quit (Ping timeout: 265 seconds)
2014-12-31T13:57:13Z nyef joined #sbcl
2014-12-31T14:18:39Z attila_lendvai quit (Quit: Leaving.)
2014-12-31T14:23:17Z Bicyclidine joined #sbcl
2014-12-31T14:29:30Z pacon quit (Read error: No route to host)
2014-12-31T14:57:57Z pchrist quit (Quit: leaving)
2014-12-31T15:05:32Z attila_lendvai joined #sbcl
2014-12-31T15:23:22Z pchrist joined #sbcl
2014-12-31T15:32:44Z nikki93 quit (Ping timeout: 244 seconds)
2014-12-31T15:35:44Z rpg joined #sbcl
2014-12-31T15:36:24Z nikki93 joined #sbcl
2014-12-31T15:40:37Z nikki93 quit (Read error: Connection reset by peer)
2014-12-31T15:41:05Z nikki93 joined #sbcl
2014-12-31T15:58:36Z daviid joined #sbcl
2014-12-31T16:06:29Z nikki93 quit (Read error: Connection reset by peer)
2014-12-31T16:06:46Z drmeister quit (Ping timeout: 272 seconds)
2014-12-31T16:06:49Z nikki93 joined #sbcl