00:02:17 (: 00:06:43 -!- FireFly has quit (Quit: swatted to death). 00:07:23 -!- pikhq has quit (Ping timeout: 255 seconds). 00:15:58 -!- pikhq has joined. 00:16:05 <3 VSTi's 00:16:19 Op. 11 string quartet is starting to sound actually GOOD! 00:17:35 Perhaps it'd sound better if you blackmailed a string quartet. 00:17:43 It would of course. 00:17:51 But I have no blackmail on string quartets :P 00:19:16 -!- Harpyon has joined. 00:23:10 Hmm. So, my high school had two Japanese teachers. One was fluent in Japanese. The other had once been in Japan for a couple of weeks. 00:23:17 Which one do you think they fired? Go on, guess. 00:25:19 both? 00:25:22 The fluent one has to be payed more because he's more skilled. 00:25:26 Therefore, he should be fired. 00:25:31 Because firing him saves more money. 00:25:40 This is the same reason why you cut music instead of PE. 00:25:58 Oh, and the guy who had once been in Japan was fluent in German. 00:26:11 Does he teach German too? 00:26:12 Guess what language he no longer teaches! 00:26:18 Gregor: He did. 00:26:20 german! 00:27:28 Then they don't have to pay him as a skilled German teacher, only a unskilled Japanese teacher :P 00:28:17 And I get to wince at the idea of students taking a year to learn kana. 00:29:22 (KANA IS FREAKING EASY) 00:31:07 http://upload.wikimedia.org/wikipedia/commons/5/5e/Kana_chart.png Do you think it should take a year to learn this? 00:31:27 -!- augur has quit (Remote host closed the connection). 00:31:29 Me? 00:31:31 It would take me decades. 00:31:47 I highly doubt that. 00:32:00 I think you underestimate my inability to learn foreign languages. 00:32:08 Also my ability to correctly use subtle double-negatives. 00:32:18 This has very little with foreign languages per se. 00:32:21 Just orthography. 00:32:33 By which I mean "little doodles on paper". 00:32:53 Also, I highly doubt you have an actual inability to learn foreign languages. 00:33:05 Just an inability to put up with the bullshit that is your typical foreign language course. 00:33:34 I will soon have an upload of op. 11 string quartet I actually like. 00:33:39 I ... I don't even know how this is possible. 00:34:30 Seriously, foreign language classes usually *suck ass*. 00:35:13 (see Engrish for details) 00:38:37 I think that statement demeans ass-suckers everywhere. 00:39:12 Why yes, yes it does. 00:39:18 So - there are 3 partitions. The recovery partition is it's own partition. The Windows partition is fux0red and I want to re-install it. Ubuntu is on the 3rd. Ubunto also has all the stuff I copied over from the non-bootable Windows partition, AND the R part of the DVD-R is broken, AND I don't have enough flash drive to put all of that stuff on. 00:39:48 catseye: And? 00:39:53 The recovery program warns me it will wipe out 'drive C:'. I hope this means the WIndows partition. ANd that it leaves partition #3 alone. 00:40:06 It does not. 00:40:10 It means the entire disk. 00:40:12 I guarantee you this. 00:40:24 I guarantee it with my Super-Pessimism Powers 00:40:24 Including itself? I don't think THAT is the case. 00:41:47 No, not itself :P 00:41:50 (well, I KNOW it's not the case, as I've used it before. but I didn't have anything on the 3rd partition at the time, so I don;t know what happens there) 00:41:57 But it probably reinitializes the partition table to its saved default. 00:44:07 back 00:44:13 pikhq: Let's see if I can't get this bitch of a game running. 00:44:30 alise: Whooo. 00:44:54 Groan. 00:45:06 pikhq: The "original" disc is the Sold-Out rerelease. Which is alright. 00:45:08 But. 00:45:11 It's not original :P 00:45:16 But it does have the exact original installer on it. 00:45:18 So that's okay. 00:45:27 It's at least something that was put on a disc at one point, though. 00:45:39 So was the Russian monstrosity. 00:46:03 Something *sane* that was put on disc. 00:46:41 OMGOMGOMG 00:46:51 pikhq: WOOT FULLSCREEN INSTALLER 00:46:51 This is sooooo good. 00:46:51 <3 VSTi's so much 00:46:52 (Fails to start) 00:47:05 pikhq: do not worry! 00:47:10 I have SCIENCE on my side. 00:48:54 pikhq: The installer starts! 00:49:03 Oh man this is the one with the radioactive hazard sign on the sheep. 00:49:07 (...just a graphic when it installs.) 00:49:26 Lawl, it installs so quickly that you barely see it. 00:51:58 http://codu.org/tmp/GRegor-op11-StringQuartet-VSTi-2010-10-10.ogg 00:53:48 pikhq: Now I just gotta get NoCD working and see about DirectDraw. 00:54:17 Worms: Armageddon v3.6.29.0 Beta [EURO] No-CD/Fixed EXE #2 00:54:19 Worms: Armageddon v3.6.29.0 Beta [EURO] No-CD/Fixed EXE #1 00:54:21 I LIKE HOW IT DOESN'T DISTINGUISH THEM 00:59:39 alise: status update? 00:59:50 coppro: I have it almost working! 00:59:57 Just need to find an updated DirectDraw and I'll have a complete guide. 01:00:12 I have a win7 one. That's probably wrong, right? 01:00:22 coppro: Dude, I gave you a direct link to a torrent. 01:00:25 That is the *only one* that will work. 01:00:33 alise: I mean the directdraw dll 01:00:34 alise: Hmm. Need a Windows DirectDraw? 01:00:36 In fact, me and pikhq gave you a link to the same torrent simultaneously, right after you asked. 01:00:39 coppro: oh 01:00:42 pikhq: no 01:00:44 pikhq: it's a patched WINE one 01:00:54 don't worry, i got this under control :P 01:01:09 [[madewokherd has stopped updating ddraw.dll for new Wine versions. Instead, he recommends to: grab the patch attached to wine bug 2082, apply the wined3d part, build wine (if someone wants to precompile them, wined3d.dll can presumably be dropped in like ddraw was, but the wined3d api changes often), set DirectDrawRenderer to "gdi"]] 01:01:12 NO FUCK YOU 01:01:17 Aaaaw. Windows DirectDraw is so much easier to get. 01:01:31 pikhq: hey friend 01:01:32 wanna compile wine?! 01:01:41 No thanks. 01:01:53 pikhq: but you were going to anyway :P 01:02:00 I compiled wine yesterday. 01:02:14 I compiled it once today. That's enough. 01:02:19 Gregor: With that specific patch? 01:02:37 http://bugs2.winehq.org/attachment.cgi?id=17739 01:02:39 Look how small it is! 01:02:41 Look! 01:02:45 YOU JUST WANT TO COMPILE IT 01:02:49 'course not! 01:03:51 what, how come it works fullscreen but not in a window. 01:04:11 ("Works") 01:05:01 Gaaaaaaad, from 5:30 on it's totally real. 01:05:02 THIS IS MAGIC 01:05:02 DARK MAGIC 01:05:10 (The good kind) 01:05:20 coppro: Compile Wine. 01:05:41 Gregor: The good kind of dark magic, i.e. light magic. 01:05:43 Pooppy can't solve all your problems! 01:06:06 alise: RACIST 01:06:19 alise: You just told me not to do that 01:06:32 coppro: In this case, there's an excellent reason to. 01:06:36 coppro: *Not* to use the created Wine. 01:06:40 But for one specific DLL. 01:06:42 Gregor: My goodness, it sounds like music. 01:06:52 alise: q1) Must I apply that patch? 01:07:02 pikhq: I KNOW 01:07:06 q2) Give me the necessary git commands to checkout the repo version and I'll do it 01:07:07 coppro: You must. Hey wait, I have an idea. 01:07:10 "> Here is compiled wined3d.dll.so for wine 1.2 with this patch. Enjoy!" 01:07:11 Synthesised, to be sure, but... Good. 01:07:13 1.2 is almost 1.3, right? 01:07:15 Let me try that one. 01:07:16 The section from 7min is downright haunting. 01:07:24 your mom is downright haunting 01:07:28 alise: ... Wait, you're needing d3d.dll? 01:07:38 alise: if it doesn't work, I repeat my comment about git 01:07:39 pikhq: wined3d.dll. PATCHED. 01:07:41 A specific patch. 01:07:53 pikhq: Actually IMHO the main reason it's noticeably synthesized is the usual synth "too perfect" problem. 01:08:09 0% [ ] 13,820 3.02K/s eta 11m 13s 01:08:12 Yay two meg files that take five years to download 01:08:13 Gregor: Also, the high bit kinda sucks. 01:08:14 Oh now it's sped up 01:08:19 alise: Any reason the real d3d.dll won't work? 01:08:26 pikhq: Because it's a hacky patch that breaks most things. 01:08:30 tl;dr wine is shit, this hack fixes it 01:08:34 pikhq: You mean the solo violin held note? 01:08:42 pikhq: Yeah, it's awful :P 01:08:52 pikhq: But everything surrounding that is awesome! X-P 01:08:54 Gregor: Sounds more like a viola. But yeah. 01:09:00 !userinterps 01:09:02 Installed user interpreters: aol austro b1ff bc bct bfbignum brit brooklyn bypass_ignore bytes chaos chef chiqrsx9p choo cockney ctcp dc decisionengine drawl drome dubya echo eehird ehird fudd funetak google graph gregor he hello id jethro kraut num ook pansy pi pirate plot postmodern postmodern_aoler redneck reverse rot13 sadbf sfedeesh sffedeesh sffffedeesh sffffffffedeesh simpleacro slashes svedeesh swedish valspeak warez yodawg 01:09:26 !sfedeesh BLACK MAGIC 01:09:33 BLECK MEGIC 01:11:13 i agree, it sounds a bit more realstruments 01:11:36 coppro: 01:11:38 http://ibiblio.org/pub/linux/system/emulators/wine/wine-1.3.4.tar.bz2 01:11:43 Apply this patch: http://bugs2.winehq.org/attachment.cgi?id=17739 01:11:45 build 01:12:05 and extract wined3d.dll(maybe .so after that) 01:12:09 Upload it somewhere 01:12:11 Rejoice 01:12:36 Gregor: This is reminding me once again that you make awesome music. :P 01:15:09 coppro: :| 01:16:17 Gregor: Also, how goes Opus 13 Movement 2? 01:16:42 pikhq: I can't play it 8'( 01:16:46 coppro: are you actually doing that? :P 01:16:55 When I make the "final" recording I like to actually play it through, no severe edits, properly. 01:17:04 Every time I've tried, I've screwed up horribly somewhere. 01:17:11 It makes me go "argh" 01:17:12 Gregor: Aaaaaw. 01:17:20 YOU NEED BETTER HANDS 01:17:34 pikhq: Ping coppro. 01:18:02 coppro: CONSIDER THYSELF PIN 01:18:11 coppro: CONSIDER THYSELF PINGÉD 01:18:31 Consider thyself the pin thou art. 01:19:24 How pin þou art. 01:20:25 coppro: You know, your only hope of getting this guide today is to do that :P 01:20:26 pikhq: You do it. 01:21:03 alise: Oh, fine, fine. 01:21:06 "[NEXT CONTEST] What will THIS post's point count be midnight on Monday? Winner gets free copy of TF2, Minecraft, or donation satisfaction." 01:21:08 GET 01:21:08 THE 01:21:08 FUCK 01:21:10 OFF 01:21:10 MY 01:21:11 REDDIT 01:21:14 pikhq: 01:21:15 http://ibiblio.org/pub/linux/system/emulators/wine/wine-1.3.4.tar.bz2 01:21:16 Apply this patch: http://bugs2.winehq.org/attachment.cgi?id=17739 01:21:18 build 01:21:20 and extract wined3d.dll(maybe .so after that) 01:21:22 Upload it somewhere 01:21:24 Rejoice 01:21:35 Note: Do not use the resulting compilation; that patch is evil and it breaks more applications than it fixes. 01:21:41 It is useful solely for the extraction. 01:22:18 ./configure&&make -j3, away! 01:22:45 Dang, that is one evil patch. 01:22:47 pikhq: You trust wine with -j3? 01:22:53 I treat Wine like nuclear waste. 01:22:55 It is VOLATILE. 01:23:10 It is possibly one of the most perverse pieces of software ever. 01:23:22 We'll soon see if I shouldn't. 01:23:31 "Let's clean-room rewrite an entire, crufty, backwards-compatible-to-the-80s operating system's entire library base! For Linux!" 01:23:40 "Also, let's handle all the crazy direct hardware shit it has too!" 01:23:44 TEN YEARS LATER 01:23:51 "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAH OH GOD WHAT IS THIS" 01:24:10 pikhq: I like how it doesn't even bother dedenting the block. 01:24:18 It's just, like, "yeah, sure, whatever, {...} is perfectly valid." 01:25:05 alise: I find it quite impressive that it actually supports *all* the Win16 stuff. 01:25:08 Like, perfectly. 01:25:33 I basically wish Windows software would go away so I don't have to be scared by Wine. 01:25:41 It is not my kind of program. 01:26:02 Wine is the single hackiest thing I know of. 01:26:13 ... Especially its Win16 support on x86_64. 01:26:22 More hacky than Windows itself? ;) 01:26:38 I've never run Wine 01:26:41 Gregor: Yes. 01:26:41 SOUNDS LIKE FUN 01:26:55 The Windows API at least makes some sort of sense in a kernel, on bare hardware. 01:27:13 It relies upon how no published Win16 program actually *used* its ability to write on all memory. 01:27:31 So, it runs Win16 programs in actual protected mode. 01:27:56 16-bit protected mode. 01:28:25 visions of sugarplums dance in my head! 01:28:30 That's pretty great on an OS that has no 16-bit binary support itself. 01:28:52 (it convinces the Linux kernel to set up the segment table *just* right on the wineserver process) 01:29:43 On 32-bit Linux, it just does the whole psuedo-real mode thing and traps the interrupts. Just like everything newer than Windows 3.0 does for Win16 and DOS. 01:31:15 pikhq: This is why Wine scares me. 01:31:53 alise: And yet its Win16 support is the least hackish bit. 01:32:12 Because most of the behavior (and essentially all of the relevant behavior) is actually known. 01:32:56 pikhq: How goes that compilation? 01:33:33 alise: So, um. This wined3d.dll.so. I hope it doesn't need to go in the system install of WINE. 01:34:24 pikhq: It does not. 01:34:29 pikhq: filebin.ca if you have it 01:34:42 Going. 01:34:58 I have to go in about six minutes, so yeah, quickness is nice. 01:34:58 has anyone tried some kind of qemu hybrid, where the program is run in qemu, but the wm is intercepted so that X displayed the windows? 01:35:30 Uploading. 01:35:38 calamari: that's called qemu + vnc server or whatever 01:35:41 or remote X 01:35:54 Wondering if it'll cooperate. 01:36:22 Uploading at... Slow. 01:36:50 alise: so that would act like wine, where i could run windows apps in X? 01:36:50 pikhq: How big's it? 01:36:52 Also, stop that torrent. 01:36:57 alise: 5MB 01:37:04 calamari: Very slowly and with little to no keyboard integration. 01:37:06 Erm. 01:37:08 Clipboard. 01:37:17 20 kbps; should be a couple minutes. 01:37:17 pikhq: Hurry uuup I have to go and I'd like to make sure it works first. 01:37:20 cool, I must try it 01:37:20 calamari: Closest you'll get is VirtualBox's "seamless" (is that the name?) mode. 01:37:27 Well, closest you'll get without X forwarding. 01:37:50 Seamless mode sucks. 01:37:53 I got a game in my cereal box and I want to run it lol 01:37:56 It does. 01:38:02 It just makes the desktop transparent. 01:38:15 Parallels' seamless mode is ebtter 01:38:17 But that's a mac thing. 01:38:21 `addquote I got a game in my cereal box and I want to run it lol 01:38:43 pikhq: I'm already totally late at sleeping my friend, do not taunt happy fun Worms player. 01:38:44 alise: http://filebin.ca/gsmdxg/wined3d.dll.so 01:38:45 238| I got a game in my cereal box and I want to run it lol 01:38:46 calamari: ... wtf? 01:38:54 Gregor: wtf? 01:39:10 calamari: Also, wine. It's, y'know, the topic of conversation here for the last day X-P 01:39:17 -!- Harpyon has quit (Ping timeout: 245 seconds). 01:39:25 yeah wine failed me :( 01:39:34 the game wanted 16-bit color mode 01:39:45 pikhq: It almost works! 01:39:47 Menu works it crashes. 01:39:50 calamari: what kind of cereal are YOU eating? 01:40:01 catseye: store brand, believe it or not 01:40:09 Did you get this game in a cereal box fifteen years ago? 01:40:52 pikhq: Everything but playing an actual game works. 01:41:00 alise: Balls. 01:41:09 copyright on the disc is 2005 01:41:17 got it a few weeks ago 01:41:19 pikhq: Do not despair! I will get it working. 01:41:37 pikhq: My current great-great terrible idea is to compile wine <1.0, which I know to have worked in the past. 01:41:52 But hey, it logs into WormNET. 01:42:22 Does it? 01:42:24 I'm not sure. 01:42:29 It does! Err... 01:42:33 That doesn't look like WormNET. 01:42:48 alise: btw how does a vnc server help.. wouldn't that just show the entire desktop, same as regular qemu? 01:42:55 calamari: well. 01:42:57 X forwarding 01:43:02 but windows doesn't do X 01:43:06 if it's a game it won't be in a window anyway 01:43:14 omg use webex NO 01:43:51 wat xD 01:44:05 pikhq: Well, you know what? 01:44:13 pikhq: I'll have a guide and something working by tomorrow. 01:44:16 Thanks for your help. 01:44:21 vnc-like (-based?) conferencing tool 01:44:47 tends to freak out when two users are both "the presenter" 01:44:57 infinite recursion of desktop display 01:45:53 i like such recursion. 01:45:59 and pointing cameras at their display 01:46:08 Goodnight. 01:46:10 Bye. 01:46:13 -!- alise has quit (Quit: Leaving). 01:54:22 pikhq: http://codu.org/music/op11/GRegor-op11-StringQuartet.flac Quell thy FLACitude. 02:05:58 *Main> gParse "SIIKK" 02:06:00 (Pair S (Pair I (Pair I (Pair K K))),"") 02:06:02 WRONG. 02:06:26 this is quite a bit trickier than the actual reduction part, it seems 02:08:34 -!- cimon has joined. 02:22:27 *Main> kParse "SSIIK" 02:22:28 (Pair (Pair (Pair (Pair S S) I) I) K,[]) 02:22:37 Better! DOesn't handle parens yet though. 02:26:15 HTML5 Audio should have a "pipe raw audio here" function. 02:26:31 Then you could write decoders in JS and not be stuck to a format. 02:31:28 *Main> kParse "SS(IIK)" 02:31:29 (Pair (Pair S S) (Pair (Pair I I) K),"") 02:31:31 w00t 02:33:01 http://pastie.org/1212086 <-- my awful code 02:34:06 catseye, cpressey: Is there a reason you're having an identity crisis? 02:34:25 02:34:25 -!- Mathnerd314 has joined. 02:34:30 02:34:33 -!- cpressey has quit (Quit: leaving). 02:34:47 Gregor: the reason is weechat 02:38:12 -!- cimon has left (?). 02:38:24 Obviously we didn't excite cimon too much :P 02:39:06 Sadness 02:39:19 ten again, esoteria can alienate the normal and benign 02:39:39 Also, those who don't like madness or tentacles, c.f. Cthulhu 02:39:42 Eleven again. 02:40:22 twoche 02:40:28 (Spelling deliberate) 02:40:42 Threede! 02:40:54 Four shame. 02:40:56 (Obscure Spanish pun intentional) 02:41:11 One of my favourite chunks of The Goon Show 02:41:16 Touche 02:41:18 Threeche 02:41:19 Sabrina 02:41:23 All: HOORAY! 02:47:23 "It's a fast, statically typed, compiled language that feels like a dynamically typed, interpreted language." 02:47:37 ... it's actually not a very nice feeling... 02:48:20 I'm going to check out Plof instead. 02:51:58 Which is a runtime defined language. :) 02:53:01 Which FEELS like a runtime defined languag! 02:53:07 *language 02:53:18 or did, until I just got the error message, "Cast failed 02:55:20 Argh Gregor makin' me install autoconf 02:56:00 Did you download plof3, or Fythe? 02:57:16 Gregor: hg clone https://codu.org/projects/plof/hg/ plof 02:57:22 Do you recomment Fythe instead? 02:57:27 *d 02:57:28 No(t yet) 02:57:42 Plof3 works, Fythe is but the fevered dream of a madman :P 02:58:01 Well, Fythe has working parts. 02:58:18 Gregor: configure.ac:7: error: possibly undefined macro: AM_INIT_AUTOMAKE 02:58:26 I love the "possibly" 02:58:41 catseye: Don't blame autoconf on the fact that you don't have automake installed :P 02:58:45 IT MAY OR MAY NOT BE IN THE SYMBOL TABLE. i can't be arsed to check 02:58:59 'snot a symbol table, 's a macro expansion. 02:59:11 That message means "This looks like it's probably a macro" 02:59:11 automake is already the newest version. 02:59:22 sez apt-get instal 02:59:31 Then somehow autoconf and automake aren't happy with each other. 02:59:35 What command did you use? autoreconf? 02:59:41 yay Ubuntu yay 02:59:44 autoconf 02:59:51 There's your problem. 02:59:52 Use autoreconf 02:59:53 autoreconf 03:00:06 There's an autoREconf? oh fuck computers are amazing 03:00:36 autoreconf, in spite of its poor name, is a frontend for the whole autosuite. 03:00:42 whoa I have a configure script now 03:01:20 if it doesn't know if it's a macro or what, the message should be "possiblE undefined macro". 03:01:32 Hm. 03:01:36 Indeed it should. 03:02:23 "or maybe you are write stupid code in your .ac and will face FULL LIFE CONSEQUENCES!" 03:03:23 error: possibly undefined macro: FULL_LIFE_CONSEQUENCES 03:04:30 Incidentally, you might enjoy Fythe, when/iff it exists :P 03:04:47 Gregor: I have it built, but make install didn 03:04:54 didn't install a binary? or 03:05:03 Binary name is cplof 03:05:27 ok found it! ha 03:07:12 output is line buffered i see 03:07:34 Gregor: how do I find out what methods Stdin supports? 03:07:43 -!- GreaseMonkey has joined. 03:08:00 #1 stupid problem of picking up a language: the common operations always have their own names 03:08:07 and interfaces 03:08:20 > Stdout.write (Stdin) 03:08:22 Cast failed 03:08:37 " actually seems pretty close to the "non-repeating sequence <-> unbounded storage" thing... to have a non-self-similar fractal, you essentially need a non-repeating sequence" <<< almost all sequences are non-repeating with the usual measure 03:08:46 > Stdin * 2 03:08:47 Variable opMul undefined. 03:08:58 So it does NOT support multiplication. OK! 03:09:26 oklopol: yes. but almost all sequences can't be generated. 03:10:12 "Welcome to the universe! It's mostly chaos! And YOU CAN'T HAVE ANY." 03:11:12 in fact let's prove that: a periodic sequence will have the period n for some n, {x | x has period n} is a finite set, so it has zero measure with a nontrivial measure; therefore the union as n goes to infinity will also have zero measure by subadditivity 03:12:16 i think the original question hung on whether any of these non-self-similar (or even uncomputable, let's extend it to) things had fractional dimension (i.e. were fractals); i don't see why not but have no way to show it 03:13:20 i couldn't find the original 03:13:20 :P 03:14:47 well clearly you can just change one point and make it non-self-similar 03:15:15 fractal as a R^n right? 03:15:48 eh 03:15:50 i think it was Phantom_Hoover who brought it up. Not sure exactly what he had in mind (since there are a couple of ways to define fractal measures, iirc) 03:15:52 *subset of 03:16:02 yeah i just know hausdorff dimension 03:18:02 where you partition into sets S, compute x^d's where d is your dimension and x \in S, and sum up 03:18:07 |{x | x has period n}| = ω 03:18:09 probably all the details are wrong 03:18:17 huh? 03:18:30 oh do we have an infinite alphabet 03:18:32 it's not infinite but it's... not finite either 03:18:39 no, finite alphabet 03:18:45 but n can go as large as you like 03:18:50 then |A|^n 03:19:17 no n is fixed; if it's not, then the set is countably infinite 03:19:30 (why countably?) 03:19:31 oh n is fixed 03:19:48 oh ok 03:20:24 i woke up at 5 am so i could do my homework 03:20:35 maybe i should consider doing that 03:20:46 unless there's more math to do here 03:20:52 at least i'm checking hausdorff measure 03:21:39 ah 03:22:55 you take the infimum over all such covers where all diameters are smaller than a delta, and THEN you let delta go to zero 03:23:53 so the function delta -> this thing is increasing because less ways to cover are permitted 03:24:40 and then comes in le magic: turns out just one d value can give you a nontrivial measure for any set (iirc) 03:24:58 hmm 03:25:09 more checking 03:25:23 no math to do here! 03:25:38 oh erm 03:25:51 mostly adventure games disguised as math 03:25:58 trickery! 03:25:59 okay so what i said was correct, but what i meant was not, lucky me for using such vague language 03:27:30 or actually i guess i meant roughly correctly too 03:27:41 aaaaaanyway it's pretty cool this stuff here 03:28:11 i mean that would mean ANY metric space has a w.d. hausdorff dimension 03:30:59 SERIOUSLY HOW COOL IS THAT?!? 03:31:10 come on people get excited 03:31:41 i'm as excited as my understanding of the material allows! 03:32:31 " oh n is fixed" <<< union as n goes to infinity meant \union_{n->infty} {x | x has period n}, so it should have been clear n was fixed! 03:32:52 i was jumping ahead! 03:33:00 pfft understanding, you don't have to understand when you have a definition 03:36:49 so why is this an outer measure... obviously empty set has measure zero, obviously subadditive using the usual 1/2^n proof, obviously monotone because same covers work for smaller set, and... wait that was all :D 03:37:49 monotone being A subset B => m(A) <= m(B), subadd. being m(A union B) <= m(A) + m(B) but for countable unions instead of just two 03:38:28 what are we discussting here? 03:38:34 it seems like interesting math 03:38:57 measures of sets of periodic sequences, I *think* 03:39:41 oh 03:39:58 * coppro gets back to proving things about the divisibility of the Mersenne numbers 03:40:32 the 1/2^n proof is as follows: sum of all e/2^n is just e, so if A = union {A_n}, for any e, we take covers for A_n such that the cover of A_i is of size at most m(A_i) + e/2^i, this is possible because m(A_i) is defined as an infimum over all covers, so you can get arbitrarily close; then you sum up you get a cover for A that's at most e bigger than sum_{i->infty} {m(A_i)} 03:40:45 oh and we do this for each delta separately ofc 03:41:14 deltas being that weird number we used in the definition of hd measure 03:41:19 the one that goes to zero 03:41:30 *-s 03:41:50 catseye: no now i'm just proving random things. 03:43:11 what i proved was that the hausdorff measure is an "outer measure", which is almost a measure but a bit less demanding 03:45:13 and an outer measure is actually really simple to get, because they arise from almost any kind of covering definition 03:46:48 -> 04:00:40 yay 10 pm on arbitrarily-numbered dat 04:00:42 *day 04:06:34 In 5 minute's it will be 10:10 oh boy oh boy can't wait 04:06:45 Get a better time zone, you. 04:13:15 damn,missed it 04:13:36 oh well 04:13:46 it will come again in... A THOUSAND YEARS? 04:13:56 or a hundred 04:14:00 depending 04:16:21 Or, a much better day will come in a year and a month and a day and an hour and a minute and a second. 04:17:06 Get your time machine. 04:17:29 * pikhq fetches his. Gets 3600 seconds/hour! 04:17:50 Reverse is broken, though. 04:18:37 -!- antivigilante has joined. 04:18:52 -!- Mathnerd314 has quit (Ping timeout: 245 seconds). 04:18:52 http://en.wikipedia.org/wiki/Deep-fried_pizza I LOVE YOU SCOTLAND 04:18:59 -!- cal153 has joined. 04:20:21 "A common accompanying beverage is Irn-Bru, a carbonated soft drink." 04:20:24 I'VE HAD THAT! 04:20:29 * catseye prouds 04:21:00 (it contains three different artificial sweeteners, if memory serves) 04:22:44 -!- lament has joined. 04:43:07 and so i told him if he can't get his penis to behave, they're just gonna have to make him pay extra 04:45:08 -!- augur has joined. 04:45:28 but he just kept on sticking that thing everywhere, and i mean EVERYWHERE 04:52:04 o mai 04:52:08 * augur sticks it in oklopol 04:54:49 i'll respond when someone joins. 04:54:59 WELL I GUESS YOU JUST DID HUH 04:55:02 i mean 04:55:07 joined my virtual ass 04:55:23 unless i misunderstood 04:56:38 fags 04:56:57 that's not very nice 04:57:03 apologize 04:57:11 to whom? 04:57:15 the fags 04:57:20 me and lament 04:57:31 and that guy i aws talking about 04:57:33 *was 04:57:39 And yourself, apparently. 04:57:41 sorry, fags 04:57:57 The anthropomorphic cigarettes of the world forgive you. 04:58:16 why did lament have to apologize to himself? 04:58:33 apologize to whom? me and lament 04:58:36 i didn't apologize to myself 04:58:39 ... 04:58:40 oh 04:58:43 i apologized to fags 04:58:56 then why *and* 04:59:04 i already mentioned him 05:01:24 yeah that's right 05:01:26 you lost 05:01:35 and i wan 05:02:09 I was distracted by imagining you-slash-augur. 05:02:17 (With the emphasis on the slash) 05:02:25 lament: please apologize to GreaseMonkey 05:02:27 Gregor: so was i 05:02:29 aeroihg 05:02:31 *Gregor 05:03:36 what 05:03:48 i suggest you set your tab complete on "most recent" 05:03:58 GreaseMonkey: You have committed the crime of having your nick start with 'Gr' :P 05:05:45 GreaseMonkey: i would never do that, because it's not possible for someone to be stupid enough to make an irc client that uses alphabetical order 05:05:50 i'd be wasting my time 05:06:17 also what GreaseMonkey erm Gregor said 05:06:40 my dog seems to find braindrill interesting 05:06:56 or maybe it just wants to poop 05:07:50 -!- augur has quit (Read error: Connection reset by peer). 05:07:54 -!- augur_ has joined. 05:12:32 weechat's tab complete seems to default to 'most recent' 05:13:09 xchat's is ... weird. 05:13:13 o[tab] = oklopol 05:13:23 c[tab] = it gives a disambiguation list and doesn't complete at all 05:13:34 o[tab][tab] = olsner, for what it's worth 05:13:37 yeah but the first in my list is catseye 05:13:44 olsner: HI YOU TOTALLY WANTED TO BE PINGED 05:15:25 so how do I find that one Chopin tune I really like 05:15:37 It was in a ST:TNG episode once! 05:15:41 that's all I remember 05:15:50 you can probably find it from that 05:15:58 or you can hum it and send me a recording 05:16:10 well, it's not Noc. 20, and not Op. 9, i know that much now 05:16:46 catseye: Hit Memory Alpha. 05:16:49 http://memory-alpha.org/wiki/Chopin 05:16:59 You see? 05:17:05 it was background music, though 05:17:17 THUS, NON CANONABLE 05:17:18 Aaaaaw. 05:18:58 maybe i'll just have to borrow a compilation of his etudes from the library again 05:19:17 I'll just note that I'm the very model of a modern major general. 05:19:59 "Chopin's second set of Études was published in 1837, and dedicated to Franz Liszt's mistress, Marie d'Agoult, the reasons for which are a matter of speculation." 05:20:03 yes well 05:20:15 speculate away! 05:21:38 Threesomes. 05:21:50 The obvious conclusion! 05:22:23 catseye, also get the Ballades, Preludes, and Nocturnes to be safe 05:22:31 flippo: I' 05:22:48 I'm *pretty* sure I encountered it in his etudes. Not 100% sure, so, yes. 05:22:58 And WP does seem to have them all. 05:23:26 but it's audio is not working for me now 05:23:41 *its 05:23:48 :P 05:24:35 Oh man. 05:26:46 etudes: are they supposed to be difficult to play, or enjoyable? i guess both. 05:28:00 both 05:28:37 Huh. IPv6 makes mobile IP not suck. 05:28:49 So that one can have a roaming IP address. 05:30:40 simple puzzle: 6x6 grid, you're given domino tiles {(0, 0), (0, 1)} and {(0, 0), (1, 0)}, and you need to fill the grid in such a way that any line through the interior of the grid intersects a domino; possible? 05:33:42 i initially thought it was trivial, but took me ages to actually find concrete proof 05:33:53 (at least a minute) 05:34:22 (i) 05:34:31 (i'm not comfortable giving an upper bound) 05:34:35 (in mobile IPv4, packets to a roaming IP go to where they normally would be routed, and then those packets get wrapped and sent to the actual IP of the host by the "home agent". In IPv6, it works much the same except that every router is a home agent, and hosts are *expected* to be able to just wrap the packets themselves.) 05:37:54 the internet is such a mess 05:38:59 Retrofit on retrofit. 05:39:27 Oh, and shit hits the fan in a few months. Can't forget that. 05:40:03 in what sense 05:40:48 IPv4 addresses all gone. 05:40:56 oh! cool 05:41:25 i hate the real world, all things should be designed from scratch, never on top of old stuff. i wish there was a god. 05:41:32 i mean 05:41:51 hmm 05:41:56 To be fair, IPv6 has a lot of it designed from scratch. 05:42:06 yes it's pretty divine 05:43:34 well, i could not find it amongst the etudes, so maybe it is a nocturne. I do like this one though: http://en.wikipedia.org/wiki/%C3%89tude_Op._25,_No._11_(Chopin) and no. 6 is also nice 05:44:13 http://www.youtube.com/watch?v=124PxX6XPCM&feature=related i like this one 05:44:40 seriously though i don't really get this music, yet at least 05:46:01 well it's boring and crappy 05:46:15 well this song is pretty simple 05:46:19 not a good example 05:46:24 "death metal so pungent it made my laptop reboot" 05:46:27 well almost 05:46:33 i saved it by fiddling with the power cord 05:46:56 lament: you can actually tell that's random and not just complicated? 05:47:12 that would save my time! 05:47:27 what 05:47:54 or you just think it's really simple? 05:48:07 i think it's simple 05:48:10 the first riff is a pretty standard thing but i don't get the latter half 05:48:55 Liferea, you suck at podcasts SO HARD 05:49:02 some tech metal is really complicated, this is not it 05:49:07 good rhythm fux0ring is hard to do well. i still think it's hard to beat Rush 05:49:13 "Hmm. He double-clicked on the file for a podcast. Let's *delete it and redownload it*." 05:50:04 the part after :40 sounds completely random to me 05:50:08 for a while 05:51:19 * pikhq goes with "Fuck you, I'll try compiling Miro." 05:51:34 and i'll try sleeping 05:51:36 good night 05:51:40 n 05:52:01 -!- calamari has quit (Quit: Leaving). 05:54:16 lament: you don't happen to remember names of complicated tech bands? i chose this one because it's considered really insane. 05:54:30 no :( 05:54:40 i don't listen to metal 05:54:47 i know 05:55:38 that first riff sounds like someone added whitenoise to dimmu borgir 05:56:04 lament: You should. 05:56:35 life is too short to listen to all the music in the world 05:56:36 lament: what do you think of http://www.youtube.com/watch?v=s5_GzuM7ZiU ? 05:56:49 this one even i get 05:56:51 That's why you should be immortal. 05:56:55 Also, only the good music. 05:56:57 oklopol: it's nice 05:57:02 ?o 05:57:04 asfdoig 05:57:08 \o/ 05:57:08 | 05:57:08 /´\ 05:57:50 faceless is one of the few bands of this type i actually get, and still find them good 05:58:02 usually it's hours of listening and then realizing ah, it was crap all along 05:59:54 also i think i listen to this stuff because of the wrong reasons, because the same people who listen to these sensible ones listen to ones where you repeat the same riff for 5 minutes and the singer has a REALLY COOL GROWL. 06:00:07 maybe i should get better friends 06:11:38 -!- augur_ has quit (Ping timeout: 265 seconds). 06:12:15 Hah... Ocassionally this way too: "A is the best predictor for B". Yeah, probably, since B is _known_ to _cause_ A. 06:13:10 (and guess what field of "science" the example of this I ran into was from?) 06:15:38 That doesn't mean that A is the best predictor for B, since that statement alone doesn't say that nothing else causes A. 06:17:27 -!- augur has joined. 06:18:10 \o/\o/\o/\o/\o/\o/\o/\o/\o/\o/ 06:18:11 ¦ | | | | | | | | | 06:18:11 ´¸¨ |\/< |\/| |\/< /| >\/`\ 06:31:49 -!- Gregor has set topic: It is the nineties and there is time for esoteric topics in computing and programming languages. | http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 06:39:59 Aaand the Miro ebuild is the single most broken thing ever. 06:40:08 It essentially cannot build. 06:40:12 At all. 06:40:15 -!- MigoMipo has joined. 06:40:23 There is literally no configuration of Gentoo wherein it will build anymore. 06:40:35 That is so very fucked up. 06:52:10 -!- sftp has quit (Ping timeout: 240 seconds). 06:52:36 -!- sftp has joined. 07:08:25 -!- sftp has quit (Read error: Operation timed out). 07:08:46 -!- tombom has joined. 07:13:11 -!- oerjan has joined. 07:14:45 @tell oerjan The problem with the "non-self-similar fractal" of a triangle, square, pentagon... is that as n gets large, n-gons do tend to look... well, similar. 07:16:36 in some sense the problem is that up to a given level of approximation, there are only a finite number of shapes. 07:17:56 say if by approximation you mean n*n bit pattern, only 2^(n*n) ones. 07:20:48 -!- zzo38 has joined. 07:21:03 -!- sftp has joined. 07:28:37 -!- sftp_ has joined. 07:29:25 -!- cheater99 has quit (Ping timeout: 252 seconds). 07:29:30 -!- sftp has quit (Ping timeout: 272 seconds). 07:31:26 -!- MigoMipo has quit (Remote host closed the connection). 07:34:09 -!- FireFly has joined. 07:50:33 -!- tombom has quit (Quit: Leaving). 07:53:36 -!- zzo38 has quit (Quit: Error due to lack of fire and water.). 07:54:06 xkcd XD 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:08:45 Hahahaha 08:09:25 -!- FireFly has quit (Quit: swatted to death). 08:10:18 -!- atrapado has joined. 08:15:28 oerjan, what? xkcd is funny? *checks* 08:16:25 the new xkcd strip 08:16:41 wareya, new? you mean the last one? 08:16:52 the one up as of today 08:16:56 right 08:18:13 hah indeed 08:19:34 (don't forget the hovertext) 08:23:59 oerjan, of course not, what was Solomon known for again 08:25:01 ...bloody atheist :D 08:25:03 The baby-splitting. 08:25:08 fizzie, ah 08:25:16 oerjan, thanks :P 08:25:25 oerjan, but actually I'm agnostic :P 08:26:02 as in, if they manage to scientifically prove any religion I'm prepared to accept that it might be a viable theory 08:26:09 fat chance for that though :P 08:29:58 the only religion I know of that comes even close to not contradicting most of what we scientifically know today is Buddhism. 08:30:30 And that's why I would be a buddhist if I ever 'had to' pick a religion. 08:30:52 There are some supernatural flavors of buddhism, though. 08:31:37 wareya, hm? Well some of the seemingly supernatural stuff is stuff there is no evidence either way for. I mean, reincarnation, there is absolutely no proof in any direction there 08:31:56 -!- oerjan has quit (Quit: Later). 08:31:56 or what did you mean? 08:32:17 I mean the ones that worship the original buddha as a god, or that promise immediate effects of karma. 08:32:34 hm okay, I wasn't aware of such variants 08:35:11 wareya, in some aspects buddhism is more of a philosophy than a religion I'd say 08:35:46 It's still a religion 08:35:50 true 08:35:55 but less so than many other ones 08:35:58 even if it's philosophical instead of theistic 08:36:04 indeed 08:36:22 wareya this is why I said "in some aspects" 08:36:50 lol 08:37:50 wareya, you are not one of those nick changers right? 08:38:02 * Vorpal keeps thinking that wareya must be warringal (sp?) 08:38:29 I'm wareya 08:38:33 just and only wareya 08:38:37 ah okay 08:38:58 those persistent nick changers are confusing. I mean, I just permanently changed nick once since I went on irc 08:39:00 imagine a language where you can have negative sized variables 08:39:21 wareya, I'd love to, but then I'll miss the bus to university. So bbl! 08:39:46 Later 08:44:47 all kinds buddhism promise effects of karma 08:44:50 *kinds of 08:47:08 That's why I said immediate 08:53:57 regardless of it being immediate or not that's a religious thing 08:54:32 or at least supernatural 08:55:11 If the promises of karma's effects happen after reincarnation, then they're unarguable 09:00:34 http://en.wikipedia.org/wiki/Physical_characteristics_of_the_Buddha#The_32_Signs_of_the_Great_Man 09:20:44 hello sweethearts 09:25:41 What about that, lament? 09:53:46 # His sexual organs are concealed in a sheath. It also produces smegma with a fragrant odour. (Pali: kosohitavatguyho). 09:53:49 heheheh 09:54:24 lol 09:58:43 -!- lament has quit (Ping timeout: 240 seconds).