00:01:15 fizzie: Do you know the TRUE MEANING OF EMPLOYMENT?????? 00:02:19 -!- epicmonkey has quit (Ping timeout: 246 seconds). 00:04:17 EMPLOYMENT IS SLAVERY. WAR IS PEACE. CHEESE IS FUNGUS. 00:04:20 -!- sirdancealot8 has quit (Ping timeout: 252 seconds). 00:06:09 all is fungus 00:06:58 There is no fungus. There is only Zuul. 00:07:08 är det inte fungal olsner som sitter där borta 00:08:50 http://www.woodland-ways.co.uk/buy-online-gatekeeper-guide-to-common-fungi-598.html 00:08:58 -!- nooodl has quit (Ping timeout: 246 seconds). 00:15:04 er det ikke en sopp-oerjan som sitter der? 00:15:29 * oerjan wonders if olsner is too young for the reference. 00:15:38 which reference? 00:15:44 right. 00:16:07 * elliott wonders what the reference is. 00:18:17 a swedish sketch from 1958 00:18:30 I am indeed younger than 1958 00:18:40 so am i. 00:18:45 was the sketch even invented back then? 00:18:58 apparently so. 00:19:05 was sweden even invented then 00:19:28 http://www.youtube.com/watch?v=Rv-WDb2HSbQ 00:23:11 * oerjan sees "ester" mentioned in the related sidebar, recalls that was funny too. (if you understand swedish. and can imagine a time without cell phones.) 00:25:14 esther is a name in english too 00:25:34 sure, it's biblical 00:26:14 (that 00:26:29 's not relevant to the sketch, though. afair.) 00:27:11 is the sketch about how phones are new and people don't really know how to use them? 00:28:00 no, the whole plot just doesn't make sense if the people could have called each other in advance, is all :P 00:43:29 oerjan, is that mocking the swedish in some way 00:44:09 the swedish as such? no. 00:44:25 is it mocking a swede then 00:44:48 yes. 00:44:54 approve! 00:45:22 -!- jfischoff has joined. 00:46:28 -!- sirdancealot8 has joined. 00:52:59 -!- monqy has joined. 00:54:00 -!- Nisstyre has quit (Quit: Leaving). 00:54:45 -!- Nisstyre has joined. 00:59:11 -!- sirdancealot has quit (Remote host closed the connection). 01:03:06 -!- Phantom_Hoover has quit (Remote host closed the connection). 01:25:38 -!- pikhq has joined. 01:48:55 -!- sebbu2 has joined. 01:51:09 -!- sebbu has quit (Ping timeout: 246 seconds). 02:26:54 -!- TodPunk has joined. 02:51:57 http://www.floppytable.com/ 02:52:02 if this were a real floppy disk it would hold... 75 MB 02:59:15 -!- sebbu2 has changed nick to sebbu. 02:59:52 there aren't any scaling issues? 03:05:29 well you need a pretty big scale for it, i'd say 03:15:10 "The parsing process in reentrant. Usually the source doesn't change during parsing, but in HTML, script tags containing document.write can add extra tokens, so the parsing process actually modifies the input." 03:15:39 How is document.write changing the input to the parser during parsing? 03:15:57 Isn't it during javascript execution? Unless that can happen concurrently with parsing 03:26:42 document.lol 03:27:09 -!- oerjan has quit (Quit: leaving). 03:27:15 "www.liceo.edu.mx is an example of a site that achieves a level of nesting of about 1500 tags, all from a bunch of s. We will only allow at most 20 nested tags of the same type before just ignoring them all together." 03:27:48 "Support for really broken html. We never close the body tag, since some stupid web pages close it before the actual end of the doc. Let's rely on the end() call to close things." 03:31:05 have you not tried html scraping before? (if so I recommend continuing that course of inaction) 03:31:26 -!- jfischoff has quit (Quit: jfischoff). 03:35:21 http://thedailywtf.com/Articles/Strong-Web-Design.aspx 03:36:38 i've used python's BeautifulSoup in the past for web scraping; it is pretty reasonable 03:37:06 yeah, but i mean, nobody writes conforming html, there's always a bunch of stupid edge cases 03:37:24 and: the dprk's website is now all flash-based. :( 03:37:25 i think in the future for any really complicated scraping i will use PhantomJS to launch a real (headless) webkit browser and execute jQuery code in the page's context 03:37:42 ...why does that sound reasonable 03:37:54 Does the w3c write conforming html? 03:38:07 this way you can interact with the real client javascript, all kinds of ajaxy things will work right, etc 03:38:31 lemme put it this way, sgeo. http://validator.w3.org/check?uri=google.com 03:38:43 actually some ajaxy sites are really easy to scrape because you can just make those same queries and get nice json 03:39:18 i like this school of webapp design where you implement an API, and then you serve an entirely static blob of HTML/CSS/JavaScript which is just one of many clients that can talk to that API 03:40:20 sounds good to me 03:42:37 http://validator.w3.org/check?uri=http%3A%2F%2Fwww.w3.org&charset=%28detect+automatically%29&doctype=Inline&group=0&user-agent=W3C_Validator%2F1.3 03:43:49 you have penetrated my exaggeration 04:01:44 -!- jfischoff has joined. 04:09:22 Whelp, looks like I can still read Finnish about as well as I've ever been able to. 04:09:49 I know what "ei" and "se" and "mitä" mean. And "tietää" looks familiar. 04:10:32 Here we go, it's "to know (superficially)". 04:15:10 Mies, Haluan oppia puhumaan suomea. Minusta se näyttää todella siistiä. 04:15:32 Luulen vain pitää oppia joukko sanastoa, ja ehkä myös joitakin kieliopin kun olen sitä. 04:15:46 -!- Arc_Koen has quit (Quit: Arc_Koen). 04:17:03 Tai voisin keksiä omia sanojani, kuten "tarvuolenti". 04:17:26 "Tarvuolenti" tekisi hieno suomalainen sana. 04:17:43 Laajamittainen kissanpentu dynamiikkaa. 04:40:22 error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or ‘__attribute__’ before ‘asm’ 04:51:04 -!- pikhq has quit (Ping timeout: 252 seconds). 04:51:30 -!- pikhq has joined. 04:52:09 OK, USPS changed a package's expected delivery date to November 28th… today. That is, they changed the expected delivery date to today, today. Well after it would have been delivered. Bad estimation there, USPS. 04:52:25 USPS tracking is a joke 04:52:43 was the package delivered today? 04:52:45 usually it goes from "we have no knowledge your package exists" straight to "your package was delivered two days ago" 04:59:28 Bike: No. 05:00:09 shame 05:19:25 -!- copumpkin has quit (Ping timeout: 260 seconds). 05:19:57 -!- copumpkin has joined. 05:41:51 -!- jfischoff has quit (Quit: jfischoff). 06:00:51 -!- jfischoff has joined. 06:05:06 -!- FreeFull has quit. 06:21:23 -!- oklopol has quit (Read error: Connection reset by peer). 06:21:41 -!- oklopol has joined. 06:29:16 -!- jfischoff has quit (Quit: jfischoff). 07:12:12 Sgeo__: update? 07:12:24 Fiora, oh right, forgot sorry 07:12:33 monqy, elliott you too 07:12:43 monqy: hi 07:12:45 elliott elliott elliott elliott elliott 08:01:33 -!- Bike has quit (Quit: leaving). 08:22:52 -!- nooga has joined. 08:26:35 Trying to define an operation that fits this I forget what it's called: 08:26:46 multiplication : addition :: addition : ? 08:26:56 Currently playing with ln(e^a + e^b) = a ? b 08:27:06 a ? a = a + ln 2 08:27:14 What I would like is a ? a = a + 2 08:28:50 a ? 0 > 0 08:29:00 (A property of the current definition) 08:29:33 Multiplication is repeated addition, addition is repeated successor. 08:30:08 Was hoping for a more binary operator 08:32:00 a 08:32:19 how about a suc b = a + 1 08:33:06 * Sgeo__ glares. One less .. trivial. 08:36:21 well i'm stumped 08:37:53 I think that my current definition of ? is on some sort of track 08:38:12 After all, it is doing an addition operation of some sort when a repeated value is given 08:39:26 -!- Arc_Koen has joined. 08:40:14 And a ? 0 > 0 seems like a reasonable property for it to have, since presumably repeated 0 ? should be 0 + a positive 08:45:51 -!- Phantom_Hoover has joined. 08:54:33 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds). 08:58:54 https://dl.dropbox.com/u/113389132/Misc/20121129-weather.png oh yes that looks very promising. 09:04:32 I thought of a cheap hack 09:05:22 a ? b = ln(((e^2)/2)(e^a) + ((e^2)/2)(e^b)) 09:05:28 Feels like cheating though 09:06:14 And I still have no idea whether the bloody thing is associative 09:06:24 -!- jix has quit (Ping timeout: 250 seconds). 09:08:42 n*a ? n*a = a + somefunction(n) 09:09:08 Where somefunction is a fixed function that I'm too lazy to work out what it is now 09:09:49 Wait, that can't possibly work, I think 09:10:13 And by "can't possibly work", I mean "I'm wrong" 09:10:32 n * 0 ? n * 0 surely should be the same for all n 09:10:55 Yeah, hasty thinking about the na thing 09:11:11 fizzie: why the graph? 09:11:25 -!- epicmonkey has joined. 09:11:31 you love graphs don't you 09:12:08 -!- Phantom_Hoover has joined. 09:13:16 oklopol: It wasn't *my* graph, it was just stolen from Foreca. 09:13:20 But yes, yes I do. 09:13:49 i find them a bit.... two-dimensional 09:14:33 * Sgeo__ throws oklofok into a mathematical space capabable of describing all IRC activity ever across all of time as a single point. 09:14:38 Is that enough dimensions for you? 09:14:58 -!- TodPunk has quit (Read error: Connection reset by peer). 09:15:26 You can describe all IRC activity ever across all of time as a single real number; I mean, it's just a string. 09:15:53 obviously the underlying field was finite here. 09:15:57 Was beginning to realize that :/ 09:16:51 Sgeo__ was referring to the vector space F^Z for a finite field F 09:17:15 he is just being modest 09:17:43 woohoo i managed to delete 15gb of shit from my hd. 09:17:56 my os is on a 50 gb flash drive thingie whatever 09:18:32 -!- TodPunk has joined. 09:18:48 and i've never realized this but many things in windows are hard-coded to use that particular drive (well you can change them one by one in the registry for some things). 09:19:20 I think SSDs should be called QUANTUM DRIVES. 09:19:23 so the drive was like 80% full right away. 09:19:50 i just realized almost half of that was taken up by windows.old, which is just an old installation of windows that is used for nothing. 09:20:18 the reason i didn't realize that in the 1.5 years i've had this computer is of course that you can't make win7 show you folder sizes 09:21:03 all the user data is inexplicably stored on the os drive 09:22:03 also many shitty programs (like chrome) install on the os drive without asking you. 09:22:12 28G archive/hut/lktm/ 09:22:15 This is the directory holding stuff about a book authorship machine classification thing we did as a project exercise for T-61.5020 Statistical Natural Language Processing. 09:22:22 One day I should perhaps clean it up. 09:22:34 what kind of an asshole fucking world-rapist doesn't ask you where you wanna install the program? 09:24:42 also how in hell does everything get fucked up if i just *move* a folder, windows knows where i moved it so why can't it just automatically ask if i wanna make a link there so everything works as before!?!?!? 09:25:07 i don't get why everything having to do with computers has to be a piece of shit 09:25:58 well i kind of do get that, it's because programming is so fucking annoying you get bored of doing things right after a few thousand lines of code. 09:26:10 but i love to complain anyways, i guess i'm just a romantic 09:26:55 fizzie: so how's that going for ya? 09:27:13 could you download arxiv and run your classifier on it? 09:27:27 I don't think I "wanna". 09:27:57 Also, I haven't touched the thing since 2008, I'm sure it's rotted away by now. 09:28:00 are you making fun of my typing impediment 09:28:19 also we have some coauthored papers, could we use your thing to check which one actually wrote them? 09:29:13 also i didn't go to work today so i can move. i've been watching himym and ircing. 09:29:14 I suppose, but it's not the good thing. There are several other things around that are better things. 09:29:45 and those more good things that are better things, are those things objectively good things? 09:31:08 I think so, yes. There are papers about those things, whereas our thing was just done for this course and has some dubious design choices. We've on-and-off talked about making a good thing out of it, but it's never happened. 09:31:13 and didn't you run this sorta thing on the #esoteric logs? 09:31:29 I did run it, and it was this same thing. 09:31:38 Or maybe it was something slightly different. 09:31:41 and didn't you run this sorta thing on the #esoteric logs with names changed to the guesses on the right? 09:31:47 erm 09:31:48 ... 09:31:53 let me try that again :D 09:32:16 could you make a thing where you have #eso logs on the left and logs with names changed to the guesses on the right? 09:32:29 I think I made a confusion matrix of it. 09:32:31 $ ls archive/hut/lktm/data/irc 09:32:31 ais523 augur ehird GregorR oerjan psygnisfive 09:32:31 AnMaster conversation_lengths.txt fizzie lament oklopol SimonRC 09:32:31 asiekierka Deewiant fungot MikeRiley pikhq Slereah 09:32:31 fizzie: if these are befunge-93 as they likely are, that may be handy 09:32:37 It certainly looks #esoteric-y. 09:33:06 * augur murders fizzie 09:33:17 augur: you skype messaged me the other day 09:33:20 :! 09:33:27 oklopol: yes i did 09:33:33 what of it 09:33:44 nothing, random observation. 09:34:04 ./lktm/doc/figures/girls_on_top.png 09:34:04 ./lktm/doc/figures/boys_on_top.png 09:34:11 These file names are somehow suspicious. 09:34:42 Yes, they should probably be .jpg. 09:35:14 :! was supposed to be a smiley equivalent to the previous sentence having an exclamation mark but it doesn't really look like that. 09:35:41 Deewiant: https://dl.dropbox.com/u/113389132/Misc/boys_on_top.png https://dl.dropbox.com/u/113389132/Misc/girls_on_top.png They don't mean anything, but they sure look pretty, right? 09:36:20 They actually look kind of jpeggy even though they're PNGs. 09:36:38 am i supposed to see something other than 404 09:36:45 oh 09:36:54 i copied both links as the url. 09:37:11 Deewiant: Maybe it's that marker/hex shape, it's kind of crummy. 09:37:18 fizzie: Yes, I think so. 09:37:30 what's that thing? 09:37:39 It's the U-matrix. 09:37:49 Well, the U-matrix with markers on top. 09:38:01 me matrix? wow thanks :) 09:38:34 The U-matrix is the average distance between one node and its neighbours. 09:38:46 fizzie: speaking of you and i being best friends, did i ever mentioned me and my ex discussed having you as the only guest in our wedding 09:38:46 It's a SOM thing. 09:38:53 *mention 09:39:07 You didn't, and that's kind of weird. 09:39:20 :D 09:39:52 that may be true. 09:40:24 (As for the plots, the blue markers are boys, the red markers are girls, and the green markers are other things.) 09:44:02 if it helps, it's not (only??) because we were hopelessly in love with you but because you were suitably disconnected yet physically reachable and much less mystical, ethereal and dangerous than Deewiant. 09:45:00 I'm mystical, ethereal, and dangerous? 09:45:03 totally 09:45:08 Okay. 09:45:08 do you disagree 09:45:18 I don't have much of an opinion. 09:46:15 Hey I found the confusion matrix, it's at http://zem.fi/~fis/esoconf.png and it's really boring. 09:46:38 It was for some easy classification task and it actually wasn't the same thing as that thing. 09:47:21 well dunno about dangerous, but i find it easier to believe fizzie has a physical essence, perhaps because he has mentioned being in places more. 09:48:45 fizzie: so what about those guess-who-said-it logs? 09:49:12 I don't know, it kind of sounds like work. 09:49:16 also how about an irc client that guesses who said each thing 09:49:27 The game version of it has been suggested a couple of times too. 09:50:12 well is there a version of the program you can send key-value pairs to and when you send a new value it guesses a key based on it? i could write a mirc script to do this then. 09:52:17 The thing as written is an offline thing, you train it with a batch of data. (And individual-line accuracy would be a bit poor, the features are simple statistics and not anything very discriminative.) 09:52:37 ic 09:53:05 you train it with half of what x says and query the other half in one batch or something? 09:53:45 or how can individual-line accuracy be poor if the confusion matrix says i'm never confused with anyone 09:54:02 i guess if someone says "okay" it's a bit hard to tell who it is 09:54:36 I think that plot was with 10-fold cross-validation; train with 9/10s of the data and test with the remaining tenth. 09:54:51 And then average over all ten cases. 09:55:31 i see 09:55:45 is the algo something explainable? 09:56:36 The LKTM thing was a SOM thing, while the esoconf thing was really just a garden-variety SVM classifier. 09:57:13 http://xn--nxa.zem.fi/~fis/esoconfnf.png is a version which apparently used as test material bunched 2000-message snippets, which already makes the statistics far more variable. 09:58:11 except for vorpal and me 09:58:41 we're special 09:58:45 http://p.zem.fi/esomap-feats the features; there's nothing really tuned for personal identification 09:58:56 and sgeo 09:59:07 and i guess alise 09:59:13 http://xn--nxa.zem.fi/~fis/esomap34n.png how the cross-validation sets look like when projected to 2d. 09:59:34 Why all these subdomains 10:01:34 how can i be close to Deewiant 10:02:03 or does that mean anything since we're not intersecting 10:02:35 i guess vorpal and fizzie win according to that graph 10:02:41 Deewiant: Not for any particular reason. I thought I'd make the paste site URLs "p.zem.fi/X" as opposed to "zem.fi/p/X" for some reason, and β is the dynamic-IP web server laptop at home, I keep all space-wasting useless stuff /~fis/ stuff there since zem.fi doesn't have too much disk space. 10:02:44 that projection i mean 10:03:30 oklopol: It is a projection from 60 dimensions to 2, so some of the apparent overlaps could really be quite illusionary. 10:04:09 does png support 60-dimensional pictures? 10:04:28 I don't think it does. 10:04:40 I bet JPEG does. 10:04:48 just 2d? that's a bit arbitrary 10:05:12 JPEG is, if I remember correctly, ridiculously general. 10:05:39 Maximum JPEG image size is 65535x65535, that's not very general. 10:05:54 :-( 10:06:31 TIFF is, if I recall correctly, also quite general. 10:06:38 TIFF implementations, on the other hand, could be anything but. 10:08:27 (I'd like to know what the "34n" means in the file name of that plot.) 10:09:04 There's also esomap, esomapf, esomapn and esomapnz. 10:09:18 And esomap-comp. 11:10:42 -!- atehwa has quit (Read error: Operation timed out). 11:13:07 -!- atehwa has joined. 11:39:35 -!- monqy has quit (Quit: hello). 12:52:37 -!- nooodl has joined. 12:57:28 -!- nooodl has quit (Ping timeout: 246 seconds). 13:33:26 -!- jix has joined. 13:36:49 -!- heroux has quit (Ping timeout: 265 seconds). 13:38:13 -!- heroux has joined. 13:46:28 -!- shachaf has quit (Ping timeout: 246 seconds). 13:46:51 -!- lambdabot has quit (Ping timeout: 260 seconds). 13:46:54 -!- myndzi has quit (Ping timeout: 240 seconds). 13:47:40 -!- shachaf has joined. 13:54:42 -!- myndzi has joined. 13:56:56 -!- boily has joined. 14:02:49 -!- boily has quit (Quit: Poulet!). 14:39:20 -!- oonbotti has joined. 15:15:13 -!- ais523 has joined. 15:15:44 fizzie: maybe there's an answer to your question among this material. anyway i haven't any information about this magic value while giving it a quick read http://www.awaresystems.be/imaging/tiff/faq.html#q3 15:16:08 -!- hagb4rd2 has changed nick to hagb4rd. 15:23:21 I don't think the "34n" in my "esomap34n.png" PNG file name has anything to do with the TIFF specification, to be honest. 15:28:43 -!- boily has joined. 15:29:49 -!- carado has joined. 15:41:02 fizzie: how do i get irssi to ping me even if my nick isn't at the start of a sentence 15:41:25 I guess /hilight elliott would work, but ew. 15:41:29 (And would that catch, e.g. elliott_?) 15:44:38 yes 15:45:00 it will also catch blablahblahelliottblahblahblah 15:45:06 I guess that works. 15:50:56 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 15:54:09 -!- nooodl has joined. 16:04:54 -!- Mathnerd314 has joined. 16:14:37 A manual /hilight is I think what people generally do. 16:17:39 If they want to customize, that is, since the default hilight_nick_matches can't really be configurated. 16:19:55 so, does Nile count as an esolang? since nobody outside of VPRI has ever heard of it? or is it just obscure? 16:21:48 Which reminds me, I should probably /hilight -level QUITS -mask fungot!*@* so that I'd notice that better. If it works. 16:21:49 fizzie: am i allowed to ask: no. you can patternmatch out the ones you mentioned, and also... check out something like " this subset gives row 3 an 8, 16, 32, 64 ( ordinary machine words). 16:25:28 -!- lambdabot has joined. 16:29:32 -!- jix has quit (Read error: Operation timed out). 16:49:50 -!- atriq has joined. 16:51:08 -!- kulymas has joined. 16:51:56 hi? 16:52:12 Hey! 16:52:17 `welcome kulymas 16:52:29 kulymas: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 16:53:30 and this is what happens when I click random stuff on mirc.. lol 16:54:09 sounds interesting :} 16:55:01 -!- jix has joined. 16:55:31 Yeah, an esoteric programming language is like a programming language written to be weird in some way 16:55:35 Not useful, but weird 16:57:44 but it could be useful in illuding authorities rright? 16:58:03 Not saying they can't be useful 16:58:06 fungot 16:58:08 atriq: to provably shortest possible equivalent code. the css may be a lot of modality in the source and sink of all of the 16:58:17 That bot is written in an esoteric programming language 16:58:19 ^source 16:58:19 http://git.zem.fi/fungot/blob/HEAD:/fungot.b98 16:58:55 fungot, can esoteric programming languages be useful in eluding authorities? 16:58:55 atriq: then you just continue the pattern ( ( f text-formatter) name))? 17:00:08 so pretty much like encryption? 17:00:24 ...probably not 17:00:44 More like "here's a stupid idea for a programming language, let's push it to the max!" 17:01:48 are there any video games that are programed like this? 17:03:24 Hmm, I don't know 17:03:26 Wait 17:03:38 There was an interactive fiction game in brainfuck 17:04:39 sounds cool :} 17:05:00 I'd love to speak brainfuck 17:07:08 thanks for the info, I'll come back to this another day. For now, back to java 17:07:42 -!- kulymas has left. 17:10:37 -!- atriq has quit (*.net *.split). 17:10:39 -!- Arc_Koen has quit (*.net *.split). 17:10:39 -!- nortti has quit (*.net *.split). 17:10:45 -!- nortti has joined. 17:11:03 -!- atriq has joined. 17:14:54 -!- pikhq_ has joined. 17:18:15 -!- pikhq has quit (Ping timeout: 250 seconds). 17:18:27 -!- Arc_Koen has joined. 17:19:06 the reeeeeeeeplicators 17:19:21 Not the reeeeeeeeeeplicators! 17:19:59 and not even a single clicking sound all episode 17:26:30 fizzie: Why do mentions of my nick in the middle of a line highlight the nick of the person who wrote it differently? :( 17:28:00 -!- FreeFull has joined. 17:28:11 hello mroman 17:28:39 could you tell me what language the interpreter at http://esolangs.org/wiki/MIX is written in? 17:28:59 Arc_Koen, Python, it looks like 17:29:09 thank you 17:29:22 also, what is the counter, what is the index, and what is mix? 17:29:50 I'm assuming the counter is an instruction pointer that you can modify from flow control 17:30:08 and I'm assuming the index is some kind of data pointer 17:30:27 but there doesn't seem to be a way to access that data 17:30:44 elliott: hi 17:30:49 hello elliott 17:30:53 hmm 17:31:26 hello elliott 17:31:30 good 17:31:47 test elliott 17:32:28 17:31:57 * hackagebot MemoTrie 0.6.1 - Trie-based memo functions http://hackage.haskell.org/package/MemoTrie-0.6.1 (ConalElliott) 17:32:31 this line highlights me now :( 17:33:01 ConalElliott: Like elliott, but shaped like a cone! 17:33:53 atriq: Hey, can you do /me test elliotttest 17:33:57 -!- nooodl has quit (Ping timeout: 246 seconds). 17:34:08 * quintopia test testelliott 17:34:14 * quintopia test eliotttest 17:35:06 right 17:35:07 ok hmm 17:35:41 oh well 17:36:16 you only want to match on \ right 17:36:37 not really 17:36:44 this behaviour is mostly acceptable since "elliott_:" 17:37:03 just annoying that it highlights weirdly for /mes 17:37:12 (highlights my nick rather than the nick of the person saying it, unlike normal messages) 17:37:44 i see the same, got used to it 17:38:30 at least irssi is behaving mostly usably now 17:43:25 -!- augur has quit (Remote host closed the connection). 17:43:29 i use the \ type matching in irssi. it works fine. matches in every context that someone uses my full name 17:57:08 elliott: You can give flags (-nick, -word or -line) that control what the hilight looks like. I think -nick should hilight the speaker's name. But I'm not terribly sure; maybe it no work for /me, since -nick is the default anyway. 17:57:52 fizzie: I set -nick and it didn't show that it was -nick in the /hilight list 17:57:58 so I assumed it dropped it because it's "default" 18:12:08 -!- Frooxius_ has quit (Read error: Connection reset by peer). 18:12:09 -!- Frooxius has joined. 18:12:59 -!- AnotherTest has joined. 18:13:06 Hello 18:17:36 -!- oklopol has quit (Ping timeout: 264 seconds). 18:19:39 -!- augur has joined. 18:26:25 -!- Frooxius has quit (Quit: ChatZilla 0.9.89-rdmsoft [XULRunner 1.9.0.17/2009122204]). 18:26:36 -!- Frooxius has joined. 18:32:45 -!- nooodl has joined. 19:31:47 https://dl.dropbox.com/u/113389132/Misc/poirot-wtf.png BUT WHAT DOES IT MEAN 19:32:31 Oh, maybe it means Wednesday-Thursday-Friday, as my wife suggests. 19:32:57 I'm presuming "CHELSEAN" means Chelsea, roughly 19:33:18 It's "of Chelsea" in this case. 19:33:22 It could also be "Chelsea's". 19:33:34 The second word, I have no idea 19:33:41 cuckanately 19:33:43 Flower show. 19:33:54 -!- AnotherTest has quit (Quit: Leaving.). 19:33:55 Oh, that explains that 19:34:23 Maybe "flower exhibition" is closer. 19:34:39 Nah, the Chelsea Flower Show is a thing 19:39:39 -!- ais523_ has joined. 19:39:46 -!- ais523 has quit (Disconnected by services). 19:39:48 -!- ais523_ has changed nick to ais523. 19:39:48 For context, YLE (the Finnish national broadcast company) is showing 38 first episodes of the David Suchet Poirot TV show, two/weekend. 19:40:20 He was leaning out his window 19:40:31 To see if the bread was being made 19:41:39 Yes, that happened too. 19:41:55 Though it was already some weeks ago. 19:42:56 The TV adaptations seem to switch things around quite a bit. I think this Chelsea Flower Show thing was originally a Marple story. 19:43:32 ...that's the only Poirot ending I know 19:43:46 My gran always flicks because she's seen them before 19:44:42 -!- Phantom_Hoover has quit (Ping timeout: 250 seconds). 19:45:02 I've seen these before a long enough time ago that I don't remember them; but I've reread them more recently. At least there's the "let's see how much they changed" element of surprise, though. 19:45:16 -!- Phantom_Hoover has joined. 19:47:43 elliott, did you start the fortress yet? 19:47:55 atriq: no 19:47:58 ping me later at night and I will 19:48:06 it is night! 19:48:10 no 19:48:13 it is evening 19:48:13 But later at night I'll be asleep! 19:48:25 well that is your fault 19:48:37 atriq, god man get with `the program' 19:49:05 never go to sleep the day before you intend to wake up 19:49:24 i feel as if Phantom_Hoover is mocking me 19:50:23 i'm still not confident that you actually sleep 19:52:49 elliott sleeps on a cycle of weeks, not hours 19:53:00 The lion sleeps tonight. 19:53:12 fizzie, but that's in the jungle! 19:53:20 much like elliott! 19:55:36 Good point 20:02:30 -!- ais523 has quit (Ping timeout: 264 seconds). 20:04:24 hey elliott is it night yet 20:04:46 -!- ais523 has joined. 20:05:21 no 20:06:08 You heard him, ais523 20:06:46 get out 20:06:54 we don't want your sort here any more 20:08:09 random thought: befunge with the additional constraint that instructions that have already been executed are treated as no-ops 20:08:31 sub-tc, i think 20:08:37 so you'd have to replicate using g and p or something 20:08:44 muriel is tc isn't it? 20:08:56 too much overhead in befunge's case though 20:09:02 Consider that it takes at least one step to write one cell 20:09:05 I've seen a Befunge-93 program which replicated itself six times 20:09:13 well it did have intern loops to do that replication 20:09:18 you can manage a 1:1 ratio per tick at most 20:09:20 -!- epicmonkey has quit (Ping timeout: 246 seconds). 20:09:27 yeah ok that's a pretty good argument 20:09:35 So, as that's the ABSOLUTE MAXIMUM 20:09:51 You're going to be destroying instructions faster than you can generate them 20:10:14 soon there'll be a negative amount of instructions! 20:10:44 -!- quintopia has quit (Ping timeout: 265 seconds). 20:10:58 ok so I've got to think about another way to limit flow control 20:11:24 that would make self-modification necessary and not just as data storage 20:11:54 wait, I actually wonder how Befunge can ever be tc 20:12:04 if the size of integers on the stack is bounded 20:12:25 then p and g can only access cells which are in the boundaries 20:12:38 even if you take the 80*25 limitation out 20:12:50 well I guess I should take a better look at funge-98 20:13:06 (but not before sheppard saves the galaxy once or twice) 20:13:23 because it has control flow other than p and g? 20:13:33 also it's shepard, and are you playing mass effect? 20:13:38 has it 20:13:40 nope 20:13:40 don't play mass effect, only pain and misery awaits 20:13:51 was talking about stargate 20:13:59 man 20:14:06 popular name for galaxy savers 20:15:00 last sg-1 episode they flied to atlantis, blew up a wraith ship, accidentally destroying an invincible ori ship from the other galaxy in the process 20:15:32 -!- nooga has quit (Quit: Lost terminal). 20:15:43 that's gotta be a supervillain team-down or something 20:16:09 and then last atlantis episode there were REPLICATORS 20:16:19 it's so great my lines have started to sync! 20:16:29 or not... 20:16:45 -!- quintopia has joined. 20:32:56 -!- Bike has joined. 20:42:59 -!- ais523 has quit. 20:50:03 -!- oerjan has joined. 20:53:48 -!- Vorpal has joined. 20:54:16 * oerjan just realized a simple solution for broken html in websites 20:54:38 care about sharing it with us? 20:54:44 all we have to do is convince google to, like, halve their page rank. 20:55:08 *poof* nearly all get corrected. 20:55:23 does google pass html validator? 20:55:30 no f idea 20:56:12 Hahaha 20:56:14 Brilliant. 20:56:33 nortti: nope. 21:09:09 -!- rapido has joined. 21:10:57 I've invoked the wrath of the mathematicians with the following esoteric statement: "let's get rid of zero!" 21:11:13 see: http://scientopia.org/blogs/goodmath/2012/11/27/lets-get-rid-of-zero/ 21:11:29 rapido: that's yours? 21:11:33 yes 21:11:34 -!- ChanServ has set channel mode: +o oerjan. 21:11:35 oh i remember you 21:11:38 -!- oerjan has kicked rapido rapido. 21:11:46 -!- oerjan has set channel mode: -o oerjan. 21:11:51 * Phantom_Hoover applauds 21:13:52 «An Account is balanced when Debit and Credit are equal. Such a balanced Account can be interpreted as (being in the equivalence class of) a zero but we won’t.» beautiful 21:17:12 what's the history here 21:18:01 idiot invents new number system, acts like he's fixed some glaring flaw in arithmetic 21:18:15 it's like brainfuck derivatives in many ways 21:19:11 no i mean what did rapido do here before 21:19:27 if being a crackpot were a crime in #esoteric then surely the channel would be empty 21:19:36 `pastlog rapido 21:20:10 2011-04-20.txt:21:50:49: and you define a function that takes x^x - it is still finite - but slow 21:20:43 nice 21:22:35 `pastelog rapido 21:22:44 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.20529 21:23:21 -!- ChanServ has set channel mode: +o oerjan. 21:23:30 -!- oerjan has set channel mode: -o oerjan. 21:23:56 i demand oerjan remains op 21:24:01 « pikhq: i don't see it as a problem - i see it as a opportunity» i like this guy a lot 21:27:13 Goodness, that guy was fun. Terrible, but fun. 21:27:31 -!- rapido has joined. 21:27:39 yay 21:27:50 other topic 21:29:23 .nl... isn't that swedish 21:29:32 ...no. 21:29:43 anyone ever considered the factoradic number system? 21:29:50 does it have 0 21:30:23 Phantom_Hoover: dutch 21:30:31 ah 21:30:41 rapido: depends what you mean by factoradic 21:30:41 oh, .nu is swedish? 21:31:01 Phantom_Hoover: it's a swedish word. the domain is nauru in the pacific, iirc 21:32:11 oh niue actually 21:32:12 i'm a Dutch finitist: all this started with Brouwer of course 21:32:49 of course lazy evaluation if not very finitist 21:33:21 s/if/is/ 21:34:41 well lazy evaluation is approximately codata, codata is constructive, does that mean it's also finitist? 21:35:08 oerjan: hmm, but what about lazy infinite lists? 21:35:31 -!- jfischoff has joined. 21:35:43 i'm still struggling with the evaluation model 21:35:44 rapido: that's codata. you can ask to get any finite index, and that can be finite to compute. 21:36:22 yeah, i read about that - i don't really grasp it 21:36:40 thus it's bullshit, amirite? 21:36:58 codata means you can always go one level deeper in finite time, or approximately so. 21:37:05 oerjan: well if you are finitist enough then the set of indices is finite. 21:37:14 OKAY 21:37:32 oerjan: that wasn't a joke... 21:37:38 i know 21:37:40 i think codata are actually streams 21:37:42 see: http://www.cs.ox.ac.uk/ralf.hinze/publications/CEFP09.pdf 21:37:54 is that a correct assumption? 21:37:55 more like streams are a type of codata... 21:39:44 Phantom_Hoover: "thus it's bullshit, amirite?" - no, i didn't give it the thought that it needs 21:40:29 elliott: i'm all for stream algebras: how do they match with codata? 21:41:55 -!- Bike has quit (Quit: Lost terminal). 21:42:02 or are codata more general than streams? 21:42:06 i hope he finds it 21:42:29 an infinite binary tree is also codata, for example 21:43:08 -!- Bike has joined. 21:45:54 oerjan: a stream of ever growing binary trees? 21:46:52 i guess you could encode it that way. 21:47:14 -!- Bike has quit (Read error: Connection reset by peer). 21:47:29 -!- Bike has joined. 21:48:30 there's probably always a way to encode things as a stream if you make the encoding convoluted enough. 21:49:19 big ass power outage in my neighborhood 21:49:28 the power went out at work and everyone was like "... guess i'll go home now" 21:50:13 anyone willing to give me an esoteric idea on a number system that really rocks? 21:50:16 the lights are going out all over new lancaster 21:50:38 kmc may not see them lit in our time 21:50:40 rapido: like using pi or e as the base? 21:51:16 something like that yes! 21:51:32 something like that except not boring 21:51:46 factorial numbers have a mixed base 21:51:57 still boring 21:52:14 -!- Bike has quit (Ping timeout: 265 seconds). 21:52:18 so numbers are boring? 21:52:24 yes 21:52:43 -!- Bike has joined. 21:53:07 Base Ulysses S Grant 21:53:22 base goedel 21:54:11 aha, getting more interesting 21:54:31 quater-imaginary's pretty neat, though probably old hat in the doubtless thriving Weird Number Representations community 21:55:08 base e^ipi 21:55:25 Phantom_Hoover, been done 21:55:41 > exp (0 :+ pi) 21:55:43 (-1.0) :+ 1.2246467991473532e-16 21:55:52 thought so. 21:56:11 shouldn't have needed to calculate it, in fact. 21:56:27 octonions with an quartenion base and beyond! 21:57:17 sedenions are the future 21:57:18 (i'll drop the exclamation marks, they look silly) 21:58:21 i prefer the 32ions because they are totally algebraically uninteresting 21:58:49 yeah, they look rather not working 21:59:05 but they aren't power associative, so i don't think using them as radices would work well (ha) 21:59:25 Bike: that's a good one! 21:59:39 they form a non-associative semicategory 21:59:41 oops, exclamation mark - sorry 22:00:11 what's a good one 22:00:24 "but they aren't power associative, so i don't think using them as radices would work well (ha)" 22:00:32 ok 22:02:02 kmc, wait 22:02:03 wait 22:02:10 they don't even form a category 22:02:11 wow 22:03:27 challenge: come up with a structure that doesn't form a category (VERY HARD) 22:03:45 elliott, Stonehenge? 22:03:46 your brain? 22:03:59 rapido, dude what do you think dendrites are 22:04:25 what are the arrows of the category of dendrites 22:04:44 Thoughts about arrows 22:05:35 oh wow whoops i was almost taking this seriously for a second. 22:06:04 About 80% of what I say is intended as a joke 22:06:10 Including that, and this. 22:06:32 gosh. 22:07:52 the joke language that takes itself seriously for 80% 22:14:06 oi elliott 22:14:12 is it later tonight yet 22:16:48 not quite 22:16:49 but approaching it 22:18:47 -!- carado has quit (Ping timeout: 246 seconds). 22:24:46 -!- monqy has joined. 22:25:12 monqy: hi 22:25:52 hello 22:28:19 -!- augur has quit (Remote host closed the connection). 22:32:16 Y'know what I "love"? 22:32:20 When umount blocks for no reason. 22:32:44 monqy, tell elliott to start the succession game 22:32:58 pikhq_, there are certain parameters to it that may help you 22:33:06 pikhq_, also I presume you checked lsof? 22:33:21 (or fuser, whichever you prefer) 22:33:25 Yes. 22:33:44 elliott: have you still not started the succession game.... 22:33:45 pikhq_, try umount -r ? 22:34:20 or umount -f if it is a network filesystem 22:34:41 pikhq_, also umount -l might work for you 22:34:54 -!- atriq has quit (Ping timeout: 264 seconds). 22:34:59 monqy, you could join in! 22:35:11 before you say you have no idea how to play df: neither does elliott! 22:35:28 elliott seems to have more of an idea than i do!! 22:35:55 yes but elliott is also a total idiot! 22:37:34 I already asked monqy to join 22:37:35 but he didn't 22:38:28 monqy: watch rw play muie 22:38:52 how fast does it grind to a halt 22:39:23 as in memory leakage wise 22:41:09 what is muie? 22:42:09 Phantom_Hoover: mummy ice elementalist 22:42:17 monqy: it has limited memory use so it just GC-pauses 22:42:18 and gets slower 22:42:25 monqy: ok watch 22:43:45 expert musu play here 22:44:25 monqy: have you guessed the AI rule 22:44:27 hint: it's simpler than it looks 22:44:42 it's sort of hard with how often it pauses 22:45:11 monqy: should i spoil it 22:50:10 -!- boily has quit (Quit: Poulet!). 22:53:36 boily chickens out again 22:59:37 -!- augur has joined. 23:03:33 -!- sebbu2 has joined. 23:05:33 -!- sebbu has quit (Ping timeout: 245 seconds). 23:11:10 elliott in an hour it will be tomorrow morning 23:11:23 LIES 23:11:35 it's about 23 hours. 23:11:43 wait, 24. 23:12:00 that's norwegian tomorrow morning 23:12:10 time relatively flies when you're having fun 23:12:39 Phantom_Hoover: that's what night means 23:13:21 no you bastard i have to be up for 9 tomorrow 23:13:25 -!- hagb4rd2 has joined. 23:13:35 that's your problem 23:13:42 Phantom_Hoover: btw i'm thinking of banning dfhack use :,) 23:13:51 -!- hagb4rd has quit (Read error: Operation timed out). 23:14:00 oh well then i shall make sure not to use it 23:14:15 what if i disable the command line or something 23:14:32 Phantom_Hoover: what if i force you to termcast the terminal running dfhcak 23:14:34 *dfhack 23:14:38 and monitor you 23:14:42 and if you type in any commands 23:14:45 i make a new brainfuck derivative 23:14:50 what about digv! 23:15:06 di(cheat)g(ing)v 23:16:19 what about 23:16:22 catsplosion 23:16:37 -!- rapido has quit (Quit: rapido). 23:17:00 PH 23:17:03 this is why you cannot be trusted 23:23:16 im trustworthy! 23:34:49 -!- Vorpal has quit (Read error: Operation timed out). 23:46:25 -!- nooodl has quit (Ping timeout: 246 seconds). 23:58:26 "In Mascarpone, an interpreter is a map that takes symbols to operations, and an operation is a sequence of symbols that is given meaning by some interpreter. 23:58:26 Of course, this is a circular definition, but that doesn't seem unreasonable" 23:58:37 well Ocaml doesn't seem to agree 23:59:37 circular type? just add a datatype definition for symbol i assume...