00:00:23 how does a fractional base work 00:00:47 * Rugxulo is surprised no one here likes ETA 00:02:12 -!- uorygl has quit (Ping timeout: 260 seconds). 00:03:13 http://esoteric.voxelperfect.net/wiki/Ultimate_bf_instruction_minimalization! 00:03:17 Rugxulo: clearly it's too easy to read, with all those common letters 00:04:45 calamari: you use digits from 0 up to ceiling(base-1) 00:05:55 okay how would I express 3 in base 2.5? 00:06:21 -!- augur has quit (Ping timeout: 245 seconds). 00:06:22 um 00:07:21 10. then whatever 0.5 becomes... 00:08:27 there may be ambiguities, making the most significant digits as high as possible (greedy) is one consistent way 00:09:05 http://en.wikipedia.org/wiki/Golden_ratio_base 00:10:50 -!- Rugxulo has quit (Quit: dinner). 00:11:05 * oerjan didn't know that terminated for integers 00:11:23 -!- oklopol has joined. 00:11:35 okokokokokoko 00:11:36 okokokoko 00:11:39 okokokokokokokokoko 00:11:42 oko 00:12:06 in my summer job i will be trying to break a world record knuth once held 00:13:25 ooo 00:13:30 (h) 00:13:34 o oko o 00:13:56 i'll be aiming for 12, his was 96 00:14:56 calamari: afaict that "standard form" is the same as greedy 00:15:15 (all the substitutions increase the most significant digit) 00:15:52 -!- uorygl has joined. 00:15:55 topic? 00:15:56 night 00:16:01 of conversation not channel 00:16:06 http://en.wikipedia.org/wiki/Golden_ratio_base 00:16:46 surprisingly integers have finite forms 00:19:01 okay cool stuff 00:19:05 calamari: oh, 1.0000... and 0.1010101... are both the same number, so standard form is ambiguous 00:19:17 the first one being the greedy one 00:23:15 -!- augur has joined. 00:24:11 -!- oerjan has quit (Quit: Must... rest... hands...). 00:27:11 -!- cheater2 has quit (Ping timeout: 240 seconds). 00:31:21 -!- augur has quit (Ping timeout: 245 seconds). 00:36:11 -!- nooga has joined. 00:36:23 meh 00:37:13 -!- augur has joined. 00:37:21 can BFS be implemented using recursive function instead of queue? 00:38:04 okay 3 in base 2.5 is approximately 10.10111000011012 00:40:05 -!- Gracenotes has joined. 00:40:43 i think this is quite interesting question 00:42:03 -!- augur has quit (Ping timeout: 240 seconds). 00:44:08 -!- oklopol has quit (Ping timeout: 240 seconds). 00:55:20 -!- cheater2 has joined. 00:55:26 you could encrypt a text by converting it to base 1.x where x is the key.. the result would still be 0's and 1's, so could be easily saved as binary 01:07:40 -!- coppro has joined. 01:12:59 `translate une langue étrangère aussi 01:13:01 as a foreign language 01:13:27 "I can use as a foreign language"? 01:13:36 `translate Je peux utiliser une langue étrangère aussi 01:13:39 I can use a foreign language also 01:13:44 Aha. 01:38:10 -!- sshc has joined. 01:40:51 -!- jix has quit (Ping timeout: 252 seconds). 01:41:11 Ninjatoiminta. 01:43:12 "Ninjatoiminta"? 01:43:14 ... ? 01:44:03 Is Esperanto considered a foreign language? 01:46:25 It's not a domestic language, so yes. 01:47:01 There's several domestic languages considered "foreign". 01:47:11 For instance, American Sign Language is considered foreign in the US. 01:47:26 It is? 01:47:30 Yes. 01:47:30 How foreign. 01:48:11 In spite of it being used by pretty much every deaf person in the US. 01:54:16 It looks like one could say that in Finnish, ü = y. 01:54:26 -!- sshc has quit (Remote host closed the connection). 01:54:37 Since ä is to a as ö is to o as y is to u. 01:55:54 Eh, Finnish is just Japanese stuck through a bizarre cipher. :P 01:57:33 * uorygl learns the difference between /ø/ and /y/. 01:58:01 /ø/ is to /e/ as /y/ is to /i/: the former of each pair is the rounded version of the latter. 01:59:33 And all of Finnish's consonants are easy for an English speaker, except, of course, for /r/. 01:59:39 Stupid trills. 02:36:54 -!- Mathnerd314 has joined. 02:55:14 -!- lament has joined. 03:15:35 uorygl, today's Freefall has a .. different .. drawing style 03:18:51 Indeed. 03:26:06 Pulverised Coal Injection System??? 03:44:56 -!- augur has joined. 03:58:23 -!- poiuy_qwert has joined. 04:02:29 -!- Oranjer has left (?). 05:03:34 -!- augur has quit (Remote host closed the connection). 05:04:06 -!- augur has joined. 05:29:44 Question from my final exam [which I took, I'm not cheating]: 05:30:03 "The function of a compile or interpreter is to translate the specified source code to machine code." 05:30:14 I put False, and the correct answer is supposedly True 05:34:06 -!- SgeoN1 has joined. 05:37:52 Ultimately the machine always runs machine code, so arguably that's true. 05:38:44 I think something is broken with my expectations of what's easy to read and what's hard to read. 05:39:04 ja.wikipedia.org is easy reading for me. 05:39:12 I would *not* have expected that. At all. 05:43:46 Gregor-L: Alternative argument: interpret the question as "the function of a compiler or [the function of an] interpreter is to ..." 05:44:20 Heh 05:44:30 In which case, the answer is "compiler" :P 05:45:30 But compilers don't have to compile to machine code 05:46:10 Yes, well, you can't expect them to care about fine distinctions like that. 05:48:31 It also only says "a compiler", not "all compilers" 05:49:22 WHY THE HELL IS WIKIPEDIA EASY READING IN A FOREIGN LANGUAGE 05:52:19 Sure you didn't choose simple Japanese? 05:53:07 Absolutely positive. 05:54:10 I get the strong feeling I'm just getting decent at grokking Japanese's word construction or *something*. 05:54:23 (Japanese is *quite* a synthetic language) 05:57:00 Also, there does not exist a Simple Japanese Wikipedia. 05:57:36 -!- oerjan has joined. 05:59:49 pikhq, why are you reading in simple english then? 05:59:58 AnMaster: I am not. 06:00:03 oh? 06:00:08 well what are you doing then 06:00:25 Reading ja.wikipedia.org 06:00:38 oh 06:00:43 I miread it 06:00:46 not fully awake 06:00:52 yet 06:01:09 `translate toiminta 06:01:11 action 06:01:20 what language is it? 06:01:41 finnish i presume 06:01:51 `translatefromto fi en toiminta 06:01:53 action 06:02:47 pikhq, also sometimes sv.wikipedia.org at least is a lot simpler written than the same en article 06:02:53 also it is often a stub 06:03:02 `translatefromto en sv action 06:03:04 åtgärder 06:03:06 ... 06:03:11 Gregor-L, fail at that script 06:03:18 AnMaster: Japanese's Wikipedia is *absurdly* well-populated. 06:03:26 Gregor-L, should be åtgärder 06:03:38 you need to handle the html escape codes I think 06:03:56 pikhq, more than en? 06:03:57 http://ja.wikipedia.org/wiki/%E8%A8%80%E8%AA%9E Does this look like a stub to you? 06:04:15 About as well as en from what I've seen so far. 06:04:16 -!- augur has quit (Ping timeout: 245 seconds). 06:04:53 true and not all sv articles are stubs 06:04:57 but a lot more than on en 06:05:06 I 06:05:09 've yet to see a stub... 06:05:14 ah... 06:05:19 bbl university 06:05:24 japanese quality, clearly 06:05:39 Clearly. 06:08:26 -!- olsner has quit (Ping timeout: 246 seconds). 06:12:48 Experimental evidence shows that the third question I got wrong, so did the professor. Unfortunately, I'm still wrong 06:12:55 -!- olsner has joined. 06:13:43 -!- sebbu2 has joined. 06:15:07 -!- sebbu has quit (Ping timeout: 276 seconds). 06:15:07 -!- sebbu2 has changed nick to sebbu. 06:15:51 -!- pikhq has quit (Read error: Connection reset by peer). 06:15:55 Nope, she was right 06:16:31 I made a typo in ConnectBot that I didn't see due to the font size 06:20:41 -!- pikhq has joined. 06:22:13 -!- augur has joined. 06:29:45 -!- FireFly has joined. 06:37:21 -!- meta41 has joined. 06:40:51 -!- augur has quit (Remote host closed the connection). 06:41:00 -!- augur has joined. 06:41:21 -!- Sgeo_ has quit (Ping timeout: 245 seconds). 06:56:19 -!- Adrian^L_ has joined. 06:56:30 -!- Sgeo_ has joined. 06:56:43 -!- meta41 has quit (Quit: Leaving). 06:58:45 -!- Adrian^L has quit (Ping timeout: 252 seconds). 07:02:11 -!- oerjan has quit (Quit: leaving). 07:04:45 -!- pikhq has quit (Read error: Connection reset by peer). 07:08:20 -!- tombom has joined. 07:16:47 6.13 hours a week of non-work Internet use is considered an addiction by some people? 07:16:48 WTF 07:19:19 no kidding 07:19:41 to be addicted to the Internet, someone must show withdrawal symptoms 07:19:56 or otherwise be unable to help themselves 07:20:07 * coppro is probably mildly addicted 07:20:11 http://www.upiasia.com/Society_Culture/2009/05/19/child_internet_addicts_given_shock_therapy/6567/ 07:21:28 ^^reading assignment for psychology class 07:22:58 :@ shock therapy 07:25:00 ECT isn't really a bad thing.. but this isn't that 07:37:24 -!- sshc has joined. 07:44:23 -!- SgeoN1 has quit (Quit: Bye). 07:50:20 -!- tombom has quit (Quit: Leaving). 07:51:32 -!- poiuy_qwert has quit (Quit: This computer has gone to sleep). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:05:35 Less Wrong just helped me with my homework 08:21:43 -!- nooga has quit (Ping timeout: 276 seconds). 08:26:32 Night all 08:26:59 -!- Sgeo_ has quit (Read error: Connection reset by peer). 08:49:26 -!- lament has quit (Ping timeout: 246 seconds). 09:34:20 -!- calamari has quit (Quit: Leaving). 09:40:14 -!- augur has quit (Remote host closed the connection). 09:41:35 -!- FireFly has quit (Quit: null). 09:44:27 -!- aschueler has joined. 10:20:51 -!- hiato has joined. 10:44:39 -!- ais523|unreg has joined. 10:45:02 hmm, I leave for a week, and now there's UTF-5 in the topic? 10:45:07 this needs explaining! 10:46:23 We went from "I love Unicode in my topics. | 僕が問題にユニコードが好きだ。 | http://tunes.org/~nef/logs/esoteric/?C=M;O=D" pikhq (~pikhq@75-106-123-198.cust.wildblue.net) [08.05.2010 20:23:30] 10:46:30 To "I love Punycode in my topics. | xn--v8jad0f7b6z4eoa6v0hk534a7hlwhnnl8s. | http://tunes.org/~nef/logs/esoteric/?C=M;O=D" Gregor-L (~Gregor@75-151-73-57-Spokane.hfc.comcastbusiness.net) [09.05.2010 18:33:44] 10:46:35 To the current 10:46:53 Yes, and Punycode is not UTF-5. 10:48:04 The current topic is a bit on the long side. 11:08:43 -!- lereah_ has joined. 11:32:04 anyway, I'm back in the UK now 11:33:20 utf-5? 11:33:30 ais523|unreg: wb honey 11:34:03 pineapple: that behaviour demands an instant /whois 11:34:29 i'm the same pineapple i was ~a month ago 11:34:40 hmm, yes, that makes sense 11:34:53 you also missed the election 11:34:57 (unless you postal voted) 11:35:15 yep, tried to arrange a proxy vote but messed up the paperwork 11:35:16 welcome to the first coalition government in a long time 11:35:27 but I've been following it 11:35:31 ok 11:35:43 turns out that there was nothing to do for about 6 hours a day but to watch BBC World Service 11:35:59 watch? 11:36:07 so I was probably following it more closely than most people actually in the UK 11:36:12 i thought world service was a radio station 11:36:17 and yes, it's a TV channel, that's available at least in Canada 11:36:22 probably a radio station as well 11:36:33 (although it's called BBC World News nowadays, somehow) 11:36:43 i did kinda tune out after about friday morning, and was catching up mostly by what the news feed on igoogle was telling me 11:37:02 mostly out of disgust 11:37:12 but i've mellowed over teh weekend 11:37:17 what were you disgusted /at/? 11:37:33 many people seem annoyed at the result, but it all seems to be for different reasons 11:37:39 the lib dems doing shiter than everyone was expecting 11:38:11 hmm, interesting 11:38:22 do you read any of the UK tabloid papers? 11:38:30 I don't normally, but saw a few front pages 11:38:44 i generally don't 11:38:51 after Nick Clegg turned out, to everyone's surprise, to actually exist 11:39:01 then most of the tabloids started a really huge attempt to discredit him 11:39:15 i know a few papers ran a "vote clegg, get brown" campaign 11:39:48 and 1 paper ran a "in 71 areas, if you wanna keep the tories out, it's better to vote labour" campaign in the few days before 11:40:04 apparently, Bristol NW was one of those... and look who came second... 11:40:22 by the way, what's with the man in a chicken suit who keeps following David Cameron around? 11:40:32 ? 11:40:36 is this a reference to something I'm missing? 11:40:43 apparently it's a journalist 11:40:54 who's taken to following David Cameron around, whilst wearing a chicken suit 11:41:02 first i've heard 11:41:22 meh, I'll try to look it up 11:42:57 apparently this is what it was all about: http://www.mirror.co.uk/news/general-election/features/2010/04/21/david-cameron-the-daily-mirror-chicken-s-verdict-115875-22200120/ 11:43:49 but the fact that there was a chicken following him around became evident before the reason 11:48:11 -!- jix has joined. 11:58:32 -!- oklopol has joined. 12:23:45 -!- Tritonio_GR has joined. 14:03:10 http://blol.org/735-malbolge-desmistificado 14:17:24 "demystified"? 14:17:37 -!- augur has joined. 14:22:15 -!- augur has quit (Ping timeout: 246 seconds). 14:24:08 -!- Gracenotes has quit (Ping timeout: 258 seconds). 14:28:52 oklopol: possibly 14:29:02 I linked it on the basis that Portugese was probably easier to read than Malbolge 14:29:13 but apart from being obviously ontopic, I don't know what it says either 14:36:46 -!- Rugxulo has joined. 14:36:52 Is Esperanto considered a foreign language? 14:37:25 yes, invented by a Polish doctor ... although it's a conlang (preferably considered "auxiliary", aka always a second language) 14:38:02 what do you ppl think of http://www.youtube.com/watch?v=CILaZ4Zyf7w ? 14:38:51 (or the original) 14:39:08 -!- Gracenotes has joined. 14:39:12 never heard of either 14:39:47 okay that one doesn't really work 8-bit 14:40:29 http://www.youtube.com/watch?v=14L9_PUhhkA 14:40:31 better 14:41:11 most guitar riffs without high notes sound rather boring with other instruments 14:42:40 heh, i should listen before i paste, that wasn't the one whose 8-bit version worked either 14:42:46 http://www.youtube.com/watch?v=XA8-Lt6eHHw 14:43:02 at least I've heard this one's original 14:43:59 what do you mean? 14:44:19 I mean your selections are too obscure for me ;-) 14:44:34 right 14:45:18 i was just wondering if it sounds "random" to everyone outside the genre, i'm wondering if i too just like whatever crap they play fast with a guitar 14:45:28 "BOSS FIGHT!" ;-) 14:45:30 :D 14:45:50 random? no 14:45:59 but shredding rocks :-) 14:46:04 often you don't really hear the main melody in that thing, that's what i mean by not working 14:46:24 "Super Mustaine BROS" 14:46:40 yeah, I know what you mean 14:49:12 "A great could've been megaman tune." 14:49:27 and the point about low riffs, those are simply not very interesting without an electric guitar, and their point is not being interesting, but sounding "tough" or w/e, i'm fine with people hating that shit, but most of the melodies imo should be interesting to anyone who likes nontrivial music 14:49:42 (this rant because my gf thinks faceless sucks :P) 14:50:12 (she listens to stuff from three days grace to classical) 14:50:21 http://www.youtube.com/watch?v=8nCaWsRB8JU&feature=related 14:50:34 ohh 14:50:36 megadeth 14:50:41 i read that as megaman 14:50:42 ... 14:51:02 it was megaman ... although that was in ref to an Iron Maiden song (original I mentioned was Hangar 18) 14:51:05 so that's what "at least I've heard this one's original" meant 14:51:17 oh okay 14:51:31 yes, I'm not familiar with Faceless 14:52:24 hmmm, I can't hear the main vocal melody there, oh well 14:52:33 i tried to learn to listen to deathcore, but currently i think most of it is bullshit, but faceless is in that genre and it's my favorite band atm 14:52:43 my conclusion is genres suck 14:53:25 there is no vocal melody 14:53:48 i liked the megadeth thingie, thunderstruck i find a bit boring 14:54:04 http://www.youtube.com/watch?v=ac-wpfJWaEI&feature=related 14:54:14 yeah, Megadeth was better 14:54:18 and too happy 14:54:19 better guitar leads 14:54:52 hmmm, I hear no vocal lines in this one either 14:55:06 -!- Mathnerd314 has quit (Ping timeout: 245 seconds). 14:55:31 i rarely like music that relies on vocal lines 14:56:47 Satriani? Vai? 14:56:52 although i don't dislike singing, it's just music where singing is the main instrument usually have no other content, and humans are a rather boring instrument 14:57:55 i know very few bands by name, but i doubt i like either of those 14:58:02 Van Halen always had vocals (99% of the time), didn't stop EVH from rocking out 14:58:34 heh, "Cowboys From Hell Ukulele" -> http://www.youtube.com/watch?v=OuybeFoHj_g&feature=related 14:59:58 most rock has trivial riffs, solos that are too complicated for my brain (little structure), and the rest is singing, something trivial in the verse, something nice and repetitive in the chorus 15:00:10 i dislike all this :P 15:00:17 at least on paper 15:01:30 okay random song by satriani was okay 15:01:51 -!- kar8nga has joined. 15:03:01 yes, Satriani is 99.99999% instrumental 15:03:19 very very technical but melodic too 15:07:38 okay i think satriani has too little repetition for my taste 15:09:51 -!- Mathnerd314 has joined. 15:09:57 party, Mathnerd314! 15:10:28 i gotta go buy... don't know what yet -> 15:17:55 -!- Tritonio_GR has quit (Quit: Leaving.). 15:21:21 -!- hiato has quit (Quit: underflow). 15:21:41 -!- hiato has joined. 15:24:45 -!- Gregor-L has quit (Ping timeout: 252 seconds). 15:27:51 -!- Gregor-L has joined. 15:31:33 -!- wareya has quit (Ping timeout: 246 seconds). 15:32:27 -!- oerjan has joined. 15:38:28 -!- coppro has quit (Ping timeout: 248 seconds). 15:42:04 -!- Tritonio_GR has joined. 15:52:53 -!- FireFly has joined. 15:58:42 -!- bsmntbombdood_ has joined. 15:59:19 -!- bsmntbombdood has quit (Ping timeout: 276 seconds). 16:02:03 woot, new DOSBox 0.74, finally! 16:02:39 as opposed to the old DOSBox 0.74. 16:03:41 -!- bsmntbombdood__ has joined. 16:04:00 -!- uorygl has quit (Ping timeout: 260 seconds). 16:05:07 :-P 16:05:20 -!- bsmntbombdood_ has quit (Ping timeout: 258 seconds). 16:07:15 oerjan: Spoken with a snarkiness that makes me proud :P 16:12:32 * Rugxulo too lazy to look up and copy/paste the dumb "o/" symbol as comeback 16:13:12 øh? 16:14:07 D�sb�x r�x! 16:26:12 -!- lereah_ has quit (Quit: Leaving). 16:29:08 -!- bsmntbombdood__ has changed nick to bsmntbombdood. 16:39:40 -!- BeholdMyGlory has joined. 16:41:49 -!- hiato has quit (Ping timeout: 265 seconds). 16:42:35 -!- hiato has joined. 16:45:08 -!- Rugxulo has quit (Quit: b0rked). 16:47:28 -!- poiuy_qwert has joined. 16:47:34 -!- lament has joined. 16:52:27 -!- lament has quit (Ping timeout: 240 seconds). 16:59:32 -!- augur has joined. 17:02:04 -!- Tritonio_GR has quit (Read error: Connection reset by peer). 17:09:40 -!- tombom has joined. 17:21:28 -!- hiato has changed nick to Guest43394. 17:22:44 -!- Guest43394 has changed nick to hiato. 17:39:32 -!- pikhq has joined. 18:04:04 -!- augur has quit (Ping timeout: 260 seconds). 18:13:31 -!- augur has joined. 18:16:04 -!- Gracenotes has quit (Ping timeout: 260 seconds). 18:21:57 -!- Tritonio_GR has joined. 18:33:52 -!- augur has quit (Remote host closed the connection). 18:34:22 -!- augur has joined. 18:45:52 -!- kar8nga has quit (Remote host closed the connection). 18:53:04 -!- augur has quit (Ping timeout: 260 seconds). 19:02:31 -!- augur has joined. 19:02:53 -!- poiuy_qwert has left (?). 19:14:20 -!- ais523|unreg has quit (Quit: Page closed). 19:21:28 -!- impomatic has joined. 19:22:57 -!- oerjan has quit (Quit: Good night). 19:29:02 -!- Ratfink has joined. 19:45:14 -!- Ratfink has quit (Quit: WeeChat 0.3.0). 19:49:40 -!- wareya has joined. 19:54:05 There's a Vintage Computer Festival at the U.K.'s National Museum of Computing if anyone's interested? 19-20 June. 20:15:26 -!- augur has quit (Ping timeout: 246 seconds). 20:26:56 -!- uorygl has joined. 20:46:31 -!- Phantom_Hoover has joined. 20:49:56 What is the algorithm for beta-reduction? 20:50:07 -!- libaneses has joined. 20:52:09 ((\v->e) x) = e[v := x] 20:52:25 That is to say, in e you replace all instances of "v" with "x". 20:53:27 Or, more broadly: it's just function application. 20:53:34 True. 20:54:07 But one has to avoid substituting when the variable is captured by a nested lambda 20:54:43 Yes. 20:55:11 So, you replace all free instances of "v". ;) 20:55:26 Is there an easy way to distinguish? 20:58:57 ... Free variables? Uh, yeah. If "v" is an argument to a nested lambda, it's not free in that portion of the parse tree. So, move on. 21:01:34 -!- libaneses has left (?). 21:09:34 -!- soupdragon has joined. 21:09:59 Message to alise from the roughly 4 days in the past: 21:10:20 π/√8 = 1 + 1/3 - 1/5 - 1/7 + 1/9 + 1/11 - ... 21:10:21 π^2/8 = 1 + 1/3^2 + 1/5^2 + 1/7^2 + 1/9^2 + 1/11^2 + ... 21:10:39 End 21:10:46 that looks wrong 21:11:08 i thought the whole 1 + 1/3 - 1/5 - 1/7 + 1/9 + 1/11... was pi/4 21:11:22 pi/4? hm 21:11:25 hang on 21:11:40 it might be pi/4 if you switch the signs 21:11:51 you're right 21:11:53 and - 1/3 + 1/5 etc 21:12:01 ah yes I read a proof of that one the other day 21:12:12 I wonder if this pi/sqrt(8) one can be derived similarly 21:12:35 i kinda wanna find out what your version tends to 21:12:46 in what sense? 21:13:13 if you plot it on a graph, after every addition/subtraction 21:13:24 you get a wiggly line that tends to pi/4 21:13:39 ?? 21:14:17 ok... time for you to eat a dictionary: as x increases, 1/x _tends_ to 0 21:14:39 or... maybe i'm using the wrong word 21:14:49 pi/4 = 1 - 1/3 + 1/5 - 1/7 + 1/9 - ... 21:14:57 but anyway, apply that context to the rest of what i've just said 21:15:04 yeah it doesn't make sense in context 21:15:28 x = 1 + 1/3 - 1/5 - 1/7 + 1/9 + 1/11 - ...; find x 21:15:28 the series I posted is for pi/sqrt(8) 21:15:37 are you sure it is? 21:15:39 yes 21:15:50 I copy/pasted it directly from the internet 21:15:59 !haskell 1 + 1/3 - 1/5 - 1/7 + 1/9 + 1/11 21:16:04 !hs 1 + 1/3 - 1/5 - 1/7 + 1/9 + 1/11 21:16:07 how do I run haskell code? 21:16:09 1.1924963924963925 21:17:07 21:16:28 ::3.1415926535897931/(8**0.5) 21:17:08 21:16:29 <@feh> 1.11072073454 21:17:20 !hs 1 + (sum . zipWith (\(sign,value) -> sign*(1/value + 1/(value+1))) (cycle [-1,1]) [3,7..1000]) 21:17:36 oh... 21:17:41 aaaah, i see 21:18:03 you go [+ - - +] 21:18:17 i thought you were just going [+ -] 21:18:40 What you said about pi/4 makes sense though -- I've seen that one just the other day 21:19:19 inprvd 21:19:20 infact* 21:19:46 dvorak user? 21:19:50 http://img34.imageshack.us/img34/3059/picture29l.png 21:20:04 tends is the correct term 21:20:05 There's a proof of the pi/4 series 21:20:11 I'm using COLEMAK 21:20:31 yeah, i should've gotten that right 21:20:45 dvorak typos of a vowel will give another vowel 21:21:07 Anyway, what is beautiful is the connection between the series for pi/sqrt(8) and p^2/8 21:21:22 I think it's a 'coincidence' but it's still lovely 21:25:28 oh now everyones pissed off at me because I said coincidence 21:25:48 'How DARE you speak this blasphemy against the platonic nature of mathematics' 21:26:56 welcome to mathematics, honey 21:27:01 coincidences happen 21:27:33 (at least, until you're zen enough to understand why they happen) 21:27:33 Perhaps there is only one consistent way for things to be, and mathematics, with its unique and beautiful structures that are pure expressions of logical necessity, is trying to tell us something about this? 21:27:40 -!- oklopol has changed nick to oklofod. 21:27:52 i figured if you are edible 21:34:23 -!- libaneses has joined. 21:45:37 -!- kar8nga has joined. 21:52:43 -!- Rugxulo has joined. 21:52:48 -!- charlls has joined. 21:54:08 -!- cheater2 has quit (Ping timeout: 260 seconds). 21:54:44 !help 21:54:44 help: General commands: !help, !info, !bf_txtgen. See also !help languages, !help userinterps. You can get help on some commands by typing !help . 21:54:51 !help userinterps 21:54:51 userinterps: Users can add interpreters written in any of the languages in !help languages. See !help addinterp, delinterp, show | !userinterps. List interpreters added with !addinterp. 21:55:01 !help languages 21:55:01 languages: Esoteric: 1l 2l adjust asm axo bch befunge befunge98 bf bf8 bf16 bf32 boolfuck cintercal clcintercal dimensifuck glass glypho haskell kipple lambda lazyk linguine malbolge pbrain perl qbf rail rhotor sadol sceql trigger udage01 underload unlambda whirl. Competitive: bfjoust fyb. Other: asm c cxx forth sh. 21:55:07 !help unlambda 21:55:07 Sorry, I have no help for unlambda! 21:55:16 `help 21:55:21 bah 21:55:22 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 21:55:25 !help lazyk 21:55:25 Sorry, I have no help for lazyk! 21:55:33 !help linguine 21:55:34 Sorry, I have no help for linguine! 21:55:54 `ls 21:55:58 bin \ cube2.base64 \ cube2.jpg \ hack_gregor \ hello.txt \ help.txt \ huh \ netcat-0.7.1 \ netcat-0.7.1.tar.gz \ out.txt \ paste \ poetry.txt \ quotes \ share \ test.sh \ tmpdir.3268 \ wunderbar_emporium 21:56:05 `ls /bin 21:56:06 bash \ bunzip2 \ bzcat \ bzcmp \ bzdiff \ bzegrep \ bzexe \ bzfgrep \ bzgrep \ bzip2 \ bzip2recover \ bzless \ bzmore \ cat \ chgrp \ chmod \ chown \ cp \ cpio \ dash \ date \ dd \ df \ dir \ dmesg \ dnsdomainname \ domainname \ echo \ ed \ egrep \ false \ fgrep \ grep \ gunzip \ gzexe \ gzip \ hostname \ ip \ kill \ less 21:56:13 `ls /usr/bin 21:56:14 2to3-2.6 \ X11 \ [ \ a2p \ addpart \ addr2line \ apropos \ apt-cache \ apt-cdrom \ apt-config \ apt-extracttemplates \ apt-ftparchive \ apt-get \ apt-key \ apt-mark \ apt-sortpkgs \ aptitude \ aptitude-create-state-bundle \ aptitude-curses \ aptitude-run-state-bundle \ ar \ arch \ as \ awk \ axi-cache \ base64 \ basename \ bashbug 21:56:27 `ls /usr/bin/u* 21:56:28 No output. 21:56:56 `ls /usr/bin | xargs 21:56:57 No output. 21:57:03 ACTION wonders how to interpret this (yes, I wrote it, yes I suck, and yes it is painfully obtuse): ```s.si``v```s.e.n``v```s.p.p``v```s.h.a``v```s.t. ``v```s.s.p.iiiiii 21:57:03 * Rugxulo 21:57:11 uh 21:57:41 * Rugxulo takes Opera out back for a "talk" 21:58:16 !unlambda ```s.si``v```s.e.n``v```s.p.p``v```s.h.a``v```s.t. ``v```s.s.p.iiiii 21:58:17 ./interps/unlambda/unlambda.bin: file /tmp/input.3506: parse error 21:58:50 !unlambda ```s.h.ii 21:58:51 hi 21:58:58 well that worked at least 21:59:11 !unlambda ```s.y.oi 21:59:12 yo 22:05:21 -!- benuphoenix has joined. 22:05:42 -!- cheater2 has joined. 22:05:52 -!- tombom_ has joined. 22:07:56 which looks better? main(){for(;;);} or :(){:|:&};: ? 22:08:31 -!- tombom has quit (Ping timeout: 276 seconds). 22:08:31 main(){for(;;);} 22:08:36 unless you're trying to obfuscate 22:08:49 -!- impomatic has left (?). 22:09:24 -!- kar8nga has quit (Remote host closed the connection). 22:10:11 * benuphoenix realizes that an infinite loop in c and a fork bomb in sh are not 22:10:19 the same 22:11:51 main(){for(;;)fork();} 22:12:18 i can't believe i was stupid enough to load irssi in a dos command prompt. On second thought, I can believe it. 22:12:20 * Rugxulo wonders if AnMaster ever heard of BashForth ... 22:12:29 Guys, you know that HackEgo is incredibly primitive? 22:12:38 `ls 22:12:39 bin \ cube2.base64 \ cube2.jpg \ hack_gregor \ hello.txt \ help.txt \ huh \ netcat-0.7.1 \ netcat-0.7.1.tar.gz \ out.txt \ paste \ poetry.txt \ quotes \ share \ test.sh \ tmpdir.3721 \ wunderbar_emporium 22:12:50 `ls | grep tmpdir 22:12:51 No output. 22:12:56 Yes, HackEgo is very, very simple. 22:12:58 Also: 22:13:04 `run ls | grep tmpdir 22:13:06 tmpdir.3799 22:13:20 `run ls tmpdir* 22:13:21 No output. 22:13:44 `run sh -c 'ls tmpdir*' 22:13:46 No output. 22:13:49 `run ls -d tmpdir* 22:13:50 Hrm. 22:13:51 tmpdir.3965 22:13:57 `run ls | xargs 22:13:58 bin cube2.base64 cube2.jpg hack_gregor hello.txt help.txt huh netcat-0.7.1 netcat-0.7.1.tar.gz out.txt paste poetry.txt quotes share test.sh tmpdir.4014 wunderbar_emporium 22:14:30 -!- Djidane has joined. 22:14:50 -!- benuphoenix has quit (Quit: leaving). 22:15:13 -!- Rugxulo has quit (Quit: break time). 22:17:49 -!- Djidane has quit (Remote host closed the connection). 22:34:15 -!- cheater2 has quit (Read error: Connection reset by peer). 22:36:08 -!- FireFly has quit (Quit: null). 22:42:13 * Rugxulo wonders if AnMaster ever heard of BashForth ... <-- yes 22:42:23 -!- cheater2 has joined. 22:44:18 !bf_txtgen 23 22:44:28 33 ++++++++++[>+++++>+>><<<<-]>.+.>. [38] 22:44:33 ... too long 22:44:35 !bf_txtgen 23 22:44:40 33 ++++++++++[>+++++>+>><<<<-]>.+.>. [42] 22:44:46 !bf_txtgen 23 22:44:49 33 ++++++++++[>+++++>+>><<<<-]>.+.>. [43] 22:45:39 oh wait, can be reduced to: ++++++++++[>+++++<-]>.+. in my case... hm still too long 22:48:11 ah nvm 22:54:31 !bf_txtgen abcdefghijklmnopqrstuvwxyz 22:54:33 112 +++++++++++[>+>+++++++++>+++++++++><<<<-]>>--.+.+.+.>++.+.+.<++++.+.+.+.>+++++.<++.+.+.+.+.+.+.+.+.+.+.+.+.+.<-. [932] 22:55:08 -!- tombom_ has quit (Quit: Leaving). 22:56:10 -!- hiato has quit (Quit: underflow). 22:56:53 -!- BeholdMyGlory has quit (Remote host closed the connection). 22:59:22 -!- MizardX has quit (Ping timeout: 276 seconds). 23:03:29 It does better if you wait a bit. 23:03:48 I get ++++++++++[>++++++++++>+<<-]>---.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.>. for abcdefghijklmnopqrstuvwxyz + newline. 23:04:36 Actually it seems to converge to 85 characters in just ~100 generations here. 23:04:45 Though that's with "-t 2". 23:05:30