00:00:13 well, that worked 00:00:33 Vorpal: You should integrate -fguess-at-hard-math into the cfunge build process <-- what 00:00:40 Vorpal: see the line above 00:01:13 16*8=128 okay...since when is 128 a euro symbol >_> 00:01:15 ah yes made up 00:01:44 is that really 8859-1? 00:03:00 quintopia: no, someone mentioned the other it's windows-something-or-other 00:03:58 which is based on 8859-1, but fills in the 128-159 characters with its own values i think 00:04:41 then it's not really 8859-1... 00:04:48 I SAID IT WASN'T 00:04:56 i'm not complaining to you 00:05:02 i'm complaining to irssi 00:05:17 but those chars are useless i think, anyway 00:05:44 quintopia: oh. it's the recode_fallback setting 00:05:49 pikhq: Vorpal: xeyes running on Gentoo/Interix/WinNT, displayed on an X server running on Win32/WinNT: http://ompldr.org/vNzV6OA 00:06:21 i changed it to iso-8859-1 myself when changing to unicode, but it was windows-something before 00:06:28 -!- Behold has quit (Remote host closed the connection). 00:06:39 oh 00:06:47 "CP1252" 00:06:48 pikhq: EXCUSE ME, GAWP 00:06:55 which might be why we see different things 00:07:13 ^bf ++++++++++++++++[>++++++++<-]>. 00:07:13 00:07:20 there, no i see a euro sign too 00:07:36 -!- pikhq has quit (Ping timeout: 272 seconds). 00:08:01 ^bf ++++++++++++++++[>++++++++<-]>. 00:08:01 00:08:13 i think i'll keep the CP1252, someone (i think it was pikhq) said it was the defacto thing for irssi when not doing utf-8 00:08:23 now i see the double inverted @ 00:08:27 night → 00:08:35 quintopia: yay we switched settings ;D 00:08:48 *, now i see 00:09:07 Vorpal: oh wow! 00:09:12 "ps -A" will show windows processes on Interix 00:09:16 because ps is backed by the actual NT process tree 00:09:26 ^bf +[.+] 00:09:26 .. !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ ... 00:09:26 i'm going back to CP1252 also. at least it displays something meaningful there :P 00:09:46 oh wait 00:09:49 huh that didn't show right 00:09:58 no this one has a lot of cool characters at the end 00:10:03 maybe i'll stick with this 00:10:18 i guess that had so many strange chars that irssi thought it couldn't be cp1252 00:10:29 i doubt it 00:10:39 well maybe 00:10:47 who knows what heuristics it uses 00:11:20 or that it thought it was utf-8 00:11:32 ^bf ++[.+] 00:11:32 .. !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ ... 00:11:55 ^bf ++++++++++++++++[>++++++++<-]>[.+] 00:11:55 00:12:02 hm no change 00:12:04 oooooo 00:12:07 prettty 00:12:16 * quintopia sticks with 8859-1 00:12:38 * oerjan considers going back too 00:13:07 ^bf ++++++++++++++++[>++++++++<-]>[.+] 00:13:07 00:13:22 now at least the proper iso chars show right 00:13:59 like 00:14:09 00:14:17 00:15:29 -!- pikhq has joined. 00:15:36 pikhq: http://ompldr.org/vNzV6OA 00:16:05 i don't understand why they put mu in there but not pi 00:19:20 quintopia: SI prefix, i guess 00:19:31 elliott: :) 00:20:21 elliott: If I had need to use Windows as my main OS, I would probably have a similar setup. 00:21:53 pikhq: Now to replace cmd.exe with a decent terminal emulator. 00:22:01 -!- poiuy_qwert has joined. 00:23:34 For some reason houston estimate has now frozen on Feburary 2nd... 00:28:21 Ilari: all mathematically based estimates are obviously obsolete at this moment 00:29:21 they'll be useful for RIR depletion once the allocation actually gets made :P 00:29:23 [[The remaining hurdle was that several of the VM's low-level subroutines were written directly in GNU assembler, and not C++. Microsoft's toolchain uses a different assembler syntax, and I don't fancy writing the same routines twice, especially since the code in question is already x86-specific. Instead, I've decided to eliminate assembly code from the VM altogether. Factor's compiler infrastructure has perfectly good assembler DSLs for x86 and Po 00:29:23 C written in Factor itself already. 00:29:23 Essentially, I rewrite the GNU assembler source files in Factor itself. The individual assembler routines have been replaced by new functionality added to both the non-optimizing and optimizing compiler backends. This avoids the issue of the GNU assembler -vs- Microsoft assembler syntax entirely. Now all assembly in the implementation is consistently written in the same postfix Factor assembler syntax.]] 00:29:33 Factor is the most advanced language that nobody wants to use ever. 00:32:34 -!- Mathnerd314 has quit (Ping timeout: 246 seconds). 00:32:53 That is the correct answer for doing assembly in a Forth-like. 00:32:55 Also :) 00:33:07 Factor isn't a Forth-like. 00:33:22 hmm, what does it mean if you have PermitEmptyPasswords yes, but you can't log in to a user with no password via ssh? 00:33:26 results in "Access denied" 00:33:36 Concatenative stack-based language? 00:33:40 I'm calling that a Forth-like. 00:34:30 : add ( a b -- c ) 00:34:33 double { double double } "cdecl" 00:34:33 [ XMM0 XMM1 ADDPD ] 00:34:33 alien-assembly ; 00:34:33 1.5 2.0 add . 00:34:33 => 3.5 00:34:36 pikhq: "Joy-like" is far more appropriate 00:34:51 pikhq: Forth is based around peeking and poking random memory locations. Forth code has no structure, no quotation, no lambdas, no combinators. 00:35:03 Joy and Factor are heavily based around purely-functional combinators and quotations. 00:35:16 As such, they bare little relation to Forth other than being concatenative. 00:35:46 Oh, it's not that low-level? 00:35:58 pikhq: Indeed. 00:36:07 pikhq: In fact, Factor does not let you have words with inconsistent stack effect. 00:36:17 (e.g. "[ 2 ] [ 2 2 ] if" 00:36:24 ) 00:36:28 hmm, what does it mean if you have PermitEmptyPasswords yes, but you can't log in to a user with no password via ssh? <-- perhaps empty is not technically the same as none, in this case? 00:36:28 Okay, then. At most, Forth-inspired. Which is of course short for concatenative. :P 00:36:37 oerjan: no, it has an empty password :P 00:36:42 pikhq: And functional combinators like "bi" make up a large part of Forth code. 00:36:45 Erm. 00:36:46 Factor. 00:37:01 elliott: ok, disregard wild speculation then 00:37:20 I'm just going to give the account a password :P 00:38:30 elliott: You could just give it an SSH private key... 00:40:12 pikhq: this is just for local use though 00:40:58 elliott: Kaj? 00:41:11 pikhq: ? 00:41:18 And? 00:41:53 pikhq: well lazy. 00:45:29 hmm, how the hell does ssh decide what your HOME is? 00:46:35 Normal login process? 00:47:13 pikhq: yeah, how does that work, there's no /etc/passwd on interix :) 00:49:15 ... 00:49:19 What the fuuuuck. 00:49:31 Clearly the interix libc does magic. 00:49:32 pikhq: ? 00:50:04 pikhq: prolly, thing is, when i start interix from cmd.exe or whatever it gets my home directory that i changed since installing thingybob...gentoo prefix 00:50:08 but ssh, it uses the old one 00:50:10 and i want to fix that 00:52:19 pikhq: I feel my inclination to work on Kitten increasing. 00:52:35 Mostly because this NanoXP installation's usage has actually been smoother than Ubuntu and that's just not right... 00:54:01 pikhq: HAVE I MENTIONED HOW EASY IT IS TO CREATE A KITTEN PACKAGE LATELY 00:56:38 mmm kittens 00:56:47 i <3 kittens 00:57:09 -!- pumpkin has changed nick to HaskellLove. 00:57:40 HaskellLove: no haskell love allowed! 00:58:38 -!- HaskellLove has changed nick to copumpkin. 00:58:52 copumpkin: that's better 00:59:05 copumpkin: hey you should give me +o on #haskell, that would be a brilliant idea 00:59:15 what fo', foo'? 01:00:35 to spread a little joy and chaos, obviously 01:01:56 copumpkin: ah, but to be able, for a day, to show the world love. 01:02:05 with my cuddly iron fist. 01:02:45 :) 01:06:56 I like the part where Windows let me just choose not to enter a serial key and it didn't complain. 01:07:03 "Oh, you don't want to? That's... that's okay, I guess." 01:25:26 elliott: wat 01:25:34 pikhq: ? 01:25:56 Not entering a serial key? 01:26:22 pikhq: Yes. 01:26:33 pikhq: I think the iso might be cracked or something. Although IIRC it's an OEM ISO of some kind. 01:27:23 elliott: That's quite abnormal. 01:27:38 pikhq: Yes, well. 01:33:34 pikhq: Next up: Gentoo Prefix on Win7! 01:34:02 Meanwhile: http://i.imgur.com/UAjbo.jpg 01:34:37 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 01:41:29 -!- j-invariant has quit (Quit: leaving). 01:45:51 pikhq: I have come to the conclusion that all the POSIX layers on Windows are braindamaged. 01:46:05 Haha... Binary file format with a text header (so that the header stuff would be easily editable with a text editor)... 01:46:25 pikhq: Even Cygwin wants to exist in its own universe by having its own interpreters for Python, etc. 01:46:49 pikhq: So if all you want is to be able to use bash, coreutils, gcc, etc. on Windows, you're basically out of luck. 01:51:32 elliott, what does MinGW do? Or is it not a POSIX layr 01:51:34 layer 01:51:49 MinGW is just gcc-for-Windows; its POSIX layer is MSYS, which is a bad, old, outdated fork of Cygwin. 01:51:50 MinGW is a nothing layer, it's just a bunch of ports. 01:52:36 The basic problem is that Cygwin tries to be "too much" ... meaning that it utterly fails to integrate with command-line Windows programs. 01:52:38 (e.g. darcs binary) 01:55:08 Also it maintains its own home directory which is just silley. 01:59:04 I believe that decision predates Windows having such a concept. 01:59:49 Gregor: Probably... but hysterical raisins are rarely good justifications for not /fixing/ something. 02:00:03 If you don't break minor compatibility every decade or so, your software is never going to get any better. 02:00:49 Gregor: ...besides, My Documents has always existed. 02:01:13 The fact that its name is cringe-worthy (well, was; it no longer exists) doesn't mean it isn't a home directory :P 02:01:34 ... Well, at least until text editor corrupts the binary part when editing the text part... :-) 02:01:39 There weren't per-user home directories in 9x, although there were (poorly-implemented) users. 02:01:52 Gregor: Yeah, but nobody used the multiple users. 02:02:04 Gregor: Although maybe the sort of people who use Cygwin did. 02:02:22 Perhaps they called one of them "root", and refused to install any software with their (equally-privileged) own-name account. 02:02:32 -!- copumpkin has joined. 02:03:51 Oh wow, in 1999 Cygwin was released as a commercial product. 02:04:05 I cannot imagine a bigger letdown of a purchase. 02:05:10 elliott: Dude, it got you a Win32 build environment before such a thing was cheap-to-free. 02:05:32 pikhq: No. Cygwin does not and never has provided a Win32 build environment. 02:05:36 It provides a *Cygwin* build environment. 02:05:54 (OK, you can do -mwindows and some hackery... but I think it still depends on cygwin1.dll in the end.) 02:06:00 It can build native Win32 programs. 02:06:03 (And you don't get Win32 API headers, of course.) 02:06:08 pikhq: *If* you have the headers... 02:06:27 You can build native Win32 programs on Cygwin, and its installer can install the relevant headers etc. 02:06:29 Haven't those been readily available? 02:06:32 (From MingW) 02:06:40 *MinGW 02:06:40 elliott: Dude, it got you a Win32 build environment before such a thing was cheap-to-free. 02:06:43 MinGW does that. 02:06:45 So this only applies *before* MinGW existed. 02:06:56 Before MinGW existed, Cygwin was not a viable environment to build Windows programs. 02:07:03 Yup 02:07:39 pikhq: And I'm sure Wacom or something was available pretty cheap before Cygwin was released in 1999. 02:07:52 ("not free!" -- neither was Cygwin.) 02:09:04 elliott: Y'know what? Fuck Win32. As a whole. 02:09:41 pikhq: Totally...but I can't really shake this feeling of irritation until Windows in a VM isn't outperforming its host. 02:10:18 Ooh, perhaps I could advertise Kitten like that: "The only Linux distribution that lets you watch Windows perform worse!" 02:11:30 elliott: You *could* strip down a Linux distro until it's as featured as Windows XP. 02:11:44 pikhq: Windows XP isn't featured? 02:11:52 By comparison. 02:11:56 I doubt removing random commands would make a Linux distro go faster. 02:12:06 pikhq: It's X11, really. Sigh. 02:12:08 Removing most of a DE would, though. 02:12:41 pikhq: In fact, if someone wrote an Xlib replacement that somehow talked to Win32, and then removed every Windows program, it'd probably make any X11 program 10x snappier :P 02:13:12 That would be, uh, an X server. 02:13:21 pikhq: No. I said Xlib replacement. 02:13:39 It would be a lot *of* an X server, then. 02:13:41 pikhq: Note the lack of message generation/parsing and network round-trips. 02:13:51 IIRC Xlib lets you directly generate messages. 02:13:55 pikhq: Yes. But it would differ in the important ways. 02:14:02 OK, don't implement that part :P 02:14:07 And you know full well that X on localhost uses shared memory, anyways. 02:14:24 Still, the message generation and parsing is ridiculous. 02:14:29 Sure... but it's still more overhead than sticking the GUI in the kernel :P 02:14:45 (Yes, this is architecturally unsound, but so is the rest of Linux.) 02:15:02 There's really not much overhead in sticking the GUI in the kernel (see: Windows). 02:15:29 Perhaps Wayland will be better, but I'm sceptical. 02:15:37 At least compared to X11, which has more context switches then directly calling into the kernel. 02:15:44 I fear that a lot of window managers will be lost in the tradition as Wayland is much less flexible there. 02:15:54 elliott: Actually, it's much more flexible. 02:15:57 Anyone want to bet on whether Ratpoison will work in/be ported to Wayland? 02:16:03 pikhq: Programs decorate their own windows. 02:16:04 Q.E.D. 02:16:29 elliott: s/decorate/can decorate/ 02:16:45 pikhq: s/can/will/ 02:17:30 pikhq: Anyway, WMs still need porting. 02:18:18 pikhq: And of course the sun will go cold before a lot of people abandon X11, so I imagine that for the next N years, anything other than Gtk/Qt desktop programs will be relegated to running under rootless X. 02:19:25 elliott: Still quite likely an improvement. 02:19:38 elliott: After all, moving Gtk and Qt over gets you 99% of what normal people use. 02:19:46 With X as the legacy technology. 02:20:11 pikhq: Yes -- but I'm not normal. OK, so most things I use are Gtk, but, dammit, WMs. 02:20:39 *In theory*, writing a Wayland compositor will be no harder than writing an X WM. 02:22:20 pikhq: *In theory*. But anyway, it's not the difficulty, it's whether it will happen. 02:22:31 pikhq: Want to bet on whether dwm/wmii will be officially ported to Wayland before the decade's out? 02:23:00 pikhq: How about ratpoison, now that it's abandoned for Stump-"Oh-god-SBCL-is-a-royal-pain-in-the-arse"-WM? 02:23:20 (Oh dear, turning every name into a comment on what it's naming. Am I turning into tuomov?) 02:23:55 It must be said that Wayland's *rendering model* is at least much better than X's. 02:24:27 Here is how you do graphics on Wayland: write to buffer. Tell compositor that the buffer changed. 02:24:42 pikhq: Here's how you do graphics on Plan 9: Write to /dev/screen. 02:24:45 There is no step 2. 02:25:00 elliott: Yes, yes, Plan 9 does it all better. 02:25:30 pikhq: Here's how you write a WM on Plan 9: Set up /dev/{screen,keyboard,mouse} (IIRC) in child processes to point to buffer. Decorate windows however you wish, spit out the result to /dev/screen. 02:25:38 Erm, just /dev/screen is a buffer. 02:25:47 /dev/keyboard and /dev/mouse you just filter on whether the window is active or not. 02:26:50 Oh dear *God* the context switches you get with a compositing manager. 02:26:54 (on X) 02:27:14 pikhq: Plan 9 has no compositing because fuck you. 02:27:31 Let's say you click on a button in a window. 02:27:55 Kernel → Server → Client → Server → Compositor → Server → maybe kernel 02:28:47 Plan 9: kernel -> wm -> window 02:28:51 I think. 02:29:07 Oh, wait. 02:29:11 *wm -> kernel -> window 02:29:35 Kernel notices mouse event, writes it to /dev/mouse, WM reads it, decides to write to the window's /dev/mouse, does so via the kernel, the window reads it via the kernel, and handles it. 02:30:53 pikhq: I'M SORRY, I CAN'T HEAR YOU, THERE'S TOO MUCH PLAN 9 IN MY EAR. 02:31:50 pikhq: SAD THING OF THE DAY: The wonderful ratpoison logo was changed. 02:32:16 THOSE RATS POISONED THE LOGO 02:32:31 pikhq: Wonderful old logo: http://upload.wikimedia.org/wikipedia/commons/9/9d/Ratpoison.png 02:32:37 pikhq: Rubbish new logo: http://upload.wikimedia.org/wikipedia/commons/3/3d/Ratpoison_new.png 02:32:39 Awww. 02:35:19 Why'd you switch to xfce again? 02:36:26 I don't recall. 02:37:10 pikhq: Oh, switching to Debian? 02:38:40 No, it was before that. 02:39:23 Series 2 of Yogscast Minecraft SMP starts tomorrow! 02:39:36 Maybe they'll set the server to hellworld rather than wait for fixed Nether portals. Well, presumably. 02:40:44 pikhq: Have you watched the Yogscast. 02:40:52 elliott: Should I? 02:41:07 pikhq: Oh god yes. It's hilarious and amazing. 02:41:34 pikhq: Start with the plain Survival Multiplayer videos, then go on to Survival Island. You can skip the other misc. videos they have if you want -- they're just filler -- but they *are* amusing filler. 02:41:59 pikhq: Note that the series isn't strictly a Let's Play, it's kind of scripted... oh, I can't explain, just watch them. 02:42:47 pikhq: A lot of the time it's two British people doing stupid things and reacting hilariously dimly, and you can't go wrong with that. 02:43:47 pikhq: Lemme get you a playlist link. 02:44:01 pikhq: http://www.youtube.com/view_play_list?p=F60520313D07F366 02:53:00 pikhq: ARE YOU WATCHING also i thought this was in -minecraft 02:58:35 pikhq: Should I write a WM or resist the temptation. 03:04:41 kitten needs one 03:04:52 quintopia: Oh certainly, but I might just ship dwm or wmii or something. 03:05:26 quintopia: Currently I just need to figure out how to make the PUREST FORM OF A PACKAGE MANAGER. 03:06:41 i think the purest form would be no package manager :P 03:07:04 quintopia: that's not the purest form. 03:07:09 just a database filled with websites where you can get the source 03:07:25 it's free from dependencies 03:07:33 free from precompiled binaries 03:08:06 quintopia: that lacks such things as "uninstallation" 03:08:14 it never puts stuff in places where you can't find it, because you had to put everything everywhere yourself 03:08:20 ye 03:08:21 s 03:08:28 it's free from that too 03:08:32 * Sgeo emotionally ills 03:08:32 completely pure 03:09:23 Sgeo: I don't care how bad you're feeling, (1) ill is not a verb, and (2) "emotionally ill" is a silly phrase. 03:09:55 what amuses me is that my iphone corrects ill to i'll 03:10:04 Emotionally, I'll... 03:10:21 elliott: Yay British people reacting dimly. 03:10:27 copumpkin: iphone autocorrection is both the only thing that makes the keyboard even vaguely acceptable, and the thing that makes typing correctly with it nearly impossible 03:10:27 My Android turns Il to I'll, but Ill stays Ill 03:10:34 elliott: Oh, I think I've seen a couple of their videos. 03:10:40 pikhq: Wait until it gets a plot. 03:10:43 As I feel like I need to type out i l l, it gets really annoying 03:10:44 pikhq: (Yes, it gets an overarching plot.) 03:10:51 (Impossible to explain, just keep watching it in order.) 03:10:54 elliott, what is "it"? 03:11:00 my android phone does none of the above because i turned that shit off 03:11:06 Sgeo: The Yogscast: Minecraft Survival Multiplayer. 03:11:20 i have a new life philosophy which is not to type on phones 03:11:28 *which is to not 03:11:44 lol 03:12:30 i like how that's one of the cases where you must split the infinitive for it to parse correctly 03:12:44 I split infinitives like ATOMS. 03:12:48 or use the present participle i suppose 03:12:50 (In large, well-funded research facilities.) 03:14:05 quintopia: um i thought not splitting the infinitive had the same meaning in that case... 03:14:21 oerjan: you're wrong 03:14:50 might depend on stress when spoken? 03:15:03 my new policy is not to type on phones, i.e. my policy is something other than "type on phones" 03:15:12 admittedly the stress could change the meaning to the intended one, yes 03:15:13 it's a bit subtle 03:15:25 "not to" and "to not" are almost equivalent when you're speaking at conversational speeds anyway 03:15:40 hooray for redundancy in language 03:17:37 (to not type) seems like a verb, while not (to type) seems like a negated verb 03:18:46 Sgeo: "my policy (is not) to type" is how it parses by default 03:18:53 whereas I want "my policy is to (not type)" 03:19:12 Ooh, that's a non-equivalent parsing 03:21:58 "Find some coal", eh? Well. Who needs coal when you've got a hole? 03:21:58 pikhq: I might keep developing Kitten in a VM. 03:22:30 Sadly, this predates charcoal. 03:22:52 Pick on wood = :( 03:23:10 pikhq: They get more competent as time goes on. :) 03:23:16 pikhq: You're looking through the eyes of the first-time player. 03:23:29 Lewis (the other one) is ... _meant_ to be more competent :P 03:23:31 elliott: I read about it first. :P 03:23:40 pikhq: Yes, but instead of the wiki, Simon has Lewis! 03:23:47 And Lewis is hilarious, unlike wikis! 03:26:48 * oerjan googles "is not to" 03:26:53 "The only winning move is not to play." 03:27:27 "The important thing is not to stop questioning." 03:27:49 oerjan: "is to not" reads better, anyway 03:28:07 the next example agrees with quintopia: "Your task is not to seek for love" 03:28:48 "The object of war is not to die for your country but to make the other bastard die for his." 03:28:55 2-2 on thos 03:28:57 *e 03:29:13 yeah 03:29:17 ambiguity ftl 03:29:23 i skipped "The main thing is not to install Flash!" 03:29:57 pikhq: Top comments on Part 3: 03:29:58 i die inside when he breaks dirt with a pickaxe. 03:29:58 shinyaron 5 days ago 84 03:29:58 I cringed when he used the pick-axe to dig dirt. 03:29:58 SaotaTheSangheili 1 week ago 36 03:30:13 "The scope of this document is not to tell you how to install and set up a. LATEX system" 03:30:19 3-3 03:31:05 does dirt wear out pickaxes? or is it just the inefficiency compared to shovels? 03:31:34 quintopia: everything wears out tools 03:31:48 yes 03:31:50 quintopia: we might suspect that the "rule" against splitting infinitives is the reason why it's ambiguous in the first place 03:31:56 oerjan: well consider that "is not to" is basically a typo of sorts 03:32:00 i meant at an unreasonably fast rate of course 03:32:05 although given time it will probably become equivalent 03:32:11 quintopia: well picks are precious 03:32:12 elliott: even in the wargames quote? :D 03:32:15 quintopia: it's just OCD :) 03:32:30 oerjan: well, not typo. just misuse. but ofc misuse is just innovation a few years early. 03:32:35 quintopia: Using the wrong tool will wear it out doubly. 03:32:48 er, will it? 03:32:50 oerjan: it's not really a rule. people just say whatever sounds best. 03:32:55 elliott: Yes. 03:33:10 elliott: the thing is that some people have considered "is to not" to be wrong in principle, even it's a misguided rule 03:33:20 oerjan: yeah, but they're stupid 03:33:26 *even if 03:33:42 Split infinitives. Only in English. 03:33:44 oerjan: "To not type is my new policy" is the correct way or something i guess 03:33:49 i'll spi 03:33:49 [Note: Possibly not true] 03:33:52 *split YOUR infinitives 03:34:26 elliott: well "to not type" looks ugly to me... 03:34:37 oerjan: looks fine to me, you're insufficiently native 03:34:39 like indians! 03:34:53 elliott: or maybe i'm just _old_ 03:35:16 oerjan: yeah you're what, 57? 03:35:39 man, i'm only going to be like 45 to 55 when oerjan dies 03:35:45 that's sad :( 03:36:01 oerjan: sign up for cryonics kthxbai 03:36:09 otherwise who will make puns after the singularity? 03:37:05 Sgeo: other germanic languages also have splittable infinitives 03:37:25 oerjan you haven't yet reacted to my perfect argument for cryoncis 03:37:28 "other"? 03:37:36 LIKE SAY GERMAN 03:37:38 Is English considered a Germanic language? 03:37:46 yes. 03:37:50 we're all germans, thanks to wwii 03:37:57 english may be the only one which has a "rule" against doing it though 03:37:59 oerjan i get the feeling you don't think much of my argument 03:38:51 elliott: i am not going to sign up for cryonics while i don't have a good feeling about living forever 03:39:05 oerjan: then who will make puns after the singularity? 03:39:27 also, it's pretty much assumed that suicide will be an option in any post-revival scenario, but whatever :P 03:39:28 PUNS 03:40:18 elliott: the possibility of a crapsack singularity is not something to be brushed aside 03:40:41 oerjan: a crapsack singularity isn't just going to be a naff, boring after-life, it's going to be paperclip-tiling 03:41:04 oerjan: a singularity that results in just a "naff" post-singularity environment wouldn't revive cryonics patients 03:41:09 elliott, it could be a hellish afterlife 03:41:16 Sgeo: "afterlife"? 03:41:20 what has that got to do with cryonics? 03:41:28 oerjan: a crapsack singularity isn't just going to be a naff, boring after-life, it's going to be paperclip-tiling 03:41:38 that doesn't answer my question 03:41:47 your statement made no sense 03:41:51 I just decided to use the word you used 03:41:57 oh. 03:42:21 What I meant was, it might not be paperclipfilling. It could be deliberately torturing every single human who ever lived that the AI can access 03:42:26 Sgeo: the only way a superintelligence would both keep humans alive *and* revive cryonics patience to experience hell would be if it was deliberately and explicitly programmed to do so 03:42:37 elliott, or so you think 03:42:39 there's no way coherent extrapolated volition etc. could backfire in that way 03:42:43 Sgeo: no, or not "so I think" 03:42:55 it turns out that you can apply sound logic without having to say "or so I think" 03:43:27 the probability is lower than the probability that cryonics is impossible, anyway 03:45:28 oerjan: anyway, the (negligible) risk is worth it for pun delivery 03:51:38 DON'T PUNCH THE FURNACE AWAY 03:51:53 pikhq: ...Furnace? 03:51:56 I'm rewatching and I'm only on part 3. 03:51:58 You watch too fast! 03:52:26 Yeah. 03:52:53 I'll have to watch that when I'm not on the verge of tears 03:53:17 Sgeo, either tell us what's wrong, or shut up. 03:53:19 Preferably the former. 03:53:40 I think I seriously offended a close friend talking about religion 03:53:46 We usually talk about religion though 03:53:50 Or, well, often 03:54:09 If you said something insensitive, apologise. If they're just being stuck up, don't. 03:54:20 If they don't accept your sincere apology, they're a dick. 03:54:21 Problem solved. 03:54:36 I also want to let these guys know that spiders are neutral in light... 03:54:56 pikhq: They figure it out in the $many main series episodes and $many Survival Island episodes ahead. :p 03:55:01 pikhq: (Survival Island is part of the main plotline.) 03:55:06 pikhq: THAT'S WHAT THEY WANT YOU TO THINK 03:56:12 pikhq: Here, have a package installer: $pkg/preinst && tar -C / -xf $pkg/root.tar && $pkg/postinst 03:57:23 I pretty much asked "We are still friends, right?" 03:57:39 I don't think what I said was insensitive, so much as.. made me seem like a brick wall to her 03:58:16 Sgeo: Friends who won't accept sincere apologies when misunderstandings come up = not real friends. 03:58:27 Friends who do = friends. 03:58:29 I didn't quite apologize 03:59:23 Sgeo: What did you say...? 03:59:44 It wasn't really one thing 03:59:55 Sgeo: Well, summarise. 04:00:07 It was the entire discussion. She pretty much said that I hold the things I read online to a different standard than what she holds as true 04:00:43 Eh? 04:00:57 Sgeo: I asked what you said, not what she said. 04:01:08 (Even if that's what she said hur hur) 04:01:31 -!- azaq231 has joined. 04:01:39 I pretty much described how I learn about experiments that occur, hearing about those things, reading about research, etc. 04:01:43 -!- azaq231 has quit (Changing host). 04:01:43 -!- azaq231 has joined. 04:01:59 Earlier in the day, I was saying that I don't consider the Bible to be good evidence 04:02:06 Sgeo: OK. So you said absolutely nothing wrong. 04:02:10 -!- azaq23 has quit (Ping timeout: 240 seconds). 04:02:11 You didn't impose your views upon others. 04:02:16 You didn't insult anyone for their views. 04:02:29 elliott, and I'm not entirely sure if she's "done with" me, or just the discussion 04:02:31 And you didn't even say anything even vaguely controversial beyond not being religious. 04:02:33 Not your fault that she has a stick logged firmly in anus. 04:02:52 Lodged, even. 04:03:00 Sgeo: Look -- if she'll stop talking to you for saying those perfectly valid, non-offensive things, then she wasn't your friend in the first place. 04:03:06 That is Not Cool. 04:03:59 Sgeo: Even by /American/ standards you have nothing to apologise by; your country isn't quite so bad as to consider "I don't believe the Bible to be factually accurate" as taboo (well, unless you're in the deep south). 04:04:02 *apologise for; 04:04:38 From her perspective, I'm holding what she believes to a different standard from what I believe 04:04:40 If it was "I don't like religion and I think it's bad and I don't think anyone should be religious"... that would be a stupid thing to say to someone. But you didn't say that or anything of the sort, and you've said nothing wrong. 04:05:04 Sgeo: Her not talking to you for that is just the same as you not talking to someone for being Christian. 04:05:21 elliott, it has nothing to do with the raw fact that I'm an atheist 04:05:24 "I think your beliefs are wrong so we're not friends any more" = asshole. 04:05:29 Sgeo: Then what? 04:06:01 TAKE YOUR COAL OUT OF THERE YOU'RE BURNING COAL FOR NO REASON 04:06:02 I think it would be more comparible to, after a debate, me not being friends with someone because they completely ignored my argument about something 04:06:18 Oh, okay, they're done wasting it. Good. 04:06:27 Sgeo: That's just as stupid... 04:06:46 -!- oerjan has quit (Quit: leaving). 04:06:48 Sgeo: #1 mistake in religious debates is to take the other side as absolutely wrong 04:06:58 99% of the time, neither side can convince the other 04:07:08 #2 mistake in religious debates is having one 04:07:11 copprophilia? 04:07:17 quintopia: not true 04:07:23 it is entirely possible to have a cordial religious debate 04:07:27 I've had many 04:07:28 copprophagia 04:07:31 Sgeo: Well, anyway, regardless of whether you should apologise or not (I think definitely not), there are two possibilities: either she'll keep talking to you, or not. In the latter case, you have two options: Accept it, or apologise. If you apologise and she accepts it, you've reduced it to the first situation. If you apologise and she doesn't accept it, you don't want to be friends with her anyway. 04:07:37 but both parties are involved for the sake of the debate 04:07:43 and not for the sake of convincing the other side 04:07:45 Have I expanded the decision tree enough do you think? 04:07:54 coppro: then let me add "with strangers on the internet" 04:08:02 quintopia: ok, that's usually a mistake 04:08:08 but that's not what we're talking about with Sge 04:08:12 ah 04:08:16 Sgeo is obvs not talking about stranger on internet 04:08:19 Sgeo: apologize profusely 04:08:28 make it clear you respect her beliefs 04:08:40 (if this would be a lie, learn why that's dumb, learn to respect her beliefs, then tell her) 04:08:51 Sgeo: anyway there is no reason to cry over that, either it's easily resolvable, or she's not a good friend anyway. 04:08:55 and attempt to maneuver to an agreement to disagree 04:09:09 I'm hoping the reason she's not responding to me right now is either that she's busy, or maybe she'll just talk tomorrow or something 04:09:12 She hasn't blocked me 04:09:26 Maybe I just need to eat 04:09:36 That is indeed a requirement of human life. 04:22:55 pikhq: What part are you on now, 20? :P 04:25:49 elliott: 7. 04:25:50 -!- augur has joined. 04:25:53 The pyramid. 04:26:02 Ah, edging towards THINGS HAPPENING. 04:26:05 Where it becomes clearly at least forward-planned. 04:27:23 It occurs to me where I saw an interesting discussion she might just have wanted to learn about what I think 04:29:21 pikhq: You know what's awesome? dmenu. 04:29:44 elliott, that looks like a lojban word 04:30:33 -!- Mathnerd314 has joined. 04:31:14 pikhq: The KITTEN DESKTOP ENVIRONMENT's start menu: dmenu loaded with all the programs on the path, plus the history patch (ordered by most frequent use). 04:34:01 GOD DAMMIT YOUTUBE 04:34:08 WHAT 04:34:12 THE BUFFER IS MUCH LARGER THAN WHAT I'VE SEEN SO FAR. 04:34:19 STOP REQUIRING LARGER BUFFERS. 04:36:30 pikhq: Use an HTML5 YouTube player extension like I do. :p 04:42:37 pikhq: Question. What's a decent terminal _that handles multibyte_? 04:42:44 That isn't tied to a desktop environment. 04:44:02 elliott: :/ 04:44:09 pikhq: That's a "none", then. 04:44:14 Yeah. 04:44:18 I wonder if st's multibyte support has improved? 04:44:22 I assign you to go and check. 04:44:39 pikhq: 2 months agoAurélien Aptel utf8 support! print text in delicious unicode greatness! all hail to the glorious Damian Okrasa for the patch!changeset | files 04:45:00 pikhq: You should try it again! 04:45:03 http://hg.suckless.org/st/archive/tip.tar.gz 04:46:10 pikhq: INSUFFICIENT APPRECIATION OF MY RESEARCH 04:47:44 You should be able to smelt mossy cobblestone into mossy smooth stone. 04:47:53 Or make mossy tools. 04:47:59 :P 04:49:00 pikhq: EXCUSE ME ST DOES UNICODE NOW 04:51:36 :) 04:51:56 pikhq: HAVE YOU TESTED 04:53:03 pikhq: 04:54:17 -!- zzo38 has joined. 04:55:21 -!- zzo38 has set topic: Impossible House | http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 04:55:31 this house is possible 04:55:34 Today I received a game in the mail. 04:55:39 -!- elliott has set topic: anything is possible house http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 04:55:41 is it a hat game 04:55:42 zzo38: hey 04:55:46 you removed my formatted logs 04:55:55 does urxvt not handle multi-byte then? 04:56:02 -!- zzo38 has set topic: anything is possible house | http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 04:56:03 -!- elliott has set topic: anything is possible house | http://208.78.103.223/esoteric/ | http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 04:56:27 elliott: No, it is not a hat game. It is a cross between a card game and a fighting game. 04:56:30 Okay, well, it does... 04:56:33 i prefer hat games 04:56:34 That being the whole point. 04:56:35 pikhq: have you tested st yet 04:56:41 http://hg.suckless.org/st/archive/tip.tar.gz 04:56:52 oh, like Yu-Gi-Oh. 04:56:57 where you throw cards in the air 04:57:01 and then have a fistfight 04:57:04 my favorite game 04:57:18 :D 04:57:21 No. Not like that. 04:57:27 yes like rhar 04:57:58 The game has ten decks, with fifty-six cards each, although two of them are removed from the deck before play begins. 04:57:59 -!- quintopia has set topic: anything is possible rhar | http://208.78.103.223/esoteric/ | http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 04:59:17 pikhq: tested yet 04:59:59 There are no rares and no random packs. The cards that are not removed consist of Ace to King in each of four suits, and two jokers; but each card also hasa picture and two special effects depending on which direction you play the cards. 05:01:16 I wonder how much of this teariness is just caused by me being hungry 05:01:23 All I ate today was a 440 calorie danish 05:02:03 in which Sgeo discovers that eating is not optional 05:02:30 yeah 05:02:31 it is 05:02:35 i would know 05:02:40 i know an anorexic 05:02:45 she cries everyday 05:02:49 *anoretic 05:03:10 there was an anorexic at the unit. it was uh, interesting 05:03:27 the unit's advanced psychiatric treatment consisted of telling her to eat until she ate 05:03:41 it...was...not terribly effective 05:03:51 -!- Vorpal has quit (Ping timeout: 272 seconds). 05:03:54 damn 05:04:05 she was on a feeding tube pretty often 05:04:08 kinda sad 05:04:17 treatment for anorexia doesn't even suck that bad in america 05:04:22 My parents threatened me with a feeding tube once 05:04:41 wtfbbq. 05:04:43 No, seriously. 05:04:47 wtf. bbq. 05:04:50 Sgeo: yes but we've established on many occasions that you're parents are incompetent psychos who shouldn't be allowed to breed 05:04:52 mmmm 05:04:53 bbq 05:04:56 well ok, so that line just established it far more 05:04:58 Yes. 05:05:00 i concur with Gregor 05:05:10 Sgeo: move the fuck out already 05:05:24 elliott, when I said parents, I wasn't referring to my step-mom 05:05:26 *your 05:05:33 Sgeo: i am aware of that fact 05:07:08 Gregor: do you have any more more music similar to superturing? 05:07:19 Considering that I want to try F# at some point, should I cancel the VS2008 install and install VS2010? 05:07:19 X-D 05:07:23 That is such an insult to Gregor. 05:07:32 Mathnerd314: Opus 13 is like SuperTuring, perhaps even more cheesy though! 05:07:43 Sgeo: TOPICCHANGE 05:07:45 Mathnerd314: http://codu.org/music/vg/ is the only other electronic music I've made. 05:07:56 elliott: you're good at this insulting gregor thing 05:08:08 tbh though i think all of Gregor's music is like 05:08:12 ultimate cheese 05:08:20 it's hilarious, he pretends to have talent so well 05:08:26 great troll 05:08:27 i hear that gregor couldn't figure out how to use a non-piano instrument...not even a player piano. 05:08:36 lol he can't play the piano 05:08:49 i meant for orchestration 05:08:50 elliott: am I missing something, or is this just general insanity? 05:08:55 I just poke keys and go "zomg sounds it's SATAN D-8" 05:09:01 xD 05:10:56 woot, I'm up to 65 karma on mathoverflow 05:11:14 one mathoverflow point = 1000 stackoverflow points 05:11:36 now sleeeeeepsuckitudylesseryiminy 05:11:46 night 05:11:48 kjkgjlklf;'\ 05:11:51 iy960rpe;d.cv,mbhjy69504[ws'c.v,gkyi69043[ 05:12:00 /kick elliott sleep 05:12:04 copumpkin: and 1000 stackoverflow points = $0 ? 05:13:11 pff, who needs money when you have karma 05:13:39 with all my newfound stackoverflow credibility, I can tell lowly programmers that the solution to their programming problem is to clean my house and drive me around 05:13:43 and buy me groceries 05:16:08 -!- elliott has quit (Ping timeout: 240 seconds). 05:19:10 INDEED 05:29:42 Gregor: Maybe you should write more music, write John Stump style music. Probably GNU Lilypond can do that. 05:30:02 GNU Lilypond can't write music :P 05:30:20 You can use GNU Lilypond for writing music. 05:30:45 You can use GNU Lilypond for /notating/ music. 05:30:57 Your files are in GNU Lilypond, that's what I saw, I think. 05:31:21 Yes, that's what I use for notation. Notating music != writing music. 05:32:01 Then make a John Stump style music and notate it with GNU Lilypond. 05:32:45 I read that DVI files created with Lilypond will not contain note heads. Is that right? If so, that is a serious problem. 05:34:11 -!- Vorpal has joined. 05:36:42 I have no idea, I've only ever created PDF files with it. 05:56:45 Why does netcat need a CRLF option, you can just type: unix2dos | nc 05:57:20 so you don't have to have that program 05:57:23 If I make my own, it will certainly be different, it will have different options. 06:01:01 Is it possible to send a print job to a PCL network printer (with an IP address) by using a command such as: dvilj | nc 06:03:19 theory: the zero wing introduction probably has the highest density of a single source introducing new phrases to english in the last century 06:03:46 Did you that Android includes constants for the gravity for all of the planets in this solar system? 06:05:55 coppro: I don't know. 06:06:29 zzo38, do you know why I don't like food? 06:07:12 Sgeo: Is it because that food is no good to eat? 06:07:14 food sucks 06:07:21 I want to live on IV 06:09:57 coppro: Try. 06:27:30 sgeo: because it's not beer 06:27:31 -!- poiuy_qwert has quit (Ping timeout: 255 seconds). 06:27:36 beer is liquid bread it's good for you 06:27:37 I don't drink 06:27:41 -!- augur has quit (Read error: Connection reset by peer). 06:28:01 -!- augur has joined. 06:28:03 WHY DON'T YOU LIKE FOOD EH? 06:30:23 -!- poiuy_qwert has joined. 06:36:04 coppro: I had a friend who thought that food sucked. 06:36:22 As it turns out, his mother was just an incredibly awful cook. 06:38:01 -!- azaq231 has quit (Quit: Leaving.). 06:40:48 Facepalm! 06:40:55 So, Sony released a new PS3 update. 06:41:27 They changed a number of keys. 06:41:32 All of them symmetric. 06:41:56 The new update has *already* been unpacked and the new keys extracted. 06:43:34 Seriously, it took an hour. 06:48:15 In short, Sony seems to have completely misunderstood the whole entire hack. 07:02:39 ohey. google is 100% and inarguably evil now. sure they pushed the boundaries a few times before, but they have finally totally fallen to the dark side. 07:02:46 ??? 07:02:59 http://torrentfreak.com/google-starts-censoring-bittorrent-rapidshare-and-more-110126/ 07:04:35 That's pretty evil. 07:24:21 The search engine now actively censors terms including BitTorrent, torrent, utorrent, RapidShare and Megaupload from its instant and autocomplete services. 07:24:33 lots of stuff gets struck off those lists, for good reason 07:25:02 it probably opens them up to legal action to be actively suggesting results for searches that relate to piracy 07:25:15 for example: type artist name, get suggestions for download links 07:25:31 everybody likes to forget that all you have to do is hit enter 07:28:42 i think google gets too much shit about their don't be evil line. what it means is that they should try to do right in all cases, but what people hold them to is "don't make me angry" 07:28:43 which is stupid 07:38:58 fuck that man. they crossed the line. when you start suggesting A but not suggesting B because C asked you to, you are failing to be what a search engine is supposed to be. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:23:46 -!- copumpkin has quit (Ping timeout: 246 seconds). 08:24:12 -!- copumpkin has joined. 08:26:37 -!- cheater00 has quit (Ping timeout: 240 seconds). 08:27:37 -!- cheater00 has joined. 09:06:22 I made JavaScript preprocessor. 09:06:45 js metaprogramming? 09:06:50 what use could that have? 09:06:56 unless it burns tex to js 09:07:54 I've used cpp on some javascript earlier, but I've completely forgotten the reason. 09:10:49 I would not expect the C preprocessor to work properly on JavaScript, especially if your program contains regular expressions!! 09:17:36 My program works also with regular expressions, but it has other features, too. 09:18:36 we don't need preprocessing for js. we have eval :P 09:18:38 Instead of (function(x,y){return x+y;}) or function(x,y)(x+y) you can type @(x,y;x+y) 09:18:59 There is also \def and \enum command. 09:19:35 zzo38: LITERATE JAVASCRIPT 09:20:22 http://zzo38computer.cjb.net/tex-js/jspp.js 09:20:49 :D 09:21:51 wait 09:22:00 what kind of input does http://zzo38computer.cjb.net/tex-js/tex-js.htm take? 09:22:10 Nothing. 09:22:23 (At least, not yet.) 09:22:31 :| 09:22:33 (But that file is not part of JSPP anyways) 09:22:43 what will it take 09:23:13 I will try to implement TeX. 09:23:33 I might later also implement TeX in C (with Enhanced CWEB) as well. 09:23:52 But I don't know for sure. 09:25:08 You can also make suggestions of JSPP, if you want to. 09:26:07 Note the regular expression /./ does not match line breaks, but /[^]/ matches any character. 09:28:59 Funny that JavaScript regexps do the /.../i case-insensitive and the /.../m multiline modifiers, but not the /.../s "dot matches newlines" one. 09:30:12 Yes, I don't know why they didn't put that in. But at least you can still use [^] if you want newlines matched as well. Maybe I could add a feature in JSPP supporting /.../s modifier. 09:30:51 you could easily 09:31:08 it'd just be a matter of replacing all . with [^] yes? 09:31:22 Yes, just look if the "s" modifier is set, replace all . with [^] unless preceded by \ or inside of a [...] group 09:31:36 right 09:31:57 Except for things like /\\./s where the . is not considered preceded by \ because the \\ is one token by itself, and . is the next one. 09:32:18 okay not easily 09:32:24 damn special cases 09:32:41 /// is a much simpler language :P 09:33:05 These aren't really special cases, just use a proper regular expression that matches them properly. 09:34:11 (Actually MDC says to use [\s\S 09:34:18 mm 09:34:20 (Actually MDC says to use [\s\S] but [^] works too) 09:34:46 still, you can't just replace . with [^]. it'll be a tricky regex 09:34:47 -!- poiuy_qwert has quit (Ping timeout: 272 seconds). 09:35:24 -!- poiuy_qwert has joined. 09:35:28 quintopia: Yes, you are right about that. It will be a bit tricky, but it is doable. 09:49:59 -!- cheater00 has quit (Ping timeout: 240 seconds). 09:52:27 -!- cheater00 has joined. 09:52:43 OK, I added that feature now. 09:55:37 Current RIR depletion estimates: APNIC at October 2011, RIPE at Sepember 2012, ARIN at November 2012, AFRINIC in June 2015 and LACNIC in Novameber 2016. Of course, run-on-the-bank could move those much earlier, and the AFRINIC and LACNIC probably don't deplete. 09:56:45 *November 2016 09:58:30 Oven deLong predicts that IPv6 will last 30-50 years. After that, migration to new protocol for yet unknown reasons (not exhaustion of address space). 10:00:37 Maybe the reason is quantum computer. 10:01:02 hi zzo38 10:01:04 sup? 10:01:14 cheater00: Yes. 10:01:41 yes is up? 10:01:49 Yes. 10:02:27 zzo38: Your Rnumber regex doesn't seem to match numbers of the form ".5" or "1e9" or "1.5E3". 10:02:49 fizzie: Oops, sorry. Now I will fix that. 10:03:16 His estimate of the total address space given to RIRs is 15 blocks... 10:03:37 Or I guess "+5" or "-7" either. 10:04:03 I don't need to match "+5" or "-7" because those are just treated as an operator followed by a number. 10:04:29 Even with the present system, there are 512 of those total. 10:05:06 Syntactically speaking the sign is part of a number in JavaScript, but I guess it works for preprocessing. 10:05:28 Oh, no, it isn't. 10:05:45 But you need to match it in the exponent, because 1e+9 and 1E-3 are legal. 10:05:59 OK. 10:11:53 I have now corrected that problem. 10:12:52 fizzie: Did you find any other mistakes in this program? 10:14:30 Well. Technically speaking for identifiers you would need to match all Unicode letters (categories Lu, Ll, Lt, Lm, Lo and Nl) and digits (Nd), as well as combining marks and connector punctuation (Mn, Mc, Pc); and also allow Unicode escape sequences ("\uXXXX", where Xs are hex digits) in the identifiers, but only when the escape sequence denotes and otherwise legal character. 10:14:35 But that would be pretty ugly. 10:16:17 So I will not allow Unicode identifiers in JSPP. 10:17:19 Also for strings you perhaps should use that "\\[^]" in place of "\\.", because a multi-line string with an escaped embedded newline like "foo\ 10:17:21 bar" is legal. 10:18:07 OK. 10:19:26 I fixed that now. 10:21:12 I would like to know if there are any additional features you think is needed? 10:31:16 Can't think of any right now. I'm not sure where you match the + in something like "2 + 2", though; it doesn't seem to be Roperator, which is what I'd have guessed from the name. 10:32:19 Is it just a generic fall-through sort of thing? 10:37:57 The + is matched there. 10:38:34 So are other operators. It just uses ranges since the ASCII numbers for the operators are close together. 10:39:28 Ah, (-\/ -- it's not exactly very clear, but sure. 10:40:22 OK I added a comment there now. 11:04:46 -!- ais523 has joined. 11:05:18 -!- hiato has changed nick to clue. 11:06:30 -!- clue has left (?). 11:06:45 "Here we are discussing the exhaustion date and most of the world doesn’t know ipv6 exists :p"... 11:08:08 fizzie: what about composition of letters by say umlauts? 11:16:10 cheater00: What about it? It is legal in identifiers (the combining diaeresis has the Mn "non-spacing mark" category), though the identifier ä (single char) is not equal to ä (a + diaeresis). (The spec says the source is supposed to be converted to normal form C beforehand.) 11:19:09 -!- cheater00 has quit (Ping timeout: 240 seconds). 11:19:31 -!- cheater00 has joined. 11:20:48 -!- ais523 has quit (Remote host closed the connection). 11:24:23 -!- ais523 has joined. 11:33:24 -!- ais523 has quit (Read error: Connection reset by peer). 11:33:59 -!- BeholdMyGlory has joined. 11:34:44 -!- ais523 has joined. 11:46:15 -!- FireFly has joined. 12:03:31 -!- cheater00 has quit (Ping timeout: 240 seconds). 12:03:50 -!- cheater- has joined. 12:20:43 -!- cheater- has quit (Ping timeout: 240 seconds). 12:23:08 -!- cheater- has joined. 12:29:12 -!- Tritonio has joined. 12:30:47 -!- ais523_ has joined. 12:32:32 -!- choochter has joined. 12:39:11 -!- poiuy_qwert has quit (Ping timeout: 240 seconds). 12:44:08 Haha... This must be the most misinformed article about IPv4 exhaustion I have seen in a while: http://www.foxnews.com/scitech/2011/01/26/internet-run-ip-addresses-happens-anyones-guess/ (but hey, it is Fox News). 12:45:14 Containing gems like "a system that recognizes six-digit IP addresses rather than four-digit ones." (err...). Oh, and it is 'Huston', not 'Hutson'. 12:46:08 -!- ais523_ has quit (Quit: Page closed). 12:47:38 Well, you know, it's "v4" and "v6" and the addresses are longer, so... 12:48:35 -!- poiuy_qwert has joined. 12:50:42 The end of the article links to http://www.news.com.au/technology/the-internet-has-run-out-of-ip-addresses-and-what-happens-after-that-is-anyones-guess/story-e6frfro0-1225995086627 which has pretty much identical text except "Web developers have compensated for it by creating IPv6 - a system which recognises 128-bit addresses as opposed to IPv4's 32-bit addresses." 12:51:03 Apparently that somehow got turned into "four-digit" and "six-digit". 12:53:14 And also that news.com.au article has that name spelled correctly... 12:55:00 That "at best it is slow" thing is present in both... 12:55:58 Yes, I think there the train of thought has gone "well the incompatible protocols are a bit like a square peg and a round hole, and you can sort of fit them together if you just hammer really much, but it's not going to go in smoothly". 12:57:28 Well, IPv6 is bit slower: In fast ethernet link (100Mbps), one can transfer data over IPv6 at 11.6MB/s. IPv4 is bit faster at about 11.8MB/s. 12:59:42 Yes, but the point was that it's "clunky and slow" when you're accessing the IPv4 sites with it. Though maybe it's referring to some sort of a clunky translation mechanism. 13:01:13 Transferring 700MB (one CD full) of data, that would correspond to about 1s difference (out of about 60s transfer time)... 13:01:58 Holds irrespective of speed, so IPv6 slows down data downloads by about 1s per minute... 13:03:33 Also, translation mechanism? Yes, there is NAT64, but nobody in their right mind is going to use it... 13:05:28 I meant something like that SIIT thing. 13:05:46 And those aren't the only ones. 13:07:10 Really, it's a bit hard to say what they meant there, if anything. 13:08:11 I guess that "IPv6 connection timeouts and the client falls back to IPv4" issue. 13:12:58 This is a longer (and possibly a bit less vague) article about his talk: http://www.smh.com.au/technology/technology-news/crunch-time-for-upgrade-of-internet-addresses-that-are-running-out-20101116-17v26.html 13:15:48 "Anyone purchasing new hardware or software that has any sort of internet connection should ask if it is v6-capable, because most modems and routers on the market are not and those devices that are can be costly. 13:15:48 The same philosophy applies to new computers, though by now, they should all be running v6-compatible operating systems." 13:17:15 Is there an OS that is neither IPv6 capable nor end-of-lifed? 13:17:42 I would think most of the consumer things that do internets (or at least complicated internets, like routers) actually run on operating systems that are v6-capable (embedded Linux seems to be pretty popular) in theory, so logically speaking it'd just be a matter of a firmware upgrade. 13:17:43 (Discounting the fact that the device manufacturers are probably more interested in selling new boxes instead of for-free upgrading old.) 13:18:25 I mean computer OS... 13:19:57 Not anything popular, at least. 13:20:22 http://isoc.org/wp/newsletter/?p=2902 "for the first global-scale trial of the new Internet Protocol, IPv6" well that's also quite curiously said. 13:22:58 Worst case, world IPv6 day will be after APNIC depletes... Ouch. 13:26:36 -!- Mathnerd314 has quit (Ping timeout: 250 seconds). 13:27:04 Sadly the Great IPv6 Porn Experiment (which was going to start "real soon now" for years) never happened; the domains now redirect to some "regular" porn site. 13:28:08 While trying to re-find the experiment by googling I did come across two other IPv6-only porn sites, but from the looks of it, not even the lure of porn seems to be enough for widespread (no pun intended) IPv6 adoption. 13:29:41 (Also one of the sites doesn't even have an AAAA record, so I'm a bit suspicious. There's no IPv6 connectivity here at work, unfortunately.) 13:55:04 -!- cheater- has quit (Ping timeout: 240 seconds). 13:57:42 -!- cheater- has joined. 14:23:35 -!- ais523_ has joined. 14:25:05 -!- pingveno has quit (Ping timeout: 264 seconds). 14:25:27 -!- cheater- has quit (Ping timeout: 240 seconds). 14:26:34 -!- cheater- has joined. 14:26:59 -!- pingveno has joined. 14:30:32 -!- Wamanuz has quit (Remote host closed the connection). 14:32:39 -!- Wamanuz has joined. 14:34:21 -!- poiuy_qwert has quit (Quit: This computer has gone to sleep). 14:34:47 -!- nddrylliog has joined. 14:38:55 -!- Ilari_antrcomp has quit (Quit: Experimenting with routing...). 14:40:40 -!- ais523_ has quit (Quit: Page closed). 14:48:05 -!- MigoMipo has joined. 14:50:40 -!- Ilari_antrcomp has joined. 14:58:30 -!- ais523 has quit (Read error: Connection reset by peer). 14:59:18 -!- ais523 has joined. 15:07:07 -!- BeholdMyGlory has quit (Read error: Connection reset by peer). 15:09:17 -!- yorick has joined. 15:13:10 -!- BeholdMyGlory has joined. 15:21:16 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 15:41:01 -!- cheater- has quit (Ping timeout: 240 seconds). 15:41:29 -!- cheater- has joined. 15:46:36 -!- copumpkin has joined. 15:46:51 -!- copumpkin has quit (Client Quit). 15:47:38 -!- copumpkin has joined. 15:56:47 -!- elliott has joined. 15:57:59 "Is it just me or did Oracle just break every schemaLocation in the Java universe?" 15:58:18 elliott: technically speaking those URIs are just names, they don't have to correspond to anything 15:58:21 but in practice everyone ignores that 15:58:24 ais523: yes, indeed 15:58:34 ais523: the W3C took down the DTDs for HTML a while ago, IIRC 15:58:41 because it was killing their servers 15:58:54 (not altogether, just from the "standard" location) 15:58:55 elliott: really? I thought they put something like a 10-second delay on serving them 15:59:01 well, I forget 15:59:06 so you could still access them if you wanted to 15:59:15 but the idiots downloading them in a loop without caching had their programs break 16:00:16 oh wow, quality zzo38 in the logs today 16:00:37 ohey, life! 16:01:16 nddrylliog: wow, i was just thinking that you didn't come back after the first time you were here a short while ago 16:01:20 i suspect i have powers 16:01:35 I wasn't here the first time, I imagine 16:01:38 as I've never met nddrylliog before 16:01:53 ais523: nddrylliog is the INVENTOR OF http://ooc-lang.org/ 16:01:54 SORRY 16:02:04 *INVENTOR OF the language but not the site about it which is at 16:02:15 (yes, I'm going to do that every time, nddrylliog, I'm sorry :/) 16:02:19 -!- oerjan has joined. 16:02:31 hmm, why is that site trying to set a cookie? 16:02:37 because it's an awful site >_> 16:02:58 and why does it have a sidebar which is mostly blank space, apart from a position:static link to Twitter? 16:03:09 because it's an awful site >_> 16:03:11 App Authorization 16:03:11 Authorize ooc-lang? 16:03:11 This app would like to be able to do the following: 16:03:11 Read your public information. 16:03:11 Update your user profile. 16:03:14 Update your public repository info. 16:03:17 why on earth does it let me log in with github :D 16:03:35 don't blame nddrylliog anyway he didn't make it, as I've taken it upon myself to painstakingly point out for him 16:03:47 also, the type of reduce there looks dubious 16:04:00 elliott: I appreciate your efforts 16:04:06 (Func (T, T) -> T) -> T? 16:04:09 err, yes, wtf is with that reduce type, nddrylliog? 16:04:30 elliott: also, next time please just tell people I eat shorts, it'll be easier to justify 16:04:39 oh, don't ask. I was young. I've drank a lot to forget all about it. 16:04:40 it seems to create an iterator for nothing at the start :D 16:04:40 the implementation itself looks suitably eso, too 16:05:16 aha, is the list argument there implied? 16:05:24 i hope not, that sounds terrifying 16:05:31 maybe it's a zen reduce 16:05:33 it's a member method afaik 16:05:36 it reduces...over everything...which is nothing 16:05:36 that function/method almost makes perfect sense if you assume there's a list argument there that isn't mentioned anywhere 16:05:43 so yes, "this" is implied. 16:05:45 nddrylliog: oh, that's meant to go in a List class? 16:05:49 right. 16:05:51 that does make sense now 16:06:00 but anyway folds are (Func (A, B) -> B) -> B or (Func (A, B) -> A) -> A 16:06:06 I guess I'll have to ask my webmaster to make the "Object-oriented" words bigger 16:06:06 so that type is NEEDLESSLY RESTRICTIVE! 16:06:16 elliott: yes. Also it needlessly compiles :) 16:06:21 no, I noticed it was object-oriented 16:06:23 well usually you don't see a method on the List class right after a main function declaration 16:06:24 :P 16:06:25 elliott: whereas the less restrictive version.. well who knows 16:06:32 just that it was taken out of context 16:06:34 well yeah 16:06:34 * elliott hugs GHC 16:06:41 not my fault, AGAIN. 16:06:43 but bahh. 16:06:46 :D 16:06:51 let's stop talking about ooc! 16:06:59 elliott: hmm... is reduce/fold normally implemented taking the element at one end of the list as a starting point, or asking for a zero as a starting point? 16:07:07 elliott: THANK YOU. 16:07:17 ais523: the latter in Haskell, the former in Python 16:07:21 I don't know about SRFI-1 16:07:31 yep, I realised that langs were generally inconsistent about it 16:07:35 and were wondering which was more common 16:07:44 nddrylliog: if it's any consolation it doesn't seem that bad a language really :P 16:07:50 (also, which is more useful; the two can trivially be converted between each other if you have cons/car/cdr) 16:07:57 ais523: SRFI-1 takes a zero... the best way is to take a zero 16:08:04 ais523: well 16:08:11 ais523: implementing the zero-taking right fold 16:08:15 with the end-of-list right fold 16:08:21 ais523: can be inefficient in a strict language 16:08:26 -!- j-invariant has joined. 16:08:26 since you have to do "lst ++ [zero]" 16:08:31 ah yes, because it basically involves reversing a list 16:08:31 ofc in a lazy language it's the same 16:08:42 er, does it? 16:08:43 no it doesn't 16:08:46 it just involves appending an item 16:08:51 which iterates through the list 16:08:54 elliott: that is basically reversing a list 16:09:00 well...same complexity, but? 16:09:02 because you can only append items to the start of a list 16:09:09 heh 16:09:13 hmm, it makes sense in my head, anyway 16:09:24 ais523: yes, but then so does Feather almost 16:09:25 lazy ++ is great btw, derlo does that even though Underload is a strict language 16:09:36 lazy everything is great 16:09:38 because it turns out that * being lazy is impossible to detect from inside the language 16:09:39 especially humans 16:09:49 ais523: lazy "!"! 16:09:57 why would you make ! lazy? 16:10:12 admittedly, it hardly makes a difference, as it's going to be forced with the next command if it's anything but () 16:10:20 and if it /is/ (), then lazifying the ! just wastes memory 16:11:13 ais523: EVERYTHING SHOULD BE LAZY 16:11:35 elliott: well, if you implemented, say, an Underload -> Haskell compiler, it probably would be 16:11:38 so ais523 when you gonna delete ClearBF :p 16:11:50 let's give it a couple more days, and wait for a few more responses 16:11:54 I don't see how it's hurting anything 16:12:03 it's hurting ... uh ... um 16:12:05 THINGS! 16:12:10 in fact, I've half a mind to just pick a title, and write '''title goes here''' is an esolang that does not exist. 16:12:27 and put it in [[Category: Languages]][[Category:2011]][[Category:Unimplemented]] and see if anyone does anything about it 16:12:52 hmm, should be marked {{stub}} too 16:12:55 10:25:59 Well. Technically speaking for identifiers you would need to match all Unicode letters (categories Lu, Ll, Lt, Lm, Lo and Nl) and digits (Nd), as well as combining marks and connector punctuation (Mn, Mc, Pc); and also allow Unicode escape sequences ("\uXXXX", where Xs are hex digits) in the identifiers, but only when the escape sequence denotes and otherwise legal character. 16:12:56 10:26:03 But that would be pretty ugly. 16:12:57 JAVASCRIPT 16:13:03 so that type is NEEDLESSLY RESTRICTIVE! <-- um no, note there is no initial value 16:13:10 :t foldl1 16:13:11 forall a. (a -> a -> a) -> [a] -> a 16:13:17 oerjan: oh right... i thought we were not discussing it any more 16:13:22 ais523: btw that proves that the zero-taking version is more powerful i think 16:13:26 because the zero can have a different type 16:13:31 (only in strongly-typed languages) 16:13:51 ais523: although you could apply the folding function once on the last element and the zero, say 16:13:57 and then handle the rest with the fold1 16:14:02 but by that point you might as well just recurse 16:14:24 elliott: oh, I didn't assume we had /recursion/ 16:14:38 HEAVENS no! 16:14:46 ais523: well 16:14:50 (perhaps because SCI has fold but not recursion, and I've been working with it quite a lot) 16:15:13 ais523: foldr f z xs = foldr1 f (allButLast xs ++ [f (last xs) z]) 16:15:24 (also, which is more useful; the two can trivially be converted between each other if you have cons/car/cdr) <-- not with strong static typing involved 16:15:52 oerjan: hmm? 16:16:21 because you can only append items to the start of a list <-- *prepend 16:16:53 oerjan: that's a sort of appending! 16:18:54 in fact, I've half a mind to just pick a title, and write '''title goes here''' is an esolang that does not exist. <-- see also [[Schrodilang]] 16:19:07 oerjan: but that one might 16:20:49 (also, which is more useful; the two can trivially be converted between each other if you have cons/car/cdr) <-- not with strong static typing involved 16:20:50 oerjan: hmm? 16:20:53 that's what I /just told you/.... 16:21:27 -!- Tritonio has quit (Read error: Connection reset by peer). 16:21:27 oh, the zero can have a different type 16:21:29 I missed that bit 16:21:37 oerjan: hmm? <-- see the difference in type between foldl and foldl1, the former cannot be written in terms of the latter without using something like an Either value 16:21:53 and that is ofc useful, such as reducing a list of integers into a string 16:22:15 oerjan: not strictly true 16:22:28 ais523: foldr f z xs = foldr1 f (allButLast xs ++ [f (last xs) z]) 16:22:28 oerjan: oh right... i thought we were not discussing it any more <-- beware the power of the annoyingly backscrolled! *MWAHAHAHA* 16:22:30 (handling empty lists) 16:24:49 elliott: nope, the type of that is wrong i believe 16:25:06 @hoogle Int -> [a] [a] 16:25:07 No results found 16:25:08 @hoogle Int -> [a] -> [a] 16:25:09 :t let foldr f z xs = foldr1 f (allButLast xs ++ [f(last xs) z]) in foldr 16:25:09 Prelude drop :: Int -> [a] -> [a] 16:25:09 Prelude take :: Int -> [a] -> [a] 16:25:09 Data.List drop :: Int -> [a] -> [a] 16:25:16 oerjan: there's no allButLast 16:25:19 :t inits 16:25:20 forall a. [a] -> [[a]] 16:25:23 :t init 16:25:24 forall a. [a] -> [a] 16:25:27 :t let foldr f z xs = foldr1 f (init xs ++ [f(last xs) z]) in foldr 16:25:27 forall a. (a -> a -> a) -> a -> [a] -> a 16:25:27 :t last 16:25:29 forall a. [a] -> a 16:25:34 oerjan: darn 16:25:37 oerjan: oh, of 16:25:39 *ofc 16:31:59 oh hm there's another way 16:32:26 -!- impomatic has joined. 16:33:43 so ais523, is kitten the best, or the best? 16:34:08 :t let foldr f z xs = (foldr1 (.) $ id : map f xs) z in foldr 16:34:09 forall a a1. (a -> a1 -> a1) -> a1 -> [a] -> a1 16:34:14 elliott: with those as the choices, do you even need to ask me? 16:34:23 ais523: yes, which is it? 16:34:58 elliott: this is some strange meaning of the word "which" that I'm not familiar with 16:35:07 ais523: best, or best? 16:35:11 choose from the set {best, best} 16:35:36 elliott: that isn't a set 16:35:44 ais523: err, howso? 16:35:49 or, if it is, has only one element 16:36:00 sure, so pick which of its one elements Kitten is 16:36:03 and a choice of one element is rather tautologous 16:36:42 * elliott installs dwm 16:36:45 oerjan: heh, you beat me to reverting that last spambot 16:36:58 probably because my all-edits-to-esolang feed isn't realtime 16:37:02 so I only notice a few minutes later 16:37:18 it was just because i was looking up schrodilang 16:37:55 ooh! 16:38:08 we should have a bot in there that notifies of every edit to esolang (that you can temp-turn-off with a command for spam floods) 16:38:14 the wiki is pretty darn low-traffic, after all 16:38:38 if there's a flood, it should be dealt with via deleting the edits in question from recent changes 16:38:49 which I've been doing to spambots recently in order to help keep it uncluttered 16:39:15 ais523: yes, but while no admins are online, etc. 16:39:17 it would flood the channel 16:39:22 so it just needs a shutup command 16:39:26 you could ratelimit it instead 16:39:40 nah, the only time it'd ever flood is when there's a spambot attack 16:39:46 like Rodney in #nethackwiki, which goes ...and 6 more changes or whatever 16:39:58 ratelimits would just automatically detect spambots, effectively 16:40:06 ok let me rephrase 16:40:10 that's way too much work :) 16:40:16 elliott, "Civil Defense" is shaping up to be awesome 16:40:20 -!- pingveno has quit (Read error: Operation timed out). 16:44:28 -!- pingveno has joined. 16:46:15 http://i.imgur.com/z9dYS.png 16:46:29 j-invariant: :D 16:46:53 most excellent 16:47:01 haha 16:47:01 If pi is the RATIO of a circle's circumference to its diameter, why is pi irrational? (self.math) 16:47:05 elliott: come to think of it, my last implementation of foldr above is essentially the default definition for the Data.Foldable.foldr method 16:47:16 j-invariant: because it just doesn't make sense! 16:47:18 hurhurhur 16:47:19 oerjan: heh 16:47:20 j-invariant: because one or the other must be not an integer 16:47:31 ais523: ssh 16:47:33 *shh 16:47:45 http://www.reddit.com/r/math/comments/f9ije/if_pi_is_the_ratio_of_a_circles_circumference_to/ 16:47:57 ais523: um you do realise it was a quote 16:48:10 elliott: indeed, I can answer a question in a quote can't I? 16:48:25 and the nickping was just to identify which thread of conversation my reply was in 16:48:32 ais523: well, it's a stupid question :P 16:48:34 hmm, I wonder why dwm installs to /usr/local by default 16:48:45 elliott: giving stupid questions sensible answers is part of a day job for a teacher 16:48:54 elliott: don't all programs install to /usr/local by default, more or less? 16:49:00 (if they don't install to Program Files?) 16:49:13 ais523: yes, but with dwm all configuration is by editing the configuration header 16:49:18 ais523: and often you use patches 16:49:24 so nobody has the same dwm binary, essentially 16:49:32 and, as such, putting it in /usr/local is ridiculous 16:49:41 as it's plainly a per-user binary 16:50:08 well, it's a case of forgetting to change usually sane defaults when they happen to be insane in your particular project 16:50:09 it's easily done 16:50:49 actually dwm causes me a bit of a headache for Kitten, as I want to include it by default, but a binary package will be useless for almost everyone, as it would be uncustomisable 16:51:56 simple, modify it to be a quine 16:52:10 :p 16:53:06 j-invariant: best reply from that thread: "Pi has been struggling with alcohol and drug issues for many years now. A lot of his behavior makes more sense when it is seen through this lens." 16:53:18 elliott, patch it to add a config file 16:53:28 hmm, I was reading through recent xkcds, and one mentioned the Wikipedia article "List of common misconceptions" 16:53:34 elliott, preferably xml based for extra insanity 16:53:34 Vorpal: I'm not going to destroy the whole ethos of the programs I include by default... 16:53:39 besides, most dwm users use patches 16:53:46 do you want me to have a program that automatically applies patches on dwm startup? :) 16:53:49 I find it hilarious that they're not just sourced to show that the misconception is wrong, but many are also sourced to prove that the misconception is indeed commonly believed 16:53:51 elliott, hah 16:54:08 ais523: reading through recent xkcd? my condolences 16:54:12 elliott, hm I guess dwm depends on libxlst nowdays due to xcb 16:54:12 elliott: dwm should be able to be given a patch as argument and recompile itself 16:54:15 elliott: some of them aren't bad 16:54:20 xslt* 16:54:22 today's made me laugh, for instance 16:54:25 Vorpal: clearly it should be rewritten to use raw x11 protocol 16:54:29 elliott, hah 16:54:31 I agree that the average quality is quite poor, though 16:54:35 ais523: it's picked up _very_ slightly as of late 16:55:09 ais523: but 600-8xx were pretty much the worst ever 16:55:15 for some xx 16:55:23 hah yes 16:55:37 (at xkcd today) 16:56:02 there was no xkcd today. or was there? 16:56:06 * oerjan checks 16:56:11 or yesterday or whatever 16:56:13 the last one anyway 16:56:14 latest xkcd would be best without the last panel 16:56:20 I don't read it on daily basis 16:56:26 elliott, a bit slow to get to the joke too 16:56:28 NOPE 16:56:32 Vorpal: that's part of the humour 16:56:37 but the last one is just a "now that the joke is over, I'm going to kill it by explaining it!" panel 16:56:40 which randall can never seem to avoid 16:56:41 elliott, hm yeah 16:57:03 elliott, also given it is him I assume he did the math for this. And that's quite interesting then. 16:57:29 http://xkcd.com/851/ <-- is the omission of hey jude intentional, I wonder 16:57:43 aha 16:57:44 click it 16:57:50 "I can't believe I forgot Hey Jude. 16:57:50 I don't get do-overs, but I couldn't resist making this fixed version." 17:00:16 elliott, uh is that comic about generic song texts or the problem with remembering song texts. (It does remind me of how people sing the national anthem generally) 17:00:28 it's not about anything, it's not even a joke 17:00:40 elliott, hm. 17:01:39 it's just a guide to songs that start with lots of "na" 17:01:44 not start 17:01:46 just have them in the hook 17:01:55 ah 17:01:57 ais523: wtf, the esolangs wiki doesn't have the API enabled 17:02:02 I blame Graue 17:02:03 elliott: it's off by default 17:02:07 ais523: why 17:02:11 and there are security issues in it on occasion, perhaps that's why 17:02:29 why didn't graue turn it on... OH RIGHT BECAUSE HE HATES US 17:03:01 http://xkcd.com/850/ <-- ... 17:03:21 that one's amusing in theory 17:03:39 elliott, yes, it is slightly amusing yet not at the same time 17:03:45 which is a very strange thing to say 17:04:00 partly, it's amusing because it's more accurate than you'd expect 17:04:05 although far from completely accurate 17:04:13 ais523: erm that's the whole joke 17:04:15 ais523, indeed. the sizes of many things are off 17:04:35 wait, since when does dwm have a bottom bar 17:10:37 -!- oerjan has quit (Quit: leaving). 17:14:26 -!- cal153 has quit (Ping timeout: 240 seconds). 17:16:57 -!- Phantom_Hoover has joined. 17:47:23 -!- cal153 has joined. 17:58:56 -!- cheater- has quit (Ping timeout: 240 seconds). 17:59:15 -!- cheater00 has joined. 18:19:21 People hate "Meridian"? 18:19:30 If that's the _worst_ of the season... 18:25:40 -!- zzo38 has quit (Remote host closed the connection). 18:38:31 -!- cheater00 has quit (Ping timeout: 240 seconds). 18:44:22 -!- cheater00 has joined. 18:54:59 -!- j-invariant has quit (Quit: leaving). 19:09:17 hmm, you should be able to add tags to dwm at runtime 19:20:43 they granted the TRO on hotz 19:20:48 what the fuck 19:22:41 asking him not to do what, exactly? 19:22:48 publish stuff that's already been mirrored all over the web? 19:22:52 that's unlikely to do a lot 19:23:08 no 19:23:16 they get to confiscate everything tech-related he owns 19:23:20 including USB keys and shit 19:23:28 that isn't a restraining order at all 19:24:35 it's an additional requirement on the restraining order 19:24:39 which tells him not to do anything bad 19:24:39 http://snapplr.com/t89a 19:25:03 ah well, I'll look at the story on Slashdot the day after tomorrow 19:25:09 or maybe even tomorrow if they're unusually fast 19:25:12 (or both...) 19:28:30 does he have enough time to wipe all the incriminating shit from them? :P 19:29:24 oh 19:29:26 it says 19:29:35 "in which any circumvention devices are stored" 19:29:52 aka, upload to cloud, delete locally 19:30:00 and then he must give them nothing 19:30:11 you aren't allowed to destroy evidence after a court case starts 19:30:42 oh, they've already been through his disks and shit and know what he has? 19:31:04 no, but if they can prove he destroyed evidence, he's in trouble 19:31:12 later on, in the actual case 19:32:05 even if he just happens to drop a huge magnet on his hard drive? 19:32:09 :P 19:32:17 TWAS AN ACCIDENT I SWEAR 19:33:03 I ALWAYS PLAY WITH MAGNETS THAT POWERFUL, BUT USUALLY I DON'T HAVE MY HARD DRIVES OUT ON THE TABLE AND I JUST FORGOTTED 19:33:19 no 19:33:19 they get to confiscate everything tech-related he owns 19:33:19 including USB keys and shit 19:33:20 wtf 19:33:31 ah 19:33:33 "in which any circumvention devices are stored" 19:33:52 ais523: erm I think we're all aware that destroying the evidence would be /illegal/ 19:33:54 elliott: in SCO vs. IBM, discovery meant that IBM had to sent SCO a huge amount of code for them to look through 19:34:14 nonetheless, considering the unjust laws, it is probably the sanest thing to do 19:34:16 and they couldn't think of any easy way to ship it, so they physically sent a small mainframe with all the code on it and instructoins for using it 19:34:23 awesome 19:34:26 elliott: well, in the middle of a court case against you, it would likely be a bad decision 19:34:41 ais523: _unless_ you have a reasonable excuse... 19:34:42 because in the case itself, they can use it as evidence that you had something to hide 19:34:58 whereas if he submitted stuff and nothing turned up, it'd look really good and destroy Sony's case somewhat 19:35:11 this is more a case of not shooting yourself in the foot, than legality 19:35:51 I doubt that nothing would turn up :P 19:36:09 what should I call my recent-changes-ircing bot? 19:36:50 Herobrine 19:36:52 Susan 19:36:55 no reason to have two separate bots 19:37:01 ais523: yes there is, code simplicity 19:37:09 hmm, OK... 19:37:10 ais523: Herobrine is designed for utmost reliability in long-term log storage 19:37:28 ais523: I'm not going to add any code that I think would make it less reliable or complicated 19:37:32 *or more complicated 19:37:36 well, fair enough 19:37:43 ais523: it's basically a loggic-design bot 19:37:52 except i'm an ARCHIVIST! 19:37:58 Susan is probably taken though 19:38:03 too bad. it's an awesome name. 19:38:07 ooh, I'll call it SomethingOnWheels 19:38:07 maybe Suzan? 19:38:21 SuzanOnWheels 19:38:30 RubyOnWheels 19:38:48 wow, I'm near the top of the second screen of Enigma players wrt level completion percentage 19:38:52 -!- elliott has changed nick to onwheels. 19:38:54 and that's as of last month, I've done a few monre since 19:38:57 *few more 19:39:05 enigma? 19:39:38 and I think I'm second out of esolangers (Safalra is 6 places ahead of me) 19:39:42 quintopia: http://enigma-game.org 19:40:06 as long as you disregard the tutorial being mostly full of Pelmanism clones, it's an excellent game 19:40:40 -!- onwheels has changed nick to elliott. 19:40:51 also, it has some of the worst advertising ever 19:41:21 also, the creator doesn't have very good english 19:41:51 most of the main devs are German 19:42:19 I find the wording and grammar is mostly good (if a little odd in style), and the punctuation is occasionally insane 19:42:52 hmm, that homepage pluralises Unix -> Unices; an interesting decision 19:43:25 yea no 19:43:38 ? 19:43:42 "Day by day another level is waiting to no longer hold out living behind a closed door. 19:43:49 that is not a good sentence 19:44:16 it's grammatically correct I think, but the style is bizarre 19:44:28 also it's impossible to understand what is meant 19:44:30 although "Day by day" should probably be "Every day," 19:44:44 -!- j-invariant has joined. 19:44:45 and the rest of the sentence could do with being rearranged to be a bit easier to parse 19:45:38 you know what I love? and by love I mean hate? 19:45:40 SCREENSCRAPING! 19:46:05 saying it's grammatical is like saying "The mouse the cat the dog the boy loved chased ate died." is grammatical. True, but useless. 19:46:07 elliott: you don't need to screenscrape, just parse the HTML 19:46:26 -!- augur has quit (Remote host closed the connection). 19:46:28 anyway, time to go home ... ! 19:46:31 -!- ais523 has quit (Remote host closed the connection). 19:46:32 ais523: yes, yes, screenscrape has come to mean that in the common vernacular 19:46:33 bye 19:47:01 does he read logs? 19:47:08 The mouse the cat the dog the boy loved chased ate died. <-- is that danish? 19:47:19 no, I think it's english 19:48:04 quintopia: sometimes 19:48:20 nested dependent clauses are valid english grammar, but once you nest them too deep, it can't be parsed. 19:48:35 because humans are poor at parsing 19:49:02 did i never share scrape.py 19:49:03 grrr 19:52:33 can i find out what date a folder was made? 19:52:42 no, it is an impossible task 19:52:47 damn 19:52:56 scientists have been unable to find out how to do that 19:52:57 sorry 19:53:06 quintopia: (it is actually impossible on linux i think) 19:53:09 iirc ctime is something else 19:53:22 hm 19:53:40 how do i find ctime? 19:53:45 for regular files 19:53:59 without using a gui of course 19:54:02 st_ctime, a member of the stat structure specifying the last inode change time of a file in a Unix-like filesystem 19:54:04 "stat foo" 19:54:52 oh, ctime is change time? 19:54:54 It's a very poor approximation for "creation time", since it changes if you change the file permissions and stuff. 19:55:35 are there fs's without ctime? 19:57:07 Well, FAT has an actual creation time, but not a specific "inode change time". (It does have the usual mtime and atime, though.) 20:00:06 And ext4 adds an (I think optional) "creation time" field in the inode structure, but it's very hard to extract since the usual stat() API can't read it. 20:00:29 Or at least it was suggested; don't know if they actually added it. 20:03:16 debugfs's "stat" command does show a "crtime" field, but the contents are as bogus as the atime on this "noatime"-mounted system. 20:04:00 (It shows Sep 7, 2010 for atime and crtime; I don't really know what time that is. Maybe the filesystem creation time.) 20:05:02 No, because show_super_stat's "filesystem created" time is Mar 30, 2010. Weird. 20:08:14 Hmm, actually I think I was just looking at an old file instead of a new one. 20:08:19 It does record the creation time. 20:09:43 http://p.zem.fi/crtime -- so that's how you get the creation time if you happen to have an ext4 system there. 20:10:17 (Just substitute the proper /dev/ path to the filesystem, and copy the inode number from ls -i.) 20:12:04 -!- jix has quit (Ping timeout: 240 seconds). 20:13:19 Hmm... APNIC pool free figures have been at 1.38x/8 for three days in row... 20:14:34 Also if you happen to have a noatime-mounted fs, then atime == creation time. 20:14:46 -!- jix has joined. 20:14:49 -!- jix has quit (Client Quit). 20:14:58 HI JIX BYE JIX 20:14:59 -!- jix has joined. 20:15:16 Gregor: HIJIX ENSUED 20:15:46 -!- augur has joined. 20:16:17 Ilari: I feel like I'm not clear on the terminology, even though it should be obvious. What this means is that there are 1.38*2^24 IPs available, yes? I mean, if it's only .38 of a /8, it's not a /8 at all, so does this really imply that there's a whole /8 free? Or is it just a needlessly-bizarre counting system? 20:16:47 It's just multiples of 2^24, AFAIK. 20:17:09 The standard allocation block at RIR level is /8 for IPv4 (/12 for IPv6). 20:17:35 (Yeesh, it should be friggin' /32 at least for IPv6 X_X) 20:17:47 Gregor: *hi5* 20:17:58 Gregor: Thank god there's more of us that think the IPv6 allocation policies are harmful. 20:18:27 It's like we suddenly found this fuel source in massive abundance that'll last us meeeeellions of years, and so we decide to increase our energy consumption a hundredfold. 20:18:53 "A hundredfold" ... more like a hundred orders-of-magnitude-fold (OK, not quite that much :P ) 20:19:19 But the routing table! (I mean, that's what I always hear as the justification of the giant blocks; more space to do network-hierarchical assignments so that you can aggregate routes better.) 20:19:25 It's like we realise that IPv6 could last us FOREVER, we just don't want it to :P 20:19:59 elliott: When they have IPv8 (there will be no IPv7), it'll have 512-bit addresses, and be assigned in /13s. 20:20:24 But hey, EvilMegaCorp thanks you for your donation of as many IPv6 addresses as are inside the entire IPv4 space; they will be useful to assign to pitiful, mortal slaves once our master plan is in action. 20:20:26 MWAHAHAHAHAHAHA! 20:20:36 (I cannot think of any other way a single organisation could use up an allocation that big.) 20:20:54 Gregor: IPv17 -- one megabyte addresses, allocated in /1s. 20:20:57 All two of them. 20:21:00 X-D 20:21:18 The present IPv6 allocations: Over 10^24 per capita. IIRC, the similar number is something like 0.5 addresses... 20:21:19 Why don't we have bignum IPs? *runs* 20:21:29 Gregor: BEST WORST IDEA EVER 20:21:56 OK, whyTF is ii acting up. 20:22:20 Meanwhile, the fabled "if switch" statement: 20:22:21 237 if(buf[2] == ' ' || buf[2] == '\0') switch (buf[1]) { 20:22:21 238 case 'j': 20:22:23 elliott: The greatest thing is that even if we could make it work, they would just assign some massive space at the 32-bit level, then leave a sliver of that free for 64-bit-long addresses. Then they'd assign a sliver of that space for 128-bit addresses. So if the address was 64-bits long, by definition you'd know the first 32 :P 20:22:40 Well, if they do run out of space from 2000::/3 in the next twenty years, maybe they'll try out smaller blocks in 4000::/3, 6000::/3, 8000::/3, a000::/3 and c000::/3, which are all equally large and in the "regular addresses" class. 20:22:55 Gregor: So once the first 32-bits die, we can just start referring to 64-bit addresses as their 32-bit suffixes! 20:23:00 OMG YOU SOLVED BOTH DEPLETION AND LONG ADDRESSES IN ONE GO 20:23:07 HOORAY 20:23:43 fizzie: *Twenty*? 20:23:48 The allocation policies aren't THAT crazy. 20:24:02 There also are 1000::/4 and E000::/4... But Those are /4s... 20:25:00 Ilari: So that you can simulate a complete IPv4 internet at the molecular level? 20:25:20 X-D 20:25:44 Gregor: We should go back to the old !-separated addresses. 20:26:02 Gregor: After all, the rest of the bang path was interpreted however the first host wanted to interpret it, so it's DISTRIBUTED. 20:26:04 And RELATIVE. 20:26:05 And P2P. 20:26:08 And those are ALL qualities we like! 20:26:15 YESSSSSSSS 20:26:34 And SCALABLE 20:26:35 And FAIR 20:26:36 Nowait 20:26:41 X-D 20:26:41 Gregor: I wish I was around when bang paths were... I'd set up a host that interpreted the rest of the path as an esoprogram before routing it. 20:26:42 Maybe just use interface index numbers. 0!3!2!66!12!5!22!13!... 20:26:47 Easier for them routers. 20:26:50 And make sure all my mail had to come through that. 20:27:02 PACKET ROUTING WAS A MISTAKE 20:27:06 ATM FOREVER 20:27:12 COMPUTERS WERE A MISTAKE 20:27:16 Let's go back to banging rocks together. 20:27:23 * elliott bang 20:27:25 * elliott bang 20:27:27 I'm pretty sure that's what we did before computers. 20:27:27 "note: the european router has been reorganized, please replace the 7 with 5 for talking to the US" 20:27:28 * elliott bang 20:27:32 Gregor: Totally. 20:27:52 olsner: Oh god but how do you send that note nooooooooooo oh wait it's simple, flooding. 20:27:55 Gregor: Then someone came around and discovered fire, and somebody sent fire down an integrated circuit made out of transistors, and here we are today. 20:28:14 ACCURATE HISTORY OF COMPUTING 20:28:14 yeah, all routing changes will be broadcast over the internet, obviously 20:28:22 allcast 20:28:41 The presently defined IPv6 ranges (bit combined) are: 0000::/6, 2000::/3 and FC00::/6... 20:28:42 *routing changes and penis enlargement schemes 20:29:15 OK WTF IS WRONG WITH THIS 20:29:22 olsner: Well naturally. 20:29:49 elliott: let me guess: you're doing it wrong 20:29:57 olsner: unlikely!!!!!!!!!!!!!! 20:30:06 likely!!!!!!!!! 20:30:07 So there are 27 undefined /5s... 20:30:11 * [onwheels] (~onwheels@91.105.119.236): William 20:30:12 * [onwheels] hubbard.freenode.net :Pittsburgh, PA, US 20:30:12 * [onwheels] is logged in as onwheels 20:30:12 * [onwheels] End of WHOIS list. 20:30:14 WHY WON'T YOU JOIN THE FUCKING CHANNEL 20:31:34 elliott: Well, APNIC did change their policies so that the "default" size for an end-site is /56, not /48. 20:31:44 fizzie: Hm; when? 20:31:59 I'm finding it hard to find a proper changelog. 20:32:11 But their graph page says "The graph on this page shows a levelling of growth from the IPv6 address size point of view. This is a direct result of the policies to reduce the end-site assignment from /48 to /56, and the change of the HD ratio, where Members can obtain additional IPv6 addresses, from 0.8 to 0.94" 20:32:15 http://www.apnic.net/publications/research-and-insights/stats/ipv6-distribution 20:32:23 fizzie: But that means you can only have 1,099,511,627,776 IPv4 Internets at an end site D-8 20:32:28 ARIN is proposing policy that would bump the allocation sizes for LIRs (presently mostly /32) a lot.. 20:32:28 Unfortunately the graph itself gave me a "O3 Portal error" and a long stack-trace. 20:32:54 this is completely fux0ed0ejreodklm 20:33:08 elliott: re: history of computing. was that integrated circuit made of redstone by any chance? 20:33:18 quintopia: no, it was made out of rocks 20:33:19 pay attention 20:33:27 redstone is not rocks? 20:33:32 no. it's magic. 20:33:42 good thing we discovered magic then 20:33:45 Gregor: It would be more correct to say that you can only have 256 subnets at and end-site, since you can't split networks smaller than /64 really. 20:33:46 rocks are p damn slow 20:33:49 stop talking about redstone :( 20:33:50 WTF IST DIS SHIT 20:34:00 ooh wait 20:34:02 what if i cheat 20:34:06 wait no that won't work 20:34:14 well actually 20:34:14 it might 20:35:49 wtf is this 20:35:53 i don't 20:35:53 i 20:35:54 what 20:35:56 how can you even 20:36:19 oh! maybe if i 20:36:22 nope 20:36:26 what are you doing? 20:36:34 thing 20:36:47 or rather, what are you failing at? 20:36:55 life 20:37:10 ...ok now that 20:37:11 that much is assumed, what else? 20:37:13 OH 20:37:17 kekekekekekekekeke ^____^ 20:37:21 i did a stupids! 20:37:47 yay, at least it breaks now 20:37:52 great! 20:37:54 lucky you! 20:38:08 -!- onwheels has joined. 20:38:17 I've just discovered that my thing that works fine in bochs is completely broken on qemu 20:38:19 -!- onwheels has quit (Remote host closed the connection). 20:38:24 :D 20:38:30 this looks like a job for me! so everybody just follow me! cuz we need a little controversy! cuz it feels so empty without me! 20:38:33 ./onwheels: 5: cannot create irc/irc.freenode.net/in: Directory nonexistent 20:38:33 ./onwheels: 6: cannot create irc/irc.freenode.net/#esoteric/in: Directory nonexistent 20:38:33 tail: cannot open `irc/irc.freenode.net/#esoteric/out' for reading: No such file or directory 20:38:33 tail: cannot watch parent directory of `irc/irc.freenode.net/#esoteric/out': No such file or directory 20:39:10 the directory doesn't exist, obviously 20:39:19 maybe you should create it? 20:39:34 maybe you're a JH 20:40:09 what is that and why may I be one? 20:40:14 because you sjdgflk 20:40:40 -!- onwheels has joined. 20:40:49 right, because of the sjdgflking 20:41:13 -!- onwheels has quit (Remote host closed the connection). 20:41:21 olsner: you'readj kglnm 20:41:25 mr. adjective 20:41:38 meh 20:41:39 why are you so fail code 20:41:41 what is the purpose of it 20:41:43 do you think it hurts me 20:41:47 -!- onwheels has joined. 20:41:52 -!- onwheels has quit (Remote host closed the connection). 20:42:11 because it and so on etc, is it? 20:42:25 yes but with the and of it whit's on end if i could 20:42:27 -!- onwheels has joined. 20:42:31 oh my god 20:42:33 you're my favourite 20:42:34 have my babies onwheels 20:42:37 my babies! 20:42:41 my babbies 20:42:44 excellent babbular 20:42:46 charles babbular 20:42:50 onwheels: stop 20:42:54 how is babby formed? onwheels! 20:43:07 on wheels, is babby formed 20:43:08 hmm how do i 20:43:09 if it was 20:43:10 ohh 20:43:11 i see 20:43:16 well kelps are kind of like that? 20:43:17 in summer 20:43:25 kelplike, verily 20:43:54 methinks it is like a weasel 20:45:54 -!- onwheels has quit (Remote host closed the connection). 20:46:50 hmm, what's a reliable way to set up that x in "x &" will terminate when the script does? 20:48:59 -!- onwheels has joined. 20:49:06 elliott: If you don't know how many things may be started and just want to assert that everything gets killed, a reliable but sort-of silly way is while ! kill %; do sleep 1; done 20:49:18 Err, sorry, while kill %, not while ! kill % 20:49:23 Gregor: That doesn't run when the script exits, dude :P 20:49:26 I mean when it exits abnormally. 20:49:28 e.g. ^C 20:49:31 or whatever 20:49:31 Ohhhhhhhhhhhhhhhhhhhhhh 20:49:49 Can't help ya :P 20:50:42 -!- onwheels has quit (Remote host closed the connection). 20:51:41 im starting to hate minecraft 20:51:43 elliott: 20:51:47 #esoteric-minecraft 20:51:53 How often do you think I can poll the recent changes page without Graue hating me 20:52:06 Once every 6 milliseconds. 20:54:08 YES 20:55:28 every 10 seconds maybe? 20:56:12 wut. "in 60 years, technology will be far past irc bots and myself" 20:56:16 wat 20:56:20 how do i destroy these lies 20:56:26 what does that even mean 20:56:27 -!- Slereah has quit (Ping timeout: 240 seconds). 20:56:51 it means that irc bots won't be around in 60 years! D: 20:56:56 no shit :P 20:56:57 THAT IS UNPOSSIBLE 20:57:16 somehow my whole cactus thing and the mine underneath ithave disappeared 20:57:28 i dont know to blame optimine/etc or thm egame itself 20:57:48 #esoteric-minecraft :P 21:03:50 -!- Guest34714 has joined. 21:03:54 -!- Guest34714 has changed nick to Slereah. 21:18:12 -!- impomatic has quit (Quit: ChatZilla 0.9.86 [Firefox 3.5.16/20101130074636]). 21:21:20 Anyone know why MediaWiki's recent changes feed is so terrible? 21:29:17 because mediawiki sucks 21:29:37 if i forgot to put the right options in useradd to make the home dir, can i just cp /etc/skel /home/user? 21:29:49 -R of course 21:32:06 http://math.stackexchange.com/questions/17152/given-an-infinite-number-of-monkeys-and-an-infinite-amount-of-time-would-one-of jeff atwood is a fucking idiot 21:34:01 oh nvm 21:35:24 so math.stackexchange.com is for low-level math questions and mathoverflow is for fancy math questions? 21:35:31 I didn't even realize there was a math.stackexchange.com 21:35:52 math.stackexchange.com is for stupid questions, mathoverflow is for people who are actually mathematicians 21:36:13 why did jeff atwood close that question 21:36:19 is it because he's a moron 21:36:22 or because he's a fucking moron? 21:36:23 damn, they should expel me from mathoverflow 21:36:31 elliott: the latter, I think 21:36:33 can't be sure though 21:36:33 i think it's because he's a fucking moron, yeah 21:37:04 I closed this question as it's attracting a lot of "fun" answers which aren't helpful. I also marked it community wiki so these "fun" answers aren't reputation factories for stuff that really isn't about math. – Jeff Atwood♦ Jan 15 at 6:16 21:37:10 -!- variable has joined. 21:37:15 FUN IS NOT ALLOWED HERE 21:37:17 MATH CANNOT BE FUN 21:37:19 this might be of some interest to people: http://blog.regehr.org/archives/364?utm_source=feedburner&utm_medium=feed&utm_campaign=Feed%3A+EmbeddedInAcademia+%28Embedded+in+Academia%29 21:37:31 I SHALL ENFORCE MY LIMITED VIEW OF MATH 21:37:51 copumpkin, I am part of math. I am fun. QED. You are wrong. 21:38:06 oh don't do it variable j-invariant will get started 21:38:16 elliott, don'y do what? 21:38:19 *don't do 21:38:21 mention program verification :) 21:38:34 elliott, you did it - not me :-) 21:38:55 program verification! 21:40:45 elliott, IMHO program verification is useful if done well and for the critical components of a system. 21:47:11 -!- Mathnerd314 has joined. 21:50:57 mycroftiv: you should talk more 21:59:08 variable: I verify everything! 21:59:13 What the *fuuuck*. 21:59:22 The TRO against George Hotz et al. was granted. 22:00:13 Jurisdiction still in question. 22:00:15 ugh this is an _old_ one 22:00:18 does anyone have vagrant.py 22:00:21 comex, meh 22:00:27 if x if x>X+17:X+=1 22:00:27 if y if y>Y+5:Y+=1 22:00:32 i replaced this with two statements 22:00:37 comex: MEH 22:02:23 Yes, it is still in question *whether* the Northern District of California has the power to grant a TRO against George Hotz, but they went ahead and did so. 22:04:37 -!- acetoline has joined. 22:06:01 -!- Mannerisky has quit (Ping timeout: 265 seconds). 22:06:41 Near as I can tell (IANAL), George Hotz would be entirely in the clear to completely ignore this until the time of the jurisdiction hearing. 22:07:23 YOU ANAL? 22:07:54 Hahahah you're 13 I get it. 22:08:04 TOTALLY 22:08:30 Nope, the claim is that the plaintiff has "met its burden to show that the Court *may* exercise specific jurisdiction over Hotz"... 22:08:33 Fucking hell. 22:08:47 That is really frightening precedent. 22:15:02 is there a different between being 13 and being TOTALLY 13? 22:17:09 copumpkin: one is an age? 22:18:26 in the meantime, anyone willing to explain to a dumb guy on the internet why formatting functions aren't invertible? 22:18:45 Mathnerd314: it's obvious, figure it out 22:19:19 gee, don't be so hard on yourself! 22:19:22 formatting functions? 22:19:26 (this joke will fail if Mathnerd314 is actually referring to himself) 22:20:17 elliott: do you count figments of my imagination as myself? 22:20:25 yes. 22:21:04 j-invariant: invertible in the sense of "determine formatting string from various input-output pairs" 22:21:08 Mathnerd314, you mean like to_number() ? 22:21:14 ... Okay, the TRO is even worse. 22:21:18 yeah, something like that 22:21:23 It's a restraining order against every sentient being. 22:21:30 :D 22:21:33 acetoline: mostly printf 22:21:33 BEST RESTRAINING ORDER 22:21:51 Mathnerd314: printf("%.2f", 0.123) == printf("%.2f", 0.1234) 22:21:54 Q.E.Poop. 22:21:58 or do you mean reverse to the string? 22:22:01 Mathnerd314, as soon as you define 'invertible' I will answer your question. 22:22:06 Yes, the court is exercising universal jurisdiction. 22:22:07 -!- MigoMipo has quit (Read error: Connection reset by peer). 22:22:15 precisely define, I mean 22:22:17 printf(" %d",3) == printf("% 2d",3) 22:22:18 tada 22:22:19 or whatever 22:23:00 So. I do believe his lawyer has cause to move for a mistrial. 22:23:06 elliott: reverse to the string; but it has to satisfy an arbitrarily large number of I-O pairs 22:23:17 Mathnerd314: there is no such printf string 22:23:21 all printf strings take a fixed number of arguments 22:23:54 Mathnerd314, that is as far removed as 'invertible' as I could imagine 22:24:09 s/as/from 22:24:23 you don't know what you're talking about 22:24:31 acetoline: I have a printf function of type String -> Input -> Output. but this is currying, so I am reversing from (Input -> Output) to String 22:24:55 Mathnerd314: a computable function cannot analyse a function fully 22:24:59 only a finite number of input/output pairs 22:25:00 Mathnerd314: f is invertible if there exists some g such that fg = id and gf = id 22:25:09 therefore, no computable function can establish a bijection String <-> (Input -> Output) 22:25:10 Mathnerd314: it's not injective 22:25:10 Q.E.D. 22:25:20 if i said something wrong, that's cuz i'm tired! 22:25:32 ofc Mathnerd314 might mean non-computably. 22:25:52 Mathnerd314: there's no difference between (s)printf("123") and (s)printf("%d", 123), or (s)printf("1%d%d", 2, 3) 22:26:27 copumpkin: yes, there is, because they take different argument inputs 22:26:30 copumpkin: you can show that "123" and "%d" differ by simply feeding both two different inputs 22:26:31 BUT 22:26:36 you can only ever feed a finite number of inputs 22:26:39 oh you're talking about a fixed format string? 22:26:41 computably 22:26:45 so you will be able to foil it 22:26:46 eventually 22:26:49 copumpkin: right. 22:26:49 by definition 22:26:53 (assuming the inversion has to be computable) 22:26:53 copumpkin is right; you can't do it because it's not injective. 22:27:55 elliott: but I don't think format strings are Turing complete 22:28:12 Turing complete is irrelevant 22:28:13 irrelephant 22:28:32 An elephant which doesn't matter. 22:28:41 poor elephant :( 22:28:54 elliott, don't be sad, it doesn't matter. 22:29:01 IT MATTERS TO ME. 22:29:16 THAT IS IRRELEPHANT 22:29:17 j-invariant: are there only a finite number of format strings that can produce a given input-output pair? 22:29:40 no 22:29:43 Mathnerd314: yes 22:29:48 er 22:29:49 i don't know :D 22:29:53 well 22:29:54 yes 22:31:01 j-invariant: so, take one input, feed it to a formatting function, calculate possible format strings from the output, and find distinguishing inputs until the format string is reversed 22:31:21 *reverse-engineered 22:31:25 Mathnerd314: yeah write it in prolog 22:32:31 -!- Phantom_Hoover has quit (Remote host closed the connection). 22:33:14 j-invariant: are there only a finite number of format strings that can produce a given input-output pair? 22:33:14 no 22:33:18 i don't think this is true at all 22:34:29 Judging from previous rulings by Illston, I can conclude one thing. 22:34:38 Judge Illston loves her bribes. 22:34:45 elliott: what about an ordering by # of characters? 22:34:48 -!- cheater00 has quit (Ping timeout: 240 seconds). 22:34:57 Mathnerd314: what do you mean 22:35:24 elliott: there are only a finite number of format strings of a given length that produce an input-output pair 22:36:07 Mathnerd314: sure. and? 22:36:20 "n February 2004, Illston ruled that the company's software, which was intended, according to the company, to allow consumers to make backup copies of DVDs by "circumventing" so-called "copy protection" methods, was illegal under Federal law." 22:36:25 In a civil suit. 22:36:51 Dear God that's awful. 22:36:57 elliott: so by testing each length in order, you're guaranteed to halt if the given formatting function is defined by a finite format string 22:37:10 She made a ruling on a *federal crime* in a *civil suit*. 22:37:23 Mathnerd314: i don't see how this is an algorithm for doing what you say 22:37:35 Mathnerd314: how does that change the black-box formatting function back into its string? 22:37:52 That is completely contrary to hundreds of years of precedent. 22:38:09 your mom is completely contrary to hundreds of years of precedent 22:38:18 Going back *several languages*. 22:38:18 by breaking all the accepted theories of MAXIMUM FAT 22:38:51 elliott: Actually, this breaks common law. Seriously, she broke it on a whim. 22:38:55 :D 22:38:58 your mom did indeed 22:39:04 XD 22:39:07 they decided to fix the maximum legal fat value centuries ago 22:39:08 I walked into that. 22:39:20 elliott: hmm, I see. 22:39:42 Mathnerd314: you can enumerate all format strings but there is no way you can decide if "blackbox == format_function_for(str)" 22:40:08 because equality on functions with infinite inputs isn't computable etc etc etc 22:40:40 elliott: you're given a "white box": a function that you know has been defined by a format string 22:40:46 Mathnerd314: indeed. 22:40:55 Mathnerd314: but the point is that you simply can't identify it with a string 22:40:59 because that involves checking infinite inputs 22:41:05 pikhq: │ If you want the uClibc math library to contain the full set C99 │ 22:41:06 │ math library features, then answer Y. If you leave this set to │ 22:41:06 │ N the math library will contain only the math functions that were │ 22:41:06 │ listed as part of the traditional POSIX/IEEE 1003.1b-1993 standard. │ 22:41:08 │ Leaving this option set to N will save around 35k on an x86 system. │ 22:41:11 I CAN'T DECIDE 22:41:45 elliott: when do you need an infinite input? 22:41:57 -!- cheater00 has joined. 22:42:05 Mathnerd314: ok let's make this simpler. let's say we only allow format strings with one input, an arbitrary natural. 22:42:07 * pikhq suspects that the entire US legal system needs to be razed to the ground. 22:42:15 Mathnerd314: and let's say that this is a format string: 22:42:46 Fucking remove it all. 22:42:54 pikhq: duh. endsoftwarepatents.org has been around for ages 22:43:06 Software patents == entire legal system 22:43:09 format string is literal text interspersed with . := '% ' nat 'd' 22:43:10 And forbid all those involved in it from acting in the successor. 22:43:14 hmm 22:43:26 i dunno this is making my head hurt, back to configuring uclibc 22:43:28 Seriously, near as I can tell it's a gigantic kangaroo court system. 22:45:09 taht would be a good court system 22:45:14 all judges are gigantic kangaroos 22:48:10 elliott: test 1, 10, 100, etc. - the nat is finite, sooner or later you'll stop 22:48:18 Mathnerd314: nuh uh 22:48:20 consider 22:48:22 if it _is_ a match 22:48:28 i.e. % 1d and % 1d 22:48:30 Mathnerd314: you'll go 22:48:37 fmt1(1) == fmt1(1), ok keep going 22:48:44 fmt1(2) == fmt1(2), ok keep going 22:48:44 ... 22:48:49 *fmt2 22:48:51 for the second ones there 22:48:55 fmt1(g64) == fmt2(g64) ... 22:48:56 and never terminate 22:48:57 see? 22:49:01 you can decide inequality in finite time 22:49:03 but not equality 22:49:06 pikhq: http://cxx.uclibc.org/ 22:49:24 -!- Mannerisky has joined. 22:49:28 elliott: this augur guy in #haskell is a real dick head 22:49:36 what 22:49:38 augur is in here you moron 22:49:42 he's awesome 22:50:52 HEY GUYS SOMEONE IN ANOTHER CHANNEL WAS MEAN TO ME :((((((((((((( 22:50:54 j-invariant: you just hate everyone 22:51:16 j-invariant: im a dick to you because you were a dick to me back when you called yourself fax. 22:51:19 kthxbai 22:51:25 not that you can see what i just said, but 22:54:13 -!- Behold has joined. 22:55:07 -!- BeholdMyGlory has quit (Ping timeout: 255 seconds). 22:55:09 j-invariant: how was augur a dick? 22:58:00 j-invariant: ? 22:58:48 -!- oerjan has joined. 22:58:58 pikhq: WHY DOESN'T UCLIBC SUPPORT ZONEINFO 23:01:51 -!- coppro has quit (Read error: Operation timed out). 23:01:55 -!- coppro has joined. 23:02:20 -!- Mathnerd314 has quit (Ping timeout: 276 seconds). 23:05:06 *sigh* 23:07:57 oerjan: ? 23:08:24 elliott: i'm not sure if augur just tried to drop a "bomb" or not. 23:08:33 eh? 23:10:41 j-invariant: in any case, some of us knew already, personally i just didn't want to embarass you unless you wanted to tell it yourself. 23:10:52 j-invariant has augur on ignore doesn't he 23:11:03 hm maybe 23:11:07 well 23:11:19 that's what he said in the #haskell logs i read before he called augur a dickhead in here :p 23:13:16 -!- Mathnerd314 has joined. 23:13:18 j-invariant: also you're welcome here as far as i am concerned 23:14:12 i have no idea what's going on 23:14:38 and _i_ am having this awkward deja vu feeling :( 23:14:55 deja vu for what 23:15:22 i don't know it's sort of dream-like 23:15:33 WACKY 23:15:43 have i mentioned that everyone is happy and life is wonderful 23:15:55 thought you might like to know 23:16:00 O KAY 23:16:05 you don't believe me? 23:16:35 i'm feeling rather counter-examply 23:17:10 oerjan: well when people aren't happy it's generally because they're not being happy enough 23:17:15 watch, this is the correct way to do it: 23:17:18 ^_____________^!!!!!!!!!!!!!!!! 23:17:23 :))))))))))))))))))))))))))))))) 23:17:25 YAY 23:17:31 O KAY 23:17:34 haaaaapyyyyyyptykptorkyopojdfjshglfdjJO!IJOI!J!!!!!!!!!!!!!!!!! 23:17:52 let's have a party in here right now please 23:17:57 happiness is lame 23:18:01 you're lame 23:18:02 happyness should be our goal 23:18:04 i don't mean that 23:18:06 i don't think anyone is lame 23:18:07 we're all ahppy 23:18:09 happy happy happy 23:18:18 quintopia: oh btw you asked whether you could fold over a list without recursion didn't you? 23:18:24 yus 23:18:30 rather 23:18:40 if foldl could be implemented without calling itself 23:18:56 quintopia: you can do it if you _implement_ lists as the corresponding foldr function 23:18:59 if it calls something else recursive, that's fine 23:19:06 quintopia: the thing is that haskell doesn't actually come with any functions or data types 23:19:18 so there's no "primitive" functions foldl could be implemented in terms of 23:19:21 what oerjan said would work, though 23:19:23 :t foldr 23:19:24 forall a b. (a -> b -> b) -> b -> [a] -> b 23:19:33 type List a = (a -> b -> b) -> b -> b 23:19:36 nil :: List a 23:19:40 nil = \_ z -> z 23:19:44 you want a forall on that type though 23:19:44 cons :: a -> List a -> List a 23:19:52 right 23:19:53 well, it doesn't need to be primitive. just other standard library functions... 23:20:00 cons x xs = \f z -> f x (xs f z) 23:20:18 quintopia: you can do foldl in terms of foldr 23:20:19 so yes 23:20:34 i suspected as much 23:20:36 how does that look? 23:20:44 ask oerjan, i've forgotten 23:20:50 and he's not as happy as me but he should be!!!! 23:21:55 elliott, should I bother watching Past Tense, Parts I and II, considering that I've seen the ending before? 23:22:01 sure 23:22:04 /tmp/ccKnb956.o: In function `main': 23:22:04 foo.c:(.text+0x11): undefined reference to `__printf_chk' 23:22:09 oH sWeEt it doesn't WURK! 23:22:46 guys i have an important announcement to make 23:22:47 that's pretty cool, elliott. i can see why you're so happy 23:22:51 mur furzur curbur turbu duh 23:22:51 okay 23:22:53 carry o 23:22:53 n 23:23:15 jdfgdfkg 23:23:19 hm 23:23:20 j-invariant: are you feeling the happy 23:23:44 you guys are dicks ... be more happy 23:24:04 can i tell you all a joke 23:24:09 please? 23:25:42 -!- Mannerisky has quit (Ping timeout: 255 seconds). 23:26:12 * pikhq still can't believe that the court has claimed jurisdiction over all of everything. 23:26:17 I mean, gaaaah. 23:26:21 excuse me 23:26:22 pikhq 23:26:23 can 23:26:25 itell you a joke 23:26:26 and all of you 23:26:27 a joke 23:26:29 a joke! 23:26:29 pikhq: which court? 23:26:32 eys.> 23:26:56 coppro: The Northern District of California, in SCEA v. George Hotz et al. 23:27:12 *sigh* 23:27:19 link? 23:27:41 elliott: only if it's better than mine: a horse walks into a bar and orders a beer. the bartender says "sure, but why the long face?" and the horse says "my wife is dying of an inoperable malignant brain tumor." 23:27:51 ok heres my joke 23:27:52 sJHASJFKHSKDFHJ!!! 23:27:53 ok laugh 23:28:27 coppro: http://www.scribd.com/doc/47676627/50-Order-GRANTING-TRO 23:28:30 i didn't give you permission to tell a joke that was worse than mine 23:28:34 now you must die 23:28:45 it was better 23:29:45 -!- FireFly has quit (Quit: swatted to death). 23:29:48 shut up. i just poisoned your water and you are dying 23:30:37 :t let foldl f start l = foldr (\y g t -> g (f t y)) id l start in foldl 23:30:37 forall a a1. (a -> a1 -> a) -> a -> [a1] -> a 23:30:41 :t foldl 23:30:42 forall a b. (a -> b -> a) -> a -> [b] -> a 23:30:50 quintopia: looks good 23:31:06 man wtf this is some shitty shit 23:31:17 the shittiest of shits 23:31:25 elliott: ARE YOU REFERRING TO MY foldl 23:31:28 so oerjan are you still using winghci:DDDDDDDDDD 23:31:29 nononononono 23:31:30 uclibc 23:31:41 can you shout FOLDL is it POSSIBLE what are these people doing...? 23:31:51 oerjan: could you explain what that does in plain english to a non-haskeller? 23:32:03 elliott: actually i fired up winhugs last because i was checking the Foldable source code 23:32:13 quintopia: "no" 23:32:31 well i can 23:32:34 pikhq: it hasn't explicitly asserted jurisdiction has it? 23:32:34 @pl (\y g t -> g (f t y) 23:32:35 (line 1, column 21): 23:32:35 @pl (\y g t -> g (f t y)) 23:32:35 unexpected end of input 23:32:35 expecting variable, "(", operator or ")" 23:32:39 @pl (\y g t -> g (f t y)) 23:32:40 flip (.) . flip f 23:32:53 @pl \f start l -> foldr (flip (.) . flip f) id l start 23:32:54 flip . flip foldr id . (flip (.) .) . flip 23:32:58 quintopia: it's just flip . flip foldr id . (flip (.) .) . flip 23:33:02 quintopia: basically it uses a foldr to build up the \x -> foldl f x l function for a list 23:33:09 understand now? 23:33:20 oh, it's just using the trick of flipping a list and then foldring it? 23:33:32 no :P 23:33:34 flip isn't reverse 23:33:45 quintopia: that's not how i thought of it 23:34:01 oh 23:34:03 man this is so rapey 23:34:06 like in a bad way 23:34:21 yeah i'll just wait until i learn haskell i suppose 23:34:38 quintopia: but think about it this way, if you know how to foldl over a list l, how can you foldl over the list (x:l)? once you have that you can use _foldr_ to build the function for foldling over any list 23:35:19 x:l is l with x prepended? 23:35:23 yes 23:35:33 the g in there is the function that foldl's over l. oh. 23:35:36 -!- pikhq has quit (Ping timeout: 264 seconds). 23:35:37 mm 23:35:49 quintopia: s/x/y/ to match the variables better with what i wrote 23:36:34 oerjan i don't think much of your happiness levels 23:36:36 can we get a smile ":)" 23:36:41 :> 23:36:46 aww okay that will do 23:36:53 :D 23:37:04 are all norwegian mouths pointy like that? 23:37:06 just curious 23:37:18 oerjan: i don't think much of your happyness levels. can I get a "HAHAHAHAFAWAHAHAHA" 23:37:18 nah 23:37:26 quintopia: oh that would be the best est! 23:37:30 the best est est 23:37:35 bestesterestest, for sure 23:37:45 this isn't working i wonder why 23:37:55 quintopia: i would need to ponder my plans for world domination for that, and i'm not sure that would be good 23:38:09 in the post-oerjan world, do we get happies 23:38:17 oerjan: just don't ponder them out loud. if you don't expose them, we can't foil them 23:39:06 i support oerjan's plans 23:39:13 it would probably be quite nice 23:39:24 i am a trusting man :> 23:39:32 (btw when i checked the Foldable source code was earlier today, i didn't look for this function there) 23:40:01 OH i think i blame ubuntu 23:41:39 yay 23:41:41 elliott: happies or harpies, i haven't quite decided yet 23:41:45 -U_FORTIFY_SOURCE fixes 23:41:48 same thing, surely 23:42:07 omg make install 23:42:09 its the best!!! 23:42:09 *it's 23:42:17 oerjan: i am no longer so supportive of your dictatorship 23:42:39 elliott: but but harpies, free weight loss program! 23:42:44 hmmmmmmmm 23:42:56 oerjan: are the harpies the free weight loss program? 23:43:21 ...i thought that was obvious 23:43:56 hm how do I even... 23:44:01 i what 23:44:08 perhaps I should ... 23:44:09 but then again 23:45:18 so anyway i realised something i was doing was stupid 23:45:27 Some other configuration options are: 23:45:27 make oldconfig - Update an old .config file for a newer version of busybox. 23:45:28 make allyesconfig - Select absolutely everything. This creates a statically linked version of busybox full of debug code, with dependencies on selinux, using devfs names... This makes sure everything compiles. Whether or not the result would do anything useful is an open question. 23:45:28 make randconfig - Create a random configuration for test purposes. 23:45:29 MAKE RANDCONFIG 23:45:32 HEAD EXPLODING FROM AWESOME 23:46:13 -!- pikhq has joined. 23:46:22 pikhq: i realised something i did was stupid 23:49:06 pikhq: indeed 23:50:01 Oh motherfucking hell. 23:50:21 Apparently Sony is claiming jurisdiction based on the terms of use on their website. 23:50:34 pikhq are you ignoring me 23:50:37 Somehow, by visiting a website you can be submitted to personal jurisdiction. 23:50:51 elliott: No, just not responding to you. 23:50:58 pikhq: i do not understand why you would do that! 23:51:09 is it because you are abd 23:51:11 *bad 23:51:21 "However, even if the firmware was downloaded pursuant tothe PlayStation website as done by Hotz’s attorney, the user is still subject to the PlayStationwebsite’s terms and conditions athttp://us.playstation.com/support/termsofuse/index.htm.These terms prohibit, among other things, “using, making or distributing unauthorizedsoftware or hardware in conjunction with the Sites, or taking or using any data from the Sitesto design, develop or 23:51:28 The terms also includea forum selection clause and consent to jurisdiction in San Mateo County, California. They also incorporate by reference the terms of the PSN User Agreement. Therefore, a user who downloads the firmware via the PlayStation website, instead of the PSN, nonethelessconsents to jurisdiction in California." 23:51:49 #ifdef MY_CPU_HATES_CHARS 23:51:50 typedef int smallint; 23:51:50 #else 23:51:50 typedef signed char smallint; 23:51:50 #endif 23:52:02 By visiting that site you... Come under the jurisdiction of California‽ 23:52:11 pikhq: so you know how I fixed #!/usr/bin/env by adding an interpreter thing 23:52:13 saying i'd write my own 23:52:20 elliott: ? 23:52:23 pikhq: in kitten 23:52:25 since i have no /usr/bin/env 23:52:29 I did that /proc thing 23:52:36 to add the magic for "#!/usr/bin/env" 23:52:36 elliott: And? 23:52:37 remember? 23:52:41 pikhq: I see the reasoning 23:52:47 pikhq: well i don't need to write my own processor -- i can just specify the interpreter as /bin/env! 23:52:50 that is my realisation for the day 23:53:00 but IIRC those sorts of nonnegotiable consent-to-jurisdiction clauses are typically ill-received 23:53:01 total genius right? 23:58:13 -!- pikhq has set topic: By joining this chatroom you consent to the jurisdiction of Agora Nomic. | http://208.78.103.223/esoteric/ | http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 23:58:34 Now to convince their lawyers to join #esoteric. 23:58:43 sure hope this works 23:58:52 gcc: /usr/x86_64-linux-uclibc/usr/lib/crt{1,i,n}.o: No such file or directory 23:58:53 :DDDDDDDDD 23:59:02 courts historically are not a big fan of " implements non-negotiable required unreasonable arbitration clause" 23:59:17 coppro: Well, they didn't laugh it out of court. 23:59:26 coppro: Instead, the TRO was granted. 23:59:30 wow, this is working how is this working ...? 23:59:41 pikhq: yeah 23:59:54 pikhq: it could be a) the judge is simply incompetent 23:59:55 coppro: As I have suggested before, the judge may like bribes.