00:00:15 <ehird`> one quadrillionth-last?
00:01:37 -!- ihope_ has joined.
00:02:12 <ehird`> what's the factorial of pi?
00:02:38 <ehird`> (Decreasing first the last decimal place, then the second last, etc. of course)
00:02:49 <ihope_> About 7.188082728976031.
00:03:16 <ihope_> I'm just hoping that doing that doesn't change the result :-P
00:05:11 <ehird`> Take pi, fully calculated to all digits (yes, i am being sarcastic here ;))
00:05:28 <ehird`> Then, take the last decimal digit of pi (here referred to as -1, second-last being -2 etc)
00:06:18 <ehird`> instead of (n-1), pretend it's (n but with last_decimal_place decreased by one)
00:06:39 <ehird`> of course, when that gets to 0, you go to -2
00:08:38 -!- ihope__ has joined.
00:08:46 <ihope__> n! = n * (n but with last_decimal_place decreased by one)!?
00:09:03 <ihope_> n! = n * (n but with last_decimal_place decreased by one)!?
00:09:03 -!- ihope_ has quit ("Reconnecting").
00:09:15 <ehird`> so, the question is, with that definition, what is pi!
00:09:29 <ehird`> (pi!) of course, not pi exclamation :P
00:09:34 <ihope__> With that definition, I'd say that pi! = 0.
00:10:03 <ehird`> pi! = pi * (pi - tiny)!
00:10:31 <ihope__> pi! = pi * pi!, 1 = pi or pi! = 0.
00:10:49 <ehird`> it's just 314!, except the decimal place is retained
00:10:58 <ehird`> instead of 314 * 313 * 312 * ...
00:11:04 <ehird`> it's 3.14 * 3.13 * 3.12...
00:11:15 <ehird`> except, of course, with the "full" pi ;)
00:11:45 <ihope__> Well, first, it's 314! / 10^314, about.
00:12:04 <ihope__> The limit as 314 approaches infinity of that is infinity.
00:12:15 <ehird`> Well, using just 3.14 * 3.13 * ... * 3 * 2 * 1,
00:12:51 <ehird`> 3.14 * 3.13 * 3.12 * 3.11 * 3.1 * 3 * 2 * 1
00:13:13 <ehird`> since, of course, 3.1 (it would come to 310 with 314!) is 3.10
00:13:23 <ihope__> So it's some big product. :-)
00:14:13 <ehird`> Of course it wildly changes with only two more digits of precision
00:14:22 <ehird`> 1704185.70729987 is the result with 3.1415
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 <dbc> Okay, I let it run and now it has calculated up to 1285!.
02:15:14 <dbc> Make that 1288!.
02:43:57 -!- immibis has joined.
02:44:32 <immibis> does anyone know of a *free* program that reads rss feeds and sends new messages to a specified mailbox via smtp?
02:50:20 <immibis> 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 <ihope__> If you're not past 4000! yet, dbc, you need to fix your interpreter. :-P
02:54:35 <dbc> Ordinarily I would be using a compiler if I were in a real hurry.
02:55:14 <dbc> Did anyone do anything with your busy beaver task?
02:55:26 * immibis wonders what ihope__ and dbc are talking about
02:55:46 * immibis sees that you are running a BF factorial program.
02:56:23 * immibis wonders if the program uses this simple algorithm:
02:56:52 <ihope__> Stop making me look stupid, immibis.
02:58:18 <immibis> http://pastebin.ca/764341 this algorithm
02:59:09 <ihope__> iterate (\(x,y) -> (x+1,y*(x+1))) (0,1)
02:59:18 <dbc> Not exactly.
03:04:23 -!- ihope has quit ("Lost terminal").
03:09:21 -!- ihope__ has changed nick to ihope.
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 <oklopol> (04:55:00) immibis reads the irc log
06:23:50 <oklopol> (04:55:11) immibis sees that you are running a BF factorial program.
06:24:09 <oklopol> took me like 6 minutes to read it
06:42:47 -!- faxathisia has joined.
06:43:40 <faxathisia> woah, the ais523 guy used to hang here?
07:23:56 <GregorR> I don't know that he's /stopped/, but presumably he has a bit more of a life now :P
07:25:11 <lament> spending all that money :)
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:19:17 <faxathisia> 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 <faxathisia> and using logic programming technique, hopefully any parser could also be an unparser
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: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 <ehird`> hi jix, Tritonio_, etc
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 <Sgeo> Anyone here interested in PSOX?
19:09:54 -!- sebbu2 has joined.
19:27:54 <dbc> 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:45 -!- sebbu has quit (Connection timed out).
19:30:03 <dbc> The good thing is, now my printer will have a twelve-foot power cable :/
19:41:56 <Sgeo> GregorR, #psox
19:42:51 <ehird`> I just installed a new one
19:42:57 <ehird`> you've said #psox enough
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:46:47 -!- Treora has left (?).
20:50:10 <Sgeo> http://trac2.assembla.com/psox/browser/trunk/spec/psox.txt
20:50:55 <Sgeo> 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:58:16 -!- RedDak has quit ("I'm quitting... Bye all").
20:58:34 -!- RedDak has joined.
21:01:29 <Slereah-> Substract "awesome" to the statement.
21:01:41 <ehird`> bsmntbombdood is generating random text programmatically
21:02:07 <ehird`> you won't be able to get a good match like that again
21:08:57 <ehird`> bsmntbombdood: foodlesnap
21:11:11 <ehird`> s/bsmntbombdood/ehird`
21:11:14 <ehird`> "battle of the regexps"
21:11:32 <GregorR> You both really like bonobos, in a creepy way, apparently.
21:11:44 <Sgeo> ehird`, you like regexes in IRC, but not PSOX? meh
21:12:23 <ehird`> irc is human-evaluated
21:12:40 <ehird`> "bonobos are fucking ehird`"
21:13:05 <ehird`> s/fucking/not at all like/
21:13:31 <GregorR> ehird`: Then you're clearly an alien.
21:13:42 <ehird`> Maybe i'm a fundamentalist Christian! :P
21:13:52 <Sgeo> What's a bonobo?
21:14:05 <ehird`> Sgeo, meanwhile, is learning about esolangs while forgetting about primates
21:14:45 <GregorR> 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:15:16 <ehird`> (Meanwhile, all 4 fundamentalist Christians on freenode are trying to get you k-lined)
21:15:33 <Sgeo> there are fundy Christians on FN?
21:15:41 <GregorR> I'm sure there are, somewhere.
21:15:58 <ehird`> GregorR: http://www.christianasp.net/
21:16:04 <dbc> Fundamentalists are the coolest monkey?
21:16:09 <GregorR> I'm going to assume that's NSFW
21:16:17 <GregorR> dbc: No, intelligent humans are ^^
21:16:49 <GregorR> I'm soooo shocked that it's ASP.NET :P
21:16:57 <GregorR> Two great things that taste great together!
21:16:58 <Sgeo> ...Christian ASP?
21:17:06 -!- jix has quit ("CommandQ").
21:17:13 <ehird`> Hosting and ASP programming for churches!
21:17:16 <dbc> "What's that?" "That's the badge of my order." "What's your order?" "Primates. Why, what's yours?"
21:17:53 <ehird`> I wonder if they prey when the servers go down
21:18:00 <ehird`> Dear Lord, please this day give us our daily SSH
21:18:03 <GregorR> I doubt it, but they probably pray.
21:18:12 <GregorR> They may go a'huntin', too.
21:19:12 <GregorR> I'm thinking Microsoft ASP.NET Website Manager 2009
21:19:40 <ehird`> in #esoteric we are united by two things: hate of ASP and hate of most christians
21:20:04 <ehird`> (most christians ARE pretty fundamentalist)
21:20:17 <GregorR> I don't know if that's true.
21:20:26 -!- RedDak has quit (Remote closed the connection).
21:20:28 <GregorR> I just have a general disdain for religion, with a specific hate for fundies :)
21:22:45 -!- RedDak has joined.
21:28:09 <oklopol> faxathisia: i know lots of parsers
21:28:50 <faxathisia> I am probably going to try writing a simple one soon
21:29:49 <faxathisia> oklopol: what parsers do you know which aren't like yacc or parsec?
21:32:33 <oklopol> faxathisia: well i just started making a recal-parser, and i made my tode-parser some time ago...
21:33:10 <faxathisia> I find it hard to differentiate between parser and (parser generator or language in which it's easy to write parsers)
21:33:11 <oklopol> i think everyone here has made a parser
21:33:18 <oklopol> but not many have made a generic one..
21:33:57 <Sgeo> Have I made a parser? I don't _think_ so
21:34:12 * Sgeo is no good with stringy stuff
21:35:02 <oklopol> perhaps individuals occasionally
21:35:09 <oklopol> (ehird`) in #esoteric we are united by two things: hate of ASP and hate of most christians
21:35:37 * Sgeo doesn't hate ASP
21:35:48 <Sgeo> I've never used it, and don't know it, so how can I have it?
21:35:54 <bsmntbombdood> oklopol: a few ounces of semen a day keeps the ulcers away
21:36:02 <oklopol> 2 bottles of ED and 4 coffees today
21:36:09 <oklopol> i like coffee a bit more than my body
21:36:10 <Sgeo> Nor do I hate Christians.. Christianity I disagree with, but I don't dislike Christians..
21:36:17 <GregorR> 2 bottles of erectile dysfunction?
21:36:30 <oklopol> ed is a finnish energy drink
21:36:46 <oklopol> i've told that 3 times on this channel, don't you read my random ramblings from the logs?!?!?
21:37:08 <GregorR> 2 bottles of erectile dysfunction?
21:37:35 <oklopol> i guess you stuff your penis in a bottle or something
21:38:02 <oklopol> first mash it with a hammer or something, and it surely won't erect
21:40:58 -!- ihope has joined.
21:41:11 <Sgeo> Nor do I hate Christians.. Christianity I disagree with, but I don't dislike Christians..
21:41:18 <Sgeo> I mean, hi ihope
21:41:36 <ihope> I'm going to flip a googol of coins!
21:41:40 <oklopol> 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 <oklopol> i had to add the last one, because anything with fuck will be tinkered with anyway
21:43:46 <ehird`> Sgeo: most christians in my experience mention it often
21:43:49 <ihope> How curious. The first 5 * 10^99 coins were all heads.
21:43:51 <ehird`> Sgeo: purposefully to inflame you
21:44:17 <Sgeo> or to just tease me a bit, maybe?
21:44:27 * Sgeo is thinking of one person in particular
21:44:51 <GregorR> SUPER DANCE EXPLOSION TIME
21:44:54 <ehird`> either way they're going to hell for not respecting the lord's word ;)
21:46:09 <GregorR> The roof isn't a very good musician though.
21:46:15 <GregorR> HAW HAW L'PUNS ARE L'UNFUNNAY
21:47:04 <ihope> Hmm. Anybody know what 7.5*10^99 choose 5*10^99 is?
21:47:30 -!- k1w2u3 has joined.
21:47:44 <oklopol> somewhere around 100 i think
21:48:55 <GregorR> I suspect it's a liiiiiiiiiiittle bit higher than that.
21:49:28 <ehird`> oklopol: it's ... 'several' orders bigger
21:49:58 <oklopol> yeah, that might be closer, but i prefer nice round numbers when not sure.
21:50:11 <ihope> I'll just assume it's 20.
21:50:21 <ihope> bsmntbombdood: have you actually calculated it?
21:50:22 <GregorR> I would say it's several hundred orders of magnitude bigger.
21:50:35 <oklopol> like it could be *that* little
21:51:01 <ihope> Well, anyway, the next 2.5*10^99 coins were all tails.
21:51:04 <ehird`> puzzlingly google's calculator refuses to accept that :P
21:51:12 <ehird`> it calculates the individual numbers, tohugh
21:51:23 <oklopol> hmm, does google know choose?
21:51:25 <ehird`> methinks they have some, uh, checks in there ;)
21:51:33 <ihope> I should just write a computer program to flip all these coins.
21:51:43 <ehird`> 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:52:00 * bsmntbombdood types binom(7.5*10^99, 5*10^99); into maxima and waits
21:52:12 <oklopol> oh, "choose" for choose :O could that *be* less intuitive...
21:52:33 <ehird`> 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 <ehird`> but, alas, not 7.5*10^99 and its ilk ;)
21:52:59 <ehird`> 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:28 <ehird`> bsmntbombdood: gosh how suprising
21:53:52 <bsmntbombdood> it wuz using my precious memories and clock sykles
21:54:02 <ihope> Bounds would be just as useful as the number itself.
21:54:25 <ihope> 20 was a good enough lower bound to find that the next coins were all tails.
21:54:42 <ehird`> ihope: Try 34985743958743589734
21:54:55 <GregorR> I should mention that <scientific notation> choose <scientific notation> isn't useful, since it will be off by thousands of orders of magnitude.
21:54:56 <ehird`> Also, are you using a program? If so I want it I like useless programs :P
21:55:00 <ehird`> And as a lower bound/higher bound
21:55:07 <ehird`> GregorR: Of course, but who cares
21:55:09 <ihope> I can write a program to do this.
21:55:10 <ehird`> GregorR: It's closer than 20
21:55:18 <ehird`> ihope: ...in redivide?
21:55:31 <GregorR> ehird`: Probably not appreciably closer.
21:55:32 <ihope> GregorR: well, the scientific notations are exact.
21:55:37 <oklopol> GregorR: only if the scientific notation is an approximation...
21:55:43 <ihope> ehird`: does it HAVE to be in Redivider? :-P
21:55:47 <GregorR> Well, if they're exact, then yeah.
21:55:54 <GregorR> How often is scientific notation actually exact? :P
21:56:02 <ehird`> 7.5*10^99 is pretty exact...
21:56:06 <ihope> When it's expressing halves of a googol? :-P
21:56:07 <oklopol> it is when the numbers are created for the experiment
21:56:08 <Sgeo> What's Redivider?
21:56:18 <ehird`> Sgeo: ihope's substitution language
21:56:38 <ehird`> ihope: google's calculator calculates googol/2 for the record
21:56:38 <ihope> Not really substitution; it's inspired by Parsec and such combinator parsers.
21:56:39 <GregorR> Suffice to say that your power would probably need to be represented in scientific notation :P
21:57:55 <ihope> Let's express everything in scientific notation! In this game I currently have 7.2*10^(1*10^0) gold.
21:59:20 <GregorR> '0' isn't scientific notation, you need 0*10^(0^10^(...))
21:59:36 <GregorR> Erm, with 0*10 in that inner paren >_>
22:00:27 <faxathisia> I have (1*10^(1*10^999999)ββ(1*10^99999))ββ(1*10^(1*10^999999)ββ(1*10^99999)) golds!
22:01:04 <Slereah-> Even more than atoms in 'em universe!
22:01:21 <ehird`> I have A(g_64,g_64) gold!
22:02:01 <ihope> I think compose graham (graham 64) 64 is bigger.
22:02:14 <ehird`> No, the ackermann function is pretty good ;)
22:02:31 <ehird`> Its formal definition: Takes two numbers, and outputs something big.
22:03:02 <faxathisia> 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 <ehird`> faxathisia: that's... useful
22:03:18 <ihope> I think even G_G_G_G_G_64 is bigger than A(G_64,G_64).
22:03:32 <ehird`> ihope: A(g_64,g_64) is the xkcd number.
22:03:41 <ehird`> It's probably much bigger than G_G_G_G_G_64
22:03:46 <ihope> Does that mean it's bigger than all other numbers?
22:04:02 <ehird`> the Clarkkkson number is bigger
22:04:11 <ihope> A(G_64,G_64) is about G_64 ^(G_64) G_64.
22:04:15 <ehird`> but clarkkson is ... kind of arbitarily defined
22:04:22 <ehird`> And no it isn't, ihope
22:04:38 <Slereah-> There's some pretty big numbers involved with the busy beaver algorithm.
22:04:45 <ihope> Which Ackermann function are you using?
22:04:50 <ehird`> Slereah-: Yeah, but BB isn't computable
22:05:03 <Slereah-> Well, not for any BB algorithm.
22:05:10 <Slereah-> But for a particular one, yes.
22:05:23 <ehird`> This one, ihope: http://en.wikipedia.org/wiki/Ackermann_function#Definition_and_properties
22:05:25 <Slereah-> The numbers grow quickly with the number of symbols and states.
22:06:13 <ehird`> Slereah-: For a particular one? no, that's == halting problem isn't it?
22:06:26 <ihope> So A(m,n) = 2 ^(m-2) (n+3) - 3.
22:06:42 <Slereah-> Well, the halting problem can be solved for a whole lot of algorithm!
22:06:48 <ihope> So A(G_64,G_64) is about 2 ^(G_64) G_64.
22:06:53 <oklopol> i don't think the halting problem says anything about solving a particular case :|
22:07:03 <oklopol> just when the solver can be encoded in the input.
22:07:04 <ehird`> ihope: That's Knuth's up-arrow notation, not exponential
22:07:28 <ihope> Knuth's arrow notation is what I'm trying to confer.
22:07:28 <Slereah-> You may be right. I have some hard time with computability theory.
22:08:19 <Slereah-> I could have had a class on the subject next semester, but it was canceled.
22:08:25 <ehird`> Thank you, oklopol, for that profound insight
22:08:37 <ehird`> He's probably rolling in his grave now :P
22:08:44 <ihope> G_65 is 3 ^(G_64) 3, which isn't obviously greater than 2 ^(G_64) G_64.
22:08:48 <Slereah-> For some reason, I was never able to find rule /34/ on Alan Turing.
22:08:52 <ehird`> Then again, he DID commit suicide because he was persecuted for homosexuality...
22:08:59 <Slereah-> And yet, he should be an obvious target.
22:08:59 <ehird`> Slereah-: Oh jesus christ
22:09:05 <ehird`> Slereah-: I really hate you
22:09:46 <faxathisia> Slereah-: There are 10 A's in the Massachusetts lake name CHARGOGGAGOGGMANCHAUGGAUGGAGOGGCHAUBUNAGUNGAMAUGG
22:10:11 <oklopol> would be cool to get aroused by CA
22:11:24 <Slereah-> It takes a pretty special definition of coolness.
22:11:42 <GregorR> There are 21 A's in the onomatopoeia AAAAAAAAAAAAAAAAAAAAAH!
22:12:11 <Slereah-> It would inspire some aw, indeed!
22:12:22 <Slereah-> There is a million A in a sequence of a million A.
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 <Sgeo> erm, don't you mean hypothesis?
22:17:20 <oklopol> 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:51 <Slereah> In other word, WE CAN TEACH THE COMPUTER TO LOVE
22:17:51 <ehird`> i'm not sexually excited by turing machines
22:18:04 <ehird`> Slereah: Of course. Haven't you read Godel, Escher, Bach? ;)
22:18:12 <Slereah> Turing machines would be perfect for bondage, with that infinite tape.
22:18:29 <oklopol> they aren't very similar to your workings, ehird`; it only means you *can* get excited by them
22:19:25 <bsmntbombdood> human can get sexually excited by things without that
22:19:25 <ehird`> 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 <oklopol> hmm... people can get excited by balloons... does that mean GregorR's pneumatic computer would most likely work?
22:19:42 <ihope> Hofstadter, isn't it?
22:19:45 <ehird`> Slereah: It's very interesting, but Douglas is crazy :) Still, I believe it has some current value
22:19:57 <ehird`> http://en.wikipedia.org/wiki/G%C3%B6del%2C_Escher%2C_Bach
22:20:01 <oklopol> bsmntbombdood: damn, gotta agree on that :<
22:20:15 <GregorR> oklopol: Just imagine, tubes writhing, pumping in and out as the air fills them, ooh yes.
22:20:20 <Slereah> Only computation theory book I bought was "To mock a mockingbird".
22:20:27 <GregorR> It's like tentacle porn, but with more computation.
22:20:27 <Slereah> Although the accurate word is "ordered".
22:20:34 <oklopol> heh, i prefer doing it with water though
22:20:44 <ehird`> faxathisia: er, in my opinion
22:20:47 <Slereah> The internet provides pretty much the rest on computation.
22:20:59 <oklopol> bsmntbombdood: same thing, sometimes
22:21:01 <faxathisia> ehird`: you're probably right.. I guess I'll check the library
22:21:11 <faxathisia> I just assumed it was total garbage for some reason though :p
22:21:42 <ehird`> 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 <ehird`> 777 pages of his odd explanation style can be a bit tough to read
22:22:52 <oklopol> 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:54 <ehird`> porn is turing complete?
22:24:05 <ehird`> i want some porn that runs brainfuck code, stat!
22:24:50 <faxathisia> bsmntbombdood: drink way too much coffee
22:25:08 <oklopol> yeah, most programmers masturbate on their code, they just don't tell anyone
22:26:24 <oklopol> one guy in my class told he once had an erection over a java tutorial :|
22:26:39 <Slereah> This man will never procreate.
22:26:39 <oklopol> well not in my class, my class' irc channel
22:26:52 <Slereah> Unless he can make a robot son of some sort.
22:27:03 <oklopol> he actually had sex some time ago, after having complained about not getting any for like 2 years
22:27:10 <oklopol> now he says sex was kinda dull
22:27:22 <Slereah> It lacked Turing Completeness.
22:28:02 <ehird`> this discussion is disturbing
22:28:25 <Slereah> Then, I won't make my "OUTPUT DATA!" during orgasm remark.
22:28:37 <oklopol> i'll try keeping it on the average disturbance level
22:28:54 <Slereah> I'm new around here, what's the average disturbance level?
22:33:05 <oklopol> perhaps we should change the subject
22:33:52 <oklopol> so has anyone played tic-tac-toe without paper?
22:34:37 <Slereah> I barely play Tic Tac Toe on paper.
22:34:50 <Slereah> So not a lot of mentally either.
22:34:59 <oklopol> it's not about winning, it's about remembering the pattern
22:35:10 <ehird`> tic tac toe is trivial
22:35:13 <oklopol> ...at least as long as you can't even do that
22:35:13 <ehird`> first player wins, always
22:35:31 <ehird`> I can't believe some people cannot win tic-tac-toe 100%
22:35:39 <GregorR> ehird`: Actually, there's at least one playing algorithm that can never lose for either player.
22:35:46 <ehird`> GregorR: yes -- i meant draw
22:35:48 <oklopol> ehird`: you win all the computer programs?
22:36:16 <oklopol> err... first player always wins, given perfect players
22:36:17 <ehird`> oklopol: um, of course... and all the real players
22:36:24 <ehird`> oklopol: it's always a draw
22:36:38 <ehird`> http://boulter.com/ttt/
22:36:46 <ehird`> if you can win every time i am impressed :P
22:36:51 <oklopol> i may be using wrong terminology
22:36:52 <ehird`> the AI is kinda dumb in that one too
22:37:00 <oklopol> i naturally mean infinite board
22:37:28 <GregorR> <oklopol> i naturally mean infinite board // so you mean NOT tic-tac-toe X_X
22:37:55 <GregorR> Weird Derivative Of Tic-Tac-Toe With An Infinite Board :P
22:38:23 <oklopol> i mean the game where you try getting 5 in a row
22:38:27 <Slereah> What would be the rule on an infinite board?
22:39:00 <oklopol> 3/4 make the game trivial, 6 makes it impossible
22:39:25 <ehird`> also, i wish there was a language that could compile to java applets
22:39:33 <ehird`> or at least something with pixel-by-pixel graphics (NOT flash)
22:39:48 <ehird`> GregorR: Yeah, but Java is ewwww to program in
22:40:06 <ehird`> http://www.jython.org/Project/index.html
22:40:18 -!- pikhq has quit (Read error: 110 (Connection timed out)).
22:40:23 <ehird`> http://www.jython.org/applets/index.html That is win <3
22:40:35 <ehird`> But that loading time sucks ;P
22:41:27 <ihope> Make your own browser plugin! :-P
22:41:41 <ihope> Make your own browser and protocol!
22:41:50 <GregorR> And/or just use JavaScript, which is much better than you think it is.
22:41:59 <ehird`> GregorR: Actually I know javascript is love.
22:42:03 -!- RedDak has quit (Remote closed the connection).
22:42:04 <ehird`> GregorR: It's very lispy
22:42:15 <GregorR> Oh, good - I was just using statistics for that last statement :P
22:42:24 <ehird`> GregorR: But - not feasable for implementing a simple 2d game, for instance
22:42:34 <ehird`> i.e. when i want to design my *own* menus and don't want flash's vector-ness
22:42:51 <ehird`> Java's awt applets are obviously perfect for that
22:43:03 <ehird`> and canvas has, uhh, lots and lots of support and is really fast!
22:43:22 <ehird`> (Canvas is slow as shit and doesn't work on quite a number of browsers.)
22:43:36 <GregorR> It's supported in every major browser (with google's IE canvas hack)
22:43:49 <ehird`> 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 <GregorR> My only experience is my JS 3D engine.
22:45:11 <GregorR> My ultra-slow, crappy 3D engine? :P
22:45:29 <GregorR> That only uses canvases for one-color walls, and uses <img>s for everything else?
22:45:41 <GregorR> And wtf, my web site is down? >_O
22:46:10 <GregorR> Eh, I'll just upload it to codu.org :P
22:46:58 <ehird`> http://codu.org/dcvogllmrcmcdp.ogg This is hypnotic
22:47:58 <GregorR> http://www.codu.org/js3d/3d.html
22:50:08 <ehird`> GregorR: Have you tried wolfenstein 3k? It's fast :P
22:50:46 <GregorR> This uses the same theoretical technique.
22:51:03 <GregorR> But with more Gregor-doesn't-know-what-he's-doing.
22:51:21 <ehird`> I'm going to try Jython
22:51:35 <ehird`> If it works, you people can expect silly game ideas coded against your will randomly by me :P
22:51:59 <GregorR> If it works, you can expect me never to use any of them ^^
22:52:34 <oklopol> GregorR: you do really speak that fast, or is that computer aided?
22:52:56 <ehird`> oklopol: Obviously aided
22:52:59 <GregorR> I spoke at normal speed and used Audacity.
22:53:03 <oklopol> i speak finnish faster than that.
22:53:06 <GregorR> It doesn't sound quite human ^^
22:53:22 <ehird`> GregorR: it reminds me of Farkle
22:53:27 <oklopol> i can read aloud faster than my friend reads
22:53:41 <oklopol> well yeah, it kinda sdluppers.
22:54:39 * Sgeo should get going.. NOW
22:55:08 <oklopol> i can't make out what you say there, GregorR :<
22:56:11 <GregorR> ... 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:54 <GregorR> ... is not appropriate for children, nursing mothers or senior citizens.
22:57:02 <Slereah> "May cause spontaneous death"
22:57:03 <oklopol> okay, i didn't get that kosher thing, and thought you said you may become pregnant by drinking it
22:57:40 <Slereah> "The manufacturer shall not be liable for any mind controlling drugs present in the product"
22:57:42 <GregorR> 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 <oklopol> hmm, i vaguely recall some woman speaking 5 words a second
22:58:17 <oklopol> i've seen a lot of american shows
22:58:50 <oklopol> hmm, i think i'll do some sleeping now ->
23:08:36 <ihope> I'd like to try improvisational language again.
23:09:12 <ihope> Call it Planlang, for obvious reasons.
23:10:33 <GregorR> Improvisational language = ?
23:11:17 -!- Sgeo has quit (Connection timed out).