00:16:38 -!- blackcustard has quit (Ping timeout: 272 seconds). 00:19:18 -!- comex has changed nick to chpwn. 00:20:01 -!- chpwn has changed nick to comex. 00:34:30 -!- pikhq has joined. 00:35:04 -!- pikhq_ has quit (Ping timeout: 260 seconds). 01:16:48 -!- TLUL_ has joined. 01:16:57 -!- TLUL has quit (Disconnected by services). 01:17:00 -!- TLUL_ has changed nick to TLUL. 01:22:37 -!- Snowyowl has quit (Quit: Snowyowl). 01:28:02 -!- azaq23 has joined. 01:28:50 -!- augur_ has joined. 01:29:15 -!- augur has quit (Read error: Connection reset by peer). 01:29:25 -!- augur_ has changed nick to augur. 01:30:51 -!- augur has quit (Read error: Connection reset by peer). 01:31:44 -!- augur has joined. 01:51:53 -!- zzo38 has joined. 01:53:46 The wiki system I am making is simply an experimental system, it is not intended to be better or worse than other systems. I just try to see what I can make with this. 01:54:40 However I am still going to make TeXnicard, too. 01:57:55 -!- alp_y has joined. 01:58:40 Do you like to play tsume shogi? 02:01:05 tumesiȳôkì? 02:05:29 -!- BeholdMyGlory has quit (Remote host closed the connection). 02:07:33 pikhq: Yes, although one of the letters in your romanization scheme will not display on my computer because I do not have the fonts. 02:14:29 -!- pikhq_ has joined. 02:15:01 -!- pikhq has quit (Ping timeout: 276 seconds). 02:15:04 "All developers in Windows have access to all the Windows source code. The source code is completely indexed and we have a really nice tool for searching the code." 02:15:08 WHY HASN'T IT BEEN FULLY LEAKED YET 02:15:24 because they'd get caught 02:16:04 if you really want me to, I could get hired by M$ and get it to you in ~10 years 02:16:05 Mathnerd314: that would be pretty hard to prove 02:16:15 You're certain MS would hire you? :p 02:16:29 If you have a full checkout of the source then it's a single copy operation to leak it. 02:16:38 I doubt every copy operation on every developer's machine is logged. 02:17:54 hmm... did you google for it? 02:18:15 Google for what? 02:19:05 the windows source code 02:21:55 apparently it's several GB though. 02:23:45 Mathnerd314: Uhh, if it leaked I'd know about it, it was huge news when parts leaked in 2004. 02:25:25 I'm pretty sure that MS actually doesn't have any single developer with access to the whole thing. 02:25:47 (source: friend who works at MS. And develops for Windows.) 02:26:20 pikhq_: You're wrong. Source: This blog post by someone who works for MS. And devleops for windows. 02:26:46 http://foredecker.wordpress.com/2011/02/27/working-at-microsoft-day-to-day-coding/ 02:26:48 "All developers in Windows have access to all the Windows source code. The source code is completely indexed and we have a really nice tool for searching the code. Everyone also has access to all bugs, all source code control change descriptions, and all specifications. Note, there are sometimes a very few things that are locked down to just a team. These are usually security and cryptography related." 02:26:57 I'm sure the system can run without crypto. 02:27:35 -!- sebbu2 has quit (Ping timeout: 240 seconds). 02:28:23 "(man, I just love Jeff Atwood)" 02:28:24 /vomit 02:28:48 elliott: Probably depends on what you count as "the whole thing", then. 02:32:46 http://www.youtube.com/watch?v=dQmK1CnwOUI 03:08:50 -!- sebbu has joined. 03:08:51 -!- sebbu has quit (Changing host). 03:08:51 -!- sebbu has joined. 03:13:05 -!- sebbu2 has joined. 03:13:06 -!- sebbu2 has quit (Changing host). 03:13:06 -!- sebbu2 has joined. 03:16:23 -!- sebbu has quit (Ping timeout: 272 seconds). 03:20:54 -!- pizearke2 has joined. 03:22:48 what's up esolang? 03:23:53 everything. 03:23:54 evreything is up. 03:25:03 except assembly. I'd say that's down. 03:32:29 The enemy's gate. 03:33:49 Do you guys like unlambda? 03:38:22 oerjan does at least :P 03:38:40 orly? 03:38:46 When is he on? 03:38:54 I need someone to talk about CL with xD 03:39:19 Most of the time. Be warned, he's old and grumpy. ok not that grumpy. 03:46:06 CL? 03:46:24 Combinatory logic. 03:49:56 -!- alp_y has quit (Ping timeout: 240 seconds). 03:57:07 -!- elliott has quit (Ping timeout: 240 seconds). 03:59:34 pizearke2: I know some things about Unlambda. 03:59:54 Do you have specific questions? 04:00:15 zzo38, #clojure now knows of you 04:00:24 I don't know if you were here when I mentioned it 04:01:05 -!- azaq23 has quit (Ping timeout: 264 seconds). 04:01:47 Not really questions, no. 04:04:06 Sgeo: Now I know. 04:05:24 CL is cool, no one's judging you 04:05:59 zzo38, they needed a URL that gives a 503, so I pointed them to your thing 04:07:00 I just figured out how to not use a fixed point combinator for recursion. 04:07:03 Sgeo: OK. Why did they need a URL that gives a 503? 04:07:10 I'm not sure if I discovered this, or if I'm just behind the game. 04:07:59 zzo38, one of the bots in the channel seemed to have an issue with some URL that gave a 503, but they weren't sure. So they needed one that could be relied on to give a 503 to test what the bot would do. 04:08:24 The URL that it choked on didn't realiably give a 503, it was.. I don't even know what 503 is tbh 04:11:06 Ah, OK. Now I understand. I suppose then, that my program is now useful for kind of testing purposes such as that! 04:12:53 It is capable of generating any error code that PHP and Apache can generate (you cannot put just any arbitrary code, which is a bit unfortunately...) 04:19:51 -!- pizearke2 has quit (Quit: Page closed). 04:25:26 argh, now i'll never know if pizearke2 just meant passing a function along 04:25:32 why didn't you ask 04:32:01 I didn't know that either. 04:38:10 -!- allanlw has quit (Read error: Connection reset by peer). 04:42:21 -!- Alex_Meg1roide has joined. 04:42:56 -!- pingveno has quit (Read error: Connection reset by peer). 04:43:15 -!- pingveno has joined. 04:45:44 -!- Alex_Megaroide has quit (Ping timeout: 276 seconds). 04:48:17 I appear to be accidentally creeping out Other KT-AT 04:48:42 She seems to be unaware that my other number is me, despite me telling her several times 04:51:55 Might I suggest you stop failing at life? 04:52:08 I know, I'm sounding like a broken record. 04:55:27 so what, she thinks you are sharing everything she tells you with your best buddy or something 04:56:58 -!- pingveno has quit (Read error: Connection reset by peer). 04:57:06 oklopol, no, she is unaware of who the person who texted her is 04:57:08 I think 04:57:13 oklopol, >.> 04:57:17 -!- pingveno has joined. 04:59:01 Besides, you think I tell you _everything_? 04:59:04 About anything? 04:59:14 erm, i'm not talking about myself 04:59:52 okay see in my head it went, you send from your other number smth like "i'd certainly like to see you in those pink panties again" and she's like "WHAT?!? Sgeo took a pic?!?!?! that FUCKING PIG" 05:00:22 oklopol, also, I think you missed 'Other' 05:00:30 And also, I'm not at that point with anyone 05:00:35 And also, all I said was Hi 05:00:41 Sorry to ruin your fantasy 05:00:54 you should be 05:00:59 it was a nice fantasy 05:01:54 two and a half hours till exam 05:01:57 but i'm not feeling it 05:04:01 -!- yorick has quit (Ping timeout: 272 seconds). 05:07:08 -!- Mathnerd314 has quit (Ping timeout: 250 seconds). 05:10:39 -!- asiekierka has joined. 05:10:53 -!- Mathnerd314 has joined. 05:25:03 -!- Leonidas has quit (Ping timeout: 264 seconds). 05:25:20 -!- Leonidas has joined. 05:38:17 -!- asiekierka has quit (Ping timeout: 240 seconds). 05:44:01 -!- pikhq_ has quit (Ping timeout: 240 seconds). 05:44:18 -!- pikhq has joined. 05:46:58 Fucking Internet connection. 05:56:48 Please read this: http://www.chessvariants.org/index/msdisplay.php?itemid=MScopper,silver, 06:06:01 This is a kind of game like shogi. 06:06:11 Do you like to play shogi game? 06:08:47 I have played some tsume shogi game on GameBoy. But this game is not tsume shogi game, it is a different kind of game with some similarity to shogi and a bit to xiangqi, too. 06:14:41 Out of immense curiosity, to what extent have you learned foreign languages? 06:14:54 I know, seems like a bit of a non sequitur. 06:15:47 I have not learned it much. However, I sometimes read a Japanese books. 06:16:01 And Japanese tsume shogi game. 06:17:14 I know a few things of Japanese, including some kanji, and kana pronouncing, and a few words. Sometimes I also look up other words in WWWJDIC, because I try to read the book and some word I do not know. 06:18:15 I'm mostly wondering why your English appears so incredibly nonnative. 06:18:29 Even though I know that English is your native language. 06:19:46 I don't know why? 06:20:28 It is probably because I try to write things which have no proper English word/grammar so I have to make up new one to try to write what I am trying to write, but still it is not perfectly what I am trying to mean. 06:20:45 i don't think it's that 06:21:22 oklopol: OK, then you can say it is something else. 06:21:58 oh i have no idea what it is. personally i love the way you talk 06:22:14 OK. 06:22:18 It's kinda got an uncanny valley effect going on to me. 06:22:36 pikhq: What is an uncanny valley effect? 06:24:03 zzo38: The "uncanny valley" effect is a problem, usually in computer graphics, that as you get a depiction of a human closer to reality, it appears more realistic until you get too close. At which point it becomes freaking creepy. This point is called the "uncanny valley". More realistic appears more realistic, less realistic appears more realistic... 06:24:18 And I'm analogising with that. 06:24:50 http://upload.wikimedia.org/wikipedia/commons/f/f0/Mori_Uncanny_Valley.svg ← 06:26:09 OK, let me see. 06:26:55 OK now I can see what it is. 06:28:31 -!- oerjan has joined. 06:35:24 Does that chess variant interest you? 06:39:02 Does any chess variant at all interest you? 06:39:23 -!- pikhq has quit (Ping timeout: 250 seconds). 06:39:30 -!- pikhq has joined. 06:41:27 pikhq: it's something ASD. seems like he'd be interesting to meet, no? 06:41:43 zzo38: no! 06:41:51 oerjan: yes! 06:41:59 quintopia: Mmm? 06:42:44 the reason he writes this way 06:43:00 Mmm. 06:43:08 he writes that way because it's cool, i'm sure 06:43:20 oklopol: wat 06:43:23 i mean hi 06:45:09 oerjan: did you know that in a k-connected graph, given any v, and S with v \notin S, |S| = k, there exist k paths from v to a node in S that only share the vertex v 06:45:39 no. 06:45:41 k-connected = smallest vertex set that disconnects the graph or makes it trivial has size k 06:46:36 well now you do! these are called dirac's fans... well i'm not sure what exactly is the dirac fan, maybe v, S and the paths together 06:46:49 Can you show an example? I do not know much about graph theory 06:47:20 i'm not sure i want to do that in ascii 06:47:38 if you don't get something in the definition, i'll be happy to clarify tho 06:47:51 ok, sounds somewhat plausible at least 06:47:53 i'd prove this but i have the exam 06:48:18 It does not have to be in ASCII. 06:48:21 oerjan: rather direct corollary of: smallest separating set has size k <=> k independent paths between any two vertices 06:48:37 independent = only share ends 06:48:45 -!- augur has quit (Remote host closed the connection). 06:49:05 this is menger's theorem, and you usually prove it with a rather tedious although straightforward induction 06:49:32 The reason I do not understand is only because I do not know much of graph theory; but if I see example then perhaps I can learn graph theory more better. 06:49:47 well make an example yourself? 06:50:27 make a graph such that you'd have to remove at least k vertices to make it disconnected 06:50:40 hm well i don't think it's enough to choose a vertex in S for the other one in the independent paths thing 06:50:43 and then take a random vertex, and a random k element set 06:50:58 oerjan: no, rather direct, not completely direct 06:51:23 you have to add another vertex to every element of S 06:51:24 OK, I can do that. However I do not know what makes a graph "trivial"? 06:51:31 zzo38: 1 vertex 06:51:49 0 vertices is not considered a graph in our framework 06:51:56 oklopol: That was one of my guesses. Thanks for explaining it to me. Now I can try. 06:52:28 it was not explaining, it was defining! this is important to distinguish 06:53:02 well, perhaps you mean defining by explaining 06:53:56 but you need to explain and define things in math, and just like books have freeform paragraphs for explanation and definition blocks for definitions, you should try to make a clear distinction in any math context 06:53:57 Yes, I mean defining. 06:54:28 yeah, i just tend to be a bit zealous about this stuff 06:54:30 working on it 06:55:41 anyway drawing the graph won't teach you nearly as much graph theory as proving menger's theorem would, or at least proving that v and S thing from menger's theorem 06:55:42 well 06:55:57 i already basically gave the proof 06:56:11 at least the fun part of it :P 06:56:48 i have to leave -> 06:58:33 Maybe I can make up a font with diagonal lines for graph theory in TeX. 06:59:41 menger's thm is not hard to prove iirc 07:00:51 also the fan thing has some interesting things you can prove 07:07:39 How strong is an alloy of copper, silver, gold? 07:09:17 -!- augur has joined. 07:10:01 -!- zzo38 has quit (Quit: Are you considered a graph in my framework?). 07:11:52 -!- ineiros has joined. 07:23:37 -!- wth has joined. 07:27:49 -!- wth has quit (Remote host closed the connection). 07:28:55 -!- wth has joined. 07:39:55 -!- pikhq_ has joined. 07:40:05 -!- pikhq has quit (Ping timeout: 250 seconds). 07:40:09 Oh holy crapcrap. 07:40:14 The BBC has aired David Firth cartoons. 07:40:19 This frightens me. 07:40:29 And impresses me. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:42:16 !bfjoust increase (+)*-1 08:44:09 Score for quintopia_increase: 13.4 08:45:45 bahaha 08:45:55 it beat deewiant's top competitors XD 08:46:55 also breakdown.txt seems to print the wrong victor? 08:46:58 GREGOR 08:47:14 EXPLAIN THIS PLOX 08:47:16 Deewiant_allegro.bfjoust vs quintopia_increase.bfjoust 08:47:16 >>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>> -42 08:47:16 Deewiant_allegro.bfjoust wins. 08:48:08 it appears you are printing the arrows backwards! 08:48:19 because the report shows the victor is correct 08:48:28 reverse your arrows please gregor! 08:54:38 -!- wth has left (?). 09:15:47 They are, in fact, my arrows; but they are the correct way around for me; I think Gregor must've broken them when changing the sign of the scores. (My version had "42" for that result, i.e. score for left player.) 09:16:14 I told him to just print -score in main, but I think he instead flipped all the places where the actual interpreter updates the score, for some reason. 09:16:34 (Of course I told him that only afterwards, but that's no excuse.) 09:29:21 -!- alp_y has joined. 09:29:51 oh, is this chainlance? 09:29:54 or ah 09:29:56 gearlance? 09:31:16 in any case, a simple fix would be to switch the order the competitors are displayed in the breakdown (new competitor on the left) 09:31:35 (and, you know, leave the score value alone) 09:35:36 -!- yorick has joined. 09:44:57 -!- cheater- has quit (Ping timeout: 240 seconds). 09:45:49 -!- cheater- has joined. 09:48:23 @hoogle [a] -> Bool 09:48:24 Prelude null :: [a] -> Bool 09:48:24 Data.List null :: [a] -> Bool 09:48:24 Prelude all :: (a -> Bool) -> [a] -> Bool 10:22:15 -!- sebbu has joined. 10:22:15 -!- sebbu has quit (Changing host). 10:22:16 -!- sebbu has joined. 10:25:34 -!- sebbu2 has quit (Ping timeout: 272 seconds). 10:37:24 -!- TLUL has quit (Quit: *disappears in a puff of orange smoke*). 10:41:16 -!- ais523 has joined. 10:44:50 -!- TLUL has joined. 10:50:20 -!- ais523 has quit (Read error: Connection reset by peer). 10:51:36 -!- ais523 has joined. 11:10:31 -!- oerjan has quit (Quit: leaving). 11:25:00 -!- pikhq has joined. 11:25:56 -!- pikhq_ has quit (Ping timeout: 276 seconds). 11:46:08 -!- BeholdMyGlory has joined. 12:17:58 does anyone here have ideas about how to automatically check a moderately large number (between 100 and 200) of Java code submissions for plagiarism? 12:18:23 we've got a pretty good idea that it's happening, but not who's copying off who, or in what way 12:18:51 and the code's been changed enough that simply comparing executables doesn't work, nor does comparing source even with comments and variable name variation removed 12:19:02 so I'm wondering if there's something more insane I can try 12:19:25 -!- cheater- has quit (Ping timeout: 240 seconds). 12:20:32 -!- cheater- has joined. 12:30:06 ais523: I have the same problem (well, except N=~50 instead of 100-200), but no real solutions. 12:30:16 I did see a 2008 paper about the topic, though. 12:30:18 http://www.cs.hut.fi/Software/Plaggie/ ? 12:30:56 the script I'm running decomposes programs into a sequence of characters, one per line, with identifiers that aren't keywords replaced with underscores (it needs a better approach for keywords, really) 12:31:06 and then pairwise diffs the resulting files, and counts the number of lines in the diff 12:31:19 Deewiant: http://www.computer.org/portal/web/csdl/doi/10.1109/ICCIT.2008.267 is the one I remember seeing. 12:31:22 (that's not a context diff, just an old-fashioned format-nobody-uses-any-more diff) 12:31:33 Deewiant: I wonder why no-one advertised Plaggie to me when I was asking about this stuff. 12:32:06 (The proceedings link on that page doesn't seem to want to work.) 12:32:11 that download counting form is bizarre 12:32:21 why don't they, you know, just actually count downloads? 12:32:23 I don't know if that's the one but I think the basic programming courses use something that was made here 12:32:42 Anyway, http://portal.acm.org/citation.cfm?id=1315831 is the two-page paper which lacks any interesting info 12:32:58 the actual download page is http://www.cs.hut.fi/Software/Plaggie/download.html 12:33:01 (found via view source) 12:33:49 I guess it reads Java sources? 12:34:13 I guess you can decompile if you only have the bytecode 12:34:20 I have source 12:34:35 Oh, I do have sources too; but the one I remember reading about was a bytecode similarity tool. 12:34:42 That one uses sources 12:34:54 it's not obvious which is better to use when checking for plagiarism 12:34:59 "The basic algorithm used for comparing two source code files is tokenization followed by greedy string tiling." 12:35:02 article or source, that is 12:35:23 hmm, I wonder if azip would be good at this? 12:35:32 Some people from Austin, TX, seem to have patented "An analysis tool extracts class data from Java objects within a potential plagiarizing Java program and the original Java program, and then compares classes common to the potential plagiarizing program and the original across various performance metrics." 12:36:35 And there's a reference to an earlier patent for "A technique for detecting similarities in large sets of binary code files, e.g., bytecode files, without requiring access or knowledge of the actual source code itself." 12:43:01 -!- TLUL has quit (Quit: *disappears in a puff of orange smoke*). 13:02:34 -!- Mathnerd314 has quit (Quit: ChatZilla 0.9.86-rdmsoft [XULRunner 1.9.2.13/20101203075014]). 13:04:03 -!- Sgeo has quit (Ping timeout: 240 seconds). 13:20:55 -!- ais523_ has joined. 13:39:32 -!- augur has quit (Remote host closed the connection). 13:59:36 -!- elliott has joined. 14:00:29 20:25:26 argh, now i'll never know if pizearke2 just meant passing a function along 14:00:29 20:25:32 why didn't you ask 14:00:32 he'll be back 14:00:46 20:48:17 I appear to be accidentally creeping out Other KT-AT 14:00:47 20:48:42 She seems to be unaware that my other number is me, despite me telling her several times 14:00:52 wow she is the most retarded person i have ever heard of 14:00:56 apart from your father 14:01:14 20:59:01 Besides, you think I tell you _everything_? 14:01:14 20:59:04 About anything? 14:01:15 yes 14:01:36 `addquote okay see in my head it went, you send from your other number smth like "i'd certainly like to see you in those pink panties again" and she's like "WHAT?!? Sgeo took a pic?!?!?! that FUCKING PIG" 14:02:09 22:22:18 It's kinda got an uncanny valley effect going on to me. 14:02:09 22:22:36 pikhq: What is an uncanny valley effect? 14:02:12 pikhq: i've figured it out 14:02:19 pikhq: he lined up "uncanny valley effect" with yours 14:02:25 that's the entire goal of his speech 14:02:30 to be nicely-formatted in monospaced 14:02:46 No output. 14:03:24 :| 14:03:27 `addquote okay see in my head it went, you send from your other number smth like "i'd certainly like to see you in those pink panties again" and she's like "WHAT?!? Sgeo took a pic?!?!?! that FUCKING PIG" 14:03:29 327) okay see in my head it went, you send from your other number smth like "i'd certainly like to see you in those pink panties again" and she's like "WHAT?!? Sgeo took a pic?!?!?! that FUCKING PIG" 14:04:00 23:40:09 Oh holy crapcrap. 14:04:01 23:40:14 The BBC has aired David Firth cartoons. 14:04:01 23:40:19 This frightens me. 14:04:01 23:40:29 And impresses me. 14:04:01 we're just that awesome 14:04:35 01:15:47 They are, in fact, my arrows; but they are the correct way around for me; I think Gregor must've broken them when changing the sign of the scores. (My version had "42" for that result, i.e. score for left player.) 14:04:35 01:16:14 I told him to just print -score in main, but I think he instead flipped all the places where the actual interpreter updates the score, for some reason. 14:04:36 01:16:34 (Of course I told him that only afterwards, but that's no excuse.) 14:04:54 I have to say, lance isn't nearly as entertaining as this 14:09:36 -!- hiato has joined. 14:10:14 -!- hiato has changed nick to I_WIN. 14:10:47 -!- I_WIN has quit (Client Quit). 14:11:10 -!- augur has joined. 14:19:46 oh Thielemann 14:29:35 > let ι = id in ι 3 14:29:36 3 14:32:28 " menger's thm is not hard to prove iirc" <<< it's kinda obvious how to do the induction, yes, but there's a few cases you need to consider, so it takes a while to get the details right 14:32:43 " also the fan thing has some interesting things you can prove" ? 14:34:35 -!- asiekierka has joined. 14:34:39 " does anyone here have ideas about how to automatically check a moderately large number (between 100 and 200) of Java code submissions for plagiarism?" <<< flunk the whole class and see which ones get beaten up 14:36:16 oklopol: :D 14:37:57 fun :: ((Sem -> Sem) -> Sem) -> Sem 14:37:57 fun f = Fun $ \(Sem g) -> f g 14:38:02 sem sem fun sem sem fun fun fun fun sem fun sem fun 14:39:18 hi 14:46:41 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 14:52:32 -!- Wamanuz3 has quit (Ping timeout: 276 seconds). 14:54:01 -!- Wamanuz has joined. 14:55:35 -!- MigoMipo has joined. 14:56:20 APNIC down N/A: IPv4: 256k+128k to China, 32k to South Korea, 8M(!!!) to Japan, 8k+512 to Indonesia, 256 to Malaysia. IPv6: /32 to Indonesia, /32 to Thailand, /32 to Hong Kong. 14:56:40 8M blocks? I HOPE SO 14:58:56 I think it will be down either 0.52 (to 2.92 + ERX blocks) or 0.53 (to 2.91 + ERX blocks). 15:00:08 Wait, 8M /IPv4/? 15:00:10 lolwat 15:00:12 Yeah. 15:00:25 Should that really have been granted... 15:00:34 It's not the allocation of a nation working hard on IPv6 migration :P 15:01:42 Allegedly Japan IPv6 is so bad that it is best to blacklist the entiere country from AAAA records (with some exceptions). 15:02:09 Ilari: Huh ... that's quite surprising considering how good Japan are with technology adoption. 15:02:18 And the speeds of their interweb connections... 15:04:17 NTT (Semi-monopolistic there) allegedly gives customers IPv6 addresses... That don't route to/from the Internet. It is fairly easy to see what problem that causes. 15:05:05 That's about the worst way one can do to break IPv6. 15:05:52 Ilari: That's awesome X-D 15:06:05 IPv6 enabled! Note: IPv6 not actually enabled. 15:11:27 Well, That is going to be royal fun when Google enables quad-As globally on world IPv6 day... :-) 15:12:14 Oh, and Facebook too. And few other MAJOR sites. 15:13:30 -!- copumpkin has joined. 15:15:50 elliott: http://mailman.nanog.org/pipermail/nanog/2011-February/033695.html 15:16:38 "Own the government"? That's a bit of a strong statement :P 15:18:26 Well, large corporations do own the goverment. 15:19:22 Mm. But I don't think a single telco has that much power (well, depends how monopolistic its monopoly is). 15:19:49 At least, some monopolies make sense -- for instance you don't want laying electrical cables to be a free-for-all because it'll turn into a clusterfuck... 15:26:34 -!- augur_ has joined. 15:27:20 -!- augur has quit (Ping timeout: 264 seconds). 15:27:45 -!- augur_ has quit (Read error: Connection reset by peer). 15:28:09 -!- alp_y has quit. 15:28:11 Ha, there is an even more insane way than Vorpal's to do returns in bash. 15:28:19 -!- augur has joined. 15:29:20 what's wrong with a little clusterfuck 15:30:49 Well, little clusterfuck no... But clusterfucks have tendency to turn into major clusterfucks. 15:31:35 INFINITE CLUSTERFUCKERY 15:31:53 i see 15:38:33 What, zsh is actually maintained for Windows. 15:41:10 -!- augur has quit (Ping timeout: 240 seconds). 15:44:18 -!- pikhq has quit (Ping timeout: 250 seconds). 15:44:28 -!- pikhq has joined. 15:44:45 -!- Phantom_Hoover has joined. 15:45:31 -!- ominovorol has joined. 15:46:15 ominovorol: hi not oklopol 15:46:29 Ah, APNIC down 0.55. 15:47:38 -!- oklopol has quit (Ping timeout: 240 seconds). 15:48:59 hi not alise 15:49:44 Final for February: 22 323 200 IPv4s (1.330 blocks). 15:49:56 Ilari: Less than two blocks? 15:50:01 That's, um, that's quite... quite fast. 15:51:09 Remaining until phase 3: 1.89 blocks + ERX space. 15:51:23 That ERX is about 1.5-1.6 blocks. 15:51:44 But fairly fragmented. 15:52:27 So about 3.4-3.5 blocks total. 15:53:42 4 653 074 IPv6 /48s. 15:55:02 -!- pikhq_ has joined. 15:55:25 -!- pikhq has quit (Ping timeout: 276 seconds). 15:58:02 -!- elliott_ has joined. 15:58:09 FFFFFFFFFFFFUUUUUUUUUUUUUUUUUU 15:58:13 -!- elliott has quit (Read error: Connection reset by peer). 15:58:19 What does it mean if my laptop doesn't recognise it's being charged when I plug it in, and the little light on the charger doesn't light up :P 15:58:32 (And the battery's still drains) 15:58:38 (And the charger is getting power) 15:59:39 -!- MigoMipo has quit (Read error: Connection reset by peer). 16:00:12 This is worrying. 16:04:13 elliott_: most likely an open circuit on the charger input 16:04:22 is it making beeping noises and catching fire? 16:04:26 ais523_: no, no it isn't 16:04:31 good 16:04:33 mine was 16:04:40 XD 16:04:45 :D 16:04:52 i suppose it's conceivable that the power light being on on the socket multiplier extension thing doesn't actually mean it's supplying power to the charger. 16:05:08 but i've kicked it *several* times and it still isn't working. 16:05:18 (I had to get it replaced, and managed to convince the person at the other end of the phone it was broken and how by explaining all the issues; they finally admitted the problem was likely in the charger not the laptop when I explained that it happened even when the charger wasn't connected to the laptop) 16:05:24 ais523_, do you often give advice to people who fail to mention that their hardware is on fire? 16:05:53 no; it's just that I've set things on fire more than once, being an electronic engineer (as my first degre) and all 16:06:06 you don't really get to become a Master of (Electronic) Engineering without blowing up a few diodes by mistake 16:06:32 I like to think that electrical engineering is primarily about blowing things up. 16:06:51 Actually doing things is sort of a side effect. 16:07:16 getting them to not blow up can be harder 16:07:19 ais523_, I assume you also burnt yourself a fair number of times. 16:07:23 and thus more intellectually interesting 16:07:27 Phantom_Hoover: actually, only twice, IIRC 16:07:31 both times with a soldering iron 16:07:32 ONLY TWICE! 16:07:35 And they were only fourth-degree. 16:07:46 solder iron burns are really minor compared to most other sorts 16:07:57 "Extends through skin, subcutaneous tissue and into underlying muscle and bone" 16:07:59 That's a nice degree. 16:08:15 when you just explode circuits, you're generally at a safe distance 16:08:25 But hey, it's apparently "Painless". 16:08:41 It has no example picture :P 16:08:46 and the emergency power shutoff is generally sufficiently far away that you can hit it without being at risk to the fire 16:09:04 in fact, you can generally hit the good old-fashioned off switch without needing the emergency shutoff 16:09:12 and it works just as well 16:09:21 the emergency shutoffs mostly exist to get bumped into by mistake 16:09:31 and, umm, regulations of some sort 16:09:33 You keep talking ais523_, but all I hear is "we've made it really convenient to blow shit up". 16:09:41 "And safe, too." 16:10:06 well, in a student EE lab, you expect the occasional explosion, so you try to reduce the ramifications 16:10:12 wow, the Firefox 4 beta's feedback choices are a bit awkward 16:10:16 "Firefox Made Me Happy Because..." 16:10:18 "Firefox Made Me Sad Because..." 16:10:37 you can ask for your users' feelings without being all preschool about it, Mozilla 16:10:40 Firefox Made Me Sad Because it stole forty cakes. 16:10:43 ...because it makes me sad and I don't know why 16:10:50 Gregor: And that's terrible etc. 16:10:54 :P 16:11:18 Firefox made me sad because I don't know whether I was happy or sad so this menu upset me but now I am only sad and not either sad or happy so I guess the problem is resolved 16:11:44 Firefox made me sad because it murdered my family and raped my dog. 16:11:58 Gregor, always the classiest of #esotericers. 16:12:13 "Show me on the doll where Firefox touched you." 16:12:27 "Extraction failed because download is corrupted" 16:12:33 IE: Can't even download Firefox correctly! 16:20:36 -!- augur has joined. 16:21:54 -!- zzo38 has joined. 16:22:20 -!- elliott_ has quit (Ping timeout: 240 seconds). 16:26:28 -!- elliott has joined. 16:27:57 -!- ais523_ has quit (Quit: Page closed). 16:30:42 hi ais523 16:30:49 "Extraction failed because download is corrupted" 16:30:50 IE: Can't even download Firefox correctly! 16:30:50 What kind of crack-addled monkey designed Firefox 4? 16:30:53 hi 16:31:00 ais523: it seems that the power supply issue is actually my extension being messed up 16:31:02 how did you guess I was back on ais523? timing? 16:31:05 the router lost power, I think 16:31:07 also, tab-complete 16:31:15 (after ais523_ leaving) 16:31:17 if it hadn't completed, I wouldn't have said hi 16:31:20 ah 16:31:21 because I'd assume you'd have left 16:31:36 ais523_ is me on the teaching computers downstairs 16:31:41 I was there marking students, but that's finished now 16:31:45 whereas ais523 is my netbook 16:32:13 it's why ais523_ tends to be relatively uncommunicative while online, and ais523 completely silent while ais523_ is present 16:33:25 also, a bunch of students seem to be cheating this week 16:33:48 nice 16:34:00 are they really masters students...? 16:34:11 they sound like 14-year-olds 16:34:47 oh, those are first-years 16:34:51 and it isn't most of them, just a subset 16:34:59 the issue is determining just how large the subset is 16:35:11 as the exercise was one where there were a few standard ways to solve it 16:35:32 and so you got things looking the same by chance as well as by maliciousness 16:39:08 ais523: hmm 16:39:14 fiddling with the socket made the charger go on 16:39:18