00:14:09 lol 00:14:23 quite ironic 00:15:50 Sgeo: it's running really slow 00:23:09 Sgeo: it appears to be a fictional game.. which means it's whatever you imagine it to be 00:23:10 -!- Chef_ has joined. 00:28:49 ok so im wrong and thats not what fictional game means. 00:30:45 Wait what? 00:31:10 yeah.. there is no xcbzone.. its just a fictional entity 00:56:26 -!- azaq23 has quit (Read error: Operation timed out). 01:20:32 -!- cheater__ has joined. 01:22:20 -!- azaq23 has joined. 01:23:53 -!- cheater_ has quit (Ping timeout: 252 seconds). 01:31:51 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 01:40:11 -!- jbander has joined. 01:41:12 -!- jbander has left. 01:54:14 -!- myndzi has joined. 01:56:27 -!- pikhq_ has joined. 01:58:09 -!- zbrown_ has joined. 01:59:08 -!- cswords_ has joined. 02:02:19 -!- cswords has quit (Ping timeout: 240 seconds). 02:03:10 -!- pikhq has quit (*.net *.split). 02:03:10 -!- elliott has quit (*.net *.split). 02:03:10 -!- zbrown has quit (*.net *.split). 02:03:10 -!- myndzi\ has quit (*.net *.split). 02:09:25 -!- elliott has joined. 02:10:40 oh, hmm 02:10:57 @ping 02:10:58 pong 02:11:25 @king 02:11:25 Maybe you meant: kind ping 02:11:30 @queen 02:11:30 Unknown command, try @list 02:11:41 ?thank you 02:11:41 Maybe you meant: thank you thanks 02:16:20 ais523: STOP SLEEPIN' 02:17:29 fizzie: You're awake, right? 02:18:25 elliott: here 02:20:02 excellent 02:31:49 -!- Chef_ has quit (Remote host closed the connection). 03:04:02 -!- Chef_ has joined. 03:06:24 -!- Chef_ has quit (Remote host closed the connection). 03:07:25 -!- H3LLB0Y has joined. 03:10:39 -!- Chef_ has joined. 03:11:25 -!- Chef_ has quit (Remote host closed the connection). 03:14:22 -!- augur has quit (Remote host closed the connection). 03:24:52 -!- calamari has quit (Quit: Leaving). 03:30:25 -!- PiRSquared has joined. 03:31:47 -!- nooga has quit (Ping timeout: 252 seconds). 03:41:09 -!- sebbu has quit (Ping timeout: 244 seconds). 03:42:51 -!- sebbu has joined. 03:53:22 -!- sebbu has quit (Read error: Connection reset by peer). 03:54:22 -!- TeruFSX has quit (Remote host closed the connection). 03:54:48 -!- TeruFSX has joined. 03:56:29 -!- sebbu has joined. 03:56:29 -!- sebbu has quit (Changing host). 03:56:29 -!- sebbu has joined. 04:43:01 -!- azaq23 has quit (Read error: Connection reset by peer). 04:43:13 -!- azaq23 has joined. 04:43:22 -!- azaq23 has quit (Max SendQ exceeded). 04:43:49 -!- azaq23 has joined. 04:49:28 -!- elliott has quit (Remote host closed the connection). 04:51:27 -!- augur has joined. 04:51:42 -!- elliott has joined. 05:24:37 -!- PiRSquared has changed nick to restarting-compu. 05:26:23 -!- restarting-compu has quit (Read error: Connection reset by peer). 05:28:49 -!- PiRSquared has joined. 05:49:56 -!- MoALTz_ has joined. 05:50:55 -!- MoALTz has quit (Ping timeout: 255 seconds). 06:02:10 -!- PiRSquared has changed nick to |area|. 06:08:59 -!- maki has joined. 06:09:48 `welcome maki 06:09:51 maki: 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 06:11:11 thanks 06:11:15 are you bots? 06:11:40 no 06:11:48 well HackEgo is 06:12:01 thought so 06:12:27 I'm trying to learn brainfuck 06:12:45 cool 06:13:23 this place is a bit quiet right now i'm afraid 06:13:30 hehe yes, their channel says "go to esoteric", so here I am :) 06:13:32 * Sgeo is reading the BOFH archives 06:13:40 Who is they? 06:13:47 Oh, a brainfuck channel? 06:14:06 yes 06:14:24 Gregor's i think 06:14:45 It isn't usually this quiet here, btw. Although elliott left, so it's quieted down, but he's visiting. Unless he's staying. 06:16:05 What is this channel exactly about? 06:16:37 In theory, about esoteric programming languages, which includes brainfuck 06:16:40 esotercic programming languages 06:16:52 see the wiki for a definition 06:16:56 In practice, we talk about whatever. Often programming or computer science or math related. 06:17:03 But not always 06:17:06 (hackego linked it) 06:18:45 I actually want to make an interpreter of i 06:18:47 *it 06:19:09 that's fairly easy in most languages 06:19:23 write it in brainfuck 06:19:32 been done 06:19:34 many times 06:19:46 dbfi is like 4 lines iirc 06:19:56 dbfi? 06:21:06 daniel cristofani's brainfuck interp in brainfuck 06:21:14 oh 06:24:39 iirc? 06:24:50 if i recall correctly 06:24:51 if i recall correctly 06:25:08 5 lines elliott 06:25:11 well 06:25:14 4.5ish 06:25:24 whats a line 06:25:37 80 chars? 06:26:11 5.5* actually 06:28:36 -!- Chef_ has joined. 06:30:10 -!- Chef_ has quit (Remote host closed the connection). 06:49:20 a brainfuck interpreter in brainfuck? 06:49:55 it happens 06:50:31 I'll let that be my project 06:50:51 Well, got to go. Hope to be around 06:51:33 bye :) 06:52:15 bye :) 06:56:21 -!- maki has quit (Ping timeout: 245 seconds). 07:17:04 -!- |area| has changed nick to [-away-]. 07:29:45 -!- MoALTz has joined. 07:31:19 -!- MoALTz_ has quit (Ping timeout: 240 seconds). 08:03:56 OK................................................................................................................................? 08:05:29 ! 08:05:42 ¡ 08:14:29 I am thinking of the text adventure game system in Haskell. 08:15:32 The container currently [ObjID] but maybe I should include the quantity, so that you can have parts of an object in different places such as money and so on. Or maybe do it something differently? I am not exactly sure 08:30:25 Maybe there is a better way... for most things... I don't know... 08:30:26 -!- monqy has quit (Quit: hello). 08:30:31 Quit: hello 08:31:05 -!- zzo38 has quit (Quit: I don't have color of keys). 08:32:34 -!- monqy has joined. 08:52:16 -!- azaq23 has quit (Quit: Leaving.). 08:57:49 -!- ais523 has quit (Remote host closed the connection). 09:02:12 -!- MoALTz has quit (Ping timeout: 240 seconds). 09:03:35 -!- MoALTz has joined. 09:18:26 -!- Taneb has joined. 09:19:21 Hello 09:20:23 hello 09:28:05 Taneb: did you see THE WIKI, 09:28:14 Nay, I did not. 09:29:32 Which wiki would this be? 09:29:40 The read only, which indeed I did see? 09:29:43 http://esoteric.voxelperfect.net/wiki/Main_Page 09:29:47 Right, that. 09:30:00 Or the new one, hosted by thee? 09:31:38 No, that one hasn't apparated yet. 09:32:42 I may yet change the specifications of Luigi 09:32:57 The alphabet is unnecessary 09:33:59 And I would like to add context-sensitivity and make ambiguity an error 09:35:28 -!- nooga has joined. 09:35:35 fizzie: Also http://www.mediawiki.org/wiki/Alternative_parsers. 09:47:38 Noticed that. "Many of the things linked here are likely to be out of date and under-maintained, even abandoned." (Haven't looked closer.) 09:48:25 -!- cheater__ has quit (Read error: No route to host). 09:48:59 -!- cheater__ has joined. 09:50:44 -!- Phantom_Hoover has joined. 10:01:20 -!- oerjan has joined. 10:01:42 oerjan: YOU DIDN'T BELIEEEVE ME 10:02:01 fizzie: & yet also http://www.mediawiki.org/wiki/Markup_spec, plus: "mwlibPediaPress.comPythonMarkup and otherparse tree, HTML, PDF, XML, OpenDocumentPart of cooperation between Wikimedia Foundation and PediaPressBSD" 10:02:22 (Also "mediawiki-parserPeter Potrowl 10:02:22 Erik RosePythonMarkupXHTML, raw text, ASTGSoC-2011 project; the use of a PEG parser makes it easy to improve 10:02:22 Parser functions are not supported yet.") 10:02:33 I would wager that mwlib thing works properly if the Foundation were involved and PediaPress use it. 10:02:36 elliott: sorry, it wasn't you, it was just that the event itself violated what i believed to be fundamental laws of the universe 10:03:59 -!- MoALTz has quit (Ping timeout: 240 seconds). 10:04:06 -!- MoALTz_ has joined. 10:04:21 oerjan: What event would that be? 10:04:47 the event of the esolang wiki getting decent administration and upgrading 10:05:15 oerjan: I'm even going to finally make you an admin!!!!!!! 10:06:33 oerjan: Don't worry, I'm kidding. 10:06:37 oerjan: It'll be much more effective as a threat. 10:06:47 yay 10:07:25 kallisti, sorry for failing to notify you of the Flash. 10:07:35 But there's a flash, and just now an update after it 10:09:46 oerjan: Anyway, do you realise what this *means*? 10:10:09 We can no longer just point Timwi at Graue. :( 10:10:23 Wait, I'm diplomatic now. I'm not allowed to say things like that. 10:11:08 oh dear 10:11:35 Timwi? 10:11:54 Is that some person on the wiki who's not good at esolang making? 10:12:12 No, they're excellent at esolang making. 10:12:36 Oh, so the person I keep mixing up with someone who's not good at esolang making 10:12:38 They're also excellent at persistently requesting how to contact Graue to become an administrator. 10:12:39 I think? 10:12:41 Oh 10:13:20 Which has lead to some awkward hours in this channel. 10:13:37 He also thinks we should move the wiki to somewhere with an admin that responds to requests like that. 10:13:43 So............ yeah.............................................. 10:14:05 -!- TeruFSX has quit (Read error: Connection reset by peer). 10:14:28 Does he think it should be a positive response? 10:14:50 Or does he think it's ok if the admin gives a negative response, as long as it's a response? 10:15:00 diplomacy crash course coming up 10:15:17 Sgeo: I have no idea, but he's persistent. 10:15:18 oerjan: ? 10:15:28 elliott: for you 10:15:40 First, you need seven players. 10:16:10 fizzie: It's quite bestest how MW can parse "''The '''quick'' brown''' fox". 10:16:38 And thus also "'''''abc def'' quux'''", one presumes. 10:17:00 It would be great if "''''abc def''' quux''" caused the interpretation of the first quote-sequence to change to avoid rebalancing. 10:20:45 abc def quux 10:21:28 -!- H3LLB0Y has left. 10:23:23 fizzie: oerjan: Can you wake Alan Dipert up? 10:24:59 Thanks, 10:25:00 . 10:25:24 who is alan dipert again 10:26:18 hm not sle*reah or seb*bu 10:27:21 oh wait, the owner of esolangs.org? 10:27:49 Also some kinda blogger, I see. 10:29:13 oerjan: yes 10:30:08 I think he wakes up if you say his name three times in front of a mirror. But not sure. 10:32:10 hmph i was going to make a joke on having to pronounce it perfectly, but that is ruined by the fact he seems to be american, not french 10:35:29 which might sort of explain why he's asleep 10:38:49 -!- MoALTz_ has quit (Quit: brb). 10:39:08 -!- MoALTz has joined. 10:40:21 I hate America. :( 10:40:24 * elliott cries 10:40:49 Welcome to the no-fly list. 10:40:53 al qaeda is thataway 10:44:11 elliott: I'm afraid that we'll have to extradite you to somewhere simultaneously inside and outside of US jurisdiction. 10:45:11 Quantum jurisdiction 10:46:01 it's a small cell in CERN, just wedged between the french and swiss borders 10:46:11 ion: No, it's merely defined to be whichever is most convenient for the current purpose. 10:55:46 I don't know if it's because I've heard from elsewhere that CL's community can be a bit harsh that's making me think it, but I think #lisp is acting quite sarcastic to me 10:56:29 IIRC, #lisp is Smug Lisp Weeniedom personified. 10:58:52 -!- yiyus has quit (Remote host closed the connection). 10:59:26 oerjan: I would like to warn you that I am about to spam. 10:59:33 -!- tzxn3 has joined. 10:59:45 i wonder if #lisp is representative of "the Lisp community" or if that's even a thing 11:00:04 oerjan: http://viagra.cialis/ 11:00:09 TREMBLE IN FEAR. 11:00:16 Oh, someone joined. Hello tzxn3. 11:00:25 hi 11:00:28 :) 11:00:38 hi 11:00:49 wat 11:01:51 i don't think #haskell is particularly representative of "the Haskell community" 11:01:52 that's not a valid url, is it? 11:02:02 It is if you have $100k or so. 11:02:16 Everything always comes back round to #haskell with kmc. 11:02:16 YAY 11:02:24 it's true 11:02:34 not a huge leap from #lisp though 11:02:47 and i have no experience with #lisp 11:03:22 How long does it take to get to America? 11:03:32 -!- oerjan has set topic: http://codu.org/logs/_esoteric/ | The #haskell diaspora | Resistance is sexyliccipie, thus voltage is kinsley times currant. | Electric bonobos, all the rage.. 11:08:38 elliott: Define a location in "America", it varies. 11:09:21 You can have 8 hour plane trips without leaving the country, IIRC. 11:09:27 And the continet? 11:09:30 Continent. 11:09:31 Well. 11:09:59 Bicontinental mess 11:11:18 pikhq_: Wherever Alan Dipert is. 11:13:30 -!- monqy has quit (Quit: hello). 11:13:46 Well, my second laptop is on its last legs 11:14:09 Must have been all the raving. 11:14:17 I'm going to have a tower of broken laptops 11:15:44 elliott: Googling suggests he's in North California. 11:15:53 Erm. 11:15:55 North Carolina. 11:16:02 Roughly an 8 hour flight. 11:16:21 Aren't there any supersonic planes to North Carolina? 11:16:35 There aren't any supersonic planes in non-military use. 11:16:37 I don't want to wait ~10 hours, but waiting ~8 hours is almost as bad. :( 11:16:39 elliott: nah, they stopped those once the pilots started all getting cancer 11:16:48 pikhq_: Okay, so how do I get on a military use plane? 11:16:56 * elliott is results-oriented. 11:17:02 Take over the UK. 11:17:08 Find an airbase and ask nicely? 11:17:20 (I suggest finding a scam in UK laws. There's bound to be several) 11:17:35 UK laws are tricky. 11:17:42 Half of them don't really exist 11:18:17 A significant fraction exist only in theory, but have long since gone the way of the Library of Alexandria. 11:18:57 elliott: this is the point where you realize alan dipert is on a weekend trip to an isolated cottage in the appalachians 11:19:15 Meh, nuke the Appalachians. World'll be better for it. 11:25:01 Oh dear. 11:26:29 I'm still compulsively checking the wiki for updates 11:27:17 -!- yiyus has joined. 11:27:23 i almost did that once, but i managed to reach the abort button before it loaded 11:27:49 If you want to F5 to see if it's been migrated yet, you'll want to load http://esolangs.org/. 11:27:59 esoteric.voxelperfect.net might still point to the old wiki for up to a day. 11:28:34 Will esolangs.org automatically be the wiki, or will it give the three options? 11:28:48 there are three options? 11:28:58 Wiki, File archive, and forum 11:29:11 The forum is going the way of the dodo. 11:29:22 esolangs.org will redirect to the wiki; I'll stick a link to the file archive somewhere on the wiki. 11:29:51 Already is one, I believe 11:30:12 Unless it's going to be a brand new wiki? 11:30:35 What? 11:30:45 No, there's no readily-accessible link. 11:30:48 http://esoteric.voxelperfect.net/wiki/Esolang:The_Esoteric_File_Archive 11:30:54 3 clicks from main page 11:32:19 I suppose the community portal is good enough. 11:32:33 it's a little annoying if old links stop working, isn't it 11:32:52 -!- MoALTz_ has joined. 11:33:23 -!- MoALTz has quit (Ping timeout: 244 seconds). 11:33:49 oerjan: I have no idea what conclusion you've jumped to. 11:33:52 so i hope you don't make them do that 11:34:29 I'm sure you also hope I don't kill a dozen kittens. I'm not sure why you would think links would break... 11:34:47 elliott: to things in the file archive, i mean 11:34:57 Graue will continue to host the file archive. 11:35:18 I can set up a redirect from /files/* to the appropriate server. Though not today. 11:35:27 that's what i was hoping 11:35:44 oerjan: I very much doubt there are many links to it, though. 11:35:56 Anyway, perhaps someone will find this useful, some day: http://sprunge.us/hgaT 11:36:21 well for example the version of the underload spec on the archive is the official one, i think it has been linked from blogs 11:37:11 elliott, I count 29 esolangs at least where the article links tot he file archive 11:37:23 [[Underload]] links to esoteric.voxelperfect.net. 11:37:35 http://esoteric.voxelperfect.net/wiki/Special:Search?search=esolangs.org%2Ffiles&go=Go 11:37:40 AFAICT nothing links to esolangs.org/files. 11:37:48 funny 11:37:55 -!- MoALTz_ has quit (Ping timeout: 265 seconds). 11:38:02 Oh, http://esolangs.org/wiki/Gregor_Richards does. 11:38:03 -!- cswords has joined. 11:38:19 and http://esolangs.org/forum/kareha.pl/1131382031/ (but this is irrelevant), http://esolangs.org/wiki/Talk:Aura 11:38:30 OK, there's quite a few 11:38:33 but I cba to set up a redirect today 11:38:58 -!- MoALTz has joined. 11:39:12 oerjan: Hey, can I spam some more? 11:39:26 NO 11:39:39 Well... that wasn't really so much a request as a fair warning. 11:39:46 It took me like 5 minutes to prepare this spamart. 11:39:48 -!- ChanServ has set channel mode: +o oerjan. 11:39:52 O KAY 11:40:06 You have no heart. 11:40:14 It's only 63 lines. 11:40:17 your words hurt 11:40:21 That's like two minutes at the worst. 11:40:59 -!- cswords_ has quit (Ping timeout: 240 seconds). 11:41:09 hey if it's not worth getting banned for, it cannot be that great. 11:41:12 but ok. 11:41:17 -!- oerjan has set channel mode: -o oerjan. 11:41:40 Excellent. 11:41:55 YOUWILLBEABSORBEDINTOTHEISOTOP 11:41:55 EYOUWILLBEABSORBEDINTOTHEISOTO 11:41:55 PEYOUWILLBEABSORBEDINTOTHEISOT 11:41:55 OPEYOUWILLBEABSORBEDINTOTHEISO 11:41:55 TOPEYOUWILLBEABSORBEDINTOTHEIS 11:41:56 OTOPEYOUWILLBEABSORBEDINTOTHEI 11:41:58 SOTOPEYOUWILLBEABSORBEDINTOTHE 11:42:00 ISOTOPEYOUWILLBEABSORBEDINTOTH 11:42:02 EISOTOPEYOUWILLBEABSORBEDINTOT 11:42:04 HEISOTOPEYOUWILLBEABSORBEDINTO 11:42:06 THEISOTOPEYOUWILLBEABSORBEDINT 11:42:08 OTHEISOTOPEYOUWILLBEABSORBEDIN 11:42:10 TOTHEISOTOPEYOUWILLBEABSORBEDI 11:42:12 NTOTHEISOTOPEYOUWILLBEABSORBED 11:42:14 INTOTHEISOTOPEYOUWILLBEABSORBE 11:42:16 DINTOTHEISOTOPEYOUWILLBEABSORB 11:42:18 EDINTOTHEISOTOPEYOUWILLBEABSOR 11:42:20 BEDINTOTHEISOTOPEYOUWILLBEABSO 11:42:22 RBEDINTOTHEISOTOPEYOUWILLBEABS 11:42:24 ORBEDINTOTHEISOTOPEYOUWILLBEAB 11:42:26 SORBEDINTOTHEISOTOPEYOUWILLBEA 11:42:28 BSORBEDINTOTHEISOTOPEYOUWILLBE 11:42:30 ABSORBEDINTOTHEISOTOPEYOUWILLB 11:42:32 EABSORBEDINTOTHEISOTOPEYOUWILL 11:42:34 BEABSORBEDINTOTHEISOTOPEYOUWIL 11:42:36 LBEABSORBEDINTOTHEISOTOPEYOUWI 11:42:38 LLBEABSORBEDINTOTHEISOTOPEYOUW 11:42:40 ILLBEABSORBEDINTOTHEISOTOPEYOU 11:42:42 WILLBEABSORBEDINTOTHEISOTOPEYO 11:42:44 UWILLBEABSORBEDINTOTHEISOTOPEY 11:42:46 OUWILLBEABSORBEDINTOTHEISOTOPE 11:42:48 YOUWILLBEABSORBEDINTOTHEISOTOP 11:42:50 EYOUWILLBEABSORBEDINTOTHEISOTO 11:42:52 PEYOUWILLBEABSORBEDINTOTHEISOT 11:42:54 OPEYOUWILLBEABSORBEDINTOTHEISO 11:42:56 TOPEYOUWILLBEABSORBEDINTOTHEIS 11:42:58 OTOPEYOUWILLBEABSORBEDINTOTHEI 11:43:00 SOTOPEYOUWILLBEABSORBEDINTOTHE 11:43:02 ISOTOPEYOUWILLBEABSORBEDINTOTH 11:43:04 EISOTOPEYOUWILLBEABSORBEDINTOT 11:43:06 HEISOTOPEYOUWILLBEABSORBEDINTO 11:43:08 THEISOTOPEYOUWILLBEABSORBEDINT 11:43:10 OTHEISOTOPEYOUWILLBEABSORBEDIN 11:43:12 TOTHEISOTOPEYOUWILLBEABSORBEDI 11:43:14 NTOTHEISOTOPEYOUWILLBEABSORBED 11:43:16 INTOTHEISOTOPEYOUWILLBEABSORBE 11:43:18 DINTOTHEISOTOPEYOUWILLBEABSORB 11:43:20 EDINTOTHEISOTOPEYOUWILLBEABSOR 11:43:22 BEDINTOTHEISOTOPEYOUWILLBEABSO 11:43:24 RBEDINTOTHEISOTOPEYOUWILLBEABS 11:43:26 ORBEDINTOTHEISOTOPEYOUWILLBEAB 11:43:28 SORBEDINTOTHEISOTOPEYOUWILLBEA 11:43:30 BSORBEDINTOTHEISOTOPEYOUWILLBE 11:43:32 ABSORBEDINTOTHEISOTOPEYOUWILLB 11:43:34 EABSORBEDINTOTHEISOTOPEYOUWILL 11:43:36 BEABSORBEDINTOTHEISOTOPEYOUWIL 11:43:38 LBEABSORBEDINTOTHEISOTOPEYOUWI 11:43:40 LLBEABSORBEDINTOTHEISOTOPEYOUW 11:43:42 ILLBEABSORBEDINTOTHEISOTOPEYOU 11:43:44 WILLBEABSORBEDINTOTHEISOTOPEYO 11:43:46 UWILLBEABSORBEDINTOTHEISOTOPEY 11:43:48 [ 11:43:48 OUWILLBEABSORBEDINTOTHEISOTOPE 11:43:50 YOUWILLBEABSORBEDINTOTHEISOTOP 11:43:52 Visualise in monospaced font for best spam-art-o-experience. 11:43:59 oerjan: Now ban shachaf. 11:44:09 -!- ChanServ has set channel mode: +o oerjan. 11:44:38 -!- oerjan has kicked shachaf Don't sabotage or wonderful spam!. 11:44:44 -!- oerjan has set channel mode: -o oerjan. 11:44:48 *our 11:44:49 I agree; one should never sabotage *or* wonderful spam. 11:44:50 -!- MoALTz has quit (Ping timeout: 272 seconds). 11:45:02 Anyway, look at those *patterns*, man. 11:45:07 The top half almost looks 3D. 11:45:16 -!- shachaf has joined. 11:45:26 oerjan: You need to learn the difference between "kick" and "ban", 11:45:37 Best part???? You can read the bottom-left up and it's THE SAME SENTENCE. 11:45:48 shachaf: i just thought you deserved a first time warning, is all. 11:46:22 (Same for the bottom-right up.) 11:46:26 A first-time warning is a ban without a kick. 11:46:32 Not a kick without a ban. 11:46:39 He's right. 11:46:45 Do him justice and ban him without a kick. 11:46:50 He deserves a proper first-time warning. 11:46:50 *sigh* 11:46:54 -!- ChanServ has set channel mode: +o oerjan. 11:47:01 -!- oerjan has set channel mode: +b *!*shachaf@*.members.linode.com. 11:47:04 O KAY 11:47:06 Excellent. 11:47:08 -!- oerjan has set channel mode: -o oerjan. 11:47:10 shachaf: Think about what you've done. 11:47:57 I'm trying to find the worst non-symbol font for reading IRC in 11:47:59 oerjan: So do I get this much leeway every time I break one of the laws of the universe? 11:48:06 Taneb: Zapfino. 11:48:08 So far, the worst is Vladimir Script 11:48:11 maybe. but only then. 11:48:32 -!- pikhq_ has quit (Read error: Operation timed out). 11:48:32 oerjan: Have I mentioned I plan to CONTINUALLY IMPROVE Esolang??? 11:48:45 FOR EXAMPLE 11:48:46 -!- ChanServ has set channel mode: +o oerjan. 11:48:48 You know the language list? 11:48:54 -!- oerjan has set channel mode: -b *!*shachaf@*.members.linode.com. 11:48:57 That's going to become an automatically-generated table from the category, man. 11:49:03 You'll be able to SORT by COMPUTATIONAL CLASS. 11:49:07 it seems shachaf may not have thought things through properly. 11:49:12 -!- oerjan has set channel mode: -o oerjan. 11:49:43 -!- pikhq has joined. 11:49:47 Parry Hotter is a pretty weird font for reading IRC in 11:49:58 I'm not sure where I got all these fonts 11:50:04 Hotter than whom? 11:50:39 Good question 11:51:29 Ooh crikey. elliott, look outside at the weather 11:52:03 just as hexham takes control of our wiki, it is swept away by a tsunami. how sad. 11:52:17 Taneb: It's quite weather, yes. 11:55:43 oerjan: Do you feel absorbed, yet? 11:57:54 no, i am still stuck in the matrix of solidity. 12:09:39 * Sgeo is turning into a sarcastic person. 12:09:49 http://common-lisp.net/project/cl-stm/doc/tutorial.html 12:09:49 What a helpful tutorial. 12:10:25 Thrilling. 12:10:52 So are you going through all the languages you spent approx. 3 seconds with again in reverse chronological order? 12:12:05 I wasn't entirely aware of me going through these in any particular order relevant to my last language hunt 12:15:31 oerjan: Can you *believe* Linode gave me a month and a half for the cost of half a month?! 12:16:17 i think there must be a word for that sort of thing in the illicit drug business. 12:17:23 I believe the word is: BARGAIN. 12:17:27 something tells me square root of minus garfield is having technical problems. 12:17:41 wfm 12:18:00 well, yesterday. 12:18:22 * oerjan managed to confuse himself a bit there. 12:18:35 it's not a very hard thing to do. 12:18:57 YBEING MATRIX 12:18:57 O L R O 12:18:57 J O U F ! 12:18:57 N C O S Y 12:18:57 E KEDINY OLIDIT 12:19:55 wat 12:20:12 i was wondering if you had a 5 line paste limit 12:20:24 why, did I miss something? 12:21:06 no, but you didn't maximize height 12:21:21 In certain moments of boredness i’ve done synchronized screenfuls of sine wavey text as alternating lines with a friend on IRC. :-P 12:21:21 SOMETIMES spamart can come in horizontal forms too, you know??? 12:21:28 wow! 12:21:54 ion: so are you familiar with the fine art of oko, then 12:21:55 > fromList "hello" <| 'a' <| 'b' 12:21:56 ion: I dearly hope to never discover the level of boredom required to think that's fun. 12:21:56 Not in scope: `<|'Not in scope: `<|' 12:22:08 o 12:22:09 oko 12:22:10 okoko 12:22:11 okokoko 12:22:13 okokokoko 12:22:14 okokokokoko 12:22:16 okokokokokoko 12:22:18 > Data.Sequence.fromList "hello" Data.Sequence.<| 'a' Data.Sequence.<| 'b' 12:22:19 Not in scope: `Data.Sequence.fromList'Not in scope: `Data.Sequence.<|'Not i... 12:22:19 okokokokokokoko 12:22:23 Taneb: :( 12:22:34 THIS IS IMPORTANT 12:22:42 > Seq.fromList 12:22:42 it's also a part of the okoer's burden to be interrupted 12:22:43 Overlapping instances for GHC.Show.Show 12:22:43 ([a] -... 12:23:16 > Seq.fromList "hello" Seq.<| 'a' Seq.<| 'b' 12:23:17 Couldn't match expected type `Data.Sequence.Seq GHC.Types.Char' 12:23:17 aga... 12:23:32 > (Seq.fromList "hello" Seq.<| 'a') Seq.<| 'b' 12:23:33 Couldn't match expected type `Data.Sequence.Seq 12:23:33 ... 12:23:59 > (Seq.fromList "hello" Seq.|> 'a') Seq.|> 'b' 12:24:00 lambdabot doesn't suffer from overmuch discoverability in its module import choices 12:24:00 fromList "helloab" 12:24:10 > Seq.fromList "hello" Seq.|> 'a' Seq.|> 'b' 12:24:11 fromList "helloab" 12:24:13 :) 12:24:19 Thanks, lambdabot 12:24:25 Thambdabot 12:25:20 :t fold 12:25:21 Not in scope: `fold' 12:25:27 :t Foldable.fold 12:25:28 Couldn't find qualified module. 12:25:30 ion++ 12:25:38 Your Finnishness is offset by your Look Around You references. 12:25:41 :t Data.Foldable.fold 12:25:42 forall (t :: * -> *) m. (Data.Foldable.Foldable t, Monoid m) => t m -> m 12:26:10 > Data.Foldable.fold (Seq.fromList "hello") :: String 12:26:11 Couldn't match expected type `GHC.Base.String' 12:26:11 against inferred typ... 12:26:18 Wait 12:26:20 Damn 12:26:29 That's ruined everything 12:26:30 Taneb: Char is not Monoid 12:26:36 what semantics do you want? 12:26:48 and are you looking for 12:26:51 :t Data.Foldable.foldr 12:26:52 instead? 12:26:52 forall a b (t :: * -> *). (Data.Foldable.Foldable t) => (a -> b -> b) -> b -> t a -> b 12:26:58 > Data.Foldable.foldMap pure (Seq.fromList "hello") :: String 12:26:59 "hello" 12:27:05 Yesssss 12:27:37 > Data.Foldable.toList (Seq.fromList "hello") 12:27:38 "hello" 12:28:19 I wonder why Traversable requires Foldable. 12:28:20 > ala' Sum Data.Foldable.foldMap ord (Seq.fromList "hello") 12:28:21 532 12:28:27 Can you implement Foldable with Traversable? 12:28:33 Oh, I think you can. 12:28:53 :t fmap (const ()) . Data.Traversable.traverse tell 12:28:54 forall (f :: * -> *) a (t :: * -> *). (Applicative f, MonadWriter a f, Data.Traversable.Traversable t) => t a -> f () 12:29:02 :t Data.Traversable.foldMapDefault 12:29:02 :t execWriter . Data.Traversable.traverse tell 12:29:03 forall a m (t :: * -> *). (Data.Traversable.Traversable t, Monoid m) => (a -> m) -> t a -> m 12:29:03 forall w (t :: * -> *). (Monoid w, Data.Traversable.Traversable t) => t w -> w 12:29:05 :t execWriter . Data.Traversable.traverse tell 12:29:06 forall w (t :: * -> *). (Monoid w, Data.Traversable.Traversable t) => t w -> w 12:29:10 right 12:29:26 in the effect order 12:29:27 elliott: not to mention that it's actually a subclass 12:29:40 I wonder why Traversable requires Foldable. 12:29:43 -!- pikhq has quit (Ping timeout: 240 seconds). 12:29:45 are there any Foldables that aren't Traversable? 12:29:49 I don't really like Foldable. 12:29:50 -!- pikhq has joined. 12:29:52 It's just toList. 12:30:05 Although fold is very nice, I have to admit. 12:30:07 (I'm a monoid fanboy.) 12:30:48 it's entirely possible to make a tree instance which appends recursively 12:30:55 *mappends 12:31:19 oerjan: Right. 12:31:22 which would be more efficient than using toList 12:31:23 oerjan: That's why I'm a monoid fanboy. 12:31:36 oerjan: Did you know that foldMap is MapReduce? 12:31:52 Monoids are, like, inherently parallel. 12:33:15 I think oerjan thinks I'm weird. 12:33:16 yes, that's why i mentioned that tree thing 12:33:29 Or maybe he thinks I'm a genius. 12:33:36 Okay, so it's pretty obvious. 12:33:38 But it's still cool. 12:33:40 on alternate days. 12:33:50 Why not both at the same time? 12:34:02 Also, I think databases are MapReducey monoids. 12:34:03 Taneb: maybe in sort of fizzbuzz fashion? 12:34:22 Like, there are databases that don't synchronise all the time with all the DB servers, they just let stuff go through and handle conflicts later. 12:34:27 What if conflict resolution is mappend? 12:34:39 You send diffs to the database; mempty is the null diff. 12:34:53 And it mappends the diffs when two servers submit differing diffs, or something. 12:35:04 Like, whoa. 12:35:48 > unwords [case gcd n 6 of 1 -> "er..."; 2 -> "weird"; 3 -> "genius"; 6 -> "weird genius" | n <- [1..]] 12:35:49 "er... weird genius weird er... weird genius er... weird genius weird er...... 12:36:14 that was definitely either weird or genius. 12:36:22 What, the database thing? 12:36:35 no, that string 12:36:37 That was definitely genius. That's what @'s distributed databases look like. Probably. 12:36:38 Oh. 12:36:48 Did you know I'm not working on @? 12:36:53 OH NO 12:37:02 I sense sarcasm. 12:37:15 THEN WHO IS 12:37:18 So if I'm the wiki admin, I get to be an op, right? 12:37:23 he is strong with the force, that guy 12:37:28 It's only logical. 12:37:40 graue was never an op. 12:37:47 Graue was scary. 12:37:52 I'm fluffy. 12:38:05 Also, I don't know that what Graue did could technically be called "administrating". 12:38:24 Like giving birth and going into a coma for the next seven years is "parenting" :D 12:38:51 -!- MoALTz has joined. 12:39:36 i think he may have been more active before you arrived 12:39:47 wait, you spiked his drink, didn't you. 12:39:50 * elliott has read older pages of the wiki, y'know. 12:39:59 I don't think he was active past 2007. 12:40:05 That's when he upgraded the wiki and was messing with spam protection. 12:40:13 which coincidentally is when you arrived. 12:40:16 The only thing he did after that was to turn on the CAPTCHA for all anonymous users, I think. 12:40:23 oerjan: No, that was technically 2006. 12:40:34 only technically. 12:40:40 Anyway, I'm going to... like... 12:40:47 oerjan: What's the most annoying thing about the wiki? 12:40:49 Apart from the spam. 12:40:53 And apart from me. 12:42:21 oerjan: Come on, there's gotta be a third thing! 12:42:26 tricky. 12:43:02 The fact that there's at least two categories for BF derivatives 12:43:03 i can only think of edits timing out before you submit, but i've sort of adapted to that and i'm not sure it's the wiki's fault anyway 12:43:15 oerjan: That shouldn't be present with the new server. 12:43:23 yay 12:43:23 oerjan: (It'll also be a lot faster, being in London.) 12:43:34 everything's faster in london. 12:43:39 ping london1.linode.com and compare with your ping to esolangs.org. 12:43:40 London, the city of speeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeed 12:43:42 except when it doesn't change at all. 12:43:47 (And then report the figures to me, because I'm interested.) 12:44:50 52 and 195 ms, respectively 12:45:04 Right. 12:45:07 35 and 173 for me 12:45:24 18 and 158 for me. 12:45:49 (As an aside, pyralspite.net is also 173ms) 12:46:06 Yeah, pyralspite is in America. 12:46:10 And probably dying soon. 12:46:19 elliott: is a rtt average enough? 12:46:26 -!- cheater__ has quit (Read error: Connection timed out). 12:46:32 463 and 468 for me. 12:46:47 lifthrasiir: where are you? 12:46:51 lifthrasiir: ouch 12:46:55 Seoul, South Korea ;) 12:46:56 lifthrasiir: my condolences 12:46:59 -!- cheater__ has joined. 12:47:03 Well, London's still better 12:47:11 I guess that's the price you pay for the kinds of speeds you get in that part of the globe :) 12:47:21 lol 12:47:51 well my ISP has been notoriously slow for certain abroad networks 12:47:59 (Korea Telecom, to be exact) 12:48:29 Well, http://www.kt.com/eng/ takes about 4 years to load here, so I'll agree with that. 12:48:34 there's like this kind of sonic shock when packets leave south korea, because of the sudden decrease in speed. 12:48:40 Hey, penguins. 12:51:20 oerjan: Fourth annoyance???? C'mon I can fix ANYTHING 12:51:42 How lame the forum is. 12:51:51 The forum is dying, rest in peace. 12:52:14 Did you know that Graue is actually a pretty nice dude??? 12:54:27 Unless you create categories,. 12:54:43 FFS why are , and . so close together on this keyboard. 12:55:04 I think he might have become a nicer dude in the 7 intervening years??? 12:55:14 Can you believe the wiki is 7 years old? 12:55:23 Only one way to find out! 12:55:36 There has been an esolang since 1972 12:55:47 Longer than that. 12:56:06 Well... 12:56:10 INTERCAL was the first designed esolang. 12:56:12 But http://esolangs.org/wiki/Prehistory_of_esoteric_programming_languages 12:56:35 P'' was an academic tool intended for research 12:57:06 http://coq.inria.fr/pylons/contribs/view/Topology/v8.3 12:57:10 This should be fun. 12:57:20 By which I mean impossible to understand. 12:57:34 L6... maybe 12:58:40 At least it's better than the ZFC one, in that the comments and names aren't in French, 13:02:09 -!- oerjan has quit (Quit: leaving). 13:05:38 oerjan is leaving because he couldn't think of a fourth. 13:05:42 It's SHAME. 13:05:49 0.25. 13:06:39 What. 13:07:02 a fourth == one quater == 0.25 13:07:23 Oh. 13:07:26 Phantom_Hoover: Remember http://miekko.infa.fi/kaksikymment.ogg??? 13:07:34 Yno. 13:07:57 what 13:08:15 * Phantom_Hoover notes that that Coq file contains Ensembles and Families, both of which appear to be Coqy sets. 13:08:29 Of course, the latter doesn't actually appear to be defined anywhere, 13:09:04 http://coq.inria.fr/stdlib/Coq.Sets.Ensembles.html 13:09:14 Latter, elliott, latter. 13:09:32 Ensemble is just -> Prop. 13:09:51 Link to the file that mentions families? 13:10:00 http://coq.inria.fr/pylons/contribs/files/Topology/v8.3/Topology.TopologicalSpaces.html 13:10:05 Require Export Families. 13:10:11 Later, open_family_union : forall F : Family point_set, 13:10:57 http://coq.inria.fr/pylons/contribs/view/ZornsLemma/v8.3 13:11:01 The library depends on my ZornsLemma contribution. The provided 13:11:02 makefile expects compiled files to be present in ../ZornsLemma; if you 13:11:02 have them somewhere else, first run 13:11:02 coq_makefile -R /path/to/ZornsLemma ZornsLemma -R . Topology *.v > makefile 13:11:02 before running make. 13:11:04 --Topology thing 13:11:14 Families.v - operations on families of subsets of X, i.e. Ensemble (Ensemble X) 13:11:41 -!- cheater_ has joined. 13:12:00 Phantom_Hoover: Coq tactic proofs are so readable. 13:12:15 Pfft, the proofs are a technicality. 13:12:31 (I was being sarcastic.) 13:12:45 So was I. 13:12:51 I wasn't 13:12:55 I was being silent 13:13:07 open_full : open Full_set 13:13:18 I'm... pretty sure that's not an axiom of a topological space. 13:13:23 Oh wait, yes it is. 13:14:46 -!- cheater_ has quit (Excess Flood). 13:15:13 I like how the first two proofs have just been wrangling the Coq definitions into agreeing with the obvious. 13:15:41 -!- cheater__ has quit (Ping timeout: 244 seconds). 13:15:56 What’s kaksikymment.ogg supposed to be? 13:16:03 -!- cheater_ has joined. 13:16:07 -!- MoALTz_ has joined. 13:16:32 ion: An ordinary Finnish word. 13:16:40 Kaksikymmentäneljätuntiaikakausitämänhetkinen. 13:16:57 eh 13:17:11 If it wasn't a Finnish word, how could we possibly have a Finn saying it on record? 13:17:13 Yes, it’s obviously Anordinaryfinnishword. 13:18:50 -!- MoALTz has quit (Ping timeout: 248 seconds). 13:18:53 ion: Perhaps this will help: 13:18:58 http://esolangs.org/w/index.php?title=Main_Page&direction=prev&oldid=20966 13:18:59 http://esolangs.org/w/index.php?title=Main_Page&direction=prev&oldid=21366 13:19:00 http://esolangs.org/w/index.php?title=Main_Page&direction=next&oldid=20966 13:19:02 http://esolangs.org/w/index.php?title=Main_Page&direction=next&oldid=21366 13:19:04 http://esolangs.org/w/index.php?title=Main_Page&direction=next&oldid=21521 13:20:01 k 13:20:04 -!- MoALTz__ has joined. 13:20:38 You say k, but beneath your steely Finnish exterior there is a heart sparking with joy at the poetry. 13:21:39 -!- MoALTz__ has quit (Client Quit). 13:21:54 * elliott is a Finnologist. 13:23:17 -!- MoALTz_ has quit (Ping timeout: 260 seconds). 13:23:52 -!- cheater_ has quit (Ping timeout: 260 seconds). 13:24:22 -!- MoALTz has joined. 13:26:21 -!- MoALTz_ has joined. 13:29:42 -!- MoALTz has quit (Ping timeout: 260 seconds). 13:30:57 A Finnologist, or a "Finker" like they colloquially say. 13:31:41 Best ever headline: http://www.hexhamcourant.co.uk/news/news-at-a-glance/late-post-is-not-that-late-1.924528 13:31:57 fizzie: Yes. 13:32:03 Taneb: :D 13:32:17 -!- elliott has set topic: LATE POST ‘IS NOT THAT LATE’ | http://codu.org/logs/_esoteric/. 13:35:25 What's this, you have a newspaper in Hexham? 13:35:33 With a *website*!? 13:35:41 Yep 13:35:52 It's the best newspaper in Northumberland 13:36:05 And a professional-looking website, not just any site. 13:36:49 fizzie: Well, it's not really just or Hexhamites. 13:36:51 *for 13:36:51 * Phantom_Hoover notes that Taneb is apparently a cricketer. 13:36:59 It goes to a lot of places. Well, for English values of a lot. 13:37:05 http://www.hexhamcourant.co.uk/news/news-at-a-glance/students-pass-classic-test-1.288062?referrerPath=home/2.3307 13:37:08 Also a dweeb,. 13:37:10 Also that site design is new or something. 13:37:42 http://www.hexhamcourant.co.uk/news/news-at-a-glance/clean-up-causes-disruption-1.924484?referrerPath=home 13:37:43 OMG it has his GCSE results. 13:37:52 Really!? 13:37:56 The Hexham Courant are true masters of the headline form. 13:38:14 Well no, it has the number of C to A* grades. 13:38:18 http://www.hexhamcourant.co.uk/opinion/hextol/no-crumbs-of-comfort-in-brown-bread-1.924426?referrerPath=opinion/hextol 13:38:29 i.e. the measure of how good you are at writing your name on the papers. 13:38:39 Also, I do not play cricket. 13:38:41 http://www.hexhamcourant.co.uk/opinion/hextol/coffee-brewed-from-powder-is-still-my-cup-of-tea-1.919729?referrerPath=opinion/hextol 13:38:46 Phantom_Hoover: Dude look at these headlines. 13:38:54 Being a dweeb I'll admit to 13:39:01 http://www.hexhamcourant.co.uk/sport/other/cool-dude-nathan-takes-to-the-ice-for-europeans-1.924439?referrerPath=home 13:39:10 elliott, it still can't beat the EEN's "trams trams trams trams TRAMS fucking TRAMS"# 13:39:22 -!- sebbu2 has joined. 13:39:23 -!- sebbu2 has quit (Changing host). 13:39:23 -!- sebbu2 has joined. 13:39:28 I will now have LUNCH 13:39:31 -!- Taneb has changed nick to LUNCH. 13:39:34 Phantom_Hoover: Sorry you have to agree that LATE POST ‘IS NOT THAT LATE’ is one of the all-time classic headlines. 13:39:35 wait 13:39:36 wait 13:39:41 -!- LUNCH has changed nick to Taneb|Lunch. 13:39:42 It should win a Pulitzer. 13:39:49 it doesn't have any tram headlines today. 13:39:56 OK, that one is good. 13:40:13 Best ever headline: http://www.hexhamcourant.co.uk/news/news-at-a-glance/late-post-is-not-that-late-1.924528 13:40:18 "BNP chief wades into city Bondage punk’s tribunal" 13:40:19 It's what brought this up. 13:40:23 wha 13:40:23 t 13:40:29 -!- sebbu has quit (Ping timeout: 252 seconds). 13:40:55 "As her alter-ego, Mish Bondage, she appears in pictures on the internet wearing leather and fishnets, sporting tattoos and with bright red hair." 13:41:07 how is bnp involved, 13:41:11 Is this some other internet where that's worthy of the appelation "bondage punk". 13:41:22 -!- MoALTz_ has quit (Ping timeout: 260 seconds). 13:41:26 -!- MoALTz has joined. 13:41:32 -!- sebbu has joined. 13:41:32 -!- sebbu has quit (Changing host). 13:41:32 -!- sebbu has joined. 13:41:45 -!- cheater has joined. 13:42:05 Phantom_Hoover: It's print news media. 13:42:07 elliott, the BNP fired her or something and she's not happy? 13:42:26 She worked for the BNP? 13:42:45 "Feathers fly as city set to deny gull service" 13:42:55 elliott, as an assistant or something. 13:43:13 I've heard that the seagulls in Edinburgh are unusually large, but I've yet to see any evidence of it. 13:43:32 http://www.sado-nation.com/ 13:43:34 SKULLS, MAN. 13:44:02 They're, like, a metaphor, man. 13:44:10 For the skulls inside all of us. 13:44:46 * Phantom_Hoover remembers being in primary school, when after break the seagulls would descend en masse to eat any food left in the playground. 13:44:59 -!- sebbu2 has quit (Ping timeout: 240 seconds). 13:45:11 "Shop worker held up with broken bottle" 13:45:14 "The seagulls of Seague ull loudly at the sea" -- old adage. 13:45:15 No wonder it was broken. 13:45:37 oh 13:45:37 my god 13:45:42 their review section 13:45:43 has stars 13:45:44 -!- MoALTz_ has joined. 13:45:47 but they just show it 13:45:55 by putting asterisks at the end of the summary. 13:46:07 " 13:46:08 Review: Paul Carrack, Queen’s Hall 13:46:08 Like a bull in a china shop. **** "# 13:47:03 -!- MoALTz__ has joined. 13:48:57 -!- MoALTz has quit (Ping timeout: 260 seconds). 13:50:42 -!- MoALTz_ has quit (Ping timeout: 260 seconds). 13:50:59 -!- cheater has quit (Ping timeout: 240 seconds). 13:51:54 -!- MoALTz_ has joined. 13:53:10 -!- cheater has joined. 13:53:58 -!- Taneb|Lunch has changed nick to Taneb. 13:54:09 I have finnished my lunch. 13:54:18 I did not, however, Norwegian it 13:54:47 -!- MoALTz__ has quit (Ping timeout: 260 seconds). 13:56:55 http://www.youtube.com/user/ThePhantomHoover 13:56:59 Bastard! 14:05:52 -!- MoALTz_ has quit (Ping timeout: 260 seconds). 14:09:21 -!- Taneb has quit (Quit: changing computer). 14:12:49 -!- augur has quit (Remote host closed the connection). 14:14:42 -!- Taneb has joined. 14:32:10 DIIIPEEEEERT 14:33:01 hi 14:37:52 No. 14:38:32 kallisti: All your wiki pages belong to ME now. 14:41:26 kallisti: (Also: your base, your soul) 14:41:57 Gregor: There goes [[Glass]] and [[ORK]]. 14:42:07 I would be more careful about your remarks in future!!! 14:42:24 :( 14:45:21 elliott: nope! I have Wiki pages of my own! 14:45:24 I just haven't added them. 14:45:33 You know [[Dupdog]]? 14:45:39 no, what's that? 14:45:41 That page LIVES AND DIES BY MY DICTATORIAL ORDER now. 14:45:45 that's fine. 14:45:48 it's kind of shitty anyway. 14:45:52 You're kind of shitty. 14:45:55 like, I would actually prefer that it be rewritten. 14:45:58 or something 14:46:00 but I haven't 14:46:19 also I've got BRAND NEW IDEAS REGARDING DUPDOGOIDS (yes that's what they're called now) 14:47:02 I think a Dupdog proof of TCness/TinCness would be theoretically interesting. 14:47:08 It reminds me very much of 1D CAs. 14:47:26 YES. if only someone could go do that.. 14:47:33 someone with real knowledges 14:47:37 (not me) 14:48:44 elliott: basically I've got an idea for a new language where there's a 2-argument instruction that substitutes characters 14:48:54 so the string "sab" would replace all a's with b's 14:49:07 it mights it a bit easier to actually do something. 14:49:27 *makes 14:49:47 ~!~ --infinite loop in dupdog? 14:49:56 @tell oerjan You could try and figure out whether Dupdog is TC or not. You know, if you wanted to. 14:49:56 Consider it noted. 14:50:02 lol 14:50:08 elliott: thanks for reminding him 14:50:14 he may have forgotten how interested he was in the topic. 14:50:28 ~ !~!~ 14:50:38 ! ~!~~!~ damn 14:50:54 I was also considering an instruction called ", that removes all preceding characters up to the next " (or all the way to the end of the string, causing it to terminate) 14:51:09 I think that combined with the substition operator would be TC. but I'm not sure. 14:51:51 You're not meant to make it easier. 14:52:22 What other dupdog programs have been written apart from that hello world? 14:52:23 ~ !~~!~!~~!~ 14:52:42 ! ~~!~!~~!~~~!~!~~!~ 14:54:26 elliott: well I would like to make it easier but make it similar in concept. 14:54:41 other variants could have different goals. -shrug- 14:54:50 -!- pikhq_ has joined. 14:54:52 -!- pikhq has quit (Ping timeout: 260 seconds). 14:55:13 ??~~!! 14:55:58 ? !??~~ 14:56:09 ! ??~~??~~ 14:56:27 ? !??!!?? 14:56:35 ! ??!!????!!?? 14:56:37 damn 14:56:40 elliott: and still writing programs with those operators is still going to be difficult... 14:56:53 (in a good way) 14:58:08 I don't care about program-writing. 14:59:24 ~! 14:59:27 !! 14:59:30 !! 14:59:40 '\2' 14:59:47 :( 14:59:48 hmmm, I guess with a substition operator it becomes something like a production system? 15:00:15 but... where the input string is also the sequence of production rules. 15:01:23 it's also limited to (presumably) a finite alphabet for production rules, since it only substitutes a single character rather than an arbitrary string. 15:04:14 though I guess an infinite alphabet is possible too 15:04:25 The only thing that needs changing about dupdog is the output system. 15:04:50 I'm just exploring different ideas. I'm not trying to "fix" dupdog at the moment. 15:04:57 what would you recommend for the output. 15:05:15 Well, the decimal output is ugly. 15:05:23 So is the ASCII thing. 15:05:29 ah, yes, I agree. 15:05:39 Ideally it'd be something like mfit can output 0 bits and shanty can output 1 bits and that's it, or something. 15:05:59 It might make coherent ASCII output nearly-impossible, but it exposes the structure of the computation better. 15:06:10 And it's not like dupdog programs that do coherent ASCII output are going to be written anyway. 15:06:18 would the bit still be based on the string length? 15:06:35 hmmm, what if counted a particular character in the source code? 15:06:35 Ideally it'd be something like mfit can output 0 bits and shanty can output 1 bits and that's it, or something. 15:06:36 I'd just have 15:06:38 and used that as the output bit. 15:06:41 mfit: If the character is something else, 0 is output. 15:06:44 shanty: If the character is something else, 1 is output. 15:06:45 oh 15:06:45 and leave it at that. 15:06:46 right 15:06:48 Or something. 15:06:53 er 15:06:56 I was thinking of bytes. :P 15:07:04 I wasn't. 15:07:39 I think counting a particular character in the source string and outputting that as a byte would be a bit less impossible for output. but as far as I can tell making dupdog sensible is out of the question. 15:07:45 without making a completely different language. 15:08:27 Which is why my suggestion brings it closer to a computational model than something trying to be a language. 15:08:49 yes 15:09:51 though character counting output is a perfectly fine computational model as well. -shrug- 15:09:57 Notably, shanty/? can be implemented by flipping a bit. 15:10:08 If you consider "reading forwards" vs. "reading backwards" a boolean interpreter state. 15:10:15 That might simplify analysis greatly. 15:10:22 yes I've considered how to handle string reversal. 15:10:28 in that regard. 15:10:44 or, say, in Haskell if you're using Seq to represent the string 15:10:54 ? would just alternate between viewR and viewL 15:10:59 Additionally, 15:11:10 After a duplication the length of the source code is always even. 15:11:14 yes 15:11:21 So I wonder if you could not implement duplication as some control structure that doesn't actually duplicate the program. 15:11:28 But instead loops it twice and maintains some state of is-even-or-not. 15:11:36 also, in a character counting system, the number of that character would always be even 15:11:42 which would make odd number output trickier 15:11:44 That might tease enough structure out of it to look like an actual language. 15:12:24 the difficulty with that would be the character transposition operator, I don't recall the symbol I used... 15:12:31 hm 15:12:34 well no 15:12:47 that's just a three-valued... value. 15:12:56 I think 15:14:08 the three different states determine your interpretation of characters. 15:15:17 however, looping twice doesn't work I think 15:15:47 I didn't mean it would be that simple. 15:15:54 because, if you reverse, duplicate, and then maybe chop off some more input characters before reversing 15:16:15 I just meant that if you turn reversal into an "IP switch", and massage duplication into a control structure of some sort, you'd get a lot further. 15:16:31 yes 15:16:41 reversal can definitely be a boolean. 15:17:00 -!- cheater has quit (Ping timeout: 272 seconds). 15:17:52 it would be nice if it maintain a palindrome. 15:18:01 basically that would require reversing after each operation. 15:18:26 I mean 15:18:34 not nice because it makes it a more interesting computational model 15:18:38 nice because I like palindromes. :P 15:20:25 * kallisti good priorities in language design. 15:20:50 -!- Phantom_Hoover has quit (Remote host closed the connection). 15:25:05 -!- Phantom_Hoover has joined. 15:26:18 -!- cheater has joined. 15:29:23 the rules gnome uses to go from single monitor to two monitors is pretty stupid. 15:40:11 -!- cheater_ has joined. 15:42:07 -!- cheater has quit (Ping timeout: 260 seconds). 15:46:09 or maybe it's X? 15:46:10 I don't know. 15:50:30 Which rules are that? 15:52:02 Or 'those', perhaps. 15:52:14 -!- Frooxius has quit (Quit: ChatZilla 0.9.88-rdmsoft [XULRunner 1.9.0.17/2009122204]). 15:52:33 -!- Frooxius has joined. 15:52:53 well, when I plug in a monitor to my laptop 15:53:04 it decides that I wanted the right workspaces to be on the right monitor of the left workspace... 15:53:07 and... I don't want that. 15:53:31 I divide my workspaces via what I'm doing at the time. Why would I suddenly want everything to get shuffled around so that I have to reorganize it? 15:55:07 * kallisti doesn't have the focus to use two monitors as two different "workspaces" 15:55:13 like they seem to think I want to do. 15:55:17 I'm not sure what that means. I mean, IIRC gnome just has a set of workspaces that span the whole screen (all monitors). 15:55:25 yes it does 15:55:37 switching workspaces switches all monitors to the new workspace 15:55:43 but when you connect a new monitor 15:55:50 well, I have a 2x2 grid of workspaces 15:56:07 it takes the windows on the right workspace and moves them to the second monitor on the left workspace.... 15:56:14 ...I don't know how else to explain it, lol. 15:56:56 so I have "dick around" stuff in the top left, and job stuff on the top right. 15:57:05 Oh, okay. Well, that's pure Gnome, anyways. (I would've expected it to just change the size of the workspaces, but admittedly I haven't used a grid either.) 15:57:08 when I plug in a monitor, all of my work stuff jumps to the second monitor on my "dick around" workspace. 15:57:27 I guess I could fix that by using the bottom left workspace for work. 15:58:27 I suppose it's trying to be clever. Or alternatively just maintaining the window locations in the virtual space you get if you'd lay out the workspaces physically the way you have them configured. 15:58:43 yes that's what it's doing 15:58:45 the second one. 15:59:01 virtually each workspace is now two screens side by side. 15:59:13 -!- Taneb has quit (Ping timeout: 240 seconds). 15:59:17 you can even see this in the animation to move workspaces. 15:59:36 Well, it has a sort of consistent logic, even if it's not the sort of logic you'd like. 15:59:42 Does it then make a set of empty "right workspaces"? 15:59:50 yep. 16:00:11 so yeah I guess I'll just use the left workspaces to organize between work vs. not-work 16:00:37 though sometimes I use 3 workspaces, rarely 4 16:00:49 the 3rd one would be for school. 16:01:13 but getting my work stuff and school stuff temporarily disorganized isn't a big deal. 16:01:24 but when work + fun mixes together I end up with like 11-12 windows to sort out. :P 16:01:38 A four-high stack would work, though I suppose that'd look bad in the switcher and maybe if you navigate it in terms of up/down/left/right instead of numbers. 16:01:52 yes I use the arrow keys. 16:02:02 -!- [-away-] has changed nick to PiRSquared17. 16:02:08 -!- Taneb has joined. 16:02:23 but, I can't complain too much. previously I was only using one workspace. 16:02:34 and then I decided, hey, why don't I use this organizational feature provided to me. 16:02:39 and now it's awesome. 16:02:54 I used to have a horizontal strip 1-8 with Gnome's WM; I wonder if adding a monitor there would shuffle everything to the first half. 16:03:28 my guess is that it would take each even workspace and merge it with the previous odd one. 16:03:34 but I don't know how it works exactly. 16:04:54 it could be a special case for a horizontal length of 2. 16:05:00 ...but that seems weird. 16:06:50 I usually don't even utilize my second monitor for anything other than watching Youtube videos 16:07:10 or occasionally when I want to look at two windows at the same time. 16:07:48 I'd say the productivity boost from a second monitor is minimal at best 16:08:07 if anything it simply lets me not have to make a decision between watching movies/videos or getting work done. 16:08:18 which is a benefit in itself, I suppose. 16:09:11 but, anyway, that's enough of that. TIME TO DO MATH HOMEWORK 16:09:37 because in real life I have ARBITRARILY INDEFINITE WORKSPACES 16:10:12 and it doesn't shuffle my windows around when I plug in a second mon -- okay this analogy isn't working anymore. 16:29:17 What tmie is it in AMEREREIRERIERICA? 16:29:25 -!- maki has joined. 16:30:24 elliott: which america 16:30:27 11:30 EST 16:31:01 (EST is Real American Time(tm)) 16:31:12 It seems everybody is in EST. Confirm? 16:31:32 California is GMT-8 16:32:34 Anyway, whatever North Carolina is in, or so I hear. 16:32:48 also New York, and Georgia (where I live) 16:32:52 the only important places in the US. 16:32:55 ignore the west coast. 16:33:43 -!- augur has joined. 16:34:29 I meant, that's the timezone I care about. 16:36:54 elliott: yes me too. 16:52:59 -!- sebbu has quit (Ping timeout: 252 seconds). 16:56:39 -!- Taneb has quit (Ping timeout: 240 seconds). 16:57:05 -!- Taneb has joined. 17:00:15 I do indeed happen to be in EST. 17:00:21 mysql> delete from text where old_id in (1967,1968,1969,1970,1971,1972,8168,2165,8204,1926,1945,1950,1964,1965,8164); 17:00:21 Query OK, 15 rows affected (0.05 sec) 17:00:24 SCARY. 17:00:34 -!- Taneb has quit (Client Quit). 17:00:44 Finally the zombie namespace is purged. 17:06:32 -!- zzo38 has joined. 17:10:19 -!- sebbu has joined. 17:10:19 -!- sebbu has quit (Changing host). 17:10:19 -!- sebbu has joined. 17:13:29 i am about to say something which i know that to really learn the answers i would have to actually do some research 17:13:31 but anyway 17:14:32 HOW IS BABBY FORMED 17:15:22 i wonder how they came up with the standard instruction set as we see it today.. MOV(LOAD and STORE i guess?), CMP, ADD, SUB, MUL, DIV, INT, RET etc 17:16:31 i suppose i would learn it was an evolutionary process 17:17:03 I wanted to implement questions with text inputs in Internet Quiz Engine, but am unsure exactly the way of doing so 17:17:39 itidus20: We could also experiment with alternative instruction sets, which is sometimes done such as in esolang wiki and so on 17:18:24 zzo38: as if a community could be formed around such an absurd idea as that 17:19:18 itidus20: Take a look at the first few programmable computers' instruction sets. 17:19:25 It's been a long, slow haul from there. 17:19:30 And not all that much has changed. 17:19:30 O, you think it is like absurd idea... 17:19:38 (Basic instruction set-wise.) 17:28:28 Babbage's Analytical Engine is largely the same basic premise. 17:28:50 with wiki's help i think i found the starting point (sort of) 17:33:00 -!- sebbu2 has joined. 17:33:00 -!- sebbu2 has quit (Changing host). 17:33:00 -!- sebbu2 has joined. 17:33:04 so pascal made an adding machine, which could subtract using 9's compliment 17:33:10 -!- Phantom__Hoover has joined. 17:33:30 -!- tzxn4 has joined. 17:33:36 "followed by the invention of the first four-operation calculator by Gottfried Leibniz." 17:34:58 mysql> optimize table abuse_filter,abuse_filter_action,abuse_filter_history,abuse_filter_log,archive,category,categorylinks,change_tag,cu_changes,cu_log,external_user,externallinks,filearchive,hitcounter,image,imagelinks,interwiki,ipblocks,iwlinks,job,l10n_cache,langlinks,log_search,logging,module_deps,msg_resource,msg_resource_links,objectcache,oldimage,page,page_props,page_restrictions,pagelinks,protected_titles,querycache,querycache_info,query 17:34:58 cachetwo,recentchanges,redirect,revision,searchindex,site_stats,tag_summary,templatelinks,text,trackbacks,transcache,updatelog,uploadstash,user,user_former_groups,user_groups,user_newtalk,user_properties,valid_tag,watchlist; 17:35:00 * elliott zzzzzz 17:35:10 -!- mroman_ has joined. 17:36:15 elliott: Pff, who needs optimized tables. 17:36:54 Man, how the hell are you meant to pick a buffer pool size for MySQL? 17:37:03 -!- shachaf_ has joined. 17:37:09 hmm 17:37:11 Can't you tell it to optimize all of them in a single command? Or does it have no such things? 17:37:13 -!- coppro_ has joined. 17:37:24 -!- mroman has quit (Ping timeout: 240 seconds). 17:37:24 -!- shachaf has quit (Ping timeout: 240 seconds). 17:37:25 -!- olsner has quit (Ping timeout: 240 seconds). 17:37:25 -!- coppro has quit (Ping timeout: 240 seconds). 17:37:25 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 17:37:25 -!- tzxn3 has quit (Ping timeout: 240 seconds). 17:37:25 -!- kmc has quit (Ping timeout: 240 seconds). 17:37:26 -!- Sgeo has quit (Ping timeout: 240 seconds). 17:37:26 -!- sebbu has quit (Ping timeout: 240 seconds). 17:37:27 -!- Nisstyre has quit (Ping timeout: 240 seconds). 17:37:27 -!- rodgort has quit (Ping timeout: 240 seconds). 17:37:28 -!- Sgeo has joined. 17:37:29 zzo38: Probably, but I was too lazy to figure out how. 17:37:37 Gregor: You know things about MySQL, right??? 17:37:48 Uhh, no. 17:38:27 -!- olsner has joined. 17:38:42 Gregor: LIES. 17:38:47 i had an idea once which i have not discarded about having a computer as an ingame object akin to a potion, a sword, a key or a shield 17:38:50 -!- rodgort has joined. 17:39:06 i think this idea, while it may have been done before, is probably quite novel 17:39:20 -!- Nisstyre has joined. 17:39:26 -!- kmc has joined. 17:39:58 -!- sebbu2 has changed nick to sebbu. 17:40:02 Now, upon reading this stuff, the ideas are coming in greater number. 17:41:02 You could upgrade the computer through the course of the game, starting with a Pascaline, then a Stepped Reckoner, gradually building up to an electronic laptop 17:41:43 OK make up some game like this. 17:41:46 In an rpg you could have a player class who could operate a computer 17:41:59 s/electronic/mechanical/ 17:42:25 hmmm 17:42:32 hehe 17:43:12 I bet olsner knows about MySQL. 17:43:20 and.. when visiting an armory you could get software for use in battle. 17:44:36 I actually got this idea (unconcious plagiarism) from someone asking the naruto comic artist if he would ever put computers in the naruto world, and he said something like, well maybe 8bit 17:45:06 although i don't watch naruto, just heard in passing 17:46:39 Gregor: that sounds curiously steampunk 17:46:58 I was really just mocking your use of a moot adjective. 17:47:38 ahh.. yes 17:47:41 "Steampunk" really is just a poorly-named nostalgia for mechanical technology (having nothing more or less to do with steam than electronics does, typically). 17:48:07 TODO, http://forum.linode.com/viewtopic.php?t=8387 17:48:22 Oh no, someone said steampunk. 17:48:45 Only in mockery! 17:49:09 uh.. yeah.. only in mockery 17:49:38 Have I mentioned that I now own an ENORMOUS steampunk-styled My Little Pony: Friendship is Magic canvas bag? 17:49:44 *elliott's brain explodes* 17:49:58 It's ok. You will die before me. 17:52:07 http://www.welovefine.com/wp/wp-content/uploads/2012/01/new_bags.jpg // isn't it glorious? 17:52:27 oh dear he may be serious 17:53:13 Came with the hat X-D 17:53:39 they're wearing bronze framed goggles 17:53:44 elliott: indeed I know everything 17:53:58 mysql is an SQL database 17:54:48 olsner: No, it's a relational database for which the access language is based on SQL. 17:56:12 No. 17:56:17 MySQL does not meet the relational criteria. 17:56:40 It's a database with some aspects of the relational model for which the access language is based on SQL (which is not relational either). 17:56:53 It also wants SO MUCH RAM HOLY SHIT 17:57:48 You know, MediaWiki's Bugzilla is the only tolerable Bugzilla I have *ever* seen. 17:58:26 I thought "tolerable" and "Bugzilla" were incompatible. 17:58:36 Gregor: https://bugzilla.wikimedia.org/show_bug.cgi?id=6200 17:58:42 Gregor: The trick is that it looks absolutely nothing like Bugzilla whatsoever. 17:59:03 That's kinda funny given that it's associated with a wiki that nobody can figure out how to configure to not look like Wikipedia. 17:59:13 Even the search page is carefully styled to look like MW. It's like someone went in to try and desperately purge all traces of Bugzillatude from it. 17:59:51 @faq Can Haskell produce a MediaWiki website that doesn't look like Wikipedia? 17:59:51 The answer is: Yes! Haskell can do that. 17:59:53 http://www.haskell.org/haskellwiki/Haskell 18:00:16 (HaskellWiki is actually just ridiculously well-formatted in general: http://www.haskell.org/haskellwiki/Typeclassopedia) 18:01:02 the biggest limit in all these things is the display itself 18:01:30 elliott: Wow, is this actually MW? 18:01:56 Gregor: Yep. 18:02:10 elliott: I can't even find any evidence of MWness ... I'm impressed. 18:02:18 http://www.haskell.org/haskellwiki/index.php?title=Haskell&action=history gives it away 18:02:26 it would be great if we could all have 24" e-ink monitors for reading 18:02:30 Eeyup. 18:02:37 But yeah, it's literally *the* single non-terrible third-party MW design I've ever seen. 18:03:15 http://www.haskell.org/haskellwiki/Special:Version ;; this also gives it away :P 18:03:41 Hey, I should install SyntaxHighlight on Esolang. 18:04:02 Only if it supports Brainfuck. 18:04:07 infact i think it would be a good investment if a nations government subsidized the development and distribution of gigantic e-ink monitors which can be connected via vga port 18:04:56 VGA? Are you serious? 18:05:09 (Also: You realise governments fund research, right?) 18:05:11 hmmmm 18:05:19 ok i guess not vga >.< 18:05:39 i haven't actually held an e-ink device in person but from what i read they are just so cool 18:06:26 lol 18:07:23 maybe theres already existing e-ink devices and no need for a giant one 18:08:42 but because they're so cool.. because you can actually read books on them.. there seems to be efforts to keep them away from generalized video data 18:09:36 ....... im just gonna shut up... maybe ill be able to say something true when i return 18:10:46 itidus20: e-ink has a terrible refresh rate. 18:10:54 Many many times lower than what even simple animation requires. 18:11:05 A mouse pointer on e-ink would be awful. 18:11:09 elliott: yeah.. its like the ultimate tradeoff against a video monitor 18:11:11 It is also terrible at colour. 18:11:19 Look at Pixel Qi displays. 18:11:31 Those can do backlight-less e-inky stuff and normal display stuff. 18:11:57 hmm wow 18:12:25 Gregor: I bet you know aaaall about writing MediaWiki extensions. 18:12:50 theres actually nothing wrong with the esolangs.org look though 18:13:19 I'm not looking to change the look. Although the default skin will become Vector thanks to the MW upgrade. 18:13:23 (Vector is the skin Wikipedia uses.) 18:13:32 ooh 18:13:38 -!- maki has quit (Quit: Page closed). 18:13:49 ah yes now i remember why i brought up that topic 18:13:59 compare: http://esoteric.voxelperfect.net/wiki/Special:Version http://en.wikipedia.org/wiki/Special:Version 18:14:09 theres only so much you can do on the software side of things before you need new hardware to improve the appearance of a website 18:18:11 @ping 18:18:11 pong 18:18:16 elliott: Having written zero of them, yes. 18:18:18 @raping 18:18:18 pong 18:19:47 -!- elliott has quit (Remote host closed the connection). 18:27:32 -!- monqy has joined. 18:29:45 -!- derdon has joined. 18:35:01 -!- elliott has joined. 18:35:53 OK, why am I disconnecting and reconnecting every five minuets X_X 18:36:05 (From my BNC) 18:36:27 Each minuet taking about five minutes, I'm reconnecting every 25 minutes or so. 18:36:30 I wouldn't worry about it. Minuets can last quite a while. 18:36:33 Oh. 18:42:01 Change the default skin to whatever you want it to be. 18:42:32 what is the best default skin 18:42:36 I prefer Nostalgia skin but I could change that in the user preferences; you said it already has that. 18:43:46 the secret to a good wiki skin is that you forget the wiki has a skin at all 18:43:58 >:-) 18:44:10 oh 18:45:10 Yes, you could install SyntaxHighlight. Possibly even a new namespace to define custom syntax highlighters? 18:46:04 is syntax highlighting helpful? 18:46:24 Would there be some mode which makes it replace the > on the left of a literate Haskell code with a vertical border running on there while keeping it > at front of each line in the source of the page? 18:46:31 one may notice that textbooks tend to shirk syntax highlighting 18:46:46 you could put it down to printing costs but i doubt it's that 18:47:03 -!- calamari has joined. 18:47:06 i'm just airing bits of wisdom :D 18:47:12 yes 18:47:27 Programs such as WEB do prettyprinting of Pascal codes even in books without colors 18:48:48 hi calamari! your technical support bill will be $200 18:49:29 it may be possible that syntax highlighting is tempting when in an environment with 100s of syntaxes floating around 18:50:04 or it may be a way to make up for the fact that a monitor is a terrible way to read 18:51:32 i admit that IDEs do it 18:51:53 which is a good point in it's defence 18:51:58 But I suppose you don't really need syntax highlighting if you don't want it. 18:52:38 im just wondering whether it actually helps 18:53:32 However, you should install a addon where you have something like ... where it is raw codes like
 does in MediaWiki and then has a download link for that code; it would help with some of the stuff in esolang wiki. But there should be another thing too, download entire source such as in a literate Haskell program.
18:53:55  i guess what it helps with is searching
18:54:07  And then install  as well as my own 
18:54:17  like uh... searching the screen for a particular type of token
18:54:33  then you can invoke your ability to focus on an individual colour
18:56:54  grudgingly accepts it is helpful
18:57:57  hi
18:58:43  someone on the wiki talk page mentioned "Syntax highlighting for English/Natural language"
19:02:15  elliott: cool I just passed Go, so I can pay you .. here are $200 monopoly^Wfederal reserve notes.
19:03:54  elliott: did I cause you some wiki-headaches?
19:04:02  yes, the namespace stuff :P
19:05:11  I thought you weren't going to copy that
19:05:32  I didn't, but the page entries still got in
19:05:37  lol
19:05:45  so I had to readd the namespace, delete them, remove the namespace, and obliterate the changes from the DB
19:29:35  @ping
19:29:36  @ping
19:29:36  pong
19:29:36  @ping
19:29:36  pong
19:29:36  pong
19:29:36  @ping
19:29:37  pong
19:29:42  ok thats enough pong
19:33:35  @pink
19:33:35  pong
19:47:07 -!- oerjan has joined.
19:48:21  @tell elliott I may have tried before, you know.
19:48:22  Consider it noted.
19:55:40   I did not, however, Norwegian it <-- what, no brunost?  that's unacceptable!
20:00:04  oerjan: but i had ideas :'(
20:00:04  elliott: You have 1 new message. '/msg lambdabot @messages' to read it.
20:00:14 -!- PiRSquared17 has changed nick to Quenching.
20:00:22  @clear-
20:00:22  Messages cleared.
20:01:50  oerjan: do you want to hear them :'(
20:01:57  although they are :'(
20:01:59  in the logs :'(
20:02:35  you seem to have something in your eye.
20:03:03  its tears
20:04:08  :'(
20:04:17  tjey might even haf been
20:04:19  GOOD Ideas
20:05:01 -!- Quenching has changed nick to QueenOfFrancitiy.
20:05:44 -!- QueenOfFrancitiy has changed nick to PiRSquared17.
20:05:45 * elliott creys non-softly (hardly)
20:08:43  elliott hardly crying, check
20:09:30  oerjan: Behold, a beam is in thine own eye.
20:10:10  The Finnish version makes that somehow sound hii-larious.
20:10:55  no wonder mine eyes have been itching
20:11:05  I think they use the word "hirsi" there, it evokes this image of a three-metre ~10x10cm-profile hulking piece of wood.
20:11:17  Though so does a "beam".
20:11:28  I don't know, to me it just sounds so much more concrete in Finnish.
20:11:30  as does norwegian "bjelke"
20:12:22  y'all weird fuckers
20:12:23  :▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀(
20:12:36  (this is what finnish people actually look like)
20:12:50  elliott: well it's a mote point anyhow
20:13:30  ALAN DIPERT
20:13:33  MAKES MY HEART HURT
20:13:35  BECAUSE HE WON'T
20:13:39  UPDATE THE DNSON'T
20:13:57 -!- PiRSquared17 has left.
20:13:59 -!- PiRSquared17 has joined.
20:14:10  DNS, or DNSN'T.
20:14:13  wait, he actually refused?
20:14:34  no
20:14:40  he just hasn't responded yet
20:14:51 -!- Chef___ has joined.
20:15:16  what if hes dead
20:15:20  who will update the dnson't
20:15:54  god
20:15:56  "Tikulla silmään sitä joka vanhoja muistaa", a Finnish proverb. (It's something like "if someone's reminiscing old things, poke eir eye with a stick". I'm not sure if other languages have a version of this?)
20:16:16  (It's used in a "let bygones be bygones" like way.)
20:16:32 -!- Chef____ has joined.
20:16:35  no, only the finnish are that violent.
20:17:13  Can I adopt that idiom?
20:17:24  which one?
20:17:42  if someone's reminiscing old things, poke eir eye with a stick
20:18:41  Perhaps "reminiscing" is not the right word. It's used when you dislike the fact that someone bought up some old thing.
20:18:55  http://fi.wikiquote.org/wiki/Suomalaisia_sananlaskuja -- wow, that's one long list.
20:19:26 -!- Chef___ has quit (Ping timeout: 252 seconds).
20:19:59  the Chef appears to be steadily growing.
20:20:25  Have you plotted the length over time yet? If it's exponential, there may be a reason to worry.
20:20:37  `Awake the morning, evening snooze, it is a way to keep the house.
20:20:42  nope, you're the master plotter here
20:20:45  ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: Awake: not found
20:20:55  Eve is a celebration of legs.
20:21:00  Ella is a greedy piece of shit an end.
20:21:15  wat
20:21:16  Early bird catches the worm, but only the second mouse not cheese.
20:21:24  Each time a branch participants, as a Christmas tree hunter.
20:21:41  A shy man should not be a beautiful wife.
20:22:10  Not bad way even if it is a bit kivuttaa.
20:22:11  Einari nari, farted, and laid.
20:22:15  i suppose this would be funnier if i knew the originals for more than one of them
20:22:29  Fish do not get a man if the man fish.
20:22:53  elliott: Wow, that "Eve is a celebration of legs". There's "jaloin", the superlative of "jalo"; "most noble", basically. But it's also some plural inflected form of "jalka", a leg.
20:23:07  oerjan: It is, I assure you.
20:23:27  fizzie: Is "greedy piece of shit" an accurate translation?
20:25:05  Not oo child itkemätöntä katkeematonta and fabric.
20:25:05  Doctrine does not crash into a ditch.
20:25:05  Not a beard-growing evil, turpajouhet nonsense.
20:25:05  Not crap weighing heal.
20:25:15  That's a lot of lying, which is half of lying.
20:25:17  elliott: It's not even about any "greedy Ella". The word is "ahneella", i.e. adessive case of "ahne", "of [in this case] the greedy". I can't fathom how it has split that to "ahne ella".
20:25:40  elliott: Anyway, it's something like "The greedy ones have a shitty fate".
20:25:48  At least it got the curse right. :p
20:25:57 * elliott isn't sure hew ants to know what the farted and laid one is.
20:26:00  *he wants
20:27:11  Not on tenterhooks sauna.
20:27:21  elliott: I don't know what "nari" means there, but other than that it's pretty accurate like that.
20:27:52  I mean, I don't know what it means in the original.
20:28:02  Do not u bitch u get into an argument and not a piece of wood.
20:28:19  ("Ei yks akka riitele eikä yks puu pala.")
20:28:20  it's nary a word
20:28:56  It literally says "Einari nari, pieri ja pani". I guess it's from the onomatopoeic "nari-nari", for which I don't know the exact English. It's probably related to "snare", though.
20:29:08  Do not Lick before they are hatched.
20:29:48  Selg ikke skinnet før bjørnen er skutt.
20:30:20  The "bitch" one is "a single woman/bitch won't fight, and a single [block of] wood won't burn". The 'akka' word is not quite a neutral "woman", but not quite the English "bitch" either.
20:30:30  'hag'
20:30:33  Yes.
20:30:39  You Finns are... lovely people.
20:30:41  Well, at least more yes.
20:31:04  Attic'd bread, but the kids ate the stairs.
20:31:13  Practice makes perfect.
20:31:13  continued: ... and the receiver of sulfur is training.
20:31:28  The last word dude man.
20:31:47  The Lord's body, even if the clothes are bad.
20:32:02  Silent hill.
20:32:14  the hills are quiet.  too quiet.
20:32:21  elliott: That's "practice makes a master ... and the master does training too", approximately.
20:32:28  Again, said the Teletubby.
20:32:36  , At a great distance.
20:32:36  continued ... evil even further.
20:32:40  monqy: are these real
20:32:46  Sinks in the carbon monoxide in the head.
20:32:50  yes
20:32:50  wow they are
20:32:53  It has again split [mestari] [-kin] inappropriately as [mesta] [rikin] or something, since 'rikki' is sulfur.
20:32:57  fizzie: you... must explain monqy's
20:33:21  elliott: Which one of them? 
20:33:29  all
20:33:30  all of them
20:33:34  :'(
20:33:35  i must know
20:33:49  elliott: The "again, said the Teletubby" is just "again, said the Teletubby".
20:33:56  They do say "again" a lot.
20:34:06  is that a finnish proverb
20:34:14  It's a modern one.
20:34:22  ancient finnish teletubbies
20:34:47  "Det er bare en overgang", sa reven, han ble flådd.
20:34:58  elliott: I'm having some trouble locating the originals to the rest.
20:35:26  Oh, I found one.
20:35:35  fizzie: Just translate it in Chrome
20:35:38  Ctrl+F the English
20:35:42  Hover over to get the Finlandish
20:36:29  "Sinks in the carbon monoxide in the head" -> "uppoaa kuin häkä päähän": that's... well, "[something] sinks in, just like carbon monoxide to the head".
20:37:03  I'm a bit puzzled that fizzie is unable to read sentences in his native language.
20:37:23  There, speak of the devil, there's stomach where the wrestling is.
20:37:54  "The last word dude man" is "the last word from a manly guy" or some-such.
20:38:47  "Attic'd bread, but the kids ate the stairs" is just "there would be bread in the attic, but [we can't get there because] the kids ate the stairs". The part in [] is sort of implied.
20:39:43  And "Do not Lick before they are hatched" is "do not lick before it falls off"; it's a bit like "do not count your chickens before they're hatched", I suppose GT has just gotten the second half from there.
20:40:06  Except it doesn't really make sense.
20:40:49  Since (in case of e.g. ice cream) you'd be better off getting in a lick or two if it's going to fall off anyway.
20:40:49  Rotates as a fart leather pants.
20:40:50  Rotates as a fart in the Sahara.
20:41:18  Those are pretty accurate. Except it's not really "rotates", it's more like "runs around".
20:41:24  fizzie: "it drops" rather than "it falls off": to drop :: tipahtaa : drop :: tippa.
20:41:42  (Okay, :: tippua, but meh)
20:42:34  fizzie: Do Finns know what a proverb is?
20:42:37  It's not a sentence fragment.
20:43:08  1. (3) proverb, adage, saw, byword -- (a condensed but memorable saying embodying some important fact of experience that is taken as true by many people)
20:43:26  Squirrel is correct that the cone is covered with ice
20:43:53  does this embody some important fact of experience for finns
20:44:03  finnish squirrels are often correct
20:44:41  monqy: "It serves the squirrel right that the cone's covered with ice."
20:44:50  (pinecone)
20:44:53  Right.
20:45:18  Well, now is a dick on his forehead
20:45:35  Deewiant: Also I think it's "A : B :: C : D" and not "A :: B : C :: D".
20:45:53  fizzie: Meh, it's just syntax.
20:46:20  monqy: That's close enough. Note that there's an explanation below.
20:46:35  Når skaren bærer en mann ved Sankthans, blir det en sen vår.
20:46:36  the explanation doesn't make sense either
20:46:54  monqy: Well, you can't have everything.
20:47:00  does finnish culture make sense to finns
20:47:05  (The explanation is "At one job or project consists of hard to solve or insurmountable problems, the person responsible for the eyebrows go crispy stage".)
20:47:16  i honestly find your cavalier acceptance of this nonsense incomprehensible
20:47:35  elliott: well as the italians say, traditore traduttore
20:47:58  ("Until we have sex robots, we'll just have to settle for pasta.")
20:48:07  (Italian is a concise language.)
20:48:44  sorry, *traduttore, traditore
20:49:17  Is that then "We'll just have to settle for pasta, until we have sex robots"? 
20:49:30  ("Unlike my alien grandson, I have plenty feathers for the mathematicians to ruffle.")
20:49:39  Italian is weird.
20:49:46  Says the speaker of Finnish.
20:50:43  fizzie: i can assure you that elliott's translations are entirely appropriate to the original meaning.
20:51:11  Quite a lot of these "proverbs" I hadn't heard before, and I get accused by friends of spouting all kinds of weirdo sayings all the time.
20:51:31  Granny fucked in the snow, and mother-in-law.
20:51:36  On the other hand, I think my things aren't on the list.
20:51:40  fizzie: Well, you know what they say. Never trust a dog with your telephone.
20:51:42  (i'm only slightly joking)
20:52:59  monqy: That's actually just "Granny in the snow, and mother-in-law in pee". Except the "in pee" bit may also mean "in trouble".
20:53:00  En klokke i hånden er bedre enn tiur på taket
20:53:08  fizzie: what
20:53:10  There's no "fucked" anywhere in there.
20:53:43  Well, except I guess "I'm fucked" can also mean "I'm in trouble".
20:53:48  So it sort-of makes sense that way.
20:55:03  As for ending, kaksikymmentäneljätuntiaikakausitämänhetkinen ever.
20:55:07  fizzie: ??????
20:55:28  '??????'?
20:55:37  what does i tmean
20:56:02  I never know what you tmean at any t.
20:56:09  i mean
20:56:12  what does that proverb mean
20:57:36  The kaksikymmentäneljätuntiaikakausitämänhetkinen one? I suppose it's just something indescribable. Maybe Deewiant can put it in words.
21:00:30  i get the feeling that
21:00:32  i cannot fool fizzie :'9
21:00:34  :'(
21:00:48  I get the feeling that I just used a cop-out.
21:00:52  ISTR you coming up with that compound with oklopol's help.
21:01:17  Yes, but I didn't want to say anything that boring.
21:01:23  I mean, it was referred to today and all.
21:02:14  Deewiant: I'm glad you recognise it as a compound
21:02:17  As opposed to, say, a jumble
21:02:35  Twentyfourhourtimeperiodcurrent.
21:02:41  I should have named the server kaksikymmentäneljätuntiaikakausitämänhetkinen.
21:02:51  fizzie: Yes. "Today", in other words!
21:02:55  Other, inferior words.
21:07:52  I've updated my hats list! WHOAAAAH
21:09:20 -!- quintopi1 has joined.
21:09:28 -!- oerjan_ has joined.
21:09:31 -!- quintopia has quit (Ping timeout: 260 seconds).
21:09:31 -!- oerjan has quit (Ping timeout: 260 seconds).
21:09:46  wtf
21:10:06  You caught the _-bug.
21:10:58  we're so proud of you
21:11:06 -!- oerjan_ has changed nick to oerjan.
21:11:12  fizzie: did you hear, btw, oerjan_ says you have a moral imperative to op me as the new wiki admin
21:11:18  oerjan will now deny this but he is not oerjan_
21:11:27  i dispense only facts
21:11:35  oerjan_ is of no consequence whatsoever.
21:12:16  um excuse me
21:12:21  if you do /nick oerjan_
21:12:25  you will find yourself able to use chanserv op actions
21:12:28  therefore he is an authority
21:13:01 -!- oerjan has changed nick to eviloverlord.
21:13:16  *eviloerjanlord
21:13:22  excellent
21:13:23  eviloverlord: op me
21:13:23 -!- ChanServ has set channel mode: +o eviloverlord.
21:13:30  thanks, that's step 1 of 2
21:13:35  step 2 is /op elliott
21:13:41 -!- eviloverlord has set channel mode: -o eviloverlord.
21:13:45  no you typo'd
21:13:46  So close
21:13:47  start again
21:13:48 -!- eviloverlord has changed nick to oerjan.
21:13:51  it's difficult sometimes
21:13:52  oh no
21:13:54  you're really bad at typing
21:15:05 -!- oerjan has quit (Quit: Lost terminal).
21:15:08  see
21:15:11  this is what happens
21:15:15  fizzie: you don't want that, do you?
21:18:17  I... think I disbelief.
21:18:53  fizzie: JUST LIKE OERJAN DID, NO?
21:19:39  Q.Logic.D.
21:20:52  I don't know, I SINGLE-HANDEDLY (well... double-handedly) solve the spam problem, upgrade MW, *and* grace you with badly-translated Finnish pronouns.
21:20:57  WHAT MORE COULD YOU POSSIBLY WANT FROM ME
21:22:17 -!- Taneb has joined.
21:22:35  Hello!
21:22:44 * elliott takes Taneb hostage.
21:22:50  Oh dear god
21:22:55  What's going on?
21:23:09  An op-grab, I think.
21:23:18  Or an attempt, anyway.
21:23:31  Kill me, it will simplify the situation
21:23:39  Remember the lessons from Speed!
21:23:44  Eliminate the hostage!
21:24:01  fizzie: Will you feel scared if I kill Taneb as I did oerjan?
21:24:06  Also, it's, like, totally not even grabbing.
21:24:07  Only lesson from Speed I remember is that buses can jump incredibly well even without any ramps.
21:24:12  The hierarchy goes like this:
21:24:18  Incredibly benevolent active spam-fighting wiki owner
21:24:20            |
21:24:25  IRC op thingies
21:24:28            |
21:24:37        everyone else
21:24:39            |
21:24:42        kallisti
21:24:58  Where do Phantom__Hoover's targets fit on here?
21:25:02  So really I've just ascended and the caching engine in the propagate-downwards stuff is clogged up a bit with confusion.
21:25:05 -!- quintopi1 has changed nick to quintopia.
21:25:08  Taneb: They're a few miles to the right.
21:25:14 -!- quintopia has quit (Changing host).
21:25:14 -!- quintopia has joined.
21:25:21  fizzie: Am I being convincing yet?
21:25:35  am i everyone else
21:25:38  I'm an op on #esoteric-chess-variants
21:25:43  Does this count for anything?
21:25:59  That actually counts for less than nothing.
21:26:21  But it keeps some irrelevant topics out of the channel
21:26:26 -!- azaq23 has joined.
21:26:54  Which is surely a good thing
21:27:03  @tell oerjan What if I modified the wiki so that it was impossible to add entries to the language list, deadfish implementations, hello world implementations, etc. lists that were not in correct alphabetical order?
21:27:03  Consider it noted.
21:27:06  It also means kallisti says slightly less htings
21:27:09  @ask oerjan What *then*?
21:27:09  Consider it noted.
21:27:22  @tell oerjan Surely any reasonable person who is you would find this convincing.
21:27:22  Consider it noted.
21:28:11 -!- elliott has changed nick to elliott_.
21:32:53  are there any self-inverse functions, continuous almost everywhere, with the entire reals as domain, besides f(x)=+-x and f(0)=0,f(x!=0)=+-k/x?
21:33:46  only on sundays
21:34:53 -!- oerjan has joined.
21:35:29  Gregor: why didn't my losing connection show up in the logs?
21:35:30  oerjan: You have 3 new messages. '/msg lambdabot @messages' to read them.
21:35:35  @messages
21:35:35  elliott said 8m 32s ago: What if I modified the wiki so that it was impossible to add entries to the language list, deadfish implementations, hello world implementations, etc. lists that were not in
21:35:35  correct alphabetical order?
21:35:36  elliott asked 8m 26s ago: What *then*?
21:35:36  elliott said 8m 12s ago: Surely any reasonable person who is you would find this convincing.
21:35:43  elliott_: tempting
21:36:00  oerjan: You say that, but then I'll do it.
21:36:02  And what THEN?
21:36:29  although i should point out the order of the language list is not entirely charset based.
21:36:33  oerjan: Excellent question >_>
21:37:01  oerjan: hmm, how is it ordered?
21:37:37  elliott_: sometimes by 1337 = leet
21:38:05  and the genuinely non-alphabetic ones are first, of course
21:38:30  oerjan: Well 1337 as leet is stupid.
21:38:33  elliott_: will you tell me tomorrow what they are?
21:38:43  quintopia: No, the proof is classical.
21:39:18  Whee, my school's Linux system has X forwarding
21:39:19  where can i find it?
21:39:22  What fun things can I play with?
21:39:45  quintopia: The existence proof of the proof is also classical.
21:39:50  Sgeo: The 1980s.
21:39:56  Gregor: also, my nick change from eviloverlord back to oerjan was not shown, although i might of course have lost some connection by then...
21:40:08  You didn't.
21:40:09  although i hadn't noticed myself
21:40:16  elliott_: i prefer the romantic period anyway.
21:40:23  They have Firefox installed on her
21:40:24  here
21:40:46  It's taking a while
21:40:54 * Sgeo Ctrl-Cs
21:41:23  oerjan: It's the fact that that nick change was lost that caused the quit to be lost.
21:41:28  It somehow broke in its nick tracking.
21:41:46  oerjan: What if I just implement that sortable-and-filterable-by-computational-class-and-implementation-status-and-so-on automatically-updated language list, and then categorise every uncategorised page on the wiki?
21:42:46  Gregor: aha
21:43:26  Come on, that's like Christmas.
21:43:35  elliott_: i suppose that would be nice, although i've sometimes been thinking the language list should allow short descriptions...
21:43:51 -!- Taneb has quit (Quit: Leaving).
21:44:01  oerjan: It could quote the first sentence as the second line of each "row".
21:44:06  (Perhaps togglable.)
21:44:39  oh well
21:44:53  oerjan: How is that "oh well" that's like the bestest thing ever.
21:45:30  :'(
21:46:04  i have a limited capability for awe, sorry
21:46:49  i'm pretty sure it's been deteriorating lately.
21:47:06  It would also make you lutefisk.
21:49:15  ARE YOU EVEN A NORWEGIAN HOW CAN YOU NOT REACT TO THAT
21:49:55  trying to force me to give opinions decreases the probability of succeeding by at least 90%.
21:50:11  Lutefisk-hater. :(
21:52:11 * elliott_ is going to sleep soon.
21:52:18  before esolangs.org even points properly :(
22:13:36  http://esoteric.voxelperfect.net/wiki/John_Horton_Conway grrr this should use an interwiki
22:15:03  oerjan: god nit
22:15:04  elliott_: if you mean [[Wikipedia:*]] links, i dislike the fact they look like local links rather than external ones
22:15:13  it's "wikipedia" lowercase
22:15:24  and i don't care if you don't like it :P especially since they _do_ display differently
22:15:28  meanwhile
22:15:29  god nit
22:16:24  i was pretty sure they didn't last i checked.
22:16:48  maybe in the latest mw versions...
22:18:12 -!- elliott_ has quit (Read error: Operation timed out).
22:19:28  argh the new pages list cannot give more than the first 7 new pages :(
22:20:50 -!- ais523 has joined.
22:22:33  @tell i just looked at the [[wikipedia:complex number]] you added to Excela and it _does_ show identical to a local link.  i hope that has changed in recent versions then.
22:22:33  Consider it noted.
22:22:36  argh
22:22:42  @tell elliott i just looked at the [[wikipedia:complex number]] you added to Excela and it _does_ show identical to a local link.  i hope that has changed in recent versions then.
22:22:42  Consider it noted.
22:22:51  @nick i
22:22:51  Maybe you meant: dice dict
22:22:54  oerjan: it's a slightly different shade of blue, IIRC
22:25:02  rather insignificantly so.  also it doesn't change color when visited, which is blasphemy.
22:31:33 -!- shachaf_ has quit (Quit: !).
22:31:39 -!- shachaf has joined.
22:36:11  There's some sort of a "roses are red" poem waiting in the default blue/purple/red link colours.
22:38:26  Deadlinks are red, new content is blue, all my links are purple; I've read it all thru.
22:38:52  hi
22:38:55  hi
22:39:03  hi
22:39:46  Hydroelectric power
22:42:52  quintopia: What about just something like f(x) = {x+1 if floor(x) is even; x-1 otherwise} and its obvious relatives? 
22:43:42  ooh
22:44:23  oerjan: E was looking for involutions, I think. (I didn't really read much of the surroundings.)
22:50:31  hm basically you can divide R into infinitely many intervals and treat all interiors as separate copies of R
22:52:06  (for other obvious relatives)
22:55:46  A sort-of-like-that relative would be, I think, f(x) = { x, if x is integer; floor(x)+1-(x-floor(x)) otherwise }. (I assume the one that'd just have the "otherwise" case and try to "flip" the whole [k,k+1)-for-integer-k intervals might hit some problems.)
22:58:41  oh and something more obviously global: if g is any homeomorphism then g . f . g^{-1} is another function of this type
22:59:21  anyone here like reading court transcripts where the judge is pointing out how absurd a lawsuit is? http://www.groklaw.net/pdf3/OraGoogle-719-5.pdf
22:59:58  it's from Apple v. Motorola, where Apple are talking about how they allege that Motorola infringed a patent for detecting whether the user is trying to swipe vertically on a touchscreen or not
23:00:20  and the judge is trying to point out that it doesn't really make sense to claim damages from that as the infringement isn't likely to make differences to sales either way
23:03:38  that method btw gives a large class of functions that are continuous everywhere, not just almost
23:05:04  hm well you have to start with something like f(x) = -x
23:10:10  I would be interested in an interesting example. (Which is almost a tautology, I suppose.)
23:11:13  What're you doing?
23:12:44  g(x) = x^3, er no that just gives -x back...
23:14:41  Phantom__Hoover: R -> R involutions that are continuous almost everywhere, and also something else than f(x) = +-x and f(x) = { 0, if x = 0; +-k/x otherwise }, was the original question.
23:14:52  g(x) = (x+1)^3  gives  (2 - x^(1/3))^3
23:15:54 -!- ais523_ has joined.
23:16:18 -!- PiRSquared17 has changed nick to [-away-].
23:16:24 -!- ais523 has quit (Disconnected by services).
23:16:26 -!- ais523_ has changed nick to ais523.
23:18:59  i'm sure there's some transcendental homeomorphism...
23:20:45 -!- cheater_ has quit (Ping timeout: 260 seconds).
23:24:04 -!- augur has quit (Remote host closed the connection).
23:25:33  i cannot recall any particularly nice ones though
23:26:31  oerjan: Values of x < 0 of that are complex.
23:27:02  Claims WA.
23:27:04  Which is weird.
23:27:22  fizzie: well it's not taking the real branch, then...
23:27:38 -!- tzxn4 has quit (Read error: Connection reset by peer).
23:27:56  Seems so, but I don't see why, since it is doing a single cube root.
23:28:09  I'd sort of assume that if you had to pick one.
23:28:10  exp(-exp(x)) maps R to (0,1), where you can use something like sin x / sin 1, then move back with ln(-ln(x))
23:28:51  I guess it's just the lowest-angle root that it chooses.
23:29:06  Or the "first" in that sense.
23:29:37  Since it says (-1)^(1/3) is e^(i*pi/3).
23:30:25  oerjan: Oh, also the mind-bending new thing about W|A was that you can now also pay $5/month to use it, if you want.
23:30:44  "Wolfram|Alpha Pro gives you a whole new way to interact with Wolfram|Alpha—and immediate access to new, more personal, computational knowledge. Introductory price, only $4.99/month."
23:30:48  Also there's a free trial.
23:31:09  So the "next big step" equals money.
23:32:16   i'm sure there's some transcendental homeomorphism...
23:32:27  Transcendental homeomorphisms, maaan.
23:32:33  (Well, okay, it also lets you upload files now. Then it does stuff to them.)
23:32:37  What are transcendental homeomorphisms anyway.
23:32:51  Wait homeomorphisms on R are just continuous bijections aren't they.
23:34:46  yes.
23:35:21  (the continuity of the inverse is automatic in this case, iirc)
23:36:25  I can see a trivial proof by vague diagram, which I understand is the standard in topology.
23:37:23  for R^n it isn't quite so trivial, but still true by the invariance of domain theorem.
23:37:30  Bah, I can't figure out how to get the real branch. There's some obsoleted Miscellaneous`RealOnly` package, and the "usual solution" (according to some forum guy) of DeleteCases[Solve[x^3 == n, x], { Rule[_, _Complex] }, 2] (how obvious).
23:38:14  fancy.
23:38:46  That doesn't even return a number but some symbolic { x ->  } list. And anyway W|A is not quite Mathematica.
23:39:49  Phantom__Hoover: for R it might help to realize these functions have to be monotonic
23:40:03  Yes, that's the gist of the proof by vague diagram.
23:40:30  The vague diagram is two axes with a wavy diagonal line.
23:41:40  Well, "solve x^3 = -1, reals" works, but if I add "reals" it just finds "x = 8" because that solves (2 - x^(1/3))^3 = 0. If I explicitly add also "plot", the cube root reverts to the usual one.
23:41:53  If this is computational knowledge, I don't think I want any part of it.
23:42:29  it's "we know better than you what you mean" knowledge
23:42:46  and it surrounds us all.
23:42:50  Wait, what're you trying to plot?
23:43:04  (2 - x^(1/3))^3
23:43:25  That, but with x^(1/3) returning the real (negative) result for x < 0.
23:43:58  fizzie: something like sgn(x)*(abs(x))^(1/3), perhaps?
23:44:23  oerjan: Clever, it works.
23:44:45  yay
23:45:26  You get one "successfully cheated at W|A" point.
23:45:39  ^celebrate
23:45:39   \o| |o| |o/  \m/ \m/  |o/ \o/ \o|  \m/ \m/  \o| |o| |o/
23:45:39    |   |   |    `\o/´    |   |   |    `\o/´    |   |   |
23:45:40   /`\  >\ /´\     |     /'\ /`\ /|      |      >\  |\  |\
23:45:40                  /'\                (_|¯`\
23:45:40                (_| |_)                   |_)
23:46:23  Also I tried to click on the small "enable interactivity" icon, but that's a "Pro" feature.
23:47:30  But if you put in your $5 you get to choose a color scheme.
23:48:01  Maybe they'll buy a site license at the university.
23:48:22  "Use this soft keyboard to input mathematical and other symbols to make your formulas look just the way they do in books."
23:48:31  Imagine, just the way they do in books.
23:49:57  As an example someone's written "∫ sin(2 π θ) / (cos(π θ) + 2)". (I used the rather cheaper character map dealie.)
23:50:34  is the soft keyboard lemon or almond taste?
23:52:06  What's this "tones.wolfram.com".
23:52:12  Apparently it's "a new kind of music".
23:52:37  @quote intermittantly
23:52:38  sclv says: You have a problem and think "I'll use a hash function." Now you have intermittantly colliding problems.
23:52:40  I suppose it's when you play back 1D CA logs.
23:52:56  \o/
23:52:56     ¦
23:52:57    ´¸¨
23:56:16 -!- Chef____ has quit (Remote host closed the connection).