00:11:30 -!- derdon has quit (Remote host closed the connection). 00:11:40 -!- itidus22 has joined. 00:12:53 Synchtube is not perfect :( 00:14:24 -!- itidus20 has quit (Ping timeout: 244 seconds). 00:22:37 -!- oerjan_ has quit (Quit: What is this button for?). 00:32:34 There's no other symbol but lambda that's universally recognized as a symbol for programming languages, no? 00:33:14 lambda is not universally recognized as a symbol for programming languages 00:33:29 -!- Mathnerd314_ has joined. 00:33:34 istr it's also a symbol for lesbians? 00:33:37 kmc: It is by all who are not made of fail. 00:33:56 oerjan: EVEN BETTER 00:34:50 lambda indeed has a lot of associations: http://en.wikipedia.org/wiki/Lambda 00:35:04 -!- Mathnerd314 has quit (Ping timeout: 252 seconds). 00:35:06 -!- Mathnerd314_ has changed nick to Mathnerd314. 00:35:24 OK, let me phrase that differently: 00:36:04 my point is more than putting lambdas on everything is a kind of political statement within programming languages 00:36:19 It's not that everyone recognizes it as a symbol for programming languages, but those who are "into" programming languages consider it a symbol for the concept. 00:36:27 or will be seen as such by many 00:36:52 plenty of people appreciate FP and yet are annoyed by the people who think that incorporating crazy FP concepts is the only criterion for language goodness 00:38:15 [02:36:04] my point is more than putting lambdas on everything is a kind of political statement within programming languages 00:38:16 Yep ^ 00:41:34 itidus22, the jedis lived a long time ago and are surely dead by now 00:41:55 or maybe they came to earth and are now known as.... LISP PROGRAMMERS!?!?!? 00:43:26 -!- epoch_qwert has joined. 00:56:28 kmc: yes but the galaxy is 50 million light years away, so their light may not have reached us yet 00:57:06 -!- oerjan has quit (Quit: Good night). 00:59:11 is that canon? 01:05:27 kmc: far far = 50 million light years 01:05:38 that's the definition 01:06:27 Are you talking about star-wars? 01:10:17 We were talking about far far away Jedis, so it's Star Trek, clearly. 01:12:31 All I saw that hinted at starwars was "galaxy ... away" and "far far" 01:13:06 olsner: How many light years is far? 01:13:20 far far = 50 million, far = sqrt(far far) ? 01:13:33 depends on what ' ' means? 01:20:38 -!- Mortchek has left. 01:20:55 -!- TodPunk has quit (Read error: Connection reset by peer). 01:21:02 -!- Tod-Autojoined has joined. 01:37:33 -!- Tod-Autojoined has changed nick to TodPunk. 01:47:42 -!- MDude has joined. 02:28:20 -!- zzo38 has joined. 02:41:44 -!- Patashu has quit (Remote host closed the connection). 02:44:36 -!- Patashu has joined. 02:45:17 -!- itidus22 has changed nick to itidus21. 02:53:21 hello zzo38 02:55:33 quintopia: Hello. Any question/comment/complaint? 02:56:13 nope just saying hello 02:56:16 OK 02:56:25 also in the topic what is "the other idea" 02:57:13 quintopia: http://zzo38computer.cjb.net/dnd/recording/level20_idea.txt 02:58:24 kmc: There are all sorts of other complications like running code in the mapped pages. 02:59:28 That is what "the other idea" is that I was refering to 02:59:29 zzo38: i like the "no monsters in the library" one 02:59:58 is there an esolang that requires nested escaping to do anything useful? 03:00:07 quintopia: Well, it is based on something in the computer game "Super ASCII MZX Town", which contains a lot of silly stuff. 03:00:48 The word "tutorial" annoys me more and more these days. 03:00:57 calamari: Yes I think there is, but I forget what it is called 03:00:57 Probably mostly for vaguely conalish reasons. 03:01:26 I was just working on a shell script escaping backticks and quotes (where the amount of escaping was different for each) and thought .. wow this would make for a great esolang 03:01:49 calamari: /// has a lot of escaping 03:02:10 zzo38: i don't care if you copy things. it's a good challenge. 03:03:01 quintopia: It is a computer game I made myself, as it turns out. If the monsters needs the book you can go in the library and get it for them, is how this computer game works. 03:04:03 zzo38: oh i was thinking that you were putting it a dnd game, where the party is chased by monsters and they lock themselves inside a library, but if any monster gets end the game ends and everybody dies 03:04:07 *gets in 03:05:21 quintopia: I did have the idea for the D&D game; but I wrote "apparently" and no this isn't the scenario I was thinking of (the party in this D&D game consist of some monster characters too) 03:05:38 when did olsner.se go down? 03:05:54 And just because someone wrote that on a sign does not make it true anyways 03:07:00 zzo38: well, it could be that the universe ends only if a monster touches the book-of-power. and even then only if a d20 comes up 9 or less. 03:07:11 quintopia: thanks, that's probably close enough 03:08:15 quintopia: That is one way to do what I wrote; not what I had in mind but of course you can make up scenarios in D&D game using my ideas, with various modifications. In Super ASCII MZX Town, the librarian just put that on the sign because they didn't want monsters in their library. But problem is, the sign is *inside* the library. 03:09:56 zzo38: i think you should do it one of these exciting ways. not just silly. 03:11:25 quintopia: Your ways do work. And, yes, it could be possible that they wrote that on the sign even though it is only sometimes the case! And some player characters can be monster characters anyways, but some isn't so it works 03:11:42 But I am not going to write any additional details on that note because I am not the referee 03:12:36 -!- MDude has changed nick to MSleep. 03:13:50 who is the referee? 03:14:04 Someone else! 03:14:24 Usually called the GM or Dungeons Master; "referee" is an uncommon term but I use it 03:17:03 -!- Mathnerd314 has quit (Ping timeout: 260 seconds). 03:19:00 -!- SingingBoyo has joined. 03:20:31 what is the purpose of that document zzo38? 03:20:34 why did you write it? 03:23:31 quintopia: Just some ideas I had for possible situation in Dungeons&Dragons game 03:23:58 zzo38: oh i thought you were making ideas for yourself to use in your own games 03:24:16 If I have my own game then yes I might use the idea too 03:24:47 (Just so you know, Isolde and Kjugobe are names of two of the player characters in a game I am in; of course if use in other game we could change them) 03:25:29 And, the dungeons master does like this list! And in case they run out of idea might pick one I don't know which one is picked, and with some other things too not specified so that we don't know what exactly happened 03:28:53 What would make it interesting is such situations as these interwoven with other things too. 03:36:44 -!- Case2 has joined. 03:38:34 -!- Case1 has quit (Ping timeout: 252 seconds). 03:41:53 I have made generalize of function in Haskell, such as: tail :: MonadLogic m => m x -> m x; (!!) :: (Copeanoid i, Foldable t) => t x -> i -> x; length :: (Peanoid i, Foldable t) => t x -> i; filter :: MonadPlus m => (x -> Bool) -> m x -> m x; iterate :: Alternative f => (x -> x) -> x -> f x; 03:42:33 Is it good or is there other way, or other generalize too? 03:47:27 I could have this: unfoldTree :: Functor f => (b -> (a, f b)) -> b -> Cofree f a; 04:31:31 -!- sebbu2 has joined. 04:31:32 -!- sebbu2 has quit (Changing host). 04:31:32 -!- sebbu2 has joined. 04:31:50 -!- sebbu has quit (Ping timeout: 246 seconds). 04:33:39 zzo38: the word you should use there is "generalization"...if you care 04:39:29 -!- SingingBoyo has quit (Quit: Hard work pays off in the future, laziness pays off now). 04:42:10 -!- Tod-Autojoined has joined. 04:42:43 I read that as "I have made a generalisation of Haskell" at first 04:43:05 Which doesn't seem like an uncommon task 04:43:12 -!- TodPunk has quit (Read error: Connection reset by peer). 04:43:18 -!- Tod-Autojoined has changed nick to TodPunk. 05:25:48 -!- nortti has joined. 05:31:18 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .). 05:31:31 -!- Patashu has joined. 05:46:15 -!- Case2 has quit (Quit: Leaving.). 06:01:40 -!- asiekierka has joined. 06:15:55 -!- itidus20 has joined. 06:18:01 -!- NSQX has joined. 06:18:08 !bf_txtgen Brainfuck 06:18:13 ​106 +++++++++++[>++++++>++++++++++>+++++++++>+<<<<-]>.>++++.>--.++++++++.+++++.--------.<+++.>---.++++++++.>-. [147] 06:18:38 -!- NSQX has quit (Client Quit). 06:19:11 -!- NSQX has joined. 06:19:24 !bf_txtgen brainfuck 06:19:26 ​100 ++++++++++++++[>+++++++>++++++++>+><<<<-]>.>++.<-.++++++++.+++++.--------.>+++.<---.++++++++.>>----. [149] 06:19:42 -!- NSQX has quit (Client Quit). 06:20:00 -!- itidus21 has quit (Ping timeout: 250 seconds). 06:48:42 -!- nortti has quit (Quit: ChatZilla 0.9.88.1 [Firefox 11.0/20120312181643]). 07:46:45 -!- NSQX has joined. 07:47:46 Our sub-lime wiki has been out of order for the last four days. What are you waiting for before you start editing again? 07:49:52 What are you all doing instead of editing this wiki and creating new esoteric programming languages? 07:50:57 NSQX, it's not out of order. 07:51:43 Or... what do you mean by out of order 07:52:13 quality over quantity, NSQX 07:52:24 I'll let you ponder on that 07:52:54 Actually, http://namelesswiki.com/ has been out of order for longer. There has been no real activity on http://namelesswiki.com/ for almost a month and http://namelesswiki.com/wiki/Special:RecentChanges has been filled with spamming of [[Talk:Denial of Service Attack]] since 27th March 2012. However, what if that could happen to our sub-lime wiki? 07:53:24 it already has 07:53:52 -!- zzo38 has left. 07:53:58 -!- zzo38 has joined. 07:54:39 NSQX, I would not use that wiki for security advice. 07:55:17 Anyway, what are you all doing instead of thinking of new esoteric programming languages? 07:55:28 NSQX: Everything 07:55:35 and yet nothing 07:55:39 Yes. 07:55:52 http://www.namelesswiki.com/wiki/SQL_Injection 07:56:05 zzo38: Everything instead of thinking of new esoteric programming languages or helping with the List of ideas? 07:56:07 The Prevention section suggests filtering dangerous characters. 07:56:19 There is no mention of parameterized queries of any sort. 07:56:20 zzo38: Everything except thinking of new esoteric programming languages or helping with the List of ideas? 07:57:02 NSQX: No, everything regardless. Just because we did not post it does not necessarily mean we did not think of it yet! 07:57:04 There is a not bad, yet utterly irrelevant to the page, suggestion of not storing plaintext passwords 07:58:58 NSQX, why do you look at nameless wiki? 08:00:29 Actually, the first time I went to the Nameless Wiki is when I went to the "Nameless language at Nameless Wiki" link on http://esolangs.org/wiki/Nameless_language 08:01:40 brainfuck derivative? 08:02:14 If you think about it, every language is, like, a BF derivative, man. 08:02:27 hi 08:02:58 monqy: I thought you swore off hi forever. 08:03:07 no that's elliott 08:03:15 maybe elliotts too 08:03:21 but I'm neither elliott not elliotts 08:03:23 I'm monqy 08:03:28 elliotts a confusing one 08:03:31 hi monqy 08:03:44 hi 08:03:51 do you like peter and the wolf 08:03:54 what's that 08:03:57 saying hi after greeted is irresistable 08:03:58 D: 08:04:00 RRRRRRRRRRAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA 08:04:04 did i scare you 08:04:05 irresistible 08:04:51 monqy: E.g. http://www.youtube.com/watch?v=6XKlEfvP-lo 08:05:32 never heard of it 08:06:00 "Obviousness, it seems, eludes some people. Idiots mostly, including you. IDIOT!!!!" 08:06:03 - youtube comment 08:06:06 - youtube 08:06:09 - hi 08:06:16 a poem 08:06:50 monqy: I don't know whether you've heard of it, but have you heard it? 08:06:56 no 08:07:03 You should hear it. 08:07:43 monqy and the wolf 08:07:46 hi monqy, wolf 08:07:55 whos wolf 08:08:27 elliott :( 08:08:45 :( 08:08:48 Oh, no, elliott will read the logs and hate me when he gets back online. 08:09:21 maybe he won't read the logs 08:09:25 monqy: If saying hi after being greeted is irresistible, is it irresistible to respond with hi? 08:09:29 hi 08:09:36 hello 08:09:42 ! 08:09:57 im going to kick this habit !!! 08:10:06 it's like drugs, and I'm kicking it 08:10:11 do you kick drugs 08:10:18 what else would I do with drugs 08:10:23 But anyway, elliott will read the logs and think about " Our sub-lime wiki has been out of order for the last four days. What are you waiting for before you start editing again?" and further into that conversation. 08:10:33 monqy: hi 08:10:48 they really added a lot of crap in C++11 08:10:53 NSQX: if he doesn't, I'll make him. it is an important concern and he should think aboutit 08:11:02 shachaf: salutations 08:11:13 somewhat torn between wanting to use new shiny features and wanting to nuke-from-orbit all traces of C++ I know 08:11:37 Okay, monqy, 08:11:38 -!- NSQX has quit (Quit: leaving). 08:11:39 monqy: Ahoy! 08:11:47 hey 08:11:52 Greetings. 08:11:56 hye 08:12:05 That's dangerously close to "hi". 08:12:07 high monqy 08:12:24 high shachaf 08:13:37 01:13 < mm_freak> the docs state that hamlet is inspired by haml 08:13:38 Maybe Hamlet was inspired by Shakespeare. 08:13:40 hi shakespeare 08:13:59 is shakespeare here 08:14:06 hello 08:14:09 good morning, shakespeare 08:14:16 good evening, itidus20 08:14:20 good afternoon, shachaf 08:14:33 good day, everyone 08:14:50 weird 08:14:58 こんにちは monqy 08:14:59 just kidding 08:15:06 good job so far in kicking the habit 08:15:10 the hibit 08:15:13 thank you 08:16:54 היי שחף 08:17:34 היי מונקי 08:17:52 What did I just type. :-( 08:17:58 :( 08:18:03 Google Translate says it's "Monkey". 08:18:12 Google translate = Wrong translate. 08:18:20 It says monqy 08:19:19 בסדר 08:19:48 Does that say OK? 08:19:58 כן 08:20:05 Does that say No? 08:20:12 לא 08:20:15 -!- Taneb has joined. 08:20:21 Does that say No? 08:20:21 Hello! 08:20:21 Taneb: You have 1 new message. '/msg lambdabot @messages' to read it. 08:20:29 כן 08:20:35 hi monqy 08:20:45 Taneb: greetings 08:20:48 shachaf: salutations 08:20:57 Welcoming! 08:21:04 shachaf: try asking a yes/no question that you know the answer to 08:21:14 itidus20: I know the answers to all of them. 08:21:26 oh 08:22:42 -!- Taneb has quit (Client Quit). 08:32:28 -!- Taneb has joined. 08:39:40 -!- Case1 has joined. 08:43:17 -!- asiekierka has quit (Remote host closed the connection). 08:50:24 -!- Case1 has quit (Quit: Leaving.). 08:55:43 -!- cheater has quit (Ping timeout: 244 seconds). 08:55:50 http://me.veekun.com/blog/2012/04/09/php-a-fractal-of-bad-design/ http://en.wikiquote.org/wiki/Rasmus_Lerdorf http://www.exploit-db.com/exploits/18665/ 08:56:31 Oooh! 08:56:38 Is Finnair a Finnish airline? 08:57:25 -!- asiekierka has joined. 08:58:03 yeah 08:58:30 I saw a Finnair plane today 08:59:39 In a smoking rubble? 09:00:16 Close. 09:00:19 Heathrow Airport 09:00:28 I actually hate programming, but I love solving problems. I really don't like programming. There are people who actually like programming. I don't understand why they like programming. I do care about memory leaks but I still don't find programming enjoyable. 09:00:48 ...you're in a programming channel 09:00:58 i wrote php 09:01:12 :-j 09:01:23 oops.. i mean a haha smiley 09:01:42 it's from ion's link http://en.wikiquote.org/wiki/Rasmus_Lerdorf 09:01:54 -!- derdon has joined. 09:01:54 Aaah 09:01:59 I'm still on the first link 09:02:39 "Facebook and Wikipedia... could be written in Brainfuck" 09:03:11 YOU NEVER KNOW 09:03:15 i know uh the quotes take on different meanings than if i said them since the person who said it is a programming celebrity 09:04:11 and you're more like a town drunk 09:04:21 ion, that is a great blog article 09:05:13 kmc: I noticed mosh. Seems very useful. And you seem to be one of the authors. :-) 09:05:20 yeah 09:05:38 thanks :) 09:05:39 we're in #mosh if you want to chat with KeithW, who did most of the design and coding 09:05:47 i've mainly done security auditing and misc bugfixes 09:06:28 About the only good think I can think of of PHP is that most web servers seem to have it built in 09:08:56 -!- cheater has joined. 09:09:16 i mean, it has allowed a lot of casual/amateur programmers to produce things which are useful 09:09:28 that is *a* redeeming quality 09:09:39 probably not enough to consider PHP a net social good 09:09:52 It's the default 09:09:53 it certainly could have that redeeming quality and still be way the hell better as a language 09:10:09 It's like Internet Explorer 09:17:24 'could be written in Brainfuck' 09:17:31 if brainfuck had meaningful io mechanisms sure 09:18:15 hmm 09:18:28 brainfuck web server? 09:18:45 itidus20, you're the only one who can do this. 09:18:48 I believe in you. 09:20:39 there's that thing https://github.com/ChickenProp/sysfuck 09:22:05 the first app would be like you input an id number followed by a space into the brainfuck interpreter.. and it would output the corresponding record in html format, or an error message if the record can't be found 09:22:30 yes, syscall should be enough 09:25:55 * itidus20 backs away slowly. 09:26:46 put it this way: 09:26:47 without syscalls 09:26:51 brainfuck can't even read to/write from files 09:27:18 (or at least, not without a different non-brainfuck program redirecting its input/output?) 09:27:20 err -? 09:27:50 im backing away slowly because i have no plans of writing any software in brainfuck 09:28:22 Me neither 09:37:38 -!- MoALTz_ has joined. 09:38:54 -!- MoALTz has quit (Ping timeout: 245 seconds). 09:43:07 -!- epoch_qwert has quit (Quit: sleep(60*60*8)). 09:43:19 -!- asiekierka has quit (Remote host closed the connection). 09:49:42 -!- monqy has quit (Quit: hello). 09:50:28 -!- asiekierka has joined. 09:56:50 -!- Taneb has quit (Read error: Connection reset by peer). 10:01:02 -!- calamari has quit (Quit: Leaving). 10:06:07 -!- asiekierka has quit (Remote host closed the connection). 10:13:10 -!- asiekierka has joined. 10:15:18 -!- Taneb has joined. 10:19:55 -!- Taneb has quit (Ping timeout: 246 seconds). 10:19:56 -!- zzo38 has quit (Remote host closed the connection). 10:31:20 -!- azaq23 has quit (Quit: Leaving.). 10:34:13 "OS X Terminal.app applies circumflex to part of escape sequence, then crashes." 10:46:14 -!- KingOfKarlsruhe has joined. 10:48:56 -!- myndzi\ has joined. 10:52:20 -!- Taneb has joined. 10:53:16 -!- myndzi has quit (Ping timeout: 276 seconds). 10:59:46 -!- sebbu2 has changed nick to sebbu. 11:04:02 -!- asiekierka has quit (Remote host closed the connection). 11:09:00 -!- asiekierka has joined. 11:11:05 -!- Taneb has quit (Ping timeout: 244 seconds). 11:27:34 -!- MoALTz_ has quit (Quit: brb). 11:27:53 -!- MoALTz has joined. 11:36:57 -!- derdon has quit (Remote host closed the connection). 11:49:08 -!- NSQX has joined. 11:52:31 -!- NSQX has left (""elliott is not here""). 11:53:19 -!- NSQX has joined. 11:53:31 -!- NSQX has left ("elliott is not here"). 11:54:09 -!- NSQX has joined. 11:54:14 -!- NSQX has left ("Oerjan?"). 11:55:55 -!- NSQX has joined. 11:55:58 * NSQX thinks there is no quality anymore 11:56:08 -!- NSQX has left. 12:32:37 elliott, oerjan: NSQX is just not happy with you two ;) 12:38:13 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.2 [Firefox 11.0/20120312181643]). 12:51:36 -!- asiekierka has quit (Remote host closed the connection). 12:57:41 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .). 13:06:54 -!- Taneb has joined. 13:07:12 Hello 13:11:53 -!- Ngevd has joined. 13:12:43 -!- Taneb has quit (Ping timeout: 264 seconds). 13:12:47 -!- Ngevd has changed nick to Taneb. 13:23:28 kmc: I take it much attention has been paid to things like never using the same block key more than once and preventing replay attacks? 13:48:15 -!- Taneb has changed nick to Ngevd. 13:50:16 kmc: How about leaking information in the timing of the packets? IIRC someone was able to correlate the timing information in an audio recording of typing to what keys were pressed. I suppose ssh doesn’t do anything about that either. 13:51:04 -!- FireFly has joined. 13:54:41 -!- asiekierka_ has joined. 14:01:09 -!- Ngevd has quit (Read error: Connection reset by peer). 14:01:13 -!- Taneb has joined. 14:01:42 -!- Taneb has changed nick to Ngevd. 14:08:15 -!- Ngevd has changed nick to Ngevd|VeryTiredS. 14:08:25 -!- Ngevd|VeryTiredS has changed nick to Ngevd|VeryTired. 14:18:21 ion, the block-cipher key is simply pulled from /dev/urandom by mosh-server at session start 14:18:40 we're using OCB3, an integrated authenticated-encryption block cipher mode for AES 14:19:02 which prevents tampering and replay attacks if used correctly (there is a mathematical proof of this) 14:19:12 An implementation by someone else i take it? 14:19:36 yes, it's the reference implementation by Ted Krovetz 14:19:41 alright 14:19:41 https://github.com/keithw/mosh/blob/master/src/crypto/ocb.cc 14:20:01 OCB is not too widely used though, so I am a bit worried 14:20:35 i do think it's funny that "implemented by someone else" makes you feel better regardless of who that is ;) 14:21:11 regarding "used correctly", a primary concern is that one must never use the same (key, nonce) pair more than once 14:21:37 the nonce is a 63-bit counter initialized to zero at session start and incremented for each message sent 14:21:48 the last bit distinguishes the two directions of communication 14:21:49 Well, i was thinking in the lines of a popular, reviewed-by-many implementation by someone else. :-) 14:22:18 yeah, I don't think ocb.c is that popular or well-reviewed 14:22:51 otoh, OCB provides authentication and encryption in one go, whereas if we combined a simple block cipher mode like CTR with a separate HMAC, there are arguably more places to screw up 14:23:05 (we can chat in #mosh also) 14:23:10 aye 14:28:21 -!- Ngevd has joined. 14:28:32 -!- Ngevd has quit (Read error: Connection reset by peer). 14:28:57 -!- Ngevd|VeryTired has quit (Read error: Connection reset by peer). 14:34:12 -!- augur has quit (Remote host closed the connection). 14:47:29 -!- asiekierka_ has changed nick to asiekierka. 14:49:06 -!- NSQX has joined. 14:49:54 http://esolangs.org/wiki/BrainFunge2 and it seems like I was the only one who created a new esoteric programming language today. What's up with the rest of the community recently? 14:51:43 !bf2 ''!dlroW olleH''"("X'>)" 14:57:17 -!- Nisstyre has quit (Ping timeout: 246 seconds). 15:07:42 -!- augur has joined. 15:08:48 http://esolangs.org/wiki/BrainFunge2 and it seems like I was the only one who created a new esoteric programming language today. What's up with the rest of the community recently? 15:08:52 !bf2 ''!dlroW olleH''"("X'>)" 15:10:59 -!- Nisstyre has joined. 15:11:19 http://esolangs.org/wiki/BrainFunge2 and it seems like I was the only one who created a new esoteric programming language today. What's up with the rest of the community recently? 15:11:23 http://esolangs.org/wiki/BrainFunge2 and it seems like I was the only one who created a new esoteric programming language today. What's up with the rest of the community recently? 15:11:27 !bf2 ''!dlroW olleH''"("X'>)" 15:11:30 !bf2 ''!dlroW olleH''"("X'>)" 15:11:53 although i'm not part of the esolang community and have never done anything eso-langy.. i just want you to know i'm reading your posts :-D 15:12:26 and the brainfunge2 wiki page looks nicely formatted 15:18:14 reading the brainfunge2 page got me thinking though just now 15:27:26 -!- NSQX has quit (Quit: leaving). 15:34:08 -!- KingOfKarlsruhe has joined. 15:37:45 -!- asiekierka has quit (Read error: Connection reset by peer). 15:39:51 -!- NSQX has joined. 15:41:10 -!- atrapado has joined. 15:43:03 KingOfKarlsruhe: Don't just join and say nothing. Say something or edit our sub-lime wiki, which has had few edits recently, at http://esolangs.org/ 15:44:24 NSQX: hehhee ok ^^ 15:44:45 KingOfKarlsruhe: Read the most recent log of #esoteric ( http://codu.org/logs/log/_esoteric/2012-04-10 ) or our sub-lime wiki's recent changes ( http://esolangs.org/wiki/Special:RecentChanges ) if you are unsure what to say. 15:45:03 -!- MSleep has changed nick to MDude. 15:45:11 -!- NSQX has quit (Quit: leaving). 15:47:21 -!- pikhq has joined. 15:47:43 -!- pikhq_ has quit (Ping timeout: 276 seconds). 15:49:04 -!- NSQX has joined. 15:50:09 http://esolangs.org/wiki/Esolang:Featured_languages has not been updated for at least two weeks now. 15:50:39 The featured language has remained "///" for too long. 15:51:31 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.2 [Firefox 11.0/20120312181643]). 15:51:49 -!- ais523 has joined. 15:52:44 http://esolangs.org/wiki/Esolang:Featured_languages has not been updated for at least two weeks now. 15:52:47 The featured language has remained "///" for too long. 15:52:56 What are the administrators waiting for? 15:53:01 ais523? 15:53:10 NSQX: we're only changing it once a month or so 15:53:30 there isn't enough of a supply of languages to change it more often than that, and it can often take around a month to do interesting things with an esolang 15:54:44 Anyway, does anyone think http://esolangs.org/wiki/BrainFunge2 is good enough to be featured (except for one thing that does not match the criteria: implementation is possible but this language is not implemented)? 15:56:12 no, it isn't interesting 15:56:35 there are far too many 2D imperative languages 15:56:50 (far too many 1D imperative languages too, btw) 16:00:21 Well, it's not like being 2D and imperative disqualifies it, it merely doesn't qualify it. 16:01:24 -!- asiekierka has joined. 16:01:31 -!- elliott__ has joined. 16:06:16 00:36:52: plenty of people appreciate FP and yet are annoyed by the people who think that incorporating crazy FP concepts is the only criterion for language goodness 16:06:17 elliott__: You have 1 new message. '/msg lambdabot @messages' to read it. 16:06:29 Sometimes I get the feeling everything kmc says is a jab at me :P 16:06:39 YES IT'S ALL ABOUT YOU 16:06:49 i spend all day plotting my next jab at elliott__ 16:07:01 srsly I did not have anyone in mind when I said that 16:08:33 maybe i should switch to a terminal that supports blurry fonts 16:11:27 Wut, elliott FUCKING UNDERSCORE UNDERSCORE has messages? Or does lambdabot not distinguish? 16:11:45 @messages 16:11:45 ais523 said 1m 22d 23h 13m 26s ago: I bet you haven't used this nick for a while :) 16:11:50 elliott__: Your new full name is now Elliott Fucking Underscore-Underscore, by the way. 16:11:55 i'm so popular, all my nicks get messagse 16:11:58 *es 16:12:02 RocketJSquirrel: I messaged elliott-double-underscore quite a while ago just to see if the message would ever be received 16:12:08 lol 16:12:54 ais523: you misspelled my name! 16:13:07 or does the "double" stand for "fucking underscore" 16:18:31 hmm, a good esolang can take weeks or months to make 16:18:46 e.g. Underload took months, and Feather is probably going to take years 16:20:25 .part 16:20:27 -!- NSQX has left. 16:20:31 -!- NSQX has joined. 16:21:50 NSQX: you can use /cycle to part and rejoin quickly 16:21:50 elliott__: You have 3 new messages. '/msg lambdabot @messages' to read them. 16:22:36 -!- augur has quit (Read error: Operation timed out). 16:22:56 -!- NSQX has left. 16:22:57 -!- NSQX has joined. 16:24:31 NSQX: I don't have something! 16:24:57 -!- augur has joined. 16:26:57 kmc: how old is mosh in debian testing? 16:28:50 NSQX: I don't have something! 16:29:16 http://packages.debian.org/wheezy/mosh says 1.1 16:29:19 here's a changelog: https://github.com/keithw/mosh/blob/master/ChangeLog 16:29:58 thanks; looks like * Fixes bug causing occasional missing/extra wraparound copy-and-paste. 16:29:58 is the only thiing I might be missing out on 16:30:22 are there any advantages to mosh if my connection to the server has such low latency that I can't distinguish it from a local shell? 16:30:32 (I keep accidentally typing commands into ssh rather than a local terminal) 16:30:45 I read the web page 16:30:53 I guess the hieroglyphics thing counts 16:30:56 not too bothered about that though 16:32:32 you could have a low latency connection with high packet loss, but it sounds like you don't 16:32:41 there is also the roaming / suspend thing 16:32:54 and the ^C spew thing 16:33:00 -!- NSQX has left ("NSQX has parted ("NSQX has parted ("NSQX has parted ("Error: Connection destroyed by peer")")")"). 16:33:01 "Unlike SSH, mosh's UDP-based protocol handles packet loss gracefully, and sets the frame rate based on network conditions. Mosh doesn't fill up network buffers, so Control-C always works to halt a runaway process." 16:33:34 but yeah, the main advantage is that Mosh works better on a) bad connections, and b) changing between connections 16:33:43 Ohhh N-Squax. 16:33:44 Why you gotta. 16:33:47 or suspending your laptop 16:33:52 kmc: oh, it has dtach built in? 16:33:55 (for the whole session) 16:34:03 -!- Mathnerd314 has joined. 16:34:11 the ^C spew thing annoys me, but I get problems with that locally, too 16:34:19 so I'm not sure it's the same thing(?) 16:34:22 "With Mosh, you can put your laptop to sleep and wake it up later, keeping your connection intact. If your Internet connection drops, Mosh will warn you — but the connection resumes when network service comes back." 16:34:32 there were a lot of words on the page ok :( 16:34:48 and i'm lazy so i quote them instead of explaining ;P 16:34:56 is there a way to explicitly suspend it and restart mosh later? 16:34:59 i.e. have it save its state 16:35:01 it's not really the same as screen/tmux detach (you can of course use mosh together with screen/tmux) 16:35:07 no, use screen/tmux for that 16:35:22 alright 16:35:24 (I use dtach :p) 16:35:32 i don't know that one, but ok 16:36:17 it just does detaching rather than tiling 16:36:37 this website triggers that annoying font problem :( 16:36:48 where text overlaps with other text but fixes itself if I change the font size up and down again 16:37:28 mosh doesn't support detaching and reattaching sessions at all 16:37:54 but it supports a) arbitrarily long periods of total packet loss, and b) client suddenly has a different IP 16:38:03 kmc: those are the same thing! 16:38:22 not really 16:38:33 modulo local state, which can be stored on disk (I don't care about reattaching from another machine 16:38:34 ) 16:38:48 heh, the AUR package is maintained by the trivium author 16:39:01 if you have a mosh-client / mosh-server pair, and the client dies uncleanly (say because the machine dies) 16:39:06 there is no way to reattach to that mosh-server 16:39:16 not inconceivable we'd add one 16:39:26 oh, I don't care about unclean client dying either 16:39:29 ok 16:39:42 my use for re-attaching is just starting a long-running process on the server and being able to check on it without having to keep a terminal open 16:40:09 i think mosh by itself won't do that for you 16:40:26 Buy a Kinect and create the world's first interpretive dance programming language. 16:40:47 kmc: yeah, but it could if it could store its local state and reload it later (which of course might be non-trivial) 16:40:48 if you close the local terminal running mosh-client, it will shut down the client and therefore the whole session 16:40:53 right 16:42:24 Targets (2): boost-libs-1.49.0-1.1 boost-1.49.0-1.1 16:42:24 Total Download Size: 9.30 MiB 16:42:24 Total Installed Size: 149.80 MiB 16:42:26 gotta love boost 16:42:44 hehe 16:42:49 we're only using a small amount of boost 16:42:54 in fact i have a patch which removes it entirely 16:43:06 kmc: my understanding is that you're recommended to distrbute the parts of boost you use with your source 16:43:08 (seriously) 16:43:16 which avoids that kind of dependency :P 16:44:28 maybe 16:44:30 i don't wanna 16:45:14 yay, mosh works 16:45:23 it clears the screen as soon as i start a connection :( 16:45:48 yes 16:45:56 you do not like this behavior? 16:46:03 -!- KingOfKarlsruhe has joined. 16:46:16 nope, though probably only because I'm used to ssh not doing that 16:46:30 -!- TodPunk has quit (Ping timeout: 272 seconds). 16:46:51 a good rule of thumb is to ignore all complaints i make for the first two days 16:47:37 is the fact that less seems to scroll through large amounts of text faster placebo? 16:48:31 whoa, less uses bold in mosh 16:48:33 erm 16:48:34 by less i mean top 16:49:19 elliott__: less scrolls through large amounts of text faster per line than small amounts of text 16:49:27 because it doesn't have to redraw the screen every line 16:50:13 ais523: I was using ^D/^U, so it's not that 16:50:20 but it definitely feels like it's lagging less than ssh doing that 16:50:48 "Watchlist editing has been improved so that broken or invalid titles now." I... see 16:51:44 "We have taken steps to avoid a repeat of the situation where half the" 16:52:00 heh 16:57:44 kmc: is it possible to use mosh locally without authentication? 16:57:53 the ^C spam stuff and garbage-display prevention sound useful 17:01:22 control-C spam? 17:01:42 is the idea when you're trying to interrupt a particular process in the instant it happens to be grabbing the terminal? 17:01:56 probably might be better to have a key to SIGINT both the foreground process and its parent 17:06:52 ais523: "Mosh doesn't fill up network buffers, so Control-C always works to halt a runaway process." 17:06:56 I don't really know what that means though 17:07:18 is [etc.] or [etc.] correct? 17:07:19 I think the former 17:08:10 elliott__, not without authentication, but you can set up a mosh session by transports other than ssh 17:08:14 including the "copy and paste" transport 17:08:33 http://mosh.mit.edu/#faq "Q: How do I run the mosh client and server separately?" 17:08:42 elliott__: I prefer the former, but am not sure about correctness 17:09:10 is the fact that less seems to scroll through large amounts of text faster placebo? 17:09:11 maybe not 17:09:27 ssh sends every byte in order; mosh just tries to update the client to the server's latest state 17:09:35 ah 17:09:43 probably the screens aren't very alike, though 17:09:56 if a packet is dropped in transit, and the server-side state has changed since the packet was sent, mosh won't retransmit that stale state 17:09:58 does it do compression, fwiw? 17:10:13 it's really closer to a video streaming protocol than a reliable octet stream protocol :) 17:10:31 yes, zlib 17:10:39 that copy-and-paste transport could work; seems like you could easily write a script to do it and use that as your shell 17:10:44 hmm, not as your shell 17:10:48 as the shell your terminal uses 17:10:56 you want this for the ^C thing or? 17:11:13 i think that's a network-related feature only 17:11:24 well, I actually run into the messed-up-terminal thing every year or so :p 17:11:29 I'm not really rushing to do it 17:11:49 just seems like it could be worthwhile if it's strictly better at being a terminal than plain urxvt is 17:12:00 oh, I understand what the buffer thing means now 17:12:07 keys get sent immediately, rather than waiting for a network buffer 17:12:16 in fact, I skipped over "network" in "network buffer" the first two times i read it 17:12:24 clearly it should be in 72pt red impact and blink 17:13:32 i'm not sure what you said is correct either 17:13:47 the idea is just that mosh has an estimate of the network throughput, and will only send at that rate 17:13:58 so it won't fill buffers along the way 17:14:07 (it's common for e.g. home cable modems to have huge buffers) 17:14:21 fair enough 17:14:34 this way when you send a ^C, you don't have to wait for all the garbage ahead of it 17:14:52 estimating throughput is something TCP is supposed to do as well 17:15:06 but it's not very good and also people keep fucking with it in various ways 17:15:18 KeithW's actual PhD research is on a new approach to TCP flow control 17:15:37 where the endpoints have an explicit network model, and an explicit utility function, and act as bayesian optimizers wrt these 17:16:13 * elliott__ wonders if " (it's common for e.g. home cable modems to have huge buffers)" is what bufferbloat is 17:16:22 I know nothing about networking 17:17:20 yeah that's what bufferbloat is 17:17:43 you can sometimes improve your connection dramatically by throttling the input to the cable modem to be just below its speed 17:18:53 a common scenario is trying to use ssh while downloading a file 17:19:02 does this apply to non-cable modems? 17:19:06 the file fills up the buffer, ssh latency goes way up, TCP flow control on SSH starts to make bad decisions 17:19:28 if there's enough bandwidth for the file xfer, then there's enough for file xfer plus a tiny bit for ssh 17:19:32 it's just not being allocated effectively 17:19:53 i don't know about buffer sizes on other devices 17:19:54 i suspect so 17:20:12 adding buffering/caching haphazardly is pretty much the #1 problem solving strategy in CS 17:20:55 * elliott__ is on ADSL 17:22:59 ADSL or... LSD-A? 17:24:43 is that the french acronym? 17:24:49 It's our biggest national secret that all our internet lines are secretly being used to traffic... DRUG. 17:24:53 *s 17:24:55 *S 17:25:10 olsner++ 17:27:03 if it was, then the real acronym would be ASDL instead, if UTC is anything to go by 17:27:26 rly glad we didn't end up calling it CUT or TUC though 17:27:33 wasn't UTC a compromise in that it was wrong in both languages? 17:27:49 olsner: indeed 17:29:49 yes 17:34:56 "And it looks like Haskell sets its sockets to non-blocking mode by default. So if you try to read from one when there is no data, or try to write to one when its buffer is full, you will fail with EAGAIN. 17:34:56 Figure out how to change the sockets to blocking mode, and I bet you will solve your problem." 17:35:05 this sounds like an astonishingly bad idea wrt the IO manager 17:41:15 but, shouldn't the IO manager be simulating blocking I/O for you? 17:41:36 -!- zzo38 has joined. 17:41:37 or is someone sharing sockets between haskell and C code? 17:43:13 yes 17:50:19 RocketJSquirrel: ping 17:50:34 elliott__: ? 17:51:45 RocketJSquirrel: What's that file-usage thing you used on codu 17:52:02 Uhh ... wut? 17:52:07 You mean disk space usage? 17:52:13 Yes 17:52:16 ncdu 17:52:18 Thanks 18:08:33 apparently on solaris, environment variables of running processes are world readable 18:08:38 damn it, sun 18:09:16 kmc: haha, awesome 18:09:35 that'll only be env variables set at run-time, though [standard comment about how amazed i am that environment variables DON'T REALLY EXIST] 18:09:43 erm set at exec-time that is 18:09:48 right 18:10:01 this is a problem for Mosh because we put the AES session key in an environment variable for mosh-client 18:10:05 but we don't claim to support Solaris 18:10:16 but I think a warning in README and the website is called for, anyway 18:10:28 on Linux and OS X, env vars are only readable by the same user 18:10:40 kmc: what's wrong with just taking it as an option 18:10:41 and I think FreeBSD as well but haven't checked 18:10:51 command lines generally *are* world-readable 18:10:52 oh those are world-visible 18:10:58 you can modify them though 18:11:03 but that's a race condition 18:11:05 yeah 18:11:11 take it as a line on stdin? 18:11:26 yeah maybe 18:11:37 that would be more convenient for copy-pasting too since you can just select the whole line :p 18:16:20 -!- monqy has joined. 18:18:09 hi monqy 18:19:48 -!- Mathnerd314_ has joined. 18:22:39 -!- Mathnerd314 has quit (Ping timeout: 245 seconds). 18:22:53 -!- Mathnerd314_ has changed nick to Mathnerd314. 18:23:48 -!- augur has quit (Read error: Connection reset by peer). 18:24:02 -!- augur has joined. 18:26:06 ais523: help me think of a name that translates to unix account name "root" with as many different formats as possible 18:26:22 elliott__: what exactly do you mean by that? 18:26:23 Root O* O* T* seems like a decent start 18:26:52 ais523: a name that will cause as many organisations as possible to want to assign me the Unix username "root" per policy 18:27:01 aha, I see 18:27:10 "Root Root", I guess 18:27:21 hmm, Root O* O* T* breaks and and 18:27:24 although you'd be rroot under several patterns then 18:27:30 it also breaks 18:27:31 ais523: nope, that's rroot or rootr 18:27:38 and 18:27:45 for Root O* O* T*, I was going for whatever produced "ais" 18:27:54 as well as "first name", which I guess is uncommon in large organisations 18:28:05 *<> 18:28:18 I bet they only use one middle name, anyway 18:28:21 the university of birmingham naming scheme that produced ais523 would make that rot123 or whatever, it only takes one middle name 18:28:31 where I work, root root would get either rroot or rootr 18:28:55 also, requires at least one middle name, they use X as a placeholder if there isn't one 18:29:14 ais523: if only I was the thirteenth rot 18:29:17 I'm not sure which order the initials come in for family-name-first name patterns 18:29:25 -!- elliott__ has changed nick to exh. 18:29:29 -NickServ- This nickname is registered. Please choose a different nickname, or identify via /msg NickServ identify . 18:29:30 boo 18:29:36 -!- exh has changed nick to elliott__. 18:29:37 you forgot the digits! 18:29:48 ais523: do they use digits if you're the only one? 18:29:52 I doubt there's another exh at birmingham 18:29:53 yes 18:29:55 ew 18:30:00 "exh1" is ugly 18:30:00 and there almost certainly is 18:30:02 well so is exh 18:30:17 there are over a million people who have been named 18:30:34 almost certainly, at least one had forename starting e, surname starting h, no middle name 18:31:01 hmm, how old is your account system? 18:31:11 do you really have over a million Unix accounts? 18:31:38 they're mostly Active Directory 18:32:00 and no, they're deleted after 4 years, so it's over a million that have existed at any point in time 18:32:06 not over a million simultaneously 18:32:09 -!- asiekierka has quit (Remote host closed the connection). 18:32:17 do they reserve previously-used names? 18:32:44 (and is that after four years of no use, or four years full stop?) 18:32:46 I don't know; I know they have to be reserved for at least two years, and it'd make sense to reserve them longer 18:32:55 11:18:09 < elliott__> hi monqy 18:32:57 did you read the logs 18:32:58 imagine if someone else got ais523@bham.ac.uk 18:33:05 specifically the parts with nsqx 18:33:08 they'd get so many irrelevant messages… 18:33:10 I promised him I'd make you read that! 18:33:32 and it's after four years altogether, except that if you're still using it for university-related purposes, it's deleted a year after you stop instead 18:33:43 I've had ais523@bham.ac.uk for around 7 years by now 18:33:48 monqy: yes, NSQX helpfully linked me to them 18:34:08 ais523: they shouldn't delete accounts :( 18:34:10 although it's actually a redirect nowadays (I won't mention what it's a redirect to, as the spambots haven't found it yet), and I forge it as the from address when I send 18:35:12 Would a Java programmer gain much from learning about monads? (self.haskell) 18:35:28 why are you posting this to /r/haskell!!! 18:35:32 they'd gain a bit, but not much 18:36:03 and it's because Haskellers have been forced into the position of Internet Monad Consultants 18:36:58 ais523: at least we can help you turn your international network of international networks into just an international network 18:37:10 and turn your single node into an international network 18:37:33 and help you transform an international network for one purpose into an international network for another, if you can tell us how to turn a node for one purpose into a node for another purpose 18:38:38 Anyone? Come on. 18:39:11 anyone what? 18:39:16 Laugh, dammit! 18:39:41 -!- cheater has quit (Ping timeout: 252 seconds). 18:39:47 ais523: COMEO N 18:39:49 * ON 18:39:51 You are now the international network monad? 18:40:23 Consultants. 18:40:57 now we need a Consultant monad 18:41:13 hmm, given that consulting things is almost a sensible thing for a monad to do, it could almost be useful 18:42:05 ais523: Come on, laugh. :( 18:42:41 but it isn't funny 18:43:36 ais523: I don't care! 18:43:51 wow nsqx really spammed up the logs there 18:44:28 oh dear, monqy is being unusually lucid, it must be a very serious situation 18:44:45 monqy is always lucid, people just don't usually realise it 18:44:59 ok that was before he got corrupted by the hi brigade :( 18:46:21 "i agree that there is (snicker) a...."cabal" of mods here who seem to want to whitewash haskell's shortcomings" 18:46:25 Keep diggin', tr0lltherapy. 18:46:43 Since when did nsqx become official channel greater? 18:46:53 greater 18:47:04 since when is he 18:47:07 -!- MDude has quit (Ping timeout: 276 seconds). 18:47:10 greeter 18:47:24 "Don't just join and say nothing." some greeting 18:47:43 Meh, I'm just bothered by greeting someone without even making sure they know it's the right kind of esoteric 18:47:55 erm, which kind of esoteric 18:48:19 dude KingOfKarlsruhe idles here constantly 18:48:44 -!- MoALTz__ has joined. 18:48:46 Oh 18:48:55 * Sgeo crawls into a hole 18:49:57 -!- MoALTz has quit (Ping timeout: 248 seconds). 18:49:59 hi Sgeo 18:50:00 hi hole 18:50:06 monqy: oops help i can't stop 18:50:11 it's like drugs 18:50:32 i can't 18:50:33 just say no 18:50:58 Is (Cofree Maybe) like non-empty list? 18:51:10 yes 18:51:20 elliott__: what should i say? 18:53:09 KingOfKarlsruhe: You don't have to say anything. 18:53:50 -!- nortti has joined. 18:54:44 -!- Case1 has joined. 18:54:45 -!- ais523 has quit (Remote host closed the connection). 19:00:33 -!- Ngevd has joined. 19:00:41 Hello 19:00:52 top of the morning 19:01:21 It's... 8 PM 19:01:22 -!- MoALTz has joined. 19:01:26 ?! There will be no more relases of Linux 2.4 19:01:27 Maybe you meant: . ? @ v 19:02:55 -!- MoALTz__ has quit (Ping timeout: 265 seconds). 19:07:52 nortti: I have no idea why this shocks you. 19:08:15 2.6 came out in 2003. 3 came out in 2011. 19:08:33 It has been updated for over 11 years 19:08:41 Yeah, but it's also two major versions old and has been out-of-date for 9 years :P 19:08:57 I admit, it would be funny if they maintained 2.4 forever. 19:09:40 I don't know which version of Linux kernel I'm using atm 19:09:43 Hang on 19:09:47 I'm on Windows 19:10:03 that's linux 1.4 19:10:05 hth 19:11:09 well maybe soneone starts supporting linux 2.4 same way as libc4 19:11:41 nortti: That guy is the only guy crazy and/or stupidly stubborn enough to do that, and he's on 2.0.28 :P 19:12:11 really? That's just insane 19:13:08 ...my screen just beeped 19:13:19 nortti: Well, his distro was last updated in 2002... and was intended to be ~retro~ even then. 19:16:34 In case we have something, like LogicT, but instead there is also a comonad included (forall r. (a -> w (m r) -> m r) -> w (m r) -> m r) It is still a codensity monad too 19:16:40 -!- jix has quit (Quit: Lost terminal). 19:20:02 -!- jix has joined. 19:21:16 -!- Mathnerd314_ has joined. 19:23:17 -!- Mathnerd314 has quit (Ping timeout: 246 seconds). 19:23:23 -!- Mathnerd314_ has changed nick to Mathnerd314. 19:23:35 -!- Ngevd has quit (Ping timeout: 252 seconds). 19:33:28 -!- augur_ has joined. 19:34:04 -!- augur has quit (Read error: Connection reset by peer). 19:44:28 -!- hagb4rd has quit (Quit: hagb4rd). 19:46:07 -!- Ngevd has joined. 19:46:47 -!- Ngevd has quit (Read error: Connection reset by peer). 19:49:19 `addquote I don't know which version of Linux kernel I'm using atm Hang on I'm on Windows 19:50:29 HackEgo... 19:50:30 826) I don't know which version of Linux kernel I'm using atm Hang on I'm on Windows 19:50:43 elliott__: He just needed that nudge. 19:52:42 -!- elliott__ has left. 19:52:42 -!- elliott__ has joined. 19:53:26 -!- hagb4rd has joined. 19:53:32 -!- oerjan has joined. 19:55:02 -!- MoALTz_ has joined. 19:55:06 hi oerjan 19:55:07 kmc: far far = 50 million light years 19:55:18 hi oerjan 19:55:23 whats sqrt(50 million light years) 19:55:39 i _was_ speaking about M87 or whatever it was. 19:55:58 I thought you were talking about jedis 19:56:08 i didn't bring up those 19:56:37 -!- MoALTz has quit (Ping timeout: 248 seconds). 19:56:42 What will be the square root of a unit of distance? 19:56:56 itidus20 asked if M87 was the galaxy of the jedis. 19:58:31 zzo38: I guess it will be something with the unit distance^½, something that you can square to get a distance 19:58:51 what's sqrt(distance) :( 19:58:53 olsner: I know that... it isn't what I meant by the question 19:59:03 elliott__: I don't know! 19:59:32 elliott__: the unit for dimension 1/2 hausdorff measure, at least 20:00:20 http://i.imgur.com/XDDoQ.jpg this is the best notice i have ever seen 20:00:56 good notice 20:00:58 hi monqy 20:01:17 I wish I had a goose. :-( 20:02:00 I wish you WERE a goose. 20:02:32 I have the feeling something should be done about people who check in lines with trailing whitespace. 20:02:53 shachaf: Yes; what should be done is, notify them. 20:03:02 shachaf: "git diff" with colouring makes them all horrible and red. 20:03:06 That's what I use. 20:03:10 To catch my own mistakes. 20:03:14 Maybe they don't do that. :( 20:03:36 zzo38: I was thinking along the lines of something lingering with boiling oil in it. 20:06:04 you are so beautiful as a collective irc entity 20:08:03 elliott__: they might have forgotten to turn on colored diffs, if that isn't the default 20:08:09 shachaf: Did you know that there is (snicker) a...."cabal" of mods here who seem to want to whitewash haskell's shortcomings? 20:10:33 -!- Ngevd has joined. 20:11:17 Ngevd don't become exoskeletal :( 20:11:34 are you saying he looks buggy? 20:12:09 This is a poor connection rather than a bug 20:12:22 no hes just 20:12:23 ngevd 20:12:31 but thats v. punny tahnk you 20:12:35 it was a... sub-lime pun 20:12:41 -!- Ngevd has quit (Read error: Connection reset by peer). 20:12:57 THAT PUN WAS WORSE THAN A LIME. SEE WHAT I DID THERE? 20:12:58 thank you. although you'd think gregor would be more in danger 20:13:05 elliott__: Today I need to do things again. 20:13:36 Don't. 20:13:45 :-( 20:15:19 shachaf: Did you know that there is (snicker) a...."cabal" of mods here who seem to want to whitewash haskell's shortcomings? 20:15:44 hi monqy 20:16:00 helloerjan 20:16:14 I'm not sure if shachaf knows that there is (snicker) a...."cabal" of mods here who seem to want to whitewash haskell's shortcomings? 20:16:27 *.1 20:16:28 *. 20:16:32 monqy: darn you're good 20:17:05 oh also hi elliott__ and olsner 20:17:07 -!- pikhq has quit (Ping timeout: 245 seconds). 20:17:12 -!- pikhq has joined. 20:17:22 -!- nortti has quit (Quit: nortti). 20:17:52 thanks oerjan. thoerjan 20:18:08 tharblejen 20:18:16 thaggry 20:18:20 thexoskeleton 20:18:34 theodicy 20:18:41 hi oerjan 20:19:11 evning olsner 20:19:32 Is oerjan calling me an iodicy? :( 20:19:48 Also, why is oerjan hiing everybody? 20:19:55 hi elliott__ 20:22:29 bye olsner 20:30:44 -!- augur has joined. 20:30:50 -!- augur_ has quit (Read error: Connection reset by peer). 20:30:53 `addquote I saw a Finnair plane today In a smoking rubble? Close. Heathrow Airport 20:31:10 -!- Case1 has quit (Quit: Leaving.). 20:31:11 827) I saw a Finnair plane today In a smoking rubble? Close. Heathrow Airport 20:40:24 elliott__: I don't know that. 20:46:19 -!- oerjan has changed nick to oerjan__. 20:46:25 boo 20:46:29 -!- oerjan__ has changed nick to oerjan. 20:46:37 * oerjan feels _so_ left out 20:47:23 16:18:31: hmm, a good esolang can take weeks or months to make 20:47:24 16:18:46: e.g. Underload took months, and Feather is probably going to take years 20:47:32 otoh /// probably didn't take too long :P 20:48:17 16:12:54: ais523: you misspelled my name! 20:48:17 16:13:07: or does the "double" stand for "fucking underscore" 20:48:29 no no, ais523 is simply unable to say "fucking" 20:58:58 back 20:59:16 WE THOUGHT WE'D LOST YOU 21:11:05 -!- nortti has joined. 21:18:13 -!- calamari has joined. 21:18:47 -!- Mathnerd314 has quit (Ping timeout: 246 seconds). 21:19:51 -!- zzo38 has quit (Quit: Please tell me later). 21:20:01 -!- Mathnerd314 has joined. 21:20:38 -!- augur has quit (Remote host closed the connection). 21:29:18 toi took 5 minutes and it's the best. 21:29:22 take that, society 21:31:39 http://www.huffingtonpost.com/2012/04/10/texts-from-hillary-clinton_n_1415551.html 21:31:59 Now, if only we could hear from her regarding whether the accusations she insulted Agora Nomic are true or not. 21:33:46 huffingtonpost.com 21:35:59 Hey, it's not like I'm taking medical advice from there 21:36:37 ok i admit the fact that hillary clinton has made a submission to a joke tumblr is pretty hilarious 21:36:42 how to live long and a good life, by the huffing ton post dot com 21:36:52 hi 21:37:02 hi monqy 21:37:11 i huff a ton 21:37:17 then i post it 21:37:20 shachaf: drat I can't think of a good greeting uhh 21:37:22 monqy: don't give in 21:37:24 don't give in 21:37:25 it's okay 21:37:26 shhhhh 21:37:31 monqy: I know a good greeting. 21:37:35 no!!! 21:37:36 It starts with "hi" 21:37:37 D: 21:37:42 And it ends with "hi". 21:37:49 And there's 100% overlap 21:38:09 shachaf :( 21:38:15 for maximal greeting efficiency, I presume 21:38:29 I sure wish I knew your wonder greeting! 21:39:06 no!!! 21:39:11 shhhhh 21:39:41 @time 21:39:42 Local time for elliott__ is Tue Apr 10 22:40:10 21:39:44 happy apr 10 21:40:29 shachaf: happy april 10 21:41:16 monqy: happy april 21:41:22 shachaf: sad april 21:41:27 :( 21:41:52 hahahaha i think tr0lltherapy downvoted me 21:42:17 -!- Mathnerd314_ has joined. 21:42:41 is tr0lltherapy a tr0ll 21:42:56 no he's a troll therapist 21:43:28 monqy 21:43:29 you can do it 21:43:30 hi 21:43:32 hi monqy hi 21:43:33 nnnnnnnnn 21:43:34 o 21:43:47 your royal hiness, monqy 21:43:51 -!- derdon has joined. 21:43:54 don't 21:43:56 don't do it monqy 21:44:06 oerjan: kick monqy, this is an intervention, it's for his own good 21:44:06 Come on, "your royal hiness" merits a "hi". 21:44:11 oerjan: QUICK!!! 21:44:19 hi monqy hi... 21:44:21 monqy: it's ok shhh 21:44:23 D: 21:44:24 monqy: we're here 21:44:24 for you 21:44:26 shhhhh 21:44:27 it'll be okay 21:44:32 oerjan: or kick shachaf i guess 21:44:39 monqy: Just say a sentence that contains "hi". 21:44:41 Like "hi there" 21:44:43 hi there monqy 21:44:48 -!- Mathnerd314 has quit (Ping timeout: 272 seconds). 21:44:55 monqy: quick put "hi" into another word 21:45:06 like "boy shachaf must be high if he thinks i'm going to say that word" 21:45:11 I can't think of any good words! 21:45:14 i helped 21:45:24 or 21:45:25 elliott__: I'm just hi 21:45:26 hi 21:45:26 "/me hides" 21:45:30 or 21:45:31 SOMETHING 21:45:34 hi de monqy 21:45:36 shachaf: something 21:45:45 monqy++ 21:45:55 monqy++ , yes. 21:46:01 -!- Mathnerd314 has joined. 21:46:08 monqy: Now say "somet hi ng" 21:46:19 I can't do this (that) 21:46:23 Just one won't hurt. 21:46:44 no don't 21:46:46 slhippery slope 21:46:49 shachaf: you're at BAD influence!!! 21:46:53 monqy: no you're slipping stop 21:46:55 monqy: /ignore shachaf 21:46:57 D: 21:47:03 monqy: Good, now you're injecting "hi"s ungrammatically. 21:47:09 Just one more step 21:47:16 monqy 21:47:18 shhhhhhhhhhhhhhhhh 21:47:34 monqy: Can you say "hii"? 21:47:38 no 21:47:49 monqy: try "shalom", that should freak shachaf out 21:48:00 oerjan: HOW CAN YOU JUST STAND BY AND WATCH THIS HAPPEN 21:48:07 hi oerjan 21:48:07 at least +q shachaf or something 21:48:08 hi elliott__ 21:48:11 hi monqy 21:48:11 hi 21:48:14 shalom 21:48:21 shachaf: are you freaked out 21:48:28 monqy: Not good enough. 21:48:41 Maybe you'll never be good enough... Unless you say hi. 21:48:43 Consider that. 21:48:52 -!- Mathnerd314_ has quit (Ping timeout: 260 seconds). 21:48:55 :-( 21:48:58 :( 21:49:17 What have you become, monqy? 21:49:23 hei hei 21:49:25 You used to say hi. 21:49:35 monqy: Can you manage a "hej"? 21:49:44 ciao 21:50:21 monqy: Congratulations! 21:50:31 You've withstood The Ultimate Hi Challenge. 21:50:38 what's that 21:50:39 monqy: no stop he's tricking you 21:50:40 You Win! 21:50:47 The game is over now. 21:50:50 monqy: noooo 21:50:56 Feel free to relax. 21:51:00 im relax 21:51:02 monqy: no! 21:51:04 monqy: no relaxing 21:51:06 beware!!! 21:51:11 im unrelax 21:51:13 Do a relaxing thing. 21:51:23 don't 21:51:24 I like to relax by writing poems. 21:51:28 NO! 21:51:30 no poems monqy 21:51:32 it'll be okay 21:51:36 you don't have to write anything 21:51:38 Can you write a poem, monqy? 21:51:58 poetry is for people who say "hi" 21:52:07 I'm a big kid now 21:52:08 no hi 21:52:11 monqy =~ \bhi\b 21:52:11 - a poem 21:52:21 monqy you're a good lad 21:52:41 -!- nortti has quit (Quit: nortti). 21:54:03 monqy: Here's a poem: http://poemsbyshelsilverstein.blogspot.com/2009/01/poem-by-shel-silverstein-pg-127.html 21:54:14 By Shel Silverstein. 21:54:25 elliott__: Do they have Shel Silverstein in Hexham? 21:54:32 what a friendly monster 21:55:19 Are you friendly, monqy? 21:55:31 maybe 21:55:43 Show the channel how friendly you are. 21:55:47 how 21:55:48 no!!! 21:55:50 don't do it 21:56:04 should I buy them flowers 21:56:06 is that friendly 21:56:14 monqy: Do what the hi monster would do. 21:56:19 no!! 21:56:24 the hi monster is known for never saying hi 21:56:27 should I go through the mist 21:56:30 should I run free 21:56:32 yes 21:56:33 should I have a tail 21:56:36 yes 21:56:39 no hi <-- oh dear. oh dear oh dear oh dear. 21:56:48 -!- augur has joined. 21:56:49 oerjan: no it's okay 21:56:50 use-mention distinction 21:56:51 The hi monster is known for saying hi to *everyone*. 21:56:55 it's good to talk about your past addictions 21:56:58 this is hi anonymous 21:57:18 The first thing you say in hi anonymous is... 21:57:23 no! 21:57:24 "hi, my name is monqy. hi. 21:57:25 you say 21:57:25 " 21:57:27 "good morning" 21:57:28 or 21:57:29 "good afternoon" 21:57:30 or 21:57:31 "hi" 21:57:31 "good evening" 21:57:32 or 21:57:37 "it's the middle of the night why haven't i slept" 21:58:12 Or you can say one word which means all of those and more. 21:58:35 does it mean 21:58:36 everything 21:58:43 yes it's "hello" 21:58:45 hello is okay 21:59:22 But hello is so many letters 21:59:34 sgeo not you too 21:59:39 monqy: you can use "yo" 21:59:45 "hello" is on the road to "hell" 21:59:50 shachaf: yo 21:59:50 that doesn't have too many letters 21:59:52 Sgeo: yo 21:59:53 "hi" is on the road to "hi heaven" 21:59:54 oerjan: yo 21:59:59 elliott__: yo 22:00:06 monqy: yo! 22:00:06 I dunno about this 22:00:07 monqy: but 22:00:09 it doesn't have the right feeling 22:00:10 don't say yo too much 22:00:21 it just doesn't feel right 22:00:26 once an addict always an addict (unless you try really hard and don't give in to peer pressure) 22:00:30 I still don't have a Yo-God God Detector 22:00:32 shhh monqy you don't need that kind of bad influence in your life 22:00:36 Don't give in to beer pressure! 22:00:38 shhhh 22:00:47 monqy: elliott__ suggets in /msg that I should stop tempting you. 22:00:56 Sgeo: Yo-gsothot? 22:00:57 shachaf: hey 22:01:03 Hey, shachaf asked. 22:01:09 I just told him what he already knew. 22:01:38 *+h 22:01:55 "My question is answered and problem solved by someone that does not even know Haskell, with surgical precision! Anyway the link above now contains a working splice implementation that will find its way to Hackage after polish up." 22:01:56 IT WAS WRONG 22:02:04 elliott__, linky? 22:02:07 http://www.reddit.com/r/haskell/comments/s1kcd/need_help_implementing_zero_kerneluser_space_copy/ 22:03:04 -!- augur has quit (Ping timeout: 245 seconds). 22:03:25 monqy: After saying "yo" you have to say "dawg". 22:03:56 I don't think I can do that 22:04:05 honestly if that's what it comes to 22:04:08 I'd rather just say hi 22:04:13 :'( 22:04:22 You gotta choose. 22:04:22 That seems more like a Linux question than a Haskell question 22:04:33 "yo dawg" is many times more potent than "hi". 22:05:11 yo dawg, I herd you like to greet so I put a greet in your greet so you can greet while you greet. hhii 22:05:18 someone kick sgeo 22:05:21 ^^badly done 22:05:23 now 22:05:33 -!- augur has joined. 22:05:45 I would have said "sgeo: hi" but I'm over that 22:05:47 I'm a new man 22:05:49 a new monqy 22:06:06 monqy: Say "sgeo: yo dawg" 22:06:09 no 22:06:15 sgeyo dawg 22:06:23 someone kick shachaf 22:06:30 oerjan: he's suffering 22:06:40 shachaf++ 22:06:45 sgeo-- 22:06:46 (incf shachef) 22:06:59 shachaf-- 22:07:00 shachaf-- 22:07:03 no stop 22:07:03 elliott__: The right answer is to use the I/O manager for non-blocking sockets? 22:07:08 elliott__: :-( 22:07:10 The right answer is what bos said. 22:07:11 elliott__++ 22:07:13 Those are precious karma points. 22:07:24 Esp. since EAGAIN can happen on blocking sockets too. 22:07:25 (incf shachef 5) 22:07:27 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.2 [Firefox 11.0/20120312181643]). 22:07:30 @karma shachaf 22:07:30 shachaf has a karma of 13 22:07:33 you have enough 22:07:37 @karm elliott 22:07:37 Maybe you meant: karma karma+ karma- karma-all 22:07:39 @karma elliott 22:07:39 elliott has a karma of 16 22:07:45 elliott-- 22:07:47 elliott-- 22:07:47 @karma elliott__ 22:07:48 elliott__ has a karma of 1 22:08:04 @karma hi 22:08:04 hi has a karma of 2 22:08:04 @karma Sgeo 22:08:05 You have a karma of 0 22:08:06 hi-- 22:08:07 hi-- 22:08:13 Hey, monqy said it! 22:08:37 He's trying to say it! 22:08:39 He's trying! 22:08:53 "what -- what am I -- hi -- hi monqy!" 22:09:43 elliott++ 22:09:48 elliott++ # not heartless 22:11:12 @karma elliott 22:11:12 elliott has a karma of 16 22:11:20 derp 22:11:44 @karma lambdabot 22:11:44 lambdabot has a karma of 6 22:11:46 lambdabot++ 22:11:47 @karma lambdabot 22:11:47 lambdabot has a karma of 7 22:11:49 Oh 22:12:01 If monqy decremented me once and I now have karma of 0, I must have had karma of one at some point 22:12:05 * Sgeo happies 22:12:15 @karma lwall 22:12:15 lwall has a karma of 0 22:12:30 Someone reset lambdabot? 22:12:39 Oh, I'm thinking of preflex. 22:12:50 @karma C 22:12:51 C has a karma of 0 22:12:52 elliott__: Why did you decrement my karma. :-( 22:13:59 lambdabot once had karma 50+ 22:14:06 *50+ karma 22:14:29 I am in the top 10 karmahavers in lambdabot's database. 22:14:35 @karma c/c 22:14:35 c/c has a karma of 80 22:14:40 > text "hi monqy" 22:14:41 hi monqy 22:15:28 @karma c++ 22:15:28 c++ has a karma of -2 22:15:50 @karma c 22:15:53 c has a karma of 0 22:15:56 Deewiant: lambdabot has an override 22:16:02 karma c 22:16:02 c: 186510 22:16:08 For just c? 22:16:11 yes 22:16:14 WRONG 22:16:16 @karma "C 22:16:17 "C has a karma of 15 22:16:18 @karma notepad 22:16:18 notepad has a karma of 16 22:16:21 notepad++ 22:16:22 @karma notepad 22:16:22 notepad has a karma of 16 22:16:26 Lame 22:16:28 @karma- notepad 22:16:28 notepad's karma lowered to 15. 22:16:29 @karma- notepad 22:16:29 notepad's karma lowered to 14. 22:16:29 @karma- notepad 22:16:30 notepad's karma lowered to 13. 22:16:30 @karma- notepad 22:16:31 notepad's karma lowered to 12. 22:16:31 @karma- notepad 22:16:32 notepad's karma lowered to 11. 22:16:32 @karma- notepad 22:16:32 notepad's karma lowered to 10. 22:16:33 @karma- notepad 22:16:33 notepad's karma lowered to 9. 22:16:34 @karma- notepad 22:16:34 notepad's karma lowered to 8. 22:16:39 @karma+ notepad 22:16:40 notepad's karma raised to 9. 22:16:40 rest peacefully, notepad's karma 22:16:42 that's a good amount of karma for notepad 22:16:56 It has some other cases too. 22:16:58 @karma foo 22:16:59 foo has a karma of 0 22:17:09 @karma alef 22:17:09 alef has a karma of 1 22:17:14 thank you alef++ 22:17:15 @karma j 22:17:16 j has a karma of 1 22:17:18 @karma 22:17:19 You have a karma of 13 22:17:21 @karma 22:17:21 You have a karma of 13 22:17:23 @karma "" 22:17:23 "" has a karma of 0 22:17:27 Phooey. 22:17:33 ""++ 22:17:35 @karma "" 22:17:36 "" has a karma of 1 22:17:38 The empty string has an exemption. 22:17:43 As in ++ 22:17:52 @karma \ 22:17:52 \ has a karma of 0 22:17:56 @karma 22:17:57 You have a karma of 1 22:18:08 elliott__: I still need to do the thing. 22:18:11 @@ (run "test") 22:18:11 (run "test") 22:18:15 @@(run "test") 22:18:17 bah 22:18:25 @@ (@run "test") 22:18:25 "test" 22:18:32 not what i wanted 22:18:44 @hi 22:18:51 lambdabot: You, too? :-( 22:19:32 @karma 22:19:32 You have a karma of 1 22:19:38 -!- elliott__ has changed nick to elliott. 22:19:40 bye 22:19:42 -!- elliott has changed nick to elliott__. 22:19:59 that's kind of ruined with the nick change 22:20:19 @karma @karma 22:20:19 @karma has a karma of 0 22:20:24 @karma++ 22:20:24 usage @karma(+|-) nick 22:20:28 @karma karma 22:20:29 karma has a karma of 1 22:20:37 @karma++ @karma++ 22:20:38 @karma++'s karma raised to 1. 22:20:39 elliott__: Why did you change your nick? :-( 22:20:41 Whee! 22:20:44 it's @karma+ 22:20:46 not @karma++ 22:20:48 @karma @karma+ 22:20:49 @karma+ has a karma of 0 22:20:51 shachaf: to use lambdabot admin 22:20:59 elliott__: I mean the __s. 22:21:01 @karma++ shachaf 22:21:01 You can't change your own karma, silly. 22:21:01 @karma+ @karma 22:21:02 @karma's karma raised to 1. 22:21:08 @karma @karma 22:21:08 @karma+++ shachaf 22:21:08 @karma has a karma of 1 22:21:08 You can't change your own karma, silly. 22:21:22 Looks like "@karma+ shachaf" doesn't change anything. 22:21:25 Let's all type it. 22:21:43 @karma- shachaf 22:21:44 shachaf's karma lowered to 12. 22:21:50 did i do it right 22:21:55 @karma- shachef 22:21:56 shachef's karma lowered to -1. 22:21:58 shachaf: So that my nick wouldn't be elliott. 22:22:13 @karma++ shachef 22:22:13 shachef's karma raised to 0. 22:22:16 -!- Patashu has joined. 22:22:25 shachef++ -- paraphrased 22:22:32 shachef++ -- dance 22:22:38 I mean, shachef++ -- dances 22:22:42 shachef++ -- tells facts 22:22:46 shachef++ -- looks up the weather 22:22:46 And today I learned that I don't know how to spell shachaf 22:22:52 shachef++ -- spies on you 22:23:01 I used to play with BONZI Buddy 22:23:11 ...I am now feeling nostalgic for spyware. Fun. 22:23:21 elliott__: Where's that portrait? 22:23:24 Show Sgeo. 22:23:31 has he really not 22:23:35 i mean that's a pretty big coincidence 22:23:41 http://ompldr.org/vZDhvag 22:23:43 sorry 22:23:45 http://ompldr.org/vZDhvag/shachef.png 22:24:02 I didn't say he hadn't seen it. 22:24:08 shachef++ -- emails 22:24:10 shachef++ -- browses 22:24:12 but And today I learned that I don't know how to spell shachaf 22:24:19 shachef++ -- schedules 22:24:25 shachef++ -- searches 22:24:28 I've seen it before 22:24:30 shachef++ -- sings 22:24:37 shachef++ -- laughs 22:24:40 shachef++ -- makes faces 22:24:54 shachef++ -- spins a globe 22:24:57 I remember listening to BONZI Buddy's facts while eating triscuits 22:24:59 shachef++ -- eats a banana 22:25:13 @karma shachef 22:25:13 shachef has a karma of 15 22:25:17 oerjan: kick someone 22:25:20 oerjan: i don't care who it is 22:25:22 kick shachef 22:25:26 except not me 22:25:30 oerjan: Don't do it! 22:25:35 elliott__ wants you to get a taste of POWER 22:25:50 You know what I hate? 22:26:02 People who think they can't make mistakes. 22:26:09 And so they write code badly. 22:26:33 :( 22:27:00 kmc: ? 22:27:18 just sympathizing 22:27:23 * Mathnerd314 hates people who write code 22:27:24 also i wonder if i am one of these people 22:27:31 but that's probably generic insecurity 22:27:31 Mathnerd314: hi 22:27:32 oh no 22:27:35 oiho no 22:27:38 oh no 22:27:38 monqy 22:27:39 shhhh 22:27:41 calm down 22:27:42 it's okay 22:27:44 it's a long road 22:27:54 they should be writing *compilers* for code 22:28:04 it's irresistible 22:28:06 I want to say hi again 22:28:13 Mathnerd314 hello 22:28:40 /kickban monqy 22:29:20 kmc: You seem to have the reasonable mindset of "make mistakes impossible to make". At least as far as security etc. are concerned. 22:29:43 kmc: Do you think being good at writing secure code and being good at finding security bugs are particularly correlated with each other? 22:31:35 i think the former is probably impossible without the latter, but that the latter doesn't necessarily imply the former 22:31:44 but i'm pulling this out of my anus, so to speak 22:32:25 i agree with all of what elliott__ just said :) 22:32:47 like if you look at a lot of exploits they're kind of horrible code 22:33:00 exploits are the best code :D 22:33:14 explosive code 22:33:16 which i think fits stereotypically into the "unprofessional but determined self-taught tinkering" kind of view of someone who finds security exploits 22:33:24 shachaf, people ask me "are you worried about the security of Mosh" and I'm like "... I'll never not be worried about the security of Mosh" 22:33:41 and which wouldn't fill me with confidence wrt writing secure code 22:34:10 "unprofessional but determined self-taught tinkering" isn't necessarily a bad way to learn to write secure code. 22:34:20 Well, I guess it depends on what you mean by "unprofessional". 22:34:36 i mean "unprofessional" in the (unfair) sense of "sloppy" 22:34:52 So you're saying that if someone is sloppy, their programs will have bugs? 22:35:02 Good to know. 22:35:04 i think if someone's code is sloppy it's more likely to have bugs 22:35:10 do you disagree? 22:35:22 Not at all. 22:35:43 i get the feeling you're making some kind of point here 22:35:47 I doubt you'll find anyone who'll really disagree. 22:37:31 Mathnerd314: why did you post those terrible slides :'( 22:37:59 elliott__: because otherwise you wouldn't know about them 22:38:02 What slides? 22:38:41 http://www.eweek.com/c/a/Application-Development/Why-Programmers-Should-Use-the-Haskell-Language-Now-669827/ 22:39:18 Sloppy code is probably the most annoying thing. 22:39:34 i like sloppy code! it's just crap is all 22:39:51 I usually get annoyed at it and then tell myself that I'm probably getting too annoyed. 22:39:56 But maybe that's wrong. 22:40:17 have you ever seen _why's code 22:40:22 it's awful and sloppy 22:41:06 There are different adjectives one can use to describe _why's code (and _why). 22:41:54 i think you'll find he'd have readily adopted "sloppy" (possibly he did) 22:42:09 elliott__: Wow, those slides. :-( 22:42:28 should I look at these slides 22:42:37 hi monqy 22:42:40 Don't look at the slides. 22:43:19 ok 22:43:23 shachaf: apparently they're dumbed-down summaries of slides from someone else's talk 22:43:27 monqy: look at the slides 22:43:31 it'll put the fear of god in you 22:43:42 elliott__: I like the DSL slide. 22:44:11 "Homomorphic encryption is a form of encryption where a specific algebraic operation performed on the plaintext is equivalent to another (possibly different) algebraic operation performed on the ciphertext. Adams-Moran said Haskell is good for implementing homomorphic encryption, particularly in protecting data in the cloud—where users want to store only encrypted data in the cloud. Searches and queries work over encrypted data, yielding 22:44:22 "yielding" 22:44:37 Anyway, apparently the talk goes into much more detail about their actual homomorphic encryption work. 22:44:40 It's a Galois thing. 22:45:07 Great. "Abstraction". Without any details into what that's like from a Haskell perspective 22:45:15 Are ANY of these slides about Haskell specifically? 22:45:15 Sgeo: WHOA. 22:45:20 Are you suggesting these slides aren't good? 22:45:37 wow these slides are the worst 22:45:43 I'm going to 22:45:45 stop 22:45:46 looking 22:45:46 at 22:45:47 them 22:45:52 elliott__: I didn't realize homomorphic encryption actually worked. 22:46:05 For, you know, actual things. 22:46:40 shachaf: "For example, we don't claim to have solved fully homomorphic encryption, but I can see how you may have gotten that impression from the eweek slides. We're part of a team exploring ways of bringing FHE closer to practicality. The example in the talk is about a different kind of shared computation (and I did a poor job of explaining it)." 22:48:55 shachaf: I love the part where everything starts with "Adams-Moran said", though. 22:49:10 I love the part where the slides are bad. 22:50:46 monqy: Can you help me figure out how Hugs works? 22:50:59 By the power of HUGS. 22:51:10 I've neither used nor seen hugs, ever 22:51:49 Poor monqy. 22:51:51 * elliott__ hugs monqy 22:51:56 There there. 22:52:16 cabal-dev install --hugs --with-cpphs="$(which cpphs-hugs)" --hugs-options="-98 +o" --hugs-option=-F'cpp -P -traditional' -fslow 22:55:55 monqy: What's Haskell? 22:57:18 how should I know 22:59:13 monqy: What'sn't Haskell? 23:00:38 is Haskell? 23:00:41 isn't Haskell? 23:02:06 Isn't. 23:03:39 > var $ cycle "Haskell is " 23:03:40 Haskell is Haskell is Haskell is Haskell is Haskell is Haskell is Haskell i... 23:03:52 Wow, this Wikipedia user deflects the need to actually cite their statements by using edit summaries like "THIS IS ALL TRUE" and "VERIFIABLE". 23:03:53 fungot haskell 23:03:53 shachaf: honey buns! it's darn near as i can figure us out? that way, if i got any emails?! 23:04:13 "Adding more valid information" 23:06:40 oerjan: monqy: blend 23:07:28 oerjan: monqy: plees blend!!! 23:10:55 elliott__, linky? 23:12:50 blend? 23:13:27 Sgeo: That would be, like, unfair! 23:13:37 ...Okay. http://en.wikipedia.org/wiki/Special:Contributions/Pdiddyjr 23:13:55 (I have good reason to edit this) 23:13:59 (Once again, I am editing this with good reason) 23:18:49 Anyone here used channel.me ? 23:18:57 Although I don't know why I'm asking here 23:19:16 why are you asking (out of curiosity) 23:19:24 (once again i am asking this with good reason) 23:19:42 I'm curious about opinions 23:20:09 that isn't what i meant :( 23:20:33 what's channel.me 23:20:53 Sgeo: what i meant was "are you considering using it & if so why" 23:21:32 I've been playing around with it and because it's fun 23:24:26 -!- sebbu has quit (Ping timeout: 246 seconds). 23:24:52 -!- oerjan has set topic: The XY Problem Channel | Do you like rotating mazes? Do you like the other idea? | I do not like rotating mazes. I do not like them Mr. Z. I do not like them in a tree. I do not like them in the fog, I do not like them on a log. I do not like rot' maze, you see, I prefer my lab'rinth's normalcy. | http://codu.org/logs/_esoteric/. 23:26:25 I looked it up and 23:26:32 playing around with it? with whom? 23:26:38 don't you need other people to channel.me 23:26:52 just people? 23:26:54 yourself? 23:27:18 -!- derdon has quit (Remote host closed the connection). 23:27:36 sorry I'm just a bit surprised is all 23:28:12 also I notice sub-lime is out of the chanserv welcome message :( 23:28:17 is this because of nsqx 23:28:32 SO THEY CLAIM, THE BASTARDS 23:28:51 monqy, there is a person... 23:30:10 oerjan: /msg 23:31:53 -!- sebbu has joined. 23:31:54 -!- sebbu has quit (Changing host). 23:31:54 -!- sebbu has joined. 23:35:58 -!- zzo38 has joined. 23:58:08 shachaf: Did you know "vi /proc/self/maps" works?