00:01:07 00:01:20 I don't know 00:01:37 I don't know everything! Didn't you know that? 00:02:03 no 00:02:11 Are you sure? 00:13:31 http://www.linuxbsdos.com/2011/12/17/pear-os-linux-panther-3-review/ 00:13:36 Well, I'm "impressed" 00:16:00 Soooooooooo, think totally different by imitating the most abysmally bad UI available on the market? 00:16:01 So good. 00:18:22 Imitating it poorly, even. 00:19:58 Gregor: So "funner". 00:20:02 ....OS X's interface is bad? 00:20:21 That wasn't really what bothered me >.> 00:20:36 Just the ... issues, for something that isn't really all that impressive 00:25:05 Yeah, I think it's going to be months before the IOCCC high wears off. 00:25:11 My code hasn't even been published yet. 00:25:13 Maaaaaaaan. 00:25:21 Life. Awesomeness. Life is awesomeness. 00:27:55 Gregor, what does your IOCCC code do? 00:28:21 Taneb: it's a portable JIT 00:28:39 JIT? 00:29:52 What's a JIT? 00:30:20 just-in-time compiler 00:30:34 Cool, for what language? 00:30:45 it was a simple esolang, but not BF 00:30:46 I forget which 00:31:11 Wasn't it dc? 00:31:21 Which I suppose counts as an esolang. 00:31:40 I don't think so 00:31:41 but I'm not sure 00:31:44 I may recall worng; there were so many suggestions. 00:32:06 "Most surprisingly portable 00:32:08 Gregor Richards - JIT dc" 00:32:35 ah, I see 00:35:49 Well, goodnight 00:35:50 -!- Taneb has quit (Quit: Leaving). 00:38:29 Gregor: Thanks to the Law of Conservation of Happiness, the more you enjoy it, the more the non-winners (and non-participants) feel bad. 00:38:58 * Gregor reappears. 00:39:03 Yes, it was for dc. 00:39:05 FOR REASONS. 00:39:14 fizzie: I think it's well established that I'm a terrible human being, so that's fine by me. 00:47:14 I am sorry I am late. 00:49:42 Now that I made Haskell extensible-data package, and then I could make package for trigger events on a stack, similar to Magic: the Gathering, with static effects and so on, where changes are recorded according to the effects on the stack, which can in turn trigger other ones and so on. 00:52:12 So, updates on elliott. He's quite good at walking now, and he can even say a few words. 00:52:45 fizzie: so, the only way to make other people happier is to suffer yourself? 00:53:01 This explains why the Sufferer had all those followers... 01:19:44 -!- calamari has joined. 01:25:03 0_0 01:45:01 -!- augur has quit (Remote host closed the connection). 01:49:41 -!- derdon has quit (Remote host closed the connection). 02:01:06 -!- calamari has quit (Quit: Leaving). 02:06:51 -!- Vorpal has joined. 02:10:18 I am not exactly sure what this kind of data structure should be called 02:14:11 -!- calamari has joined. 02:14:14 j #kubuntu 02:14:17 argh 02:14:38 ahh the system tab ate the slash 02:42:46 -!- Vorpal has quit (Ping timeout: 276 seconds). 02:50:24 What is a system tab and how it ate the slash? 03:46:34 freenode 03:48:56 OK 03:54:05 -!- augur has joined. 03:56:22 "If you've tried KDE and didn't like it, it was probably on a distro which didn't give it as much love and attention as OpenSUSE does." 03:56:27 This makes me want to try OpenSUSE 03:56:48 Especially because the main reason I switched away from KDE some time ago was because KDE applications were crashy for me 03:56:54 On Kubuntu 03:57:59 I switched away from KDE because I liked 3.x, not 4.x. :) 03:59:06 New in version 0.2.1 of Hampp: Wildcard import/wildcard includes. Wildcard includes are sorted in alphabetical order like in Icoruma; order is irrelevant for imports 03:59:41 I don't think I've really played with 4.x that much 04:00:08 I think I did touch it in my UNIX class the other day (We all play with UNIXes in VMs, and keep a log of what we do to it) 04:00:32 Officially me and my partner in the class are using Linux Mint, but on the side I tried other stuff, don't remember which one had KDE 04:03:16 -!- zzo38 has set topic: putStr "House of -e^(pi*i) IOCCC Winners! | Iuckqlwviv Kjugobe was here. | This topic message is in Chinese when you are not paying attention, and German when you are; it seems English because you are tricked! | http://codu.org/logs/_esoteric/". 04:04:40 Now these topic message are better????!!!!?!?!?!?!!!?!???!!!!??!?!?!??!???!?!?!??..!?!?..!?..?..!!..!!!.!?!.? 04:05:16 * Sgeo hits zzo38 with an interroban 04:05:19 interrobang 04:05:35 I cannot type Unicode on IRC so I typed it like that instead. 04:05:38 Although interroban is a rather inquisitive way to ban someone from an IRC channel, I guess 04:11:08 -!- ion has set topic: putStr "House of −e^(π·i) IOCCC Winners! | Iuckqlwviv Kjugobe was here. | This topic message is in Chinese when you are not paying attention, and German when you are; it seems English because you are tricked! | http://codu.org/logs/_esoteric/". 04:17:45 I switched away from KDE because I liked 3.x, not 4.x. :) // ditto 04:17:55 ion: Thanks, I was too lazy to font it up properly X-D 04:21:06 -!- sebbu2 has joined. 04:21:06 -!- sebbu2 has quit (Changing host). 04:21:06 -!- sebbu2 has joined. 04:21:57 -!- Sgeo has quit (Ping timeout: 240 seconds). 04:22:12 -!- itidus20 has joined. 04:22:32 > exp (pi * sqrt (-1)) + 1 :: Complex CReal 04:22:33 0.0 :+ 0.0 04:24:21 -!- SimonRC has quit (Ping timeout: 240 seconds). 04:24:27 -!- sebbu has quit (Ping timeout: 244 seconds). 04:24:51 -!- itidus21 has quit (Ping timeout: 240 seconds). 04:25:29 -!- augur has quit (Ping timeout: 244 seconds). 04:26:54 -!- augur has joined. 04:30:42 -!- SimonRC has joined. 04:33:28 -!- Frooxius_ has joined. 04:35:28 -!- Frooxius has quit (*.net *.split). 04:35:28 -!- fungot has quit (*.net *.split). 04:35:39 -!- Frooxius_ has changed nick to Frooxius. 04:49:26 -!- Sgeo has joined. 05:13:41 -!- TeruFSX has joined. 05:43:58 From this information so far, can you figure out my godfather's middle name? 05:52:34 * Sgeo looks at XenClient longingly 05:53:06 * Sgeo wonders if there are any Free Software versions of the same concept 06:03:48 -!- oerjan has joined. 06:04:31 finally a sensible topic! 06:18:05 So, you think we did it good job this time? 06:18:30 yep! 06:20:35 I have some idea make some kind of mathematical data structure in Haskell, similar to the stack in Magic: the Gathering, with triggers and so on, but which also records changes as well; but what would such things be called? 06:22:39 Is the topic message going to trick you? 06:22:57 From this information, can you figure out my godfather's middle name? 06:23:10 no. 06:23:11 Do you know Iuckqlwviv Kjugobe? 06:23:40 oerjan: No to which questions, do you mean all four? 06:23:53 that's an exercise for the reader. 06:23:57 -!- kmc has quit (Ping timeout: 240 seconds). 06:24:03 although it was really about your godfather. 06:24:25 -!- kmc has joined. 06:24:48 I doubt anyone can figure out my godfather's middle name from this; I do not even know anything about my godfather 06:52:44 -!- MoALTz has quit (Ping timeout: 248 seconds). 07:00:20 -!- MoALTz has joined. 07:35:03 -!- zzo38 has quit (Remote host closed the connection). 08:20:32 -!- calamari has quit (Quit: Leaving). 08:45:06 -!- monqy has quit (Quit: hello). 10:55:51 -!- oerjan has quit (Quit: leaving). 11:00:17 -!- Frooxius has quit (Ping timeout: 248 seconds). 11:34:13 -!- sebbu2 has changed nick to sebbu. 11:37:17 -!- Vorpal has joined. 12:11:19 -!- Frooxius has joined. 12:30:33 -!- Taneb has joined. 12:30:41 Hello! 12:55:49 I've got a book on Fermat's Last Theorem. 12:55:53 AND I WILL READ IT 12:56:00 i read one when i was a kid 12:56:14 (the proof was not in there, just the history) 12:58:43 Fermat made a marginal contribution to the theorem. 12:58:55 höhöhö 13:01:03 Actually, today a relative gave me a whole bunch of books on maths 13:02:08 -!- Frooxius has quit (Ping timeout: 260 seconds). 13:02:53 were there like actual math books? 13:03:02 or that kind of stuff 13:04:17 I don't think they're like exersize or text books 13:05:07 well what size are they then? 13:05:26 but yeah i read a lot of that kind of stuff as a kid 13:05:29 Varies, from pocket-size to hardback size 13:05:53 okay. most of my books are exersize. 13:16:15 -!- Frooxius has joined. 13:31:34 taneb: http://heh.fi/tmp/fermat 13:32:52 MUSHROOM SANDWICH TIME 13:37:19 -!- Taneb has quit (Ping timeout: 245 seconds). 13:49:37 -!- hagb4rd2 has quit (Ping timeout: 240 seconds). 13:50:53 -!- Taneb has joined. 13:53:51 -!- Taneb has quit (Client Quit). 13:54:11 Yes, I'll tell you, I'll tell why I'm lying here, but God forgive me, and God help us all, because you don't know what you ask of me. 14:17:03 And that's the story of how kmc killed a room full of strangers. THE END. 14:25:32 No moral. 14:30:22 Morals are for pussies. 14:31:36 kmc later died of natural causes, finally bringing closure to the families of his victims. 14:34:32 As kmc was over six hundred years old at the time, the immediate families were all dead, so there really wasn't much closure to be had. 15:43:17 -!- Slereah has joined. 16:01:38 -!- azaq23 has joined. 16:01:47 -!- azaq23 has quit (Max SendQ exceeded). 16:02:06 -!- azaq23 has joined. 16:13:03 -!- Taneb has joined. 16:31:38 -!- Taneb has quit (Quit: Leaving). 16:33:58 -!- Frooxius_ has joined. 16:34:40 -!- Taneb has joined. 16:35:03 -!- Frooxius has quit (Ping timeout: 260 seconds). 16:35:07 -!- Frooxius_ has changed nick to Frooxius. 16:36:27 -!- Frooxius has quit (Client Quit). 16:55:38 -!- oerjan has joined. 17:03:34 -!- Frooxius has joined. 17:11:59 Tootoot222: so.... you haven't learned anything. good. 17:12:09 OH GOD MY OLD DESKTOP HAS OLD THINGS ON IT 17:12:12 NOSTALGIA. ;_; 17:15:49 wow I'm so bad at linux 17:16:15 -!- Gregor has set topic: putStr "House of −e^(π·i) IOCCC Winners! | How do I Linux!^H? | This topic message is in Chinese when you are not paying attention, and German when you are; it seems English because you are tricked! | http://codu.org/logs/_esoteric/". 17:35:34 -!- Phantom_Hoover has joined. 17:37:02 -!- monqy has joined. 18:05:51 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 18:07:25 -!- Taneb has quit (Read error: Operation timed out). 18:10:47 -!- Phantom_Hoover has joined. 18:11:26 -!- oerjan has quit (Quit: Good night). 18:11:43 -!- calamari has joined. 18:17:51 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds). 18:20:59 -!- Phantom_Hoover has joined. 18:23:25 -!- Phantom_Hoover has quit (Client Quit). 18:23:38 -!- Phantom_Hoover has joined. 18:46:47 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds). 18:48:41 -!- Phantom_Hoover has joined. 19:03:38 -!- hagb4rd has joined. 19:09:26 -!- calamari has quit (Quit: Leaving). 19:09:48 -!- calamari has joined. 19:11:17 -!- calamari has quit (Client Quit). 19:11:38 -!- calamari has joined. 19:11:57 -!- calamari has left. 19:12:34 -!- calamari has joined. 19:14:58 -!- tzxn3 has joined. 19:18:49 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds). 19:22:27 -!- Phantom_Hoover has joined. 19:22:49 -!- Frooxius has quit (Ping timeout: 260 seconds). 19:44:02 -!- derdon has joined. 19:55:34 -!- Frooxius has joined. 20:04:41 ais523, wake up?? 20:04:42 Phantom_Hoover: You have 3 new messages. '/msg lambdabot @messages' to read them. 20:07:14 Phantom_Hoover: I'm here… 20:07:29 The ominous …. 20:10:08 "We've traced the ais523! He's on the floor below you!" But it was too late. 20:15:20 I'm confused, now. Shouldn't something be happ... ohhhh, it's about the waikiki again? 20:38:59 -!- Taneb has joined. 20:39:04 Hello! 20:39:34 hi 20:52:59 -!- Phantom_Hoover has quit (Quit: Leaving). 20:53:10 -!- Phantom_Hoover has joined. 20:53:10 -!- Phantom_Hoover has quit (Changing host). 20:53:10 -!- Phantom_Hoover has joined. 20:53:19 -!- zzo38 has joined. 20:53:39 To implement ZOMBIE in Haskell, you'd use... System.Random and Control.Concurrent, for a start 20:55:27 * Sgeo looks at Factor for some reason 20:56:28 Factor? 20:56:58 http://factorcode.org/ 20:57:08 It's like 3 is a factor of 6. 20:57:18 $ factor 6 20:57:18 6: 2 3 20:57:19 See. 20:57:43 Kjugobe left so soon? 21:09:02 -!- jix_ has changed nick to jix. 21:38:40 -!- Phantom_Hoover has quit (Quit: Leaving). 21:38:53 -!- Phantom_Hoover has joined. 21:42:10 -!- damageinc has joined. 21:42:25 hi 21:44:24 `@ damageinc ? welcome 21:44:34 damageinc: 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 21:45:16 im not clickin any links 21:45:35 Ohhhhhhhhhhhhhhhhhhhhhhhkidokielokie X-D 21:46:16 ? 21:46:26 you on somethin ? 21:46:56 something e s o t e r i c maybe 21:47:25 damageinc: err, do you understand what the channel's about? or, umm, anything at all? 21:47:35 you just seem to be churning out non sequiturs 21:47:55 this 21:47:55 To be fair, "im not clickin any links" isn't a non sequitur, it's more just silly. 21:48:02 also 21:48:25 * Gregor nods sagely. 21:48:40 You never know, about links. 21:49:00 Pretty much every page on the esowiki that isn't tubgirl, is meatspin. 21:49:11 cant to be too careful with whom you meet online 21:49:49 Gregor: don't 21:49:59 Piff. 22:00:24 Gregor: do I detect a Pinkie Pie reference? 22:02:44 you know theres apps that let you rate your buddies 22:03:03 if for example one of your buddies calls you a name 22:03:13 you can lower his ratings 22:03:20 damageinc: That doesn't interest me 22:03:42 I don't care if they call me a name, much 22:04:20 no me neither 22:04:57 but it was just an example 22:05:08 they got way more options ofcourse 22:05:14 OK. Still, that kind of apps don't interest me 22:05:27 for example 22:05:35 if one of your buddies 22:05:40 makes you 22:05:41 like 22:05:44 for example 22:05:49 a compliment 22:05:56 you can upper his ratings 22:06:21 I don't need to rate my buddies 22:06:29 cause you dont have no buddies 22:06:37 O, that's why. 22:06:37 but others may have em 22:07:02 yes 22:08:07 @karma 22:08:07 You have a karma of 1 22:08:09 Yes, there's these things. 22:10:20 damageinc: don't worry... if its a website non-geeks would inhabit, then... these guys probably wouldn't ^.^; 22:10:53 thanks itidus20 22:11:03 that makes me feel better 22:11:11 just take a look at the room topic 22:11:28 yes its a bit vague 22:11:35 ah 22:11:50 so i thought maybe you guys are on something e s o t e r i c 22:12:04 ...Do you even know what esoteric means? 22:12:06 damageinc: Do you know the esolang wiki? 22:12:15 `? esoteric 22:12:16 no 22:12:19 This channel is about programming -- for the other kind of esoterica, try #esoteric on irc.dal.net. 22:12:25 Then read esolang wiki 22:12:42 We do, however, discuss a lot of completely differerent things in this channel 22:12:45 im not gonna click links especially not from someone that has no buddies 22:12:56 this is secretly the official haskell channel... just nobody told that to #haskell 22:13:09 no shit 22:13:29 * itidus20 looks around with shifty eyes, 22:13:44 you on to something mate 22:13:52 you on * something mate 22:14:07 The topic message mentioned Iuckqlwviv Kjugobe yesterday but they must have left already 22:14:41 ok ... im tired of showing off how stupid i am.. ill just explain the truth 22:14:49 oh no 22:15:08 this channel is about mostly useless computer programming languages 22:15:17 such as Haskell 22:15:20 it has nothing to do with the occult 22:15:30 Or with drugs 22:15:32 itidus20: I think you mean mostly awesome 22:15:37 im sure it doesnt 22:15:50 lol.. 22:16:10 lol i thought this was some really weirdos channel 22:16:12 This channel is mostly about esoteric programming, but we also discuss nearly anything in this channel sometimes 22:16:31 damageinc: It is. 22:16:33 damageinc: Well, sometimes we are really weirdo 22:16:53 but sane 22:17:03 weird but sane 22:17:10 Sometimes we are sane too. 22:17:14 lol 22:17:27 -!- monqy_ has joined. 22:17:28 im just not skilled enough to actually stay on topic 22:17:29 pffew 22:17:40 -!- monqy has quit (Disconnected by services). 22:17:45 these esoteric programming languages are pretty heavy going mentally 22:17:47 -!- monqy_ has changed nick to monqy. 22:17:59 true that 22:18:44 I never got the hang of the functional langs 22:20:06 calamari: it's because that mathematicians always have to explain things in terms of the entire field of mathematics 22:20:20 I have invented some esolangs, and I also like to play as monster character in D&D game. And also Astrolog (I think they ought to add GPS input too). And mathematics. 22:20:29 they can't dumb things down because then they don't believe they are explaining the same thing any more 22:20:47 what 22:20:57 itidus20: hi 22:20:59 I like mathematics too 22:21:10 was tossing around an idea the other day.. nothing groundbreaking tho 22:21:14 yeah.. its all or nothing with formal consistency 22:21:31 Recently I have been studying category theory too and its relation with Haskell programming 22:21:39 been a while since I was in the language creation mode 22:22:30 uhhh 22:22:43 i think there is a bootstrapping necessary to understand functional programming 22:22:53 itidus20: Are you sure? 22:22:58 no 22:24:57 it may be that the math guys lose all sense of how non math guys think 22:25:07 when trying to explain things 22:25:30 or it could be i just think weird 22:25:48 I thought it was well-established that you just think weird 22:26:24 There may be many people on this channel who think weird 22:26:39 itidus20: Uh, but forall x in X (lambda y. y y) x = x! 22:26:51 to understand a language, is to be in a position where you feel absolutely and utterly overwhelmed by the range of possible constructions you can make 22:26:56 The above statement brought to you by "throw random shit together" 22:27:07 so overwhelmed that the thought does not even occur to you to try to grasp it all at once 22:30:37 and i just can't get that feeling with mathematics :P 22:30:47 well some of it i can.. the simple parts 22:30:59 such as arithmetic 22:31:53 itidus20, try learning Haskell? 22:32:01 The thing with mathematics is, it's huge. You really end up learning what's common to most all fields, and then you *can* learn specific things in detail. And that first bit is actually a decent bit of work if you're starting from ~0 knowledge. 22:32:01 Taneb: don't go there 22:32:05 -!- MoALTz_ has joined. 22:32:17 Taneb: do you realize what you're getting into 22:32:27 monqy, I never do. 22:32:32 It's done no harm so far 22:32:34 -!- MoALTz has quit (Read error: Connection reset by peer). 22:32:34 worse is the notion of the turing tarpit.. like.. what do people even investigate turing tarpits for 22:32:39 (I shall consider a US high school education "~0 knowledge", as that's largely education on "plug things in here and you get numbers out")] 22:32:46 if they will never really use them 22:32:58 -!- Frooxius has quit (Read error: Connection reset by peer). 22:33:02 -!- Frooxius has joined. 22:33:13 i can only assume they gather some ideas about things from it 22:33:17 itidus20: Turing tarpits are investigated for two reasons: some interesting property they may have (see: cellular automatons), or just because they're fun (see: #esoteric) 22:33:33 then they dont understand object oriented either 22:33:41 cellular automata mm 22:33:43 wow 22:34:02 Taneb: ok the thing is that i know that haskell will resolve into machine code.. that is like a conceptual safety net 22:34:16 itidus20: no it's not 22:34:17 but untyped lambda calculus... i don't know what to make of it 22:34:26 then you math guys dont understand object oriented programming either 22:34:35 itidus20: it's dangernet made of knives and broken glass 22:35:48 what ? 22:35:51 monqy: an important point is a haskell program running on a given machine can't actually do more than the inherent capability of the underlying machine itself 22:35:52 no fires ? 22:37:10 i kind of rely on this idea :P 22:37:30 but the processor is a linear device so functional programming follows from that 22:37:37 itidus20: :'( 22:37:46 damageinc: well it doesn't have to though.. i accept that 22:37:52 that the machine could be anything 22:39:09 i don't know 22:39:12 .... 22:39:14 i ask you 22:39:20 i'm only trying to avoid headaches guys... 22:39:27 the computer is : 22:39:33 1) a calculator 22:39:40 2) a typewriter 22:39:45 3) a tv 22:39:51 4) a brochure 22:39:53 choose 22:39:56 really theres no agenda on my part to cause pain or suffering through promotion of non-functional lanngs 22:40:47 damageinc: this room is about the essence of programming :D 22:40:48 -!- pikhq has joined. 22:40:58 it is guaranteed to shock you a bit 22:41:08 ok itidus20 22:41:10 -!- pikhq_ has quit (Ping timeout: 260 seconds). 22:41:12 i already mentioned i am a bit stupid about it 22:41:41 i wouldnt 22:41:43 your conventional ideas of computer programming will be challenged in here 22:41:47 okokokokokokokokokokokokoko 22:41:55 ABANDON ALL CONVENTIONAL IDEAS 22:42:07 WELCOME ESOTERICA 22:42:15 * damageinc abandons all conventional ideas 22:44:03 we just submitted this paper about computational properties of cellular automata on sets X of bi-infinite sequences obtained by forbidding a regular language of subwords so that the there's a polynomial p such that there are at most p(n) subwords of length n in every sequence in X 22:45:47 * damageinc <-- knows some lex and yacc 22:46:08 -!- variable has quit (Excess Flood). 22:46:24 and linux admin too lol 22:46:40 do not go online as root 22:46:58 thats a freekick on where i come from 22:47:22 in particular, how for a CA f, and such a set X, the subset Y of X of bi-infinite sequences y such that there exists a point x in X such that for arbitrarily large m, f^n(x) agrees with y in a window of size m around the origin for some m and arbitrarily large n, has the property that for all turing machines having an oracle that has an oracle that solves the halting problem can be 22:47:27 many-one reduced to Y 22:47:36 oh god i love opening up definitions 22:48:01 well for suitably chosen f and X i mean 22:48:50 * oklopol contemplates his next overly complicated and incomprehensible sentence 22:49:59 -!- variable has joined. 22:53:18 -!- Zuu has quit (Read error: Connection reset by peer). 22:53:22 -!- Zuu has joined. 22:57:01 yeah i may as well be reading a foreign language 22:58:16 me vain esittäneet tämän paperin noin laskennallisessa ominaisuuksista cellular automaattien on sarjaa X on bi-ääretön sekvenssit saadaan kieltämällä säännöllinen kieli alisanat niin, että on olemassa polynomi p sellainen, että on korkeintaan p (n) alisanat pituus on n jokaisessa järjestyksessä X 22:58:51 ok i think we just lost itidus20 22:58:58 i mean that in good spirits though 22:59:11 damageinc: nah he's always like this 23:00:08 Gregor: do I detect a Pinkie Pie reference? // NONSENSE 23:01:14 Just to be clear (if anybody's still paying attention), I don't want to read the backlog, right? 23:02:33 oklopol gets paid to prove that CAs are Turing-hard? 23:02:45 Gregor: suuure :P 23:02:47 -!- ais523 has quit (Remote host closed the connection). 23:03:05 i remember when i was 4 years old i didn't anticipate communicating to a room full of overseas people on a full colour computer and translating a paragraph automatically into a foreign language in a chatroom full of people who use a language named brainfuck 23:03:30 i can say that with as much certainty as anything 23:03:36 Just to be clear (if anybody's still paying attention), I don't want to read the backlog, right? 23:03:41 well actually even in that article, the most interesting stuff was of purely mathematical nature, but we added some computational stuff since we're aiming for a cs conference. 23:03:51 but yeah basically 23:03:52 Unless you find oko obfuscating his research worth reading. 23:04:00 calamari: I would never quote that show. That would be THE. WORST. POSSIBLE. THING. 23:04:32 hey i didn't obfuscate it 23:04:36 -!- Zuu has quit (Quit: Reconnecting). 23:04:40 -!- Zuu has joined. 23:04:45 i just did some inlining 23:04:48 for efficiency 23:05:01 oklopol: i could read it if i knew what those terms meant :P 23:05:02 Yes, it wasn't particularly inspired obfuscating. 23:05:10 hahaha 23:05:10 itidus20: which terms? 23:05:10 Gregor: well then prepare yourself: "okie dokie lokie Used often in the children's television show 'My Little Pony: Friendship is Magic' by the character Pinkie Pie." 23:05:14 all of them 23:05:20 so i decided not to ask 23:05:27 itidus20, I know what all those terms mean and I can't read it. 23:05:52 itidus20: i attempted to open up all definitions that people don't know 23:06:00 hahaha 23:06:00 calamari: Your failure to detect my followup reference proves that you have insufficient radicalness. 23:06:04 which of course makes it harder to read, see my inlining joke. 23:06:29 technically when i hear CA i imagine a chessboard 23:06:46 but i know a CA can exist in n dimensions so i am already off to a bad start 23:06:48 so basically, CA running on zero-entropy sofic shifts have RE^RE^RE-hard limit sets 23:07:06 which i've mentioned before 23:07:20 Gregor: :( I fail 23:07:22 22:06:29: cause you dont have no buddies 23:07:22 22:06:37: O, that's why. 23:07:48 zzo38, please tell me that it's something you just realised there. 23:07:55 Phantom_Hoover: would be fun to try to actually obfuscate some math though. the problem is bad mathematicians will still be better at it. 23:08:28 Esomaths. 23:08:41 You have a crazy axiom system and try to reduce it to ZFC. 23:09:02 Prepared peano. 23:09:25 bronies everywhere 23:09:25 Although that'd just end up with endless "if we turn this definition upside down and apply Zobamogsky's progression to it they're trivially equivalent." 23:09:28 hmm 23:09:46 calamari: Pretty sure I'm the only one (we're the only ones?) in this channel. 23:09:58 maybe so 23:09:59 for example, people who start math in their thirties or later. this one chick at uni has been doing math for roughly as long as me, and if she hears the same term with a completely different definition in two different fields she's like oh i know this stuff already no need to explain. 23:10:02 i think i can safely say operand is to noun as operator is to verb... but beyond these... i wonder if there is anything else 23:10:29 Someone once tricked me into saying I was a brony, does that count? 23:10:34 Just invent the axiomatic equivalent of malbolge 23:10:38 and i'm like no it's just a naming convention, they have no known connections really. and she's like nah they're both cycles. 23:10:46 You might even inspire new developments in model theory 23:10:46 a cycle is a cycle. 23:11:11 itidus20: i do CA theory pretty much exclusively in one dimension 23:11:49 Gregor: gone to any meetups? I can't remember where you are these days, but I think they have a pretty big group in Seattle 23:11:52 oklopol, every time I encounter stuff like that I assume that there's some ridiculous equivalence which is completely mad that you meet later on. 23:12:17 Phantom_Hoover: Actually, I was simply answering damageinc's question. 23:12:22 yeah that's why i always say "known connections" just in case 23:12:31 calamari: Aside from the fact that I'm the least sociable person on the planet, I'm in the middle of friggin' nowhere at graduate school. 23:12:47 oklopol: i imagine the problem there is that if you wanted to map an infinite 2d CA onto a 1d CA.. you would run into troubles 23:12:58 Diagonalize! 23:13:04 lol then you don't understand brony meetups.. they are full of unsociable nerds 23:13:12 Does anyone in this channel have GHC 7.4? I asked in #haskell channel nobody answer, I can try again, or I can try #ghc possibly, but I will also ask here 23:13:13 Naturally. 23:13:18 But I'm too asocial even for that. 23:13:22 itidus20: the problem? 23:14:03 the problem is perhaps in my limited conceptions 23:14:06 speaking of which, I'd better wrap this up, I'm the organizer here in tucson 23:14:14 in general, you can't map a 2D CA to a 1D ca in any sensible way when working with infinite sequences / tilings 23:14:19 help who is damageinc why is he an idiot 23:14:19 `quote purdue 23:14:20 -!- Phantom_Hoover has quit (Quit: Leaving). 23:14:23 294) Gregor, yeah, but Purdue has poultry science facilities beyond the dreams of avarice. 23:14:30 -!- Phantom_Hoover has joined. 23:14:37 It's true! 23:14:38 with a finite playground, all is naturally boring 23:15:03 oklopol: the problem being a potential need for 2d.. or perhaps not 23:15:11 Phantom_Hoover: some new guy, as far as I can tell 23:15:17 i wonder if the 2d actually brings anything to the table 23:15:18 as for why he's an idiot, I don't know 23:15:35 monqy, perhaps he was once bitten by a radioactive idiot. 23:15:40 been trying to edit the pitch of a certain fan characters voice to be a little higher 23:15:50 well my colleague's graduate thesis was about the difference between the 1d and the multi-d case 23:15:50 guys 23:15:51 guys 23:16:00 no bronying in here please 23:16:01 he.. found his way in here by accident.. and he knows a lot more than me :D 23:16:18 Phantom_Hoover: or what? you'll puke rainbows? 23:16:21 Phantom_Hoover: Fine fine, I'll never brony again ... cross my heart and hope to fly, stick a cupcake in my eye! 23:16:31 so yeah 2d does. 3d is basically the same as 2d in the sense natural yes/no questions usually have the same answer. 23:16:36 i will stab you both with the rainbow 23:16:45 i will make the rainbow into a laser 23:16:55 TOO SPICY 23:17:07 just gotta mix it with a bit of cloud 23:17:11 itidus20, astonishing as the proposition is, I think he's dumber than you. 23:17:41 Gregor: kick Gregor for being a brony 23:17:54 oklopol: Sorry, don't have ops! 23:17:59 ... clops? 23:18:00 No, ops. 23:18:29 fizzie, the duty falls to you. 23:18:43 when did you before infected? 23:18:47 *become 23:18:51 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net). 23:19:06 I don't need to rate my buddies 23:19:06 cause you dont have no buddies 23:19:06 O, that's why. 23:19:19 something about that makes me tingle. 23:19:41 OK, I've registered #esoteric-ponies. 23:20:12 I don't believe you but I have to check anyways 23:20:21 almost as if zzo38 made a snipe 23:21:00 -!- aloril_ has quit (Read error: Operation timed out). 23:21:24 -!- aloril_ has joined. 23:22:49 why would you do that Gregor ? 23:22:55 oklopol: but i suppose if you were to have some kind of spiral mapping from 2d into 1d that would be the way to go hence your "in any sensible way" 23:23:19 that won't be a 1D CA though. 23:23:27 Gregor: ponies ? 23:23:31 hmm 23:23:32 the map is not defined by a local rule 23:23:49 * damageinc *shrugs* 23:24:19 oh man 23:24:37 it's a *continuous function*, but the image at n does not depend only on the word you see at [n-k, n+k] 23:24:40 for some fixed k 23:24:47 (this is the definition of a 1d CA) 23:25:28 and by "image at n" i mean the value you see in cell n after applying the CA 23:26:16 it almost seems as if youre trying to define space 23:26:24 define space? 23:26:39 lol 23:26:48 itidus20's long lost twin 23:26:55 we're working with the topological space S^Z, where Z is the integers and S is a finite set 23:27:10 the topology is the product topology obtained from the discrete topology of S 23:27:10 Take heart, oklopol, this is your one chance to learn bad mathematics 23:27:47 which means, a continuous function from S^Z to S^Z is a function such that the image at n only depends on the contents of some finite window around the origin 23:28:24 or equivalently, a window around n of finite size. 23:28:47 (they are equivalent because you can extend the windows to a common larger one, and it's still finite.) 23:29:01 wrong 23:29:25 you conveniently forgot einsteins there 23:29:26 yeah maybe i shouldn't be given ops here like ever 23:29:39 lol 23:29:44 nevertheless 23:30:13 you would've been kicked before you had time to elaborate that you were *intentionally* trolling 23:30:16 `ghc --version 23:30:20 The Glorious Glasgow Haskell Compilation System, version 7.2.1 23:30:28 zzo38: i liked your comment earlier, did you see 23:30:36 oklopol: Yes I did see. 23:30:46 you cannot arbitrarily extend the size of the windowz and claim there is no change 23:31:14 cause correct me if im wrong 23:31:14 damageinc, stop embarrassing yourself please. 23:31:24 you can't, huh 23:31:34 you dont take into consideration the properties of its space 23:31:39 ohh 23:31:41 shit 23:31:46 -!- calamari has quit (Remote host closed the connection). 23:31:52 i need to retract our article o_o 23:31:55 Is it possible to test a Template Haskell code on HackEgo? 23:32:02 oklopol: :) 23:32:09 who knows oklopol 23:32:37 I also need to test unsafeCoerce and GHC.Exts.Any so lambdabot won't work 23:34:34 -!- calamari has joined. 23:35:01 damageinc: can you give me an example of an ENDOMORPHISM f of S^Z IN THE CATEGORY OF SETS such that f(x)_0 depends solely on the word x_{[-n, n]} but does not solely depend on the word x_{[-m, m]} for some m > n? 23:35:27 i mean a function from S^Z to itself 23:35:47 nop 23:35:55 do you mean the identity map??? 23:35:57 -!- calamari has quit (Client Quit). 23:36:09 no probably not 23:36:12 okay 23:36:28 SO ABOUT THESE PROBABILITIES OF THIS NOT 23:36:31 -!- tzxn3 has quit (Quit: Leaving). 23:37:42 I ASSUME YOU MEANT THAT YOU HAVE IN MIND A MEASURE SPACE SUCH THAT THE MEASURE OF THE WHOLE SPACE IS 1 IN WHICH THE PROBABILITY OF THE EVENT THAT YOU DID NOT MEAN THE IDENTITY MAP IS IN THE SUPPORT OF THE MEASURE 23:37:50 wow 23:37:54 yeah i'm not making any sense. 23:37:55 whats with the caps 23:38:02 in case you cannot tell the difference 23:38:09 you broke him 23:38:11 :'( 23:38:30 damageinc: the fuck is a flamewar without caps? 23:38:42 flamewar ? 23:38:49 do you know what that means 23:38:55 sure 23:39:01 well what's the problem then 23:39:19 FLAMEWARS FORM A LARGE CATEGORY 23:39:24 why are you on irc if you don't want to have an intense flamewar? 23:39:25 i have very thick skin myself.. i can keep coming back despite not understanding 70% of the things that go on here 23:39:34 i was confused between real space and YOUR working space 23:39:56 and 23:39:58 were you making a serious comment in some other context? 23:40:05 itidus20, I do not think you understand 30% of any given sentence posted here. 23:40:13 you asked for it by saying abandon all whatever 23:40:26 30% is a mean. 23:40:28 i try my best to keep everyone except oerjan under 99% 23:40:40 but you guys talk a lot :/ 23:41:35 damageinc: well you shouldn't abandon everything you know about math, math is so insane all by itself that we don't have to obfuscate it deliberately. 23:41:55 I like mathematics 23:42:05 me and zzo38 23:42:08 hmm .. maybe math is esoteric at all times 23:42:09 we are math bros 23:42:13 monies. 23:42:37 * itidus20 blinks a bit 23:42:38 real math or virtual math ? 23:42:54 what 23:42:56 i guess technically math is inherently exoteric 23:43:03 can you be slightly more specific 23:43:10 well 23:43:12 math on reals or "real math" in some other sense 23:43:24 exateric? 23:43:25 in my opinion virtual math is a myth 23:43:37 Hot virtual math, on your desktop now 23:43:41 damageinc: What do you mean by virtual math anyways? 23:43:53 Wow, virtual isn't used in maths at all, apparently. 23:43:55 damageinc: do you mean.. ideal vs actual? 23:43:57 i think a myth needs to have been heard of by someone in order to have inherent mythical value 23:44:19 Phantom_Hoover: I'M ON IT 23:44:23 well its probably nothing 23:44:45 ON VIRTUAL SUBSHIFTS WITH THE SALO TOPOLOGY 23:44:56 -!- Phantom_Hoover has left ("Leaving"). 23:45:00 -!- Phantom_Hoover has joined. 23:45:03 hi 23:45:07 Which one's the Salo topology? 23:45:07 bye hi. 23:45:14 do you know my name? 23:45:16 hmmmmmmmmmmmm 23:45:29 virtual math might be related to the matrix of solidity 23:45:36 :O 23:45:50 ON THE LINEAR ALGEBRA OF MATRICES OF SOLIDITY ON VIRTUAL SUBSHIFTS 23:45:57 my next article 23:45:59 i dont believe in virtual math anyway 23:46:01 `quote tree 23:46:04 80) My mascot is a tree of broccoli. \ 259) ais523: Maybe it is better, because I don't think the octopus will live very well in the tree. But the difference is that the Internet is lying and you cannot see such things; you could make modified picture, though, in order to lie more clearly, at least. \ 296) enjoy being locked in your matrix of solidity \ 708) 23:46:12 damageinc: you do realize none of us know what virtual math is? 23:46:17 ok 23:46:25 can you educate us? 23:46:29 I don't know what "virtual math" means 23:46:31 i also said its probably nothing 23:46:45 do you know my name? 23:46:47 zzo38: dont ask 23:46:49 `quote Taneb 23:46:50 Yes, that's why I'm asking. 23:46:52 460) Turned out he got recursion, he just didn't get the return statement \ 466) Cut to February War were declared A galaxy in turmoil Anyway, Febuary '10 \ 467) I can't afford one of those! A grandchild, not a laser printer \ 474) There's that saying that the definition of insanity is doing the same thing over and over again and expecting different 23:46:57 damageinc: its healthy and natural to be confused in here.... 23:47:04 Phantom_Hoover: oh. well i don't know yet. have to know what virtual subshifts are first. 23:47:06 `pastequotes Taneb 23:47:10 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.7841 23:47:36 That's... scarily empty 23:48:22 it would be a bit oklo of me to call something the salo topology. 23:48:26 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.30588 23:49:52 lol "614) I think this has taught us one thing. We can't teach itidus20 lambda calculus by comittee" 23:50:11 Just as true now as it was that sad, sad day 23:50:16 well it uses advanced concepts like binding and free variables 23:50:33 or does it? 23:50:36 who can say for sure 23:50:39 true 23:50:42 so very true 23:50:49 i think we're at the core of all understanding 23:51:39 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.20660 23:51:49 Don't say that, that's exactly the sort of thing that got iti to stay. 23:52:03 wow 23:52:12 thanks Phantom_Hoover 23:52:14 We don't want damageinc getting the impression that anyone actually wants him here. 23:52:26 phantom hoover "a real jerk. thanks a lot" 23:52:34 woops I misplaced 23:52:36 "oh well" 23:52:45 < oklopol> i think we're at the core of all understanding <-- wow ! 23:52:58 Phantom_Hoover: I don't care really 23:53:26 :D 23:53:37 oh ph u so awesome 23:53:40 i'm incapable of disliking people who leave me to my own devices 23:54:07 How long does it take for Hackage to report a build failure? 23:54:15 `quote 690 23:54:19 690) I'm neither Norwegian nor Finnish I don't fit in your quaint little categories 23:54:27 lol 23:54:28 `quote 999 23:54:31 No output. 23:54:42 lies 23:54:50 `quote 678 23:54:54 678) I personally use while ("Cogito, ergo sum") { ... } because since that is a priori true, it is true in all possible universes, and therefore ensures maximum portability. 23:54:57 `quote 678 23:55:01 678) I personally use while ("Cogito, ergo sum") { ... } because since that is a priori true, it is true in all possible universes, and therefore ensures maximum portability. 23:55:03 `quote 678 23:55:06 oklopol, does everyone else find it impossible to work out exactly how ironic everything you say is? 23:55:07 678) I personally use while ("Cogito, ergo sum") { ... } because since that is a priori true, it is true in all possible universes, and therefore ensures maximum portability. 23:55:11 RAAAARGH 23:55:14 Hay! Stop repeating yourself please! 23:55:19 I never can and I always end up feeling stupid. 23:55:23 `quote 678) grep: unmatched parentheses 23:55:39 this is the best 23:55:42 `quote 669 23:55:46 669) 678) Dammit, Gregor, this is not the time to fall in love 187) Gregor: You should never have got her pregnant. what whaaaaaaaaaaaat 23:55:54 Phantom_Hoover: the problem is that i'm sort of beyond the whole concept, usually even i can't tell if i'm being sarcastic or not. 23:55:57 or what my point is 23:56:18 oklopol, does this also apply to your papers. 23:56:20 yes 23:56:20 `quote 648 23:56:21 Sarcastic? Don't you mean ascetic? 23:56:24 648) Dammit, Gregor, this is not the time to fall in love 23:56:37 zzo38, isn't that the people who don't have any worldly possessions? 23:56:46 there are no errors in my papers, only the occasional sarcasm. 23:57:00 Taneb: Probably. 23:57:03 Taneb: it can also be worse than that... 23:57:16 and i can't tell which parts are sarcasm and which are not! 23:57:53 Nobody else edits the TVTropes article on a card game I made... 23:57:54 :( 23:57:55 * damageinc taps oklopol on shoulder 23:58:11 ^^ 23:58:18 Do you need TVTropes cards to play this game? 23:58:32 No, but it has many tropes 23:58:41 and one t too many 23:59:16 i THINK "^^" was actually a sarcastic emoticon. 23:59:28 what if it wasn't 23:59:38 i don't know. would that make a difference? 23:59:52 what's the point of anything? TELL ME 23:59:56 http://www.youtube.com/watch?v=ulIOrQasR18 23:59:57 Taneb: could you link to said article?