00:00:04 second-last? 00:00:08 Also 0. 00:00:15 one quadrillionth-last? 00:00:22 Also 0. 00:01:37 -!- ihope_ has joined. 00:01:53 Um, momentito. 00:02:12 what's the factorial of pi? 00:02:20 ;) 00:02:38 (Decreasing first the last decimal place, then the second last, etc. of course) 00:02:49 About 7.188082728976031. 00:02:59 Wait, doing what? 00:03:16 I'm just hoping that doing that doesn't change the result :-P 00:05:11 Take pi, fully calculated to all digits (yes, i am being sarcastic here ;)) 00:05:28 Then, take the last decimal digit of pi (here referred to as -1, second-last being -2 etc) 00:05:28 Well, gee. 00:05:35 Or rather 00:05:44 since n! = n * (n-1)! 00:06:18 instead of (n-1), pretend it's (n but with last_decimal_place decreased by one) 00:06:22 :D 00:06:39 of course, when that gets to 0, you go to -2 00:06:39 etc 00:08:38 -!- ihope__ has joined. 00:08:46 n! = n * (n but with last_decimal_place decreased by one)!? 00:08:52 yes 00:09:03 n! = n * (n but with last_decimal_place decreased by one)!? 00:09:03 -!- ihope_ has quit ("Reconnecting"). 00:09:09 xD 00:09:15 so, the question is, with that definition, what is pi! 00:09:18 Yay, the lag's over. 00:09:29 (pi!) of course, not pi exclamation :P 00:09:34 With that definition, I'd say that pi! = 0. 00:09:43 why? 00:09:53 pi! = pi * (pi + tiny)! 00:09:59 no 00:10:03 pi! = pi * (pi - tiny)! 00:10:10 Oh. Close enough. 00:10:15 Should be huge 00:10:27 OK, let me rephrase 00:10:30 imagine 314! 00:10:31 pi! = pi * pi!, 1 = pi or pi! = 0. 00:10:39 now, imagine 3.14! 00:10:49 it's just 314!, except the decimal place is retained 00:10:58 instead of 314 * 313 * 312 * ... 00:11:04 it's 3.14 * 3.13 * 3.12... 00:11:08 Ah. 00:11:15 except, of course, with the "full" pi ;) 00:11:45 Well, first, it's 314! / 10^314, about. 00:12:04 The limit as 314 approaches infinity of that is infinity. 00:12:15 Well, using just 3.14 * 3.13 * ... * 3 * 2 * 1, 00:12:26 we get 1773.788818464 00:12:29 (approx.) 00:12:41 What's ... there? 00:12:50 in total it's 00:12:51 3.14 * 3.13 * 3.12 * 3.11 * 3.1 * 3 * 2 * 1 00:13:06 Ah. 00:13:13 since, of course, 3.1 (it would come to 310 with 314!) is 3.10 00:13:23 So it's some big product. :-) 00:14:13 Of course it wildly changes with only two more digits of precision 00:14:22 1704185.70729987 is the result with 3.1415 00:14:31 So. It'll be big. 00:14:34 ;) 00:38:14 -!- ehird` has quit (Read error: 104 (Connection reset by peer)). 01:02:38 -!- bsmntbombdood has quit. 01:03:11 -!- bsmntbom1dood has changed nick to bsmntbombdood. 01:04:02 -!- ihope has quit (Nick collision from services.). 01:04:05 -!- ihope__ has changed nick to ihope. 01:04:36 -!- ihope_ has joined. 01:04:50 -!- pikhq has joined. 01:36:28 -!- ihope__ has joined. 01:47:14 -!- ihope_ has quit (Read error: 110 (Connection timed out)). 02:04:42 -!- pikhq has quit (Read error: 110 (Connection timed out)). 02:09:46 -!- pikhq has joined. 02:14:37 Okay, I let it run and now it has calculated up to 1285!. 02:15:14 Make that 1288!. 02:23:20 what has? 02:41:45 The BF factorial program? 02:42:06 * ihope__ loads up GHCI 02:42:59 Up to 647! so far. 02:43:57 -!- immibis has joined. 02:44:25 1811!. 02:44:32 does anyone know of a *free* program that reads rss feeds and sends new messages to a specified mailbox via smtp? 02:50:20 greasemonkey: https://addons.mozilla.org/en-US/firefox/addon/748 02:50:34 * immibis slaps himself on the head, realising greasemonkey isn't here right now 02:51:33 If you're not past 4000! yet, dbc, you need to fix your interpreter. :-P 02:53:15 Maybe. 02:54:35 Ordinarily I would be using a compiler if I were in a real hurry. 02:54:51 Indeed. 02:55:14 Did anyone do anything with your busy beaver task? 02:55:26 * immibis wonders what ihope__ and dbc are talking about 02:55:34 * immibis reads the irc log 02:55:46 * immibis sees that you are running a BF factorial program. 02:56:14 Yeah. 02:56:23 * immibis wonders if the program uses this simple algorithm: 02:56:28 1. Start with 1. 02:56:28 2. Print the number. 02:56:33 no wait 02:56:34 thats not right 02:56:52 Stop making me look stupid, immibis. 02:58:18 http://pastebin.ca/764341 this algorithm 02:59:09 iterate (\(x,y) -> (x+1,y*(x+1))) (0,1) 02:59:18 Not exactly. 02:59:26 ? 02:59:32 what language is that? 02:59:38 Haskell. 02:59:57 * immibis does not know haskell 03:03:17 1441! 03:03:20 :) 03:04:23 -!- ihope has quit ("Lost terminal"). 03:09:11 Now? 03:09:21 -!- ihope__ has changed nick to ihope. 03:10:21 Hm? 03:10:37 Never mind. 03:29:22 -!- oklopol has quit (Read error: 104 (Connection reset by peer)). 03:30:30 -!- oklopol has joined. 03:37:04 -!- ihope has quit (Read error: 110 (Connection timed out)). 03:57:53 -!- oklopl has joined. 03:58:48 -!- oklopol has quit (Read error: 104 (Connection reset by peer)). 03:59:20 -!- pikhq has quit (Read error: 104 (Connection reset by peer)). 04:04:01 -!- pikhq has joined. 04:13:59 -!- immibis has quit ("Hi Im a qit msg virus. Pls rplce ur old qit msg wit tis 1 & hlp me tk ovr th wrld of IRC. Say What?"). 05:33:48 -!- oklopl has quit (Read error: 104 (Connection reset by peer)). 05:39:41 -!- SEO_DUDE has quit (Read error: 104 (Connection reset by peer)). 05:41:57 -!- oklopol has joined. 06:23:49 (04:55:00) • immibis reads the irc log 06:23:50 (04:55:11) • immibis sees that you are running a BF factorial program. 06:23:56 i have a lot to learn 06:24:09 took me like 6 minutes to read it 06:42:47 -!- faxathisia has joined. 06:43:03 :D hi 06:43:40 woah, the ais523 guy used to hang here? 07:23:56 I don't know that he's /stopped/, but presumably he has a bit more of a life now :P 07:25:11 spending all that money :) 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:18:39 grr so like parsers suck 08:19:17 I think It's possible to have an ambiguous lexer constrained by a parser if the whole thing is written like a logic program 08:19:44 and using logic programming technique, hopefully any parser could also be an unparser 08:21:12 I looked at um... Yacc and Parsec 08:21:39 * faxathisia wonders if anyone knows of some different types of parser 08:54:12 -!- Slereah has joined. 09:00:44 -!- faxathisia has quit. 09:07:19 -!- Slereah_ has quit (Read error: 110 (Connection timed out)). 09:30:50 -!- faxathisia has joined. 11:12:27 -!- SEO_DUDE has joined. 13:48:42 -!- jix has joined. 14:59:05 -!- SimonRC has joined. 15:03:45 -!- ehird` has joined. 15:05:28 -!- SimonRC_ has quit (Read error: 110 (Connection timed out)). 15:06:34 -!- SimonRC has quit (Remote closed the connection). 15:06:39 -!- SimonRC has joined. 15:20:56 hm 15:37:39 -!- Tritonio has quit (Read error: 110 (Connection timed out)). 15:38:16 -!- Tritonio has joined. 16:27:47 -!- Tritonio_ has joined. 16:29:20 -!- jix has quit (Nick collision from services.). 16:29:30 -!- jix has joined. 16:35:28 -!- Tritonio has quit (Read error: 110 (Connection timed out)). 17:44:55 -!- Tritonio_ has quit (Read error: 110 (Connection timed out)). 17:45:01 -!- cherez has quit (Read error: 110 (Connection timed out)). 17:45:13 -!- Tritonio_ has joined. 17:55:17 hi jix, Tritonio_, etc 17:55:42 hello ehird`! 17:57:24 -!- cherez has joined. 18:09:01 -!- Slereah- has joined. 18:13:09 -!- sebbu has joined. 18:14:45 -!- Slereah has quit (Read error: 110 (Connection timed out)). 18:25:21 -!- Sgeo has joined. 18:28:31 Anyone here interested in PSOX? 19:01:34 Hello? 19:03:00 I cannot say! 19:09:54 -!- sebbu2 has joined. 19:27:54 I just had to solder together a power cable for my printer. Because I let the end with the plug dangle out of a car and it ended up severed. (I was tired.) 19:28:22 :/ 19:28:45 -!- sebbu has quit (Connection timed out). 19:30:03 The good thing is, now my printer will have a twelve-foot power cable :/ 19:38:42 haha 19:40:58 ... 19:41:00 Wow 19:41:56 GregorR, #psox 19:42:49 speaking of printers 19:42:51 I just installed a new one 19:42:53 speaking of Sgeo 19:42:57 you've said #psox enough 19:43:03 use /invite ;P 19:43:11 * Sgeo has been doing that too >.> 19:54:05 -!- SEO_DUDE has quit (Read error: 104 (Connection reset by peer)). 20:14:46 -!- SEO_DUDE has joined. 20:38:18 -!- Meep-Eep has joined. 20:41:05 -!- Meep-Eep has left (?). 20:43:52 -!- Treora has joined. 20:44:47 ping? 20:46:47 -!- Treora has left (?). 20:47:36 Ping! 20:48:44 Hi Tre 20:48:50 darn 20:49:49 what's psox 20:50:10 http://trac2.assembla.com/psox/browser/trunk/spec/psox.txt 20:50:55 PSOX is a layer that goes between stdin/stdout and an esolang that can only do stdin/stdout. It will provide things such as file manipulation and HTTP stuff to languages like Brainfuck 20:51:19 -!- RedDak has joined. 20:51:23 Hi RedDak 20:58:16 -!- RedDak has quit ("I'm quitting... Bye all"). 20:58:34 -!- RedDak has joined. 20:58:46 re RedDak 20:59:16 sexual deviant 21:00:43 ?? 21:01:04 bonobos are fucking awesome 21:01:29 Substract "awesome" to the statement. 21:01:41 bsmntbombdood is generating random text programmatically 21:01:45 ;) 21:01:51 no 21:02:01 wow, lucky one 21:02:07 you won't be able to get a good match like that again 21:02:16 yes i will 21:02:22 shit, that's good 21:02:44 i bet you wish your girlfriend was hot like me 21:08:57 bsmntbombdood: foodlesnap 21:10:53 s/awesome/bsmntbombdood/ 21:11:01 GregorR: sweet 21:11:11 s/bsmntbombdood/ehird` 21:11:14 "battle of the regexps" 21:11:32 You both really like bonobos, in a creepy way, apparently. 21:11:44 ehird`, you like regexes in IRC, but not PSOX? meh 21:11:46 lol 21:12:23 irc is human-evaluated 21:12:33 GregorR: oh fuck 21:12:40 "bonobos are fucking ehird`" 21:12:54 :P 21:13:05 s/fucking/not at all like/ 21:13:08 mwahahaha 21:13:17 bonobos? 21:13:31 ehird`: Then you're clearly an alien. 21:13:42 Maybe i'm a fundamentalist Christian! :P 21:13:44 Ok probably not. 21:13:52 What's a bonobo? 21:13:56 Sgeo: ... 21:14:05 Sgeo, meanwhile, is learning about esolangs while forgetting about primates 21:14:45 ehird`: I presume that you're not, because if you were you'd be an idiot, and I don't like to make such assumptions about people :P 21:14:50 GregorR: :P 21:15:16 (Meanwhile, all 4 fundamentalist Christians on freenode are trying to get you k-lined) 21:15:33 there are fundy Christians on FN? 21:15:39 4 of them 21:15:40 :P 21:15:41 I'm sure there are, somewhere. 21:15:43 They're lost. 21:15:47 Sgeo: the coolest monkey ever 21:15:58 GregorR: http://www.christianasp.net/ 21:16:04 Fundamentalists are the coolest monkey? 21:16:09 I'm going to assume that's NSFW 21:16:11 nope 21:16:17 dbc: No, intelligent humans are ^^ 21:16:19 NSFM - mind, though 21:16:49 I'm soooo shocked that it's ASP.NET :P 21:16:57 Two great things that taste great together! 21:16:58 ...Christian ASP? 21:17:04 Yep 21:17:06 -!- jix has quit ("CommandQ"). 21:17:09 .....WHY? 21:17:13 Hosting and ASP programming for churches! 21:17:16 "What's that?" "That's the badge of my order." "What's your order?" "Primates. Why, what's yours?" 21:17:30 dbc: GOD'S CREATION. 21:17:36 :) 21:17:53 I wonder if they prey when the servers go down 21:18:00 Dear Lord, please this day give us our daily SSH 21:18:03 I doubt it, but they probably pray. 21:18:12 They may go a'huntin', too. 21:18:32 And: SSH? Really? No. 21:19:12 I'm thinking Microsoft ASP.NET Website Manager 2009 21:19:16 hahah 21:19:40 in #esoteric we are united by two things: hate of ASP and hate of most christians 21:19:51 :P 21:20:04 (most christians ARE pretty fundamentalist) 21:20:17 I don't know if that's true. 21:20:26 -!- RedDak has quit (Remote closed the connection). 21:20:28 I just have a general disdain for religion, with a specific hate for fundies :) 21:22:45 -!- RedDak has joined. 21:24:22 dundies 21:24:38 goddamn my interents 21:26:56 o 21:28:09 faxathisia: i know lots of parsers 21:28:35 cool 21:28:50 I am probably going to try writing a simple one soon 21:29:49 oklopol: what parsers do you know which aren't like yacc or parsec? 21:29:52 write an english parser 21:32:33 faxathisia: well i just started making a recal-parser, and i made my tode-parser some time ago... 21:32:52 hmf 21:33:10 I find it hard to differentiate between parser and (parser generator or language in which it's easy to write parsers) 21:33:11 i think everyone here has made a parser 21:33:18 but not many have made a generic one.. 21:33:26 i can parse sexps!! 21:33:55 and sexy pee 21:33:55 I CAN HAS SEX P[L]S? 21:33:57 Have I made a parser? I don't _think_ so 21:34:12 * Sgeo is no good with stringy stuff 21:34:44 * oklopol doesn't hate anyone 21:34:59 so? 21:35:02 perhaps individuals occasionally 21:35:09 (ehird`) in #esoteric we are united by two things: hate of ASP and hate of most christians 21:35:17 haha 21:35:33 my stomach kills me 21:35:37 * Sgeo doesn't hate ASP 21:35:48 I've never used it, and don't know it, so how can I have it? 21:35:54 oklopol: a few ounces of semen a day keeps the ulcers away 21:36:02 2 bottles of ED and 4 coffees today 21:36:09 i like coffee a bit more than my body 21:36:10 Nor do I hate Christians.. Christianity I disagree with, but I don't dislike Christians.. 21:36:17 2 bottles of erectile dysfunction? 21:36:20 How do you bottle that? 21:36:30 ed is a finnish energy drink 21:36:46 "micturient" is a cool word 21:36:46 i've told that 3 times on this channel, don't you read my random ramblings from the logs?!?!? 21:37:08 2 bottles of erectile dysfunction? 21:37:09 How do you bottle that? 21:37:35 i guess you stuff your penis in a bottle or something 21:38:02 first mash it with a hammer or something, and it surely won't erect 21:38:38 ow 21:40:58 -!- ihope has joined. 21:41:11 Nor do I hate Christians.. Christianity I disagree with, but I don't dislike Christians.. 21:41:12 erm 21:41:18 I mean, hi ihope 21:41:21 Hello. 21:41:36 I'm going to flip a googol of coins! 21:41:40 kay, if i said "i'm fucking tired", would you say i should "go to sleep", "code tic-tac-toe" or be witty and tell me to "just let her sleep and learn grammar"? 21:42:14 i had to add the last one, because anything with fuck will be tinkered with anyway 21:42:18 "tinker" 21:42:20 i think that's peeing 21:42:50 no 21:43:07 i no 21:43:11 tinker is to fiddle 21:43:27 * oklopol knows thatzzz 21:43:38 * faxathisia tinkles 21:43:44 * oklopol gargles 21:43:46 Sgeo: most christians in my experience mention it often 21:43:49 How curious. The first 5 * 10^99 coins were all heads. 21:43:51 Sgeo: purposefully to inflame you 21:44:17 or to just tease me a bit, maybe? 21:44:27 * Sgeo is thinking of one person in particular 21:44:46 HALT THE TALKING 21:44:48 FOR IT IS NOW 21:44:51 SUPER DANCE EXPLOSION TIME 21:44:54 either way they're going to hell for not respecting the lord's word ;) 21:45:08 * bsmntbombdood micturates 21:46:02 * GregorR fiddles with the roof. 21:46:09 The roof isn't a very good musician though. 21:46:15 HAW HAW L'PUNS ARE L'UNFUNNAY 21:46:27 we don't need no water let the mother fucker burn 21:47:04 Hmm. Anybody know what 7.5*10^99 choose 5*10^99 is? 21:47:30 -!- k1w2u3 has joined. 21:47:44 somewhere around 100 i think 21:48:46 ............... 21:48:55 I suspect it's a liiiiiiiiiiittle bit higher than that. 21:49:06 hmm 21:49:08 perhaps 21:49:12 like 200 21:49:15 or smth 21:49:28 oklopol: it's ... 'several' orders bigger 21:49:36 you mean like seven? 21:49:41 207 21:49:58 yeah, that might be closer, but i prefer nice round numbers when not sure. 21:50:10 132.7 orders of magnitude 21:50:11 I'll just assume it's 20. 21:50:21 bsmntbombdood: have you actually calculated it? 21:50:22 I would say it's several hundred orders of magnitude bigger. 21:50:30 haha, 20 xD 21:50:34 ihope: no i just felt like saying that 21:50:35 like it could be *that* little 21:51:01 Well, anyway, the next 2.5*10^99 coins were all tails. 21:51:04 puzzlingly google's calculator refuses to accept that :P 21:51:09 :D 21:51:12 it calculates the individual numbers, tohugh 21:51:23 hmm, does google know choose? 21:51:25 methinks they have some, uh, checks in there ;) 21:51:26 and yes 21:51:33 I should just write a computer program to flip all these coins. 21:51:34 oh, just ncr? 21:51:43 http://www.google.co.uk/search?q=14+choose+8&ie=utf-8&oe=utf-8&aq=t&rls=org.mozilla:en-GB:official&client=firefox-a 21:51:47 x choose y 21:51:59 Wow, that's pretty cool. 21:52:00 * bsmntbombdood types binom(7.5*10^99, 5*10^99); into maxima and waits 21:52:12 oh, "choose" for choose :O could that *be* less intuitive... 21:52:33 and it does accept embedded exprs: http://www.google.co.uk/search?hl=en&client=firefox-a&rls=org.mozilla%3Aen-GB%3Aofficial&hs=04X&q=%2814*1%29+choose+%284*2%29&btnG=Search&meta= 21:52:41 but, alas, not 7.5*10^99 and its ilk ;) 21:52:59 http://www.google.co.uk/search?hl=en&client=firefox-a&rls=org.mozilla%3Aen-GB%3Aofficial&hs=c5X&q=%287.5*10%5E99%29+choose+%285*10%5E99%29%3D&btnG=Search&meta= even with = to force 21:53:16 * bsmntbombdood interrupts that due to slowness 21:53:28 bsmntbombdood: gosh how suprising 21:53:52 it wuz using my precious memories and clock sykles 21:54:02 Bounds would be just as useful as the number itself. 21:54:25 20 was a good enough lower bound to find that the next coins were all tails. 21:54:42 ihope: Try 34985743958743589734 21:54:53 Try it for what? 21:54:55 I should mention that choose isn't useful, since it will be off by thousands of orders of magnitude. 21:54:56 Also, are you using a program? If so I want it I like useless programs :P 21:55:00 And as a lower bound/higher bound 21:55:07 GregorR: Of course, but who cares 21:55:09 I can write a program to do this. 21:55:10 GregorR: It's closer than 20 21:55:18 ihope: ...in redivide? 21:55:31 ehird`: Probably not appreciably closer. 21:55:32 GregorR: well, the scientific notations are exact. 21:55:37 GregorR: only if the scientific notation is an approximation... 21:55:43 ehird`: does it HAVE to be in Redivider? :-P 21:55:46 YES 21:55:47 Well, if they're exact, then yeah. 21:55:54 How often is scientific notation actually exact? :P 21:56:02 7.5*10^99 is pretty exact... 21:56:06 When it's expressing halves of a googol? :-P 21:56:07 it is when the numbers are created for the experiment 21:56:08 What's Redivider? 21:56:09 :D 21:56:14 yeah 21:56:18 Sgeo: ihope's substitution language 21:56:23 ihope: :P 21:56:38 ihope: google's calculator calculates googol/2 for the record 21:56:38 Not really substitution; it's inspired by Parsec and such combinator parsers. 21:56:39 Suffice to say that your power would probably need to be represented in scientific notation :P 21:56:47 x*10^(y*10^z) 21:57:55 Let's express everything in scientific notation! In this game I currently have 7.2*10^(1*10^0) gold. 21:59:20 '0' isn't scientific notation, you need 0*10^(0^10^(...)) 21:59:26 hahah 21:59:36 Erm, with 0*10 in that inner paren >_> 22:00:27 I have (1*10^(1*10^999999)↑↑(1*10^99999))↑↑(1*10^(1*10^999999)↑↑(1*10^99999)) golds! 22:00:43 yewkneecohd 22:00:53 That's a whole lot of gold. 22:01:04 Even more than atoms in 'em universe! 22:01:05 I have g_64 gold! 22:01:09 OH SNAP. 22:01:14 Alternatively 22:01:21 I have A(g_64,g_64) gold! 22:01:28 ack ! 22:01:33 erman 22:01:41 n 22:02:01 I think compose graham (graham 64) 64 is bigger. 22:02:14 No, the ackermann function is pretty good ;) 22:02:31 Its formal definition: Takes two numbers, and outputs something big. 22:03:02 GLYCYLGLYCYLGLYCYLGLYCINE has a 19-letter internal palindrome from the first to the last C and another 19-letter palindrome from the first G to the last G [Nick Papuga]. 22:03:11 faxathisia: that's... useful 22:03:18 I think even G_G_G_G_G_64 is bigger than A(G_64,G_64). 22:03:22 ihope: No. 22:03:32 ihope: A(g_64,g_64) is the xkcd number. 22:03:41 It's probably much bigger than G_G_G_G_G_64 22:03:46 Does that mean it's bigger than all other numbers? 22:03:51 heh 22:03:57 Well, obviously not. 22:04:02 the Clarkkkson number is bigger 22:04:03 A(g_64,g_64) + 1 is bigger. 22:04:11 A(G_64,G_64) is about G_64 ^(G_64) G_64. 22:04:15 but clarkkson is ... kind of arbitarily defined 22:04:17 Slereah-: hhahahaha 22:04:22 And no it isn't, ihope 22:04:28 It isn't? 22:04:38 There's some pretty big numbers involved with the busy beaver algorithm. 22:04:45 Which Ackermann function are you using? 22:04:50 Slereah-: Yeah, but BB isn't computable 22:05:03 Well, not for any BB algorithm. 22:05:10 But for a particular one, yes. 22:05:23 This one, ihope: http://en.wikipedia.org/wiki/Ackermann_function#Definition_and_properties 22:05:25 The numbers grow quickly with the number of symbols and states. 22:06:13 Slereah-: For a particular one? no, that's == halting problem isn't it? 22:06:26 So A(m,n) = 2 ^(m-2) (n+3) - 3. 22:06:42 Well, the halting problem can be solved for a whole lot of algorithm! 22:06:46 Just not in general. 22:06:48 So A(G_64,G_64) is about 2 ^(G_64) G_64. 22:06:53 i don't think the halting problem says anything about solving a particular case :| 22:07:03 just when the solver can be encoded in the input. 22:07:04 ihope: That's Knuth's up-arrow notation, not exponential 22:07:28 Knuth's arrow notation is what I'm trying to confer. 22:07:28 You may be right. I have some hard time with computability theory. 22:07:33 who doesn't... 22:07:54 * oklopol needs more university 22:07:58 Alan Turing? 22:08:15 turing was gay! 22:08:19 I could have had a class on the subject next semester, but it was canceled. 22:08:21 Oh zing. 22:08:25 Thank you, oklopol, for that profound insight 22:08:37 He's probably rolling in his grave now :P 22:08:44 G_65 is 3 ^(G_64) 3, which isn't obviously greater than 2 ^(G_64) G_64. 22:08:48 For some reason, I was never able to find rule /34/ on Alan Turing. 22:08:52 Then again, he DID commit suicide because he was persecuted for homosexuality... 22:08:59 And yet, he should be an obvious target. 22:08:59 Slereah-: Oh jesus christ 22:09:05 Slereah-: I really hate you 22:09:09 o-o 22:09:28 Heh. 22:09:46 Slereah-: There are 10 A's in the Massachusetts lake name CHARGOGGAGOGGMANCHAUGGAUGGAGOGGCHAUBUNAGUNGAMAUGG 22:10:11 would be cool to get aroused by CA 22:10:18 * oklopol should learn that 22:10:25 CA? 22:10:29 cellular automata 22:11:24 It takes a pretty special definition of coolness. 22:11:42 There are 21 A's in the onomatopoeia AAAAAAAAAAAAAAAAAAAAAH! 22:11:46 that would be *awesome* 22:12:11 It would inspire some aw, indeed! 22:12:22 There is a million A in a sequence of a million A. 22:12:40 GregorR: :D 22:12:57 -!- Slereah- has changed nick to Slereah. 22:13:42 -!- ehird` has left (?). 22:13:47 -!- ehird` has joined. 22:16:21 * oklopol has a theory humans can learn to get sexually excited by anything with universal behavior 22:17:18 erm, don't you mean hypothesis? 22:17:20 or more generally, an automaton can get excited by any automaton it can emulate, but can't emulate trivially, and gets the most excited by automatons similar to it 22:17:48 well i guess 22:17:51 In other word, WE CAN TEACH THE COMPUTER TO LOVE 22:17:51 i'm not sexually excited by turing machines 22:18:04 Slereah: Of course. Haven't you read Godel, Escher, Bach? ;) 22:18:12 Turing machines would be perfect for bondage, with that infinite tape. 22:18:19 No. 22:18:29 they aren't very similar to your workings, ehird`; it only means you *can* get excited by them 22:18:35 *sexually 22:19:25 human can get sexually excited by things without that 22:19:25 Slereah: It's a rambling hodgepodge of a book released in the 70s written by Douglas Hofstader (sp). It goes through various bizzare analogies and explanations and presents a theory of mind based on 'strange loops' and suggests this as a possible model for AI. 22:19:39 hmm... people can get excited by balloons... does that mean GregorR's pneumatic computer would most likely work? 22:19:42 Hofstadter, isn't it? 22:19:45 Slereah: It's very interesting, but Douglas is crazy :) Still, I believe it has some current value 22:19:48 ihope: yes, thanks 22:19:57 http://en.wikipedia.org/wiki/G%C3%B6del%2C_Escher%2C_Bach 22:20:01 bsmntbombdood: damn, gotta agree on that :< 22:20:15 oklopol: Just imagine, tubes writhing, pumping in and out as the air fills them, ooh yes. 22:20:20 Only computation theory book I bought was "To mock a mockingbird". 22:20:27 It's like tentacle porn, but with more computation. 22:20:27 Although the accurate word is "ordered". 22:20:34 wait GEB is -worth- reading? 22:20:34 heh, i prefer doing it with water though 22:20:39 grar, not being tolerant to caffiene sucks 22:20:44 faxathisia: er, in my opinion 22:20:45 one coffee and i get the shakes 22:20:47 The internet provides pretty much the rest on computation. 22:20:59 bsmntbombdood: same thing, sometimes 22:21:01 ehird`: you're probably right.. I guess I'll check the library 22:21:04 i mean 22:21:04 i have. 22:21:11 I just assumed it was total garbage for some reason though :p 22:21:42 faxathisia: It's interesting but a bit mind-warping at parts :P The Tortoise/Achilles might annoy you, I've seen people who they do. I didn't mind them 22:21:59 777 pages of his odd explanation style can be a bit tough to read 22:22:52 i'm going to ignore what bsmntbombdood said about liking non-tc things, for i just realized i found the perfect proof for universality. 22:23:07 erection? yay, it's tc! 22:23:11 ... 22:23:35 tc? 22:23:47 that's great 22:23:51 turing complete 22:23:54 porn is turing complete? 22:24:05 i want some porn that runs brainfuck code, stat! 22:24:12 humans can be sexually attracted to anything 22:24:50 bsmntbombdood: drink way too much coffee 22:25:03 ... 22:25:05 Is that an order? 22:25:08 yeah, most programmers masturbate on their code, they just don't tell anyone 22:25:36 hmmm, i've never done that 22:26:24 one guy in my class told he once had an erection over a java tutorial :| 22:26:39 This man will never procreate. 22:26:39 well not in my class, my class' irc channel 22:26:52 Unless he can make a robot son of some sort. 22:27:03 he actually had sex some time ago, after having complained about not getting any for like 2 years 22:27:10 now he says sex was kinda dull 22:27:22 It lacked Turing Completeness. 22:27:35 yes! 22:28:02 this discussion is disturbing 22:28:09 in more ways than 5 22:28:25 Then, I won't make my "OUTPUT DATA!" during orgasm remark. 22:28:37 i'll try keeping it on the average disturbance level 22:28:54 I'm new around here, what's the average disturbance level? 22:29:06 depends 22:29:17 Much lower than this X-D 22:29:34 heh, prolly 22:30:41 * oklopol enjoys it esoteric 22:31:36 "it" 22:33:05 perhaps we should change the subject 22:33:16 * oklopol goes to sleep -> 22:33:52 so has anyone played tic-tac-toe without paper? 22:33:55 like, mentally 22:34:31 i kinda suck at that. 22:34:37 I barely play Tic Tac Toe on paper. 22:34:50 So not a lot of mentally either. 22:34:59 it's not about winning, it's about remembering the pattern 22:35:10 tic tac toe is trivial 22:35:13 ...at least as long as you can't even do that 22:35:13 first player wins, always 22:35:18 ehird`: lol :D 22:35:31 I can't believe some people cannot win tic-tac-toe 100% 22:35:37 just block everything 22:35:39 voila, draw 22:35:39 ehird`: Actually, there's at least one playing algorithm that can never lose for either player. 22:35:46 GregorR: yes -- i meant draw 22:35:48 ehird`: you win all the computer programs? 22:35:49 Ah 22:35:52 Yeah, draw != win :P 22:36:16 err... first player always wins, given perfect players 22:36:17 oklopol: um, of course... and all the real players 22:36:21 oklopol: and no 22:36:24 oklopol: it's always a draw 22:36:26 no. 22:36:31 or then i've been lied to 22:36:33 you have 22:36:34 can i see that on print? 22:36:37 go try this 22:36:38 http://boulter.com/ttt/ 22:36:45 oh sorry 22:36:46 if you can win every time i am impressed :P 22:36:51 i may be using wrong terminology 22:36:52 the AI is kinda dumb in that one too 22:37:00 i naturally mean infinite board 22:37:06 oh 22:37:07 well duh 22:37:11 >_O 22:37:13 "duh"? 22:37:28 i naturally mean infinite board // so you mean NOT tic-tac-toe X_X 22:37:32 yeah 22:37:33 tic tac toe is 3x3... 22:37:37 what's the name? 22:37:41 5-in-a-row? :P 22:37:42 Infinitac-toe 22:37:42 oh. 22:37:45 go-moku perhpas 22:37:48 *perhaps 22:37:55 Weird Derivative Of Tic-Tac-Toe With An Infinite Board :P 22:38:23 i mean the game where you try getting 5 in a row 22:38:27 What would be the rule on an infinite board? 22:38:31 3 in a row? 22:38:36 5 22:38:36 An infinity in a row? 22:38:42 nothing else makes sense 22:39:00 3/4 make the game trivial, 6 makes it impossible 22:39:07 impossible? 22:39:09 nay. 22:39:10 to win 22:39:25 also, i wish there was a language that could compile to java applets 22:39:33 or at least something with pixel-by-pixel graphics (NOT flash) 22:39:38 but something nicer 22:39:38 ehird`: Uhh, Java? 22:39:41 something like Python 22:39:48 GregorR: Yeah, but Java is ewwww to program in 22:39:56 Can Python compile to C? 22:40:00 No. 22:40:01 Hmm 22:40:04 Jython might work 22:40:04 Then you're boned :) 22:40:06 http://www.jython.org/Project/index.html 22:40:18 -!- pikhq has quit (Read error: 110 (Connection timed out)). 22:40:23 http://www.jython.org/applets/index.html That is win <3 22:40:35 But that loading time sucks ;P 22:41:27 Make your own browser plugin! :-P 22:41:32 Hahahahah no. 22:41:41 Compile to JavaScript. 22:41:41 Make your own browser and protocol! 22:41:50 And/or just use JavaScript, which is much better than you think it is. 22:41:59 GregorR: Actually I know javascript is love. 22:42:03 -!- RedDak has quit (Remote closed the connection). 22:42:04 GregorR: It's very lispy 22:42:15 Oh, good - I was just using statistics for that last statement :P 22:42:24 GregorR: But - not feasable for implementing a simple 2d game, for instance 22:42:34 i.e. when i want to design my *own* menus and don't want flash's vector-ness 22:42:47 Canvas. 22:42:51 Java's awt applets are obviously perfect for that 22:42:53 but Java itself... 22:43:03 and canvas has, uhh, lots and lots of support and is really fast! 22:43:22 (Canvas is slow as shit and doesn't work on quite a number of browsers.) 22:43:36 It's supported in every major browser (with google's IE canvas hack) 22:43:49 it's still slow as shit 22:44:28 * GregorR hasn't had enough experience with it to judge its speed *shrugs* 22:44:30 -!- k1w2u3 has quit ("Leaving"). 22:44:35 My only experience is my JS 3D engine. 22:44:54 hmm 22:44:54 show me 22:45:11 My ultra-slow, crappy 3D engine? :P 22:45:25 Yes! 22:45:29 That only uses canvases for one-color walls, and uses s for everything else? 22:45:41 And wtf, my web site is down? >_O 22:45:42 yep 22:45:50 codu.org is up for me 22:46:01 Home computer, actually. 22:46:10 Eh, I'll just upload it to codu.org :P 22:46:58 http://codu.org/dcvogllmrcmcdp.ogg This is hypnotic 22:47:58 http://www.codu.org/js3d/3d.html 22:48:09 now that is slow 22:50:08 GregorR: Have you tried wolfenstein 3k? It's fast :P 22:50:16 hahaha 22:50:18 wolf einstein 22:50:20 3k 22:50:27 uh 22:50:29 5k 22:50:46 This uses the same theoretical technique. 22:50:49 (Raycasting) 22:51:03 But with more Gregor-doesn't-know-what-he's-doing. 22:51:21 I'm going to try Jython 22:51:35 If it works, you people can expect silly game ideas coded against your will randomly by me :P 22:51:59 If it works, you can expect me never to use any of them ^^ 22:52:03 :D 22:52:34 GregorR: you do really speak that fast, or is that computer aided? 22:52:42 oklopol: ? 22:52:47 Oh 22:52:50 that diet thing 22:52:51 At the end of that :P 22:52:55 yeah 22:52:56 oklopol: Obviously aided 22:52:59 I spoke at normal speed and used Audacity. 22:53:03 i speak finnish faster than that. 22:53:06 It doesn't sound quite human ^^ 22:53:22 GregorR: it reminds me of Farkle 22:53:27 i can read aloud faster than my friend reads 22:53:41 well yeah, it kinda sdluppers. 22:54:39 * Sgeo should get going.. NOW 22:54:42 Bye all 22:55:08 i can't make out what you say there, GregorR :< 22:55:11 what do you say? :D 22:55:21 well some of it. 22:55:53 oh, i think i got it 22:56:11 ... is not kosher. Do not drink ... if you are pregnant or think you may become pregnant. As with all sodas, ... has a risk of dependence. Please consult your doctor before drinking ... 22:56:44 Oh, I forgot one. 22:56:54 ... is not appropriate for children, nursing mothers or senior citizens. 22:57:02 "May cause spontaneous death" 22:57:03 okay, i didn't get that kosher thing, and thought you said you may become pregnant by drinking it 22:57:40 "The manufacturer shall not be liable for any mind controlling drugs present in the product" 22:57:42 If you've ever heard radio ads (in America?), the quick-talking guy at the end is the equivalent of small print :) 22:57:51 hmm, i vaguely recall some woman speaking 5 words a second 22:58:02 yeah, i know 22:58:17 i've seen a lot of american shows 22:58:50 hmm, i think i'll do some sleeping now -> 22:58:58 cya 22:59:23 Bye. 23:08:36 I'd like to try improvisational language again. 23:09:12 Call it Planlang, for obvious reasons. 23:10:33 Improvisational language = ? 23:11:17 -!- Sgeo has quit (Connection timed out). 23:12:15 ihope: hahaha 23:12:20 #planlang? 23:14:01 i wanted to learn that one language 23:14:08 toko pino or something like that 23:14:46 I WANNA TOK O PIANO 23:14:55 toki pona 23:14:58 I WANNA TACO PIANO 23:14:59 ihope: ping #planlang