00:08:54 Can "a is equal to this formula's Godel number" be implemented in Typographical Number Theory? 00:20:15 Wasn't that the whole point of Typographical Number Theory? 00:27:32 SHACHAF: Not really; they specified a formula to mean that itself is not provable; this is different. 00:30:17 Well, in order to do that, you have to be able to talk about the formula's Gödel number. 00:30:51 -!- elliott has joined. 00:31:01 Hey I'm going to dump lines I need in here 00:31:02 PUBLIC_ARCHIVE_URL = 'http://%(hostname)s/pipermail/%(listname)s/' 00:31:37 SPAAAAAAAAAAAAAAM 00:31:41 oerjan: I deleted some spam today! 00:31:44 That means it's alright. 00:31:45 yay! 00:33:28 TODO: -- do I need to care about this? 00:33:29 # Pipermail assumes that message bodies contain US-ASCII text. 00:33:29 # Change this option to define a different character set to be used as 00:33:29 # the default character set for the archive. The term "character set" 00:33:29 # is used in MIME to refer to a method of converting a sequence of 00:33:29 # octets into a sequence of characters. If you change the default 00:33:30 # charset, you might need to add it to VERBATIM_ENCODING below. 00:34:44 fizzie: Do you know about Postfix? 00:34:48 What are these virtual domain things? 00:36:27 17:33 TODO: -- do I need to care about this? 00:36:27 17:33 # Pipermail assumes that message bodies contain US-ASCII text. 00:36:27 17:33 # Change this option to define a different character set to be used as 00:36:29 17:33 # the default character set for the archive. The term "character set" 00:36:59 SHACHAF: Who are you? 00:37:06 elliott: I'm shachaf. 00:37:10 (Don't tell anyone!) 00:37:33 I didn't get welcomed in here for some reason. 00:37:42 `WELCOME shachaf 00:37:46 SHACHAF: 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:40:28 03:33:29 < elliott> # Pipermail assumes that message bodies contain US-ASCII text. 00:40:33 Good grief, what is this, the 80s? 00:42:45 hey guys 00:43:04 if I'm in the middle of making a language but it's not complete yet, should I make a wiki page for it or not? 00:43:10 the haskell.org pipermail definitely does _not_ format non-plain-ascii readably, i've noticed. 00:43:42 Arc_Koen: tradition says YES NO YES NO 00:43:44 @quote elliott unsafeCoerce 00:43:44 elliott says: I like how edwardk's answer to every question always goes "most abstract solution to the problem possible --> microoptimisation details". I swear I've seen him go 00:43:44 from category theory to unboxed types and unsafeCoerce in a single line of IRC. 00:43:57 hmm that's an interesting answer oerjan 00:44:10 Good grief, what is this, the 80s? 00:44:12 Yes. 00:44:30 I guess i'll wait till it's a little more presentable 00:44:35 Arc_Koen: we will appreciate if you use preview rather than saving every tiny change, however. 00:44:52 yes of course 00:45:02 Arc_Koen: I will present one guideline: the first version of the page should contain a little more detail than http://esolangs.org/w/index.php?title=Ragaraja&oldid=33401. 00:45:25 ok I'll try to top that 00:45:44 elliott: WHAT HAVE YOU DONE 00:45:50 also, is their a name for languages which are based on data structure which behaviour is random? 00:47:02 elliott: though it seems that older version of that page contain more details 00:47:26 that's the oldest version of that page, in fact 00:47:45 oerjan: So what's up, I am out of the loop. possibly out of several loops. all of the loops? 00:48:56 elliott: well Fueue has been up, several interpreters and programs were written, include a TC proof (by guess who) 00:49:19 that was kind of weird 00:49:23 *including 00:49:44 oerjan: I guess... SHACHAF. 00:50:12 i don't think atriq's interpreter is linked yet. (that's Taneb btw) 00:50:22 I wake up one morning, check the fueue page, and it includes a section saying that it is turing complete... I come here, ask people what happened, and apparently the only sign was oerjan saying "another day, another TC proof" before going to sleep 00:50:23 elliott: a very ... something ... guess. 00:50:58 Yes, I know about atriq. I'm not *that* out of the loop yet. 00:51:03 nope I can see only mines on the page and I would very much like to see atriq's 00:51:09 a very capital guess 00:51:18 Arc_Koen: oerjan likes to surprise us like that 00:51:25 i am pretty sure i mumbled something about underload (minus S) possibly being convertible to fueue before that 00:51:57 oerjan: Huh? 00:52:13 also i found a truth machine in fueue on the truth machine's page, was that you? 00:52:16 SHACHAF: Huh what? 00:52:27 no i don't think that was me 00:52:34 okay 00:53:02 so I had an idea for a language where variables are shuffled every now and then 00:53:10 has that been done before? 00:53:20 oerjan: What's wrong with guessing that I did a TC proof? 00:53:28 Is it because I don't care about esolangs? 00:53:29 no Taneb did the truth-machine back in february 00:53:34 oh, ok 00:53:36 :-( 00:54:03 SHACHAF: it's not what i was hinting, anyway. 00:54:13 so, variables are shuffled, like "it's annoying but deal with it, and try to prove that this language is still usable" 00:54:56 i don't recall precisely, there was one where the values of variables degraded... 00:55:05 like inflation? 00:55:42 (can't find anything about "degrade" or "degrading" or whatever on the wiki, though) 00:55:58 http://esolangs.org/wiki/Category:Nondeterministic may have similar languages 00:56:07 (also it's 3am here and I vaguely remember 4 hours ago when I told myself "let's go to sleep now", so i'll be off) 00:56:22 occasionally shuffling variables sounds original 00:56:58 well basically the date structure is a queue + nine variables (or another arbitrary number) 00:57:05 except that there is no "pop" function 00:57:24 -!- monqy has joined. 00:57:33 but whenever one of the nine cells's value is 0, it is immediately filled with the next number in the queue 00:57:48 immediately followed by all nine variables being shuffled 00:58:11 monqy: /nick MONQY 00:58:23 -!- hagb4rd has joined. 00:58:23 no 00:58:24 monqy: happy occasion 00:58:27 oh 00:58:28 hi 00:58:33 what's the occasion 00:58:35 monqy: Happy occasion! 00:58:36 i died 00:58:41 monqy: It's time to capitalize on the occasion,. 00:58:55 /nick MONQY 00:58:58 anyway, have a nice good end of the night or whatever time it is 00:58:59 elliott: /nick ELLIOTT 00:59:05 oerjan: /nick OERJAN 00:59:05 Arc_Koen: it's 2 am :( 00:59:31 hm i cannot find the language i was thinking of 01:02:23 I've seen several joke languages along the lines of "instructions have a random behaviour" but they were nothing more than jokes 01:02:58 were they even jokes? 01:03:26 there is Sortle but it does the opposite of shuffling :) 01:04:24 monqy: no the ywere odd jokes ha ha 01:04:26 "•Each Sorted! program is, in fact, sorted, albeit randomly. Hence the name!" 01:05:19 gerson kurz right 01:05:36 yes 01:08:53 -!- Arc_Koen has left. 01:09:25 I'm confused about Sortle 01:09:34 The hello world example 01:10:00 When hello renames itself to "hello, world", doesn't that get re-inserted before quit, and so shouldn't it get evaluated again? 01:10:35 Hmm, I guess I'm uncertain about where evaluation resumes 01:11:29 i just had a sort of idea, while looking at huby.. a language which enforces a specific coding style 01:12:50 i was thinking of c or c++ in particular.. especially forcing you to use exact names for the arguments to main 01:13:40 so **argv would be valid, but *argv[] would be invalid and **argsv would be invalid 01:15:28 you can only achieve the final state of sophisticated huby coding while beeing naked 01:16:29 well.. i was looking at huby and i thought... what if it had code around it to make it a c polyglot? 01:17:15 -!- coppro has quit (Quit: Changing server). 01:17:25 then i thought, what if you had to copy certain text exactly at the start and end of a huby program 01:23:05 kmc: 18:22 SIGCHAF: thanks 01:23:44 Sgeo: looking at the comments of the perl implementation, control passes to the next expression after the _new_ place of the currently evaluated one 01:23:57 unless it was deleted entirely 01:24:02 kill -SIGCHAF SHACHAF 01:24:23 Segmentation fault (core dumped) 01:24:56 oerjan, spec should say that 01:35:25 Can you put support to configure number of bits in a byte, in LLVM? 01:35:30 I asked LLVM IRC 01:38:04 They did not respond to me. 01:46:01 RogueVM uses 32 bits in a byte so it would be useful to allow you to set bits in a byte to whatever you want, so this way it can combine for RogueVM, as well as systems with other numbers such as 36 bits, 7 bits, 18 bits, or whatever else it is. 01:46:52 zzo38: does it have a separate concept of words? otherwise why not just declare 32 bits to be a word. 01:47:10 since it's 4 ordinary bytes 01:47:48 i guess you'd need to turn off byte-specific instructions somehow 01:48:02 Does anyone in here play Backgammon? 01:48:12 Actually, I think I became interested in Backgammon because of here 01:50:57 oerjan: RogueVM has no separate concept of words, but it calls 32 bits a byte, and 8 bits an octet. There are some instructions that deal with 64-bit numbers, but usually 32-bit numbers are dealt with. Addresses point to 32-bit words which is why it is called a byte. 01:51:42 But yes those things about LLVM are the thing to consider; I would want it to be part of the machine specification, to specify the number of bits in a byte, defaulting to 8 (current LLVM always uses 8 as far as I know, and this cannot be changed). 01:54:10 Sgeo: I know Backgammon; someone showed me how to play, once. I have thought of making Backgammon Card, too. I sometimes play on X-BIT. 01:55:05 (The backgammon against computer played on X-BIT does not implement the doubling cube, and the person who showed me how to play at first also did not know how to use doubling cube, although I have later read a book to learn what it means.) 01:55:47 oerjan: Octets are mostly used in describing the file format of RogueVM (the file format is actually a ZIP archive). 01:56:03 zzo38: You could just use more normal terminology: you deal in 8 bit bytes and 32 bit words. 01:56:28 pikhq: A "byte" is defined as the unit that the address points to. 01:57:00 zzo38: A "byte" is more commonly defined as an octet, regardless of how addressing works. 01:57:49 pikhq: Yes that is also one way it is defined; but I use "byte" in the other meaning. (I think the PDP-11 or something actually had another different meaning of "byte" than these two.) 01:58:39 Thanks for the comments anyways; perhaps I should mention it with "N.B." or something like that to avoid confusion. 01:58:55 (It is currently mentioned in the introduction, but not with "N.B.".) 02:01:22 -!- zzo38 has quit (Remote host closed the connection). 02:09:38 -!- Phantom___Hoover has quit (Read error: Connection reset by peer). 02:26:21 In a luck-involving game such as backgammon, do the future rolls of the dice count as "hidden information"? 02:28:43 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 02:33:03 Sgeo: i don't think so, no 02:47:02 -!- copumpkin has joined. 02:48:05 :t runST 02:48:06 forall a. (forall s. ST s a) -> a 02:58:58 -!- kinoSi has quit (Read error: Connection reset by peer). 02:59:25 -!- kinoSi has joined. 03:19:54 -!- hagb4rd has quit (Ping timeout: 264 seconds). 04:00:16 -!- oerjan has quit (Quit: leaving). 04:19:18 -!- MoALTz has joined. 04:21:39 -!- zzo38 has joined. 04:22:01 -!- mig22 has joined. 04:24:48 I sometimes feel like my thought processes are glacial: Slow but powerful 04:24:54 It's the "slow" part that distresses me 04:25:07 I feel like I sometimes rely on cached mental formulas to do stuff quickly 04:25:26 I also think slow sometimes (but sometimes faster) 04:25:40 Those other stuff too yes I do sometimes too 04:28:17 -!- asiekierka has joined. 04:44:57 -!- MoALTz has quit (Ping timeout: 246 seconds). 05:04:03 -!- nortti has quit (Ping timeout: 268 seconds). 05:09:49 -!- Eladith has joined. 05:16:15 -!- asiekierka has quit (Remote host closed the connection). 05:16:43 kmc: seen kmc 05:31:09 `welcome elliott 05:31:10 oops 05:31:12 `welcome Eladith 05:31:13 elliott: 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.) 05:31:15 Eladith: 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.) 05:38:53 -!- pikhq_ has joined. 05:41:40 -!- pikhq has quit (Ping timeout: 240 seconds). 06:16:09 Sgeo: at least in my game theory book randomness and hidden information are different chapters :P 06:19:42 perhaps it's only hidden information if it's not hidden to everyone? 06:25:22 elliott: I do have some Postfix installations, if that counts. 06:26:32 fizzie: too bad i worked it out i think 06:26:37 fizzie: why does it all suck and crap 06:26:39 that's my real question 06:26:39 of life 06:26:40 :( 06:26:42 im sleep 06:27:11 I don't have life installations, so I don't really know about that. 06:27:49 pikhq_: I added "N.B." for the byte meaning 32 bits in this document since it is an important note ("N.B." is Latin for "important note") 06:28:03 I.N. 06:28:27 -!- elliott has quit (Remote host closed the connection). 06:32:47 "Important, not." 06:40:07 -!- epicmonkey has joined. 06:53:19 -!- copumpkin has quit (Ping timeout: 255 seconds). 06:53:54 -!- copumpkin has joined. 07:07:21 Have you ever made a C code including things like this: struct { void*x[sizeof(short)==2?1:-5]; } 07:07:48 Compile-time assert? 07:08:45 -!- epicmonkey has quit (Ping timeout: 244 seconds). 07:09:18 SHACHAF: Yes that is what it will do 07:09:32 zzo38: I think the conventional way to write it isn't quite like that. 07:09:40 But I'm not surprised that you would write it like that. :-) 07:10:12 But you cannot use sizeof in the preprocessor! 07:12:18 -!- ozquera has joined. 07:12:42 -!- ozquera has left. 07:13:00 -!- nooga has joined. 07:18:14 If you're writing C11 (I'm sure everybody is by now, it's already 2012!) you can write it as _Static_assert(sizeof(short) == 2, "my shorts are the wrong size"); 07:27:11 -!- nooga has quit (Ping timeout: 246 seconds). 07:59:56 -!- zzo38 has quit (Remote host closed the connection). 08:11:26 -!- epicmonkey has joined. 08:17:58 -!- atriq has joined. 08:18:07 Is "Juan de Vojnkov" someone on here? 08:18:13 Because Google+ thinks I may know him 08:21:58 Oh dear god what is PEX 08:22:01 *PEZ 08:23:34 Also, is it bad that I call the Windows key on my keyboard "the flag button"? 08:27:26 By PEZ do you mean the candy dispenser things? 08:27:58 I mean the thing that is referred to in the topic 08:28:08 Which apparently has something to do with candy 08:28:09 Oh. Well, it does mention candy. 08:28:09 So maybe 08:28:38 PEZ are these spring-loaded things where you stack candy to, and then you turn the "head" of it, and candy comes out. 08:28:50 It's kind of like killing small critters by twisting their necks, and then candy. 08:29:20 http://en.wikipedia.org/wiki/File:Hello_Kitty_PEZ_dispenser_open_II.jpg -- kind of like this in action. 08:29:48 Though from what I seem to recall, the candy used to be pretty much white always, no matter what the official flavour was. That's very pink. 08:30:28 How odd 08:30:40 "Some Pez dispensers can sell for large amounts as collectibles. The highest verifiable sale of a Pez dispenser was a private sale of a Mickey Mouse softhead at $7000 between an Austrian dealer and a US collector." 08:30:58 "Conventions are also annually held in Austria, Finland, Sweden, and in the US in Missouri, California, Minnesota, Connecticut and South Carolina." 08:31:04 What's Finland doing on that list? 08:31:06 Weirds. 08:31:30 Maybe they're mixing Finland up with a thin lad 08:31:44 Who collects Pezs 08:32:03 Anyway, they sell also candy-only packages, so you can keep using your favourite dispenser. 08:32:31 I think I have a single PEZ device at home. 08:33:57 As for the key, I've heard it called the "logo key" by people who don't want to reference Windows, but apparently "flag key" is used too. 08:34:21 It confuses people who I'm talking to 08:34:28 When I say "press the flag key" 08:34:32 "The what?" 08:34:40 "You know, the one with the flag on it" 08:34:49 "Oh, the start button" 08:34:55 "Yeah, on the keyboard" 08:36:41 You can start calling it the "super key", that's what it usually produces. 08:37:40 (Caution: Might also confuse people.) 08:45:22 -!- nortti_ has quit (Ping timeout: 246 seconds). 08:46:12 Well, that was all I had to say 08:46:13 Bye 08:46:16 -!- atriq has quit (Quit: Leaving). 09:23:07 -!- copumpkin has quit (Ping timeout: 240 seconds). 09:23:42 -!- copumpkin has joined. 09:42:24 -!- SHACHAF has changed nick to shachaf. 09:59:18 -!- shachaf has changed nick to sHACHAF. 11:04:45 -!- nooga has joined. 11:15:07 -!- nooga has quit (Ping timeout: 240 seconds). 11:26:07 -!- aloril has quit (Ping timeout: 240 seconds). 11:38:44 -!- aloril has joined. 11:50:53 -!- Phantom_Hoover has joined. 11:51:52 -!- Arc_Koen has joined. 12:00:04 -!- atriq has joined. 12:00:23 @tell oerjan is http://esolangs.org/wiki/Entropy the language you were talking about? 12:00:24 Consider it noted. 12:04:06 -!- MoALTz has joined. 12:05:40 @messages 12:05:40 You don't have any new messages. 12:07:05 -!- sivoais has quit (Quit: Lost terminal). 12:07:52 -!- sivoais has joined. 12:10:56 atriq: so I haven't seen your haskell fueue interpreter 12:11:47 I'm doing a thing with it 12:12:00 And I really ought to make back ups, but I don't 12:21:43 -!- copumpkin has left. 12:23:15 -!- MoALTz has quit (Quit: brb). 12:29:02 -!- MoALTz has joined. 12:57:53 Woah wait what 12:58:14 XChat is abandoned and XChat-WDK got renamed to HexChat and seeks to take over? 13:02:29 The former was I thought kind of old news. At least there hasn't been any releases in quite a while. 13:04:54 HexChat!? 13:05:09 For people from Hexham? 13:09:25 For cursed people?! 13:09:40 For people cursed to be from Hexham!? 13:16:03 A fate worse than death?! 13:16:51 Not really 13:17:00 We've got a swimming pool and a bowling alley 13:17:07 And a lot of restaurants 13:17:25 So, unless you need tex-mex and want a 100m swimming pool, Hexham's pretty good 13:17:50 #hexham-tourist-board 13:19:44 Oh, no tex-mex? I thought that was kind of everywhere. 13:19:53 Nah 13:20:23 There was one in Järvenpää, which is kind of nowhere. 13:20:24 We've got French, Greek, two Italian (plus a take-away), Thai, Chinese.. 13:20:41 Three Chinese and a take-away 13:20:42 Well, I suppose it was kind of Tex-Mex/Finnish ice-hockey bar hybrid. 13:20:49 The take away has nice chips 13:20:50 But it did look a bit out of place. 13:21:15 And I suppose Järvenpää is larger, population 38,993. 13:21:53 We don't have a climbing wall, either 13:22:08 But there are two small football teams(!) 13:26:28 NO TEX-MEX 13:26:29 ?!?! 13:26:46 No 13:26:50 No fast food, either 13:27:00 Really? Wow. 13:27:08 Or maybe that's not so unusual for the UK *shrugs* 13:27:13 McDonald's tried to open one, but they couldn't get planning permission 13:27:17 In the US, a small town without some burger joint is incomprehensible. 13:27:18 It is pretty unusual for the UK 13:27:49 Man. No fast food, and, because you're British, you don't know how to cook eggs. 13:27:53 How the hell do you Hexhamites live? 13:28:03 Slowly, and without eggs 13:28:27 Of course 13:28:50 Hard to argue with that logic *shrugs* 13:29:13 We've got a few chippies, and they're kind of like fast food places 13:29:33 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds). 13:34:54 even i can cook eggs.. i know 2 styles! hard boiled and fried. 13:35:52 my dad was keen on the idea of cooking eggs inside a sandwich maker, but that just doesn't work man 13:37:58 “Fried” is at least five styles. If you don't agree, then you don't know how to cook eggs ;) 13:38:24 (At lest six if you categorize “scrambled” within “fried”) 13:38:28 ok ill be specific, i know how to take a frying pan, put some oil in it, and break an egg into it 13:38:39 and end up with something edible 13:38:48 See, even Brits can get that far, but they don't know how to cook an egg. 13:38:58 Because {under,over} {easy,medium,hard} are all different. 13:39:38 And they don't recognize that breaking a yolk can be a good thing. 13:39:55 We don't know how to cook an egg either. 13:40:18 It's reaaaaaaaally fun bringing foreigners to breakfast restaurants by the way. 13:40:27 “How do you want your eggs?” “... cooked?” 13:40:59 Though we do tend to have these "no-brand" in-a-non-mobile-trailer kind of fast food "places" quite often. 13:41:25 fizzie: Food carts! Food carts can be FANTASTIC (or horrifying) 13:42:02 -!- atriq has quit (Quit: Leaving). 13:42:03 Ours are on the determinedly non-fantastic end of the scale. Though I understand late night their queues make for the most popular places to get a knife in you. 13:42:35 Super! 13:42:38 At least if you make the mistake of opening your mouth. 13:42:55 Gregor: the only brits I've seen cooking eggs took the frying pan, broke an egg on it, and then put oil on it 13:42:57 http://fi.wikipedia.org/wiki/Grillikioski 13:43:15 Arc_Koen: So they can't even get that part right??? 13:43:28 fizzie: Well, if you ever find yourself in Portland, Oregon, do yourself a favor and don't shirk the food carts. 13:43:35 Arc_Koen: oh, i at least took the effort of heating the pan first, and i got the oil out of a can with a broken nozzle 13:43:45 Gregor: What a coincidence: I'll be flying to Portland, Oregon this Saturday. 13:44:09 (And then back out from there next... Thursday.) 13:44:11 Gregor: in their defense it was only a student house restaurant 13:44:17 fizzie: Oh? Whyzzat? 13:44:30 it was a mess, i felt like a cook from one of those horror movies who serves nothing actually edible 13:44:32 Gregor: There's the Interspeech 2012 conference Sun-Thu. 13:45:07 Where in Portland? 13:45:36 Some Hilton Tower This Or That. 13:45:38 "Hilton Portland & Executive Tower". 13:45:43 Ah, the Hilton. 13:45:56 There's a block o' food carts about four blocks up from that. 13:45:58 basically i can't cook eggs good enough to serve to others 13:46:51 There will probably be colleagues interested about lunch, I'll recommend the cart thing. Though I seem to recall reading something about Portland's food carts in wikitravel or somewhere, so I suppose they're kind of known. 13:47:07 They are. It's no myth. 13:47:56 Okay, off to go buy some just-in-case dollars. -> 13:54:54 -!- augur has quit (Remote host closed the connection). 13:55:21 -!- augur has joined. 13:56:36 -!- augur has quit (Read error: Connection reset by peer). 14:05:06 -!- derdon has joined. 14:31:23 -!- aloril has quit (Ping timeout: 250 seconds). 14:36:48 -!- asiekierka has joined. 14:50:07 -!- augur has joined. 14:58:07 -!- aloril has joined. 14:59:40 -!- kinoSi has quit (Read error: Connection reset by peer). 15:00:08 -!- kinoSi has joined. 15:02:54 -!- Phantom_Hoover has joined. 15:03:12 But there are two small football teams(!) 15:03:25 by small do you mean they only have 8 players 15:12:34 -!- AnotherTest has joined. 15:12:44 Hello 15:12:44 AnotherTest: You have 1 new message. '/msg lambdabot @messages' to read it. 15:12:52 @messages 15:12:52 oerjan said 19h 38m 58s ago: No. + = 43, . = 46 15:15:04 -!- mig22 has quit (Quit: mig22). 15:20:35 -!- zzo38 has joined. 15:30:00 > ord <$> "+." 15:30:01 [43,46] 15:30:11 He's right! 15:33:02 Well that depends of his definition of "right after" 15:35:13 but for an alphabet consisting of only alphanumeric characters and + and ., ordered by their ASCII values; '.' would be right after '+' for sure 15:36:24 -!- zzo38 has quit (Remote host closed the connection). 15:38:53 -!- atriq has joined. 15:49:00 -!- AnotherTest has quit (Quit: Leaving.). 15:56:33 -!- derdon has quit (Ping timeout: 260 seconds). 15:59:39 -!- AnotherTest1 has joined. 16:11:24 -!- derdon has joined. 16:12:35 -!- nooga has joined. 16:15:22 -!- monqy has quit (Quit: hello). 16:17:34 -!- nooga_ has joined. 16:18:50 -!- nooga has quit (Ping timeout: 246 seconds). 16:19:07 -!- epicmonkey has quit (Ping timeout: 240 seconds). 16:21:58 -!- nooga_ has quit (Ping timeout: 246 seconds). 16:22:37 -!- nooga has joined. 16:22:51 -!- ogrom has joined. 16:39:08 -!- nooga_ has joined. 16:41:14 -!- ais523 has joined. 16:41:16 -!- pikhq_ has quit (Ping timeout: 245 seconds). 16:41:24 -!- pikhq has joined. 16:42:57 -!- nooga has quit (Ping timeout: 272 seconds). 16:44:06 -!- nooga has joined. 16:46:33 -!- nooga_ has quit (Ping timeout: 246 seconds). 16:49:09 -!- nooga_ has joined. 16:49:54 -!- nooga has quit (Ping timeout: 264 seconds). 16:54:31 -!- nooga_ has quit (Ping timeout: 246 seconds). 17:14:33 -!- ogrom has quit (Ping timeout: 255 seconds). 17:29:10 -!- epicmonkey has joined. 17:43:52 -!- nortti has joined. 17:44:18 -!- zzo38 has joined. 17:45:31 -!- ogrom has joined. 17:49:18 -!- nortti has quit (Quit: leaving). 17:49:54 -!- nortti has joined. 17:59:11 -!- nortti_ has joined. 18:02:47 -!- derdon has left. 18:25:54 -!- sirdancealot has quit (Ping timeout: 264 seconds). 18:32:29 -!- Eladith has quit (Quit: leaving). 18:32:38 -!- sirdancealot has joined. 18:41:58 -!- epicmonkey has quit (Ping timeout: 246 seconds). 18:49:57 so is MySQL the PHP of databases 18:50:08 yes 18:50:13 -!- AnotherTest1 has changed nick to AnotherTest. 18:50:45 -!- ogrom has quit (Quit: Left). 18:52:15 that was my impression as well 18:52:22 have googled the phrase "PHP of databases" and found many people who agree 18:52:38 Well it's most widely used 18:52:43 but this is not exactly an unbiased way to decide on MySQL vs. PostgreSQL 18:52:45 just like PHP 18:54:53 -!- asiekierka has quit (Remote host closed the connection). 18:56:08 What's the PHP of freenode channels? (... #php?) 18:57:25 Yes. 19:00:44 -!- Nisstyre_ has quit (Quit: Leaving). 19:01:07 What's the PHP of server-side web languages? 19:01:20 php 19:01:20 PHP? 19:01:26 -!- Nisstyre has joined. 19:02:24 -!- Nisstyre has changed nick to Nisstyre_. 19:03:32 what's the PHP of analogies 19:03:43 apparently windows is the php of operating systems 19:03:46 probably car analogies 19:04:13 or monad tutorials 19:04:23 fungot: What's the PHP of IRC bots? 19:04:24 fizzie: yes 15 minutes, throws out the tea, and steeps for 15 minutes 19:05:21 what the php of esoteric programming languages? 19:05:23 I had a script somewhere that could use fungot to continue sentences. It can be used to determine things. (Just things, in general.) 19:05:23 fizzie: can you read from it...... 19:05:25 *what's 19:06:05 "Windows is the PHP of operating systems, it turned up late, got real popular, got tons of shit supporting it and it's still shit." 19:06:34 So what would apple be like? 19:06:48 Linux would be like the Perl of operating systems. 19:07:33 "I had to change aux to auxm as Windows does not allow files named aux. After that the bare mode worked." "You should've seen my face when I realized you were speaking the truth :) Is windows the PHP of operating systems or what?!" 19:08:41 AnotherTest: what would be lisp of operating systems? 19:08:52 forth of operating systems is forth 19:09:04 Plan 9 is the LISP of operating systems. 19:09:12 ^quoting google 19:09:16 ? 19:09:39 well I have been wanting to try plan9 for some time 19:09:43 nortti: solaris - long gone :p 19:09:53 Genera is kind of also the LISP of operating systems. 19:10:09 AnotherTest: lisp isn't long gone 19:10:12 It should be an operating systems with lots of variants 19:10:15 AnotherTest: neither is solaris 19:10:21 That makes me think of linux 19:10:42 but since Perl already is :( 19:10:46 Linux: the everything of operating systems. 19:11:22 why there isn't a x86 port of genera? 19:11:25 it is awesome 19:11:30 and, more comprehensively 19:11:33 Tcl is the scripting language of Tk, Visual Basic of Windows, (a form of) Lisp of Emacs, PHP of web servers, and Java and Javascript of web browsers. 19:11:44 internet explorer is also the php of browsers 19:12:19 bye! 19:12:22 -!- AnotherTest has quit (Quit: Leaving.). 19:12:31 and now I am wondering why itidus21's message was hilighted 19:13:01 I haven't seen a single valid use for Java in a browser in a long time. 19:13:02 i can help 19:13:09 nortti: ill try a binary search 19:13:14 Old highlight set for "visual basic" to catch all those interesting discussions? 19:13:26 Tcl is the scripting language of Tk, Visual Basic of Windows, (a form of) Lisp of Emacs, 19:13:33 that hilights 19:13:39 Visual Basic of Windows, (a form of) Lisp of Emacs, 19:13:42 yes 19:13:48 Visual Basic 19:13:53 no 19:13:56 humm 19:14:04 of Windows, (a form of) Lisp of Emacs, 19:14:07 yes 19:14:12 of Windows, (a form of) 19:14:15 no 19:14:20 Lisp of Emacs, 19:14:23 yes 19:14:26 :o 19:14:28 Emacs? 19:14:34 no 19:14:36 Lisp? 19:14:38 yes 19:14:47 Interesting. 19:16:21 I seem to have hilights for nortti, oonbotti, dfc, touhou, 666, forth, lisp, glibc 19:16:42 and foo 19:17:00 yes 19:18:05 oh. pc98 also 19:29:21 hey does anyone know if there's a way to force a column in a class:wikitable to be a certain larger? (so that no newlines are inserted) 19:33:38 -!- nortti__ has joined. 19:38:14 fizzie: do you know why I'm banned from ##asm? 19:46:25 -!- nortti_ has quit (Quit: nortti_). 19:46:38 -!- nortti has quit (Quit: leaving). 19:46:47 -!- nortti__ has changed nick to nortti. 20:00:57 I have thought of backgammon card rules: You use the cards 1 to 6 from a deck of cards of four suits (24 cards in total). You have eighteen stones, four of which are suited (one for each suit) and the rest unsuited. Each player is dealt five cards, four face down and one face up. Doubles are only redoubled if both cards are of the same color as well. 20:11:02 -!- sivoais has quit (Quit: Lost terminal). 20:11:45 -!- sivoais has joined. 20:13:15 Sgeo, thing! 20:13:19 Thing-y thing! 20:13:30 Tell the channel Homestucks! 20:19:07 http://m.engadget.com/2012/09/04/unreleased-nokia-lauta-qwerty-slider-emerges/ I hope it is really called lauta and that is not just something lost in translation 20:24:08 nortti: The underlines, but I guess you found that out. 20:28:15 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 20:30:54 -!- Phantom_Hoover has joined. 20:49:12 -!- impomatic has joined. 20:51:19 I realized, the reason the person who shown me how to play backgammon, did not know the doubling cube, as well as a few other variants, is because it is Persian rules. Persian rules do not use doubling cube, and a piece hitting an opponent's piece in your home cannot move again on the same turn. 20:54:25 weird 20:54:37 -!- impomatic has quit (Ping timeout: 246 seconds). 20:55:23 about the doubling cube, many strategy or tactic games could use it as a variant 20:56:04 as long as you can have something similar to backgammons 1-2-3 points in a leg (a simple victory, a gammon or a backgammon) 20:56:05 There... is a Kickstarter for a Homestuck adventure game. By Hussie. 20:58:27 (Also in the Persian rules, you cannot score three points per game; only up to two are allowed.) 20:58:48 Yes 20:58:48 That was the thing 20:58:48 The thingy thing 20:59:47 Which I have spoken of 21:00:24 is this real life 21:00:32 I... 21:00:34 I think it is 21:01:05 counterargument, what kind of real life includes a homestuck adventure game 21:01:21 Obviously, a really awesome one. 21:01:31 I dunno, they're going to cut all the cool corners. 21:02:21 Like the Alchemiter. 21:05:40 I also note that they inexplicably void shipping charges to Fiji. 21:06:27 Because Hussie ships Fiji 21:07:12 -!- nooga has joined. 21:07:42 Well, as of earlier today he ships everything. 21:09:05 Yeah, the Titanic, the Red Oktober, ALL OF THEM 21:09:35 -!- MoALTz has quit (Ping timeout: 272 seconds). 21:10:19 all ships are cannon 21:15:32 real life is overall stranger than homestuck 21:15:43 ... 21:15:49 It's a close one 21:16:02 infact, homestuck is a part of real life, giving an indication of just how strange real life is :P 21:16:16 OK this thing has earned $156,000 in two hours. 21:16:27 Yeah 21:16:29 Crazy 21:16:36 None of those dollars are mine 21:16:48 Also itidus21 is right I'm afraid, Homestuck is mostly confusing due to lack of a time slider during flashes. 21:17:24 well real life has spacetime 21:17:34 Homestuck as paradoxspacetime 21:17:41 Anyway 21:17:52 It's getting to the time when I don't let myself post on Tumblr 21:18:16 there is no way that homestuck's finite reality can be as weird as the infinite reality it is embedded within 21:18:20 -!- oerjan has joined. 21:18:30 or is there 21:18:37 certainly not! 21:18:37 oerjan: You have 1 new message. '/msg lambdabot @messages' to read it. 21:18:41 @messages 21:18:41 Arc_Koen said 9h 18m 17s ago: is http://esolangs.org/wiki/Entropy the language you were talking about? 21:18:55 I think it is 21:19:23 oh right it is 21:19:25 im afraid of homestuck in a way 21:19:35 thats why im getting all defensive 21:20:07 Arc_Koen: i was looking just at Category:Nondeterministic, not Category:Probabilistic, so i didn't find it 21:20:58 I was look just at "Random page" 21:21:02 thats why im getting all defensive 21:21:11 and I found a language that's random! 21:21:11 heh 21:21:27 you truly are an odd fellow iti 21:23:27 i'm a bit sick in me head 21:23:33 * oerjan makes probabilistic a subcategory of nondeterministic 21:26:30 oh, you just did that 21:26:44 * Arc_Koen was thinking "wait, something's *different* 21:27:26 so anyway, i made a page for the language I was talking about yesterday when you brought up Entropy: http://esolangs.org/wiki/Knight_Shuffling_Tower 21:29:08 Arc_Koen: well it's the nondeterministic category, you cannot expect it to be the same each tim 21:29:11 *+e 21:29:17 Goodnight 21:29:19 -!- atriq has quit (Quit: Leaving). 21:29:19 haha 21:32:03 oh yeah I know why it felt weird 21:32:52 I had category:probabilistic and category:nondeterministic opened in two tabs; nondeterministic had probabilistic as a subcategory but probabilistic did not have nondeterministic as a parent category 21:36:34 so I was wondering, are queue-based languages usually turing-complete? for instance on the stack page it is said that programs using two stacks are usually turing-complete; what about languages using a single queue? 21:40:17 the queue analogue of a pushdown automaton is turing complete 21:40:24 iirc 21:40:39 because you can easily cycle through the whole queue, which makes it like a random-access tape 21:41:02 similarly you can treat two stacks as a tape which goes from the bottom of the first stack to the top, and then from the top of the second stack to the bottom 21:41:09 such that you move on the tape by popping from one and pushing to the other 21:41:25 and these are fun things to prove 21:41:37 we had both of those on a problem set in computability and complexity 21:41:47 in fact one of our very simplest TC languages, BCT, is queue-based 21:42:16 stephen wolfram trollface 21:43:20 when your language isn't specifically more suited for emulating something else, emulating BCT is a good bet for proving TC-ness 21:44:38 intersting 21:45:02 and yes, more general tag systems are what was used to prove rule 110 "universal" which stephen wolfram wrote about in his book 21:45:04 -!- impomatic has joined. 21:45:10 new plan: I'm gonna prove the current version of kst turing-complete and then add some restrictions to make it less easily turing-complete 21:45:31 (universal isn't quite the same as TC because this required an infinite setup) 21:46:28 I don't actually know what wolfram's rules are - I started looking into it once and I don't even remember why I stopped 21:47:25 wait, in bct the datastring and the programstring are two strings? or is it the same? 21:48:07 two strings 21:48:44 i think there was a variant which unified them, but i don't think anyone's managed to prove it TC. unless i did and forgot it :P 21:49:23 -!- ais523 has quit. 21:49:53 Arc_Koen: also implementing a tape as two stacks, then the stacks as (linked) lists is a nice way of getting a purely functional tape in ocaml or haskell 21:50:20 yes that's what they call a zipper isn't it? 21:50:20 one which can be extended automatically 21:50:59 Arc_Koen: i guess that's true, although i think this may be older than the zipper concept, but maybe not. 21:52:13 while getting a purely functional queue is a bitch in comparison 21:52:52 (haskell's Data.Sequence uses "finger trees" for that) 21:53:04 *+module 21:54:35 unless you want to reverse the entire data structure when wrapping around, then you can use the tape trick modified. finger trees have less latency or something. 21:55:07 well in Ocaml you can easily implement linked lists so I don't see why a purely functional queue would be so hard to do 21:55:28 * Arc_Koen has no idea what he's talking about, though 21:56:03 on a totally unrelated matter: if I come across a category, say http://esolangs.org/wiki/Category:Concurrent_programming , that's not on the Special:Categorization page, should I add it there or what? 21:56:55 Arc_Koen: the thing is you cannot purely functionally _modify_ a two-way linked list efficiently 21:57:03 while it's easy with mutation 21:57:12 two-way? 21:57:22 links both forward and backward 21:57:24 oh hm 21:57:27 a queue needs only one way 21:57:44 well right. you cannot easily modify the end of a one-way one, either. :P 21:57:58 yep probably not :/ 21:58:18 I was think a deque would need two-way, but when I think about it a deque is kind of the same thing as two stacks 21:58:48 ah hum maybe not 21:59:00 aaaaand it's late so good night 21:59:16 (if I'm still at 3am please swat me) 22:00:47 Arc_Koen: technically that category wasn't added properly, i see. we're supposed to discuss such things on Esolang talk:Categorization 22:01:04 yes that's what I've come to understand 22:02:35 a deque definitely needs something like two-way (or finger trees) 22:03:10 i took the chance with Probabilistic as that was added by our former administrator 22:03:53 i suppose Concurrent_programming is only a couple years younger 22:04:12 how about a one-way cyclic list 22:04:14 although i'm not sure exactly _where_ it would fit on the page, so i think it still needs discussion. 22:04:22 (that's how Ocaml Queue module is implemented) 22:05:12 Concurrent_programming is a subcategory of programming techniques - in my opinion it's more something like a paradigm or something 22:05:25 Arc_Koen: no - how would you remove the end element with a one-way cyclic list? 22:05:33 you cannot get the second last easily 22:05:38 oh, true 22:06:16 but you can push at both ends and pop from one end out of two 22:06:25 so that 75% works 22:07:15 heh 22:07:25 though that has nothing to do with the queue being cyclic 22:25:43 hey does anyone know if there's a way to force a column in a class:wikitable to be a certain larger? (so that no newlines are inserted) 22:26:33 yes I was quite annoyed by the first column being one-word large and the second being one-page large 22:28:19 on the widest cell in the column, put style="white-space:nowrap" 22:30:13 http://esolangs.org/w/index.php?title=Qdeql&diff=31204&oldid=31190 shows how i used that in Qdeql before ehird added a simpler way to get preformatted code 22:30:28 *get it for preformatted code 22:31:25 which means, btw, that if your column contains preformatted code, you may want to use the {| class="wikitable plainpres" method instead 22:31:27 -!- Nisstyre_ has quit (Read error: Connection reset by peer). 22:32:10 hm which it is. let me fix that for you. 22:32:33 was it so obvious that I did not understood? 22:32:37 understand* 22:32:59 um you didn't? 22:33:08 hum I'm trying to 22:33:44 anyway it's a method that was added specifically for our wiki, because we have all these tables with code in them :) 22:33:45 it's http://esolangs.org/wiki/Knight_Shuffling_Tower : the function tables, especially the conditionals/loops one, have a very thin first column which is annoying especially for the for loop 22:37:52 done 22:38:13 so you replaced "code" with "pre" 22:38:20 and added plainpres 22:38:34 what does it change? 22:38:56 it removes the border and margins around
s
22:39:10  so they look almost like code
22:39:48  hmmm ok
22:39:49  but can still be multiline.  also they don't change the background, which matters in ! fields
22:40:15  *! cells
22:40:29  and what does space:nowrap does?
22:41:11  white-space:nowrap is a more general way of preventing wrapping
22:42:48  it needs to be added to the widest cell in the column, but it still got so ugly for the Qdeql tables that ehird made the new method which is easier
22:43:15  oh well actually much of the ugliness was to avoid the background changing
22:43:58  oh not to mention the horrible  s
22:44:07  lending credibility to my claim that MySQL is the PHP of databases is the fact that MySQL advocates and PHP advocates have similar responses when you confront them with bizarre behavior from their respective programs
22:44:13  at least, in skimming a few "MySQL sucks" threads
22:45:01  http://www.flickr.com/photos/raindrift/sets/72157629492908038/
22:55:06 -!- Nisstyre_ has joined.
22:56:11 * oerjan adds a mention of plainpres to Help:Editing
23:00:07 -!- kinoSi has quit (Read error: Connection reset by peer).
23:00:34 -!- kinoSi has joined.
23:01:42 -!- nooga has quit (Ping timeout: 252 seconds).
23:03:15  well thanks for all the help
23:03:37  oerjan: also don't hesitate to come back for a round in frc :)
23:03:47  and have a good night everyone
23:04:26 -!- Arc_Koen has quit (Quit: Are you telling me you can build a time machine but you can't cook a cheese soufflé? You've got your priorities all wrong!).
23:19:31 -!- pikhq has quit (Ping timeout: 246 seconds).
23:19:34 -!- pikhq_ has joined.
23:25:40 * oerjan recalls his thesis advisor could make cheese soufflé
23:26:13  mainly because his wife refused to make it for him
23:26:49  I realized in RogueVM I have only assigned four addressing modes even though it is three bits, so now I have added four more modes: Double-indirect by address, two registers indirect, R0-R3 with 16-bit offset, R0-R3 with 16-bit offset and reverse.
23:27:02 -!- augur has quit (Remote host closed the connection).
23:27:03  I also wrote some things about assembly syntax.
23:30:23 -!- pikhq has joined.
23:30:40 -!- pikhq_ has quit (Ping timeout: 252 seconds).
23:44:47  one possible scenario is
23:45:13  bob beats up tom 
23:46:05  a con artist approaches tom infront of bob with a surefire getrich scheme
23:46:20  Who are they? What getrich scheme is it?
23:46:25  the con artist has convinced bob, but not tom
23:46:36  Probably some pyramid scheme
23:46:55  Does he have to wait until Tom gets back up?
23:46:56  so tom's arm now gets twisted to go along with the scheme
23:47:12  zzo38: oh.. ^beats up occasionally
23:47:18  OK.
23:47:21  i dont know a better way to say this
23:48:49  i think it means, sometimes people are under pressure from people around them to accept unreliable financial opportunities 
23:49:23  OK
23:49:36  the people making these schemes will quickly catch onto this fact somehow
23:50:11  maybe theres no actual substance to what i'm saying
23:56:11  I was playing Dungeons&Dragons game today. Out-ambush the ambushers, out-assassinate the assassins, ...