00:00:51 -!- Bike has joined. 00:01:22 they did an interview with the tsareav's dad 00:01:36 said they were stupid bastards 00:01:59 the people interviewing or his sons? 00:03:15 -!- Bike_ has joined. 00:03:48 the dad said whoever did the bombings were bastards 00:03:54 i heard they interviewed their uncle 00:03:59 their uncle went on a little rant about it and how chechens weren't like that 00:04:01 "why do you think they did this?" "because they're losers" 00:04:04 yes 00:04:06 it was great 00:04:11 -!- Bike has quit (Disconnected by services). 00:04:12 -!- Bike_ has changed nick to Bike. 00:04:30 that guy is amazing 00:04:32 cutting to the core of the terrorist mythos 00:04:52 you forgot 'idiots' 00:09:28 -!- benuphoenix has changed nick to benuphoenix|away. 00:10:54 https://tahoe-lafs.org/pipermail/tahoe-dev/2013-April/008192.htmlnice 00:10:56 er 00:10:58 https://tahoe-lafs.org/pipermail/tahoe-dev/2013-April/008192.html nice 00:11:57 -!- Bike_ has joined. 00:12:30 that research project is cool 00:13:00 -!- Bike has quit (Ping timeout: 252 seconds). 00:14:46 -!- Nisstyre-laptop has quit (Quit: Leaving). 00:14:49 -!- Bike_ has changed nick to Bike. 00:15:02 So, I guess there is a very good reason to verify that incoming data meets constraints that only happen to exist because the data won't contain weird things... if a service not under our control is buggy and would respond badly to weirdness that it should respond sanely to 00:15:36 Trusting external services to be competent at security is a bad idea 00:18:35 oh shit 00:18:38 i like slept through _why's day 00:18:47 http://whytheluckystiff.net/ ok 00:18:53 tax day? 00:19:13 00:19:50 http://www.scribd.com/doc/136875051/-why-s-complete-printer-spool-as-one-book 00:26:20 elliott: holy shit i can't wait to read all of this 00:26:26 it's so _why!!! at a glance 00:28:39 I should stop talking about work 00:29:18 kmc: that sounds really cool, is there like, a link to the presentation? 00:35:25 -!- carado has joined. 00:35:31 -!- carado_ has quit (Ping timeout: 246 seconds). 00:37:07 not that i have 00:46:27 Is OWASP well-liked? Are any of its ideas flawed? 00:47:46 Suspect in custody. 00:48:34 Sgeo: i've found their wiki to be useful; it does vary a lot in quality though 00:49:18 -!- Phantom_Hoover has quit (Remote host closed the connection). 00:52:46 "Common web application platforms such as Java Struts/J2EE, Ruby on Rails, and PHP can theoretically prevent developers from introducing most classes of vulnerability in the first place. However, the current state of the framework industry is more driven by features than by security; any conflict between the two is usually decided in favor of adding features and ease of use, as opposed to difficult-to-use security enhancements. Some framework 00:52:46 s even have built-in vulnerabilities out of the box!" 00:52:49 * Sgeo goes facepalm 00:52:56 I am beginning to hate everyone 00:53:05 Well, no, I was much angrier this morning 00:53:30 wait why are you hating people 00:55:43 It's generally good policy. 00:56:35 Because an external widely-used-by-lots-of-organizations competent-seeming web service has a blatant security issue 00:56:55 is that new 00:57:13 PHP prevents people from making security holes 00:57:15 shuuuuuure 01:04:54 -!- Nisstyre-laptop has joined. 01:16:54 that was time well spent. 01:18:29 hellolliott 01:18:43 MCALLISTER helloeegan 01:19:16 hi shachaf 01:21:22 -!- carado has quit (Ping timeout: 246 seconds). 01:21:32 WE DISCLAIM ALL WARRANTIES, EXPRESS OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, WARRANTIES OF TITLE, NON-INFRINGEMENT, MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, QUALITY, ACCURACY, TIMELINESS, COMPLETENESS, QUIET ENJOYMENT, NON-ENCUMBRANCES, NO LIENS, AND SYSTEM INTEGRATION 01:21:44 I really wanted a warrany of quiet enjoyment. :-( 01:23:11 -!- mnoqy has joined. 01:23:46 -!- mnoqy has changed nick to monqy. 01:24:01 -!- monqy has changed nick to mnoqy. 01:24:20 mnoqy: hi 01:24:29 did monqy have any good messages 01:24:39 no 01:24:43 they were all bad 01:24:52 maybe next time, mnoqy. maybe next time 01:25:01 maybe not next time either 01:25:14 maybe not next time, olsner. maybe not next time 01:25:57 maybe never, shachaf. maybe never 01:26:47 -!- Nisstyre-laptop has quit (Quit: Leaving). 01:29:55 huh apparently that's a real thing 01:30:08 What is? 01:30:19 covenant of quiet enjoyment 01:33:48 -!- WeThePeople has joined. 01:40:07 -!- Bike has quit (Ping timeout: 264 seconds). 01:41:36 -!- Bike has joined. 02:01:06 https://www.owasp.org/index.php/Don%E2%80%99t_trust_services 02:05:55 -!- nooodl has quit (Ping timeout: 258 seconds). 02:36:44 -!- doesthiswork has quit (Ping timeout: 256 seconds). 02:46:46 -!- WeThePeople has quit (Quit: Leaving). 02:50:48 -!- heroux has quit (Ping timeout: 276 seconds). 02:51:27 https://www.owasp.org/index.php/How_to_write_insecure_code 02:51:52 -!- heroux has joined. 03:15:12 -!- sirdancealo2 has quit (*.net *.split). 03:15:12 -!- mroman_ has quit (*.net *.split). 03:18:00 -!- Nisstyre-laptop has joined. 03:20:12 -!- sirdancealo2 has joined. 03:20:12 -!- mroman_ has joined. 03:49:20 kmc: are you going to become a cryptographer 03:49:22 imo do it 03:50:02 imo imo 04:17:25 kmc: Did you know C++ supports try-catch for constructors? 04:18:00 Foo() try : x(...) { ... } catch(...) { ... } 04:25:26 Did you know you can use a try-block anywhere 04:25:38 It doesn't have to be a constructor 04:25:40 Jafet: ? 04:26:10 The usual try syntax doesn't involve an initializer list. 04:26:13 void f() try {} catch {} 04:26:27 Ah. 04:26:34 That's what you mean. 04:27:37 Sadly this isn't legal??? []()try{}catch(...){}() 04:27:50 :☹( 04:27:52 Why not? 04:28:00 Second class citizens 04:28:07 Tyranny etc 04:34:25 shachaf: wow 04:34:27 did not know 04:37:58 Jafet: do you know everything about c++ 04:38:30 Nobody knows everything about C++. I'm a nobody. 04:40:39 function-try-blocks are pointless on regular functions 04:40:52 but serve a distinct (if questionable) purpose for constructors 05:12:12 -!- heroux has quit (Ping timeout: 258 seconds). 05:14:05 -!- heroux has joined. 05:20:58 -!- Bike_ has joined. 05:21:11 -!- FreeFull_ has joined. 05:25:28 -!- Bike has quit (*.net *.split). 05:25:29 -!- FreeFull has quit (*.net *.split). 05:25:29 -!- hogeyui has quit (*.net *.split). 05:34:03 -!- heroux has quit (Ping timeout: 258 seconds). 05:35:07 -!- hogeyui has joined. 05:35:32 -!- heroux has joined. 06:14:09 -!- Sgeo has quit (Remote host closed the connection). 06:19:40 -!- Sgeo has joined. 06:31:49 -!- doesthiswork has joined. 06:33:38 -!- ogrom has joined. 07:12:25 can you be reached in http://imgur.com/W8gUtNi? 07:13:19 -!- Bike_ has changed nick to Bike. 07:14:14 is this a maths question 07:15:43 " I think what that game is missing is that it isn't taking place on a torus" one thing i'd like to do is to have a game where the play area is some fucked up manifold that changes its global form 07:15:50 but i dunno how that should work 07:16:55 -!- c00kiemon5ter has joined. 07:40:22 -!- mnoqy has quit (Quit: hello). 07:43:59 fizzie: it seems i have about 150000 points. i think i have to make some changes to the game. 07:45:52 -!- c00kiemon5ter has left. 08:02:34 -!- Bike has quit (Quit: leaving). 08:25:13 -!- Zerker has joined. 08:37:42 -!- ThatOtherPerson has joined. 08:55:12 -!- c00kiemon5ter has joined. 09:02:53 -!- epicmonkey has joined. 09:14:46 -!- FreeFull_ has changed nick to FreeFull. 09:16:15 -!- ais523 has joined. 09:17:17 I think I hit a new record for how undebuggable a bug can be 09:17:24 basically, I was bounds-checking against the wrong array 09:17:33 and thus any attempt to try values near the start of the array worked 09:21:19 -!- ogrom has quit (Quit: Left). 09:21:54 oklofok: Portal? 09:22:09 ais523: Hahah 09:22:39 it was eventually found via the time-honoured method of staring at the code without running it 09:23:19 As opposed to bisection search? 09:26:22 -!- carado has joined. 09:29:39 Zerker: on what? the array? 09:29:58 if I'd thought "perhaps the first half of the array is being treated differently" I'd have found the bug much faster 09:30:04 but it's not the sort of thing I tend to assume 09:30:05 The code :) 09:30:32 that'd involve trying to work out what the correct values were halfway through the code 09:31:35 Which is nontrivial even for one specific set of input values that has been proved not to work? 09:32:04 http://en.wikipedia.org/wiki/List_of_sets_of_four_countries_that_border_one_another 09:32:17 I think most of my programs have been written for at most one input 09:34:05 My favorite debugging method is "hit random buttons until it works" 09:34:58 oklofok: I have 184319 points. 09:34:58 With code I write, I usually know what the bug is as soon as I see it 09:35:23 I think imma close the tab now. 09:35:45 fizzie: no 09:35:47 wait for it to overflow 09:35:53 I just did it. :( 09:36:36 you fool 09:37:11 afk for a length of time that will likely be between half an hour and an hour 09:37:59 -!- Phantom_Hoover has joined. 09:43:09 -!- carado_ has joined. 09:50:40 -!- doesthiswork has quit (Quit: Leaving.). 09:52:38 -!- Zerker has quit (Quit: Colloquy for iPad - Timeout (10 minutes)). 09:54:51 -!- Zerker has joined. 09:59:22 -!- ThatOtherPerson has quit (Quit: Page closed). 10:07:02 -!- nooodl has joined. 10:39:33 -!- xitrix has joined. 10:49:58 back 10:50:01 a bit more than an hour, it seems 10:56:23 -!- Zerker has quit (Quit: Colloquy for iPad - Timeout (10 minutes)). 10:57:01 -!- Zerker has joined. 11:35:20 -!- nooodl has quit (Ping timeout: 256 seconds). 11:39:02 -!- carado has quit (Quit: Leaving). 12:06:29 -!- Zerker has quit (Quit: Colloquy for iPad - Timeout (10 minutes)). 12:15:32 -!- nooodl has joined. 12:18:20 -!- sebbu has quit (Read error: Connection reset by peer). 12:18:47 -!- sebbu has joined. 12:19:25 -!- sebbu has quit (Changing host). 12:19:26 -!- sebbu has joined. 12:29:21 -!- Koen_ has joined. 12:42:25 -!- btiffin has joined. 12:46:41 Thinking about a superhero eso. Should it be rigid, datatypes by hero, and action verbs by superpower? Or loosey goosey, code mixed as appropriate? Could be fun, detailing the Spiderman datatype, errr, non-trademarked-human-with-spider-like-powers (tm) linklist type 12:48:22 suggn. drop the idea if it's just "a superhero esolang" 12:48:38 themed languages rarely turn out well except as one-off jokes 12:48:56 and these days the joke has to be pretty original 12:51:25 Sound advice. Accepted. :-) 12:55:04 at least you didn't make it a brainfuck derivative 12:55:22 -!- Taneb has joined. 12:57:00 Ahh, but my first, cbrain, is. That's what I get for being new ;-) 12:57:53 on the topic of brainfuck derivatives 12:58:02 Taneb, it's been a while since i updated my blog 12:58:14 We all know whose fault that is 12:58:45 can i take that as a confession 12:59:02 The blame lies with my maths teachers, of course 12:59:06 I have homework to do 12:59:25 btiffin: thematic languages are OK as long as they tie the theme to the semantics somehow 13:00:06 fuck maths teachers 13:02:46 What's that blog that's the best for linking people who say web dev sucks because PHP 13:03:44 I think this is either a kmc or an elliott question 13:04:28 ais523: I predict superhero the language will remain an idea, pondered and not much else, as per Phantom_Hoover's reality check. 13:04:38 they're sort of right 13:11:12 Anyone here use REBOL? 13:11:41 no 13:11:51 even Sgeo didn't go that deep afaik 13:30:55 ...why the hell does str_rot13() exist in the PHP standard library 13:31:06 Does that even do what it looks like it does 13:33:48 -!- copumpkin has quit (Ping timeout: 252 seconds). 13:34:24 -!- copumpkin has joined. 13:34:44 -!- Phantom_Hoover has quit (Ping timeout: 258 seconds). 13:39:23 "[str_rot13] Changelog: Version 4.3.0: The behaviour of this function was fixed. Before this fix, the str was also modified, as if it was passed by reference." 13:39:27 Nice that it had a bug too. 13:41:00 -!- ThatOtherPerson has joined. 13:42:02 But, I mean, the standard library has things like "hebrev — Convert logical Hebrew text to visual text" and "convert_cyr_string — Convert from one Cyrillic character set to another". One should not be surprised. 13:43:57 (From what I can tell, convert_cyr_string is like mb_convert_encoding except it has one-character special names for the few encodings -- k for koi8-r, w for windows-1251, i for iso-8859-5, a or d for x-cp866 and m for x-mac-cyrillic -- it supports.) 13:58:42 -!- nooodl has quit (Ping timeout: 256 seconds). 14:03:14 -!- ion has quit (Quit: Thanks, btrfs. BUG: unable to handle kernel NULL pointer dereference at 00000008). 14:10:11 -!- ion has joined. 14:20:58 -!- ThatOtherPerson has quit (Quit: Leaving). 14:22:17 -!- Zerker has joined. 14:30:23 -!- ion has quit (Quit: btrfs kernel code dereferenced NULL again. Rebooting to recover.). 14:32:50 -!- Zerker has quit (Quit: Colloquy for iPad - Timeout (10 minutes)). 14:33:12 I remember when I was little and lived in Australia there was a cartoon I used to watch that had a koala who used to say "Extra-ordinary!" 14:34:38 Blinky Bill, a googling reveals 14:36:29 -!- epicmonkey has quit (Ping timeout: 255 seconds). 14:37:04 -!- ion has joined. 14:42:17 -!- Zerker has joined. 14:46:46 I did play with REBOL a little, but not much 14:54:15 -!- Zerker has quit (Quit: Colloquy for iPad - Timeout (10 minutes)). 14:58:56 -!- ThatOtherPerson has joined. 15:17:27 -!- nooodl has joined. 15:20:19 Help 15:20:31 In my head I just started comparing PHP to the English language 15:24:08 That... is the most awesome comparison 15:25:22 It's a mess that people claim is easy but really isn't. It's a god-awful mix of half a dozen other languages, combining features from each that weren't meant to be mixed 15:25:41 It is inconsistent and has dozens of stupid, arbitrary rules 15:28:15 and everyone knows it 15:28:37 But it's still really commonplace, it's the de facto language because it is the de facto language 15:34:35 does english have a bizarre unusual name for some common feature 15:35:04 if so it is a perfect comparison 15:39:27 -!- WeThePeople has joined. 15:44:46 So 15:44:49 You are saying 15:45:28 "English is a god-awful mix of half a dozen other languages, combining features from each that weren't meant to be mixed and it's inconsistent especially when it comes to spelling. 15:45:36 Nevertheless, everybody uses it because they got nukes." 15:46:05 -!- Phantom_Hoover has joined. 15:46:08 mroman_, I think everyone started using it when the two most powerful countries were the British Empire and the US 15:46:09 where they = native tongues. 15:46:30 also 15:46:38 it's ruining other languages all over the world as well. 15:47:08 this conversation sounds bad 15:47:22 Phantom_Hoover, I started it, so it really is 15:47:29 this conservation smells bad. 15:47:59 Basically, English and PHP are kinda similar 15:48:08 Yeah. 15:48:15 They suck but everybody has to use it. 15:48:24 *them 15:48:43 It's probably already to late to push esperanto 15:48:56 Although 15:49:09 If NK really had nukes, they could push it 15:49:10 maybe. 15:49:16 not sure if they want to though. 15:49:17 probably not. 15:49:21 Esperanto wasn't that great if you weren't from western Europe, I seem to recal 15:49:24 l 15:49:29 Taneb: Yeah. 15:49:30 brb 15:49:38 NK would use nukes to force the rest of the world to learn esperanto? 15:49:53 wtf are you people going on about nukes for 15:50:14 there are 9 nuclear states, only 2 are anglophone 15:50:14 What? 15:50:19 Phantom_Hoover: no idea 15:51:01 Taneb: But asian languages probably all are very different from european languages. 15:52:26 Phantom_Hoover: Isn't it "Hey look at my nukes, can I haz free candy"? 15:52:49 'its vastly more complicated than that' 15:56:07 I'd advocate lojban, but I don't really want to. 15:56:51 What's lojban? 15:56:58 Some language based on logic. 15:57:04 oh dear 15:57:26 That wouldn't last long 15:58:08 Yeah. 15:58:48 I don't get it why they even wasted time invening lojban. 15:58:58 all previous languages failed 15:59:05 *inventing 15:59:17 why would they have thought that lojban wouldn't fail too 15:59:36 maybe they thought it'd be a fun exercise 16:00:12 although they... really obviously didn't 16:00:55 lol 16:01:07 you can copyright a language. 16:01:09 :) 16:01:29 that's useful. 16:03:18 And I highly doubt that laws will be written in Lojban. 16:03:43 They actually want the laws to be interpretable to weird extents. 16:04:08 *reinterpret 16:04:35 Wait, who wants loopholes in their laws? 16:04:42 Not loopholes. 16:04:47 ThatOtherPerson, how naive 16:04:55 D: 16:05:02 The judge is allowed to reinterpret the law as he pleases 16:05:05 (to some degree) 16:05:33 which means that nobody really knows what's lawful and what not. 16:06:00 which is why consulting a lawyer is usually useless 16:06:15 iirc, if you take two Lojban words and combine them in a certain way, you need to also know what that combined word means, not just the individual parts 16:06:18 because he can't tell you what you want him to tell you 16:06:41 wat 16:06:43 just wat 16:06:45 there's a 50% chance he tells you "well, that depends on how the judge interprets the law" 16:06:55 law :/ 16:07:00 mroman_ where do you even live 16:07:03 Switzerland. 16:07:07 That's how it works here. 16:07:09 somehow I view less ambiguity in laws as a good thing 16:07:21 do you not, like 16:07:28 have trial by jury in switzerland 16:07:43 there's no jury in switzerland. 16:08:37 i mean it's basically the same here except the jury does the interpreting 16:08:38 e.g when making a contract 16:08:52 there is a "template" in the law for contracts 16:09:05 which states what is what when not otherwise defined in the contract 16:09:11 but anyone saying 'lawyers are useless, don't bother with them' makes me think they're running their mouth off 16:09:21 some of the things in that "template" can be overwritten in the contract 16:09:23 some can not. 16:09:23 Really, what good would a programming language where anything you say is "up to interpretation" be? 16:09:34 And you would think the law tells you which can be overwritten or not 16:09:37 but the law does not. 16:09:45 (at which point someone will probably give me a link to a language like that -_-) 16:09:46 "everything should basically work like computers, it'd be perfect" 16:09:49 the judge decides that as he pleases. 16:10:11 Phantom_Hoover: They are not useless. 16:10:18 but they can't answer all the questions. 16:10:22 -!- carado_ has quit (Ping timeout: 246 seconds). 16:10:31 You can't tell them a scenario and expect them to tell you whether it is legal or not. 16:10:31 ThatOtherPerson: I think there's a joke about C and undefined behavior here XP 16:10:41 because they don't know it 16:11:22 In copyright law 16:11:33 There are absolutely no objective criterias for when something falls under copyright or not 16:11:53 you effectively don't know if something falls under copyright law or not UNTIL a judge said "yes" or "no". 16:12:00 -!- carado_ has joined. 16:12:17 you can still guess at how the judge will interpret it 16:12:24 Yes. 16:12:28 and i daresay for most matters a lawyer knows better than you 16:12:28 But guessing is not knowing. 16:12:48 Really, it reminds me of how a professor told Isaac Asimov "Just because you wrote it, what makes you think you have the slightest idea what it's about?" 16:12:51 The objective of your laywer is to get the judge to interpret the law in a certain way. 16:13:02 but you can't guarentee that. 16:13:11 Now I can't get the picture of the Python interpreter saying that to someone out of my mind 16:14:30 or murder. 16:14:36 It's only murder if you brutally kill someone. 16:14:43 what the fuck is everyone talking about and why... 16:14:46 but what "brutally kill someone" means depends on the judge ;) 16:14:58 wtf 16:15:07 is that the definition of murder in switzerland 16:15:41 If you kill someone by accident it's not murder. 16:15:48 yes 16:15:55 i.e. murder is intentional killing 16:16:01 not 'brutal' 16:16:13 you can accidentally kill someone brutally 16:16:14 it's not enough @intentional killing 16:16:32 brutal certainly doesn't even come close 16:16:36 elliott: We're all having separate monologues that are only slightly related 16:16:36 but still 16:16:49 -!- ais523 has quit. 16:17:11 mroman_: what if you politely kill someone? 16:17:13 i don't get anything 16:17:31 it's the judge who says if you killed someone intentional or not. 16:18:51 murder has to be intentional AND extreme 16:18:52 * ThatOtherPerson gives elliott something 16:19:15 I mean, I'm pretty sure it's the same in the US 16:19:20 except the jury has more say? 16:19:27 If the law were clear you would not need a jury. 16:19:49 are you sure there's not some kind of language barrier here... like if i make a detailed plan to kill someone and then go up to them and poison them or whatever i am going to get arrested for murder 16:19:55 but none of that is very brutal 16:20:00 So your lawyer has to persuade the jury to make a certain decision? 16:20:06 mroman_: the jury isn't so much for interpreting the law as for saying whether or not someone actually did the crime 16:20:17 h. 16:20:18 Ok. 16:20:19 at least, that's my understanding 16:20:22 Thet it's something else :) 16:20:30 "If the law were clear you would not need a jury." <-- is this meant to be an argument against interpretation? surely you can see the disadvantages of a totally unambiguous law that covers every single case and is rigorously adhered to 16:20:42 -!- Bike has joined. 16:21:03 elliott: I can see the disadvantages, yes. 16:21:11 both versions have them. 16:21:33 the ambigous law version has the disadvantage that you can't make a 100% statement whether something is legal or not. 16:21:46 until a judge decided on legal or not 16:21:58 in which case other judge later will usually refer to the previous ruling. 16:22:02 *judges 16:22:12 but they don't have to, of course. 16:22:54 As a citizen I want to know if somethin is legal or not 16:24:43 but it turns out that you don't have a chance in most cases 16:24:58 even if you consult a lawyer in advance. 16:25:13 except for cristal clear cases 16:25:27 Like: "Do I have to pay my taxes?" 16:26:55 I consulted a lawyer once 16:27:10 It was about if you meet your friends to do sports 16:27:24 and then some kids gather and play with you 16:27:39 are you liable for what happens to those kids? 16:27:49 in terms of "parental watch" 16:27:54 or whatever that term is in english. 16:28:20 that's actually a simple question which occurs daily. 16:28:28 but he could not give me a "yes" or "no" answer. 16:28:57 and that's the day I completely lost trust in the legal system. 16:29:27 esentially every day you live in a legal gray area and you have no clue what you have to do and what not. 16:29:46 is this a poem 16:29:52 No, it's a monologue. 16:30:01 a sad one. 16:30:17 because I'm very frustrated about the legal system :) 16:30:36 I'm supposed to follow the law 16:30:50 but the law can't tell me for sure if I'm following it or not. 16:30:56 I SUPPORT THE FOLLOWING: --- 16:31:19 --- is pretty rad 16:31:25 That feels like the state is mocking me. 16:31:44 the state is mocking you, personally 16:31:52 and snickering with its buds 16:32:02 and doesn't what me to know so he can beat me up whenever he wants to. 16:32:06 *want 16:32:26 which he actually can. 16:32:45 the state is generally immensely concerned with persecuting random programmers 16:32:55 let's face it you have 0 risk of actually getting beaten up by the state so why do you care 16:33:06 elliott: The risk of that is > 0. 16:33:17 ;telksr;dlfgjdhlsr; 16:33:19 and the legal system is set up this way for that express purpose, not because it's actually quite a sensible way of building it 16:33:23 I care about everything. 16:33:42 If there's a risk I must be afraid everyday of it happening. 16:33:53 because it just might. 16:34:08 right now there's a risk i will get so sick of this that i destroy the internet entirely 16:34:14 Yeah. 16:34:16 start worrying 16:34:18 But I don't care about the internet. 16:34:24 So I don't worry about that. 16:34:24 wtf are you worrying about the law for then 16:34:41 what about cars and showers, then 16:34:50 mroman_ fought the law and the law won 16:35:08 how many kinds of drunk or high are you anyway 16:35:08 -!- kmc has set topic: Bible camp's cancelled. | | I am making the world better by CONFUSING THE TIME CUBES | Underhanded C Contest: http://underhanded.xcott.com/?page_id=5 | http://codu.org/logs/_esoteric/. 16:35:10 So far I won. 16:35:22 a blank topic thing? what is this 16:35:33 nooo 16:35:34 elliott: I don't drink. 16:35:39 -!- kmc has set topic: Bible camp's cancelled. | I am making the world better by CONFUSING THE TIME CUBES | Underhanded C Contest: http://underhanded.xcott.com/?page_id=5 | http://codu.org/logs/_esoteric/. 16:35:43 ty Bike 16:35:51 mroman_, but do you drug 16:35:52 my body doesn't process alcohol. 16:35:53 maybe you should 16:35:55 i am the topic lawyer 16:35:57 Bike: there were actually 50 zero width invisible multiocular Os in that space 16:36:00 and I don't do drugs because they are definetely illegal. 16:36:08 :o 16:36:08 are they 16:36:15 it's all a matter of interpretation after all 16:36:20 "drugs" in general aren't illegal, what the hell 16:36:27 If I were to posses drugs I would be afraid every second that the police will find them. 16:36:35 * Fiora panics 16:36:36 I would literally be shaking. 16:36:39 I have ibuprofen in my bathroom! 16:36:56 FIORA THIS IS THE POLICE. GIVE UP NOW. WE KNOW YOU DEAL WITH HEADACHES 16:36:58 mroman_ you should possibly See Someone about your crippling anxiety 16:37:10 Fiora: arrested for crimes against livers?? 16:37:18 I did. 16:37:22 But turns out they can't help you. 16:37:35 They can drug you, but that doesn't fix the actual problem. 16:37:37 meanwhile: fuck i hate sunny days 16:37:59 I have prescription drugs! 16:38:00 FUCK! 16:38:24 pikhq_: yes, some presecription drugs help fuck 16:38:24 also they don't actually want to help you. 16:38:49 coppro: 'Fraid this one has an occasional side effect of hindering fuck. Alas. 16:38:51 yes I have prescription drugs too @_@ I even have schedule 4 drugs 16:38:57 * Fiora flails panicingly 16:39:03 which schedule is that 16:39:13 one of the least regulated on the list? <.< 16:39:19 4 is the wimpiest one right 16:39:27 oh apparently there is a 5 16:39:30 um, I think 5 is? I'm not sure 16:39:40 what are schedule drugs? 16:39:46 Drugs you have to schedule daily? 16:39:48 categories of restricted drugs in the US 16:39:57 cannabis is schedule 1 and cocaine is 2 or something right 16:40:01 http://en.wikipedia.org/wiki/Controlled_Substances_Act#Schedules_of_controlled_substances 16:40:06 because cannabis is bad 16:40:11 slightly badder than cocaine 16:40:15 we have classes here 16:40:31 e.g. codeine/cocaine/morphine/oxycodone are II 16:40:39 (why are drug classificiations always school-themed? there's a conspiracy here i'll bet) 16:40:55 haaaa why are so many of the schedule Is non-habit-forming hallucinogenics 16:40:57 ok yes cannabis is schedule I 16:41:07 Bike: because they're bad!!! 16:41:10 -!- DHeadshot has joined. 16:41:10 Is cannabis that worse? 16:41:11 Bike: Hallucinating is baaaad. 16:41:15 Bike: I think "schedule I" is "things with no legitimate use" 16:41:17 There are probably harder drugs 16:41:20 not specifically "it's worse" 16:41:29 Bike: stick to safer stuff like cocaine and PCP 16:41:33 what legitimate use is there for cocaine 16:41:36 of course marijuana being on there is dumb but there's some logic to it 16:41:43 Phantom_Hoover: topical anesthetic, apparently? 16:41:47 LSD has sometimes been used for alcoholism 16:41:52 whatever, i guess, HIPPIES 16:42:02 heroin is a "painkiller"!! 16:42:03 Fiora, is it better at that than, like 16:42:03 Fiora: Things with no legitimate use, a high potential abuse, and a lack of any safety without medical intervention. 16:42:06 schedule II time 16:42:07 every other -caine 16:42:16 Making honestly a lot of schedule I ridiculous. 16:42:22 yeah, it's kind of silly 16:42:55 and it doesn't have alcohol, k 16:42:56 In practice schedule I is "drugs that are 'scary'" 16:43:07 Bike: Alcohol actually has a legit medical use. 16:43:29 for what? 16:43:34 * Fiora imagines mouthwashes as contolled substances? 16:43:36 forgetting things; drowning sorrows 16:43:39 burning things 16:43:43 Bike: A treatment for methanol poisoning is application of ethanol. 16:43:47 well yeah, i mean like, drinking alcohol 16:43:57 not rubbing alcohol n stuff 16:43:58 more seriously: as a solvent? 16:44:00 By being drunk, you prevent the methanol from being processed in the liver. 16:44:01 imo my answer works 16:44:12 And so instead you piss it out. 16:44:15 No harm done. 16:44:17 GHB, a general anaesthetic and treatment for narcolepsy-cataplexy and alcohol withdrawal with minimal side-effects 16:44:18 good cure 16:44:20 schedule I 16:44:21 I like how I can turn a language discussion into a drug discussion. 16:44:22 no legitimate use obvs 16:44:24 Well, except you are going to have a *hell* of a hangover. 16:44:30 narcolepsy: illegitimate 16:44:41 I'd probably be a very bad politician. 16:44:42 mroman_, no that's just the way conversations work 16:44:43 or very good. 16:44:44 sorry fiora you're not really sick 16:44:52 it's not a really shit superpower, sorry (i guess?) 16:44:56 elliott: if I had to guess a lot of the list seems to be very old and politics means it never gets updated/fixed 16:45:04 because then they'd have to admit they were wrong about an evil drug or something? 16:45:42 If it were a superpower I couldn't have it anayway. 16:45:43 .... oh. 16:45:44 Fiora: Some people seem to assume it's on the list because it's evil, and getting it off the list is tantamount to legalizing rape. 16:45:45 something about that old story of cannabis illegalisation being driven by the fact that it makes the black man™ think he's as good as the white man™ 16:45:45 have you guys heard of the nutt sack debacle 16:45:49 The schedulers are kind of international: http://en.wikipedia.org/wiki/Single_Convention_on_Narcotic_Drugs 16:45:50 because it was just beautiful 16:45:56 GHB is also a date-rape drug. 16:45:57 nutt sack, what 16:45:57 Like, our law refers to those lists in that thing too. 16:46:05 Schedules, not schedulers. 16:46:12 I suppose process schedulers are international too? 16:46:51 -!- Ekib has joined. 16:46:56 Bike, the head Science Guy What Tells The Government About Drugs (the eponymous Nutt) basically said the drug policy was a load of bullshit 16:47:00 if it treats narcolepsy wouldn't it be like the opposite of a date-rape drug... (n.b. i have no idea how narcolepsy or date-rape drugs really work) 16:47:06 `welcome Ekib 16:47:07 bikE emoclew` 16:47:10 Hello. 16:47:12 Ekib: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 16:47:14 elliott: maybe in small quantities or something? but modafinil is way better for narcolepsy 16:47:24 damn for a second i thought you were going to say everything i did backwards 16:47:24 sdrawkcab did i gnihtyreve yas ot gniog erew uoy thguoht i dnoces a rof nmad 16:47:28 oh you are 16:47:29 era uoy ho 16:47:31 so it seems like it doesn't really have any uses besides assholes drugging people 16:47:33 ok who is setting up all the bots to reverse people 16:47:36 cool, cool. 16:47:36 .looc ,looc 16:47:37 with reversed versions of their name 16:47:39 whereupon the government demonstrated their commitment to a rational, evidence-based drugs policy founded on sound medical advice by sacking him 16:47:39 imo stop it 16:47:41 it got old the second time 16:47:47 -!- Ekib has quit (Remote host closed the connection). 16:47:50 thanks 16:48:03 precaution: make sure your name is a palindrome 16:48:25 onlinehome-server.com sounds like a domain used to control botnets 16:48:26 Incrementing me by one makes me a palindrome. 16:48:26 -!- Phantom_Hoover has changed nick to Phantom_motnahP. 16:48:30 http://en.wikipedia.org/wiki/File:Rational_scale_to_assess_the_harm_of_drugs_(mean_physical_harm_and_mean_dependence).svg haha welp 16:48:42 phantom imhotep 16:48:49 didn't he get fired for that 16:48:53 botnets are like clouds. 16:49:03 «In January 2009 he published in the Journal of Psychopharmacology an editorial ('Equasy – An overlooked addiction with implications for the current debate on drug harms') in which the risks associated with horse riding (1 serious adverse event every ~350 exposures) were compared to those of taking ecstasy (1 serious adverse event every ~10,000 exposures)» 16:49:19 XD 16:49:31 Oh, I remember that horse thing. 16:49:34 what? 16:49:36 schedule I horse riding 16:49:50 yeah 16:49:53 "He was asked to go because he cannot be both a government adviser and a campaigner against government policy. [...] As for his comments about horse riding being more dangerous than ecstasy, which you quote with such reverence, it is of course a political rather than a scientific point." hoo boy 16:50:02 i think nutt also made the point that if you have a guest and you offer them a bowl of nuts and a bowl of ecstasy it's far safer for them to go for the ecstasy 16:50:14 the primary risk of ecstasy is drinking too much water or something right, or is that a myth 16:50:21 elliott: think that's a myth 16:50:27 in fact that myth is probably harmful 16:50:32 because it makes people not drink water? 16:50:32 because way more people are hurt due to not drinking enough water 16:50:47 can always count on kmc for my #accuratedruginformation 16:54:49 happy 4/20 nerds 16:55:29 do I want to know what's special about 4/20? 16:55:50 it's death drug day 16:55:55 cannabis day hooray 16:55:57 ? 16:55:59 ack 16:56:00 baze it 16:56:13 Except in Colorado, where it's healthy recreational drug day. 16:56:34 My favourite ice cream man got arrested for drug dealing last year 16:56:41 Taneb: is this the ukip one 16:56:44 No 16:56:51 Taneb: You seem to have bad luck with ice cream. 16:56:52 no it's the UKIP one sorry 16:56:54 This was the one by the high school 16:57:00 Not the one by the first school 16:57:03 did he sell weed ice cream 16:57:04 i'd buy it 16:57:11 I don't think so 16:57:26 He did sell cocaine ten pence mix ups, though 16:57:49 heh 16:57:53 more than ten pence I expect 16:57:58 Perhaps 16:58:11 he got arrested for bankruptcy 16:58:15 sold them drugs too cheap 16:58:45 kmc: what's the price of cocaine #accuratedruginformation 16:59:06 pikhq_: i can only imagine the crowd at CU Boulder right now 16:59:11 Oh god. 16:59:22 kmc: let me steal a joke a friend told me yesterday 16:59:25 i mean even before it was legalized, this was a school where the authorities sent an official message warning students with respiratory problems to stay away from the quad 16:59:32 this is a special day, because it's celebrated by a well known, popular fantasy race 16:59:36 the high elves 16:59:39 >_< 16:59:46 <______<; 16:59:47 terrible. 17:00:02 awful 17:00:07 and not just because of the elves 17:00:08 i groaned in recognition solely because i've seen someone make that joke before 17:00:14 horrendous 17:00:16 <______<;[->++<] 17:00:24 one of those love/hate days w/ the internet 17:00:26 keeeeggyyyyyyyy 17:00:36 Phantom_monaD 17:00:37 Phantom_motnahP: i thought you were reconciling with the elves 17:00:54 Fiora: that's me 17:01:08 I knowwwwwww 17:01:12 :3 17:01:27 elliott: i don't know how much cocaine costs 17:01:35 i've never bought any cocaine or 'done' any cocaine 17:01:44 elliott, why?? 17:01:50 i forget 17:02:02 kmc: sounds very "square", are you not "hip" to the "kids" 17:02:17 i am "peer pressuring" you right now 17:02:18 :D 17:02:28 pier pressure 17:02:31 maybe with enough pressure, he might 17:02:32 crack? 17:02:34 kmc, apparently cocaine is really expensive 17:02:45 Fiora, ... 17:02:47 you might even call it 17:02:47 cocaine 17:02:49 why didn't I think of that 17:03:14 wow Phantom_motnahP you didn't tell me how hard it was to stop yourself revealing that your pun doesn't actually exist when you did it 17:03:16 pier pressure is a serious phenomenon, it's hard to keep those things going in the presence of wave motion 17:03:55 in the movie Mr T's Be Somebody or Be Somebody's Fool, there's a segment about peer pressure which takes place on a pier 17:04:11 the protagonist is a small kid sitting on a bench 17:04:25 and various 'no-good teenagers' come up to him and try to literally shove alcohol and cigarettes in his mouth 17:04:56 and Mr. T stands about 4 feet away with his arms crossed shaking his head sternly 17:05:03 elliott, i still really want to know how oerjan managed to get the mackerel one 17:05:04 but doesn't actully intervene of course 17:05:42 -!- AnotherTest has joined. 17:05:47 kmc: this actually happened to me irl 17:05:58 "The production drew strongly on new wave and R&B culture of the mid-1980s to appeal to children to respect elders, avoid peer pressure, and build self-confidence." 17:06:00 Hello 17:06:10 Roots - Mr. T says "Ya can't know where you're going if ya don't know where you're from" and explains the symbolism of his gold chains. 17:06:14 haha wow 17:06:30 Recouping - When a kid trips on the sidewalk, "Dr. T" shows how one can preserve their dignity after an "absoludicrous" mistake by playing it off as a break dance move. 17:06:50 Mr. T's Tale - Mr. T tells his version of Romeo and Juliet and gives a pro-reading message. 17:06:57 -!- Zerker has joined. 17:09:26 -!- WeThePeople has quit (Quit: Leaving). 17:12:11 ah Romeo and Juliet, the inspiring story of a three day relationship between a 13 year old and a 17 year old that ended in 6 deaths 17:12:58 p. sure everyone in here hates it 17:13:00 imagine if most teen romances ended in six deaths 17:13:19 i hate it because i had to spend two fucking years of english classes 'analysing' it 17:13:38 I can't take it seriously anymore because 17:13:41 I can only think of the DiCaprio movie 17:13:43 and the gun 17:13:44 labelled SWORD 17:13:48 Two years of analysing Mr. T, oh, what a fate. 17:13:49 er, LONGSWORD 17:13:50 imo, Much Ado > R&J 17:14:03 It's one of Shakespeare's more boring plays. And fucking idiots think of it as being a romantic tale. 17:14:12 i haven't read much shaxpear 17:14:27 I like Othello and the Comedy of Errors 17:14:37 And Richard II and Richard III 17:14:40 shakespeare in film is just great overall fiora, you know there's an adaptation of Hamlet involving the "Denmark Corporation" 17:14:57 i can't believe we literally talked about this weeks ago. 17:15:03 should i say the same things about hamlet 17:15:05 IT WAS A GOOD ADAPTATION OKAY 17:15:06 i don't know what to do 17:15:12 no it's not just your line! 17:15:14 it's... everything 17:15:30 Bike: what XD 17:15:52 it's hamlet In Modern Times, man 17:15:57 kmc: He's a decent playwright that a lot of people misunderstand. Badly. 17:16:11 First secret to Shakespeare: about half of it is dick jokes. 17:16:55 was it kimchee or shachaf or someone who wanted more astrophysics 17:16:58 http://arxiv.org/pdf/1106.0923v2.pdf 17:17:10 -!- Zerker has quit (Quit: Colloquy for iPad - Timeout (10 minutes)). 17:20:04 I'm gonna go get ready to go out 17:20:16 elliott, avoid the golf club if you want the universe to stay intact 17:20:27 Also where is the golf club 17:20:40 it's thingy 17:20:43 i've run across it before 17:20:55 Hexham golf club, not Tyne Green golf club 17:21:10 god knows 17:21:23 Oh god, it's right on the other side of town 17:24:07 Fiora: the gun says 'SWORD 9mm' 17:24:24 http://www.harkavagrant.com/index.php?id=238 shakespeare 17:24:27 you probalby remmber better than me -_- 17:24:34 coppro, there were two guns, I think 17:24:37 excellent use of metaphor and... pathetic fallacy? 17:24:48 At the beginning they used a SWORD 9mm 17:24:58 But Lord Capulet (I think) had a LONGSWORD 17:24:58 also this channel is wonderful 17:24:59 that is all 17:25:20 is it 17:25:20 lord capulet don't fuck around 17:25:26 I'm just remembering the moment where the guy is like BRING ME MY LONGSWORD 17:25:34 and he gets a gun made by Sword 17:25:37 and it is just the best 17:25:55 I think we watched it in class, I'm not sure 17:26:00 in like, middle school 17:26:04 Same 17:26:21 best part of that movie was mercutio though 17:26:24 elliott: I just said it is 17:26:31 "The debris produces a small but massive accretion 17:26:32 disk" 17:26:40 (this sounds so contradictory out of context) 17:26:40 how shakespearian 17:26:57 Fiora: if you know what "massive" means, it doesn't 17:27:12 yeah, I know <.< the context is "it's white dwarf degenerate matter, so yes it's small and massive" 17:27:25 -!- Zerker has joined. 17:35:37 -!- Bike_ has joined. 17:38:17 -!- Taneb has quit (Quit: Leaving). 17:38:37 -!- Bike has quit (Ping timeout: 256 seconds). 17:38:54 -!- ogrom has joined. 17:40:08 -!- Bike_ has changed nick to Bike. 17:41:02 -!- DHeadshot has quit (Read error: Connection reset by peer). 17:41:08 -!- DH____ has joined. 17:43:47 -!- Zerker has quit (Quit: Colloquy for iPad - Timeout (10 minutes)). 17:44:06 -!- DH____ has quit (Read error: Connection reset by peer). 17:44:28 -!- DHeadshot has joined. 18:25:28 I think drinking hot coffee everyday broke my ability to swallow. It feels like I can only gulp now 18:29:41 Can you swig? 18:29:58 can you quaff 18:30:12 kmc: press q 18:31:14 someone tell me to do something useful 18:31:24 ThatOtherPerson: do something useful 18:31:53 perhaps they could also tell me something to do in a useful manner 18:32:19 contribute to Mosh: https://github.com/keithw/mosh/ 18:33:47 oh, cool 18:37:01 kmc: that looks interesting 18:37:29 although I probably don't have the required time/will to get into the project 18:37:35 kmc is getting paid so much right now 18:37:38 for this advert 18:42:37 Would Mosh work well or poorly for Nethack/other roguelike servers? 18:42:44 Especially due to the prediction stuff 18:42:55 -!- DHeadshot has quit (Ping timeout: 258 seconds). 18:43:17 probably well 18:43:24 Are you intimating that kmc is a spambot? 18:43:26 prediction wouldn't do anything 18:43:33 a well-paid spambot 18:43:36 Also, why UDP? 18:43:45 why tcp 18:43:53 it's supposed to work on mobile connections isn't it 18:43:55 it's effectively doing the work of tcp in some ways 18:43:55 prediction is pretty conservative by default; it will only echo characters if it's seen a character echoed on the same line 18:44:00 Because keystrokes and c... ah 18:44:03 except it's not based on sending a stream 18:44:07 it's based on synchronising a state 18:44:08 often not practical to establish a "real" "connection" 18:44:33 yes several reasons for UDP: a) roaming, b) making your own flow control that's better suited to the interactive traffic c) synchronizing states rather than sending an in-order reliable stream 18:44:44 Maybe that portion of the protocol could be useful elsewhere? 18:44:45 but... UDP can cause a lot of implementation hassle :D 18:44:59 if a packet is dropped and the terminal has updated in the meantime, the server can send the new state; it doesn't need to retransmit the old packet exactly 18:45:04 Although, I guess state synch is domain specific 18:45:08 Sgeo: yes, KeithW has already applied it to video conferencing as well 18:45:16 the state sync protocol is reasonably generic 18:45:28 it can synchronize any object type with serializable diffs, basically 18:45:34 you can join #mosh and talk to him about it more 18:45:41 does it do IPv6? 18:45:45 not yet :/ 18:45:49 you should add IPv6 support 18:45:57 Serializable diffs and unique IDs for each state? 18:46:01 something like that 18:46:07 there's a paper linked to from mosh.mit.edu 18:46:09 Because otherwise how would it know which diffs to use 18:46:10 kmc: Maybe I should, maybe I shouldn't bother though 18:46:12 which lays out the protocol somewhat 18:46:44 Also, I can't remember that book on security that kmc recommended 18:46:45 software written in 2013 should do IPv6 I think tho 18:46:55 AnotherTest: great, we look forward to receiving your patch 18:47:15 Sgeo: The Tangled Web? 18:47:19 it's about web security 18:47:20 Yes, ty 18:47:21 kmc: I said maybe, which probably means "unlikely" in this particular case 18:47:22 -!- mnoqy has joined. 18:47:57 AnotherTest: sorry to be sarcastic, it's just that we all agree IPv6 is a high priority, but nobody is working on Mosh full time atm 18:48:05 KeithW is a grad student with lots of grad studenty work 18:48:07 i'm a lazy bum 18:48:10 i might start contributing more though 18:48:31 "With coverage extending as far as planned HTML5 features, The Tangled Web will help you create secure web applications that stand the test of time." 18:48:32 AnotherTest: in particular he believes (and I'm inclined to agree) that we can't really claim IPv6 support unless we also support roaming between v4 and v6 18:48:35 Book sounds a bit old? 18:48:44 because roaming is a core part of the Mosh experience 18:49:09 and that in turn means that mosh needs to be aware of multiple server IPs and switch between them if traffic isn't getting through 18:49:16 right now Mosh doesn't even notice that it's roamed 18:49:24 it's just always sending UDP packets and sometimes they get through 18:49:29 kmc: do you allow public-key authentication with anything else than RSA? 18:49:38 Can't roam during the SSH handshake, right? 18:49:43 AnotherTest: all authentication and public-key crypto is handled by SSH 18:49:53 kmc: oh, so nothing "extra"? 18:50:10 AnotherTest: the 'mosh' wrapper script uses ssh to launch a mosh-server on the remote host, which prints a symmetric crypto key, and then it launches a mosh-client locally with that key 18:50:20 from there they communicate using 128-bit AES in OCB mode 18:50:31 this is great because it means the Mosh crypto story is super simple 18:50:35 so this is just an ssh server and client? 18:50:37 and all your strange SSH authentication methods still work 18:50:43 AnotherTest: hm? 18:50:47 -!- Bike has quit (Read error: Connection reset by peer). 18:50:47 -!- Bike_ has joined. 18:51:02 no it's a totally different protocol 18:51:03 Also, writing NetHack in the language where every program is NetHack is super simple. 18:51:03 kmc: I thought this was like an extension of SSH or somethign 18:51:12 http://mosh.mit.edu/ 18:51:34 Surely the complexities of ssh in some sense add to mosh complexity? 18:51:35 Which perl should I use on Windows? 18:51:39 Strawberry? 18:51:47 AnotherTest: the 'mosh' wrapper script uses ssh to launch a mosh-server on the remote host, which prints a symmetric crypto key, and then it launches a mosh-client locally with that key 18:51:48 -!- Bike_ has changed nick to Bike. 18:51:58 then the SSH connection terminates and mosh-server and mosh-client talk to each other using the Mosh protocol 18:52:17 wait what 18:52:24 there is a mosh client running on the server? 18:52:26 -!- doesthiswork has joined. 18:52:38 Sgeo: yeah, but people already trust SSH, and keeping it secure is someone else's responsibility 18:52:42 oh "Mosh is a replacement for SSH" 18:52:43 Sgeo: ssh is only used for authentication/handshakey stuff 18:52:47 AnotherTest: no, there's a mosh-server on the server, and a mosh-client on the client 18:52:47 what was wrong with ssh? 18:52:53 have you tried reading the page 18:52:53 you know hat 18:52:55 you know what 18:52:57 why don't you read the page 18:53:05 I am reading it 18:53:06 crazy talk 18:53:08 kmc you're too slow 18:53:08 sorry 18:53:09 or at least pay attention to the things people are saying in channel 18:53:15 kmc: also trying to 18:53:21 it spells out pretty explicitly at the top what the advantages over SSH are 18:53:34 I'm reading them 18:53:38 it's ok kmc. i'm using mosh... right now 18:54:14 -!- Bike_ has joined. 18:54:20 does anyone know chinese? you should traslate this two thousand page book for me because victorians can just go fuck themselves 18:54:25 -!- Bike has quit (Disconnected by services). 18:54:25 Bike_: no and okay 18:54:28 -!- Bike_ has changed nick to Bike. 18:54:28 I hate Windows -_- 18:54:33 thx 18:54:33 Is there any support for decoupling mosh from ssh and using something else for auth+handshake? 18:54:36 another advantage of delegating connection setup to SSH is that there's no persistent mosh daemon that needs to be installed and run as root 18:54:56 There's a persistent ssh daemon that needs to be installed and run as root 18:54:59 imo fuck victorians. fuck england 18:54:59 instead you have one mosh-server process for each connection, running as that user, and it could just be running out of their homedir 18:55:12 Sgeo: right. but people already have that. 18:55:21 and would want to keep it even if they install mosh 18:55:26 because SSH does some things Mosh doesn't 18:55:29 Bike: 僕中国語知無。 18:55:47 Sgeo: there are examples further down the page of how to launch mosh-server and mosh-client manually 18:55:48 thx 18:55:51 well you need root if you want to log in as users 18:56:15 probably not that useful now that people whitelist ssh users 18:56:21 but running a bunch of servers would sort of suck too 18:56:21 i know somebody wrote a wrapper to launch mosh over HTTPS, and someone else wrote one for SMS :) 18:56:24 so it uses SSH for the authentication, and the rest is a different protocol? 18:56:26 you'd need... a supervisor running as root 18:56:30 that starts up all the little servers 18:56:31 AnotherTest: Yes. 18:56:38 unless everyone just put it in their crontab or something which uhhhh 18:56:41 Technically it could use something else for authentication. 18:56:59 But SSH is already there. 18:57:12 "But you'll need working UDP." 18:57:21 Is UDP iffy? 18:57:32 I mean, in the sense of people not having access to working UDP 18:57:35 Sgeo: Not really. 18:57:38 are there systems that don't have working udp 18:57:47 Some particularly bad NATs don't pass it through sanely. 18:57:50 if your server is behind a firewall then you need to forward a port for it 18:57:55 one port per concurrent Mosh connection 18:58:16 But those NATs break a lot of stuff. 18:58:36 You probably need root access to forward ports though 18:58:44 they claim you don't need root 18:59:01 AFAICT eduroam at our university blocks UDP completely 18:59:20 Deewiant, ! How do you live without BZFlag? (iirc BZFlag uses UDP but I might be wrong) 18:59:33 A lot of games use UDP. 18:59:48 yeah, some really restrictive public WiFi doesn't allow UDP 18:59:50 Blocking UDP is a sign of incompetence. 18:59:51 I've never heard of BZFlag so I guess the answer is "without worrying about it" 19:00:05 the only traffic which can reliably make it across the Internet unmolested is 443/tcp 19:00:09 eduroam isn't public (although at the campus I guess it practically is) 19:00:09 and this is why we can't have nice things 19:00:26 Deewiant, fantastic multiplayer game 19:00:31 Which is why you should run SSH on 443/tcp. 19:00:32 Sgeo: I figured 19:00:50 -!- copumpkin has quit (Ping timeout: 252 seconds). 19:00:52 (Ok, maybe fantastic is overstating it) 19:00:54 I noticed this when I noticed my laptop's clock being off by a minute or so 19:01:22 -!- ThatOtherPerson has quit (Quit: Leaving). 19:01:34 Since NTP uses UDP 19:02:23 that's what http://www.rutschle.net/tech/sslh.shtml and https://github.com/stealth/sshttp are for :) 19:02:56 kmc: how does the "If the client changes IP addresses, the server will begin sending to the client on the new IP address within a few seconds." part work? 19:03:02 :) 19:03:13 -!- copumpkin has joined. 19:03:16 AnotherTest: the client is always sending packets to the server 19:03:29 if the server gets an authenticated packet from a new IP, it will start responding to that IP instead 19:03:36 the client can roam but the server can't 19:03:44 ah I see 19:03:45 (but we have plans to add some degree of server roaming) 19:04:11 note that the client doesn't even notice it's roamed 19:04:17 which is nice as far as making the design simple and robust 19:04:45 for example it works just as well if a router upstream of you has roamed 19:04:52 "The heartbeats allow Mosh to inform the user when it hasn't heard from the server in a while (unlike SSH, where users may be unaware of a dropped connection until they try to type)." 19:05:05 Want 19:06:34 "SO 2022 locking escapes 19:06:34 Only Mosh will never get stuck in hieroglyphs when a nasty program writes to the terminal." 19:06:35 Deewiant: Tried to go check inside, if it says anything official about eduroam: "Aalto University´s web services will have an extensive maintenance downtime on 19.-21.4.2013. This is because the university´s data center is moving. We apologise for the inconvenience." 19:06:40 (Also note: ´ in place of '.) 19:06:43 How does that locking stuff even happen 19:07:08 fizzie: How do you access inside from outside 19:07:22 Deewiant: By... typing "inside.aalto.fi" to a browser? 19:07:50 -!- Lumpio- has quit (Ping timeout: 256 seconds). 19:07:53 Maybe it's the downtime 19:07:57 Sgeo: there are terminal control codes to tell the terminal to switch to a different character set 19:08:02 It might've been yesterday that I tried it 19:08:08 kmc: but it doesn't roam when you change devices of course. Could you add this if you public-key cryptography instead of AES OCB? 19:08:09 "The certificate is only valid for the following names:vhosts.aalto.fi , halli.tkk.fi , hse-halli.tkk.fi , itp.aalto.fi , itp.hse.fi , kuore.org.aalto.fi , mapple.aalto.fi" 19:08:14 And then a 403 19:08:24 *if you used 19:08:35 Deewiant: It worked fine last time I used it from outside, probably a week or three ago. 19:08:42 Okay 19:08:59 AnotherTest: maybe, but the simple solution is to use screen or tmux on the server (which provides a lot of things mosh doesn't) 19:09:04 I've probably done that approximately never which is why I just assumed it's inside-only 19:09:38 it wouldn't be "instead of AES" so much as "in addition to"; almost every application of public-key crypto uses it to establish a symmetric key 19:09:45 and public key crypto is more complicated to begin with 19:10:01 so it would be a huge increase in the complexity of the security-critical codebase 19:10:06 Deewiant: It does require the (Shibboleth?) login from outside, can't recall if that was the case from inside. 19:11:03 kmc: Yeah. I guess you could do this too if you redid the key-agreement 19:11:22 (and still have a static key) 19:11:36 another thing people want is the ability to reattach to a mosh-server if the corresponding mosh-client dies (e.g. if your laptop reboots) 19:11:47 and that's also not possible with mosh itself, and is also solved easily enoguh with screen / tmux 19:12:00 Well, that would fall under the same thing as device switching I guess 19:12:05 but you do have to manually kill the abandoned mosh-server which is a pain 19:12:24 If every mosh client had a static public key I guess it might be possible 19:12:27 or you do something like 'mosh host -- screen -dR foo' in which case the new mosh connection will make the old mosh-server exit 19:12:42 as you could use something like DH or FHMQV to agree on a new key 19:12:53 mosh + dtach handles this perfectly well btw 19:13:27 cool 19:14:16 Sgeo: the locking control codes are obsolete because UTF-8 provides a way to print any character in a stateless way 19:14:21 but some programs still use them 19:15:50 for ncurses programs you sometimes need to set NCURSES_NO_UTF8_ACS=1 19:16:05 -!- AnotherTest has quit (Read error: Operation timed out). 19:20:15 -!- copumpkin has quit (Ping timeout: 252 seconds). 19:23:53 -!- copumpkin has joined. 19:31:03 -!- Lumpio- has joined. 19:31:08 -!- Lumpio- has quit (Client Quit). 19:31:37 -!- Lumpio- has joined. 19:39:43 -!- epicmonkey has joined. 19:45:12 https://dl.dropboxusercontent.com/u/113389132/Misc/20130420-fungot.flac 19:46:48 fungot.flac??? 19:46:48 What's this 19:47:13 But would not explaining it ruin it? 19:47:59 it's fungot trying to say something! 19:47:59 very fungot 19:49:00 i guess one problem with convincing someone to drop out of college and join your startup is that you then feel really guilty firing them even if they're a shit employee 19:49:04 * c00kiemon5ter dances to fungot's rhymes 19:49:34 Hey, where *is* fungot, anyway? 19:49:52 kmc: how many startups have you founded. like twenty 19:49:53 -!- fungot has joined. 19:49:57 That's better. 19:50:08 * Lymia feeds fungot more hemlock 19:50:09 Lymia: last year for a company of approximately 2 employees. the way i'm seeing the " fnord" 19:50:27 fizzie, fungot is existence transformed into an irc connection giving life into a presense named fungot 19:50:28 c00kiemon5ter: evaluating ( display ' ( " .ss". scheme-mode) auto-mode-alist))) 19:50:56 fungot knows Lisp o.o 19:50:56 Lymia: nm, it works, so i was trying to 19:55:03 fungot.flac is what you get if you render fungot's source code (in DejaVu Sans Mono, rotated 90 degrees) into a 513x6592 pixel bitmap, then consider that image as a magnitude spectrum (for the [0, 11.025] kHz range, with 1024-sample windows and 75% overlap) and resynthesize a time-domain signal with that spectrum and arbitrary phase, as per (Griffin et al., 1984). 19:55:03 fizzie: to address the limitations of your compiler. i don't 19:55:48 The "beat" is probably lines of text. 19:56:08 oh no a spoiler 19:56:40 i like it 19:58:37 -!- ogrom has quit (Quit: Left). 19:59:34 it's a lot less dissonant than I expected 20:00:22 fungot should get signed with virgin babylon 20:00:22 Bike: in all seriousness, but still 20:01:20 -!- rapido has joined. 20:01:40 The hiss in the background is because my implementation of (Griffin et al., 1984) had some... issues -- http://sprunge.us/PXGX -- when I tried to feed it a spectrum with that many real zeros in it. (So I just added a -17 dB (relative) or so background white noise.) 20:03:45 -!- xitrix has quit (Ping timeout: 252 seconds). 20:06:58 (The part around 50-55s in is the Underload interpreter.) 20:10:24 topic? esoteric programming with multiset alternative evaluation model: {1,2} + {3,2:4} => {4,3:5,2:6} 20:11:36 -!- Bike_ has joined. 20:14:14 {{1,2} {3,4}} => {1,2,3,4} 20:14:42 -!- Bike has quit (Ping timeout: 276 seconds). 20:15:15 oops: {{1,2},{3,4}} => {1,2,3,4} 20:15:59 {{1,2} {3,4}} => {1 3,1 4,2 3,2 4} 20:16:10 -!- Bike has joined. 20:17:03 i understand the model but interpreting expressions by hand is tricky 20:19:09 -!- Bike_ has quit (Ping timeout: 252 seconds). 20:22:16 what does the following expression evaluate to? 20:22:23 ({1,2} + {2:3,4}) * {5,2:6} ? 20:25:15 no one? 20:25:18 by hand 20:25:20 {2:20,3:25,4:24,7:30,2:36} 20:27:06 i have no idea what you're talking about 20:27:23 Bike: good! so it's pretty esoteric 20:28:24 i'm talking about a esoteric evaluation model 20:29:12 -!- c00kiemon5ter has left. 20:29:21 that yields 'alternative' values as opposed to single values 20:30:41 if i had to do that in the way that seems natural to me i'd say {3:20,12:36} 20:30:43 reference: prolog, generators, etc. 20:31:17 Bike: interesting, what's natural to you? 20:31:33 -!- epicmonkey has quit (Ping timeout: 248 seconds). 20:31:37 well, i guess i'm taking the sets as ordered pairs 20:31:38 you can write a multiset monad in Haskell can't you 20:31:40 so probably not that great 20:32:00 kmc: not quite... 20:32:03 er wait 20:32:04 yes quite 20:32:07 nvm 20:32:12 -!- ion has quit (Quit: Rebooting the server once more due to btrfs issues). 20:32:20 Logic(T) might be satisfactory?? 20:32:35 Bike: i haven't founded any startups and don't think i'd want to 20:32:41 list "almost works" 20:32:59 it involves a bunch of stress and a bunch of non-technical problems and you don't get paid 20:33:37 ({1,2} + {2:3,4}) * {5,2:6} => {2:4,3:5,6} * {5,2:6} => {2:20,3:25,4:24,7:30,2:36} 20:33:42 i thought i might like being Employee #1 at a startup but I couldn't get along with Employee #2 and they decided to keep him instead of me out of I think guilt / obligation 20:34:30 so i dunno 20:34:59 rapido: x:y is supposed to be a range, yes? 20:35:03 x:y means x times y 20:35:12 .... 20:35:13 wow, me. 20:35:16 -!- ion has joined. 20:36:02 so {2:3} + {3:4} => {6:7} 20:36:46 Bike: may be you can suggest a better notation (without using *) 20:37:23 nah i get it now 20:37:33 just ignore me 20:38:27 no i won't ignore you 20:38:48 but i could 20:38:54 well you can see a multiset as a function from element → count 20:39:43 so you could write like {5↦1, 2↦6} 20:39:45 kmc: true, but i like to prefix the count to the element (syntactically) 20:39:59 i recommend not special-casing the case where count = 1, i think that produces confusion 20:40:22 -!- Phantom__Hoover has joined. 20:41:06 anyway if you implement this as a monad in Haskell then you can use all kinds of existing generic code to play around with it 20:41:54 i guess it's hard to make a Monad instance, though, because you need equality on elements, and probably ordering or some hash function if you want efficiency 20:42:01 so it's the usual "restricted monad" problem 20:44:10 -!- Phantom_motnahP has quit (Ping timeout: 256 seconds). 20:46:45 -!- rapido has quit (Quit: rapido). 20:47:53 -!- Phantom__Hoover has quit (Ping timeout: 240 seconds). 20:48:11 -!- rapido has joined. 20:48:46 kmc: equality and ordering is indeed very important 20:49:14 every multset (of multisets) must be ordered 20:51:12 counts can be fractional 20:51:30 to make it more interesting 20:51:40 (not more powerful) 20:52:30 more generically: counts need not be numbers 20:52:55 counts need just to be objects that adhere to the arithmetical laws 20:53:55 http://github.com/rapido/spread/blob/master/A%20new%20look%20at%20multimaps.pdf?raw=true 21:00:17 counts as 'mathematical' objects does make things more interesting 21:00:54 -!- Phantom__Hoover has joined. 21:05:58 -!- DHeadshot has joined. 21:09:07 -!- Sgeo has quit (Remote host closed the connection). 21:09:11 -!- Phantom__Hoover has quit (Ping timeout: 245 seconds). 21:11:39 -!- Sgeo has joined. 21:13:59 -!- rapido has quit (Quit: rapido). 21:19:42 -!- rapido has joined. 21:26:36 -!- conehead has joined. 21:34:17 -!- rapido has quit (Quit: rapido). 21:52:08 -!- Phantom__Hoover has joined. 21:56:29 -!- Phantom__Hoover has quit (Ping timeout: 252 seconds). 22:08:31 -!- conehead has quit (Quit: Computer has gone to sleep.). 22:19:58 -!- Taneb has joined. 22:25:20 -!- augur has quit (Remote host closed the connection). 22:37:02 I need something to do to cheer me up 22:37:17 masturbation? 22:37:23 Nah 22:37:31 tv watching? 22:37:35 Nah 22:37:50 applied cryptography puzzles? 22:37:54 norwegian-murdering? 22:38:09 kmc, tempting 22:38:15 Bike, can't be bothered right now 22:38:36 Taneb: helping out on NetHack 4? 22:39:14 http://www.matasano.com/articles/crypto-challenges/ 22:41:11 kmc, I've asked to be in 22:41:16 cool 22:41:31 How long should the wait be, roughly? 22:42:28 i think less than a day 22:42:40 but i think they're getting a lot more responses now than before 22:43:05 Taneb: you should help populate the NH4 bug tracker 22:43:16 coppro, but I suck at NetHack! 22:43:22 that's okay 22:43:27 we have several hundred bugs in need of filing 22:44:05 are they hilarious as NH3's listed bugs 22:44:44 Bike: we need to file all those bugs in the new bug tracker 22:51:46 -!- btiffin has left. 23:04:04 -!- carado_ has quit (Ping timeout: 246 seconds). 23:16:54 -!- carado_ has joined. 23:22:12 -!- doesthiswork has quit (Quit: Leaving.). 23:26:02 http://en.wikipedia.org/wiki/The_Flyting_of_Dumbar_and_Kennedie why do people not like scotland, again? 23:28:39 -!- Taneb has quit (Quit: Leaving). 23:29:37 -!- lahwran has changed nick to lahwran-. 23:29:39 -!- lahwran- has changed nick to lahwran. 23:38:38 I'm trying to think of a historical figure that it would make sense to name the universe after. 23:38:57 I'm thinking maybe Aristotle or Newton. 23:40:13 aristarchus of samos 23:40:50 or Kerala 23:41:08 er, Madhava of Sangamagrama. 23:42:04 or Kolmogorov, just because he's Kolmogorov 23:42:36 Douglas Hofstadter? 23:42:43 eh 23:43:49 Bill Bryson. 23:45:52 I'm just going with Aristotle. 23:45:59 boooooriiiiing 23:46:08 dude thought women had less teeth than men 23:46:22 Yeah, but he wrote books about literally* everything. 23:46:38 And a significant amount of what he wrote was correct. 23:46:59 so did everyone educated, back when there wasn't much to write about 23:49:13 tswett: do you mean he wrote about *literacy* everything? 23:49:27 He wrote about ludicrously everything. 23:52:49 -!- augur has joined. 23:52:49 -!- augur has quit (Remote host closed the connection). 23:52:58 -!- augur has joined.