00:00:08 -!- benuphoenix|away has changed nick to benuphoenix. 00:02:41 -!- augur has quit (Remote host closed the connection). 00:09:53 -!- Koen_ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?"). 00:12:06 http://toronto.kijiji.ca/c-ViewAd?AdId=476525281 <---- Bike + wood = Classy bike 00:12:54 is this a fixie 00:13:28 I didn't look at the link. 00:30:45 fixie? 00:35:37 bike slang 00:36:23 mnoqy: greeeetings 00:36:40 hi 00:37:02 how many functions of type Bool -> Bool are there 00:37:14 s/function/value/ 00:37:16 is this a trick question 00:37:21 no 00:37:37 well we're counting ⊥s and things, does that count as trick................... 00:37:40 yes 00:37:42 oh 00:37:44 then yes 00:37:46 27? 00:37:49 but now you know the trick 00:37:53 There's the obvious 4 00:37:54 2^2 real functions, 1 for bottom, 1 for const bottom? 00:38:04 you're missing a bunch 00:38:11 different flavours of bottom? 00:38:13 like f True = True; f False = undefined 00:38:14 can't you have bottom -> true, bottom -> false, bottom -> bottom 00:38:17 uuuuugh 00:38:22 Oh, we need to count outputting bottom on true, output bottom on false 00:38:25 i hate this question 00:38:26 shachaf i think this may be a dumb question 00:38:31 it's so dumb 00:38:34 sooo dumb 00:38:36 So it's more than I forget which way the exponents go 00:38:38 3^3 and leave it at that 00:38:42 3^3 + 1? 00:38:45 uuugh 00:38:47 mnoqy no..... 00:38:50 2^3 + 5 00:38:53 3^3 is way too much 00:38:56 i dont want any more of this 00:39:03 2^3 + 1 is my final answer 00:39:06 If it takes _|_ in then it has to be const true const false or bottom (or const bottom) 00:39:11 er 00:39:14 not 2^3 00:39:16 3^2 00:39:19 erm, takes _|_ in and outputs True of False 00:39:19 3^2 + 2 00:39:20 er 00:39:21 3^2 + 1 00:39:22 uugh 00:39:24 hate this question 00:39:26 13 is what i ended up with 00:39:26 Screw the bottom 00:39:42 oh right theres also 00:39:48 yeah im not playing this game anymore 00:40:01 is this the real reason you use total languages 00:40:02 I'd play it if I just had time to write it down 00:40:04 take your question and go back to "cares about bottom"land 00:40:20 As in, mnoqy's guesses are confusing 00:40:29 not all of my guesses were serious 00:40:52 one of them was right i think "but was it only right by accident" 00:40:56 hlep 00:41:34 m -> n are there (ign. bottoms) m^n or n^m I forget 00:41:53 think of tuples 00:42:09 think of () -> a vs. a -> () 00:42:14 that works too 00:42:24 shachaf's makes more sense 00:42:51 I,I f :: () -> (a vs. a) -> () 00:42:54 m->n there are n^m then 00:43:10 ANOTHER CLUE THAT WE'RE WRITING FUNCTIONS BACKWARDS, IMO YES 00:43:15 Sgeo: tuples makes sense if you realize x^n is n->x 00:43:28 a -> () is easy 00:43:52 is it a monoid........... 00:43:53 yes it is 00:44:08 So, ignoring input bottoms but not output bottoms, there are 3^2 Bool->Bool 00:44:10 a _ = (); a x = x `seq` (); a x = a x; 00:45:33 We can just add manually the 2 functions that are _|_ -> True and _|_ -> False 00:46:11 So let's assuming that the 3^2 functions all bottom on bottom 00:46:30 you also need bottom and const bottom 00:46:32 Since that will help avoid double-counting const True and const False 00:46:41 mnoqy, I can add those later or something 00:46:57 I.. think 00:47:07 so what's the point of this question 00:47:10 yes but then you're playing into shachaf's hand 00:47:53 We can also be bottoming on True but not bottoming on False, and bottoming on False but not True 00:47:59 -!- DHeadshot has quit (Read error: Connection reset by peer). 00:48:11 Hold on, that may end up double-counting some in the 2^3 00:48:13 erm 3^2 00:48:14 -!- DHeadshot has joined. 00:48:19 -!- lambdabot has quit (Remote host closed the connection). 00:48:54 Yes, I've already counted the sometimes bottomers 00:49:18 So it's 3^2 + 2 + 1 + 1 if I did not already count const bottom, but I did. 00:49:28 So 3^2 + 3. I think. 00:49:57 12. 00:50:13 you're 1 off of shachaf's 13 00:50:13 I guess I could try to make a list... 00:50:30 yes just write them all out 00:50:36 it's like phil 101 homework all over again 00:50:44 imo dont bother 00:51:23 mnoqy, where's the mistake in my logic, if there is one? 00:51:25 i'm already bothered 00:51:29 erm, shachaf 00:51:55 We could try 3^3 and remove the invalid ones 00:52:04 sgeo./.... 00:52:18 Oh, 3^3 + 1, sorry 00:53:05 Sgeo: did you count f = ⊥ 00:53:09 thats the + 00:53:10 1 00:53:22 o k 00:53:31 well i don't know 00:53:40 list out all your functions and i'll tell you which one is missing/???????? 00:53:43 srsly, why'd you ask 00:53:52 it came up in #haskell 00:54:05 why? 00:54:17 don't ask why things come up in #haskell 00:54:32 ~_~ 00:54:56 3^3 + 1. This includes a number of functions that given a bottom don't bottom but not given a bottom do sometimes bottom. There are 2 ways to not bottom. times ... argh 00:56:11 times seven 00:56:18 bot -> 2,true->2,false->bot; bot->2,true->bot,false->2;bot->2,true->bot,false->bot 00:56:54 um 00:57:06 2 indicates two possibilities 00:57:38 4 + 4 + 1 00:57:55 wait why isn't it 3^3 00:58:10 3^3 + 1 - 9 = 3^3-8 = 19 = um 00:58:19 Because e.g. f bottom = true, f true = false, f false = false doesn't work. 00:58:48 sgeo your way of counting them is exceedingly silly 00:59:10 im getting 12 so i just have to figure out what im missing (why am i doing this, fuck) 00:59:12 you have exceeded your silliness quota for the day Sgeo 00:59:13 * Sgeo sees a thinko and revises down to 18, which isn't much better 00:59:20 mnoqy: which 12 are you getting 00:59:25 y'all need to learn how to stop thinking about things. 00:59:26 3^2 strict functions + const True + const False + bottom 00:59:29 could shachaf be wrong 00:59:34 shachaf is never wrong, sgeo 00:59:44 what about id 00:59:55 id should be in the 3^2 00:59:56 that's strict. 01:00:13 oh right i forgot about 01:00:14 ughhhh 01:00:23 noodls right 01:00:40 id doesnt' need to evaluate its argument 01:00:48 ????????? 01:00:52 oh wait 01:00:53 ugh 01:00:56 just 01:00:57 ignore me 01:00:59 i hate this question 01:00:59 But id _|_ = _|_ 01:01:04 i hate thinking about how things evaluate 01:01:09 i just 01:01:09 I hate typing _|_ 01:01:16 mnoqy this is denotational 01:01:19 q: is haskell church-rosser 01:01:45 shachaf: bothering with how things evaluate is so low-level and also terrible and awful and i hate everything about it 01:01:47 protip when talking about stuff like this, keep ⊥ in your paste buffer 01:01:57 i have to put that on my compos key 01:02:13 i just type ctrl shift u 2 2 A 5 space 01:03:48 huh is ⊥ a valid Bool → Bool 01:04:21 ok shachaf spill the beans whats the function im missing. it has to assign bottom to something that isnt bottom or i would have counted it with the strict stuff, but it cant be const true or const false. 01:04:26 http://pastie.org/private/rekvmk4hgcukcck0ecwtw 01:04:28 or was mnoqy just saying "const False + bottom" short for "const False + const bottom" ?????? 01:04:45 I count 12 there. 01:04:50 What's missing? 01:04:54 > asTypeOf undefined not 01:05:06 ok. 01:05:23 nooodl: bottom is a perfectly fine bool->bool in haskell 01:05:29 mnoqy: i'm confused by the way you 're counting........... 01:05:33 did you count const bottom 01:05:46 is const bottom different from bottom?? did i answer the question 01:05:52 const bottom is strict ((const bottom) bottom = bottom) 01:05:52 so 01:05:54 yes i counted it 01:05:55 nooodl: yes it's "different" 01:06:06 shachaf, I made a list. What function's missing? 01:06:16 where'd lambdabot go. 01:06:20 let me look..... 01:06:22 wait it's 12 not 13 01:06:24 sry 01:06:30 oh 01:06:32 ok 01:06:34 someone in #haskell said it was 13 01:06:43 and i said to him, no it's 12 01:06:47 and here i am saying 13 01:06:49 when it's 12 01:06:53 you fool 01:07:11 mnoqy: i'm sorry :☹( 01:07:17 -!- carado_ has quit (Ping timeout: 246 seconds). 01:07:42 :😹) 01:07:42 http://25.media.tumblr.com/0a730e1546184ed8d363fce9a9c705e3/tumblr_mljz8bJ3t21qbhhv4o1_500.png 01:08:03 const bottom should totally be counted as the same as bottom, so 11 01:08:09 sgeo no 01:08:15 · · 01:08:15 01:08:15 :☹( 01:08:15 01:08:15 ------ 01:08:17 / \ 01:08:18 seq is banished from reality 01:09:54 thats not very nice of you sgeo 01:09:54 okay now how many functions :: Maybe () -> Maybe () are there 01:10:05 imo ugh 01:10:09 shachaf: ……………… 01:10:14 12. 01:10:17 uhh it's gonna be a trick but 01:10:18 Wait 01:10:19 i still think 12 yeah 01:10:22 sgeo no 01:10:24 Just isnt strict 01:10:25 nooooo 01:10:37 Oh god 01:10:39 Just bottom 01:11:03 If a function gives n for Just bot, it has to give n for.. 01:11:23 all Just x 01:11:27 Seems very pyramidy 01:11:41 i think? at least 01:12:21 3 + 3 + 3 I think 01:12:31 (+1) 01:12:57 well 01:13:04 3 consts, 3 that bottom on bottom but are const on Just x, and 3 that bottom on bottom, ... crud 01:13:21 there's at least 3^2 strict functions? 01:13:23 ...crud is the new bottom 01:13:46 have fun everybody 01:13:48 (instead of True/False you have Just ()/Nothing) 01:13:59 I forgot that Nothing existed. 01:14:23 shachaf you goddamned asshole 01:14:27 everything exists hth 01:15:57 so anyway, http://en.wikipedia.org/wiki/Outlawries_Bill what the fuck, england? 01:16:50 nooodl: some things don't exist.............. 01:17:55 quintopia: are existent things dense in the set of things 01:18:38 oops wow xchat what the fuck is this 01:18:41 that was "q:" 01:19:01 oh i had the dumbest option ever on 01:19:23 was it on by default 01:19:27 oh no 01:19:33 mnoqy;;; do you have it on 01:19:51 i dont use xchat 01:19:52 nope 01:20:00 mnoqy: but you used to???? 01:20:02 i turned it one because i thought it'd uh 01:20:02 no 01:20:07 ive never used xchat 01:20:20 you know in xchat when you want to tab-complete a name and there are multiple options 01:20:32 nooodl: did you read that one book by raymond smullyan (_5000 B.C._) 01:20:35 and instead of cycling through them it just displays them all, forcing you to type more of the name 01:20:49 shachaf: nope 01:21:08 anyway i thought this option could maybe solve that because its name was really vague 01:21:16 and i left it on without ever noticing anything 01:21:23 nooodl: imo read it 01:21:26 and his other books?? 01:21:28 (i had googled it but it's undocumented like everything in fucking xchat) 01:21:40 what's it about / why'd you bring it up 01:21:48 well it talks about existent things 01:21:51 and also a bunch of other things 01:22:02 most books talk about existent things :-) 01:22:15 i guess science fiction doesn't !!! 01:22:19 hey he's publishing another book this year 01:22:23 let's look this thing up 01:22:25 lessee... 4^2 strict functions not distinguishing Just bottom from bottom, add 3^2 for those that do, then youve got 3 nonstrict const's, and 1 for bottom 01:22:30 hey shachaf did i do it right why did i do that uuugh 01:22:50 mnoqy: i don't know what do i look like a person who would do that.. 01:22:55 because i didn't 01:23:57 :-| 01:24:23 is 29 your final answer 01:24:29 > 4^2+3^2+3+1 01:24:40 lambdabot i summon you............................... 01:24:48 give it a minute 01:24:52 ~eval 2+2 01:25:00 16+9+3+1 = 25+4 = 29 01:25:03 `run echo $((2+2)) 01:25:08 4 01:25:10 i'm casting my lambdabot summoning spell be patient!! 01:25:21 lambdabot has summoning sickness :`( 01:25:30 no 01:25:33 lambdabot will show up 01:25:36 trust me 01:25:40 by lambdabot summoning spell do you mean uhh that thing where you "obtain" lambdabot admin status 01:25:52 mnoqy: no 01:26:15 i mean the thing where lambdabot is back up now thanks to Cale 01:26:20 and i wait for the /join 01:26:20 ok is it the one where lambdabot dies and then just takes forever to join channels 01:26:22 and then take credit for it 01:26:28 that thing 01:26:31 why does it take forever, poor engineering? 01:26:47 well throttling "and stuff" 01:26:48 -!- Nisstyre-laptop has quit (Remote host closed the connection). 01:26:54 lambdabot is in about a billion channels hth 01:27:07 a billion is a lot 01:27:18 not as much as ten billion 01:27:25 good point 01:27:34 -!- lambdabot has joined. 01:27:36 TA DA 01:27:43 thachaf 01:27:50 mnoqy: You have 1 new message. '/msg lambdabot @messages' to read it. 01:27:50 a billion isn't cool. you know what's cool? a trillion hth 01:28:02 oh no who's it from 01:28:08 2 days ago 01:28:16 is it from me 01:28:18 no 01:28:31 is 29 your final answer 01:28:51 unless it's wrong and i get hooked on it because im a horrible addicted to stupid things like this 01:29:09 this thing is so stupid 01:29:13 yes 01:41:59 -!- lambdabot has quit (Remote host closed the connection). 01:42:42 oops 01:43:17 lambda bot 01:43:53 -!- carado has joined. 01:44:50 time to summon lambdabot again 01:44:54 lambdabot 01:46:07 -!- lambdabot has joined. 01:46:29 shachaf++ # summoning lambdabot 01:52:16 ) Im far better than lambdabot anyway 01:52:17 Sgeo: Im (far better than lambdabot anyway) 01:52:31 ) far better than lambdabot anyway 01:52:32 Sgeo: far better than lambdabot anyway 01:52:36 huh. 01:52:40 ) im far better than lambdabot anyway 01:52:41 Sgeo: im (far better than lambdabot anyway) 01:52:47 ) a b c d e f 01:52:47 Sgeo: a (b c d e f) 01:52:49 ) a b c d e f g 01:52:50 Sgeo: a b c d e f g 01:53:01 ) c d e f g 01:53:02 Sgeo: c d e f g 01:53:05 ) d e f g 01:53:05 Sgeo: d (e f g) 01:53:26 j 01:53:45 so glad we had this chat. 01:57:25 that's because of how trains work 01:58:07 well, actually because of how they're displayed 01:59:05 -!- dessos has left. 02:01:15 wow there's this exaple on the j wiki about converting a non-tacit expression to a tacit one using trains 02:01:18 and it start with 02:01:19 (^x) + (x^2) - (y^2) 02:01:26 ((^x) is exp(x)) 02:01:46 then it makes some steps to arrive at this: (^@[) + ((([^2"_) - (]^2"_))) 02:01:52 wat 02:01:59 and then below that there's this 02:02:02 In this case terser tacit expressions are possible: ^@[ + *:@[ - *:@] or, even better, ^@[ + -&*: 02:02:03 "even better" 02:02:06 i'm just... baffled 02:03:13 Aren't tacit verbs more reversible than explicit? 02:03:18 Or something? 02:03:36 reversible? 02:03:37 @pl \x y -> exp x + x^2 + y^2 02:03:37 (. (^ 2)) . (+) . liftM2 (+) exp (^ 2) 02:10:20 @ty (+) <$> exp . fst <*> uncurry ((+) `on` (^2)) 02:10:21 Floating b => (b, b) -> b 02:10:36 it translates into this, pretty much 02:12:10 Fiora: reading the GBC boot rom thing now o_O 02:14:30 haha that thing was horrifying 02:14:47 what this 02:14:48 mnoqy: You have 1 new message. '/msg lambdabot @messages' to read it. 02:14:49 i like that it involves a TOCTOU swaparoo on the logo data as well 02:14:55 mnoqy: http://www.fpgb.org/?page_id=17 02:15:07 TOCTOU? 02:15:13 time of check / time of use 02:15:25 ah 02:15:29 the FPGA ROM emulator reads out a Nintendo logo the first few times that area is accessed, and afterward reads out the dumper program 02:16:06 I guess the boot ROM verifies the Nintendo logo so that any unauthorized cartridges have to be trademark infringing as well 02:16:38 that's... wow 02:16:50 see? horrifying 02:17:13 -!- carado has quit (Remote host closed the connection). 02:17:32 -!- nooodl has quit (Ping timeout: 258 seconds). 02:17:59 horrifying more like amazing and wonderful 02:18:43 either/or 02:23:55 oh since people were talking about autism and portrayals of autism in media, i thought i would share this link http://ada-hoffmann.livejournal.com/39870.html which i came across somehow, which is a list of books with autistic characters and/or by autistic authors 02:24:03 dunno if it's any good 02:28:21 -!- benuphoenix has left. 02:28:22 I'm not sure I'd really enjoy that kind of thing,... I guess, like, I don't really like those "parts" of myself, so I'd rather not read a character that focuses on those things... maybe? I don't know, it's hard to express 02:29:25 *nod* 02:29:53 maybe some of the authors have similar feelings and you could find something to relate to there? 02:30:13 maybe... I find sometimes I don't really relate that much to a lot of autistic people though, I'm not sure. 02:30:34 I guess a vaguely comparable example might be... 02:32:11 among LGBT-focused romance manga/doujins/etc, there's a category that are more realistic and down to earth, and deal with a lot of day to day discrimination, stereotypes, and so on 02:32:23 and then there's the sort that are more idealized, take place in fantasy worlds, and so on 02:32:35 * Sgeo has heard of The Curious Incident of the Dog in the Night-Time 02:32:40 * Sgeo wonders if he should read it 02:32:49 and sometimes you want to read a story about all the problems that people face. and sometimes you just want to read a story far, far away from those problems 02:33:54 and I guess, in the media I like, I don't really like to be reminded of pains that exist in reality but shouldn't exist 02:34:07 fantasy should be fantasy, it should be a place where there doesn't -have- to be sexism, or bigotry, or any of that 02:34:32 ... if that makes any sense 02:35:18 it does 02:37:25 anyway I thought I'd pass on the link just because it came up in discussion earlier 02:37:39 i don't read enough fiction anymore to have opinions on whether I want to read about people like myself or different 02:37:54 yeah, no problem ^^ 02:38:02 I don't want to chastise you for posting them -_- 02:40:38 also I'm probably disillusioned by typical media portrayals so 02:41:51 ignore me <.< 02:46:59 I like characters like me 02:47:43 books about people who sit around reading are pretty boring imo, so fuck books about meoids 02:48:40 I like characters that are close enough to me to connect with, but are thrust into interest circumstances or in interesting worlds full of wonderful people, so they do more than sit around inside all day <.< 02:51:42 Huh. SGML had a predecessor. 02:52:31 well what else would it standard-generalize 02:52:57 Its precedessor was already Generalized 02:53:32 ah, a backronym 02:53:57 standard specialized markup language 02:54:21 ibm gml looks.....cute...... 02:55:57 ...IE is directly descended from Mosaic? 03:05:19 [About XMLHttpRequest] "This trivial mechanism was meant to be of little significance, merely an attempt to scratch an itch in the web-based version of Microsoft Outlook." 03:16:20 yep, haha 03:20:48 I suggested to my dad that online banking via app on phone may be more secure than via web, because of various web-specific issues that wouldn't occur in an app, but not sure if that's reasonable 03:21:53 Then you find out it's the bank server that's insecure 03:22:00 (it normally is) 03:25:38 * Sgeo wtfs at firefoxurl: 03:25:42 and cf: 03:26:23 Sgeo: you got your copy of Tangled Web? 03:26:44 kmc, yeah, have been reading it 03:26:51 cool 03:32:28 How many pages is the physical copy? Nook says it has 1382 pages but I saw someone else say something like 300 03:32:59 if nook is like my shitty phone ebook reader it has smaller pages 03:33:52 Fun fact: Nook pages don't correspond to page turns 03:36:00 yeah the physical copy is definitely not that many 03:36:08 300 sounds right 03:36:15 a 1300 page book about the web sounds terrifying 03:41:07 http:example.com/ 03:43:12 -!- TeruFSX has quit (Ping timeout: 256 seconds). 03:44:50 geez the white dwarf/black hole gamma ray burst paper is really cool. it's amazing how like, tidal stretching of a white dwarf can steal energy from its orbit, letting it be orbitally captured 03:51:19 http://www。example。com 03:52:37 IDEOGRAPHIC FULL STOP? 03:53:11 Book said that most modern browsers treat them identically to . in the hostname of the URL but not elsewhere in the URL 03:53:34 that... that's... that's really weird 03:54:34 Something to do with being easier to type on the Chinese keyboard 03:56:38 "In IDNA-aware (IDNA2003) applications, the "dot" character we see in domain names like www.example.com has several equals. Specifically the following characters are all equivalent under IDNA rules:" 03:56:41 huh 03:56:47 Thought it was just an arbitrary thing 03:59:41 http:\\example.com (won't work with Firefox probably) 04:00:02 it seems to work in chrome? 04:00:13 http:\\\\example\.com 04:00:47 Jafet, that one did not work for me in Chrome 04:01:07 Fiora, Chrome != Firefox 04:01:10 Isn't this part of the URI RFC, not the web standards...? 04:02:17 Chrome ≸ Firefox 04:02:59 that's quite a character 04:03:31 sorry, I was just trying in another browser... 04:04:02 ⋚ LESS-THAN EQUAL TO OR GREATER-THAN 04:04:09 For when you just don't know 04:04:18 beautiful. 04:04:36 i guess it says that you have an ordering on the objects? 04:06:47 "comparable to"? 04:07:18 right 04:07:26 except we need a pile of symbols for it ofc 04:07:42 http://example.com\@google.com/ 04:08:42 kmc, book seems to be out of date. It said that that would take me to example.com in browsers other than Firefox. In Chrome, I landed in Google 04:08:57 That got me to example.com in my chrome. 04:09:01 n/m 04:09:19 I think KDE tried interpreting it before sending it to Chrome 04:15:22 -!- ogrom has joined. 04:20:15 talking about a building in london "that's the gherkin" "no, what's it really called" "it's really called the gherkin" 04:20:20 pls confirm / deny, british ppl 04:20:31 i mean i think it has another name but 04:20:34 that's what people call it 04:24:20 30 St Mary Axe (informally also known as "the Gherkin" and previously the Swiss Re Building) 04:24:29 so, the Gherkin 04:28:24 I think zzo38 would not like this book 04:28:44 Why not? 04:28:54 "... built-in support for the gopher: scheme, one of the failed predecessors of the Web..." 04:29:09 http://gamasutra.com/view/news/190865/Peter_Molyneux_may_have_just_monetized_trolling.php molyneux 04:30:57 curiosity is amazing in that i guess people actually play it? 04:31:03 and pay money on it? 04:31:10 i dont understand anything 04:31:41 literally. adding a feature. to pay. to /reverse other peoples' progress/ 04:35:55 St Andrew Undershaft 04:50:51 -!- Lumpio- has quit (Ping timeout: 258 seconds). 04:54:11 kmc: also did you get to the snes coprocessor reverse engineering thing 04:54:19 um, since you read the gbc rom thing 05:07:58 not yet 05:28:14 -!- Lumpio- has joined. 05:37:44 -!- Bike has quit (Ping timeout: 256 seconds). 05:37:52 -!- Bike has joined. 05:44:11 -!- Bike has quit (Ping timeout: 256 seconds). 05:44:55 -!- augur has joined. 05:46:09 -!- Bike has joined. 05:55:54 -!- sebbu has quit (Read error: Connection reset by peer). 05:56:13 -!- sebbu has joined. 05:56:51 -!- sebbu has quit (Changing host). 05:56:51 -!- sebbu has joined. 05:57:38 -!- doesthiswork has joined. 05:59:07 -!- doesthiswork has quit (Quit: Leaving.). 06:32:02 -!- ogrom has quit (Quit: Left). 06:32:26 -!- ogrom has joined. 06:42:09 -!- lambdabot has quit (Remote host closed the connection). 06:46:15 -!- lambdabot has joined. 06:51:47 -!- ogrom has quit (Quit: Left). 06:56:24 -!- lahwran has changed nick to lahwran-. 06:56:25 -!- lahwran- has changed nick to lahwran. 08:04:15 -!- epicmonkey has joined. 08:04:43 -!- lambdabot has quit (Remote host closed the connection). 08:08:48 -!- lambdabot has joined. 08:08:58 -!- Bike has quit (Ping timeout: 256 seconds). 08:13:50 -!- nooodl has joined. 08:16:42 -!- Taneb has joined. 08:20:36 -!- nooodl has quit (Ping timeout: 256 seconds). 08:20:40 kmc, the crypto chaps have emailed me back 08:23:38 Random spurts of insomnia are fun. 08:25:43 -!- mnoqy has quit (Quit: hello). 08:30:38 -!- ais523 has joined. 08:40:50 -!- Zerker has joined. 09:03:15 -!- nooodl has joined. 09:51:06 -!- AnotherTest has joined. 09:51:21 Hello 09:52:52 hello 09:53:08 'Lo. 10:03:41 Hi 10:07:54 -!- DHeadshot has quit (Read error: Connection reset by peer). 10:07:59 -!- DH____ has joined. 10:10:23 Taneb: You should change xchat to use "nick: message" rather than "nick, message" 10:10:50 shachaf, a) why and b) I don't know how 10:11:15 (b is now incorrect) 10:11:16 a) because : is better and b) it's in the preferences somewhere 10:23:20 shachaf: shachaf: shachaf: shachaf: shachaf: [] 10:24:52 shachaf: is this better 10:26:47 I actually got shouted at for using colons on a different IRC-like system 10:26:48 A list of shachafs, eh 10:26:56 but that's because the default client uses colons to say who said a message 10:27:02 e.g. ais523: not 10:27:08 so talking to someone with colons looks like you're quoting them 10:27:11 Taneb: Yep. Thanks. 10:27:44 ais523: Different systems are different. 10:29:02 ais523: but that's because the default client uses colons to say who said a message | woe be to us with nonstandard IRC clients 10:29:17 Zerker: you quote with |? 10:29:38 what happened to quoting with " 10:29:43 When on a single line, yes 10:30:03 stuff here | separate stuff here 10:30:12 Zerker: is the analogy with pipe-lining a coincidence? 10:31:19 Not completely intentional, but it does somewhat fit the idea of "appending to this in the history, " 10:33:50 -!- carado_ has joined. 10:39:08 I used to use a ; -- it's a nice compromise, neither "the commists" nor "the coloners" like it. 10:42:07 ;//