00:06:05 -!- Tod-Autojoined has joined. 00:06:12 -!- TodPunk has quit (Read error: Connection reset by peer). 00:43:12 -!- augur has quit (Remote host closed the connection). 00:48:19 -!- zzo38 has joined. 00:48:50 I saw the message already 00:48:50 zzo38: You have 1 new message. '/msg lambdabot @messages' to read it. 01:00:03 Yes I know, I saw this message already. 01:09:16 -!- Tod-Autojoined has changed nick to TodPunk. 01:15:05 For some categories, can you have, a fully faithful functor from that category to the free category of a subset of that category's quiver 01:15:35 Does this have a shorter name? 01:16:38 And then, if you have the variant with cancelling, does that have another name? 01:22:30 -!- augur has joined. 01:30:51 hi zzo38 01:30:55 Hello 01:31:13 Do you know what I am meaning? 01:31:34 Nope. 01:31:52 Do you know about category theory? 01:31:57 Any idea why the BWTed version is significantly less compressible than the input in ? 01:32:03 zzo38: Not much. 01:35:00 shachaf: Does it depend what compression scheme? 01:35:24 In this case it's PNG (DEFLATE). 01:35:33 But every compression program I tried did better with the input. 01:41:30 -!- Patashu has joined. 02:20:31 -!- pikhq has joined. 02:20:43 -!- pikhq_ has quit (Ping timeout: 250 seconds). 02:22:31 What is the most number of times you have ever retreated in a single turn in Pokemon Card? (not counting cases in which your active pokemon is confused) 02:34:25 As far as I remember, the most I have done is two times, although I have made a puzzle requiring three times. 02:42:14 -!- variable has changed nick to const. 03:05:25 -!- itidus20 has changed nick to sa_nwonk_won_si. 03:06:08 -!- sa_nwonk_won_si has changed nick to sa_nwonk_won_si_. 03:07:03 -!- sa_nwonk_won_si_ has changed nick to itidus21. 03:36:07 zzo38: I think I've retreated hundreds of times in a turn, using two Pokémon with zero retreat cost, just because I could, not for any good reason 03:40:05 ais523: OK; but how many have you done for some good reason? 03:40:17 probably only one 03:41:30 I have done twice sometimes in order to remove the energy from some other card, which was sometimes useful. Have you ever played an evolution card but then never used any of the evolution card's attacks or powers? 03:42:09 ais523: Can you make up any Pokemon Card puzzle? I made two but I would like to know if you have any, too. 03:42:43 zzo38: not really, I'm not used to which cards are which and you wouldn't know the modern cards anyway 03:42:51 and I don't really play the card game, I'm more used to the video game 03:44:33 ais523: To make up the satisfactory puzzle, the cards don't matter as long as the old rules are used and all card texts are included. (Make up your own cards if you wish; I recommend naming them CUSTOM 1, CUSTOM 2, DARK CUSTOM 1; and then add levels if necessary for multiple different cards of same name) 03:44:50 does a Aperiodic finite state automaton mean that the graph is cycle free ? because any cycle would in theory create a period wouldn't it ? 03:45:34 ais523: Also, I made two puzzles only so far have you seen them or solved them yet? 03:45:42 oh, from wikipedia Equivalently, a graph is aperiodic if the greatest common divisor of the lengths of its cycles is one; 03:45:48 I don't understand why 03:46:12 not sure quite what "aperiodic" means in this context 03:46:25 ais523: the transition function is aperiodic 03:46:39 (a subset of DFAs) 03:46:58 aperiodic with what input? 03:47:06 given that it's finite, it's got to repeat eventually 03:47:36 ais523: tbh, I'm not fully certain 03:47:43 * const is going based off of wikipedia https://en.wikipedia.org/wiki/Aperiodic_finite_state_automaton 03:49:25 oh, follow the "aperiodic" link; it's talking about aperiodic monoids 03:50:00 right 03:50:09 I'm trying to understand that in terms of the graph of the DFA 03:50:56 ie, the wikipedia article is in term of group theory and I'm trying to understand in terms of a graph 03:51:14 the definition in terms of regular languages is interesting 03:51:25 sure, I'll take that 03:51:56 as far as I understand it, its 'any regular language that can be expressed without a *' but I have a feeling that isn't very technical 03:52:49 yes, because it allows the complement operation, and you can get infinite sets that way 03:52:57 ah 03:53:09 ais523: what is the definition in terms of regular languages ? 03:53:32 basically, any regular language that can be defined using only concatenation, alternation, and complements 03:53:53 ah 03:54:50 ais523: that is basically what I got from 'star free' 03:55:03 but good to know I understood it correctly :) 03:55:07 yep 03:55:13 I'm not sure complements are normally allowed in the definition 03:55:44 actually, they can't be 03:55:57 because union + compliment -> a much larger set 03:56:00 oh wait, thats for PDA 03:56:05 meh, they might be 03:56:07 * const can't remember 03:56:21 alternation = ? 03:56:56 normally we have union, concat, and star 03:57:06 union 03:57:13 ah 04:07:11 ais523: Do you know the answer to my question relating to category theory? Also, are you able to solve either of my Pokemon Card puzzles? 04:07:24 zzo38: I looked at them earlier, don't really want to look at them again 04:07:27 and probably not 04:07:55 -!- MDude has changed nick to MSleep. 04:12:38 -!- MSleep has quit (Ping timeout: 240 seconds). 04:32:06 -!- ellisonch has quit (Ping timeout: 246 seconds). 04:46:10 -!- Tod-Autojoined has joined. 04:48:17 -!- ellisonch has joined. 04:49:19 -!- TodPunk has quit (Ping timeout: 260 seconds). 05:22:32 -!- asiekierka has joined. 05:39:10 -!- Deewiant has quit (Ping timeout: 252 seconds). 05:39:36 -!- calamari has joined. 05:44:09 -!- Deewiant has joined. 06:46:52 -!- impomatic has quit (Quit: impomatic). 06:56:43 /win 23 07:18:15 ais523: what do you mean by alternation? 07:18:24 coppro: What is that? 07:19:36 zzo38, the thing starting with / is probably the command in coppro's client to switch to another ... thingy (channel or other thing, "window" I guess) 07:20:01 Seeing coppro use irssi and having a vague recollection that irssi does that seems to reaffirm my belief 07:20:17 /win some, /lose some. 07:20:30 It's short for /window 07:20:42 complements are usually not allowed in regexps, because the whole beautiful point is that out of building operations, intersection and concatenation emerge by magic. 07:21:14 irssi lets you type unambiguous prefixes of its commands. 07:21:26 Erm, no, that doesn't quite explain it. 07:21:42 Cause /n is /nicks, but there's more commands starting in n. 07:21:53 That's because /n is a (default) alias. 07:21:55 Erm, /names 07:22:15 But /win isn't one, presumably because it doesn't need to be. 07:22:45 So, unambiguous prefixes plus some aliases. 07:22:49 Kay, actually makes sense. 07:23:42 Sadly, you can't use unambiguous prefixes of aliases. (Well, maybe it's not that sad.) 07:23:45 But there is a ASCII DELETE sign before the slash 07:25:40 Shame that's not getting rendered nicely here. 07:25:57 Utterly invisible, in fact. 07:26:02 hi pikhq 07:26:10 I see a something there 07:26:11 Hi, shachaf. 07:26:17 007F? 07:26:27 Sgeo: Yes 07:26:29 Either that or 667F, anyways 07:26:37 * Sgeo wonders what 667F is 07:26:41 The ASCII DELETE code is 007F 07:27:18 And U+667F is 晿 07:27:46 Why doesn't my listofUnicodecharacters have U+667F? 07:27:53 As well as a bunch of others. 07:28:08 Also, why are my fonts broken? 07:28:14 Probably omits the CJK space for convenience. 07:28:15 They don't show important characters like ಠ. 07:28:34 Well, it has *some* CJK characters. 07:28:47 Ah, looks like it's mostly radicals and strokes and such. 07:28:48 i,i unicode big indian 07:29:04 I need to stop reading the Fark Politics tab 07:29:19 oklopol: alternation = A or B 07:29:23 I am sleep deprived. It is 1:30. I see no connection between these two facts. :P 07:30:45 i,i,i 07:32:02 kmc: Now I want to start a store selling various mind-altering substances just so I can call it the Psychedeli. 07:32:11 Hmm, apparently that name is taken. Never mind. 07:34:31 I like to think of "I,I" as an owl face. 07:36:42 me too! 07:37:34 Which one? 07:37:41 owl 07:37:45 Oh, excellent. 07:37:56 Does it still work with lower-case 'i's? 07:38:00 I guess it sort of does. 07:38:09 i'm not sure about an owl specifically 07:38:11 but it's a face anyway 07:40:08 ı,ı 07:41:06 pikhq: Is it daylight saving time in your area? 07:41:17 zzo38: Unfortunately! 07:41:58 pikhq: That is why you are sleep deprived, then. 07:42:26 DST initiated weeks ago. 07:42:45 I still hate the misanthropic bastards who keep it alive, mind you. 07:43:01 I also don't like daylight saving time 07:43:56 What would happen if everyone just used 12:00 to mean GMT midnight 07:44:14 No more fiddling with timezones, I mean 07:44:48 We'd see a sudden influx of unicorns farting rainbows, and manly men weeping tears of joy. 07:44:58 Sgeo: Then it may correspond approximately to the hour angle of the sun, I guess (hour angle of sun is 00:00 at solar noon) 07:45:21 Assuming by GMT you actually meant UTC. 07:46:11 It corresponds to the Greenwich hour angle, not the local hour angle anymore 07:46:12 I'm afraid my computer hates mean solar time, regardless of the meridian used. 07:46:28 pikhq, I'm somewhat uncertain as to the difference? Something to do with leap seconds? 07:46:56 Sgeo: GMT is defined as the mean solar time at Greenwich. 07:46:57 Timekeeping on computer should be signed 64-bit UNIX time in my opinion. 07:47:09 Ah 07:47:26 Uh, wait 07:47:34 What's UTC then? 07:48:08 UTC is defined by TAI, International Atomic Time, with leap seconds to keep it within a second of the mean solar time at 0° longitude. 07:48:38 Ah 07:49:09 Unlike GMT, UTC has the nice property that one second is an SI second, not a 60th of a 60th of a 24th of the day, whatever the hell that ends up actually being at the time. 07:49:35 Makes sense 07:49:47 And I am aware that a second is defined in terms of ... some atomic thing 07:49:52 Yes, the SI second is better 07:49:57 Something to do with cesium, iirc? 07:50:03 SI units are usually better in general 07:50:08 Sgeo: Yes 07:51:15 It's the period of time from some number of cycles of the light emitted from cesium during one of its electron transitions. 07:57:25 Were you looking for setup program for Visgopher? I do have it available now. 08:11:08 If "listofUnicodecharacters" equals UnicodeData.txt, "[t]here are nine special ranges of characters that are represented only by their start and end characters, since the properties in the file are uniform, except for code values (which are all sequential and assigned) -- CJK Ideographs (U+4E00 - U+9FA5)" 08:19:53 -!- asiekierka has left ("Wychodzi"). 08:35:36 -!- jix has joined. 09:00:51 shachaf: there is already a stoner-themed sandwich shop chain 09:01:28 http://chebahut.com/ 09:02:10 http://azdailysun.com/news/local/crime-and-courts/sub-shop-driver-hits-pot-hole/article_eb8e9f25-ed3e-551a-8bad-64638cd94d2c.html 09:02:48 * shachaf sighs. 09:02:57 whoa, dude 09:03:00 "sighs" = "size" 09:04:34 zzo38: what do you think of Random Standard Time? it's a local dialect of EST where 00:00 through 05:59 are spelled as 24:00 through 29:59 09:05:09 (I am not sure if RST switches to EDT or if it's called Random Daylight Time then) 09:05:12 kmc: What is the purpose of that? 09:05:33 to shift the day rollover to a time when people are less likely to be awake 09:05:57 I was thinking that might be a reason 09:06:12 to avoid confusion between "day" as an aligned 24h interval and "day" as a contiguous period of wakefulness 09:06:39 sighsof(shachaf) 09:07:09 Well, use it if it helps you; because of the way the time is written, it is clear what is meant and should not result in anything ambiguous. You simply add hour after midnight same way both ways 09:09:40 kmc: That sounds like a good name for a website where I list C-related annoyances. 09:11:11 yeah 09:11:46 -!- oerjan has joined. 09:11:56 Julian Assange has a talk show now and it's on Hulu 09:12:20 kmc: Are you back in MA? 09:12:39 not yet 09:12:56 flight tomorrow afternoon 09:13:03 Is Californiamusicthing over? 09:13:08 yeah 09:13:11 Was it good? 09:13:25 yes 09:13:44 getting home from it: car train bus train train cab bus train train plane bus train 09:13:47 not optimal 09:13:58 I do not recollect ever having used the word "yeah". Odd. 09:14:20 i saw Godspeed You! Black Emperor live 09:14:26 it is hard to tell when the soundcheck ends and the set begins 09:16:20 I have the feeling the ptrace gremlins and their time machine are making the API worse every time I look at it. 09:16:39 there were a lot of good shows 09:16:43 The Black Keys were excellent 09:17:18 Sometimes I wish I didn't not-stand almost all music with drums in the background. 09:17:33 (Other times I feel smugly superior about it, because if you don't enjoy something, then why not?) 09:18:07 why not milk it for some smug superiority, you mean? 09:18:18 Right. 09:18:35 If I don't like it then it's obviously bad, and people who do like it are obviously bad people. 09:19:13 that's how it works 09:23:28 in this episode, Julian Assange and his guest prank call David Horowitz at home 09:23:40 and he repays them by unleashing a stream of weapons grade crazy 09:26:00 -!- calamari has quit (Quit: Leaving). 09:28:41 and assange just watches with this face like, "trolled" 09:29:37 i would repeat some of it here but i think it would count as trolling-by-proxy 09:31:00 -!- oerjan has quit (Quit: Lost terminal). 09:45:14 this is really funny if you ignore the fact that Horowitz is serious and there are millions of people who agree with him 09:50:04 Is there an actual spec for D? 09:50:47 Who is Horowitz and what are these prank calls about? 09:52:09 it's not actually a prank call 10:06:03 -!- cheater_ has joined. 10:06:50 -!- derdon has joined. 10:09:14 -!- cheater has quit (Ping timeout: 272 seconds). 10:22:01 -!- zzo38 has quit (Quit: I am not actually a prank call.). 11:02:34 -!- ais523 has quit (Remote host closed the connection). 11:32:56 -!- nortti has joined. 11:39:36 -!- derdon has quit (Remote host closed the connection). 11:47:53 -!- TeruFSX has quit (Ping timeout: 260 seconds). 11:48:58 -!- Phantom_Hoover has joined. 12:14:49 @ping 12:14:50 pong 12:36:20 -!- augur has quit (Remote host closed the connection). 13:14:26 -!- augur has joined. 13:16:57 -!- nortti has quit (Quit: leaving). 13:21:23 -!- Madoka-Kaname has quit (Quit: Hug~♪). 13:21:29 -!- Madoka-Kaname has joined. 13:21:29 -!- Madoka-Kaname has quit (Changing host). 13:21:29 -!- Madoka-Kaname has joined. 13:21:55 -!- Madoka-Kaname has quit (Client Quit). 13:27:18 -!- elliott has joined. 13:29:11 19:13:35: I slept for 17 hours. 13:29:12 19:14:18: ion: hey i did that a few weeks ago 13:29:12 19:14:27: 18 is my record 13:29:20 ion: oklopol: mine's 21, iirc 13:34:09 07:45:21: Assuming by GMT you actually meant UTC. 13:34:12 pikhq: GMT is UTC these days. 13:34:18 07:43:56: What would happen if everyone just used 12:00 to mean GMT midnight 13:34:18 07:44:14: No more fiddling with timezones, I mean 13:34:20 It would be terrible. 13:34:29 07:46:28: pikhq, I'm somewhat uncertain as to the difference? Something to do with leap seconds? 13:34:29 07:46:56: Sgeo: GMT is defined as the mean solar time at Greenwich. 13:34:36 pikhq: Sgeo: No, it is not. 13:37:54 `addquote i saw Godspeed You! Black Emperor live it is hard to tell when the soundcheck ends and the set begins 13:38:04 846) i saw Godspeed You! Black Emperor live it is hard to tell when the soundcheck ends and the set begins 13:39:35 -!- MDude has joined. 13:41:48 -!- Tod-Autojoined has changed nick to TodPunk. 14:03:18 Ahahahahahaha what 14:16:24 -!- yasar has joined. 14:26:31 -!- nortti has joined. 14:29:16 -!- nortti has quit (Client Quit). 14:29:32 -!- nortti has joined. 14:32:42 -!- ellisonch has quit (Read error: Connection reset by peer). 14:32:47 @where fizzie 14:32:48 `cat oklopol 14:32:50 @where fizzie 14:33:00 -!- ellisonch has joined. 14:33:32 Who's been botlooping? 14:34:55 `rm oklopol 14:34:59 No output. 14:35:02 @where sdlkfjdsf 14:35:02 I know nothing about sdlkfjdsf. 14:35:06 @where+ fizzie I know nothing about fizzie. 14:35:06 I will remember. 14:35:25 @where elliott 14:35:26 elliott is thumbing around Northumberland 14:35:36 @where+ elliott I know nothing about elliott. 14:35:36 Done. 14:53:06 @where Phantom_Hoover 14:53:06 I know nothing about phantom_hoover. 14:53:14 HAHAHA MY SECRET REMAINS SAFE 15:01:26 ais523: a.k.a. union 15:01:42 i agree 15:02:20 i don't have any secrets 15:02:25 ask me anything 15:02:31 oklopol: what's a robot 15:02:42 im a robot 15:02:43 hi 15:02:45 ^ 15:02:54 http://stackoverflow.com/questions/10306696/what-does-parse-error-with-mean 15:02:54 http://stackoverflow.com/questions/10303904/why-is-there-a-parse-error 15:02:55 sigh 15:03:06 he's not just a robot, he's also the definition of robot 15:03:23 "Will DJGPP run on my brand-new Acme i986DX7/900 PC with a SCSI-III 10-Terabyte disk drive under MulticOS/42 v7.99 operating system?" 15:04:21 elliott: why would you learn the syntax of a language when there's forums though 15:04:40 oklopol: that's not the worst part, the worst part is that the exact same person reposted the exact same question /after getting answers/ 15:04:48 and after responding to those answers 15:05:01 oh i assumed i was seeing things 15:05:12 i do that a lot 15:05:26 do or think you do? 15:06:21 no 15:06:40 okay. 15:07:33 as a set, the sense that answer makes does not contain a point which, as a singleton set, is open. 15:07:49 s/set/topological space/ 15:12:56 omg, dude on numb3rs solved the riemann hypothesis 15:13:13 -!- augur has quit (Remote host closed the connection). 15:13:14 dudde. that's cool it's hard. 15:16:29 After the 17-hour sleep, i was awake for a few hours and then slept for 12 hours. ಠ_ಠ 15:16:44 :D 15:16:45 awesome 15:16:52 -!- augur has joined. 15:17:16 do you do that a lot? it could be a sign of you being a sleepyhead. 15:22:12 so these duddes want this duddes proof of the riemann hypothesis so they could factorize large numbers and break encryptions. 15:22:26 i love how silly that is 15:24:22 i guess the fact that they now know that things based on the riemann hypothesis actually work means they can convince their hacker bosses to start using these algorithms instead of the known ones 15:24:52 oklopol, someone proved it? 15:25:02 yes 15:25:06 Or did someone "prove" it. 15:25:09 although there is some relevant context 15:25:12 that you may be missing 15:25:25 Oh. 15:25:27 Yes, there is. 15:25:59 What if the proof is in a proof checker and it does efficient factorisation as a crucial step? 15:27:07 and he tells a guy at american journal of number theory that he has an "almost finished" proof, the journal guy is all like omgomgomg i have to see this, finally we have the answer by this dude who couldn't finish his phd, I HAVE TO SEE THIS. 15:27:59 Does he actually outline the proof or anything. 15:28:20 Or is he just like "guys guys guys I totally have a proof you can trust me I'm from TV". 15:28:25 well the journal guy didn't mention getting any concrete proof 15:28:53 ...that there's proof 15:29:37 "Mathematician announces proof that he has a proof of the Riemann hypothesis" 15:30:15 lol 15:30:50 "Proof of proof of Riemann hypothesis declared 'flawed', 'bullshit'." 15:31:06 A ZKP of the Riemann hypothesis would be kind of a dick move X-D 15:31:18 X = mathematician announces proof that he has a proof of X 15:31:39 Gregor: don't you just mean a non-constructive proof 15:32:11 ZKP? 15:32:24 No, he doesn't, because only constructivists would care then. 15:32:28 zero-knowledge proof i think 15:32:28 elliott: No, I mean if said mathematician had a way of proving that he had the proof, without providing the proof (which is probably not meaningful) 15:32:33 Gregor: oh 15:32:34 Phantom_Hoover: uhhh 15:32:35 Yeah, zero-knowledge proof is what I meant. 15:32:42 oklopol: Never happened before. 15:32:46 Phantom_Hoover: you realise constructive proofs are useful for more than ideology right 15:32:46 i.e. 15:32:49 they give you an algorithm 15:32:55 Yes. 15:33:15 a non-constructive proof of P=NP would be so anticlimatic 15:33:18 An algorithm is... hardly useful for the Riemann hypothesis. 15:33:19 we were reading this article where we prove that some things are decidable 15:33:23 and the proof is fine and well 15:33:28 Phantom_Hoover: you can use it to factorise numbers!! 15:33:29 and then i ask, erm so what's the algo 15:33:33 elliott: Idonno, it would spark a hunt for a constructive proof. 15:33:34 We can /already/ calculate non-trivial zeroes to our satisfaction. 15:33:35 *numb3rs 15:33:35 and we had no idea. 15:33:50 although we then extracted it ofc 15:34:05 elliott: Also, "anticlimatic" means "against the climate" 15:34:18 Yes. 15:34:32 Also what about my nonconstructive proof of the existence of a proof or disproof of the Riemann hypothesis? 15:34:40 elliott: So, a non-constructive proof of P=NP would destroy the environment? 15:34:47 Yes. 15:35:11 Phantom_Hoover: that's useful nonconstructively 15:35:16 it proofs ~(~proof /\ ~disproof) 15:35:18 *proves 15:35:28 erm 15:35:30 *useful constructively 15:35:40 omg, his proof of riemann hypothesis was wrong 15:35:45 realism 15:36:00 Should've totally used my proof. 15:36:06 apparently it's too hard to even claim to have a correct proof in a tv show :D 15:36:09 (FWIW I'm not totally sure that it's valid.) 15:36:24 Phantom_Hoover: uh what is your proof then 15:36:33 what are you even proving, is it just "RH isn't independent of ZFC" 15:36:37 because even i can prove that 15:36:45 (It basically relies on zeta(z) = 0 being decidable for all z.) 15:36:52 (I don't know enough analysis to be sure of that.) 15:36:57 is decidability relevant? 15:37:11 you don't need decidability to condition on an equality in ZFC 15:37:14 Existance of a proof or disproof is equivalent to decidability? 15:38:11 Phantom_Hoover: how do you enumerate the complex numbers? 15:38:14 decidability of what 15:38:37 A thing (wait this is decidability I'm talking about right not something else). 15:38:46 oklopol, do you have to? 15:39:15 Phantom_Hoover: hmm perhaps just a dense subset since it's analytic 15:39:30 Again, what does density have to do with it? 15:39:47 Phantom_Hoover: a thing?? 15:39:54 i don't see what you're talking about at all 15:39:58 well aren't you talking about checking numbers z and evaluating zeta of z to some precision? 15:40:35 Well no, I just don't actually /know/ how you decide whether zeta(z) = 0 for arbitrary z. 15:40:38 i mean 15:40:43 I assume there's some fairly consistent procedure. 15:40:44 assume RH is independent 15:41:09 how do you give the z as input 15:41:11 ? 15:41:15 a non-trivial zero in ZFC+RH must be a zero in ZFC+~RH because the zeta function is the same in both, q.e.d. 15:41:16 actually 15:41:26 that doesn't hold, because the value of the zeta function at that zero could be independent 15:41:34 which would be fun 15:41:58 Yes, this is what I'm talking about. 15:42:11 oklopol, I don't know, throw a dart at a dartboard and map its position to C?? 15:42:27 sounds like you'll get a computable number? 15:42:50 Oh yeah, I forget how the reals ruin everything. 15:42:55 proving the hypothesis in a measure 0 set. 15:42:57 yay. 15:43:22 I KNEW IT 15:43:47 well 15:43:54 just take the reals as countable 15:44:00 job done 15:44:08 take a countable model of ZFC 15:44:21 There exists a model of ZF¬C in which real numbers are a countable union of countable sets. 15:44:26 just do the proof in ZF~C 15:45:00 (the countable sets are {3,4}, {4,5,6,7,8}, {nullity, 2nullity, 3nullity}, and {8}) 15:45:41 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .). 15:56:21 -!- augur_ has joined. 15:56:31 -!- augur has quit (Read error: Connection reset by peer). 16:07:53 -!- KingOfKarlsruhe has joined. 16:24:34 "and here less is considered to be more than more" 16:27:15 -!- boily has joined. 16:34:29 > LT < GT 16:34:30 True 17:04:03 -!- elliott has quit (Remote host closed the connection). 17:08:41 -!- nortti has quit (Quit: leaving). 17:11:19 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.2 [Firefox 12.0/20120420145725]). 17:12:32 -!- elliottasdf has joined. 17:12:34 -!- elliottasdf has changed nick to elliott. 17:12:36 -!- elliott has quit (Changing host). 17:12:36 -!- elliott has joined. 17:34:11 -!- spaceships has joined. 17:34:39 -!- impomatic has quit (Quit: impomatic). 17:45:56 elliott is spaceships?? 17:46:17 hi spaceships 17:46:18 `welcome spaceships 17:46:22 spaceships: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page 17:48:16 http://roguebasin.roguelikedevelopment.org/index.php/Names_from_a_high_order_Markov_Process_and_a_simplified_Katz_back-off_scheme what a title 18:12:17 hmm, http://stackoverflow.com/questions/163026/what-is-your-least-favorite-syntax-gotcha has been at 9 delete votes for the past, like, week 18:14:42 elliott, I've seen similar questions that were interesting 18:14:59 I doubt it, all those questions are ancient and crap 18:15:08 like the ridiculous "favourite programmer cartoon" one 18:22:00 -!- nortti has joined. 18:23:30 -!- augur_ has changed nick to augur. 18:24:21 have you seen zzo38 lately? 18:25:20 he comes in waves 18:25:47 ? 18:26:21 I don't understand 18:27:27 zzo38 is sometimes away for a while 18:27:31 and then back again 18:29:28 He's like the tide. 18:31:36 goes up and down 2 times per day? 18:32:50 The zzo wave equation. 18:42:27 or is zzo38's height affected by moon? 18:43:41 both 18:45:24 Technically speaking, all of our heights are affected by the moon, just not very much. 18:59:30 Also affected by our velocities, as well as that of anyone observing. 19:00:09 * elliott wonders whether Lancycummins is a spambot. 19:02:39 * Gregor wonders whether elliott is a spambot. 19:02:45 occasionally he is like a superwave 19:03:37 Gregor: Yes. 19:04:05 fizzie: BAN 19:09:04 -!- Foggalong has joined. 19:10:16 -!- Foggalong has quit (Client Quit). 19:16:36 -!- Foggalong has joined. 19:16:36 -!- Foggalong has quit (Client Quit). 19:20:30 -!- Foggalong has joined. 19:20:45 -!- TheFogg has joined. 19:20:45 -!- TheFogg has quit (Client Quit). 19:23:09 -!- TheFogg has joined. 19:23:22 -!- TheFogg has quit (Client Quit). 19:23:39 -!- TheFogg has joined. 19:23:39 -!- TheFogg has quit (Client Quit). 19:24:29 -!- TheFogg has joined. 19:24:39 -!- TheFogg has quit (Client Quit). 19:31:54 -!- azaq23 has joined. 19:32:02 -!- azaq23 has quit (Max SendQ exceeded). 19:33:19 -!- oerjan has joined. 19:34:12 http://wikimediafoundation.org/wiki/Terms_of_Use_%282012%29/en "This is a human-readable summary of the Terms of Use." 19:35:57 -!- Ngevd has joined. 19:36:06 Hello! 19:36:29 http://wikimediafoundation.org/wiki/Terms_of_Use_%282012%29/fi "T�m� on helposti luettava yhteenveto k�ytt�ehtojen sis�ll�st�." 19:36:55 what is the world coming to 19:37:57