--- Log opened Sat Sep 10 00:00:22 2011 |
00:23 | <@McMartin> | Perl: Illegal in 17 states |
00:23 | <@Tamber> | Even 'Inebriation'? |
00:24 | | * McMartin sends in the Dalek bartenders. |
00:24 | <@McMartin> | INEBRIATE |
00:40 | | You're now known as TheWatcher[T-2] |
00:50 | | Derakon[AFK] is now known as Derakon |
00:52 | | You're now known as TheWatcher[zZzZ] |
00:54 | < gnolam> | REGURGITATE |
01:30 | | Attilla [Some.Dude@Nightstar-f29f718d.cable.virginmedia.com] has quit [Ping timeout: 121 seconds] |
02:23 | | Derakon is now known as Derakon[AFK] |
02:52 | | Kindamoody[zZz] is now known as Kindamoody |
02:56 | | gnolam [lenin@Nightstar-202a5047.priv.bahnhof.se] has quit [[NS] Quit: Z?] |
04:53 | | Vash [Vash@Nightstar-f03c5637.sd.cox.net] has joined #code |
05:02 | | Vash [Vash@Nightstar-f03c5637.sd.cox.net] has quit [Ping timeout: 121 seconds] |
05:03 | | Vash [Vash@Nightstar-f03c5637.sd.cox.net] has joined #code |
05:23 | | Omega [omegaboot@Nightstar-10752b3e.il.comcast.net] has joined #code |
05:23 | | Reivles [orthia@Nightstar-577d8499.lightwire.co.nz] has joined #code |
05:27 | | Alek [omegaboot@Nightstar-10752b3e.il.comcast.net] has quit [Ping timeout: 121 seconds] |
05:52 | | kwsn [kwsn@Nightstar-635d16fc.org] has quit [Ping timeout: 121 seconds] |
05:58 | | kwsn [kwsn@Nightstar-635d16fc.org] has joined #code |
06:34 | | Stalker [Z@2C3C9C.B2A300.F245DE.859909] has quit [[NS] Quit: If the world didn't suck, we'd all fall off.] |
06:46 | < Vornicus> | Derp. FOur color theorem solves all, of course. |
06:47 | < Vornicus> | ...wait, is this four-color theorem-able? |
06:47 | < Vornicus> | ...no, I don't think so... |
06:48 | | * cpux hypercubes. |
07:01 | < Vornicus> | Well, anyway, using a "only use one color you haven't seen yet at any juncture" trick I've shrunk my search space from 362,800 to 6,839. |
07:02 | | * Vornicus wonders how much more he can reduce it by using symmetries. |
07:06 | | * Vornicus ...tries to figure out how to manipulate the symmetries. |
07:22 | | Derakon[AFK] is now known as Derakon |
07:24 | | Stalker [Z@Nightstar-3602cf5a.cust.comxnet.dk] has joined #code |
07:27 | < Vornicus> | OKay, that seems to have worked, down to 2,341 now... |
07:29 | < Vornicus> | OKay, next, see what kind of connectivity each one has, and reduce by that. This will filter out situations in which it doesn't matter whether two things have the same color or not, because they're not connected at all. |
07:49 | | Rhamphoryncus [rhamph@Nightstar-14eb6405.abhsia.telus.net] has quit [Client exited] |
07:51 | < Vornicus> | 614. |
07:51 | < Vornicus> | It's getting there. |
08:15 | | Derakon is now known as Derakon[AFK] |
08:20 | < Vornicus> | Next up: I need to disambiguate; there's many situations here where I can remove doubled diagonals, and many more where I must disambiguate. |
08:30 | | Omega is now known as Alek |
08:31 | < Vornicus> | And then the question becomes: do I care about certain bits in the final connectivity graph? If not, I can safely remove them from consideration, and then the final chart gets smaller. |
08:36 | < Vornicus> | (5 colors was apparently sufficient) |
08:39 | < Vash> | you... you... |
08:40 | < Vash> | you MATHNERD |
08:40 | < Vornicus> | that's a me |
08:40 | | * Vash smoooooches |
08:41 | < Vornicus> | :D |
08:41 | < Vash> | <3 |
08:41 | | * Vash drags to bed. slep. |
08:41 | < Vornicus> | eekyaay |
08:42 | | Vash [Vash@Nightstar-f03c5637.sd.cox.net] has quit [[NS] Quit: BWAHAHAHAHHA! ] |
08:43 | | celticminstrel [celticminst@Nightstar-5d22ab1d.cable.rogers.com] has quit [[NS] Quit: KABOOM! It seems that I have exploded. Please wait while I reinstall the universe.] |
09:19 | | Attilla [Some.Dude@Nightstar-f29f718d.cable.virginmedia.com] has joined #code |
09:20 | < Vornicus> | wtf, missing one. |
09:24 | < Vornicus> | ah. Of course, I got my coloring iterator wrong. |
09:24 | < Vornicus> | Okay. New answer, 664 states. |
09:25 | < Vornicus> | (it would generate 011111111, but never 010000000) |
09:28 | < Vornicus> | 940 including all disambiguations. |
09:50 | | * Vornicus should probably sleep, but is fully awake and getting his hack on. |
10:26 | | You're now known as TheWatcher |
10:44 | | Kindamoody is now known as Kindamoody|afk |
11:18 | | gnolam [lenin@Nightstar-202a5047.priv.bahnhof.se] has joined #code |
11:22 | | Reivles [orthia@Nightstar-577d8499.lightwire.co.nz] has quit [Client closed the connection] |
11:24 | | Reivles [orthia@Nightstar-c50d37f0.lightwire.co.nz] has joined #code |
11:26 | | Kindamoody|afk is now known as Kindamoody |
11:27 | < gnolam> | http://mail.python.org/pipermail/python-ideas/2011-September/011448.html <- WTF, Guido? |
11:28 | < Reivles> | ??? |
11:33 | < Vornicus> | I'm gonna say that there is sarcasm there. |
11:34 | | Vornicus is now known as Vornicus-Latens |
11:40 | < gnolam> | I sincerely hope so. |
11:46 | | Kindamoody is now known as Kindamoody|out |
11:49 | | * TheWatcher eyes that, reads some followups |
11:50 | <@Tarinaky> | In python accessing elements beyond the end of the list usually creates more elements. |
11:50 | <@Tarinaky> | So what the hell would accessing one infront of the beginning of the list (ie 0) mean? |
11:50 | <@Tarinaky> | Or am I missing the point? |
11:51 | < TheWatcher> | Hah, someone linked him to Dijkstra? Like he's have any chance of understanding that >.> |
11:52 | < TheWatcher> | *he'd |
11:52 | | You're now known as TheWatcher[afk] |
13:36 | | SmithKurosaki [smith@Nightstar-e26015c4.home1.cgocable.net] has joined #code |
15:06 | | Reivles [orthia@Nightstar-c50d37f0.lightwire.co.nz] has quit [Ping timeout: 121 seconds] |
15:47 | | Rhamphoryncus [rhamph@Nightstar-14eb6405.abhsia.telus.net] has joined #code |
15:55 | | Stalker [Z@Nightstar-3602cf5a.cust.comxnet.dk] has quit [[NS] Quit: If the world didn't suck, we'd all fall off.] |
16:21 | < Simon_Shine> | I just hate when you generate an SSH key with the passphrase 'unicorn' and the randomart output looks more like a seahorse. |
16:26 | <@Tamber> | :D |
17:09 | | Derakon[AFK] is now known as Derakon |
17:42 | | Derakon is now known as Derakon[AFK] |
17:49 | | SmithKurosaki [smith@Nightstar-e26015c4.home1.cgocable.net] has quit [Ping timeout: 121 seconds] |
18:07 | < Kazriko> | http://mail.python.org/pipermail/python-ideas/2011-September/011462.html |
18:21 | | Kindamoody|out is now known as Kindamoody |
18:46 | < Rhamphoryncus> | Kazriko: I've avoided that thread but it's something I've thought about lots |
18:47 | < Rhamphoryncus> | EWD's reasons are bullshit |
18:47 | < Rhamphoryncus> | But there's two better ones: modulo and hardware representation |
18:51 | < Rhamphoryncus> | Which is funny because I'm pretty sure two's complement didn't have the dominant foothold it has to today back in '82 |
18:58 | | Attilla [Some.Dude@Nightstar-f29f718d.cable.virginmedia.com] has quit [Ping timeout: 121 seconds] |
19:12 | | Kindamoody is now known as Kindamoody[zZz] |
19:18 | | SmithKurosaki [smith@Nightstar-e26015c4.home1.cgocable.net] has joined #code |
19:18 | < Vornicus-Latens> | Tarinaky: actually, not true; in python ,accessing elements beyond the list gives you an indexerror. |
19:26 | <@Tarinaky> | I thought accessing one beyond the end appended. |
19:26 | <@Tarinaky> | Accesseing well beyond the end is an error though. |
19:27 | < Vornicus-Latens> | >>> a = [1,2,3]; a[3] = 4 #=> IndexError: list assignment index out of range |
19:30 | < Vornicus-Latens> | JS and Lua have sparse array support; JS I know assumes 0-indexing when you ask for the length of an array. |
19:31 | < Vornicus-Latens> | I haven't used lua lately so I don't know. |
19:35 | < Kazriko> | It's not hard to make a list indexed by 1 in python. Just instantiate your lists with [0] instead of []. You then just have to always say list[1:] whenever you want to iterate over it. |
19:50 | < Vornicus-Latens> | Anyway, back into the code mines for me. |
19:53 | | * Vornicus-Latens gets his code, um. hydraulic drill. |
19:53 | | Vornicus-Latens is now known as Vornicus |
21:36 | | SmithKurosaki [smith@Nightstar-e26015c4.home1.cgocable.net] has quit [[NS] Quit: Leaving] |
21:44 | | Vash [Vash@Nightstar-f03c5637.sd.cox.net] has joined #code |
21:49 | | Stalker [Z@2C3C9C.B2A300.F245DE.859909] has joined #code |
21:57 | <@McMartin> | ToxicFrog: Incidentally, now that my job description includes dealing a little more with GTK and its friends in the GNOME family, I can state what I think the issue with GTK+ was. |
21:58 | <@McMartin> | To wit, it is *solely* a widget library, while all the alternatives are complete application platforms. Writing a GTK+ app generally also involves dealing with GLib and GObject directly, and those are not only full of but made of spiders. |
21:58 | <@McMartin> | At time of writing there are at least half a dozen projects trying to fix that, including one ("GObject Introspection") that appears to be attempting to turn GObject into a backend for Qt's extensions to C++. |
21:58 | <@McMartin> | Which is kind of o_O |
21:59 | < ToxicFrog> | What do you mean by "complete application platform" here? |
22:00 | <@McMartin> | I mean that Qt, Swing, etc. include their own sublibraries for localization, thread abstraction, the event loop, etc. |
22:00 | | Attilla [Some.Dude@Nightstar-f29f718d.cable.virginmedia.com] has joined #code |
22:00 | <@McMartin> | (This is cheating with Swing, because Java does all this already, but if you're writing Swing, you're building on abstractions originally constructed for java.awt and java.io) |
22:02 | <@McMartin> | This is also true even when you're doing "Native" development; WinForms and WPF do not directly expose the Win32 layer, the NS* layer in ObjC does not directly expose anything in Darwin. |
22:10 | < ToxicFrog> | Aah. |
22:10 | < ToxicFrog> | ...what is this shit, Google's unit conversion thing no longer works in wget |
22:12 | <@McMartin> | (Seriously, Qt includes its own *string* class) |
22:12 | <@McMartin> | (Of course, it's old enough that std::string was more like vd::string) |
22:37 | | Vash [Vash@Nightstar-f03c5637.sd.cox.net] has quit [[NS] Quit: BWAHAHAHAHHA! ] |
22:47 | | Rhamphoryncus [rhamph@Nightstar-14eb6405.abhsia.telus.net] has quit [Client exited] |
23:28 | | Derakon[AFK] is now known as Derakon |
23:52 | < Vornicus> | ah, here is the hard part. |
--- Log closed Sun Sep 11 00:00:39 2011 |