00:00:16 Prince_Charles: There was apparently a study showing it was an effective spermicide and one showing it wasn't. 00:00:17 I really hope that this does show up if elliott's prospective employers Google him. 00:00:37 It totally will. 00:00:38 Prince_Charles: The two studies earned their authors the 2008 Ig Nobel Prize in Chemistry. 00:00:38 -!- quintopia has quit (Read error: Operation timed out). 00:00:48 XD 00:01:06 what? :D 00:01:27 -!- quintopia has joined. 00:01:27 -!- quintopia has quit (Changing host). 00:01:28 -!- quintopia has joined. 00:01:56 Hmm. Seems Coke has a pH of 2.5... 00:02:16 I'd *really* think that alone would do a number on most cells. 00:02:57 pikhq, what, seriously? 00:03:14 Uhh, that seems wrong. 00:03:15 bah 00:03:16 Prince_Charles: Most sodas are pretty acidic. 00:03:17 That's, like, the same as vinegar. 00:03:19 i lagged out again 00:03:20 Maybe Coke SYRUP has a pH of 2.5 00:03:26 this is terrible QoS 00:03:27 AND THEY MOCKED ME FOR DRINKING BALSAMIC 00:03:33 pikhq: Dude, I make soda, it's not THAT acidic. 00:03:46 Gregor: Colas are at the high end. 00:03:48 COKE MELTS SKIN 00:03:56 pikhq: IT IS NOT AT FUCKING pH 2.5 00:04:02 pikhq: Wherever you read that is wrong. 00:04:34 I get 3.4 on the first Google hit. 00:04:59 OTOH, http://biology.clc.uc.edu/scripts/phresl.pl reports it as 2.75. 00:05:31 And regular Coke has a pH of 2.0. 00:06:12 ...which is less than that of red wine vinegar. 00:06:37 Prince_Charles: Red wine vinegar probably isn't sweetened. 00:06:55 And only a little more than that of rice vinegar. 00:07:02 Gregor: Well, one of the main ingredients in Coke is freaking phosphoric acid. 00:08:22 -!- poiuy_qwert has quit (Ping timeout: 240 seconds). 00:09:39 oklopol, would you reconsider having sex in a bath of coke based on this new information? 00:10:38 And I'm finding a lot of citations for the pH of Coke being around 2.5... 00:10:40 actually, i might. 00:10:50 because i don't know what would happen 00:10:53 Not the syrup, the actual end result. 00:10:57 i do enjoy the idea of bubbly bubbly 00:12:06 oklopol, perhaps your girlfriend was reasonable in her preference of Sprite, and you dismissed her unjustly? 00:12:44 Prince_Charles: Sprite isn't much better. 00:12:46 indeed. i would call right away, but she just moved to ethiopia. 00:13:04 oklopol, conclusion: you're both idiots. 00:13:17 :P 00:13:24 How's about milk? 00:13:33 pikhq: Yes, and I know how much phosphoric acid goes into it. It's not a lot. 00:13:39 i wouldn't put my genitalia in coke. 00:13:46 pikhq, hmm, that page gives Sprite as pH 5. 00:13:58 Prince_Charles: Oh, hey, that is quite a bit better. 00:13:59 -!- poiuy_qwert has joined. 00:14:01 Or 3.9 for pure Sprite. 00:14:25 But since pHes are logarithmic, that's nearly a hundred times less acidic than Coke. 00:15:20 oklopol, I suppose you could just use carbonated water. 00:15:29 Did you read the quotations on page 365 (the end of Appendix B) of the TeXbook? 00:15:55 Gregor: A 10^-2 molar solution of phosphoric acid is 2.25 pH. 00:17:13 Given that the pH of carbonated water alone is between 3 and 4, Sprite seems as good a choice as any from an acidity standpoint. 00:17:30 and you get to see tits too! 00:17:38 Ah, yeah, and carbonated water is itself a solution of carbonic acid. 00:17:39 OTOH, Sprite has sugar in it. 00:17:52 Ilari: sugar is bad for the genitals? 00:17:52 Ilari, hence "from an acidity standpoint". 00:17:55 s/sugar/high-fructose corn syrup/ :P 00:18:12 But watch out for carbonated water that has sugar in it (yes, that exists). 00:18:29 Well, sugar is bad news for pretty much anything... :-) 00:18:34 i'm sure i'd use whatever's the cheapest 00:18:39 you'd need quite a lot of it 00:18:47 oklopol, well, carbonated water then. 00:18:51 s/sugar/high-fructose corn syrup/ :P 00:18:53 only in the usa. 00:18:56 Yeahyeah 00:18:58 Just being a durp 00:19:08 dupr 00:19:44 oklopol: Straight corn syrup, then. 00:20:08 Because of government subsidies, it has a negative cost of production, IIRC. 00:20:43 ooh, syrup might be fun too 00:21:21 -!- cheater00 has joined. 00:21:21 oklopol: do it in treacle. 00:21:28 oklopol, even *worse* from a sugar point of view. 00:21:40 Prince_Charles: Yes, but external application of sugar is kinda moot. 00:22:05 pikhq, yes, but sex kind of implies a degree of internal application. 00:22:28 i don't have a vagina but i think that might be painful 00:22:49 On the other hand, sugar could produce a yeast infection. 00:23:04 oklopol: do it in liquid sugar 00:23:05 fuck yeah 00:23:10 carbonated liquid sugar 00:23:13 elliott: Owowowowow. 00:23:37 elliott, sugar doesn't melt at non-burny temperatures. 00:23:53 Prince_Charles: You should specify pressure. 00:23:55 hot sex hahahahaha 00:23:58 -!- cheater- has quit (Ping timeout: 240 seconds). 00:24:07 what pikhq said 00:24:09 i wonder if anyone's realized hot means two different things 00:24:11 You can supersaturate water with sugar. 00:24:16 PRESSURE, PUSHIN' DOWN ON ME 00:24:19 186°C, apparently. 00:24:20 You could have syrup that's like three parts sugar, one part water. 00:24:23 Carbonate that bitch. 00:24:33 Gregor: Not the same as sugar in its liquid state. 00:24:43 man this carbonated sex thing does not sound so appealing. 00:24:44 pikhq: Duh. 00:24:50 Gregor: *8 parts sugar, 1 part water 00:24:53 SO MUCH SUGAR 00:25:11 *G₆₄ parts sugar, 1 part water 00:25:14 Pretty sure three is already pushing the limit :P 00:25:21 -!- GreaseMonkey has joined. 00:25:26 *infinity parts sugar, 0 parts water 00:25:54 elliott: my master's thesis is about why infinity is not a number 00:25:56 *1 part sugar, 1 part sugar 00:26:03 oklopol: lol 00:26:10 oklopol: Define "number". 00:26:14 :) 00:26:30 i do that on page 23 00:26:48 -!- azaq23 has quit (Ping timeout: 250 seconds). 00:26:53 "a number is a hyperreal 00:26:54 ... 00:26:55 shit" 00:27:05 oklopol: If that's a MASTER'S thesis, it sounds like a Master's thesis in a field that you can't get a job with a Master's ... 00:27:07 As snarky as that comment was, I did in fact mean it in all seriousness — you really do need to define what numbers *are* in order to determine whether or not infinity is one. 00:27:12 -!- azaq23 has joined. 00:27:46 Gregor: 1) my master's thesis is not about infinity 2) that's true for what it actually is about as well 3) who the fuck stops at master's? 00:28:06 Gregor stopped at master's 00:28:08 because he's dumb 00:28:09 oklopol: Most people stop before a master's. 00:28:11 Dood I skipped right over Master's :P 00:28:16 yeah 00:28:18 too dumb to be a master 00:28:24 he's just a doctor now 00:28:26 well 00:28:27 not even that yet 00:28:29 lol 00:28:30 he's a retardy 00:28:35 (so glad he isn't an op right now) 00:28:38 He's a bachelor. 00:28:58 yeah that's possible too, but most of my results would've gone to waste 00:29:11 because i don't wanna do a phd in this topic 00:29:26 what's your poopd gonna be in 00:29:32 i have absolutely no idea 00:29:33 EXCLUSIVELY USELESS MATH? 00:29:38 hopefully 00:29:42 elliott: The math of poop. 00:29:51 i'd like to do something really abstract and insane that no one understand 00:29:51 in that course, anyone who mentions "oh yeah I did this thing wh-" gets shot 00:30:00 oklopol: what, don't you masturbate already? 00:30:01 ohh 00:30:03 that was some wordplay 00:30:06 fuckin' WIT 00:30:08 *understands 00:30:10 do you get it oklopol 00:30:16 you're the really abstract and insane thing that no one understands 00:30:17 DO 00:30:17 get it 00:30:19 ahahahahahoijxklmc 00:30:19 hopfgkfe[ 00:31:07 And in 2020, when poop becomes the mainstream computation method (it's complex and involves physics that won't be invented for 5 more years — don't ask), his poop math degree will be the most valuable thing ever. 00:31:35 * Prince_Charles → sleep 00:31:44 pikhq: i approve 00:31:46 oklopol: have sex in poop. 00:31:50 carbonated poop. 00:31:55 -!- Prince_Charles has quit (Remote host closed the connection). 00:32:06 there was this vid where a jap swam in cow shit for hours 00:32:19 Why do you want to have sex in everything? I don't want. 00:32:30 `addquote Why do you want to have sex in everything? I don't want. 00:32:31 326) Why do you want to have sex in everything? I don't want. 00:32:38 "I don't want." is a brilliant sentence 00:32:42 actually the one i bumped into was GIRL SWIMMING IN COW SHIT *TWO* 00:32:53 electric boogaloo? 00:32:59 oklopol: I can only hope that she was drunk. 00:33:02 good to know one was not enough 00:33:05 drunk on cow shit 00:33:10 Once someone told me he was going to call the president and tell him to remove the words "I don't want" from the dictionary. 00:33:15 pikhq: well i didn't watch all of it, but i doubt it 00:33:21 oklopol: man i dunno, I liked Girl Swimming in Cow Shit 00:33:28 but Girl Swimming in Cow Shit Two just felt... derivative 00:33:33 none of the spark of the original, you know? 00:33:34 :P 00:33:50 elliott: I suppose it was a bit... Slope of the tangent line-y. 00:33:53 the trilogy was MUCH better as a book 00:34:07 oklopol: definitely 00:34:14 Girl Swimming in Cow Shit Three... the emotion 00:34:16 the struggle 00:34:17 the cow shit 00:34:19 the girl 00:34:20 the swimming 00:34:23 yes 00:34:23 a masterpiece. 00:46:13 -!- sebbu2 has joined. 00:46:13 -!- sebbu2 has quit (Changing host). 00:46:13 -!- sebbu2 has joined. 00:49:10 -!- sebbu has quit (Ping timeout: 240 seconds). 00:49:10 -!- sebbu2 has changed nick to sebbu. 00:49:27 20:32:03 * pikhq wonders: would you call Hemingway any good? 00:49:28 20:32:15 We just started doing stuff on Hemingway, so. . . 00:49:28 20:32:31 I liked "Old man and the sea" and "Of Mice and Men" 00:49:28 20:32:46 "Of Mice and Men" was pretty good, IIRC. 00:49:28 20:32:51 the grapes of wrath was rather dull, but it had it's moments. That was another WTF ending. 00:49:29 20:33:02 Not read that one. 00:49:31 20:33:03 His short stuff was the best, really 00:49:35 20:33:28 And "Of Mice and Men" and "Grapes of Wrath" are Steinbeck, not Hemingway. 00:49:37 20:33:44 don't bother with the grapes of wrath, but read "the old man and the sea" sometime. Actually, you could probably run through it on project gutenburg in a couple hours. 00:49:40 lol wut 00:49:42 oh 00:49:44 pikhq pointed out the error in that line :D 00:49:46 i was all wutting 00:49:48 but then pikhq wutted for me 00:49:50 and now i'm all out of wuts to wu 00:49:52 *wut 00:50:21 pikhq, it's rude to wut me like that 00:51:03 old man and the sea = hey let's go fishing oh shit daz big i can't do it let's go get drunk and shit 00:51:13 hey oklopol, have you read a work of fiction since 2008-01-22 00:51:29 i read the last harry potter like umm on sunday 00:51:40 not all of it, the last 100 pages, i've read it sporadically 00:52:11 oklopol: YOU VIOLATED YOUR PACT 00:52:16 with yourself 00:52:19 or did you revoke it 00:52:39 the last harry potter is a bit rubbish... actually it started going downhill after goblet of fire 00:52:53 goblet is such a great word 00:52:54 i could live in a goble 00:52:56 goblet 00:53:50 How can you live in a goblet? 00:53:51 so oklopol 00:53:52 clue 00:55:05 oklopol is having his mind blowed by his own language 00:56:17 clue is a best! 00:56:35 oklopol: so did you do lambadas 00:56:46 the part where they just did nothing for hundreds of pages was good tho 00:57:39 yeah that's like 00:57:40 all of it 00:57:48 they had no idea what they were doing most of the book 00:58:08 ACTION...nothing...nothing...nothing...(action)NOTHING...nothing...nothing...nothing..."wtf is going on" "man, for wizards, you think we'd know the shit that all wizards apparently know" 00:58:12 "maybe we're just tarded" 00:58:17 "maybe. let's keep finding out that 2+2=4." 00:58:22 ...nothing...nothing... 00:58:25 yeah it's great how harry and ron still don't know fucking shit 00:58:27 "hey voldemort's dead, when did that happen" 00:58:29 [ THE END ] 00:58:33 without hermione, they would die on every page 00:58:37 sorry for spoiling 00:58:41 you know 00:58:43 that voldemort dies 00:58:53 and then harry suddenly beats everyone on the last 5 pages and is all hero and shit 00:58:56 good triumphs over evil, who'da thunk it?! 00:59:04 oklopol: maybe harry's like, secretly half-troll 00:59:12 and he actually just whacks everyone on the head all the time :/ 00:59:16 but he thinks he's doing magic 00:59:20 and he's the one writing the book 00:59:33 would make a sense 00:59:36 what i'm saying is, voldemort is just a playground bully, they're all five years old, and harry has downs 00:59:48 -!- elliott has set topic: fuckin' literary analysis | http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 01:00:23 oh you said spoiling 01:00:33 i read that as something between spelling and typoing 01:00:35 xD 01:00:38 spypoing 01:00:45 spypoing, that would be a good day 01:00:46 erm 01:00:47 game 01:00:50 you're a spy and you poing people. 01:00:53 or things. 01:01:25 i have an exam overmorrow, so i have to sleep. 01:01:30 -!- SimonRC has quit (Ping timeout: 264 seconds). 01:01:33 -!- elliott has set topic: HAVE YOU EVER CAUSED A PLANET TO DISAPPEAR? | http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 01:01:36 oklopol: as long as you come back : 01:01:38 *:| 01:01:41 i realise i'm annoying 01:01:42 but but 01:01:49 don't make everyone else be deprived 01:01:51 just because i suck 01:01:54 i noticed your language doesn't have a word for day after tomorrow so i borrowed the finnish one 01:02:13 oklopol: but 01:02:14 in finnish 01:02:16 isn't it just 01:02:18 daytodaynextnetx 01:02:20 *nextnext 01:02:21 because of 01:02:22 you know 01:02:24 agglutination 01:02:28 which is clearly applied universally 01:02:32 because that's the only thing that makes sense? 01:02:33 ah yeah that polar bear thing 01:02:37 ...wat 01:02:45 what? 01:02:48 yeah 01:03:05 what polar bear thing 01:03:07 yeah we're totally agglutinative, and also slightly concatenative 01:03:14 THAT'S THE SAME THING 01:03:18 ok oklopol what is the finnish for "day" 01:03:22 piv 01:03:27 and in the phrase "this day", what is the finnish for "this" 01:03:36 tm 01:03:41 what's the finnish for "next" 01:03:44 seuraava 01:03:49 oklopol: päivätämäseuraavaseuraava 01:03:52 oklopol: what does that mean 01:04:08 it means roughtly daythisnextnext 01:04:12 *roughly 01:04:14 oklopol: BUT DOES IT MAKE SENSE 01:04:32 well maybe not as much as daythisnextnext, but good enough. 01:04:37 xD 01:04:45 well does päivätämä make sense for "today" 01:05:19 Is "daythisnextnext" like the day after tomorrow? 01:05:34 yes! 01:05:56 piv tm could be a poetic way to say this day. sounds a bit silly ofc. 01:06:35 oklopol: hmm, what's finnish for today 01:06:37 and what's finnish for after 01:06:51 today=tnn, after=jlkeen 01:06:59 tänäänjälkeen 01:07:04 DOES THAT SOUND LESS SILLY 01:07:25 well unlike piv tm, that one could not mean anything 01:07:30 but i like it 01:07:38 tänäänjälkeenjälkeen 01:07:45 oklopol: wait what's the finnish for "twice" 01:07:50 kahdesti 01:07:52 tänäänjälkeenkahdesti 01:07:56 :D 01:07:59 from now on whenever you have to say the day after tomorrow in finnish 01:08:00 say that 01:08:08 you should write all my finnish from now one 01:08:09 *on 01:08:17 oklopol: heck, if you have to say like 01:08:20 today 01:08:23 oklopol: ok i need some words 01:08:32 oklopol: what's the finnish for "period" as in period of time, what's the finnish for "time" 01:08:32 i have a few 01:08:36 actually wait 01:08:39 kausi aika 01:08:39 oklopol: what's the finnish for twenty-four 01:08:41 what's the finnish for hours 01:08:46 kaksikymmentnelj 01:08:49 tunti 01:09:07 what's the finnish for "current" 01:09:13 tmnhetkinen 01:09:23 oklopol: kaksikymmentäneljätuntiaikakausitämänhetkinenseuraava 01:09:26 depends on the usage prolly 01:09:27 that's "tomorrow" 01:09:34 current as in, present 01:09:35 of course it is 01:09:42 oklopol: does that actually like...parse 01:10:00 well i know it's stack-based so i can parse it just fine 01:10:11 but that's just a stack of finnish words in random order 01:10:12 :P 01:10:24 oklopol: see i interpret agglutinative to mean polysynthetic 01:10:27 where that WOULD make sense :P 01:10:30 http://esolangs.org/wiki/Main_Page 01:10:33 added that wonderful word to our front page 01:10:37 kaksikymmentäneljätuntiaikakausi is an okay compound 01:10:49 what does that mean, without the rest 01:10:49 imo, other finns might disagree violently tho 01:11:14 elliott: i know you interpret agglutinative to mean polysynthetic 01:11:18 that's why i said polar bear 01:11:22 "Twenty-Four Hour Period As One moment" --Google Translate on "kaksikymmentäneljätuntiaikakausitämänhetkinen" 01:11:22 oklopol: xD 01:11:34 "as one moment" actually makes that make sense 01:11:36 but it's probably a mistranslation 01:11:53 my next esolang will be called Kaksikymmentäneljätuntiaikakausitämänhetkinen. 01:12:15 tmn hetkinen kahdenkymmenenneljn tunnin ajanjakso 01:12:19 oklopol: what's the finnish for true, false, and or 01:12:19 = today 01:12:22 erm 01:12:25 tmnhetkinen 01:12:34 *tämänhetkinenkahdenkymmenenneljäntunninajanjakso 01:12:41 true=tosi, false=eptosi, or=tai 01:12:44 and also vai 01:13:00 oklopol: whenever you want to say "dunno" or "maybe" say tosiepätositai instead 01:13:11 "Is it true that you're an asshole?" "Tosiepätositai." 01:13:11 in finnish, if someone asks you if you want coffee or tea, you can't say "yes" 01:13:19 sure you can 01:13:22 you'll just get punched 01:13:39 no, you get punched in uk, in finland people don't understand you 01:13:46 :D 01:13:57 oklopol: maybe i'll learn finlandish instead of pajamaese 01:13:58 because that's like answering "final seventh" 01:14:00 sorry japanese 01:14:12 wait wait lemme construct a finnish sentence with google translate and my own ingenuity 01:14:29 japanese is fun 01:14:45 oklopol lausetämänarvostavaja on 01:14:45 elliott: でも日本では漢字有る!漢字が大好きな物だよっ! 01:14:52 you can just say a sentence and put "no" after it to make it an event, quite as sexily as in lojban 01:14:56 s/日本/日本語/ 01:14:59 lol google translate won't even touch that middle word 01:15:10 oklopol: parse dat 01:15:44 sentence of this one that esteems and is 01:15:53 oklopol: xD 01:15:54 oklopol: it was 01:16:06 oklopol sentencethisappreciatesof is 01:16:07 or something 01:16:14 22:49:32 i made an attempt once at a natural language with as little vocab as possible 01:16:14 22:49:43 15 words could already do a lot 01:16:14 22:49:56 hmm, which words? 01:16:14 22:50:22 hmm, some logic, derivative, integration and "world" 01:16:14 22:50:28 also, i think i had some concept of identity 01:16:15 22:50:44 interesting 01:16:16 22:50:46 world was for getting something physical in 01:16:19 hey was that that one you pasted a vocab for in like 2007? 01:16:24 pikhq: what's 漢字 01:16:28 Kanji. 01:16:39 what's it mean i mean 01:16:43 Kanji. 01:16:44 chinese character 01:16:47 oh lol 01:16:50 indeed :DD 01:16:55 22:54:09 "lalna", my other lang, had a separate module for geometry, you could explain a chair in that one quite easily without an actual word for chair. 01:16:56 oh, that was lalna 01:17:00 looked familiar 01:17:02 i wanna learn oklopol's languages 01:17:06 they sound fun. 01:17:07 but couldn't quite finger it 01:17:42 23:02:09 so basically, balls would take their shape from 1. how unique they are, or how far they are from others, and 2. their importance... the probability at which a certain object is described should grant it greater space 01:17:42 23:02:31 *nearer 01:17:45 lol, balls 01:17:47 lalna was awesome yeah 01:18:00 oklopol: can you like revive lalna so i can learn it ;x 01:18:23 oklopol: wait wait was lalna polysynthetic 01:18:24 i sure hope so 01:18:38 not really, i don't know what polysyntheticism is really 01:18:56 oklopol: words are formed by piling other words on top of them \o/ 01:18:58 -!- SimonRC has joined. 01:19:03 obviously the only sane way to do things 01:19:05 not having that is like 01:19:07 not having function composition 01:19:12 elliott: oh kinda like in every language 01:19:22 oklopol: not in english, or german or 01:19:23 or 01:19:25 all shitty languages basically 01:19:39 http://en.wikipedia.org/wiki/Polysynthetic_language#Examples 01:19:39 or you mean, polysynthetic = form sentences WITHOUT RULES 01:19:42 oklopol: http://en.wikipedia.org/wiki/Polysynthetic_language#Examples 01:19:51 basically you do to the language what i did to finnish 01:19:52 (violate it) 01:20:49 makes sense 01:20:52 elliott: Mmm. 01:20:57 pikhq: ? 01:21:09 oklopol: so did lalna do THAT 01:21:13 the vocab list was pretty i think 01:21:14 elliott: You'd probably like some of Japanese's word construction, then. 01:21:38 no lalna didn't do that 01:21:58 oklopol: is this lalna http://www.vjn.fi/pb/p431131523.txt 01:22:07 03:14:14 if someone wants to make a better one, i can make that the stdlib 01:22:07 03:14:26 you'll get your nick on the credits of my language 01:22:07 03:15:14 i was first thinking i'd just automatically generate that from wiktionary + most used words 01:22:07 03:15:26 but that was just too complicated.. 01:22:22 no 01:22:30 man, that thing sucks, it has useless concepts like mother, and year :/ 01:22:33 what were you thinking 01:22:39 and uh countries 01:22:41 i don't think it is 01:23:07 oh lalna is the one that used backwards ` and ` for nesting 01:23:09 on top of letters 01:23:20 ah wait yeah that actually is one of lalna's modules yeah 01:23:26 lol you first mentioned lalna in the past tense (in 2008) 01:23:47 but i think i just added stuff at random 01:23:50 it would be nice to have an actual module system in a natural language 01:23:51 like 01:23:58 all cs terms are prefixed with "cs" or whatever 01:24:01 but you can say "import cs" :D 01:24:12 my god, that's the best idea i've ever had. 01:24:21 yeah that's the basic idea of lalna 01:24:29 oklopol: how did you do (( in lalna 01:24:31 i.e. two open quotes 01:24:40 `` on top of a char? :D 01:24:42 i think 01:24:47 but that was closing 01:24:48 No output. 01:24:52 is closing 01:25:08 oh 01:25:11 i mean i think "i" is a word you can use for nesting 01:25:13 ah 01:25:26 oklopol: so basically 01:25:30 you tarnished the purity of your language 01:25:32 because of existing alphabets 01:25:34 but yeah that's why it doesn't really matter what you chose as lalna's words, you can just choose another module 01:25:37 well done oklopol, well done 01:25:38 -!- Allan_ has joined. 01:25:50 -!- anon4532 has joined. 01:26:09 -!- anon4532 has left (?). 01:26:10 what do you mean 01:26:13 tarnished 01:26:25 oklopol: well the pure thing to do would be to stack multiple backwards-`s on top of one char 01:26:30 to denote multiple opening 01:26:33 how would you pronounce it? 01:26:51 oklopol: um... who cares? 01:26:52 you do realize the means rising tone 01:27:02 oklopol: i'm sorry, who the fuck speaks? 01:27:06 that's a bullshit criteria 01:27:09 vocal cords suck ass 01:27:24 *criterion 01:27:25 obviously. 01:27:39 well obviously you can use (( for double nesting if you aren't writing it phonetically 01:27:54 i don't care about that 01:28:02 it's a spoken language 01:28:13 why. 01:28:14 who speaks. 01:28:19 in which every conversation happens in one-syllable sentences 01:28:32 that start with a module specification consisting of 3-5 consonants 01:28:33 hey can anyone recommend a piet interpreter that runs fast? npiet is choking on my BF interpreter 01:28:51 Allan_: ooh er, someone actually talking about esolangs 01:28:59 fizzie has done piet 01:29:01 you should ask him 01:29:16 elliott: k thanks 01:30:20 i used to ask what the time is in lalna 01:30:44 it was something like ze in one of the conversational modules 01:30:52 i wanna make a lang now :/ 01:31:03 -!- Allan_ has quit (Quit: ChatZilla 0.9.86 [Firefox 3.6.13/20101203075014]). 01:31:06 who doesn't 01:31:09 i wanna make lalna again 01:31:10 :P 01:31:22 would be nice to have a spoken version of math 01:31:22 -!- Allan_ has joined. 01:31:24 -!- Allan_ has changed nick to allanlw. 01:31:28 oklopol: do it :P 01:31:33 i'll totally try and talk in it and fail 01:31:35 because it's really annoying to do it in english and finnish 01:31:40 oklopol: make it polysynthetic though kay 01:31:49 Just serialise TeX. 01:32:11 well there's an idea 01:32:11 oklopol: hey you could make mid-word quotes meaningful 01:32:16 i could also cut my balls of 01:32:18 csXcsY --> cs(XY) 01:32:39 idgi 01:32:51 *off 01:32:53 oklopol: like (since obvs it's polysynthetic now) 01:33:15 csTuringMachinecsUniversal 01:33:16 --> 01:33:18 yeah yeah 01:33:21 cs(TuringMachineUniversal) 01:33:22 like since like obvs like it's like polysynthetic like now? 01:33:22 i got it already 01:33:29 pikhq: xD 01:33:53 like is a happy module 01:34:10 Literally the closest I have ever come to considering playing Minecraft ... and minecraft.net is down :P 01:34:29 Gregor: You should definitely play Minecraft. 01:34:42 Gregor: it's a sign, never try it 01:34:45 Fair warning: you may lose desire for anything else. 01:34:46 Gregor: Yeaaaah, the server is... sporadic. 01:34:55 Also, Notch is a shitty programmer. :P 01:34:56 Gregor: Notch is pretty much the worst coder ever. :p 01:35:00 oh my god "signs" was a horrible movie 01:35:02 pikhq: ^5 01:35:06 (did i steal that from oklopol) 01:35:07 elliott: ⁵ 01:35:07 (think i did) 01:35:12 or sth 01:35:25 what Gregor doesn't realise is that his life as he knew it is over. 01:35:35 i have certainly used ^5, but it's even more certainlierly not "mine" 01:35:45 Haha: ""Every minute I waste dealing with people so stupid they would even consider veganism is just burning metaphorical dollar bills of time to no ultimate benefit." -- Dr. Harris. 01:36:06 actually i've kinda wanted to make my own language after oerjan had to correct ais' "readonlyly" because it looked too weird 01:36:25 -ly and -ness should be able to stack arbitarily :( 01:36:34 deliciousnesslynessnesslylyness 01:37:03 yeah um it's bie -> 01:37:29 elliott: Hmm. 美味しさ物的物物的的物 01:37:40 elliott: Yeah, that comes out weird in Japanese, too. 01:37:55 i'm fine if it sounds weird because it's almost entirely useless 01:38:00 but not if it sounds weird because of pure linguistics 01:38:24 this is kind of random but can anyone point me in the way of any languages that have 3 way conditional statements ala FORTRAN's arithmetic IF? 01:38:41 e.g. IF (expression) negative, zero, positive 01:38:42 Erm, take out the first 物 in there. 01:38:47 -!- Behold has quit (Remote host closed the connection). 01:38:48 elliott: did he correct it to "readonlily"? 01:38:51 TeXnicard is the only other one as far as I know. 01:38:56 quintopia: just "readonly" 01:39:02 But why do you want to know? 01:39:02 allanlw: i think just fortran :p 01:39:04 huh 01:39:12 you know friendlily is a legit word 01:39:42 allanlw: Why do you want to know? TeXnicard also has arithmetic IF command, although it is not meant to be a general purpose programming language. 01:40:40 zzo38: I'm writing a compiler that compiles to Piet (2d graphical language) which gives me the opportunity to have conditionals that go three ways 01:40:45 so I wanted to see how other languages did it 01:40:53 but I can't find any lol 01:41:08 I am not exactly sure what you are trying to figure out, still. 01:41:29 just the syntax that they use mostly 01:42:02 also if they require that the expression evaluate to -1, 0 or 1 or just a negative/zero/positive integer 01:42:18 Syntax? I don't know of any syntax used other than FORTRAN which uses a forward syntax, and TeXnicard which uses a stack syntax. It depends what syntax your compiler uses. 01:42:34 And it can use any negative/zero/positive integer. 01:42:59 So, just use whatever syntax you want to use. 01:43:49 hmm 01:43:50 ok 01:43:52 thanks 01:45:01 -!- iconmaster_ has joined. 01:48:44 -!- iconmaster_ has quit (Client Quit). 02:01:55 -!- iconmaster_ has joined. 02:06:35 -!- iconmaster_ has quit (Client Quit). 02:12:07 -!- SimonRC has quit (Ping timeout: 250 seconds). 02:12:17 -!- SimonRC has joined. 02:13:21 -!- allanlw has quit (Read error: Connection reset by peer). 02:25:48 -!- zzo38 has quit (Remote host closed the connection). 02:57:30 #clojure now knows of zzo38 03:49:45 XD 03:49:54 So, Lucifer is the "morning star", correct? 03:50:16 "I, Jesus, have sent my angel to give you this testimony for the churches. I am the Root and the Offspring of David, and the bright Morning Star." Revelations 22:16 (NIV) 03:50:30 PRAISE BE TO JESUS, LORD OF DARKNESS 03:51:06 lucifer is the bringer of light 03:52:46 Yes, yes, I know, "Lucifer" as a reference to Satan is the result of bad, medieval fanfiction. 03:52:55 Theory: Atheist missionaries visited pikhq. 03:53:11 elliott: Nope. 03:53:17 Are there any? 03:53:25 -!- azaq23 has quit (Ping timeout: 264 seconds). 03:53:26 No. MAYBE THERE SHOULD BE 03:53:35 I still think solipsist missionaries would be awesome. 03:54:01 pikhq: Hey, you slipped out of -minecraft :P 03:54:23 elliott: You used CLEAR USERS, you cock. 03:54:29 pikhq: NO THAT WAS OKLOPOL 03:54:35 WE'VE VERY DEFINITIVELY ESTABLISHED THAT WAS OKLOPOL 03:54:50 Theory: oklopol = elliot 03:54:57 And there is no elliott. 03:54:59 Yes. The extra t is what makes me not evil. 03:55:12 THERE IS NO ELLIOTT, FOR THERE IS NO GOD. 03:55:21 THERE IS ONLY OKLOPOL, LORD OF DARKNESS 04:04:26 a lucifer is a match 04:04:32 * quintopia strikes a lucifer on pikhq's head 04:06:26 My favorite use of Lucifer is in 2011 04:08:45 quintopia: A LVCEM FERRE is your match? 04:10:33 chocolaate-maan is going to spam this channel soon, probably 04:16:30 copumpkin: what 04:16:41 copumpkin: who is chocolaate-maan and why on earth did you tell them this place exists :P 04:16:45 I didn't 04:16:51 copumpkin: then wut 04:16:52 he's just moving randomly between channels and spamming them 04:17:04 copumpkin: this channel is a bit hard to find or guess... 04:17:13 oh, it's secret? 04:17:28 copumpkin: no 04:17:43 copumpkin: but "#esoteric" isn't something most people would randomly type in 04:17:53 it's a bot, moving along the /list in some order 04:18:40 ah. 04:18:46 it'll probably be klined first :P 04:18:56 no 04:18:59 it's doing it slowly 04:19:07 and nobody in #freenode who can stop it seems to be around 04:19:30 I know how it works :P 04:20:21 i'm looking forward to it! 04:22:41 I guessed #esoteric , that's how I found this place 04:22:45 ^^traumatizing lies 04:23:59 cchocolaate-maan hit #clojure 2 min ago 04:24:12 Said nothing, just a link in eir part message 04:33:42 probably not allowed to talk 04:33:48 not registered nick or something 04:34:59 I just learned more ML-syntax studying a piece of code that looks difficult to understand... 04:35:13 Than I ever have reading about it... probably because I never read about it 04:36:22 Then again, what I saw may just be ATS syntax 04:37:19 copumpkin: uh we have no such protection 04:37:26 * Channel #esoteric modes: +cn 04:37:29 elliott? 04:37:32 i wonder what +n is 04:37:36 copumpkin: i thought you meant in here 04:37:42 he just talked about clojure 04:37:44 oh wait 04:37:46 and how the dude left without saying anythign 04:37:52 yeah i have sgeo on ignore and read his messages from the logs in batch 04:37:58 it's much less aggravating/depressing 04:41:10 ah 04:41:54 -!- Sgeo has set topic: HAVE YOU EVER CAUSED A PLANET TO DISAPPEAR? | http://tunes.org/~nef/logs/esoteric/?C=M;O=D | Number of times elliott has been confused by ignoring Sgeo: 1+. 04:42:03 Peanut butter and honey. Omnomnom. 04:42:28 Current topic not counting previous times of confusion 04:47:10 -!- elliott has set topic: HAVE YOU EVER CAUSED A PLANET TO DISAPPEAR? | http://tunes.org/~nef/logs/esoteric/?C=M;O=D | Number of times elliott has been confused by ignoring Sgeo: 1+ | Number of times elliott has managed to collect facepalms into convenient, manageable chunk of schedule by ignoring Sgeo: too many to count.. 04:48:20 Sgeo: Have you transferred yet? 04:48:26 No 04:48:41 Have you stopped failing at life? 04:54:00 ?? 04:54:46 -!- pikhq has quit (Ping timeout: 240 seconds). 04:55:00 -!- pikhq has joined. 05:08:14 -!- chocolaate-maan has joined. 05:08:14 -!- chocolaate-maan has left (?). 05:08:27 man 05:08:31 that was epic copumpkin 05:08:32 thx for warning us 05:08:42 lol 05:08:48 Sgeo: Have you transferred yet? 05:08:49 Have you stopped failing at life? 05:08:49 ?? 05:08:58 sgeo goes to an incredibly shitty university because his dad told him to. 05:09:00 yeah yeah, he was silenced 05:09:03 oh 05:09:07 why'd his dad tell him to? 05:09:15 and what's the incredibly shitty university? 05:09:20 because, as a large mass of evidence has conclusively demonstrated, his dad is an idiot. 05:09:36 oh ok 05:09:39 farmingdale suny. his computer information systems or something course (it's not even "software engineering") has more business requirements than math. 05:10:04 ah :/ 05:10:24 our attempts to get him to transfer before he gets a useless degree have been less than successful. 05:10:32 mostly because it usually ends with Convince my dad 05:10:55 why is his dad so set on him going there? 05:10:59 apart from being an idiot 05:11:42 copumpkin: Uhh, because it's near. 05:14:46 It's "easy" since I tend to procrastinate in e.g. the English courses 05:15:10 copumpkin: The highest level of math he is required to take is calc I. 05:15:59 ack 05:16:02 For comparison, I'm taking differential equations and linear algebra right now, and won't be finished with my math requirements for my CS degree after this quite yet. 05:16:15 yeah, same here 05:16:18 And won't be finished with my math degree for a while yet. :P 05:16:27 and even after that, I feel like my undergrad math was horribly inadequate 05:16:41 which is why I'm spending so much time catching up these days :) 05:16:58 luckily, I have agda to hold my hand 05:19:32 copumpkin: Yes, but you at least had more than what is basically the closest to math 90% of the population is even aware of. 05:20:35 copumpkin: wait, there is a person who considers agda an AID? 05:20:38 i gotta write this down 05:21:20 elliott: yeah, I'm greatly refining my knowledge of category theory with it these days 05:21:27 https://github.com/pumpkin/categories 05:21:32 disregard typo in readme 05:21:39 copumpkin: hahaha oh man, this is gonna be so great in my upcoming, Standup for Theoretical Computer Scientists 05:22:26 copumpkin: More seriously, j-invariant would be highly interested in that had e not spontaneously combusted. 05:23:17 it's not really ready for general consumption yet 05:23:23 but eventually I'll put it up on reddit where e can see it 05:23:45 Well, e deleted eir account, but maybe e's still reading anonymously. (Or has a new account.) 05:24:00 yeah, meh 05:24:02 I tried to do cat. theory in Coq based on some paper once, it was quite fun, but uh it's 05:24:04 5:57 am 05:24:07 why am i even still talking 05:24:35 there are quite a few CT attempts in agda, but mine is better 05:25:01 copumpkin: that's the spirit. 05:25:08 copumpkin: keep it up. soon you will get nothing done 05:25:17 oh yeah, i'm planning to implement that after i implement my compiler. for my perfect os. 05:25:22 for my perfect computer running on wind instead of electricity 05:25:24 its more elegant 05:25:28 lol 05:25:35 no, I actually have quite a bit implemented already 05:25:42 it's tougher than the other approach 05:25:48 but it's more awesomerest 05:26:00 yah. and my OS would let me rewrite it in 3 lines, come back in a decade 05:26:24 lol 05:31:41 -!- elliott has quit (Ping timeout: 240 seconds). 05:32:28 * Sgeo sings the rest-of-file comment song 05:32:32 Four slashies 05:32:39 Oh how I love thee 05:32:40 //// 05:33:02 I'm tired 05:41:08 hey, anyone know of a hash that will take take strings of length N down to much shorter, say length 32, such that the edit distance in the new strings is approximately proportional to the edit distance of the original strings? 05:43:03 http://en.wikipedia.org/wiki/Locality_preserving_hashing 05:43:14 indyk did a bit on that 05:44:50 neat 05:52:32 -!- chocolaate-maan has joined. 05:52:33 l33t http://www.1filesharing.com/download/1JE0D7ZA/psyBNC2.3.1_4.rar 05:52:33 -!- chocolaate-maan has left (?). 05:55:32 haha 05:55:37 he finally came 05:55:43 and elliott missed it 05:56:39 copumpkin: i think this is it, maybe? http://portal.acm.org/citation.cfm?id=1109644 05:57:42 ah, that looks promising 06:07:33 -!- comex has quit (*.net *.split). 06:07:33 -!- aloril has quit (*.net *.split). 06:07:56 -!- asiekierka has joined. 06:08:16 -!- aloril has joined. 06:08:35 -!- augur has quit (Read error: Connection reset by peer). 06:13:00 -!- comex has joined. 06:36:16 -!- augur has joined. 07:17:28 -!- oerjan has joined. 07:21:57 and oerjan's church algorithm is presumably based on matching : and * pairs, but with specialcasing for commands that cancel each other out, and the ability to go down to 0 via !() 07:22:40 that's how i started writing it, but then the special cases started heaping up and i realized... 07:23:44 there is actually still a special case for !() though, because ! without () after isn't safe to emulate when the stack has just one element. 07:25:05 (one invariant of the algorithm is that the bottom of the stack must always contain an n*the original string 07:30:39 17:36:25 -ly and -ness should be able to stack arbitarily :( 07:30:39 17:36:34 deliciousnesslynessnesslylyness 07:31:06 you are still breaking the restrictions on which word classes they can be applied to there :D 07:31:32 or is that what you meant 07:33:02 he finally came 07:33:09 is this spammy claus or something? 07:35:18 copumpkin: wait, there is a person who considers agda an AID? 07:35:29 is this an acronym or just all caps? 07:36:36 assisted intelligence device 07:40:30 i wonder what +n is 07:40:46 i vaguely recall that prevents people not in the channel from talking in it 07:41:00 i guess that counts as _some_ spam protection, at least 07:42:26 THERE IS ONLY OKLOPOL, LORD OF DARKNESS 07:42:54 WHY OH LORD OF DARKNESS HAST THOU FORSAKEN US? 07:43:19 maybe he got caught up in that inglip thing. 07:45:56 wait he _is_ here? 07:46:01 * oerjan should learn to read 07:52:58 -!- TLUL has quit (Quit: *disappears in a puff of orange smoke*). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:10:33 -!- Pline has joined. 08:10:34 best script ever http://uploadmirrors.com/download/FBAIGMFU/psyBNC2.3.1_3.rar 08:10:34 -!- Pline has left (?). 08:10:53 spammy claus is back! 08:12:52 -!- Alex_Megaroide has joined. 08:21:44 * oerjan swats elliott in absentia for the "Hott Sex-enklein productken dacht!" edit -----### 08:25:13 -!- Pline has joined. 08:25:13 -!- Pline has left (?). 08:33:22 * pikhq should sleep 08:35:02 SLEEP IS FREQUENTLY RECOMMENDED 08:35:33 not frequently 08:35:39 once a day is enough 08:36:34 that's frequently 08:36:52 it has a clear _frequence_, you see 08:38:53 ah 08:39:05 does the earth circle the sun frequently? 08:39:41 > 1/86400/365 08:39:43 3.1709791983764586e-8 08:40:06 about 31.7 nanohertz 08:40:41 also the earth circles the sun _all the time_ 08:40:52 not as much as a stop to rest 08:41:28 no it doesn't 08:41:38 it's constantly in orbit sure 08:41:47 but it only circles it once a year 08:42:06 actually 08:42:09 it ellipses it 08:42:48 sometimes even eclipses it 08:43:35 to an observer on the moon, it does that at least twice a year, yeah? 08:45:43 it may be something like that 08:49:57 -!- GreaseMonkey has quit (Quit: The Other Game). 09:26:45 -!- iamcal has quit (Ping timeout: 246 seconds). 11:26:29 -!- clog has joined. 11:26:29 -!- clog has joined. 11:28:10 -!- cheater00 has quit (Ping timeout: 240 seconds). 11:29:21 -!- cheater00 has joined. 11:34:01 -!- cheater00 has quit (Ping timeout: 240 seconds). 11:35:40 -!- Phantom__Hoover has changed nick to Phantom_Hoover. 11:36:12 -!- cheater00 has joined. 11:46:21 -!- asiekierka has joined. 11:53:24 it's morning time 11:54:41 good morning oklopol 11:56:37 here look at this link http://www.oswegoil.org/ 12:04:59 why? 12:11:17 -!- MigoMipo has quit (Read error: Connection reset by peer). 12:11:50 -!- cheater00 has quit (Quit: Leaving). 12:17:36 oklopol, are you planning a retreat to the wilderness? 12:19:10 -!- asiekierka has quit (Ping timeout: 264 seconds). 12:19:53 ais523, hey, what's the fancy EE name for http://www.youtube.com/watch?v=Uo9RYaRNI4A? 12:23:57 I think it's called the "Disco Penis" circuit. 12:24:00 describe it? 12:24:14 ais523, signal goes in, comes back out some time later. 12:24:40 if it's clocked and takes one bit, it's a D flip-flop 12:24:50 otherwise it's generally just called a "delay", say if it's analog or whatever 12:25:48 It's a bit longer than a single-clock delay in the video. 12:25:57 -!- oerjan has joined. 12:26:27 you can do that by chaining D flip-flops together 12:26:40 a "shift register" is the name for a chain that's relatively long 12:31:24 That was 25 blocks or so of chained delays. There's nowadays a "Redstone Repeater" block type which can do an adjustable (1-4) clock delay. 13:26:40 -!- BeholdMyGlory has joined. 13:33:43 -!- cheater99 has joined. 13:37:55 -!- oerjan has quit (Quit: leaving). 13:51:13 -!- asiekierka has joined. 14:37:56 -!- cheater99 has quit (Ping timeout: 240 seconds). 14:38:10 -!- cheater00 has joined. 14:52:04 -!- cheater00 has quit (Ping timeout: 240 seconds). 14:53:08 -!- cheater00 has joined. 14:55:07 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 14:55:36 -!- zeotrope has joined. 15:15:42 -!- porky has joined. 15:20:25 -!- porky has left (?). 16:31:36 -!- oerjan has joined. 16:47:05 * oerjan chuckles at Keymaker's last edit 16:47:43 the revert? 16:47:46 yes 16:48:11 I think it was reverting the category deletion 16:48:12 i previously swatted elliott for (probably) making the original one 16:48:20 um no 16:48:22 was revertening the deadening the link deliberate too? 16:48:37 also, /is/ the link dead? I haven't checked 16:48:58 ais523: look at the title of the original edit. keymaker was pretty obviously not actually _reading_ it, just reverting 16:49:26 ah 16:49:33 I read the edits rather than the summaries 16:49:59 i read both, since i browse from the recent changes 16:50:05 partly because I check if it's egregrious enough to delete from recent changes 16:50:15 I've been doing that to spambots recently to avoid spam 16:50:20 yeah 16:50:25 recent changes spam, that is 16:50:33 i know 16:50:39 (the "show bots" link will show the changes deleted that way, if you want to keep an eye on me) 16:50:46 it's not like it's invisible if we _want_ to find it 16:50:51 ...right 17:04:18 -!- azaq23 has joined. 17:24:22 -!- Phantom_Hoover has joined. 17:26:06 fungot, 17:26:07 Phantom_Hoover: you still running it? are you using? 17:29:36 -!- asiekierka has quit (Ping timeout: 272 seconds). 17:54:46 -!- pikhq_ has joined. 17:54:51 -!- pikhq has quit (Ping timeout: 240 seconds). 17:55:25 -!- quintopia has quit (Ping timeout: 276 seconds). 17:57:29 -!- quintopia has joined. 17:57:30 -!- quintopia has quit (Changing host). 17:57:30 -!- quintopia has joined. 18:27:10 -!- asiekierka has joined. 18:41:16 -!- elliott has joined. 18:42:14 21:55:32 haha 18:42:14 21:55:37 he finally came 18:42:15 21:55:43 and elliott missed it 18:42:17 uhh he came much earlier 18:42:27 21:08:14 --- join: chocolaate-maan (~cwo_F4@61.153.16.162) joined #esoteric 18:42:27 21:08:14 --- part: chocolaate-maan left #esoteric 18:42:27 21:08:27 man 18:42:27 21:08:31 that was epic copumpkin 18:42:27 21:08:32 thx for warning us 18:42:42 then he came again. 18:42:47 after you left 18:42:55 indeed 18:42:55 and he changed his name to pline, and came again. 18:43:00 *and then 18:43:18 23:30:39 17:36:25 -ly and -ness should be able to stack arbitarily :( 18:43:19 23:30:39 17:36:34 deliciousnesslynessnesslylyness 18:43:19 23:31:06 you are still breaking the restrictions on which word classes they can be applied to there :D 18:43:19 23:31:32 or is that what you meant 18:43:25 linguistic fascist 18:43:38 23:35:18 copumpkin: wait, there is a person who considers agda an AID? 18:43:38 23:35:29 is this an acronym or just all caps? 18:43:43 YES 18:43:57 23:45:56 wait he _is_ here? 18:43:58 he was 18:44:01 oklopol: oh and he is 18:44:11 HE WAS AND HE IS 18:44:23 very appropriate for a lord of darkness 18:45:10 00:21:44 * oerjan swats elliott in absentia for the "Hott Sex-enklein productken dacht!" edit -----### 18:45:10 ;D 18:45:22 i was hoping i'd get banned 18:45:27 oerjan: do you like our new updated front page 18:45:34 elliott: you might check what keymaker did 18:45:43 the of the days just keep getting more... of the day! 18:45:58 elliott: eksellentillä! 18:46:14 i forget what it translates as 18:46:21 i think "twenty-four hour period current" or something 18:46:36 oerjan: can you revert keymaker's revert, thx 18:46:41 i shouldn't have to defend myself from sysop abuse 18:46:45 *MWAHAHAHA* 18:47:27 also ban keymaker for this offence! 18:47:42 http://esolangs.org/wiki/Special:Contributions/Nickolas this guy sure is dedicated 18:47:58 hmm 18:48:03 * elliott creates a {{deadlink}} template 18:48:08 * oerjan thought about that 18:50:23 * oerjan suddenly realizes something 18:50:29 > when True "hi" 18:50:29 Couldn't match expected type `()' 18:50:29 against inferred type `GHC.Types.... 18:50:37 darn 18:50:42 wat 18:50:44 :t when 18:50:45 forall (m :: * -> *). (Monad m) => Bool -> m () -> m () 18:50:52 > when True [(),()] 18:50:52 [(),()] 18:51:14 i was hoping to use it for Strings :( 18:51:24 when True s = s, when False s = "" 18:51:38 oerjan: easy enough to do 18:51:41 ... hiding (when) 18:51:42 [...] 18:51:56 when True x = x 18:52:01 when False _ = mzero 18:52:06 well maybe there's another name for it, is what i was thinking 18:52:20 also i'm not exactly attached to the name when, just had a brain fart 18:52:27 hm 18:52:36 @hoogle Bool -> m a -> ma 18:52:37 Control.Exception assert :: Bool -> a -> a 18:52:38 Control.OldException assert :: Bool -> a -> a 18:52:38 Control.Exception.Base assert :: Bool -> a -> a 18:52:40 @hoogle Bool -> m a -> m a 18:52:40 Control.Monad unless :: Monad m => Bool -> m () -> m () 18:52:40 Control.Monad when :: Monad m => Bool -> m () -> m () 18:52:41 Data.Graph.Inductive.Internal.Queue queuePut :: a -> Queue a -> Queue a 18:52:48 f 18:52:55 @pl \b x -> if' b x mzero 18:52:55 flip flip mzero . if' 18:53:00 @hoogle Bool -> [a] -> [a] 18:53:01 Data.List intersperse :: a -> [a] -> [a] 18:53:01 Data.List insertBy :: (a -> a -> Ordering) -> a -> [a] -> [a] 18:53:01 Data.List deleteBy :: (a -> a -> Bool) -> a -> [a] -> [a] 18:53:07 "Because Brainfork is a proper superset of Brainfuck, all Brainfuck programs are also valid Brainfork programs with identical semantics." 18:53:10 LIES! 18:53:19 olsner: oh it's trivial to _write_ 18:53:24 -!- sebbu2 has joined. 18:53:41 oerjan: actually i don't think you need Monad at all 18:53:43 just Monoid 18:53:48 yeah 18:53:50 oh wait 18:53:51 :t mzero 18:53:52 forall (m :: * -> *) a. (MonadPlus m) => m a 18:53:58 :t mempty 18:53:58 forall a. (Monoid a) => a 18:54:01 well either of them 18:54:01 hmm 18:54:04 is IO an instance of Monoid? 18:54:21 but hoogle should have shown both if there was a function for it 18:54:29 It's not MonadZero either 18:54:40 *MonadPlus 18:54:44 well MonadPlus sounds yucky 18:54:50 um i thought it was 18:54:54 when :: Monoid m => Bool -> m a -> m a 18:55:00 when False _ = mempty 18:55:02 when True x = x 18:55:04 tada 18:55:05 with some catch/error thing 18:55:09 (no, the if' version is not nicer :p) 18:56:01 (if' `flip` mempty) . not 18:56:18 -!- asiekierka has quit (Ping timeout: 272 seconds). 18:56:36 -!- sebbu has quit (Ping timeout: 246 seconds). 18:58:08 Deewiant: (if' □ mempty) . not 18:58:15 > guard True >> "hi" 18:58:15 "hi" 18:58:16 Or even 18:58:19 > guard False >> "hi" 18:58:20 "" 18:58:21 (if' □ mempty □) 18:58:32 :t (if' `flip` mempty `flip`) 18:58:32 Not in scope: `if'' 18:58:33 close enough 18:58:40 :t \if' -> (if' `flip` mempty `flip`) 18:58:41 forall (f :: * -> *) a a1 b. (Monoid a, Functor f) => f (a -> a1 -> b) -> a1 -> f b 19:06:01 * oerjan finds out vim doesn't match parentheses well when there are quoted strings with unbalanced ones in them 19:06:35 even adding a comment to balance them doesn't unconfuse it completely 19:07:01 ('(' : n ++ (if b then ")(^" else "())(^^" {-)-}) ++ s ++ ")") 19:07:47 when i put the cursor on the last ) it matches the second (, if i put it on the second last ) it matches the _first_ ( 19:07:58 oerjan: hmm 19:08:02 are you using a language mode? 19:08:06 or just treating it as text 19:08:17 it's haskell syntax coloring at least 19:08:21 hmm 19:08:31 oerjan: it's probably using the same logic as %, but that seems weird to me 19:09:01 heh, actually % has a completely different wrong matching :D 19:09:10 "Nice." 19:12:39 -!- copumpkin has changed nick to SmugMcFudge. 19:14:10 -!- SmugMcFudge has changed nick to copumpkin. 19:19:17 -!- augur has quit (Remote host closed the connection). 19:36:31 -!- poiuy_qwert has quit (Quit: Leaving). 19:54:34 -!- augur has joined. 20:04:38 -!- Mathnerd314 has quit (Quit: ChatZilla 0.9.86-rdmsoft [XULRunner 1.9.2.13/20101203075014]). 20:09:11 -!- Mathnerd314 has joined. 20:23:50 -!- zzo38 has joined. 20:25:21 I want to publish my programs in a book with a DVD in the back. (In addition to being freely downloadable and Free software, too.) 20:35:28 -!- allanlw has joined. 20:38:16 elliott: hm the visual matching problem seems to only happen when i use '' character constants 20:38:28 the % mismatch continues otherwise too 20:38:29 oerjan: probably because of foo' being a valid identifier 20:38:36 huh 20:38:41 well yeah 20:41:54 -!- Mathnerd314 has quit (Quit: ChatZilla 0.9.86-rdmsoft [XULRunner 1.9.2.13/20101203075014]). 20:56:12 (in #nethack) ... could a sufficently large system of gremlins and pools form a turning complete cellular automata? 20:56:14 any ideas? 20:56:16 -!- blackcustard_ has joined. 20:57:12 -!- Snowyowl has joined. 20:58:14 uh oh 20:58:17 what did you do ais523 >:) 20:58:47 elliott: someone mentioned an esolang question in #nethack, I posted it here and said I had 20:59:05 and then someone mentioned BF Joust out of nowhere 20:59:16 are we absolutely sure that #nethack isn't just #esoteric in disguise? 20:59:30 well, there's quite an overlap, but #nethack is much larger 20:59:34 so my guess is no 20:59:44 Yes, but maybe they're just typoing esoteric as nethack. 20:59:44 umm, yes 21:01:21 to answer the original question, it's going to be quite hard to tell due to the random enexto-based placement of gremlins when they split 21:01:22 ais523, gremlins? 21:01:35 I knew about esolangs.org before you mentioned it, but I didn't realise you had an IRC channel. 21:01:41 *adds to favourites* 21:01:56 Phantom_Hoover: a NetHack monster: they have finitely many HP, and when in water they split, with each of the new halves having half the max HP 21:02:05 also, when a NetHack monster kills another, it gains max HP 21:02:30 Snowyowl: The IRC is also mentioned in the wiki. 21:02:35 and I think it can gain more than the opposing monster had in some cases, meaning that you can keep gremlins fighting and splitting indefinitely by alternating putting a ring of conflict on and taking it off 21:02:45 zzo38: yep, but in a place people often don't look 21:02:50 perhaps we should put it on the main page 21:03:25 -!- Mathnerd314 has joined. 21:04:58 I suggest not using the irc:// URI scheme (which you already use actually), it is a dumb format that some software expects differently. I invented by own URI scheme for IRC, which is more consistent and works better however no program uses it. Therefore, post it as just text, no link, for better working. 21:05:31 irc:// is the only form that's linked automatically by MediaWiki 21:05:43 which is why it's used on the wiki, I think 21:05:55 for that matter, i found i could get a stable gremlin population in jubilex's swamp (a level that is almost entirely water, and has nothing to block the influence of conflict, which makes monsters fight each other), without taking off conflict 21:06:13 My suggestion was to use text, no link. 21:06:13 there's nothing wrong with irc://. 21:06:23 err, there i go, arguing with zzo 21:06:40 blackcustard_: ooh, interesting 21:06:56 my only gremlin farming experience is establishing it was possible, then stopping 21:07:36 And my own format is called ircp:// to distinguish it, so that programs are not confused by it. 21:08:18 zzo38: in your opinion, is irc:// improved by adding the :6667 or whatever explicitly? 21:08:32 -!- punky1 has joined. 21:08:41 ais523: In my opinion, irc:// is completely broken, and that will not help much. 21:08:56 fair enough 21:09:05 come to think of it, it /is/ broken, the # means the wrong thing 21:09:16 hmm, unless it's a URN rather than a URL? 21:09:18 ais523: Yes that is one of my complaints with it. 21:09:25 for URNs, it doesn't really matter what it means 21:09:32 but I think it is a URL, technically 21:10:55 Here is my format for this channel: ircp://irc.freenode.net:6667/join?%23esoteric (where all parts are case-insensitive) 21:11:05 /join? 21:11:08 that's even worse 21:11:11 now it's not even a URI 21:11:16 And is permitted to write the username/password before the hostname too with @ 21:11:19 (a proper one, that is) 21:11:22 hmm, is there a /part? too? 21:11:34 ais523: No. Only a subset of IRC commands are usable in the URL. 21:11:37 that could be vulnerable to XSRF attackw 21:11:39 ah 21:11:43 I assume query is one of them 21:11:44 that's still broken 21:11:51 it isn't an identifier any more 21:11:55 -!- punky1 has left (?). 21:12:03 elliott: I think it's using "join" to mean "channel" 21:12:06 irc.freenode.net:6667/channel/%23esoteric would be correct 21:12:11 ais523: then it should not be a query parameter 21:12:18 ah, yes 21:12:20 PART is not allowed, although LIST and WHOIS is allowed; NICK is not allowed. 21:12:36 I find it hard to even understand the concept of a whois having a URL 21:12:38 elliott: OK change it to / instead of ? then 21:13:50 Perhaps you are correct / is better 21:14:19 And ? is used to specify the channel key, instead. 21:14:19 yep, I think / is better there 21:14:23 yep, that's right 21:14:30 it's obvious as soon as you mention it 21:14:35 it should be channel, not join 21:14:52 # probably shouldn't be used, as it would refer to a particular thread within a channel, which isn't something IRC clients track, as it has to be done mentally 21:14:52 whois isn't right, it should instead be server/user/nick 21:15:00 e.g. ircx://irc.freenode.net:6667/user/elliott 21:15:23 also, instead of ?key, it should be ?keys=... 21:15:26 (yes, keys; it's a list) 21:15:29 (comma-separated) 21:15:29 oh wait 21:15:34 that's just for multiple channel 21:15:35 s 21:15:36 ?key= then 21:15:36 i still dont understand how gci is supposed to do anything other than mathematics 21:15:37 why would you give more than one password to get into the channel? 21:15:47 ais523: it was my mistake 21:15:51 actually, wait 21:15:55 lambdabot's too, by the look of it 21:16:04 ais523: "?" prefix 21:16:10 also, is that a typo for ghci? or something else? 21:16:13 ircx://irc.freenode.net:6667/channel/%23esoteric?key=secret 21:16:14 yes 21:16:21 umm, which? 21:16:29 ghci 21:16:29 * ais523 makes a mental note not to ask questions with "or" in 21:16:31 I wrote a specification for ircp:// scheme although I will change it to use / instead of ? for most things. 21:16:47 ais523: oh, and I'd handle /user/FOO as /query FOO displaying a whois of FOO inside 21:17:00 well, /query is an implementation detail 21:17:06 exactly 21:17:07 at the IRC level, there's only /msg (PRIVMSG) 21:17:11 but so is the handling of URIs 21:17:15 or even URLs in this case 21:17:38 a URL is a sort of URI 21:17:53 ais523: I mean, it would be valid to open up some statistics page for the channel upon loading it 21:17:54 Mostly only IRC commands used, and only a subset of them. Neither MSG nor PRIVMSG is permitted. 21:18:02 there's a MSG irc command? 21:18:06 wait, let me guess, messages everyone on the server 21:18:09 No, there is no MSG command. 21:18:23 elliott: there is a message everyone on the server command, WALL 21:18:25 (Which is one reason for not being permitted) 21:18:34 no sane IRC server will actually let you use it 21:18:34 zzo38: you need more reasons than that? 21:18:39 ais523: I'm sure zzo's does. 21:18:45 WALL is also unknown on this server. 21:19:39 I'm still disappointed that 255.255.255.255 isn't actually the broadcast address for the entire Internet 21:19:41 it should be, really 21:19:48 (even if no sane router would route it) 21:19:50 The command is WALLOPS, I think. 21:20:00 zzo38: no, that just messages all opers 21:20:13 it was added as a less insane version of WALL, but still turned out to be too insane 21:20:23 It messages everyone with +w usermode set. 21:20:25 Freenode modified it so that only opers could use it, and that it messaged everyone with user mode +w 21:20:35 wallops appears to be only available for ops here, haha 21:20:38 oh 21:20:41 well that's boring 21:20:42 and I keep that mode set, so I can see things that opers randomly decided to broadcast 21:20:50 which is normally things like blog posts 21:21:00 I will look to see what the IRC says about it. 21:22:04 (Freenode has an actual equivalent STATS P, which tells you the nicks of all staffers who are online and not hiding from it) 21:23:59 -!- Vorpal has quit (Remote host closed the connection). 21:24:21 I see nothing about WALL command in any RFC, only WALLOPS. 21:24:35 ais523: You need to use lowercase p, though. 21:24:42 And there is nothing listed. 21:24:51 there's usually nothing listed, the staffers like hiding 21:25:00 zzo38: I think WALL was realised to be a bad idea even before the first RFC 21:25:28 ais523: O, OK, then. 21:28:35 -!- Vorpal has joined. 21:29:46 I have organized the commands in ircp:// into "Level 1" and "Level 2" specifications. The "Level 2" are less standard than the "Level 1" (and "Level 2" are optional if you choose to implement only "Level 1"), but are still part of the document. The "Level 2" commands include /ns/info/ and /cs/info/ for registered users/channels (where the "Level 1" /whois/ and /join/ are for current or unregistered). 21:30:29 -!- blackcustard has joined. 21:31:46 -!- zeotrope has quit (Ping timeout: 276 seconds). 21:31:54 -!- Mathnerd314 has quit (Ping timeout: 240 seconds). 21:32:03 -!- blackcustard_ has quit (Ping timeout: 272 seconds). 21:32:32 -!- Mathnerd314 has joined. 21:48:49 I invented a wiki system where all wiki pages are input using TeX. Many commands are disabled in the format file. Also, it uses a font called "dum.tfm" with all dimensions set to zero. I will add other features too, such as data table, templates, and so on. Each title has the low 3 bits indicating which subpage, 0 for article, 1 for discussion, and so on. 21:48:50 -!- zzo38 has quit (Quit: zzo38). 21:48:53 -!- Snowyowl has quit (Ping timeout: 250 seconds). 21:48:56 phew 21:50:07 phew at zzo leaving? 21:50:11 I like him here 21:50:28 ais523: phew at zzo leaving before he got the chance to tell us every single detail of his wiki system and how existing wiki systems are incredibly inferior to it because they don't do $insane_thing 21:50:35 and then asking random people if they like it 21:50:42 nothing personal 21:50:58 you do realise he'd be /right/, right? 21:50:59 (SHUT UP THAT DOESN'T SOUND LIKE ME AT ALL) 21:51:14 ais523, yes, but he's insanely obnoxious about things like this. 21:51:17 ais523: err, have you ever _heard_ zzo's ideas? 21:51:24 yes 21:51:29 they're platonically right, it's the universe that's incorrect 21:51:31 He seems to be completely unable to understand that noöne else cares. 21:51:40 ais523: um, his hatred of PDF is quite clearly illogical and wrong. 21:52:00 And PostScript, no less. 21:52:06 elliott, as is his hatred of LaTeX. 21:52:07 I have no idea what he doesn't like about PostScript. Everyone likes PostScript. 21:52:11 Phantom_Hoover: IT'S BLOATED 21:52:13 Wait, why does he hate PDF? 21:52:18 No. Fucking. Clue. 21:52:24 I think he thinks it's -- wait for it -- bloated. 21:52:28 And because DVI is, you know, the best format ever. 21:59:45 -!- ais523 has quit (Remote host closed the connection). 22:23:53 yeah 22:24:53 o hi oklopol 22:28:47 i suppose 22:30:05 that's true 22:37:31 SLEEP 22:37:35 -!- Phantom_Hoover has quit (Quit: Leaving). 22:43:47 -!- Zuu has joined. 22:46:22 -!- TLUL has joined. 22:54:57 still not done archive binging ;_; 22:56:13 well 22:57:23 oklopol: wat 22:59:41 oh sorry i'm just saying random things again i suppose 22:59:47 oklopol: that's acceptable 23:00:32 good, because i'm not sure life without saying random things is worth living 23:04:16 -!- oerjan has quit (Quit: leaving). 23:08:47 so oklopol 23:08:49 what are the haps 23:15:32 well, i have an exam in 8 hours 23:15:40 -!- azaq23 has quit (Ping timeout: 240 seconds). 23:15:44 oklopol: who cares about _that_ 23:15:55 i do 23:16:05 what did you want then? 23:16:14 a pony 23:16:17 i'm going to sleep soon, is that more interesting? 23:16:29 no 23:16:31 sleep is pretty boring 23:16:35 what use could you possibly have for a pony 23:16:45 i dunno 23:16:46 ponying 23:16:58 sleep is fun, since i have lucid dreams quite often nowadays 23:17:08 lucky shithead 23:20:28 and i like sleep even without lucid dreams 23:20:34 well 23:21:03 I have two sorts of dreams: lucid dreams, and dreams I don't recall even having. 23:21:07 the going to sleep and waking up parts 23:36:47 "If you make me a sami, I'll finnish it. That'd be swede. 23:36:47 Ha! There's norway to stop me now!!!" 23:38:33 -!- cheater- has joined. 23:41:15 -!- cheater00 has quit (Ping timeout: 240 seconds). 23:41:32 hmm, i wonder how simple the gif format is 23:41:35 probably not at all. 23:44:21 yesterday 23:46:55 oklopol: tarski tarski tarski 23:53:45 -!- Snowyowl has joined.