--- Log opened Sun May 15 00:00:00 2011 |
01:21 | | Kindamoody|away is now known as Kindamoody |
01:28 | < Vornicus> | hrng. It feels like there should be a method of... oh, shit, I'm dumb, of course there is. THANK YOU, ARCHIMEDES |
01:28 | < Vornicus> | You /can/ do uniform random distributions on the sphere with just uniform inputs. |
01:29 | < Vornicus> | (Archimedes comes in as he determined that the surface area of a segment of a sphere is equal to the matching segment of a cylinder around the sphere) |
01:53 | | Vash[Sleeping] [Vash@Nightstar-a23ade0a.sndg02.sbcglobal.net] has quit [Client closed the connection] |
01:53 | | Vashicus [Vash@Nightstar-a23ade0a.sndg02.sbcglobal.net] has joined #code |
02:12 | | Kindamoody is now known as Kindamoody[zZz] |
02:14 | | Stalker [Z@26ECB6.A4B64C.298B52.D80DA0] has quit [[NS] Quit: If the world didn't suck, we'd all fall off.] |
02:16 | | Attilla [Some.Dude@Nightstar-febccc15.cable.virginmedia.com] has quit [Ping timeout: 121 seconds] |
02:17 | | Reivles [orthia@Nightstar-d6c757d1.lightwire.co.nz] has joined #code |
02:39 | | Stalker [Z@3A600C.A966FF.5BF32D.8E7ABA] has joined #code |
02:42 | | Reivles [orthia@Nightstar-d6c757d1.lightwire.co.nz] has quit [Ping timeout: 121 seconds] |
03:16 | | Stalker [Z@3A600C.A966FF.5BF32D.8E7ABA] has quit [Ping timeout: 121 seconds] |
03:43 | | Thaqui [Thaqui@27B34E.D54D49.F53FA1.6A113C] has quit [Connection closed] |
04:06 | | Vash [Vash@Nightstar-a23ade0a.sndg02.sbcglobal.net] has joined #code |
04:07 | | Vashicus [Vash@Nightstar-a23ade0a.sndg02.sbcglobal.net] has quit [Client closed the connection] |
04:36 | | cpux [chatzilla@Nightstar-c978de34.dyn.optonline.net] has joined #code |
05:23 | | celticminstrel [celticminst@Nightstar-f8b608eb.cable.rogers.com] has quit [[NS] Quit: And lo! The computer falls into a deep sleep, to awake again some other day!] |
06:02 | | Reivles [orthia@Nightstar-d6c757d1.lightwire.co.nz] has joined #code |
06:35 | | Reivles [orthia@Nightstar-d6c757d1.lightwire.co.nz] has quit [Ping timeout: 121 seconds] |
06:43 | | Vash [Vash@Nightstar-a23ade0a.sndg02.sbcglobal.net] has quit [Ping timeout: 121 seconds] |
06:52 | | Reivles [orthia@Nightstar-d6c757d1.lightwire.co.nz] has joined #code |
07:23 | < Reiver> | How the heck did he determine that |
07:48 | < jerith> | By mathematics. |
08:09 | < Reivles> | well, yes. |
08:25 | | AnnoDomini [annodomini@D553D1.D82A92.4E5AB9.0EC782] has joined #code |
08:35 | < Vornicus> | Hokay so it goes like this: The surface area of a cone frustrum, without caps, is pi * (small radius + large radius) * s |
08:35 | < Vornicus> | er, * length of face |
08:36 | < Vornicus> | http://mathworld.wolfram.com/ConicalFrustum.html <--- equation 2 or 3 here. |
08:37 | < Vornicus> | Then we can calculus it up. |
08:57 | | * Vornicus tries to remember /how/ to calculus this up. |
08:57 | | kwsn is now known as kw\t-2 |
08:57 | < McMartin> | The totalitarian government instituted a new, brutal policy of VIEW FRUSTUM CULLING against the populace. |
08:58 | < Vornicus> | ...Works best if the stuff scrolls in from the bottom of the screen a la star wars. |
08:59 | | kw\t-2 [kwsn@Nightstar-9d744862.dyn.centurytel.net] has quit [[NS] Quit: FNORD] |
08:59 | < McMartin> | When the panopticon gets distracted, you get bisected! |
08:59 | < McMartin> | Half your polygons just... aren't rendered anymore. |
09:00 | < Vornicus> | http://mathworld.wolfram.com/ArchimedesHat-BoxTheorem.html Also this is possibly the lamest name ever for the best fact ever. |
09:01 | < McMartin> | HAT |
09:18 | | Kindamoody[zZz] is now known as Kindamoody |
09:36 | | You're now known as TheWatcher |
10:13 | | * Vornicus fiddles with it, can't do the proof himself because he's tired. |
10:19 | < Reivles> | VORNICUS |
10:19 | < Reivles> | I HAS A QUESTION |
10:19 | < Reivles> | How do you prove Fermi's Paradox? |
10:21 | | Attilla [Some.Dude@Nightstar-febccc15.cable.virginmedia.com] has joined #code |
10:22 | | * TheWatcher eyes Reiv |
10:23 | | * Reivles tooths TheWatcher |
10:23 | < TheWatcher> | You know that question makes no sense, right?~ |
10:24 | < Reivles> | How do you prove it is a paradox? |
10:26 | < Vornicus> | It's not really a paradox. |
10:27 | < TheWatcher> | It's more of a puzzle, or a conundrum. |
10:27 | < Vornicus> | One of the big ones is that previously we thought that most stars were like our own in that they were, um. |
10:27 | < Reivles> | In that case, I fail to understand it at all... |
10:27 | < Vornicus> | Single. |
10:27 | < Vornicus> | BInary stars are a lot harder to build life around. |
10:28 | < Reivles> | Right |
10:29 | < TheWatcher> | Reiv: basically stated "Why, given that even fairly conservative values plugged into the Drake equation indicate that there should be numerous extraterrestial civilisations, do we see none?" but it's not something you can /prove/ in a mathematical sense |
10:29 | < Reivles> | Oh, OK. |
10:29 | < Vornicus> | Then there's the whole habitable zone thing and the, well... meh. read the wikipedia page. |
10:29 | < Reivles> | Why do we see none? Tsk. |
10:29 | < Vornicus> | I'm a mathematician, not a xenobiologist. |
10:29 | < Reivles> | People like to draw lines saying how far out our TV broadcasts are |
10:29 | < Reivles> | But who are we kidding, could you even see them against the solar white noise? |
10:30 | < Vornicus> | Yes, because it's not white noise. |
10:31 | < TheWatcher> | Won't be easy, as it gets fainter as it goes out, but it could be done |
10:31 | < Vornicus> | For a long distance we totally dominate the em spectrum in certain areas. |
10:31 | < Reivles> | Really? Huh. |
10:31 | < Reivles> | OK then. |
10:31 | < Reivles> | Does Fermis take into the timeframe stuff? |
10:32 | < Vornicus> | the drake equation does. |
10:32 | < Reivles> | Right then. |
10:32 | | * Reivles decides to file this stuff into Too Hard Basket and thanks all involved. |
10:42 | | Kindamoody is now known as Kindamoody|noms |
10:44 | | Vornicus is now known as Vornicus-Latens |
11:03 | | Kindamoody|noms is now known as Kindamoody |
11:35 | | * TheWatcher realises he has coded himself into a corner, breaks out the refactor tractor |
11:54 | | Kindamoody is now known as Kindamoody|out |
11:55 | < Reivles> | Uhoh |
11:56 | < Reivles> | How do you code into a corner? |
11:57 | < TheWatcher> | Write the code so that it does a subset of the tasks that it has to, but in the process makes others impossible/hard/ugly to implement. |
11:57 | < Reivles> | Ah-hah, yes |
11:58 | < Reivles> | I think I know that well~ |
11:58 | < TheWatcher> | But you don't notice that until you try to implement one of the latter, and go "ooops!" |
12:11 | < froztbyte> | hehe |
12:12 | < froztbyte> | when I first started out making more than just some automation system scripts, I made the mistake of making my abstraction too good, or designed it wrong so I couldn't unit test |
12:12 | < froztbyte> | interesting learning process |
12:15 | < jerith> | I find that coding myself into a corner sometimes resluts in refctoring in circles. |
12:16 | < jerith> | This is usually because I'm trying to write code that's simpler than is possible. |
12:55 | | Reivles [orthia@Nightstar-d6c757d1.lightwire.co.nz] has quit [Ping timeout: 121 seconds] |
13:02 | | Stalker [Z@3A600C.A966FF.5BF32D.8E7ABA] has joined #code |
14:29 | | Reivles [orthia@Nightstar-47d6534c.lightwire.co.nz] has joined #code |
14:55 | | Reivles [orthia@Nightstar-47d6534c.lightwire.co.nz] has quit [Ping timeout: 121 seconds] |
16:05 | | kwsn [kwsn@Nightstar-9d744862.dyn.centurytel.net] has joined #code |
17:06 | | ToxicFrog [ToxicFrog@ServerAdministrator.Nightstar.Net] has quit [Operation timed out] |
17:13 | | Reiver [orthianz@9C034E.E649EA.3194C7.8381A3] has quit [Client closed the connection] |
17:13 | | Reiver [orthianz@9C034E.E649EA.3194C7.8381A3] has joined #code |
17:57 | | ToxicFrog [ToxicFrog@ServerAdministrator.Nightstar.Net] has joined #code |
18:02 | | AnnoDomini is now known as Birds |
18:04 | | Stalker is now known as Bite |
18:08 | | Bite [Z@3A600C.A966FF.5BF32D.8E7ABA] has quit [[NS] Quit: If the world didn't suck, we'd all fall off.] |
18:17 | | Birds is now known as AnnoDomini |
18:22 | | celticminstrel [celticminstre@Nightstar-f8b608eb.cable.rogers.com] has joined #code |
18:31 | | Kindamoody|out is now known as Kindamoody |
18:35 | | Attilla [Some.Dude@Nightstar-febccc15.cable.virginmedia.com] has quit [Connection reset by peer] |
18:36 | | Attilla [Some.Dude@2D9A5E.A969A9.115770.24F3F1] has joined #code |
18:44 | | AnnoDomini is now known as Birds |
18:52 | | Stalker [Z@26ECB6.A4B64C.298B52.D80DA0] has joined #code |
19:08 | | Birds is now known as AnnoDomini |
19:53 | | Reiver [orthianz@9C034E.E649EA.3194C7.8381A3] has quit [Client closed the connection] |
19:53 | | Reiver [orthianz@9C034E.E649EA.3194C7.8381A3] has joined #code |
20:06 | | RichardBarrell [mycatverbs@F67919.628980.16FC78.24AEE3] has joined #code |
20:19 | < ToxicFrog> | I'm ready to resize /dev/md0, but I'm also kind of terrified. |
20:23 | | Vornicus-Latens is now known as Vornicus |
20:23 | < ToxicFrog> | md0 : active raid5 sde2[4] sda2[0] sdc2[3] sdb2[2] sdd2[1] |
20:23 | < ToxicFrog> | 2194703616 blocks super 0.91 level 5, 64k chunk, algorithm 2 [5/5] [UUUUU] |
20:23 | < ToxicFrog> | [>....................] reshape = 0.0% (31744/731567872) finish=3071.1min speed=3968K/sec |
20:29 | < ToxicFrog> | md0 : active raid5 sde2[4] sda2[0] sdc2[3] sdb2[2] sdd2[1] |
20:29 | < ToxicFrog> | 2194703616 blocks super 0.91 level 5, 64k chunk, algorithm 2 [5/5] [UUUUU] |
20:29 | < ToxicFrog> | [>....................] reshape = 0.7% (5360512/731567872) finish=806.4min speed=15008K/sec |
20:29 | < ToxicFrog> | That's a bit more hopeful. |
20:32 | | RichardBarrell [mycatverbs@F67919.628980.16FC78.24AEE3] has quit [Ping timeout: 121 seconds] |
21:11 | | celticminstrel is now known as celmin|away |
21:24 | | RichardBarrell [mycatverbs@Nightstar-f68eb197.cable.virginmedia.com] has joined #code |
21:31 | | cpux [chatzilla@Nightstar-c978de34.dyn.optonline.net] has quit [Ping timeout: 121 seconds] |
21:34 | | cpux [chatzilla@510B1D.8D602E.9FE2BE.9FAE21] has joined #code |
21:43 | | RichardBarrell [mycatverbs@Nightstar-f68eb197.cable.virginmedia.com] has quit [Client closed the connection] |
21:44 | | RichardBarrell [mycatverbs@Nightstar-f68eb197.cable.virginmedia.com] has joined #code |
21:44 | | ToxicFrog [ToxicFrog@ServerAdministrator.Nightstar.Net] has quit [Ping timeout: 121 seconds] |
22:03 | | ToxicFrog [ToxicFrog@ServerAdministrator.Nightstar.Net] has joined #code |
22:40 | | Thaqui [Thaqui@27B34E.D54D49.F53FA1.6A113C] has joined #code |
22:48 | | * TheWatcher blinks at the zlib header |
22:48 | < TheWatcher> | I think this must be the first time I've looked at that, amazingly |
22:49 | < TheWatcher> | Because I'm pretty sure that I would remember this level of O.o at the idea of putting the comments describing what things are /after/ the things in question. |
22:50 | < TheWatcher> | Like several lines of #defines, followed by a description of what the preceeding defines are for... |
22:50 | < Tamber> | ... |
22:51 | < RichardBarrell> | Reading C headers to figure out an API seems like an odd idea to me now. So many implementation details end up in them that aren't really part of the API. |
22:52 | < TheWatcher> | I quote from `man zlib`: "All functions of the compression library are documented in the file zlib.h", otherwise said man page is a bunch of links to bindings. |
22:52 | < TheWatcher> | (java, perl, python, etc) |
22:52 | < Tamber> | >_< |
22:55 | | AnnoDomini [annodomini@D553D1.D82A92.4E5AB9.0EC782] has quit [[NS] Quit: Enough.] |
22:56 | < RichardBarrell> | TheWatcher: fair enough, good reason. |
--- Log closed Mon May 16 00:00:15 2011 |