00:00:43 http://www.ivona.com/pl/?tk=C3b7IPvKHx ;D 00:01:12 we've got all kkinds of sounds, from soft to harsh 00:01:43 strzebrzeszynie sounded a lot easier than it looks 00:02:31 see? 00:03:27 It helps a bit that English already loads up on consonant clusters. 00:03:45 Going from consonant clusters to more consonant clusters isn't too bad. :) 00:04:08 nooga: what are the smurfs called in polish? 00:04:16 smerfy 00:04:22 oh that's disappointing 00:04:32 their original name is "schtroumpf" 00:04:39 ugly 00:04:44 "Strengths". 6 consonant sounds, 1 syllable. 00:05:10 i would write this as sztrumf 00:05:16 that's way too much consonants for french already, so I would have assumed polish would go further in that direction 00:05:44 Arc_Koen: It's French, though. 75% of all letters in French are silent. 00:05:46 :) 00:05:56 not untrue 00:06:22 rendeszvous -> randevu? 00:06:25 I bet that's actually pronounced something like "sump" 00:06:30 rendez* 00:06:36 though in that case the only unnecessary letter is the starting s 00:06:54 no, it's pronounced like english "shtroompf" 00:07:06 Oh, the obvious way. 00:07:14 it's belgian or dutch, isn't it? 00:07:16 ais523: can you suggest a way to break my system 00:07:21 yes it's belgian 00:07:36 olsner: In the French language, and from Belgium. 00:07:47 fries 00:07:52 mayonaise 00:07:57 ais523: I've been kind of flabbergasted after removing my separate ext2 /boot partition and putting it into my JFS / *and* converting my MBR partition table to GPT in-place with no recourse if it all goes wrong failed to break my system 00:08:02 ais523: so I'm looking for some excitement 00:08:07 dutch speaking french 00:08:10 belgium 00:08:19 but since the smurf people use the word smurf to replace almost every words, so making a weird word like schtroumpf was part of the fun, I guess - and english smurf took that out 00:08:37 elliott: Have you considered mastering a Freddie Mercury impression and touring rural southern US? 00:08:45 i watched smurfs as a kid 00:08:57 and we had this all word fun with that 00:09:00 elliott: install windows 00:09:06 Arc_Koen: Yeah, "Smurf" is utterly *mundane* for English phonotactics. 00:09:16 smerfowe, smerfować, smerfetka, smerfastycznie & stuff 00:09:44 nooga: this summer I was in germany for two weeks - in a biergarten (some kind of pub) the waiter addressed us in german, then english, then french, then dutch 00:10:03 you're Belgian? 00:10:08 and I was so impressed until I realized he was probably simply belgian 00:10:12 no, I'm frenched 00:10:14 french 00:10:17 oh 00:10:21 Arc_Koen: I doubt anyone here would fail to recognize "biergarten". 00:10:24 -!- javad3v has joined. 00:10:24 pikhq_: what do you think I'm doing with my life 00:10:32 olsner: that would be kind of hard, since windows only boots from gpt on uefi systems 00:10:35 olsner: (for no apparent reason) 00:10:35 Arc_Koen: did you have to try four languages before you were able to order a beer? 00:10:52 hay guys 00:10:58 olsner: no I think he was just showing off 00:11:02 elliott: sounds perfect for making your computer not boot then? 00:11:14 though the first biergarten I had a beer in I felt kind of insulted 00:11:16 The transparent interpretation "beer garden" is actually a term in English that means "biergarten". :) 00:11:26 olsner: well it has to be something that the documentation says will work 00:11:28 and that I do apparently correctly 00:11:48 I asked for three beers in german - the waiter answered in english - I answered back in english - then he switched to french 00:11:54 elliott: Not getting discriminated against, clearly. 00:11:55 i wrote my own langauge called "navi" you should check it out 00:12:03 -!- augur has quit (Remote host closed the connection). 00:12:04 try ogródek piwny for your beer gaden and suddenly it's not so apparent 00:12:07 elliott: Nor imitating awesomeness. 00:12:12 javad3v: Hmm. 00:12:14 Arc_Koen: maybe you have a bad french accent 00:12:21 javad3v: link? 00:12:25 (and an english accent to your german?) 00:12:45 well I wouldn't be surprised if it was transparent that I was only pretending to know german 00:13:17 but switching to french felt really bad, even though he probably just overheard me when I was talking to my friends 00:13:30 its not finished yet sorry. the onky acceptable phrases are "hey" and "listen". its a BF derivative 00:13:37 -!- augur has joined. 00:13:48 navi! 00:13:52 Phantom__Hoover 00:14:03 in ocarina of time there's this place where navi would buzz if you walk over some stuff 00:14:18 if you do it right she would start stuttering 00:14:18 @seen Phantom__Hoover 00:14:18 Unknown command, try @list 00:14:20 play the acarecrowa song 00:14:21 oh no 00:14:43 I spent almost an hour trying to keep her stuttering Hehehehehehehehehehehehehehey listen! the longest possible time 00:14:44 Acarecrowa? Is this some weird transliteration? 00:14:51 javad3v: does it have to be a bf derivative 00:14:53 Akarekurowa? 00:15:21 javad3v: why not make it stack-based or even queue-based instead of brainfuck 00:15:31 or even tree-based, we don't have many tree-based languages 00:15:51 songi meant scarecrow im one my nexus7 and the keypad is coveri g up the textbox 00:15:56 befunge derivative, lolcode derivative, hq9+ derivative, snack derivative, esme derivative 00:16:01 Jafet: for the record your quine hasn't printed anything out yet 00:16:25 Arc_Koen: What about a hashmap of stacks of queues of arrays of integers? 00:16:28 i literally wrote the language in 5 minutes 00:16:54 as in wrote its specification or wrote an implementation or what 00:17:01 -!- nooga has quit (Ping timeout: 244 seconds). 00:17:24 javad3v: if it's a brainfuck derivative people will probably be reading about it in 5 minutes then move to something else but if it's tree-based we're gonna spend a whole month talking about it 00:17:29 all i did was make a file reader and writer that would take in the brainfuck source code and translate each symbol into either hey or listen 00:18:07 random thought: do we have a language based on raising and catching exceptions? 00:18:11 its not realkh a language i guess lol 00:18:19 being written in five minutes is something common to almost every brainfuck derivative, yes 00:18:21 For the record, it's not my quine 00:18:50 elliott: (\x -> x x) (\x -> x x) is a quine, right? 00:19:05 shachaf: i don't think so 00:19:23 Jafet: the webpage says it's brian raiter's 00:19:30 elliott: But it reduces to itself! 00:19:45 I'd say it is 00:19:49 then it's probably an infinite loop 00:19:59 under some notion of output 00:20:04 Every quine is an infinite loop if you run it ove and over. 00:20:47 -!- nooga has joined. 00:20:50 well if your system is "reduce the initial expression as much as you can, and when you're done output the result" 00:21:00 It's a quine in the college bum's lambda calculus, where you only bother to do one reduction 00:21:10 oh, ok 00:21:45 Jafet: Eh. In the advanced version you don't do any reductions. 00:21:50 ok well I guess I should switch to a faster thue interpreter 00:22:33 Is there an esolang called WVO? 00:22:42 There should be, so you could write a WVO Quine. 00:22:48 im probably going to make a navi derivative of java next... 00:22:53 cool 00:22:57 i'm struggling with peephole optimizer 00:22:58 how are you going to do that 00:23:26 just translate reserved words into either hey or listen 00:23:44 cool cool 00:23:56 monqy: Is that a quine? 00:24:01 In "cool language" 00:24:26 yes 00:24:27 anyone want to download mg binary complier? it literaly complies and runs binary 00:24:54 ooh hey I have an idea for a brainfuck derivative 00:25:01 me too 00:25:09 i wrote it in mgblolobogoblol or whatevr its called 00:25:15 javad3v: what is your problem? 00:25:47 Lots of people make BF derivatives. How many people have made BF integrals? 00:25:48 umm i dont knoe are you talking aboug my grammar and w/e? 00:25:53 it's exactly the same as brainfuck except + is replaced with "smurf", - is replaced with "smurf", > is replaced with "smurf", < is replaced with "smurf", . is replaced with "smurf", , is replaced with "smurf", [ is replaced with "smurf" and ] is replaced with "smurf", 00:26:15 ha ha ha. 00:26:34 and now begins the very hard struggle to not make that a wiki page 00:26:36 javad3v: what is mgblolobogoblol 00:26:52 So, s/[\[\]><+\-.,]/smurf /g 00:26:56 mgblolobogotroll 00:27:06 whatevrr that language is thats named after a level in hell or whatever 00:27:15 well he is obviously full of shit 00:27:17 Malbolge 00:27:20 but it'd be nice to know exactly what he's full of shit about 00:27:25 Which is a properly awesome esolang. 00:27:53 *village idiot drools on you* 00:28:40 javad3v: would you like to share your mgblolobogoblol compiler 00:28:48 someone should make an esolang thats a fucked up fortran called "4chan"... 00:29:03 good joke? 00:29:10 `WELCOME JAVAD3V 00:29:20 JAVAD3V: WELCOME TO THE INTERNATIONAL HUB FOR ESOTERIC PROGRAMMING LANGUAGE DESIGN AND DEPLOYMENT! FOR MORE INFORMATION, CHECK OUT OUR WIKI: HTTP://ESOLANGS.ORG/WIKI/MAIN_PAGE. (FOR THE OTHER KIND OF ESOTERICA, TRY #ESOTERIC ON IRC.DAL.NET.) 00:29:22 welcome javad3v 00:29:23 uh hi 00:29:52 javad3v: sorry but you have been mislead. this channel is actually about mysticism and spirituality. 00:30:08 oh well i know all about that too 00:30:12 *misled 00:30:18 read/read, lead/led 00:30:20 misleaded 00:30:31 mh lead 00:30:34 copumpkin: no, he's been, in the past, the abstract concept of the verb mislead 00:30:35 elliott: What about rivenicism 00:30:45 * copumpkin slaps elliott 00:30:47 copumpkin: misle/misled 00:30:53 so how about that jesus guy? 00:31:04 shachaf: of course 00:31:30 i work at google just so you guyss know 00:31:38 What happened to the "your behavior is not conducive to the desired environment" message? 00:31:41 I miss that one. 00:31:43 javad3v: good to know 00:31:50 i programmed their autonomous car thing 00:31:56 or our 00:31:58 great 00:32:01 can it drift? 00:32:03 TIL 00:32:07 autonomously? 00:32:16 yes i drove it 00:32:18 yes 00:32:19 ais523: can you kick javad3v 00:32:21 autonamously 00:32:30 javad3v: I did it better though 00:32:31 ais523: it would be ok if he was amusing but these are just boring lies!! 00:32:31 fuck no i cant esolang too 00:32:36 I programmed the curiosity rover 00:32:40 mine drives itself, but on mars 00:32:46 ais523: 0/10 not entertained 00:32:46 inpr 00:32:46 I *am* the curiosity rover. 00:32:49 i programmed a brainfuck derivative 00:32:55 mee to 00:32:58 you can do calculus on languages? 00:33:00 monqy wins. 00:33:05 and i'm drunk 00:33:09 and still behave 00:33:14 17:25 Lots of people make BF derivatives. How many people have made BF integrals? 00:33:15 i can do calculus 00:33:16 is the integral of your brainfuck derivative isomorphic to brainfuck? 00:33:20 mine translates the word "hello" to brainfuck codes 00:33:25 i think i win 00:33:27 I programmed jokes into copumpkin's mind. 00:33:29 shachaf: asshole 00:33:33 woa wo wos know you limits 00:33:38 no 00:33:43 shachaf: please don't repeat that too often, I'm probably not gonna sleep until I begin to find a way to make that have sense 00:34:05 copumpkin: Sorry. :-( 00:34:07 javad3v: Whoa, *nobody* can do calculus. :P 00:34:12 you'd better be 00:34:13 GASP 00:34:19 where's oerjan?! 00:34:24 he was always here 00:34:27 why not? 00:34:28 he's gone to sleep 00:34:32 no way 00:34:33 man 00:34:34 copumpkin: I'm not just sorry, I'm pathetic. 00:34:35 no way 00:34:36 It's true. 00:34:41 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 00:34:42 he never sleeps 00:34:58 or I've been misled by his comment "this is not how the alphabet works. good night" 00:35:00 Our Lord Oerjan hath need to give obeisance unto the cycle of time 00:35:12 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q qqq qq 00:35:19 javad3v: you broke elliott 00:35:24 javad3v: plaese use your calculus to fix him 00:35:31 im making the channel better 00:35:38 with qs 00:35:44 q 00:35:47 try q:qs 00:35:50 javad3v: he thinks hes making the channel better but really hes not (he thinks that because hes broken because you broke him) 00:35:57 Q: Where does a general keep his armies? 00:36:02 A: In his sleevies! 00:36:04 okay tangent line of f(x) = 4x/x≥2 00:36:19 elliott: feeling better? 00:36:33 monqy: q 00:36:36 :[ 00:36:38 hum is the x≥2 in that formula some kind of boolean statement? 00:36:59 though "four x divided by false" sounds very wrong 00:37:00 It's a troolean statement. 00:37:00 i was looking for the power of symbol but i got lazy 00:37:07 It's called troolean because it's always true. 00:37:15 copumpkin: Did you see my pun from before? 00:37:18 troll science 00:37:23 you don't know it 00:37:25 javad3v: what's it like in virginia 00:37:34 bad:( 00:37:41 WV > VA 00:37:46 shachaf: I'm sorry I've only learned foolishean logic so far 00:37:53 lolololoolololololLoLOLOLo 00:38:00 what's so funny 00:38:03 wv are all inbred 00:38:07 i missed it because my eyes are bad 00:38:13 i'll ned you to point it out 00:38:13 oh no :'( 00:38:19 monqy: want a pun 00:38:19 ais523: hi 00:38:26 11:34 I found this to be a very nice informal intro: "Some of the best things in life are free; and some are not. Truth is free. Having proved a theorem, you may use this proof as many times as you wish, at no extra cost. Food, on the other hand, has a cost. Having baked a cake, you may eat it only once. If traditional logic is about truth, then linear logic is about food" 00:38:32 11:35 Unless you're Zeno. 00:38:35 11:35 Zeno knew how to halve his cake and eat it too. 00:38:36 at least we have uva and tech in VA 00:38:39 GOOD PUN 00:38:40 or 00:38:42 BEST PUN 00:38:51 Jafet: well it still hasn't printed anything so I'm shutting it off 00:39:22 UVA is pretty good for comp sci 00:39:32 apparently not 00:39:40 ais523: you're talking in #acehack you can't hide 00:39:40 y 00:39:42 ais523: stop hiding 00:39:48 ais523: come out of rehidement 00:39:59 I'm afraid that "sqrt(2) is irrational" pun is on top of my best puns list and a cake that's not even lying is never gonna top that 00:40:27 i dont get it 00:40:35 what a surprise 00:41:10 sqrt of 2 is like 1.2 or something 00:41:22 ais523: come on 00:42:21 my programming language programmes on a tree branch derivstive of the stack overflowing alu unit 00:42:42 wow mine too 00:42:43 directley 00:42:52 pff who would do it any other way 00:43:10 monqy: i do it indirectly :'( 00:43:33 for shame 00:43:54 javad3v: http://www.docstoc.com/docs/35998870/Towards-the-Syn-thesis-of-Vacuum-Tubes < here's an interesting paper for you 00:43:59 my programms gomright to the stack on an extra-hytercenary exchange unit derivived from the alu 00:44:01 i think you'll like it 00:44:33 read it 00:44:41 ais523: . 00:44:51 nexus7 doesnt have flash so i csnt 00:45:37 http://raisama.net/ufpr/tg/paper.pdf 00:45:49 grab a pdf version 00:46:03 k 00:46:56 huh 00:47:25 i already wrote a fully conciouss computer 00:47:34 ais523: !!!! 00:48:04 heres proof:[proof] 00:48:39 what language was assembly written in? 00:48:46 javad3v: do you realise how fucking dumb & stupid & unfunny you are 00:48:53 yes 00:48:53 i think that any AI would be more I than you, javad3v 00:48:57 javad3v: hi 00:48:57 like i realise you are bullshitting on purpose and that me saying this probably counts as a victory to you 00:48:58 but 00:48:59 ok 00:49:07 -!- ChanServ has set channel mode: +o ais523. 00:49:08 i think you have to pay special attention to just literally how unconvincing you are 00:49:16 ais523: sec 00:49:19 let me read scrollback, sorry, I was somewhere esle 00:49:20 you're really bad at trolling!! 00:49:20 *else 00:49:20 on the other hand 00:49:21 because im bored and my program didnt work so i came here 00:49:38 you'd pass a turing test 00:49:48 hello javad3v 00:49:54 thanks man i appreciate it 00:49:55 i hear you are making a brainfuck derivative 00:50:02 javad3v: well talking a load of nonsense isn't going to work very well, really 00:50:04 Phantom__Hoover: stop :D 00:50:05 Phantom__Hoover: i prepared a brick 00:50:07 trolling can be fun to watch 00:50:08 i already made one dude 00:50:12 but only if it's done well 00:50:39 its done well 00:50:45 no, I meant trolling 00:50:47 not BF derivatives 00:50:51 oh stop already 00:50:51 i wrote it in java 00:50:55 most people who think they've done one well are wrong 00:50:58 here's what's going to happen 00:51:02 i am going to find you 00:51:05 wherever you are 00:51:07 (I think I've done two well, but I may be wrong about that) 00:51:08 Phantom__Hoover: virginia 00:51:11 hth 00:51:22 im in , that was already stated 00:51:28 Phantom__Hoover: have you ever actually gone through with that threat? 00:51:41 ais523: do you have any evidence he has ever /not/ gone through with it? 00:51:47 once i find you 00:51:52 i live in the rotunda at UVA cause im the smartest one here 00:52:00 ais523: people with bricks for brains rarely talk, after all 00:52:11 i will smash this brick into your head so hard 00:52:11 javad3v: may i give you a trophy for being the smartest one here 00:52:14 "you deserve it" 00:52:15 elliott: I'd think we might hear about it if he got arrested 00:52:21 Phantom__Hoover: note that death threats are illegal 00:52:23 ais523: that just means he's really good at it 00:52:27 that says much about the UVA 00:52:35 whatever it is 00:52:36 you will think you're a flying house 00:52:44 ais523, when did i say i'd kill him 00:52:51 they paid me $100000 more than harvard offered so i chose UVA 00:52:58 killing him would be too kind 00:53:01 it's sort-of implied, most people can't survive their brain being replaced 00:53:13 maybe i only target those who can? 00:53:14 javad3v: anyway are you here to be constructive? I unstealthed my ops for a reason 00:53:16 scots can 00:53:23 "are you here to be constructive" 00:53:25 javad3v, shitty trolling counts for brickbraining too 00:53:25 great question 00:53:29 "oh, you got me... nope!" 00:53:32 elliott: I'm looking forward to the answer 00:53:36 yes i can here to talk about navi 00:53:38 ais523: i think it wouldn't change much 00:53:48 "truly my career of TROLLING is over" 00:53:49 javad3v: note: the answer is supposed to be comprehensible 00:53:51 my bf derivative 00:53:52 "i am undone" 00:53:55 javad3v, lemme guess, the commands are some permutation on 'hey' and 'listen' 00:54:00 Phantom__Hoover: yes that is literally what he said 00:54:02 when he came in here 00:54:03 yes 00:54:14 Phantom__Hoover: you didn't know that though -- you just made a bf derivative o nIRC 00:54:15 oh right 00:54:18 I really don't think the world needs that BF derivative 00:54:21 i wrote it in 5 minutes 00:54:25 Phantom__Hoover: i prepared a brick to replace your brain 00:54:29 that's not a brainfuck derivative, that's a brainfuck substitution 00:54:35 equivalent? 00:54:36 yeah i know 00:54:36 Phantom__Hoover: and those don't get brickbrained? 00:54:37 elliott, i don't have a brain, i'm a hoover 00:54:45 elliott, they get brickbrained 00:54:53 then they get put into the 11th circle of hell 00:54:58 i have a brain the size of einstej 00:55:04 ais523: Death threats are illegal? 00:55:06 hey listen brick brain translates to [+-] 00:55:07 which is basically a continuous rain of alternating bricks and brains 00:55:08 shachaf: sure 00:55:12 especially in the UK 00:55:14 where Phantom__Hoover is 00:55:17 nooga, fuck off 00:55:24 :D 00:55:29 javad3v, not once i'm through with you you won't 00:55:29 sorry, true story 00:55:56 when youre through with me it will be the size ofmyours probably ohhh 00:55:57 -!- Vorpal has quit (Ping timeout: 276 seconds). 00:56:02 [+-] doesn't do anything at all 00:56:09 that's right 00:56:22 i just said i don't have a brain 00:56:31 damn 00:56:35 einstej 00:56:44 fhata me 00:56:49 ais523: well technically it's a conditional statement "if the current cell is zero, carry on, otherwise get stuck here" 00:57:00 discoverer of twelve species of beetle 00:57:04 Arc_Koen: I meant as a whole program 00:57:08 ais523: could you please get rid of javad3v so we can get back to our nightly routine? 00:57:09 the current cell is 0 00:57:16 nooga: our nightly routine isn't so useful 00:57:17 no, please 00:57:22 but I don't think he's being useful anyway 00:57:32 I think the original idea was that cells contain unspecified values 00:57:33 ais523: imo op javad3v 00:57:36 it'd be nicer if he just left of his own accord, but I can kick him given that he clearly isn't being constructive 00:57:38 what language was assembly writte in? i must know 00:57:43 javad3v: navi 00:57:51 o 00:57:57 ais523, op javad3v, voice Gregor 00:58:01 javad3v: machine code, obvs 00:58:01 now that's meta! 00:58:03 and if it doesn't allow wrapping, then if the current cell is 255 it might set it to 254 00:58:12 Phantom__Hoover: I could voice Gregor 00:58:17 do it do it 00:58:17 at least, I can't think of a good reason not to 00:58:26 he's so upstanding! 00:58:32 has he done something wrong? 00:58:35 what language was c written . 00:58:37 he would be a credit to us all with his powers 00:58:41 uh 00:58:41 javad3v, b 00:58:43 -!- ais523 has kicked javad3v not being useful. 00:58:45 his endless voice powers 00:58:56 it's 6 PM in San Francisco 00:59:04 why is not Gregor here 00:59:04 ais523: if not being useful is a kick reason then boy howdy are my days numbered 00:59:12 elliott: you're more useful than javad3v was 00:59:14 Gregor is in SF? 00:59:15 wow 00:59:17 what a compliment 00:59:28 -!- ais523 has set channel mode: +v Gregor. 00:59:30 -!- ais523 has set channel mode: -o ais523. 00:59:31 ais523: I'm not sure "obviously" is accurate here - most people wouldn't make a difference between assembly and machine code 00:59:49 Arc_Koen: why not? they look pretty different, after all 00:59:54 they are not the same thing 00:59:59 whois codu.org says Portland. 00:59:59 shachaf: San Francisco is in the US, Gregor is in the US 01:00:01 especially since most assemblers have things like structs and macros and 01:00:04 also, asm is compiled and machine language is interpreted, usually 01:00:08 -!- javjav has joined. 01:00:08 because most people wouldn't look at them in the first place :) 01:00:15 hey guys 01:00:18 hi 01:00:19 ais523, remind me, are you in birmingham or manchester 01:00:19 javjav: wow 01:00:22 javjav: we just had someone from virginia! 01:00:25 whose name started with "jav" 01:00:27 i'm almost positive it's manchester 01:00:28 what a coincidence 01:00:30 thats not me 01:00:31 what a coincidence 01:00:40 dont ip ban me pls 01:00:47 i didn't even look up javjav's ip 01:00:51 i just assumed 01:00:52 "busted" 01:00:55 Yes, I'm in SFO. It is a good place to be. 01:00:56 huh 01:01:07 Phantom__Hoover: I'm in Birmingham 01:01:09 so about navi 01:01:10 javjav: just tell us 01:01:13 I was trying to think of a creative lie 01:01:15 navi? what's that 01:01:16 but I couldn't 01:01:17 ais523, omg i'm in coventry! 01:01:18 never heard of any navi 01:01:19 we could like 01:01:21 And it's 6PM on a Saturday, so I should be out having fun, but am instead here, alone in my apartment. 01:01:25 have the saddest esolang weekend 01:01:26 javjav: how did you end up in here... and why? 01:01:27 Phantom__Hoover: that is almost close enough to walk 01:01:29 but not at 2am 01:01:31 ais523: don't do it 01:01:35 ais523: he wants to replace your brain with a brick 01:01:41 he knows about your BF derivatives!! 01:01:42 i like esolangs 01:01:43 s/weekend/meetup/ 01:01:43 elliott: but my BF derivatives are actually good 01:01:53 ais523: "At some point, I shall snap and everyone who has posted a stupid Brainfuck derivative (read: a Brainfuck derivative) to this wiki will have their brains forcefully replaced with a large brick." 01:01:58 ais523: looks pretty unambiguous, friend 01:02:12 i didnt post mine to thenwiki 01:02:21 elliott: I could just meet him somewhere where there are plenty of people around 01:02:25 this is usual anyway 01:02:32 when meeting someone you only know from the Internet 01:02:38 ais523: i'll come to birmingham for irl intercal lessons as long as i can punch Phantom__Hoover 01:02:42 I guess the real question is are there BRICKS around? 01:02:43 perhaps i could charitably call them 'brainfuck variations' 01:02:44 monqy: you'll come too right 01:02:49 imdont get it, how are any of you being constructive?? 01:02:49 Arc_Koen: yes but they're mostly attached to buildings 01:02:53 javjav: we're not! 01:02:56 that's the big joke of #esoteric 01:02:59 elliott: no im too busy doing monqy things 01:03:00 none of us are ever constructive, ever 01:03:01 elliott, aren't you trapped in the body of a 10-year-old girl 01:03:09 elliott: I could be constructive right now 01:03:10 but i was kicked for that 01:03:12 monqy: how can anything be more important than irl intercal lessons with ais523 01:03:13 I even have something to talk about 01:03:19 javjav: you were kicked for just not getting the point 01:03:22 javjav: no you weren't, you just said you weren't javad3v 01:03:23 "I even have bricks to construct with" 01:03:26 javjav: stop lying about being kicked 01:03:32 you guys are so constructive i twitch when lecturers do proofs by contradiction 01:03:35 it was javad3v that was kicked 01:03:38 i died and was reborn 01:03:43 me too 01:03:46 into this new body 01:03:55 i didn't get a body :( 01:04:00 ok 01:04:02 i got your body 01:04:03 im sorry 01:04:10 give it back you little sot 01:04:13 no 01:04:13 my body 01:04:17 im not that sorry 01:04:23 -!- ChanServ has set channel mode: +o ais523. 01:04:24 Gregor: I didn't know you were in SF. 01:04:28 javjav, how close are you to monqy again 01:04:30 -!- ais523 has kicked javjav still doesn't get it. 01:04:39 Gregor: Are you a Haskell person? You should go to the bahaskell meeting next week! 01:04:49 monqy: how about return PH's body at the irl intercal lessons 01:04:52 "a perfect ocmpromise" 01:04:54 I'm not really a Haskell person. Not enough, anyway. 01:04:58 o do you use the "still doesn't get it" field to explain the kick to us or to him? 01:05:06 both 01:05:11 Arc_Koen: yes, both 01:05:14 Arc_Koen: neither 01:05:18 elliott: but how would i get there 01:05:21 he uses it to explain it to the president 01:05:23 -!- unambiguous has joined. 01:05:24 elliott: I'm happy to teach people INTERCAL any time I'm free, anyway 01:05:26 who personally reviews every kick on irc 01:05:30 ais523: gosh i wonder who this unambiguous person is 01:05:35 oh I wasn't aware of that 01:05:36 ais523: please don't ban them it's really funny to see them keep trying 01:05:47 just keep kicking 01:05:47 Gregor: Not enough as in you'd like to be more of one, or as in you have no reason to go to bahaskell? 01:05:47 unambiguous: you are aware your IP is in your hostname, right? 01:05:48 forever 01:06:02 shachaf: The latter. 01:06:04 my name is scott and im from northen ireland 01:06:07 elliott: actually I'm not entirely sure how to formulate the ban to affect only the correct people 01:06:18 and it's at least starting to get slightly amusing 01:06:22 unambiguous, unfortunately the only thing i hate more than brainfuck derivatives is northern ireland 01:06:35 im not from northern ireland 01:06:52 yes you're from northen ireland, you said that already 01:06:53 you could even say your place of origin is... ambiguous 01:06:53 fuck it 01:06:56 im from eastern india, baghdad to be exact 01:07:00 i'm going to sleep 01:07:08 i will get back when things settle 01:07:09 got to be more pleasant than northern ireland 01:07:17 hmm, are there any actual irish esolangers (northern or republic)? 01:07:23 TIL: Baghdad is in India X-D 01:07:26 nooga: how can you tell when to wake up? 01:07:27 im from VA 01:07:34 Gregor: just like Birmingham is in both the UK and the US? 01:07:42 ais523: i said that i will get back 01:07:48 not wake up 01:07:49 im in the rotunda 01:07:53 nooga: come on, this is fun 01:07:55 oh 01:07:57 nooga: so you'll come back while asleep? 01:07:58 "party" 01:08:14 have you met a guy there with a brain the size of einstej 01:08:18 ais523: Yes, with the exception that the Indian one isn't real. 01:08:18 i will wake up, eat breakfast, read the logs 01:08:19 http://esolangs.org/w/index.php?search=guinness seems to imply there are no irish esolangers 01:08:23 -!- ais523 has kicked unambiguous you keep getting kicked for a reason. 01:08:25 and then join the # again 01:08:59 Arc_Koen: good one, a bit 01:09:31 -!- Steven86 has joined. 01:09:35 http://esolangs.org/w/index.php?search=bomb suggests there are some northern irish ones though 01:09:49 Phantom__Hoover: not funny 01:09:51 lfmao 01:10:05 good night 01:10:14 Steven86: sup 01:10:15 my favorite esolang has to be chef 01:10:17 i did not aim for humour, merely offence 01:10:42 Phantom__Hoover: you're better than that 01:10:45 hi steven 01:10:47 does anyone here know chef? 01:10:51 `addquote i did not aim for humour, merely offence 01:10:55 872) i did not aim for humour, merely offence 01:10:59 elliott, not when it comes to northern ireland 01:11:02 hey monqy 01:11:06 have we played the quotes game anytime recently 01:11:10 `quote 01:11:11 `delquote 872 01:11:11 maybe we could get steven's input 01:11:11 `quote 01:11:13 `quote 01:11:14 `quote 01:11:16 `quote 01:11:20 What did Phantom__Hoover say? 01:11:21 153) < ais523> then running repeatedly until you get the right sequence of random numbers < ais523> and just completely ignoring the input <-- some people live their entire lives this way, i reckon 01:11:26 49) ??? Are the cocks actually just implanted dildos? Or are there monster dildos and cocks? Or are both the dildos and cocks monster? 01:11:27 elliott: bonus points if 872 is one of the random ones 01:11:30 Sgeo: it's in the logs 01:11:37 Oh, connecting bombs to Northern Ireland? 01:11:49 i thought this chsnne 01:11:56 490) oerjan: I'm not imaginative enough to write truly great slash fiction 01:11:59 19) there is plenty of room to have two heads 01:12:00 ​*poof* i did not aim for humour, merely offence 01:12:01 wtf is the context of 49 X-D 01:12:04 channel was about esolangs? 01:12:04 i thought this chsnne too 01:12:07 470) Tomorrow's computer viruses will extend robotic arms from your computer to fiddle with the SD card to infect it!! 01:12:09 Steven86: no 01:12:12 totally wrong 01:12:16 oh ok 01:12:24 ^welcome Steven86 01:12:25 Steven86 : Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esote ... 01:12:25 this channel is about feudal japan 01:12:27 we're about neopagan spirituality 01:12:34 feudal japan and neopagan spirituality 01:12:36 and its applicability to feudal japan 01:12:49 whag about neonatzism 01:12:50 IMO 470 01:13:00 19 is bad, but it's there to provide context to the following quotes 01:13:02 ais523: you can kick him now 01:13:04 elliott: agreed 01:13:11 who? 01:13:14 -!- ais523 has kicked Steven86 User terminated!. 01:13:17 oh, hmm 01:13:20 user terminated 01:13:24 `delquote 470 01:13:26 that's my client's default kick message 01:13:28 ​*poof* Tomorrow's computer viruses will extend robotic arms from your computer to fiddle with the SD card to infect it!! 01:13:29 and I never bothered to change it 01:13:31 it's good 01:13:32 `quote 01:13:32 `quote 01:13:32 `quote 01:13:33 `quote 01:13:33 `quote 01:13:37 We need `unwelcome 01:13:47 148) You people. You people are so stupid. I'm making a SOCIOLOGICAL statement here. 01:13:58 elliott, why did you delete 872?? 01:14:08 well it wasn't funny 01:14:16 846) i just hit enter b/c its easier than ctrl+a del 01:14:22 -!- nooga has quit (Ping timeout: 244 seconds). 01:14:24 521) im hungary too...but cnnot eat until hours 01:14:26 48) no Deewiant No?! I've been living a lie yep. Excuse me while I jump out of the window -> 01:14:27 217) vorpal: a lot of people in AK fly quintopia, well getting a pilot cert is a lot more complex than a driving license :P being an AK resident is a lot more complex than a driver's license too 01:14:30 511 is bad 01:14:30 uh did you READ the quote? 01:14:32 btw, 153 is a programming technique I was seriously considering for /ˈæmbiːɛf/ 01:14:32 Arc_Koen: btw i think we do not have such a category 01:14:38 `quote 511 01:14:46 511) Maybe if you try diplomacy. Pointy steel diplomacy 01:14:48 which is /so/ its official name, now 01:14:51 monqy: itym 521 01:14:53 I mean, it always was 01:14:57 i quite like 521 because it says hungary 01:14:57 but that's how you write its official name down 01:15:04 elliott: yes i meant 521 01:15:05 `quote 521 01:15:08 521) im hungary too...but cnnot eat until hours 01:15:08 elliott: btw, will that name work on the wiki? or will it cause similar problems to ///? 01:15:13 ais523: thanks for reminding me that http://esolangs.org/wiki//// is broken 01:15:16 ais523: well I can fix that 01:15:18 it's just a configuration change 01:15:25 but it requires admitting to myself that I'm never going to finish setting up mailman 01:15:31 which requires emailing taral to tell him i can't do it 01:15:34 elliott: well that was kind of a rhetorical question anyway 01:15:39 which requires getting over procrastination + stress 01:15:45 oh, I sort-of thought you were running the lists atm 01:15:46 so probably it will happen in ten years 01:15:50 heh 01:16:24 -!- encapsulated314 has joined. 01:16:26 who is, then? still Taral, on a system that no longer exists? 01:16:46 yes 01:16:46 -!- micrypt has left. 01:16:53 `WELCOME encapsulated314 01:16:56 ENCAPSULATED314: WELCOME TO THE INTERNATIONAL HUB FOR ESOTERIC PROGRAMMING LANGUAGE DESIGN AND DEPLOYMENT! FOR MORE INFORMATION, CHECK OUT OUR WIKI: HTTP://ESOLANGS.ORG/WIKI/MAIN_PAGE. (FOR THE OTHER KIND OF ESOTERICA, TRY #ESOTERIC ON IRC.DAL.NET.) 01:17:01 encapsulated314: Hi! Welcome to the Esolang channel. 01:17:05 encapsulated314: hello, this is a channel about esolangs 01:17:12 encapsulated314: Hey, we have a wiki at http://esolangs.org/wiki/Main_Page! 01:17:15 encapsulated314: hi there what's up 01:17:23 encapsulated314: have you heard of the gret new language "navi" it's what we'vre been talking about 01:17:23 encapsulated314: Good evening! This is a channel about esoteric programming language. 01:17:25 s. 01:17:28 * Sgeo vaguely hopes that this isn't some person stalking me 01:17:33 encapsulated314: What's up? Here we talk about esoteric programming languages! 01:17:34 it's a brainfuck derivative with "hello" and "listen" 01:17:45 monqy: have you ever actually played Ocarina of Time? 01:17:49 encapsulated314: Hey, how are you doing? Here we talk about the new & exciting happenings in the world of esoteric programming languages! 01:18:03 elliott is lying. 01:18:05 Kick him, ais523. 01:18:10 ais523: one time I got into the deku tree and got either stuck or bored 01:18:19 monqy: that's my ocarina of time experience too 01:18:19 how can you mock navi then 01:18:20 ais523: or I started and got there and realized I didn't want to play it 01:18:26 shachaf: I was going to wait for a random amount of time, and then kick him 01:18:28 you don't understand the depth of her character 01:18:29 * Sgeo has erm, heard of Ocarina of Time 01:18:34 Phantom__Hoover: I was thinking more of the misquote 01:18:38 I got further in majora's mask!!! all the way to uhh I forget what it's called 01:18:40 ais523: hey, kicking me is immoral 01:18:44 I think I got the compass in woodfall temple 01:18:44 I'm useful! 01:18:52 navi says hello as well 01:18:59 * Sgeo has watched Legend of Neil, for what little that's worth 01:19:07 monqy: all I remember about majora's mask is it had some realtime-based mechanic (related to the three days thing I think???) that really stressed me out 01:19:07 monqy: the funny thing is that tatl, the navi-version in majora's mask, actually does have quite some character depth, and even development 01:19:09 so I couldn't play it 01:19:14 whereas navi is just a tutorial fairy 01:19:23 i played oot but i was shit at it 01:19:25 elliott: yes, the world ends in three days 01:19:31 you can reset the world 01:19:31 monqy: I think it turned out I also misunderstood the mechanic as much more tight than it actually is 01:19:33 j] 01:19:34 later 01:19:36 erm 01:19:46 and get a bit further due to accumulated knowledge, also items for some reason 01:19:48 now the woodfall temple song is stuck in my head 01:19:49 i was too scared to actually fight things 01:20:02 ais523: all I remember is a day seemed to go by awfully quickly in real time!! 01:20:07 it does 01:20:09 so i just fucked around in towns 01:20:15 you can slow it down from the second cycle onwards 01:20:17 ais523: so I was scared I wouldn't be able to win in time 01:20:17 you can do a song to make days go by slower 01:20:18 play the song of time in reverse! 01:20:20 right 01:20:21 I didn't nkow that 01:20:23 the first cycle is the only one with real time pressure 01:20:25 I thought you just had to play fast!! 01:20:32 and even then there's huge amounts of slack 01:20:32 you still do 01:20:38 thats to skip half a day 01:20:47 encapsulated314: no 01:20:48 there are some sidequests that have to be completed in a single cycle 01:20:59 if you're going to give people factual advice about Majora's Mask, please don't get things muddled 01:21:00 yss 01:21:02 I also had windwaker I think 01:21:04 -!- ais523 has kicked encapsulated314 User terminated!. 01:21:05 but never played it much at all 01:21:11 you have to repeat the notes to skip half a day 01:21:19 playing it backwards slows it down 01:21:23 other things that get you kicked in #esoteric: giving misleading information about zelda games 01:21:24 to 1/3 normal speed 01:21:30 learning lots today 01:21:39 hmm, come to think of it i think my basic problem with the zelda games was that when i played them i wanted to be playing a tes game 01:21:41 elliott: it's more that if someone has proven themselves kickworthy 01:21:44 you can kick them for any reason at all 01:21:51 Phantom__Hoover: tes? 01:21:58 ais523: next time try kicking them as soon as they join before they say anything 01:21:59 the elder scrolls? 01:22:02 it'll be funny to see how they react the next time 01:22:06 after that I mean 01:22:08 it's quite a popular series 01:22:10 Phantom__Hoover: aha 01:22:14 just didn't get the acronym 01:22:31 I know of the series 01:22:39 it's also really badly broken, most of the games in it I mean 01:22:50 i know 01:22:53 such as the way in Morrowind that you can create potions that make you better at creating potions 01:22:57 and go exponential with it 01:23:02 the morrowingularity! 01:23:04 -!- obfuscatedC has joined. 01:23:36 fun fact, CHIM is actually a pile of yams and leather 01:23:39 ais523: you can also walk on floating paintbrushes, I hear 01:23:52 Phantom__Hoover: the silly thing is that that isn't even the fastest way to complete it 01:24:00 -!- ais523 has kicked obfuscatedC same person…. 01:24:08 everyone pretends it's all mystical and incomprehensible because it sounds cooler that wy 01:24:09 *way 01:24:25 ais523: or is that oblivion? 01:24:33 that's oblivion 01:24:56 there's a stat in both that affects your jumping height though 01:25:05 -!- IWontSayAWord has joined. 01:25:10 ais523: you don't have to kick this one 01:25:12 he won't say a word 01:25:20 and in morrowind there are 3 unique scrolls that let you jump clean across the game world 01:25:26 right 01:25:28 i've seen that speedrun 01:25:41 Phantom__Hoover: the difficulty is landing, right? 01:25:52 ais523, you need to use another one to land, yeah 01:25:59 (the developers put that in as a joke, but it turns out it is indeed possible to survive the landing) 01:26:01 what happens if you don't 01:26:04 do you die on landing 01:26:06 splat 01:26:10 mmm 01:26:13 what scroll lets you land 01:26:18 the one that lets you jump 01:26:32 the stat affects your jumping height and the distance you can fall before taking damage 01:27:22 so basically you can jump once, and after that it's just an elaborate way of committing suicide 01:27:56 also the game in general is just broken 01:28:23 especially if you know where to get the good equipment 01:29:07 * Sgeo wishes he knew for certain that the weird person repeatedly entering wasn't a particular person stalking him 01:29:24 Sgeo: you have a stalker? 01:29:27 actually, I can believe that 01:29:34 but we think it's just a troll 01:29:42 Sgeo: is your stalker in virginia 01:29:55 btw said person is in the channel 01:30:04 ais523, well, was being harassed on Facebook and via phone about a month or so ago. And no, not in Virginia 01:30:31 their ip geolocates to virginia 01:31:13 Ok 01:32:25 im not a stalker im just bored as fuck /end break of rules 01:33:08 ais523: kick IWontSayAWord for lying 01:33:10 (their name is a lie) 01:34:50 Sgeo, why were they stalking you 01:34:57 is everyone here communicating in skm 01:35:11 some way i cant see or aomething? 01:35:41 yes 01:35:48 we're communicating in sign language 01:36:00 i communicate in navi 01:36:05 -!- Jafet has quit (Quit: Leaving.). 01:36:22 heyheyeh 01:36:24 i communicate exclusively in braille. 01:36:26 Hey! Listen! 01:36:33 if you put your finger on your screen hard enough you can feel the bumps 01:36:47 monqy: i think that's just my finger hurting 01:36:49 IWontSayAWord: Hey! Listen! Hey! Listen! 01:36:51 help 01:36:53 monqy: ow 01:36:55 monqy: ow ow ow 01:36:57 monqy: make it stop!!!! 01:37:02 im pressing but it keeps hurting 01:37:06 heyheyheyheyheylistenheyheyhey 01:37:13 monqy: im dying of pain 01:37:25 ok, confirmed. he does speak navi 01:37:31 have you tried using your other finger 01:37:34 monqy: ok 01:37:41 hows france elliot 01:37:46 now they're both hurting!!! ow ow ow ow ow ow ow 01:37:46 ow 01:37:54 IWontSayAWord: it's great. the best countries are the ones i'm not in ow ow ow 01:37:58 maybe it's your computer screen that hurts 01:38:11 -!- Phantom_Hoover has joined. 01:38:21 sup 01:38:31 monqy: it's my life........... 01:38:32 my life hurts 01:38:38 im holding tab and watching the "Hoover" dance 01:38:52 Phantom_Hoover: 01:38:53 everyone here is from different countries 01:38:53 good dance 01:39:03 hehehe 01:39:06 IWontSayAWord: ais523 lives in france with me 01:39:09 that's a funny dance 01:39:24 also i live in hexham with comex 01:39:39 monqy lives with shachaf 01:39:46 monqy *is* shachaf 01:40:12 and shachaf is elliott and elliott is school 01:40:14 conclusion? 01:40:19 shaahshdfc is in the usa with me 01:40:33 -!- ais523 has kicked IWontSayAWord User terminated!. 01:40:44 elliott: sorry, I was busy in #nethack 01:40:47 they just discovered a bizarre bug 01:41:06 apparently wielding or offhanding a potion of blindness protects you from certain blinding effects 01:41:13 -!- Phantom__Hoover has quit (Ping timeout: 252 seconds). 01:41:23 ais523: that sounds sort of intentional 01:41:29 my theory is that they were checking for worn blindfolds 01:41:33 not worn potions of blindness 01:41:37 and screwed up the check 01:41:52 offhanding a potion of blindness protecting you from yellow lights makes no sense 01:42:01 -!- youguysaremean has joined. 01:42:06 offhanded items, when you're not two-weaponing, aren't even being used in any significant sense 01:42:11 elliott: can I ban him yet? 01:42:14 or shall I just keep kicking? 01:42:16 -!- ais523 has kicked youguysaremean User terminated!. 01:42:22 or her I guess 01:42:28 he's been using male names, though 01:42:32 ais523: if it is too much work for you to kick then you can ban 01:42:34 so if he's female he's really guarding his gender well 01:42:37 it is sort of funny seeing them be so persistent though 01:42:40 yes 01:44:27 should maybe pointing him to stalker mode if he wants to watch the chat happen 01:44:35 assuming he's sincere about being bored 01:45:14 suggest setting +m to shut him up 01:45:28 as Gregor has voice, there should be no real collateral 01:47:22 -!- Jafet has joined. 01:53:29 -!- Frooxius has quit (Ping timeout: 246 seconds). 01:54:10 -!- whitespacer has joined. 01:54:59 monqy, shall I link? 01:56:24 sure 01:57:12 whitespacer, if you want to watch the chat without being in channel, you can at http://codu.org/logs/log/_esoteric/s 01:57:43 whats the difference? honestly 01:58:16 I could say, but it's kind of mean. 01:58:33 uuh its the internet dont be afraid be mean 01:58:42 Honestly? The difference is that we won't have to deal with your presense in channel. 01:58:50 trololololol 01:59:20 so about navi 01:59:40 how should i go about optimizing it? 01:59:42 ais523? 01:59:59 should inwrite it in machine code? 02:00:22 directly in binary? 02:00:33 no 02:00:35 unary 02:00:51 how about infinityary 02:01:02 no 02:01:04 whitespacer: q 02:01:05 whitespacer: qqq 02:01:06 whitespacer: qqqqqq 02:01:06 whitespacer: qqqqqqqq 02:01:07 whitespacer: qqqqqqqqqqq 02:01:08 whitespacer: qqqqqqqqqqqqqq 02:01:08 whitespacer: qqqqqqqqqqqqqqqqq 02:01:09 whitespacer: qqqqqqqqqqqqqqqqqqqq 02:01:11 whitespacer: qqqqqqqqqqqqqqqqqqqqqqq 02:01:13 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqq 02:01:15 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:01:17 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:01:19 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:01:21 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:01:23 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:01:25 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:01:27 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:01:29 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:01:30 °±°±°±° 02:01:31 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:01:33 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:01:35 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:01:37 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:01:39 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:01:41 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:01:43 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:01:45 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:01:47 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:01:48 √π÷§Δ~£©®™℅¿¡\`•÷° 02:01:49 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:01:51 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:01:53 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:01:55 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:01:56 something about squeaky wheels, oiling 02:01:57 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:02:00 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:02:02 • 02:02:02 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:02:04 whitespacer: qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 02:02:06 q 02:02:06 whitespacer: i think elliott wants something from you 02:02:08 -!- ais523 has set channel mode: +m. 02:02:19 -!- ais523 has set channel mode: -m. 02:02:26 it's like when a baby cries but it's elliott and q 02:02:27 hey now ais523 02:02:37 i was about to engage in polite conversation with whitespacer "trololololol" whitespacer 02:02:39 that was too many qs 02:02:42 whitespacer: i see you use os x 02:02:44 and you don't know if the baby wants food or diapers or what 02:02:47 °Δ° 02:02:55 -!- ais523 has kicked whitespacer User terminated!. 02:03:13 ais523: would you kick oklofok for doing okokokokoko 02:03:18 pretty sure this is unfair opping 02:03:25 no, assuming he spelt it correctly 02:03:33 I'd probably join in though 02:03:39 and besides I didn't kick you 02:03:43 I just +med the channel for a bit 02:04:03 this is my usual response to botloops 02:04:07 -!- pleasehearmeout has joined. 02:04:09 I don't see why I shouldn't do them when they involve humans 02:04:15 alright give me 2 seconds 02:04:22 -!- ais523 has kicked pleasehearmeout that was 2 seconds. 02:04:22 cocococococococococococococococococococococococococococococococococococococococococococococococococococococococococococococococococococococococococococococococo 02:04:25 * coppro ducks 02:04:39 probably a bit more than 2, actually 02:04:43 took me a while to tab-complete the name 02:04:45 7 per my client 02:04:47 o 02:04:48 oko 02:04:49 okoko 02:04:50 okokoko 02:04:52 okokokoko 02:04:53 okokokokoko 02:04:55 okokokokokoko 02:04:57 okokokokokokoko 02:05:00 okokokokokokokokoko 02:05:01 fuck 02:05:04 monqy: you should try 02:05:08 that's how oko pyramids normally end 02:05:09 (repeating history lines is cheating) 02:05:14 you can keep them going for ages with history but that's cheating 02:05:35 ais523: we need a bot that kicks people who fuck them up like in that other channel 02:05:46 what other channel? 02:05:53 the home of okos 02:06:09 there's a #okokoko? 02:06:18 apparently not 02:06:35 ok, what is actually the history of this oko thing? 02:06:42 I don't actually know 02:06:49 oklopol used to randomly say o a lot 02:06:52 just with no context 02:06:58 I still do it, but only when I remember, which is rarely 02:07:00 o 02:07:03 because you can only do it as a non sequitur 02:07:09 then people started following up with ok 02:07:10 *oko 02:07:12 haha 02:07:21 and then the original person would respond with okoko 02:07:24 and you'd form a pyramid 02:07:35 then it sort-of became a game to avoid screwing it up first, and you had to do all the typing by hand 02:08:15 it also helps that the spelling of oklopol's name is somewhat fluid 02:08:25 I think "oklopol" is the most common 02:08:32 but you get oklofok and okopol and all that sort of thing too 02:09:52 "Unlikely takes dependency injection to the logical extreme." 02:10:09 Doesn't Newspeak try to do that, in an actually productive language? 02:10:25 ais523: that isn't its origin btw 02:10:27 Newspeak is a productive language? I thought it was designed to make it impossible to express traitorous thoughts? 02:10:29 elliott: go on 02:10:31 pretty sure solo okoing came firts 02:10:33 *first 02:10:36 hmm, perhaps 02:10:41 at least there were large streaks of just one person doing it in that other channel 02:10:45 o 02:10:46 oko 02:10:46 okoko 02:10:47 what other channel! 02:10:48 okokoko 02:10:51 /kick ais523 02:10:52 is it secret? 02:10:53 ais523: #vjn 02:10:55 o 02:10:55 oko 02:10:57 I've never been there 02:10:57 okoko 02:10:58 o 02:10:59 oko 02:11:00 okoko 02:11:01 okokoko 02:11:02 okokokoko 02:11:04 okokokokoko 02:11:05 only only vaguely remember it being mentioned 02:11:06 okokokokokoko 02:11:08 /kick ais523 02:11:16 what is it 02:12:11 ais523, http://newspeaklanguage.org/ 02:12:43 o 02:12:43 oko 02:12:45 okoko 02:12:46 okokoko 02:12:47 okokokoko 02:12:50 okokokokoko 02:12:52 okokokokokoko 02:12:55 okokokokokoko 02:12:57 fuck 02:13:00 monqy: you should try!! it's fun 02:13:08 also keeping a count is cheating i think 02:13:18 i don't like that sort of game 02:13:30 im playing a different game too 02:14:00 monqy: what game 02:14:18 it doesn't have a name 02:14:39 elliott: is it traditional to say "fuck" after screwing it up? 02:14:44 that's just me saying fuck 02:14:47 I want to play but don't want to flood the channel 02:14:48 b/c i'm frustrated at messing it up 02:14:53 monqy: how do you play it 02:14:56 Sgeo: #esoteric-blah 02:15:04 Sgeo: flooding the channel is part of the game 02:15:08 it's ok because ais523 will just +m if he gets upset 02:15:09 huh, there's nobody there any more 02:15:11 and then only Gregor can play 02:15:13 but me and Sgeo 02:15:33 the channel was created for the purposes of being flodded 02:15:34 *flooded 02:15:42 and chanserv still seems to be maintaining it after all this time 02:15:43 yes but so was #esoteric 02:15:43 hum does the latest ocaml implementation have some mind reading stuff included? 02:15:50 Arc_Koen: not that I know of 02:15:55 if it does, let me know, it might be worth upgrading 02:16:04 elliott: the game is just coq's standard library :[ 02:16:10 monqy: that's a name! 02:16:13 well I made a file named deque.ml to implement a deque module 02:16:37 thing is I've never implemented a module before - I had no idea what I was supposed to do to compile another file using it 02:17:11 and well hum I made another .ml file which referred to functions from the deque.ml, using the prefix Deque. 02:17:17 Arc_Koen: oh it looks at the filename 02:17:24 and I tried to compile it AND IT WORKED 02:17:30 it'll even complain if you write a file with a filename that isn't a valid identifier 02:17:34 although it'll compile it anyway 02:17:43 yes it does that all the time 02:18:07 but does that mean I don't need to say anything when compiling? 02:18:14 it'll just find the other file by itself? 02:19:39 if it's in one of the places it looks by default, yes 02:19:43 I think the same directory is one of those 02:20:03 that's pretty convenient 02:20:25 though I think I'm gonna set most files to read only from now on 02:23:01 oh, hmm, if I change something in deque.ml that doesn't seem to affect the compilation 02:23:26 I guess it's using deque.cmo or deque.whatever from an earlier compilation 02:24:26 Note: This config file is not supported by any currently shipping kernel version and is expected to be supported only in kernels >=3.7. It has been confirmed to be working in >=3.5. 02:24:29 ais523: does this make any sense to you 02:27:59 Wait, Unlikely classes only have one method? 02:28:53 -!- printercaller has joined. 02:30:17 my favorite programming language is navi 02:30:42 huh, I was pinged when he joined the channel this time 02:30:46 guess why 02:30:52 im leaving 02:30:59 forever 02:31:09 elliott: is 3.5 shipping? 02:31:18 ugh hold on 1 sec... 02:31:19 I guess it means that they just implemented it and as such aren't supporting it yet 02:31:28 -!- ais523 has kicked printercaller that's more than a second. 02:31:46 for some reason my stalkword on INTERCAL was triggering on every line he spoke 02:31:50 because it matches the nick too, or something 02:31:57 but it's hilarious that he made that mistake twice 02:32:26 -!- iactuallywasabou has joined. 02:32:27 I thought it was because I pinged you in another channel 02:32:28 i really was 02:32:37 about to leave 02:32:42 yes 02:32:44 but then you kicked me 02:32:49 but you don't say "hold on 1 sec" and then not react instantly within 1 second 02:32:51 so i cam back 02:32:52 Sgeo: what other channel are they in 02:32:53 we're excessively literal here, sometimes 02:32:57 is it -blah 02:33:10 elliott: they aren't, rather Sgeo is in another channel and doesn't seem to realise PM exists 02:33:14 you could have had me gone forever 02:33:19 bb 02:33:20 and thus is spouting a sequence of non sequiturs there 02:33:20 ais523: is it #nethack 02:33:24 yes 02:33:29 then you decided to kick me 02:33:40 well, I could just ban you 02:33:40 iactuallywasabou: it would actually be really really easy to ban you so you can't come back 02:33:46 it's just more effort than you're worth, you know? 02:33:57 thn i can just use a proxy 02:34:01 damn 02:34:02 a proxy 02:34:05 that's some hacker techs 02:34:10 7 proxies 02:34:16 too bad freenode has an open proxy scanner thing :'( 02:34:34 then i can just use my vomputer 02:34:34 also, 7 proxies is a meme 02:34:41 which you should feel bad for spouting 02:34:44 im on my twblet tri 02:34:52 twblet 02:35:00 tablet 02:35:06 http://knowyourmeme.com/search?utf8=%E2%9C%93&q=behind+seven+proxies 02:35:10 which i hate 02:35:18 I was just hilariously amused at that utf8= parameter in the URL 02:35:31 sure you were 02:35:36 (it's an URLencoded UTF-8 encoded ✓) 02:35:59 it looks like some sort of UTF-8 check except that wouldn't actually work 02:36:02 m going to come back here everyday 02:36:05 so, I don't know why it's there 02:36:18 Easter egg/ 02:36:20 ? 02:36:25 i have 6 different devices i could come here on 02:36:27 you don't put easter eggs in the URL 02:36:34 iactuallywasabou: there's room for 7 bans 02:36:38 okay 02:36:39 actually there's not 02:36:42 our ban list is totally full 02:36:43 shit guy 02:36:44 s 02:36:45 he's got us!!! 02:36:46 fuck fuck fuck 02:36:49 what are we going to do 02:36:56 im going to sing now 02:37:11 were no strangers to love 02:37:23 you know the rules amd so do i 02:37:26 good one iactuallywasabou 02:37:37 you know commitments what im thinkingnof 02:37:47 -!- ais523 has set channel mode: +q iactuallywasabou!*@*. 02:38:00 took me a while to remember that command 02:38:21 he didn't even get the lyrics right. this is pathetic 02:38:21 elliott: btw, check wiki recent changes :) 02:38:33 ais523: ahahahaha 02:38:36 I'll leave it up to you what to do with that edit, it's hilarious 02:38:55 I suggest reverting it, but you might want to implement some degree of ban too 02:39:18 ais523: maybe should just replace "ban" with "kick" to make it more accurate 02:39:22 can't deny the completer asses part 02:40:34 I rolled it back 02:40:45 WinAmp... 02:41:10 ais523: how could you 02:41:22 how about just readd "BE WARNED: The people here are completer asses." 02:41:36 -!- elliott has set topic: BE WARNED: The people here are completer asses. | http://codu.org/logs/_esoteric/. 02:41:47 good enough 02:42:20 OK, /me approves of the topic 02:42:36 what should we complete today is an unkind fashion 02:42:39 *in an 02:42:41 as is our duty 02:42:53 -!- DHeadshot has joined. 02:43:51 in 24 years I will be too old to deal with a million spammers coming back at once 02:43:53 I could listen to this all day 02:43:54 http://www.youtube.com/watch?v=cKqKrH0O9yg 02:44:10 -!- iactuallywasabou has quit (Quit: Page closed). 02:44:11 Error: Error while linking superstack.cmo: 02:44:11 Reference to undefined global `Deque' 02:44:14 why do you think they'd all come back at once? 02:44:21 -!- ais523 has set channel mode: -q iactuallywasabou!*@*. 02:44:27 who turned the mind-reading thing off??? 02:44:42 Arc_Koen: you need to list deque.cmo while linking too 02:44:46 -!- naviISGOD has joined. 02:44:49 navi navi navi 02:44:55 hey listen 02:44:59 what do you mean "too"? I never did that before! 02:44:59 ais523: 41 is pretty old 02:45:01 hey listen 02:45:07 hey listen 02:45:09 naviISGOD: you realise you got un-muted right 02:45:13 you didn't even have to make a new nick! 02:45:19 ok 02:45:23 sorry 02:45:27 ais523: http://esolangs.org/w/index.php?title=Esolang:Community_portal&curid=983&diff=34249&oldid=34248 02:45:33 guys i sorry 02:45:44 ill stop now 02:45:49 if 02:45:55 ais523: already dealt with tho 02:46:06 input: n 02:46:19 sum « 0 02:46:39 unicode 02:46:40 fancy 02:46:47 repeat following two steps while n != 0 02:46:52 -!- DHeadshot has quit (Read error: Connection reset by peer). 02:47:06 n = n*n 02:47:10 -!- DHeadshot has joined. 02:47:15 naviISGOD: btw you can still edit your user talk page at http://esolangs.org/w/index.php?title=User_talk:108.28.95.130&action=edit&redlink=1 to appeal your ban 02:47:18 sum = n * sum 02:47:19 if you so desire 02:47:30 output: n, sum 02:48:07 in my ap comp sci clas 02:48:20 we wrote a pseudeo code compiler 02:49:28 in machine laanguage 02:49:38 congratulations 02:49:45 then transmorgified that into navi 02:49:58 and ran it from there 02:49:59 congratulations 02:50:21 i am bill gates 02:50:28 me too 02:50:37 no youre steve jobs 02:50:41 oops 02:51:06 lololololololol Allen turing was GAy 02:51:25 ais523: you can kick now 02:51:30 I think so 02:51:30 do it 02:51:37 Do It 02:51:37 -!- ais523 has kicked naviISGOD User terminated!. 02:51:59 Such homophobia. 02:52:00 they are wasting so much time 02:52:04 this is great 02:52:07 Makes me wanna fuck a dude. 02:53:01 I just tried to ban them but screwed up the command 02:53:06 so looks like they get another chance 02:55:13 http://sprunge.us/DSET gzip: it's easy. (wheeee) 02:56:44 elliott: You know you want to tell me I'm a terrible programmer. 02:57:28 standards lawyering is hard on code that's more than a line long 02:57:34 :P 02:57:59 i find your omitting braces on that else clause with a braced if clause distasteful however 02:58:12 also the use of lowercase in hex constants 03:01:32 I wrote a (stupid) gzip compressor in less space than zlib's crc32. Is everyone bad, or am I just good? 03:01:55 Maybe zlib isn't stupid. 03:02:02 is it as fast as zlib 03:02:17 elliott: Actually, fast*er*. Though also worse. 03:02:31 does it compress within an order of magnitude of zlib 03:02:41 elliott: Depends on the input. 03:02:43 It's RLE-only. 03:02:58 shachaf: 425 lines of code for one of the simplest checksum algorithms. 03:03:01 i would hazard a guess that maybe everyone else wants something more than run-length encoding 03:03:14 elliott: I want it to be better. 03:03:28 http://www.stillhq.com/gpg/source-modified-1.0.3/zlib/crc32.html 03:03:29 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:03:34 this doesn't look like 425 lines of code 03:03:38 i guess it's a bit old 03:03:53 https://github.com/madler/zlib/blob/master/crc32.c This is what I'm going off of. 03:04:12 Huh. The older the zlib the more reasonable, eh? :P 03:04:47 lots of those comments are comments or configuration stuff 03:04:51 s/comments/lines/ 03:04:55 by the looks of it 03:05:11 and optimisations (that may not be relevant in 2012) 03:05:51 s/may not/almost certainly are not/ This is code with far pointer annotations. 03:06:17 well the four-bytes-at-a-time stuff looks relevant 03:14:08 CRC32 is an utterly minimal amount of the time here... 03:21:11 far pointer annotations 03:21:13 ? 03:21:23 Sgeo: For DOS. 03:22:40 i bet it was less minimal in the 90s 03:23:12 When zlib had less crc32 code. ;) 03:24:10 "However, it is widely known that "REPEAT" loops alone are not sufficient for a Turing-complete language." 03:24:24 * Sgeo did not know that 03:24:40 "The secondary design goal of ZOWIE was to strike the perfect balance between It's a Mad Mad Mad Mad World and The Party. It is generally considered a morbid failure in that regard, what with not being a madcap 60's movie and all." 03:24:49 -!- mig22 has joined. 03:29:45 "When a value is written into R7, the boolean negation of that value is written into R7: 1 if the value was 0, and 0 otherwise. Reading from R7 always offers the value 7. 03:29:46 " 03:30:04 I assume that that should say "written into R8" 03:31:19 Sgeo: well I might be missing some context but if the only instruction a language contains is Repeat{ ... } then it's definitely not turing-complete 03:31:41 http://catseye.tc/projects/zowie/README.markdown.html 03:31:43 for one thing, this language actually doesn't have any valid program 03:32:40 (unless the empty program is a valid program) 03:33:39 "Many find the syntax for labels to be quite sumilar to that for identifiers. (Some even find it to be quite similar.)" 03:33:42 http://catseye.tc/projects/quylthulg/doc/quylthulg.html 03:34:39 "But you see what I'm getting at, don't you? Hopefully not." 03:35:44 * Arc_Koen digs his style 03:38:34 -!- monqy has quit (Quit: hello). 03:38:42 " It should be noted that there are at least three schools of thought on this subject. 03:38:42 The first school (Chilton County High School in Clanton, Alabama) " 03:38:57 are you quoting every spec chris has written 03:40:00 i'm ok with that 03:40:01 just asking 03:40:28 Probably not, I don't think I can possibly read all of them 03:58:37 -!- kinoSi has quit (Read error: Connection reset by peer). 03:59:04 -!- kinoSi has joined. 04:00:54 Hmm. Has kinoSi ever said anything? 04:04:52 Hmm, there's a larabee language 04:04:56 Any connection to Gregor? 04:05:25 I speak all languages. 04:06:03 Gregor, glottal master. 04:08:41 "(It should be noted that it was rougly at this point that Pressey reached one of the peaks of his so-called "referential" period, in which he was apt to provide "commentary" on his own work, in the form of interjections or asides, as if from the perspective of a historian from a much later era. Such pretentious interruptions were generally not well received, except perhaps by the occasional loser such as yourself.)" 04:20:38 I r no loser 04:22:26 anyway it's almost 6:30 and I actually plan to go to bed *before* the time when I must get up so gnight 04:23:00 -!- Arc_Koen has quit (Quit: that's dr. turing to you, punk). 04:26:49 Sgeo: any connection to gregor?? 04:27:13 Gregor: How about Portuguese? 04:27:33 elliott, Gregor sometimes goes by "Lawlabee" 04:27:47 shachaf: Portuguese is just Spanish with a funny accent, Spanish is just French with a funny accent, French is just Dutch with a funny accent, Dutch is just English with a funny accent. 04:28:25 And Finnish is just Japanese with a funny accent. 04:28:33 Yup. 04:29:51 @quote dutch 04:29:52 shachaf says: I think Dutch is just a parody of English. 04:29:58 I guess you're right about Dutch. 04:30:13 pikhq_: Finnish isn't a real language. 04:30:57 shachaf: No, it's an accent of Japanese. 04:31:00 See, not a language. 04:31:21 What's Russian? 04:31:40 Polish with a funny accent. 04:31:55 A language encoded in our DNA, that can only be accessed when sufficiently drunk. 04:32:08 All drunk men speak Russian. 04:32:15 I,I given a sufficiently drunk compiler 04:35:56 I keep finding typos in cpressey's documentation 04:36:05 elliott: whoa, dude 04:36:06 At least I assume they're typos 04:36:16 Remember the time when someone said something sensible in #haskell and then it turned out it was you? 04:36:25 when was that 04:38:49 A few years ago. 04:39:02 ok 04:39:58 By year I mean second. 04:40:03 me too 04:42:02 instance Functor BashVar n, maybe? 04:42:11 shachaf: Are there really even more people who just make up answers? 04:42:15 Than there used to be, I mean. 04:45:41 elliott: How can there be more than "all of them"? 04:46:32 *Some* people don't just make up answers. 04:46:58 Oh? 04:47:44 elliott, for instance. 04:48:07 Huh? 04:48:12 elliott just made up an answer right now! 05:15:00 -!- ogrom has joined. 05:15:09 -!- ogrom has quit (Client Quit). 05:32:05 -!- elliott has quit (Ping timeout: 248 seconds). 05:48:59 Didigm is making me hate French. 06:11:06 -!- monqy has joined. 06:20:24 Reading the Mascarpone spec 06:20:32 I really like the naming of reify/deify 06:39:30 -!- iconmaster has joined. 06:43:18 -!- copumpkin has quit (Ping timeout: 245 seconds). 06:43:54 -!- copumpkin has joined. 06:44:02 -!- iconmaster has quit (Ping timeout: 255 seconds). 07:06:18 -!- ais523 has quit. 07:17:13 -!- DHeadshot has quit (Ping timeout: 245 seconds). 07:20:42 -!- atriq has joined. 07:30:12 -!- DHeadshot has joined. 07:43:21 -!- epicmonkey has joined. 07:53:35 some kicking 08:34:07 * Sgeo looks up at logs, and realizes that the reify/deify thing still fascinates him. It has not stopped being a fascinating thing. 08:48:49 Make it a thing/Make it a god 08:48:50 ? 08:48:54 I got deified once 08:49:34 atriq, yes 08:50:21 In Mascarpone, v (reify) pushes the current interpreter onto the stack, and ^ (deify) pops the interpreter from the stack and makes it the current interpreter 08:50:50 :) 08:52:44 Is Mascarpone the one with first class esolangs? 08:53:21 -!- nooga has joined. 08:54:01 I don't think the spec called them "esolangs" as such, but that seems fair enough 08:54:09 Just "interpreters" 08:56:15 The world is quiet here 09:03:55 -!- atriq has quit (Quit: Leaving). 09:10:21 -!- kinoSi has left ("kill -TERM $"). 09:32:46 -!- ogrom has joined. 09:39:45 uh 09:40:04 Hi no 09:40:06 nooga, 09:40:22 hi no to you too, sgeo 09:40:39 hi mo 09:40:42 The perils of tab-complete. 09:40:57 MORE LIKE: 09:41:00 tab-incomplete 09:41:04 CORRECT? 09:41:19 Yes, that is not correct. 09:42:12 ...having trouble finding the exact quote :( 09:43:52 -!- atriq has joined. 09:53:55 are we safe? 09:57:21 -!- ogrom has quit (Quit: Left). 10:00:28 From? 10:01:54 No 10:02:23 We've been infiltrated 10:06:09 -!- monqy has quit (Quit: hello). 10:13:25 from this troll 10:14:37 Hasn't been here for a while 10:20:59 -!- nooga has quit (Ping timeout: 246 seconds). 10:36:24 -!- Vorpal has joined. 10:36:55 -!- Jafet1 has joined. 10:37:39 -!- Jafet has quit (Ping timeout: 260 seconds). 10:39:54 -!- Jafet has joined. 10:41:14 -!- Jafet1 has quit (Ping timeout: 240 seconds). 10:42:24 Hmm 10:44:06 -!- Jafet has quit (Ping timeout: 245 seconds). 10:48:41 -!- epicmonkey has quit (Remote host closed the connection). 10:51:05 -!- epicmonkey has joined. 10:52:43 -!- Phantom_Hoover has joined. 10:54:29 -!- epicmonkey has quit (Remote host closed the connection). 10:54:45 -!- epicmonkey has joined. 10:59:49 -!- monqy has joined. 11:25:43 -!- Jafet has joined. 11:27:38 -!- Jafet1 has joined. 11:29:56 -!- Jafet has quit (Ping timeout: 245 seconds). 11:32:19 -!- Jafet1 has quit (Ping timeout: 246 seconds). 11:35:37 -!- Jafet has joined. 12:12:46 -!- elcot_ has joined. 12:15:37 hi 12:15:46 any one wanna chat 12:16:51 -!- elcot_ has left ("Leaving"). 12:19:13 -!- monqy has quit (Quit: hello). 12:20:18 Evidently not 12:21:09 -!- Phantom_Hoover has quit (Ping timeout: 272 seconds). 12:24:24 -!- Phantom_Hoover has joined. 12:59:34 Meanwhile in Finland, http://lukijoidenkuvat.hs.fi/kuvat/uusimmat/90123/ 13:06:55 -!- Jafet has quit (Ping timeout: 256 seconds). 13:13:09 -!- AnotherTest has joined. 13:13:18 Hello 13:14:23 -!- Jafet has joined. 13:32:21 Hey 13:55:33 -!- mig22 has quit (Quit: mig22). 13:56:16 > let foo = fromMaybe <$> show <*> cast in [f 1, f (), f [1,2,3], f "Hello"] 13:56:18 Ambiguous type variable `t' in the constraints: 13:56:19 `SimpleReflect.FromExpr ... 13:56:34 http://www.youtube.com/user/redbull?v=MrIxH6DToXQ 13:56:37 > let f = fromMaybe <$> show <*> cast in [f 1, f (), f [1,2,3], f "Hello"] 13:56:38 ["1","()","[1,2,3]","Hello"] 13:56:56 The power of applicatives 13:56:57 @type cast 13:56:58 forall a b. (Typeable a, Typeable b) => a -> Maybe b 13:57:18 It detects if it's a string and shows it if it isn't 13:58:26 Actually uses unsafeCoerce 13:59:56 :t \x -> let r = if typeOf x == typeOf (fromJust r) then Just $ unsafeCoerce x else Nothing in r 13:59:58 -!- Jafet has quit (Quit: Leaving.). 13:59:58 Not in scope: `unsafeCoerce' 14:20:23 -!- nooga has joined. 14:27:02 what's completer ass? 14:27:12 Spam on wiki 14:28:41 Am I the only person active both here and Tumblr? 14:40:53 hard to answer 14:41:05 insufficient data 14:41:32 zzo38 and Gregor both seem possible Tumblrist 14:43:13 Maybe Sgeo? 14:45:17 the idea of any of those people having a tumblr is utterly alien to m 14:45:18 e 14:46:31 I'm gonna register phantom_hoover.tumblr.com 14:46:53 are you going to attempt to impersonate me for your devious purposes 14:47:03 Ok, I can't 14:47:08 Tumblr doesn't like underscores 14:47:10 And yes 14:47:18 I'll take Phantom-Hoover.tumblr.com instead! 14:47:49 Ahahahaha! 14:48:16 oh no! 14:48:20 what slanders are you going to write 14:48:24 I dunno 14:48:36 Maybe I'll reveal all the information I know about you 14:48:45 The jump’s beginning. 14:48:51 Basically, you are from Edinburgh's new town and go to university in Coventry 14:48:58 Which is ridiculous upload speeds 14:49:13 they're only ridiculous compared to the download speeds 14:49:16 Also, you hate brainfuck derivatives with a passion 14:50:21 Well, the John Egbert cosplayer who hates me in her sleep... HAS MY GLASSES 14:50:36 Maybe I'll just bash brainfuck derivatives 14:51:13 But in such a way that it seems they're a perverse lust of yours 14:51:23 Filling the balloon will take quite a while. 14:51:51 ion, are you talking about the guy who's jumping from a balloon? 14:51:57 I filled some balloons yesterday 14:52:23 what, you mean i have some kind of weird s&m thing with brainfuck derivatives? 14:52:29 atriq: yeah 14:52:34 Phantom_Hoover, yeah 14:52:41 although wait, are all lusts perverse from your perspective? 14:52:48 Nah 14:52:51 Just alien 14:54:21 Although my cunning facade will be weakened somewhat when people notice that taneb.tumblr.com and phantom-hoover.tumblr.com are held by the same account 14:56:09 the house of cards will come crashing down 14:56:38 I'm actually seriously gonna do this 14:56:46 like that time me and elliott registered the timeustestified account with a script 14:57:03 (well, elliott wrote the script, i just ran it overnight for him) 14:57:13 the replies to that were delicious 14:59:03 Do... 14:59:06 Do you still have it? 14:59:09 no 14:59:21 in the end we gave it away to someone who turned out to be really boring 14:59:53 http://timaeustestified.tumblr.com/ 14:59:59 it could've been worse though 15:00:27 oh my god they substitute the cursor and have sparkles on it and everything 15:00:31 mission 15:00:33 fucking 15:00:34 accomplished 15:09:59 http://phantom-hoover.tumblr.com/post/33568447695/ugh-there-was-once-a-fish-called-fred 15:10:09 It has begun 15:10:45 you forgot brickbraining you ninny 15:11:04 Thank you very much 15:11:19 also my day is now a little worse for learning about that language 15:11:37 Refresh the tumblpost 15:12:44 is that profile picture a photo of the new town from the castle 15:12:50 Yes 15:13:01 Yes it is 15:13:30 -!- Frooxius has joined. 15:18:27 -!- atriq has set topic: BE WARNED: The people here are completer asses. | http://phantom-hoover.tumblr.com/ | http://codu.org/logs/_esoteric/. 15:21:23 http://www.youtube.com/redbull will apparently display some flight data in the sidebar. 15:22:57 Wow, I can be really reckless sometimes 15:28:04 Who did you ban :) 15:29:23 Nobody yet 15:29:40 Yesterday I climbed up a building even though my friends were telling me not to 15:29:52 Somebody apparentely is pissed about being banned for speaking :D 15:29:52 Today I made a Tumblr where I pretend to be Phantom_Hoover 15:30:20 Today I climbed up walls :) 15:35:57 Yay! 15:36:10 Today I've barely left my bedroom 15:36:25 Hm. 15:36:29 Meanwhile my glasses are in a shopping centre 23 miles away 15:36:38 So distances I can't see so well 15:41:21 -!- elliott has joined. 15:49:45 Hey, elliott 15:50:30 Hey, atriq 16:01:08 -!- FreeFull has quit (Quit: Rebooting). 16:02:47 -!- FreeFull has joined. 16:47:01 -!- Arc_Koen has joined. 16:47:46 hello 16:48:05 Hey 16:48:16 's funny 16:48:54 in real life we name streets and erect statues after people who have done great things 16:49:21 Like Grey Street and Grey's Monument in Newcastle 16:49:49 on irc we write the channel's topic after someone whom we've just banned the previous day 16:51:24 Phantom_Hoover: does your blog know about the right to reply? 16:51:35 or about any other similar concept 16:53:09 I'd like to advocate "There Once was a Fish Named Fred" 16:54:11 first, it's not "There Was Once A Fish Called Fred", it's "There Once was a Fish Named Fred". At least name the thing right! 16:55:04 note the completely arbitrary capitals which are part of that language's pittoresque 16:55:42 second, your only critic of this language seems to be "It literally just replaces the commands of brainfuck with one of 8 words. Nothing more, nothing less." 16:55:48 and that is WRONG 16:56:04 because there are SEVEN words!!! 16:56:25 which is clearly something less 16:57:11 so it's be cool if you could publish an erratum or something 17:02:20 it sucks that the phrase "special case" has two opposite meanings 17:03:05 as a non-native speaker I'd be glad to have more on that 17:04:28 sometimes "foo is a special case of bar" means "bar generalizes foo" 17:04:38 a square is a special case of a rectangle 17:04:49 Hehehe 17:04:53 if you know how a rectangle works, you automatically know how a square works because it's just a particular type of rectangle 17:04:53 So worth it 17:05:02 but then sometimes it means that there is a special rule for foo 17:05:08 kmc, you also need to know how a rhombus works 17:05:28 which means that foo works differently from how you would expect based on how bar works 17:05:33 so it's basically the opposite meaning 17:05:55 hmm, yeah 17:06:10 that happens a lot when we're thinking too much logically 17:06:35 atriq: no, if you're able to handle rectangles, you'll handle squares just fine 17:07:09 Yeah, I was thinking of something else 17:07:25 Arc_Koen, I'm gonna let you in on a secret 17:07:31 you were thinking about the opposite meaning of "how a square works"!! 17:07:39 Phantom_Hoover doesn't own phantom-hoover.tumblr.com 17:07:48 if you write it here and it's logged it won't be a secret 17:07:49 It's... 17:07:50 WHAT 17:07:52 It's me 17:07:57 seriously? 17:08:02 but but but 17:08:07 Read the logs for today 17:08:16 And it's a joke 17:08:27 atriq was just thinking contravariantly 17:08:40 oh, that would most certainly explain why it reads "remove your brain and replace it with a brick" and not "force a brick into your brain" 17:09:11 "At some point, I shall snap and everyone who has posted a stupid Brainfuck derivative (read: a Brainfuck derivative) to this wiki will have their brains forcefully replaced with a large brick." 17:09:17 From Phantom_Hoover's user page 17:10:18 10:31 cmccann: I like the part where «foo would just be a special case» could either mean that you implement unusual behavior for foo or that you don't. 17:12:19 yes 17:12:26 i'm glad you have also noticed thes 17:12:27 this* 17:13:10 Also "existence proof". 17:13:13 hmmm ok atriq 17:13:20 different versions, same story 17:13:24 q 17:13:57 I also had "a brick so large you will believe you actually are a small house" (or flying house) 17:14:11 so i'm reading the logs from last night 17:14:21 it turns out I was so tired I wasn't aware that other people were talking so much 17:14:35 it's like there are five different story told at the same time and I only noticed one 17:15:16 shachaf: what about 'existence proof'? 17:16:06 ais523: one time I got into the deku tree and got either stuck or bored 17:16:07 I can SO relate to that 17:16:45 (though in my case I was playing on a black and white tv and inside of the deku tree we're supposed to hit an underwater switch which was invisible in black and white) 17:18:00 kmc: It could either mean "proving that something exists without having a specific example" or "proving that something exists by providing a specific example". 17:18:14 Mathematicians mostly use it in the former sense, though. 17:18:27 mm 17:18:42 i just understand it to mean "proving that something exists" 17:21:27 -!- jiella has joined. 17:23:13 i wonder if credit card companies have honeypot credit card numbers 17:24:08 why would they need any, as long as they have customers? 17:26:51 shachaf: then we say it's a non-constructive proof, don't we? 17:27:16 like, you proved it existed, without building a particular instance 17:27:26 they wouldn't *need* them, but it would be easy to do and would provide additional information about fraud that might be valuable 17:28:01 Arc_Koen: non-contsructive proof doesn't really quite mean that 17:28:04 Sgeo: what's this newspeak thing? I thought newspeak was a round in frc 17:28:07 though they often coincide 17:28:24 for example you could tell if someone at the CC company or at an affiliate (banks etc.) is selling numbers on the side 17:28:26 Arc_Koen: fantasy rules committee? :p 17:28:57 yup 17:29:02 though you wouldn't detect numbers being stolen from legitimate merchants, which is probably the greater concern 17:29:10 the theme was "design newspeak" or something 17:29:16 Arc_Koen: oerjan used to play that, way back 17:29:32 anyway newspeak is a fictional language from 1984 that both the frc round and the programming language reference 17:29:48 doubleplus ungood 17:29:54 and the first rule was something like "you should add a new modification to the english language every rule, and rules must follow all previous modifications 17:30:01 oh, ok 17:30:05 yes, I know he did :) 17:30:12 he probably played that round, actually 17:30:19 it was an early one 17:30:30 (like, one of the first fifty, or something) 17:30:36 this reminds me i have to keep bugging oerjan to return to agora 17:30:38 -!- Frooxius has quit (Quit: ChatZilla 0.9.89-rdmsoft [XULRunner 1.9.0.17/2009122204]). 17:31:04 if I send a bunch of read requests to a Linux software RAID1 device, is the I/O scheduler smart enough to route them to component drives based on the angular position of each drive? 17:32:05 -!- ogrom has joined. 17:32:15 too bad freenode has an open proxy scanner thing :'( 17:32:47 how does that work? I was assuming proxies were *designed* to be invincible or something 17:32:56 i don't know how it works actually 17:33:22 like, instead of sending an email to you, I send it to a robot which then sends that exact same email to you 17:35:03 Well, if the robot understands a common way of asking it to send mail on people's behalf, someone could ask someone they received mail from to send mail on their behalf to see if it's really a robot 17:36:47 so what would the scanner do then? just say "you've been identified as a proxy, so you're not allowed to be on our network"? 17:38:35 Does Freenode allow Tor? 17:40:20 It has a Tor hidden service for that. 17:40:33 p4fsi4ockecnea7l.onion. 17:41:23 (irc.tor.freenode.net is a CNAME to it.) 17:42:21 A Finnish finance magazine had a short column on bitcoins; it mentioned how bitcoins are used for drugs, sex and violence "on the dark side of the Internet, called Tor", or something like that. 17:42:41 THE DEEP WEB. 17:45:07 atriq: so I just went through 18 hours of logs 17:45:27 most of which were about that navi guy 17:45:39 fizzie, Reddit flipped out some time ago about "the deep web" and how it simultaneously made up most of the Web and was a secret hiding place for things 17:45:46 and in the end it turned out the phantom-hoover thing happended just before I logged in 17:46:40 -!- Frooxius has joined. 17:46:47 Or was it "dark web" 17:47:01 interestingly enough I haven't eat at all during those 18 hours so hum see you guys later 17:48:50 it was deep web 17:53:41 Deep web is for pedos 17:55:39 -!- ogrom_ has joined. 17:57:29 -!- ogrom has quit (Ping timeout: 255 seconds). 17:58:26 -!- ogrom has joined. 18:00:39 -!- ogrom_ has quit (Ping timeout: 255 seconds). 18:14:45 the swan and paedo 18:15:34 so what's with this baumgartner guy 18:15:41 is anyone following that? 18:15:56 Yep 18:16:01 He is falling a lot 18:16:07 And failed to do his stuff 18:17:39 let him land on red square.. then it's cool 18:18:26 Or on the planet of the apes 18:18:35 that would be a cool joke 18:19:09 "welcome back to earth! we've been taken over while you were gone" 18:19:42 or "you gained too much speed and broke the dimension wall" 18:20:00 http://www.youtube.com/watch?v=lrBZeWjGjl8 18:26:44 http://news.bbcimg.co.uk/media/images/63480000/jpg/_63480371_63480370.jpg 18:31:00 I actually hardly know anything about the atmosphere - aren't there issues with pressure, like for scuba divers? 18:31:02 :( why does JMOD want unrestricted access to my computer 18:31:08 I'm lazy and said yes, but still... 18:31:56 what is JMOD 18:32:01 Sgeo: are you sure it's JMOD and not some malware sent to you by a stalker? 18:32:07 Applet that plays MOD files 18:32:14 Used on modarchive.org 18:32:21 Currently happily listening to http://modarchive.org/index.php?request=view_by_moduleid&query=36405 18:34:53 It's the song that was used in Fitznik (a game) and for some levels in Fitznik 2 18:35:47 grant { permission java.security.AllPermission; }; -- man, that's indeed quite some permissions. 18:36:38 fizzie, hmm, is that actually a line somewhere? Where do you see it? 18:36:44 I mean, except for the comment of course 18:37:09 The "java.policy.applet" file inside the jar. 18:37:11 fizzie: Can you, like, write an IRC client for me? 18:37:13 A good one. 18:37:26 There's also a command-line interface included, apparently. 18:37:35 -!- ogrom_ has joined. 18:39:58 And no, I can't. I'm always tempted to write one for me, but even if I one day did do that, it wouldn't probably be something for anyone else. 18:40:15 -!- ogrom has quit (Ping timeout: 255 seconds). 18:43:14 fizzie: Well, you wouldn't be so horrible as to make an IRC client that isn't perfect, right? 18:44:04 You just never know. 18:44:18 http://www.indiegamer.com/archives/t-208.html 18:44:19 <3 18:45:08 fizzie: Have you tried irssi2? 18:45:08 Do I have the permission to create an infobox template on the wiki? 18:45:10 It looks fancy. 18:45:35 I have nots. 18:47:44 I sometimes connect to the Pesterchum network using XChat 18:48:25 irc.mindfang.org 18:48:39 fizzie: Anyway let me know when you have that perfect client written so I can use it, thanks. 18:48:45 I tried out that WeeChat thing few years ago, and it segfaulted on me. 18:49:05 But it's a poorly designed protocol built on top of a disagreeing protocol 18:49:21 From ais523's part message: 18:49:21 So you can see everyone's colour codes and that 18:49:22 fizzie: it makes demons fly out of my window, washing the windows api 18:49:23 Sgeo: ( danvy filinski invented shift reset after other composable continuation operators. they allow you to install mysql. 18:49:32 An awful lot is done client-side 18:49:56 Composable continuations. The best way to install MySQL. 18:49:59 You heard it here first. 18:50:12 fungot: Washed any APIs lately? 18:50:13 fizzie: in haskell anything can be realtime when you throw enough people at it, it would permit easily having discussion of multiple implementations e.g. debian's alternatives, but sicp pdf is at http://www.cs.indiana.edu/bmastenb/ misc/ sicp.pdf, the html at http://mitpress.mit.edu/ sicp/ 18:50:20 ^style 18:50:20 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 18:50:48 Silly bot. 18:52:45 AnotherTest: if you do that, I'm gonna make some hot chocolate, watch an episode from stargate, and when I'm back if it's working I promise to fill at least three languages' infoboxes 18:53:16 (note: I have absolutely no idea how much efforts are involved in making an infobox template) 18:53:34 60-90 minutes according to this website 18:53:54 then make it two episodes 18:54:11 (but first, hot chocolate!) 18:54:22 You'll have to wait until tomorrow 18:54:41 That's a lot of episodes and hot chocolate. 18:54:45 that's quite a lot of episodes 18:54:52 Unless of course some else wants to do it today 18:55:45 atriq: Out of curiosity, what's your chumhandle? (If it's sort of public.) 18:56:15 For a nice tutorial: http://www.etcwiki.org/wiki/Install_infobox 18:56:49 -!- AnotherTest has quit (Quit: Leaving.). 18:56:56 if it's within my skills, or within skills that are within my reach modulo a reasonable amount of learning, and if I'm allowed to do that with my two-month old account, then there is a possibility for you to talk me into doing it 18:57:09 fizzie, I'm not on often 18:57:20 of course that's gonna be hard if you've already left 18:57:45 My current handle is mathematicalEyebrow, which I'm using for a fan-adventure 18:58:00 atriq: I'm not on ever, I just wondered if it was an interesting pair of words. 18:58:11 Used to be pixellatedQuestant 18:58:36 (fsvo "reasonable amount") 19:04:31 lazy evaluation tells me I probably don't have the authorizations to make up such a thing. switching back to initial plan: hot chocolate! 19:05:26 atriq/fizzie: what are you talking about? 19:05:46 Arc_Koen: Homestuck nonsense. 19:06:12 i've heard that word mentioned on this channel before 19:06:18 Snrk 19:06:28 Homestuck is a web media thing. 19:06:31 It's pretty popular. 19:06:57 http://www.mspaintadventures.com/?s=6 19:06:59 so you think I know nothing about popular stuff!! 19:07:15 I think you know nothing about Homestuck! 19:08:35 wait, are they calling con air a REALLY TERRIBLE MOVIE? I beg to differ! 19:08:51 There are probably many people in the world that do not know about Homestuck. 19:09:05 a web media thing? homestuck is about SEO then? 19:09:22 Even John agrees that Con Air is terrible. 19:09:43 Sgeo, shhh, spoilers 19:09:50 Arc_Koen just started! 19:10:10 wait, yours is named John too? 19:10:21 I got lucky I was almost named something terrible 19:10:23 It's largely static 19:10:35 It's the same for everyone 19:10:43 It's more of a web comic than an interactive game 19:11:07 Although... it would have been fun to see someone read Homestuck believing that it's different for everyone 19:11:23 Maybe next time 19:11:36 Arc_Koen: I think you should read it through in one setting. 19:12:15 like, I start now and don't stop until I'm finished? 19:12:22 Right. 19:12:26 I haven't even made hot chocolate yet!! 19:12:38 Well, how long could it be? 19:13:59 (I think it's somewhere between five and six thousand pages.) 19:14:19 (it's long) 19:15:12 (Many of those pages are also interactive supermedia, the full exploring of which may take moments.) 19:15:38 PUT THE BUNNY BACK IN THE BOX 19:16:12 You are gonna love Act 4 19:16:24 poor bunny, when you know what it's gonna have to go through before it is finally given to the daughter 19:17:10 interestingly, the hero's friend is not on the poster 19:17:34 even though he's been the only ally during the hole flight (well he and that female cop) 19:17:38 whole* 19:21:26 am I the only one to find tire swings depressingly look like hangman's rope? 19:21:43 Hmm 19:21:46 Now you mention it 19:24:28 hmm 19:24:49 I guess at some point he'll accidentally eject the smoke pills from the inventory stack 19:25:02 (that features kind of makes it a queue, actually) 19:25:21 and it will make his room lousy with smoke! 19:28:46 :D 19:29:24 "tentacleTherapist" 19:29:25 hum. 19:29:32 "hum"? 19:30:22 hrm 19:30:43 * Arc_Koen makes sounds with his throat 19:31:05 wait, uh, where did I get my arms from? 19:31:10 I thought I was armless 19:31:11 The chest? 19:31:40 http://www.mspaintadventures.com/?s=6&p=001907 19:32:48 captchalogue captchalogue arms 19:32:51 cards* 19:33:51 this is the kind of jokes that knows you've seen it coming and is even funnier like that! 19:33:55 atriq, btw, I style my nick "Phantom Hoover" unless there are technical limitations. 19:34:06 Please adjust your tumblr to correct for this. 19:36:31 Like that? 19:36:40 Yes. 19:40:08 -!- DHeadshot has quit (Ping timeout: 245 seconds). 19:40:57 people with multiword capsed nicks are so lame 19:41:43 so true 19:41:47 oops 19:42:24 I would definitely agree with you weren't it for that homonym I have on freenode 19:43:18 i had to wage wars to get this nick 19:44:29 -!- DHeadshot has joined. 19:45:52 Aren't there, like, 6 Elliotts in #haskell? 19:46:15 yes 19:46:25 no, it's just elliott being there 6 at once 19:46:28 one of them is annoying & bad & jealous of my name 19:46:30 and this makes me really happy 19:46:44 i've offered a fair trade of $500 for it tho 19:47:12 Hmm 19:47:22 -!- atriq has changed nick to ectoBiologist. 19:47:33 -!- ectoBiologist has changed nick to tentacleTherapis. 19:47:42 -!- tentacleTherapis has changed nick to turntechGodhead. 19:47:47 -!- turntechGodhead has changed nick to atriq. 19:48:00 tentacleTherapist isn't registered on account of being too long 19:48:30 -!- atriq has changed nick to golgothasTerror. 19:48:35 -!- golgothasTerror has changed nick to atriq. 19:48:44 tentacleRapist is shorter 19:49:01 -!- elliott has left ("Leaving"). 19:49:10 Trivia: when I play Guitar Hero Arcade, I always leave my highscore as a Homestuck character 19:49:31 I should have probably left #haskell before doing that 19:50:47 Arc_Koen, where are you up to? 19:51:01 I stopped 19:51:06 :( 19:51:11 it became too much repetitive for me 19:51:17 Ahaha 19:51:31 I highly recommend you try to push on 19:51:41 It becomes a LOT less repetitive 19:51:50 maybe another day (if there's a way to jump ahead back to where I left) 19:52:09 Did you click "save game"? 19:52:20 -!- NihilistDandy has joined. 19:55:25 nope 19:55:36 Since when are people in here suddenly mspainters 19:55:39 Use your browser's history thing 19:55:41 Since forever? 19:56:13 Did irssi mix up channels 19:56:20 Is this #esoteric on freenode 19:56:22 Yes 19:56:33 Ok 19:56:50 > "test" 19:56:51 "test" 19:56:56 but for another kind of esoteric... 19:57:04 `welcome koen 19:57:14 koen: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 19:57:26 lambdabot confirms I'm still in the right channel 19:57:37 -!- Phantom__Hoover has joined. 19:57:58 either that or lambdabot is in the wrong channel 19:59:32 fungot: Is this the right channel? 19:59:33 fizzie: do it like that? you?. but how boring. 20:00:51 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 20:03:14 fungot: boring indeed. 20:03:14 FireFly: haven't seen you around for a good while to understand his objections are sure to be the case, but srfi-7 is " feature-based program configuration language 20:03:28 -!- DHeadshot has quit (Ping timeout: 245 seconds). 20:03:41 fungot: You should maybe brush up on your grammar. 20:03:42 fizzie: actually we're just sitting around thinking completely random thoughts about generic i/ o speed, the hands acquire shaking, the shaking becomes a warning; it is by the fact that set! defines new variables at top level 20:03:42 The beginning of that line is eerily correct 20:04:12 That's somehow scary. 20:04:42 The "the hands acquire shaking, the shaking becomes a warning; it is by the fact that set! defines new variables at top level" part. 20:06:06 if sentences returned noun phrases, fungot would be speaking proper english 20:06:07 Arc_Koen: i just dumped all my music into /home/ fnord 20:06:51 is that some special location, fungot? 20:07:18 fungot: Is it your fault that disk is filling up? 20:07:28 Hmm, suspicious. 20:07:47 fungot: more dune quotes 20:08:00 Arc_Koen: i want to get fancy, you could use macros perhaps 20:08:01 fizzie: in the latest python? for what implementation of lists using pairs. 20:08:01 olsner: class quine: http://rafb.net/ p/xmkaav98.html or maybe figuring out how the clever recursive solution works? ;p it might make things clearer. 20:10:35 if you say so, fungot 20:10:36 FireFly: well, i never could find a definition of y i gave, though. i got a new queue altogether with its own build system that's quite as all-encompassing, however, the core procedures to operate on a flow learning scheme 4 years ago 20:14:58 fungot: dongs 20:14:58 kmc: the egg breakfast before lunch!! i'm in 20:15:07 :3 20:18:16 -!- Vorpal has quit (Ping timeout: 260 seconds). 20:27:58 I should rewatch Up Skit's Creek 20:28:06 iirc it's a bit juvenile, but still 20:49:54 -!- ogrom_ has quit (Quit: Left). 20:59:31 -!- atriq has quit (Quit: Leaving). 21:05:20 fungot! 21:05:29 Phantom__Hoover: excuse me a minute. it explains the design and implementation" from 1975. 21:08:55 -!- elliott has joined. 21:09:10 pikhq_: Is Nvidia or ATI better supported on Linux this month? :( 21:09:41 -!- ais523 has joined. 21:10:21 elliott, I thought it only changes every few years 21:12:16 has it ever changed? 21:13:37 Used to be nVidia, seems to have switched to ATI 21:15:02 I hear bad things about UEFI and Nvidia. 21:15:05 On Linux. 21:16:45 * Sgeo wonders what a Lisp needs to have in order to be a Lisp 21:17:00 Mostly in the context of whether or not ClojureScript qualifies as a Lisp. 21:17:45 Sgeo: A Lisp needs nothing in order to be a Lisp. 21:18:15 what does a not-lisp need in order to become a lisp? 21:18:54 i can't think of a more pointless, masturbatory topic 21:19:19 kmc: Clearly you've been away from #haskell for too long. 21:20:00 There's a ClojureScript REPL. It's backed by a server. 21:20:05 LAME 21:20:27 shachaf: i was just about to make a #haskell joke 21:20:28 fungot: is ClojureScript a Lisp? 21:20:29 kmc: dunno i'd buy that terribly easily if you like 21:20:29 fuck you shachaf 21:20:34 fuck you kmc 21:20:35 ClojureScript macros are Clojure code and there's no eval. 21:20:41 yes we all know 21:20:46 thelliott 21:20:51 who cares whether it counts as lisp 21:20:56 what matters is it sounds bad 21:21:52 elliott: obviously 'Lisp' is special magic fairy dust and not just a programming language with cool features that could be discussed individually 21:22:24 you have to know if a language is 'Lisp' so that you know whether programming in it makes you a real hacker 21:22:37 kmc: What's the matter with fairy dust? 21:22:37 kmc: did you ever see that loper os post about how a brick is more like lisp than clojure 21:22:43 i swear to god it literally said a brick was lisp 21:22:57 has a dog the lisp-nature 21:23:27 -!- Phantom_Hoover has joined. 21:23:38 Phantom_Hoover is Lisp. 21:23:46 kmc: http://www.loper-os.org/?p=405 here 21:23:47 enjoy 21:24:18 i am totally lisp 21:25:42 lulz 21:25:42 -!- Phantom__Hoover has quit (Ping timeout: 245 seconds). 21:26:08 love how the loper-os blog has 32 posts tagged as philosophy and 19 tagged as loper os 21:26:22 Scheme doesn't have reader macros, correct? 21:26:26 'philosophy' 21:26:50 kmc has lisp-nature. 21:27:02 In that case, how does it not force a non-modifiable syntax on programmers (parentheses) any more than Clojure does (slightly more than just parentheses) 21:27:29 parentheses are technically modifiable 21:27:30 obviously, the aspects of syntax I care about modifying are important, but the aspects you care about modifying are irrelevant 21:27:36 in common lisp at least 21:27:48 Phantom_Hoover, I did say Scheme for a reason. 21:27:52 but that line of thinking ends up with you hailing perl as the height of syntactic freedom 21:28:01 elliott, tell Sgeo scheme isn't a lisp 21:28:04 how about machine code 21:28:09 i'm pretty sure you said that at some point 21:28:15 i said scheme isn't a lisp 21:28:28 because scheme macros aren't written in scheme (usually) 21:28:42 this is a troll statement though 21:28:57 common lisp macros aren't really written in common lisp either 21:29:04 -!- variable has changed nick to trout. 21:29:04 elliott, er? 21:29:11 well stuff and stuff 21:29:17 i could make a reasoned argument for this but i won't 21:29:27 The Reasoned Elliott 21:29:33 lol 21:29:35 aren't they usually normal common lisp procedures manipulating syntax as data? 21:29:51 whereas scheme macros are usually not normal scheme procedures; they are rules for a special purpose macro DSL 21:29:56 what about image macros 21:30:06 image macros are the foundation of humor 21:30:17 kmc: ye but (a) the definition of "common lisp" is a bit vague in terms of defining ~lispiness~; you can well argue that the form that looks at the car and switches on special forms or function names is just one DSL in many; (b) hence Scheme macros are in a way Scheme too 21:30:20 (c) stuff and stuff 21:30:40 (c) 2012 elliott "elliott hird" hird 21:30:47 (d) furthermore a definition which includes CL macros as being "in Lisp" but not Scheme macros is an unhelpful definition because it rejects what you want to admit and probably admits what you want to reject 21:31:55 how so 21:32:05 because you want to say that Scheme is a Lisp 21:32:11 if not you then I 21:32:14 i don't particularly 21:32:22 actually more precisely, I don't care about whether I say whether Scheme is a Lisp 21:32:28 but i already described the question of "what is Lisp, really?!?" as pointless and masturbatory 21:32:36 but I'd like to laugh at people who think that there is a definition of Lispiness that (a) is useful and (b) excludes Scheme is true 21:32:46 hence I must adopt this position 21:32:56 s/ is true$// 21:33:02 elliott: You can laugh at them without making up complicated definitions. 21:33:07 Just point and laugh. It's that easy. 21:33:18 Sometimes you don't even need to point. 21:33:34 s/exy/tim/e 21:34:44 is lisp 1.5 a lisp 21:36:02 one might make the case that cl-style macros are more 'lispy' because they further break down the distinction between compile and runtime 21:36:12 perhaps bonghits will fix your ontological conundrum 21:36:31 Phantom_Hoover: counterpoint: CL macros are a pain to use 21:36:31 Phantom_Hoover: kernel is the best lisp :) 21:36:32 and ugly 21:36:34 and annoying 21:37:27 thue morse is supposed to start with 01, right? 21:37:38 how does that falsify the claim that CL is "lisp" 21:37:51 or are you starting with the axiom that Lisp is beautiful and perfect 21:37:58 Arc_Koen, in the scheme or things, it matters not a jot 21:38:06 I'm trying my brainfuck interpreter in thue against keymaker's thuemorse sequence in brainfuck 21:38:17 and it starts with "0 01" 21:38:28 i wonder if there are any interesting ways left to implement brainfuck 21:38:37 in eodermdrome 21:38:43 i guess every TC proof is that 21:38:44 yeah 21:38:53 that could definitely be interesting 21:38:59 kmc: who said I was falsifying that claim 21:39:03 kmc, in that language I was ranting about earlier? 21:39:10 my counterpoint is i don't care what Phantom_Hoover says because cl macros are annoying 21:39:15 and i don't care about a definition of lispy that means something bad 21:39:21 since the obvious way to do it is to represent code and data as graphs 21:39:28 falsifee, falsify, falsifo, falsifoo 21:39:30 -!- jiella has quit (Quit: Leaving.). 21:39:38 someone implement an efficient eodermdrome please 21:39:39 how about kmc 21:39:40 you do it 21:39:40 which makes implementing it more of a syntactic things? 21:39:50 falsisetto 21:39:57 falsifuckyou 21:40:05 ok I'm pretty sure thuemorse is not supposed to start with "0 01 01" 21:40:06 falsihi monqy 21:40:10 Arc_Koen, no 21:40:12 no it isn't 21:40:14 kmc, would doing it as Mascarpone count as interesting? 21:40:19 @ask monqy monqy = the best 21:40:20 Consider it noted. 21:40:30 (Basically, transforming Mascarpone into Brainfuck via Mascarpone code) 21:40:57 Phantom_Hoover: who's to blame, keymaker or me? 21:41:04 'who nose' 21:41:46 oh wait I think it's reprinting the sequence from the beginning 21:42:11 who nose :^) 21:42:11 "it starts with 0. oh no wait it starts with 01. oh no wait it starts with 0110." 21:44:13 * ion ordered http://www.amazon.co.uk/gp/product/0262201623/ http://www.probabilistic-robotics.org/ 21:44:48 wow, http://esoteric.voxelperfect.net/files/brainfuck/src/factor.b claims to be able to factor any arbitrarily large integer 21:45:00 looks reasonable 21:45:05 I think if it can really do that it's worth more money that I can possibly imagine 21:45:08 -!- nooga has quit (Ping timeout: 245 seconds). 21:45:32 um. 21:45:47 Arc_Koen: you realise the difficulty is factoring *quickly*, right? 21:45:54 yes 21:46:01 otherwise I could do it myself 21:46:12 i have no trouble believing that program does what it claims 21:46:29 well the "arbitrarily large" thing is a little stretched 21:47:20 no. it isn't. 21:47:39 i am confident that brainfuck program's semantics are the factorisation of an arbitrarily-large integer given on input 21:47:44 well, rather, not confident, but I find it entirely credible 21:47:56 ok ok 21:47:56 I have not actually read its source, but it is a simple enough task that it's no great deal to believe it 21:48:14 but still it did sound weird 21:48:41 well existing brainfuck implementations won't be able to do it 21:48:44 since they are limited by your RAM 21:48:45 "you can input arbitrarily large numbers... but don't expect a result soon if they're too large" 21:48:51 but that just means they're unfaithful implementations 21:49:03 well, yeah 21:49:14 (also my implementation is incredibly slow) 21:49:48 ((well, not incredibly, since I do believe it is slow.)) 21:55:43 Brainfuck. Strictly more powerful than C? 21:58:17 it would most certainly be if we had improved it with proper extensions! but for some reason all the people who have tried now believe they are small flying houses 21:58:26 Sgeo: From a computational perspective, yes. 21:58:40 Hmm. 21:58:57 C describes a class of finite state machines, Brainfuck describes a Turing-complete system. 21:59:05 Someone should make a Brainfuck variant that allows for execution of arbitrary machine code. 21:59:14 oh, are you saying that C is so low-level that's it's "overspecified" 21:59:26 Arc_Koen, we're saying that C is not turing-complete. 21:59:35 Arc_Koen: Just that C mandates finite state. 21:59:55 Arbitrarily high bounds, but still bound. 22:00:00 well brainfuck certainly isn't turing-complete if you take the original 30000-cell implementation as a reference 22:00:38 C is Turing-complete if you allow file I/O and read the spec right. 22:10:11 Wouldn't C allow you to construct an infinite doubly-linked list 22:10:22 Therefore obliterating all bounds 22:10:30 wow, never seen that happen before: for domain registrations you have to maintain accurate contact details 22:10:41 and my registrars apparently email all their customers every year to ask if there was a change, just in case 22:11:13 FreeFull: no, because sizeof(void*) has to be finite, and CHAR_BIT also has to be finite 22:11:24 and I /think/ that two pointers with the same bit pattern have to be equal 22:11:44 (I know it wouldn't make any sense for them not to be, but it's interesting to see if the Standard actually says that) 22:12:20 ais523: I see 22:12:21 15:24 elliott: Fine. int main(int argc, char**argv){for(int i = 1; i < argc; i++)if(printf("%s%s",argv[i],i!=argc-1?" ":"")<0)return 1;return putchar('\n') != EOF;} 22:12:27 I think it does say something about how copying the bytes back should produce an "equal" (or something) object 22:12:29 ais523: Is that valid C? 22:12:38 Are you sure file io isn't limited then? 22:12:50 shachaf: it's C, so it's probably not valid 22:13:01 -!- fungot has quit (Ping timeout: 246 seconds). 22:19:36 ais523: "Two values (other than NaNs) with the same object representation compare equal, but values that compare equal may have different object representations. 22:20:10 (C11 6.2.6.1p4) 22:20:28 fizzie: but is it guaranteed that *p1 is the same as *p2 just because p1 and p2 compare equal? 22:21:30 elliott: Can't be, because p1 and p2 might be different types. 22:21:51 If p1 is char* and p2 is int*, *p1 is not necessarily *p2. 22:21:52 :) 22:22:16 pikhq_: Comparing a char* and int* with == is a constraint violation. 22:22:50 -!- Nisstyre has quit (Ping timeout: 256 seconds). 22:23:02 (The types of compared pointers need to be compatible, or one has to be void, or a null pointer constant.) 22:23:06 basic logic usually implies that for any x, y, f, if x = y, then f(x) = f(y) but apparently nobody told that to C 22:24:03 well comparing equal is a concept the C standard defines 22:24:16 it's true that if x = y then nothing can distinguish x and y 22:24:19 but that doesn't apply to C equality 22:24:24 since objects with the same representation can compare equal 22:26:22 do you mean with different representations? 22:27:23 -!- Nisstyre has joined. 22:27:24 er, yes. 22:27:27 given ais523: "Two values (other than NaNs) with the same object representation compare equal, but values that compare equal may have different object representations. 22:27:34 fizzie: (add a " pls) 22:27:56 ". 22:28:12 But now the "quote" has all kinds of stuff. 22:30:24 I think it ended when elliott copypasted your quote (and then he just asked you to add a " pls)\n") 22:31:01 Arc_Koen: Now elliott hasn't closed his (! 22:31:30 and we're two '(' deep now 22:31:39 ))) 22:31:41 (((( 22:31:45 It's all gone wrong! 22:32:06 yeah, we're royally screwed now 22:32:15 ⏝ 22:32:52 -!- Arc_Koen has quit (Quit: break; break; break; break; break; EXIT_FAILURE ) (({)). 22:33:11 -!- Arc_Koen has joined. 22:33:44 -!- sirdancealot7 has joined. 22:33:48 @ 22:33:54 there, that fixed all the unbalanced stuff 22:33:56 # 22:34:26 -!- Arc_Koen has quit (Client Quit). 22:34:30 oh, @ automatically balances all parens, quotes and accounts? 22:34:45 @ also makes coffee. 22:34:45 yes 22:34:51 lambdabot: @ 22:34:51 not sure what balancing an account *is*, but I know the phrase for some reason 22:34:52 Maybe you meant: . ? @ activity activity-full admin all-dicts arr ask b52s babel bf bid botsnack brain bug check choice-add choose clear-messages compose devils dice dict dict-help djinn djinn-add 22:34:52 djinn-clr djinn-del djinn-env djinn-names djinn-ver do docs dummy easton echo elements elite eval fact fact-cons fact-delete fact-set fact-snoc fact-update faq farber flush foldoc forget fortune 22:34:52 fptools free freshname ft gazetteer get-shapr ghc girl19 google googleit gsite gwiki hackage help hitchcock hoogle hoogle+ id ignore index instances instances-importing irc-connect jargon join karma 22:34:52 karma+ karma- karma-all keal kind learn leave let list listall listchans listmodules listservers localtime localtime-reply lojban map messages messages? more msg nazi-off nazi-on nixon oeis offline 22:34:52 oldwiki palomer part paste ping pl pl-resume pointful pointless pointy poll-add poll-close poll-list poll-remove poll-result poll-show pretty print-notices protontorpedo purge-notices quit quote rc 22:34:53 read reconnect remember repoint run shootout show slap smack source spell spell-all src tell thank you thanks thx ticker time todo todo-add todo-delete topic-cons topic-init topic-null topic-snoc 22:34:55 topic-tail topic-tell type undefine undo unlambda unmtl unpf unpl unpointless uptime url v vera version vote web1913 what where where+ wiki wn world02 yarr yhjulwwiefzojcbxybbruweejw yow 22:35:00 lambdabot: ? 22:35:00 Maybe you meant: . ? @ activity activity-full admin all-dicts arr ask b52s babel bf bid botsnack brain bug check choice-add choose clear-messages compose devils dice dict dict-help djinn djinn-add 22:35:00 djinn-clr djinn-del djinn-env djinn-names djinn-ver do docs dummy easton echo elements elite eval fact fact-cons fact-delete fact-set fact-snoc fact-update faq farber flush foldoc forget fortune 22:35:02 fptools free freshname ft gazetteer get-shapr ghc girl19 google googleit gsite gwiki hackage help hitchcock hoogle hoogle+ id ignore index instances instances-importing irc-connect jargon join karma 22:35:04 karma+ karma- karma-all keal kind learn leave let list listall listchans listmodules listservers localtime localtime-reply lojban map messages messages? more msg nazi-off nazi-on nixon oeis offline 22:35:05 oldwiki palomer part paste ping pl pl-resume pointful pointless pointy poll-add poll-close poll-list poll-remove poll-result poll-show pretty print-notices protontorpedo purge-notices quit quote rc 22:35:07 read reconnect remember repoint run shootout show slap smack source spell spell-all src tell thank you thanks thx ticker time todo todo-add todo-delete topic-cons topic-init topic-null topic-snoc 22:35:09 lambdabot: . 22:35:10 topic-tail topic-tell type undefine undo unlambda unmtl unpf unpl unpointless uptime url v vera version vote web1913 what where where+ wiki wn world02 yarr yhjulwwiefzojcbxybbruweejw yow 22:35:11 -!- Arc_Koen has joined. 22:35:15 @get-shapr 22:35:15 shapr!! 22:35:18 it's not working 22:35:23 @thx 22:35:24 you are welcome 22:35:28 @vera 22:35:32 shapr claims it does work but slowly 22:35:32 @help vera 22:35:33 I perform dictionary lookups via the following 13 commands: 22:35:33 all-dicts ... Query all databases on dict.org 22:35:33 devils ...... The Devil's Dictionary 22:35:33 easton ...... Easton's 1897 Bible Dictionary 22:35:33 elements .... Elements database 22:35:33 @thank's 22:35:35 [9 @more lines] 22:35:37 you are welcome 22:35:38 @more 22:35:50 The correct response to @thank's would be “your welcome”. 22:35:59 @@ @echo @echo @echo @echo 22:36:00 echo; msg:IrcMessage {msgServer = "freenode", msgLBName = "lambdabot", msgPrefix = "shachaf!~shachaf@unaffiliated/shachaf", msgCommand = "PRIVMSG", msgParams = ["#esoteric",":@@ @echo @echo @echo @ 22:36:00 echo"]} rest:"echo; msg:IrcMessage {msgServer = \"freenode\", msgLBName = \"lambdabot\", msgPrefix = \"shachaf!~shachaf@unaffiliated/shachaf\", msgCommand = \"PRIVMSG\", msgParams = [\"#esoteric\",\" 22:36:00 :@@ @echo @echo @echo @echo\"]} rest:\"echo; msg:IrcMessage {msgServer = \\\"freenode\\\", msgLBName = \\\"lambdabot\\\", msgPrefix = \\\"shachaf!~shachaf@unaffiliated/shachaf\\\", msgCommand = \\\" 22:36:00 PRIVMSG\\\", msgParams = [\\\"#esoteric\\\",\\\":@@ @echo @echo @echo @echo\\\"]} rest:\\\"echo; msg:IrcMessage {msgServer = \\\\\\\"freenode\\\\\\\", msgLBName = \\\\\\\"lambdabot\\\\\\\", msgPrefix 22:36:00 = \\\\\\\"shachaf!~shachaf@unaffiliated/shachaf\\\\\\\", msgCommand = \\\\\\\"PRIVMSG\\\\\\\", msgParams = [\\\\\\\"#esoteric\\\\\\\",\\\\\\\":@@ @echo @echo @echo @echo\\\\\\\"]} rest:\\\\\\\"\\\\\\ 22:36:02 \"\\\"\"" 22:36:30 @. echo . echo echo 22:36:30 echo; msg:IrcMessage {msgServer = "freenode", msgLBName = "lambdabot", msgPrefix = "elliott!~elliott@unaffiliated/elliott", msgCommand = "PRIVMSG", msgParams = ["#esoteric",":@. echo . echo echo"]} 22:36:31 rest:"echo; msg:IrcMessage {msgServer = \"freenode\", msgLBName = \"lambdabot\", msgPrefix = \"elliott!~elliott@unaffiliated/elliott\", msgCommand = \"PRIVMSG\", msgParams = [\"#esoteric\",\":@. 22:36:31 echo . echo echo\"]} rest:\"echo; msg:IrcMessage {msgServer = \\\"freenode\\\", msgLBName = \\\"lambdabot\\\", msgPrefix = \\\"elliott!~elliott@unaffiliated/elliott\\\", msgCommand = \\\"PRIVMSG\\\", 22:36:31 msgParams = [\\\"#esoteric\\\",\\\":@. echo . echo echo\\\"]} rest:\\\"\\\"\\n\"\n" 22:36:45 @@ @hi @elliott 22:36:46 Plugin `compose' failed with: Unknown command: "elliott" 22:36:57 elliott must be a big fan of @@ 22:37:00 @@ @tell shachaf @echo @echo @echo @echo @echo @echo 22:37:00 @² 22:37:00 Consider it noted. 22:37:01 Maybe you meant: . ? @ bf do ft id pl rc v wn 22:37:06 @thanks 22:37:07 you are welcome 22:37:12 @thanks ion 22:37:12 you are welcome 22:37:27 @clean-massages 22:37:27 Messages cleared. 22:38:32 -!- shapr has joined. 22:38:35 wat? 22:38:39 elliott: SEE! 22:38:45 15:35 @get-shapr 22:38:45 15:35 shapr!! 22:38:45 15:35 it's not working 22:38:52 ha 22:38:58 you guys is funny :-P 22:39:05 @thx shapr 22:39:05 you are welcome 22:39:19 But srsly, my favorite esoteric lang of the moment is HackerFoo's Peg 22:39:31 -!- Arc_Koen has quit (Client Quit). 22:39:35 It has roots in Joy, Haskell, and Prolog. 22:39:42 -!- luite has joined. 22:39:44 fizzie: char* is a god damned weird edge case. 22:39:47 oh hai luite! 22:39:51 hi luite 22:40:03 elliott: #-blah is taking over #esoteric 22:40:16 -!- Arc_Koen has joined. 22:40:19 shachaf: I blame you 22:40:26 olsner: Blame elliott 22:40:30 He's the one who 15:38 15:35 @get-shapr 22:40:31 * shapr goes back to configuring his VPS 22:40:33 shapr: I'll be seeing luite this week! 22:40:36 -!- basti_ has joined. 22:40:38 shachaf: awesome! 22:40:38 I sware I asked my client to quit 22:40:41 I'm jealous! 22:40:42 three times laready 22:40:49 Arc_Koen: It did, but then it got lonley. 22:40:53 lonely* 22:40:59 Jag kan inte stava :-( 22:41:12 can't quit shapr 22:41:17 -!- Arc_Koen has quit (Client Quit). 22:41:25 Eu sou incapaz de soletrar. 22:42:04 -!- Arc_Koen has joined. 22:42:13 hi all, first time i'm in this channel :) looks like i'll fit right in, reading the topic 22:42:22 shapr: En voi kirjoittaa. 22:42:23 hello luite 22:42:31 `welcome luite 22:42:35 luite: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 22:42:42 olsner: Whoa, do you speak Finnish? 22:42:53 * shapr tries to puzzle out that sentence... 22:42:57 shapr: finnish is the native language of #esoteric 22:43:00 I am going to read? 22:43:17 kirjoit is "read" I think.. 22:43:21 * shapr gives up 22:43:27 I'll stick with Portuguese. 22:43:35 oh, and I only speak/write/read finnish using online translation 22:43:38 olsner: I think you mean: enn ùoi kirisìȳoi'ta- 22:43:40 Oh I see! 22:43:48 ion speaks real Finnish. 22:43:49 I'm actually learning Portuguese at school. 22:43:52 So does fizzie. 22:43:56 And fungot. 22:43:58 fungot? 22:44:00 FIZZIE! 22:44:02 PERKKELE 22:44:10 one k 22:44:16 SATANA 22:44:19 I lived in Finland for two years 22:44:22 Lumpio-: two t 22:44:24 ...I am Finnish. 22:44:25 er, two a? 22:44:26 ¬u¬ 22:44:31 shapr: Did you have lakka? 22:44:41 I had salmiakki 22:44:45 I just snark at Finish sometimes. 22:44:49 Lumpio-: Well then I fail :-( 22:44:57 No I made typos on purpose 22:45:02 oh, whew 22:45:11 Because English-speaking people always do that when imitating Finnish 22:45:13 -!- fungot has joined. 22:45:27 ^style 22:45:27 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 22:45:31 I like listening to Finnish from Lappland, where I spent two years. 22:45:33 fungot 22:45:34 shachaf: ( i don't quite understand what the installer asked me if it's still recognized as a bank, but is it possible to program graphics using the basic defaults, mostly. 22:45:42 ^style alice 22:45:42 Selected style: alice (Books by Lewis Carroll) 22:45:44 fungot 22:45:44 shachaf: " and certainly you've given me the best of it!" 22:45:44 Much as I like listening to Norrbotten Swedish, where I spent five years. 22:45:48 fungot 22:45:48 fungot 22:45:48 shachaf: " and what are you thinking of?" i said, " i'm setting you a riddle fnord your victim be in bed, you know." 22:45:49 shachaf: and what a grand thing it would be such a treat!" said lady muriel. " it's a far more interesting question than ' isn't this a picturesque ruin?' aren't those autumn-tints lovely?' i shall have to go without fifty dinners at once! remember what i told you so! you've no idea what to do? 22:46:02 ^style discworld 22:46:02 Selected style: discworld (a subset of Terry Pratchett's Discworld books) 22:46:06 fungot: 22:46:07 shapr: the singing had stopped... that's foreign for cat's water, you know. 22:46:12 * shapr blinks 22:46:17 fungot: hi 22:46:18 shachaf: mr. ogg, you are fully qualified." the cat purred as the fingers tickled it behind the fnord crabs so they could all see. 22:46:24 The book styles tend to be kinda not so good. 22:46:34 -!- Arc_Koen has quit (Client Quit). 22:46:36 ^style qwantz 22:46:36 Is it done with markov chains? 22:46:37 Selected style: qwantz (Dinosaur Comics transcriptions 2003-2011) 22:46:38 fungot 22:46:39 elliott: so in that, well enjoy pooping in it. all the dudes, they will! 22:46:57 shapr: They're something slightly fancier than Markov chains that I completely forget the name of. 22:46:59 ^style monqy 22:47:00 Not found. 22:47:02 viterbi? 22:47:03 :'( 22:47:08 shapr: If you choose to think of it like that. (It's a variable-length n-gram model.) 22:47:12 yes, that 22:47:16 -!- Arc_Koen has joined. 22:47:25 Huh, that's nifty. 22:47:34 I want to make my markov keyboard layout someday... 22:47:44 It's trained with http://varikn.forge.pascal-network.org/ 22:47:55 (Our department made that thing.) 22:47:59 Where it dynamically remaps your keyboard to pick the letter you are most likely to type next by frequency. 22:48:00 * Arc_Koen gives up 22:48:13 shapr: That sounds awful. :-( 22:48:19 I think if I don't shut the client down quick enough it will always try to reconnect 22:48:20 shachaf: But it would be fun to write anyway 22:48:27 Arc_Koen: Which client? 22:48:31 fizzie: Which department? 22:48:33 colloquy 22:48:38 shapr: If you could make it correct typos, though... 22:48:41 I haven't had it for long 22:48:49 I use ERC myself. 22:48:55 ++ for a keyboard that remaps your keys in prediction of a mistype you're about to do 22:48:59 If the next letter is really likely to be 'x' but I press adjacent key 'y', it could use 'x'. 22:49:06 * shapr thinks 22:49:07 I was on xchat aqua for one or two years but then it suddenly stopped working 22:49:11 shachaf: maybe you should write it. 22:49:13 shapr: The ICS department of Aalto University (formerly TKK/HUT) of Finland. 22:49:16 ++ for a keyboard that reads your mind 22:49:21 shapr: Maybe probably not. :-( 22:49:28 Wait, HUT turned into Aalto? 22:49:34 Half a cheer for Klaymen! Hip hip--hoo! 22:49:38 fizzie: Don't you need "of the European Union of Europe of Earth of ..."? 22:49:40 It's not quite specific enough. 22:49:50 fizzie: Did your department move, or did HUT change names, or what? 22:49:54 HUT is one of the three universities that make up Aalto, yes. 22:49:56 Man, HUT did all sorts of awesome things! 22:50:17 The other two are a business university and an arts university. 22:50:21 I know Linux, ssh, and neural networks all came from the Helsinki area. 22:50:28 and of course ... 22:50:28 IRC 22:50:36 I never neural network I didn't like. 22:50:38 I made a pilgrimage to the first IRC server in Oulu 22:50:51 It's a flowerpot now. 22:50:52 shapr: IRC is dead. 22:50:53 They decided we need more interdisciplinarity and all kinds of such things. 22:51:17 craziness. 22:51:23 I can't decide whether an IRC pilgrimage is the worst or best thing ever 22:51:44 On average it's the most average thing ever. 22:51:46 elliott: It's okay, the was out to lunch so I just stood outside the door reverently for a few seconds. 22:51:49 shapr: So far it's really a single university in name only, really; all three have their own campuses (campi?) and there's not too much intermingling except for a few joint projects. 22:52:05 professor* 22:52:08 campopodes 22:52:16 The arts people are I think supposed to move to Otaniemi in the next decade, though. 22:52:16 fizzie: Ah, that's too bad. 22:52:35 elliott: campodes? 22:52:38 I used to think art students just shouldn't mix with technology, then I saw what art students can do with an Arduino. 22:52:46 campae 22:52:51 fizzie: I know people in universities around here who are really into joint projects. 22:52:58 kmc is probably also into them. 22:53:07 is the joke 22:53:21 It's funny that art students ended up making new flavors of Arduinos that I now use myself. 22:53:37 I thought the arduino was a computer 22:53:45 It is 22:54:03 Arc_Koen: Some art person was like "Hey, I want to sew a computer into my clothes." 22:54:15 And then the Arduino LilyPad was born. 22:54:21 * elliott tries to think of a good way to put on "Arduino" <-> "what do we know". 22:54:22 And shapr was like "sew what" 22:54:24 pun on. 22:54:38 when I decided occam-pi would be a neat new language to pick on all the docs told me "occam-pi is great for programming arduinoooooooos get yourself an arduino right nooooow" 22:54:40 Leah Buechley was the woman who started the LilyPad. 22:54:49 (I guess that is probably not how you pronounce "Arduino".) 22:54:50 Arc_Koen: srsly? 22:54:58 yup 22:55:01 wow, neat 22:55:07 I want to get Joy running on my Arduinos 22:55:09 for the record I did not get myself an arduino 22:55:19 @arr duino 22:55:19 Drink up, me 'earties 22:55:27 YOHO 22:55:29 Arc_Koen: but they're awesome! 22:55:31 i like Joy 22:55:31 @yarr duino 22:55:32 Ahoy mateys 22:55:35 @yarr shapr 22:55:36 May the clap make ye incapable of Cracking Jenny's Tea Cup. 22:55:43 @hey-shapr 22:55:44 shapr!! 22:55:46 Anyway, I'm off to the coffeeshop to finish setting up my new VPS 22:55:48 I'm here! 22:55:52 But I'm leaving :-P 22:55:57 @stay-shapr 22:55:58 Unknown command, try @list 22:56:00 nooo 22:56:02 :-( 22:56:06 I have an interview tomorrow morning! 22:56:08 Foiled by edit distance. 22:56:18 all you have to do is spam @get-shapr and he'll be unable to move 22:56:19 Probly gonna write Python part time 22:56:22 if they offer me enough money 22:56:25 shapr: I'm afraid I might not have all the nerdiness/computer-knowledge required to appreciate how much an arduino can offer me 22:56:31 shapr: what if they offer too much 22:56:39 shachaf: Then I'll drop out of school and have kids. 22:57:00 That sounds dangerous. 22:57:20 shapr: There *was* some amount of HUT name recognition that I think was lost, that's true; Teuvo "SOM" Kohonen has an office five doors right from me (not that he visits very often), and Erkki "(Fast)ICA" Oja is my thesis supervisor, but nobody associates those things with "Aalto". 22:57:21 Arc_Koen: I made an RGB LED clock. 22:57:35 fizzie: sadness :-( 22:57:44 I live in Paalo Aalto. 22:57:47 Does that count? 22:57:47 On the other hand, we're now Finland's foremost university in all lists that are in alphabetical order. 22:57:50 shapr: can you hook up an arduino to a coffee pot? 22:58:04 Arc_Koen: I wake up in the middle of the night, and my body can't tell what time it is... so I set an LED to change color according to the time. 22:58:09 So dull red means "keep sleeping" 22:58:18 shapr: We spell it "colouur" around here. 22:58:18 green means "You can go ahead and wake up now" 22:58:24 and blue means "GO TO CLASS NOW" 22:58:27 Arc_Koen: yes, you can 22:58:33 seriously? 22:58:44 and I mean *seriously* 22:58:56 Arc_Koen: https://www.google.com/search?q=arduino+coffee+pot 22:58:56 no, shapr is lying so he can take over the world 22:59:01 cause if it can then it's most definitely going on my to-buy list 22:59:03 by making everyone buy arduinos that can't interface with their coffee pots 22:59:07 Arc_Koen: http://www.wired.com/gadgetlab/2012/01/arduino-controlled-espresso-machine-rivals-way-more-expensive-models/ 22:59:19 http://www.instructables.com/id/Tweet-a-Pot-Twitter-Enabled-Coffee-Pot/ 22:59:30 http://www.arduino.cc/playground/Main/coffeeTronics 22:59:33 though the top of the list is currently "a car" and I'm not working at the moment so it's gonna take a while before anything on that list gets purchased 22:59:41 @brain 22:59:42 Whuu... I think so, BrainPan! But if running shoes had little feet, wouldn't they need their own shoes? 22:59:54 @@ (@brain) (@brain) (@brain) (@brain) (@brain) (@brain) 22:59:54 Now, Pinky, if by any chance you are captured during this mission, 22:59:54 remember you are Gunther Heindriksen from Appenzell. You moved to Grindelwald 22:59:54 to drive the cog train to Murren. Can you repeat that? Are you pondering what I'm pondering? It is here that my cheap workforce of trained iguanas will work 22:59:54 night and day to make our shoes to my exacting specifications! Well, I think so, Brain, but first you'd have to take that whole bridge apart, wouldn't you? I think so, Brain, but culottes have a 22:59:54 tendency to ride up so. I think so, Brain, but a codpiece made from a real fish would get smelly after a while, wouldn?t it? 22:59:55 shapr: you have no idea how happy you just made me 23:00:06 Arc_Koen: Arduinos really ARE awesome, ok? 23:00:09 and they're cheap 23:00:40 fizzie: Isn't Kohonen really old these days? 23:01:17 fizzie: So wait, if Oja is your supervisor, you're doing neural nets? 23:01:42 shapr: it's like life actually has a meaning now 23:02:20 Anyway, I'm off to finish setting up before my interview. 23:02:46 until now there was this "-> get a car -> find a girl -> marry her -> buy house -> have children -> don't forget to be happy all the way through" pattern in my head but there definitely was something missing about it 23:02:55 something involving coffee at some point or another 23:03:25 fizzie does speech recognition. 23:03:32 Unless he thought better of it by now. 23:03:41 I think if I can hook up an arduino to a coffee pot and to the cigar-lighter from a car and just drive around the world 23:06:24 shapr: Erkki's also a supervisor in name only, since the speech group doesn't at the moment have a professorship, and a thesis needs a professor as supervisor. 23:07:05 that sucks 23:08:38 I do have two "instructors" from the speech group, though, and it's possible one of them could become a full professor in the near future, in which case I'd probably switch the supervisor, since that'd really reflect the reality better. 23:09:06 The only thing I know about speech recognition is Viterbi, sadly. 23:09:18 Seems like it would be a fun thing to apply to syntax-directed programming editors. 23:10:17 shapr: And I suppose Kohonen must be really old; his title is "professor (emeritus)" and he just visits sometimes. A friend was making the Matlab SOM Toolbox that Kohonen (I think) wrote portable to Octave too, he had some discussions with him. But Kohonen is certainly not actively working any more. 23:10:24 has elliott weighed in on this topic yet 23:10:54 ah, elliott, the premier authority on thesis supervisors in finland? 23:11:21 Just the authority on the futility of speech recognition. 23:11:44 I'm an authority on thesis supervisors in Finland, too. 23:12:09 -!- sipa has joined. 23:12:51 yow, 1934! http://en.wikipedia.org/wiki/Teuvo_Kohonen 23:14:59 hm i only know him for his maps :) 23:15:00 The article is a bit dated in that the "Adaptive Informatics Research Centre" it mentions is no longer with us either. 23:15:29 It was a 5-year "centre of excellence" project of the Academy of Finland. 23:15:48 Currently the corresponding-but-slightly-different thing is COIN. 23:15:58 Which... means something. 23:16:39 COmputational INference, I think. 23:16:52 I think words like ohjelmointia are way more fun. 23:17:04 `words --finnish 20 23:17:08 seurootusta uppoamisempiville säänsä pohumalaulun siinsa vihkerrostasi röyhäisempaamuyöskemmassa soljumalaulatalle irroille negattamakkoi tyttävineminanne leuksi asevälitamme tuntavasta harvitsemmassa littuvina omalloa hastamme yhyttäviksi oppiltansa 23:17:11 minä haluan hampurilainen! 23:17:18 (This channel is all about the bots.) 23:17:21 That's awesome :-) 23:17:30 negattamakkoi tyttävineminanne leuksi 23:17:30 `words --dutch 20 23:17:31 whoah 23:17:34 Unknown option: dutch 23:17:38 `words --english 50 23:17:40 :( 23:17:42 Unknown option: english 23:17:42 `words --portuguese 20 23:17:45 `word --help 23:17:46 terão acascurarei encorajará cadorejá recoarão indurai alimatricia calatesolacro enfraremos apaireis descendidora intenregrafa despontado consoldariz tralize desence viteimplebrando ento sacomano destinas 23:17:47 dutch isn't a real language 23:17:49 dei 23:17:50 That's I think a character trigram model, made by.. PH? 23:17:52 @quote dutch 23:17:52 shachaf says: I think Dutch is just a parody of English. 23:17:53 elliott: echtwel 23:17:53 `words --help 23:17:57 Usage: words [-dhNo] [DATASETS...] [NUMBER_OF_WORDS] \ \ options: \ -l, --list list valid datasets \ -d, --debug debugging output \ -N, --dont-normalize don't normalize frequencies when combining \ multiple Markov models; this has the effect \ of making larger datasets more influential \ -o, --target-offset change the target length 23:18:02 `run words --help | paste 23:18:06 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.27718 23:18:07 `words -l 23:18:11 valid datasets: --eng-1M --eng-all --eng-fiction --eng-gb --eng-us --french --german --hebrew --russian --spanish --irish --german-medical --bulgarian --catalan --swedish --brazilian --canadian-english-insane --manx --italian --ogerman --portuguese --polish --gaelic --finnish --norwegian --esolangs \ default: --eng-1M 23:18:13 `words --finnish 20 23:18:17 heijastani kehräämpänäsi käytyvissioin eroittavimme kaalisellisimme pystyvikseen mättä pikaamolue grönsyinee unoksesi harkokoorukaisi hankeamme turvaan suomimaniltanevaa tyttyvänäni uimmisemme palkua komenneissä kaimpanasi kiehtimeampiesi 23:18:17 `words --eng-all 50 23:18:20 I wanna see it come up with a real word 23:18:23 mud later ewhockhap whitan tnnsyll radh hauter renmitting potiebzii aschrick ofprov falle abethcllama mafe boulamf ijf anximeld rafielo atjina kasen resen evier self modinato erted 23:18:27 http://translate.google.com/#fi|en|asevälitamme seems to be a real word 23:18:30 mud and later and self sure are words 23:18:34 oo 23:18:36 Lumpio-: "hankeamme" is up there. 23:18:38 it does it more for english 23:18:41 self is a real word 23:18:41 Lumpio-: yaecht 23:18:43 fizzie: What's that mean 23:18:44 `words --eng-1M 50 23:18:48 "turvaan" is a real word at least. 23:18:50 parte joar cla boit dil ihr striment incina virin trible flaxt second recd con servc hab wii asile natclif stralthfe mety rettington assar ielec buck 23:18:54 second! 23:18:55 i guess finnish is more agglutinative so there's more made-up words? 23:18:58 wii, that's sort of like a word 23:19:04 yes finnish is better for this 23:19:08 also the orthography is more consistent 23:19:08 `words --esolangs 20 23:19:10 does it use a first order markov model? 23:19:10 since none of these fake english words have any sort of meaning 23:19:11 luite; You don't really believe in Dutch, do you? 23:19:12 6ix twodu tod buband godscript fal var'aq thess alc blane minispace minifuck-2d sher c-lon 2050706 .box datefuck d1ffe7e45e unisc jot 23:19:16 whereas the finnish things occasionally mean something sometimes, I hear 23:19:20 `words --dutch 50 23:19:23 Unknown option: dutch 23:19:29 Lumpio-: Uh... you know, "hanki" + first-person plural + whatever noun case it was. 23:19:40 Pity getting a database for Japanese would be hard. 23:19:40 `words --hebrew 50 23:19:41 aaah 23:19:43 hankipankki 23:19:43 Yes. 23:19:44 `words --swedish 20 23:19:44 ​הדות ממזווע ומקבלם החדות הדבו מטבע נאמינא ודפס משלת לאתר ומדים והמנזק נדב המצו הסים הנגמולד חסוריד עבאסטה ואות האיכ ברו כהמחמד ויליו כאמלה העמדת 23:19:48 ​ölflacks skatiskan äpphöjer hemmans sippierränsam des luftlande bötfäril ändstremier insatserat blick kningskogets spring undigast grip utveden gamensamattadestfält säng hovs förbär 23:19:50 shachaf: only a little 23:19:57 Finnish is hard. 23:20:10 Oh, the words that could be had. 23:20:12 `words --norwegian 100000000000000000000000 23:20:14 Lumpio-: Also the "project-tub", I suppose, if interpreted as hanke|amme compound. 23:20:16 fiffinbøte disittenesperfatt paknemhjulside papire belverds morendensiene plaskiftsutver fruksvirksom navn livens musledelsenterkutap sulemsentipe føringen kjøp ulykkensjkuponing systbetodeal kjørnestregnsker tobakinsfeiner smålene bollen emndefirmasjons østnerorgiveplegi tralmene hydrofer ettenestertets 23:20:27 fizzie: project-tub sounds like some sort of "Web 2.0" "startup" "incubator". 23:20:29 > length . words $ "fiffinbøte disittenesperfatt paknemhjulside papire belverds morendensiene plaskiftsutver fruksvirksom navn livens musledelsenterkutap sulemsentipe føringen kjøp ulykkensjkuponing systbetodeal kjørnestregnsker tobakinsfeiner smålene bollen emndefirmasjons østnerorgiveplegi tralmene hydrofer ettenestertets 23:20:31 : 23:20:31 lexical error in string/character literal at end o... 23:20:34 > length . words $ "fiffinbøte disittenesperfatt paknemhjulside papire belverds morendensiene plaskiftsutver fruksvirksom navn livens musledelsenterkutap sulemsentipe føringen kjøp ulykkensjkuponing systbetodeal kjørnestregnsker tobakinsfeiner smålene bollen emndefirmasjons østnerorgiveplegi tralmene hydrofer ettenestertets" 23:20:37 25 23:20:43 elliott: It could well be the name of one. 23:20:57 > 25 — 100000000000000000000000 23:20:59 0 23:21:02 Finnish is very hard. I spent two years failing to learn Finnish. 23:21:05 "hankeamme" doesn't sound quite as good, though. 23:21:25 elliott: Maybe they could type it with that |. 23:21:36 shapr: I think you need to embrace your inner Scandinavian first. 23:21:37 shapr: If it makes you feel any better, I've spent 23 years failing to learn Finnish, among other languages 23:21:38 > 25 — 100000000000000000000000 -- hi 23:21:40 0 23:21:48 > 1 — 1 23:21:51 0 23:21:59 fizzie: That |? 23:22:06 > 1————————————————————————————————————————————————————————————————————————————————————————1 23:22:08 Not in scope: 23:22:08 ` 23:22:15 I'm gonna go register "hankeamme" 23:22:16 ais523: You should probably kick me. 23:22:18 > a — b 23:22:20 0 23:22:20 pikhq_: I tried embracing a Scandinavian, she broke up with me. 23:22:30 shapr: I specified "inner". 23:22:37 I learned Swedish! 23:22:38 Sort of 23:22:44 pikhq_: shapr's *inner* Scandinavian broke up with him. 23:22:45 That's a different kind of relationship 23:22:47 It's pretty sad. :-( 23:22:51 I think Swedes only ever learn Swedish sort of, too. 23:22:52 shachaf: haha 23:23:11 hydrofer is a neat word. 23:23:24 shapr: You're not even in #scannedinavian. :-( 23:23:32 `words 23:23:33 Wait, you are. 23:23:36 elliott: "hanke|amme". With a nifty logo. 23:23:38 awakely 23:23:47 bah this channel is too active for my productivity 23:23:47 It's a very cruel name 23:23:48 fizzie: Ooh, fancy. 23:23:51 hank?ea"mme! 23:23:57 `words --list 23:24:00 valid datasets: --eng-1M --eng-all --eng-fiction --eng-gb --eng-us --french --german --hebrew --russian --spanish --irish --german-medical --bulgarian --catalan --swedish --brazilian --canadian-english-insane --manx --italian --ogerman --portuguese --polish --gaelic --finnish --norwegian --esolangs \ default: --eng-1M 23:24:05 luite: Just don't read it. 23:24:08 `words --gaelic 23:24:09 luite: None of the rest of us do. 23:24:11 luite: It's like #haskell; you can just ignore all the noise. 23:24:12 unpossible 23:24:12 t-siubh 23:24:15 `words --gaelic 30 23:24:18 lomail feal dhe bas caobhan leòc t-uiste ursaich n-eunlamus bliab ceisd athalm chomh treit déidean ain cleach taobradh fiod fhallainn ulladha-rèid timchadh cais stàtaich caibhionn 23:24:23 Except that #haskell is 90% noise and #esoteric is 101%. 23:24:25 `words --polish 10 23:24:25 #haskell is a lot quieter atm :) 23:24:27 bliab 23:24:28 `words --russian 10 23:24:29 pozaną sesemizdaturozsiedocerwsz rytorowy skrysokowywracją nientaktotane wiedodraczał obształybyśmy bydlepylajkach mantetyczykryn zagrzekliłem 23:24:30 `WELCOME luite 23:24:30 Or never be productive. 23:24:35 ​десически най засеялист частолмский масбродом дений тей ьняемом хьюэлоняющие солод 23:24:37 `words --eng-fiction 1- 23:24:40 `words --canadian-english-insane 10 23:24:40 `WELCOME luite 23:24:40 if i have a daughter i shall call her bliab 23:24:47 `words --eng-fiction 10 23:24:48 Okay, sleb now; have to be up in 4-and-a-half hours to give an insulin poke to our recently diagnosed diabetic cat. :/ -> 23:24:50 I wish gandi would let me change my country, I don't live in Finland anymore :-( 23:24:54 fizzie: :( 23:24:55 `words --eng-all 23:24:56 everrel amicallin orgolded genetota free pherbodynanting suctua constacebubbuktu lation timeno 23:25:01 Argument "1-" isn't numeric in int at /hackenv/bin/words line 148. \ padi 23:25:03 * pikhq_ *still* hasn't bothered to actually get this thing to do LZ 23:25:05 lebulk caterab vofa sau tection hath attaine int motected beckund 23:25:06 "ьняемом" hahaha, what? 23:25:09 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: WELCOME luite: not found 23:25:09 shapr: you'd think gandhi would be more understanding of such things 23:25:10 phog 23:25:14 `words --eng-all 30 23:25:16 ​LUITE: WELCOME TO THE INTERNATIONAL HUB FOR ESOTERIC PROGRAMMING LANGUAGE DESIGN AND DEPLOYMENT! FOR MORE INFORMATION, CHECK OUT OUR WIKI: HTTP://ESOLANGS. 23:25:22 monsophv wilbee adnancerit ische day oestru josing oraae sor mac mal typali cyclng cmic boarkr mtheran tre wlden glanded plc carta charmen cordik qaz krton 23:25:29 `WeLcOmE shapr 23:25:34 ShApR: wElCoMe tO ThE InTeRnAtIoNaL HuB FoR EsOtErIc pRoGrAmMiNg lAnGuAgE DeSiGn aNd dEpLoYmEnT! fOr mOrE InFoRmAtIoN, cHeCk oUt oUr wIkI: hTtP://EsOlAnGs.oRg/wIkI/MaIn_pAgE. (FoR ThE OtHeR KiNd oF EsOtErIcA, tRy #EsOtErIc oN IrC.DaL.NeT.) 23:25:36 yow 23:25:54 oh my, this channel really went down the bot hole this evening 23:26:05 monsophv wilbee andnancerit ische day 23:26:07 i blame shapr 23:26:08 er 23:26:08 shachaf 23:26:15 shapr: can you change your name so i can press sha 23:26:17 blame me, everybody else does! 23:26:20 elliott: nope 23:26:23 :( 23:26:24 I forgot how. 23:26:36 /nick not-shachaf 23:26:42 too lazy 23:27:18 wow, I never thought anyone could be lazier than me 23:27:39 `words --eng-1M --eng-all --eng-fiction --eng-gb --eng-us --french --german --hebrew --russian --spanish --irish --german-medical --bulgarian --catalan --swedish --brazilian --canadian-english-insane --manx --italian --ogerman --portuguese --polish --gaelic --finnish --norwegian --esolangs 50 23:27:47 `words --welsh 10 23:27:51 Unknown option: welsh 23:27:59 Killed 23:28:04 :( 23:28:17 Manx, but no Welsh? 23:28:30 `words --eng-1M --eng-all --eng-fiction --eng-gb --eng-us --french --german --hebrew --russian --spanish --irish --german-medical --bulgarian --swedish --brazilian --manx --italian --ogerman --portuguese --polish --gaelic --finnish --norwegian 50 23:28:32 And no Cornish?! 23:28:33 `words --esolangs 30 23:28:37 dev grusomnia crab triinc help cabrainfuck ext() dot mycelium pointer quantum symespearbf binarylis sendejx musicasmith subskin ted rubescript tri super stantum netwofiftysnail .ger che jug 23:28:41 ext() 23:28:49 Killed 23:28:49 `words --manx 30 23:28:52 claitnys surrym erchoo n'egoil jeshaslavio bogh-screg hellvee thie ker maane-chaa tonnoropal morteir ny-chey jedoobeydagh bengle breeagh lieen shiare eays neuglouan etlag furreyder daagyrtarman shan lharvian 23:28:58 `words --eng-all --french --german --hebrew --russian --spanish --irish --german-medical --bulgarian --catalan --swedish --brazilian --manx --italian --ogerman --portuguese --polish --gaelic --finnish --norwegian 50 23:29:05 manx is awesome, apparently 23:29:07 tonnoropal is a good word 23:29:14 webcarting lekterprdrownowboy größenphy qatarabasseturoo uljeitus annum perail cybenblivativaron bai naphenava mará уолствахъли prísti arterrsivelsiom abulark ion друсирод exema physika dark-ono blator tement сотэрд nachaura כשעתו 23:29:28 It'd be cool if it had scots 23:29:28 webcarting 23:29:37 that is the best word I have ever heard 23:29:43 Phantom_Hoover: I get the feeling that everyone who speaks Manx is a dragon 23:30:42 elliott: what is webcarting? 23:30:48 ask HackEgo 23:31:01 olsner: "the best word [elliott] [has] ever heard" 23:31:02 Can't you read? 23:31:09 … ion … 23:31:20 ion 23:32:10 `words --polish 30 23:32:13 zbalnymiancjujecie datnymienami cienaśnie wibranżowski świnetucja niemonowanizowa nieastowe przykowacyjny sztynomowandrzemnym nieautowaniują niezdyssidlana naklowertowi półletnikownej podbijaku wychodziweryplątech zbranowocestrynk zakomusinizorowni łowiajże ocystawizmy niehiperach nierzowałbyście rozsynosłowym pełźnicowie replatowańskakudze zaparskiemaszmacki 23:32:21 polish is boring 23:33:02 It's very poetic 23:33:11 And is good for swearing 23:33:38 "Because Manx has never had a large user base..." -- [[Manx]] 23:34:25 i'm now seeing manx as a shitty scripting language that nobody used 23:34:47 ion: ? 23:35:17 shachaf: ! 23:35:51 16:32 ಠ_ಠ 23:35:55 `? webcarting 23:35:59 webcarting? ¯\(°_o)/¯ 23:36:07 * shapr tries to remember how to configure DNS 23:36:29 shachaf: That was a weird tree. 23:36:34 -!- basti_ has quit (Quit: n8). 23:36:52 -!- noals has joined. 23:37:03 -!- NihilistDandy has quit (Quit: ["Textual IRC Client: www.textualapp.com"]). 23:37:11 -!- noals has left. 23:38:21 -!- monqy has joined. 23:38:49 `learn webcarting is not dissimilar to Mario Kart, but uses real, remote-controlled go-karts. Participants describe it as "the outlandish spectacle of real go-karting combined with the thrill and immersion of Mario Kart". 23:38:52 I knew that. 23:41:28 ion: Try writing some functions that use it! 23:54:09 fmap f (Leaf a) = Leaf (f a); fmap f (Node t) = Node (fmap (f *** f) t) 23:54:23 Right. 23:55:39 Now toList! 23:56:35 Feel free to define it for us, i feel like doing something else. :-P 23:56:49 Phantom_Hoover: is that a real thing? 23:56:57 no 23:57:14 tell randall munroe about it, doubtless he'd think it's a good idea 23:57:18 heh 23:57:54 99,999,999 blog authors and commenters agree: webcarting is "awesome" 23:59:14 millions of office workers briefly comforted by the fantasy of indulging in a pointlessly expensive and destructive hobby 23:59:39 go-karts are pretty hardy