←2007-06-19 2007-06-20 2007-06-21→ ↑2007 ↑all
00:00:45 <bsmntbombdood> he'll find many more ways to be a fuckhead
00:09:51 <lament> eat him first
00:12:05 <SimonRC> better, get me to do so
00:12:44 <bsmntbombdood> you can share him
00:14:18 * SimonRC refers to something he has mentioned on several other channels, though not here.
00:14:32 <oerjan> yes you have mentioned it here.
00:14:39 <bsmntbombdood> oh, right
00:15:07 * SimonRC grins insanely.
00:15:16 <oerjan> barbeque party at SimonRC's!
00:15:32 <bsmntbombdood> eek
00:17:07 <SimonRC> I didn't say anything about cooking
00:17:56 <SimonRC> Ok, let's change the subject...
00:18:05 <SimonRC> Nice weather we're having.
00:18:56 <bsmntbombdood> let's talk about oerjan's sexual deviations
00:19:05 <oerjan> eek
00:19:38 <pikhq> Sex with goats under the midnight sun.
00:20:26 * SimonRC fails to recall what "the midnight sun" is a euphamism for.
00:20:46 <RodgerTheGreat> the moon?
00:20:50 <bsmntbombdood> isn't it just when the sun is up at midnight in the far north?
00:20:52 <SimonRC> no, RodgerTheGreat
00:20:56 <RodgerTheGreat> a fluorescent lamp?
00:21:06 <pikhq> Nothing, really. He's far north, and during the summer there, it doesn't quite hit night.
00:21:14 <pikhq> (although the sun does set, IIRC)
00:22:19 <oerjan> it's 1:20 am and the sky is nice and blue, although not exactly bright
00:22:34 <lament> i thought midnight sun was a euphemism for an orgasm
00:22:47 <oerjan> (without DST it's actually 0:20)
00:24:12 * pikhq hates your country. . .
00:24:24 <pikhq> I want it to be *night* all day long for a while, too. :p
00:24:43 <oerjan> that would be around December.
00:24:45 <lament> it's not pleasant
00:24:59 <pikhq> I. . . And you. . .
00:25:01 <pikhq> Jeeze.
00:25:11 * pikhq will stick with his lower latitudes
00:27:10 * SimonRC concatenates lament's last two remarks and laughs
00:27:24 * bsmntbombdood does the same
00:29:14 * pikhq concatenates RodgerTheGreat's statement with lament's second to last statement
00:29:40 <oerjan> btw Trondheim is at 63 degrees North
00:29:42 <bsmntbombdood> the result is nonsensical
00:30:10 -!- sebbu has quit ("@+").
00:30:13 <SimonRC> you need a dot in-between
00:30:28 <bsmntbombdood> that's 23 more degrees north than 40 degrees north
00:30:31 * SimonRC re-reads
00:31:36 <pikhq> SimonRC: My concatenation makes sense
00:31:55 <pikhq> a fluorescent lamp? i thought mignight sun was a euphemism for an orgasm
00:32:10 <pikhq> oerjan: Too far north. :p
01:02:11 <RodgerTheGreat> pikhq: could you *try* to explain that redcode IS the language used in corewars?
01:02:28 <RodgerTheGreat> I have repeatedly failed to explain things like this to yuriks.
01:02:44 <lament> who is yuriks?
01:03:35 <RodgerTheGreat> a very stubborn, and often hilariously wrong, programmer in another channel.
01:05:31 -!- Otakubot has joined.
01:20:49 <ihope> What is this channel? >:-)
01:22:16 <RodgerTheGreat> why do you ask, ihope?
01:22:40 <ihope> The >:-) doesn't give it away? :-P
01:23:15 <RodgerTheGreat> the >:-) gives me reason for caution
01:23:28 <RodgerTheGreat> but is not itself a precise indicator
01:47:23 <ihope> Well, is anybody else getting "precondition failed" on the wiki?
01:48:05 <oerjan> no
02:01:03 <ihope> Well, it's not coming from creating pages.
02:01:22 <ihope> (Hopefully creating subpages of Esolang:Sandbox at random doesn't annoy anybody.)
02:04:58 <lament> it annoys me greatly
02:06:04 <ihope> What if I delete them right after?
02:13:13 <oerjan> IT CLUTTERS UP THE RECENT CHANGES!
02:19:00 <ihope> Doesn't everything?
02:19:19 * ihope begins to lean toward "they
02:19:22 <ihope> 're joking"
02:25:31 * SimonRC swears at a guy who write like Joseph Conrad.
02:25:38 <oerjan> only 80%
02:27:15 <SimonRC> huh?
02:27:31 <oerjan> only 80% joking
02:30:27 <ihope> Joseph Conrad?
02:31:05 <ihope> Does anybody know what might be causing these precondition errors?
02:31:58 <oerjan> ihope: what were you trying to view?
02:32:08 <ihope> I was trying to create a page.
02:32:33 <oerjan> oh. maybe it's a spam filter or some unrecognized markup?
02:32:46 <oerjan> i have seen such an error a long time ago, i think
02:34:10 <oerjan> i had to remove some part of the message, i think
02:35:06 <oerjan> do you get this error on preview? in which case you can easily experiment
02:35:44 <ihope> Apparently it's because of the string "../"
02:36:50 <ihope> I was using dots instead of spaces for empty space in a two-dimensional language, so I can use spaces instead.
02:38:11 <ihope> I can also put <!-- --> inside there, but that's inelegant.
02:38:59 <oerjan> what about an entity? not that i know the right ones for . or /
02:41:05 <ihope> Or template substitution, which would also foil anybody's attempts at editing the page. >:-)
02:43:39 <ihope> Assuming that template substitution is actually possible.
03:05:50 * SimonRC decides that _Imagining the Tenth Dimension_ is utter bullshit: http://www.tenthdimension.com/medialinks.php
03:05:59 <SimonRC> seriously, that is an official video.
03:06:56 <SimonRC> Joseph Conrad wrote _Heart of Darkness_, a book which I had to study in school and which is amazingly difficult to read.
03:07:36 <SimonRC> It is almost indescribably dificult to read
03:07:51 <SimonRC> You can't be that hard to read merely by bad grammar, you have to have something else, I am not sure what
03:16:27 <ihope> Is it fiction?
03:16:40 <SimonRC> it claims to be fact
03:17:21 <ihope> (Imagining the tenth dimension? Shouldn't we start by imagining the fourth spacial dimension?)
03:19:22 <SimonRC> The video starts reasonable, but gradually descends into utter bullshit.
03:19:38 <SimonRC> And that's just adapted from the first chapter of the book.
03:31:07 <ihope> "He cried in a whisper at some image, at some vision - he cried out twice, a cry that was no more than a breath - '"The horror! The horror!"'
03:31:27 <ihope> Takes a couple seconds to digest.
03:32:14 <RodgerTheGreat> I fail to see how "a universe with different initial conditions" creates an "additional infinity", if infinity already represents everything that was or could result.
03:32:21 <RodgerTheGreat> this seems to be a causal loop.
03:32:29 <RodgerTheGreat> or, at least, an oversight.
03:33:06 <RodgerTheGreat> perhaps this just lies in poor wordings.
03:33:33 <SimonRC> The terminology is crap, but I think there is more crap below that
03:33:39 <RodgerTheGreat> hm
03:33:56 <ihope> Wait, that video was adapted from part of Heart of Darkness?
03:34:01 <SimonRC> no
03:34:03 <SimonRC> *sigh*
03:34:11 <RodgerTheGreat> I was a little confused about those mixed references there
03:34:49 <ihope> I'm guessing there's a Tenth Dimension book or something, then.
03:34:55 <SimonRC> yes
03:35:03 <SimonRC> if you followed the link
03:35:40 <ihope> Oh, I either didn't notice that or assumed it was for Heart of Darkness or something.
03:35:43 <SimonRC> (Godsdamnit people, string theory is not bullshit, it's theoretical-physics masturbation.)
03:36:08 <SimonRC> ihope: erm, note the domain name?
03:36:27 <ihope> Who says string theory is bullshit?
03:37:49 <SimonRC> Some people on furums that were discussing the book.
03:38:38 <SimonRC> simple explanation: http://xkcd.com/c171.html
03:39:15 <RodgerTheGreat> the main thing I call bullshit on in theoretical physics is the quantum physics is the concept that behavior is probabilistic and chaotic. Apparent chaos is an emergent property of sufficiently complex deterministic systems, damnit!
03:39:27 <RodgerTheGreat> *is that quantum physics
03:39:44 <RodgerTheGreat> SimonRC: lol
03:41:28 <SimonRC> RodgerTheGreat: I am assured that there are things that QM does that can't be done by hidden variable theories.
03:41:53 <RodgerTheGreat> not hidden *variable*, hidden algorithm
03:42:58 <ihope> RodgerTheGreat: you're saying the universe isn't random?
03:43:05 <RodgerTheGreat> yes.
03:43:17 <ihope> Does QM necessarily have randomness?
03:43:18 <oerjan> SimonRC: i think those proofs only work to disprove theories without faster-than-light communication
03:43:35 <ihope> I don't know that the many-worlds interpretation is probabilistic.
03:44:09 <RodgerTheGreat> ihope: that's a good point- strictly speaking, it isn't
03:46:26 <RodgerTheGreat> SimonRC: you remind me of one of my favorite John Von Neumann quotes: "If you can tell me what, precisely, it is that a computer cannot do, I will build you a computer that will do it."
03:46:58 <RodgerTheGreat> viewing deterministic systems as computers, naturally, to make an analogy
03:47:02 <ihope> Did Alan Turing tell him what, precisely, it is that a computer cannot do?
03:48:15 <RodgerTheGreat> no. I don't see your point.
03:48:31 <RodgerTheGreat> er
03:48:32 <RodgerTheGreat> wait
03:48:39 <RodgerTheGreat> I know what you're getting at
03:48:47 <RodgerTheGreat> this wasn't a question of computability
03:48:59 <RodgerTheGreat> it was a comparison of human abilities to that of a computer
03:49:28 <RodgerTheGreat> although you do neatly deflate my analogy. touche.
03:49:59 <oerjan> as in: the only reason a computer cannot do something a human does is because we don't know precisely how a human does it
03:50:47 <RodgerTheGreat> well, yeah- that was *my* point
03:51:11 <RodgerTheGreat> I'm of the opinion that we can only effectively guess at quantum behavior because we don't fully understand how it works.
03:51:19 <ihope> Mm, indeed.
03:53:06 <RodgerTheGreat> and I cited the effectiveness of ordered systems at producing chaos as an example of a known example of an "opaque" algorithm.
03:53:41 <ihope> Now, the Copenhagen and the many-worlds interpretations are pretty much the major ones, right?
03:54:02 <SimonRC> argh my faith in humanity is destroyed
03:54:14 <oerjan> SimonRC: Again?
03:54:29 <RodgerTheGreat> ?
03:54:31 <SimonRC> all it took was a few minutes reading blogs about Imagining the Tenth Dimension.
03:54:37 * ihope hands SimonRC a list of miracles with all instances of "God" replaced by "humanity"
03:54:38 <RodgerTheGreat> oh, geez
03:54:42 <ihope> What, what'd they say?
03:54:52 <ihope> (And isn't Copenhagen many-worlds plus observation, and can't the effects of observation be explained by entanglement?)
03:55:05 <SimonRC> They were all amazed at it and said how it made string theory easier to understand
03:55:12 <RodgerTheGreat> blogs + wild speculative "science" = chaos. ironic.
03:55:34 <SimonRC> I hope bloggers aren't as smart as most people.
03:56:14 <ihope> What, you haven't seen "Are You Smarter than a Fifth Grader"?
03:57:01 <RodgerTheGreat> lol
03:58:34 <ihope> We really need to put some more emphasis on education...
03:58:57 <ihope> Let's start with education education, educating people about the benefits of education.
04:00:00 <ihope> Especially science and coding, though naturally we also need people to manage and govern and all that.
04:01:01 <RodgerTheGreat> I was thinking a while ago that schools should require reading and writing in early grades and then switch to a core curriculum of mathematics, philosophy and formal logic, with tons and tons of elective options (especially good options for the arts)
04:01:28 <ihope> Philosophy? Like... what sort of philosophy?
04:01:38 <RodgerTheGreat> and things like a foreign language and a simple coding language (LOGO anyone) should be taught from an early age
04:02:36 <RodgerTheGreat> ihope: a wide range of schools of thought. Primarily to encourage ordered thoughts about things like ethics, religion and life. The application of the mind to the world.
04:02:56 * ihope nods
04:03:05 <RodgerTheGreat> the main goal would be to demolish taboos against scientific inquiry into various topics.
04:03:20 <RodgerTheGreat> and to get people to ask questions.
04:03:23 <ihope> Hmm, functional?
04:03:40 <SimonRC> Scheme
04:04:44 <RodgerTheGreat> LOGO is as syntacticly pure as LISP, in many ways, and is more accessible.
04:05:33 <RodgerTheGreat> BASIC (and I know this is a bit of personal bias) is an excellent language for beginners as well, in terms of quick rewards for experimentation and a very intuitive method of programming.
04:15:00 <bsmntbombdood> reform of the school system won't solve anything
04:15:08 <bsmntbombdood> schools themselves are broken by design
04:15:14 <RodgerTheGreat> yes
04:15:48 <RodgerTheGreat> that doesn't mean it's an unsolvable situation, it simply has more to do with the students than the concept of schools themselves
04:16:04 <RodgerTheGreat> you have to want to learn to truly grow from education
04:16:22 <bsmntbombdood> schools aren't designed for learning
04:16:45 <bsmntbombdood> (I can't speak for universitys)
04:16:45 <RodgerTheGreat> so, solve it on a societal level. Make people want to learn, and schools will reshape themselves to suit the proactive desires of the students
04:17:10 <bsmntbombdood> you can't make people do anything
04:17:15 <RodgerTheGreat> I'm not saying schools are unflawed, but they have some redeeming facets
04:17:24 <bsmntbombdood> if society is fucked, society is fucked
04:17:32 <bsmntbombdood> maybe we deserve to be extinct
04:17:40 <RodgerTheGreat> you can't make people DO anything, but immense evidence suggests that you can make people WANT something.
04:18:48 <bsmntbombdood> i don't think centralized schooling can foster education
04:19:25 <RodgerTheGreat> please, enlighten us with your wisdom in alternative education strategies.
04:19:55 <bsmntbombdood> i think people should seek education on their own, in their own way
04:21:12 <RodgerTheGreat> not everyone is cut out for that type of education. Those that want it already do. We need a way of convincing more people that it's important and worthwhile.
04:21:13 -!- ihope has quit (Read error: 110 (Connection timed out)).
04:22:04 <bsmntbombdood> why not just let the stupid people be stupid?
04:22:31 <RodgerTheGreat> In my case, my high-school didn't offer any computers courses at all. I still took as many science and math classes I could, and explored programming and computers in my own time. Few of my peers have the same level of interest, and thus few of my peers in college have my level of skill and knowledge.
04:22:44 -!- EagleBot has quit (Read error: 110 (Connection timed out)).
04:22:45 <RodgerTheGreat> that's needlessly fatalistic.
04:22:56 <RodgerTheGreat> we need to examine where the motivation for education is rooted.
04:23:10 <bsmntbombdood> the math and science courses in my high school aren't educational
04:24:11 <RodgerTheGreat> view public school to education as wikipedia is to proper research: an outline, a starting point, not necessarily a complete corpus.
04:24:34 <bsmntbombdood> it's not like that
04:24:38 <bsmntbombdood> more like daycare
04:24:50 <bsmntbombdood> nothing insightful is offered
04:26:02 <RodgerTheGreat> I don't pretend I enjoyed highschool. However, I know for a fact that if you enter a class with a chip on your shoulder, you won't learn a damn thing. Even the most incompetent teachers taught me things, wether it was the subject of the class or not. Be openminded.
04:26:58 <bsmntbombdood> that hasn't been my experience
04:28:50 <bsmntbombdood> actually, the thing my teachers have taught me is that schools are broken
04:31:19 <oerjan> whatever you expect to get, is what you will usually get.
04:31:51 <RodgerTheGreat> ADD 1 TO oerjan GIVING oerjan
04:32:03 <RodgerTheGreat> or the more conventional, oerjan++;
04:32:07 <bsmntbombdood> high expectations don't improve the conditions
04:32:41 <oerjan> they improve your ability to make the best out of the conditions.
04:33:40 <bsmntbombdood> or just leave you dissapointed
04:36:12 <SimonRC> I seemed to learn just fine in school
04:36:26 <oerjan> there is a book about this i read, it's called "The Luck Factor". the author carried out experiments to find out whether there were people who actually were lucky.
04:36:44 <oerjan> surprisingly, the answer was yes.
04:37:00 <oerjan> and the most deciding factor was optimism.
04:37:25 <bsmntbombdood> you can measure luck
04:37:59 <oerjan> also, people could improve their luck by changing their outlook.
04:38:04 <SimonRC> hmm
04:38:12 <SimonRC> define "luck"
04:38:47 <oerjan> one of the experiments involved putting a bill on the street in front of a place the subjects were going to meet the experimenters.
04:38:52 <SimonRC> and?
04:39:26 <RodgerTheGreat> SimonRC: I would define luck as the perception of one's tendency to success or failure. Key word: perception.
04:39:30 <oerjan> the lucky optimists picked up the bill, the unlucky pessimists simply ignored it as if it wasn't there.
04:39:39 <SimonRC> why?
04:39:52 <SimonRC> why did they ignore it?
04:40:37 <oerjan> i don't remember but my understanding is simply that they were so _determined_ to believe they were unlucky that they refused to sense any opportunity for the opposite.
04:41:45 <bsmntbombdood> there could be other factors when deciding to pick up money off the street
04:41:47 <oerjan> basically, people unconsciously act to reinforce their beliefs, even if they believe they don't.
04:41:56 <SimonRC> oerjan: and, having made this discovery that shakes the foundations of modern physics, what did he do next?
04:42:23 <oerjan> well he actually didn't prove anything directly anti-scientific.
04:43:01 <oerjan> as far as i could see.
04:43:05 <SimonRC> hm
04:43:10 <oerjan> well, clearly he published a book.
04:44:32 <oerjan> naturally, his definition of luck was not about being able to influence dice or that kind of thing, it was about practical luck
04:44:54 <oerjan> it's been a while since i read it.
04:45:32 <RodgerTheGreat> well, g'night everyone- I need to hit the hay
04:45:36 <SimonRC> actually, that matches what I think
04:45:49 <oerjan> yeah, i remember we had a similar conversation
04:46:06 -!- RodgerTheGreat has quit.
04:46:11 <SimonRC> I also think that it is very difficult to change your own attaitude without assistance.
04:47:10 <SimonRC> therefore, if you are unlucky you still can't just change to being lucky without help, but for a different reason
04:48:07 <SimonRC> Note: If someone is helping you to change yourself, then by definition you aren't doing it without assistance.
04:48:12 -!- c|p has quit ("Leaving").
04:50:20 <SimonRC> zzzzzzz
05:14:51 -!- boily has joined.
05:41:50 -!- oerjan has quit ("znore").
06:08:14 -!- sp3tt has quit (Remote closed the connection).
06:08:18 -!- sp3tt has joined.
06:33:41 -!- GreaseMonkey has joined.
06:52:32 -!- boily has quit ("Sleep").
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:39:45 -!- Sukoshi has changed nick to Sukoshi`.
08:41:08 -!- Sukoshi` has changed nick to Sukoshi.
10:06:05 -!- Mechminx has joined.
10:06:11 -!- Mechminx has left (?).
10:44:24 -!- jix_ has joined.
10:52:50 -!- GreaseMonkey has quit (Connection timed out).
12:03:26 -!- pikhq has quit (Read error: 110 (Connection timed out)).
12:05:19 -!- RodgerTheGreat has joined.
13:55:53 -!- ihope__ has joined.
13:56:03 -!- ihope__ has changed nick to ihope.
13:57:46 -!- c|p has joined.
14:06:25 -!- pikhq has joined.
14:36:20 <ihope> I like Epigram. You can define functions that return different types based on whether their arguments are multiples of 3.
15:39:09 -!- jix_____ has joined.
15:41:21 -!- jix_____ has changed nick to jix.
15:42:54 -!- crathman has joined.
15:45:20 -!- jix_ has quit (Read error: 113 (No route to host)).
15:48:52 <jix> i have an idea for another esolang...
16:15:28 <ihope> What's the idea?
16:15:54 <jix> bitqueues
16:16:06 <jix> but i have to do physics homework first
16:16:31 <ihope> What, using things so mundane as bits? Why not use billiard balls instead?
16:16:33 <ihope> :-P
16:17:08 <jix> because bits work quite nice.....
16:52:36 -!- sebbu has joined.
16:53:36 -!- pikhq has quit (Remote closed the connection).
16:59:21 -!- pikhq has joined.
17:08:11 -!- crathman has quit ("ChatZilla 0.9.78.1 [Firefox 2.0.0.4/2007051502]").
17:17:52 -!- pikhq_ has joined.
17:26:21 -!- pikhq has quit (Read error: 113 (No route to host)).
17:48:48 -!- oerjan has joined.
18:24:49 -!- crathman has joined.
18:41:39 -!- pikhq_ has quit (Remote closed the connection).
18:42:00 -!- pikhq has joined.
18:44:56 -!- jix has quit ("This computer has gone to sleep").
18:50:18 -!- ihope__ has joined.
18:53:40 -!- ihope has quit (Nick collision from services.).
18:53:43 -!- ihope__ has changed nick to ihope.
18:53:58 <ihope> VAMOS A BOT
18:54:05 -!- EagleBot has joined.
18:54:13 <ihope> See? There's the bot.
19:03:51 -!- pikhq has quit (Read error: 104 (Connection reset by peer)).
19:04:01 -!- pikhq has joined.
19:04:50 <pikhq> God. . .
19:04:50 <pikhq> I'd be better off with smoke signals in LA.
19:04:50 <pikhq> *STOP LAGGING, DAMN IT!*
19:04:56 <pikhq> I get connected, and the lag time immediately starts counting. :(
19:05:06 <lament> turn off the lag timer!
19:05:35 <pikhq> "Join to #esoteric was synced in 74 secs"
19:05:42 <RodgerTheGreat> geez
19:06:26 <lament> 74 seconds is not that bad.
19:08:05 <RodgerTheGreat> 74 seconds is fairly bad when we're talking about something like IRC
19:08:28 <pikhq> Jeeze. I'd have better response times from the ISS.
19:08:35 <pikhq> My lag time is 24 seconds.
19:08:35 <pikhq> And counting.
19:12:44 * ihope sends pikhq a CTCP PING
19:14:36 -!- crathman has quit ("ChatZilla 0.9.78.1 [Firefox 2.0.0.4/2007051502]").
19:15:27 <ihope> Two minutes, 30 seconds.
19:15:36 <ihope> That's pretty darn bad.
19:22:36 -!- pikhq has quit (Read error: 104 (Connection reset by peer)).
19:25:12 -!- pikhq has joined.
19:25:43 <pikhq> Here's hoping that it decides to be more obedient.
19:26:02 <lament> it puts the lotion on its face or else it gets the hose again!
19:26:12 <pikhq> No, no, no.
19:26:29 <pikhq> It puts the packet in its tube or else it gets the SIGKILL again.
19:33:00 * ihope sends pikhq another CTCP PING
19:33:10 * pikhq noticed
19:33:10 <ihope> Yay, ten seconds!
19:35:22 <pikhq> For now.
19:40:00 <oerjan> 0.431 seconds to ihope.
19:40:23 <ihope> You're getting replies from me faster than I am?
19:40:33 * ihope pings himself again
19:40:56 <ihope> Consistently above 1 second.
19:42:50 <oerjan> consistently around 0.5 seconds.
19:45:17 -!- jix_ has joined.
19:49:57 -!- pikhq has quit (Remote closed the connection).
19:50:05 -!- pikhq has joined.
19:55:09 -!- jix_ has changed nick to jix.
19:56:53 -!- pikhq_ has joined.
19:58:37 -!- pikhq has quit (Read error: 104 (Connection reset by peer)).
19:58:47 -!- pikhq_ has changed nick to pikhq.
20:01:28 -!- Barrucadu has joined.
20:03:29 -!- Barrucadu has left (?).
20:03:34 -!- Barrucadu has joined.
20:05:47 <pikhq> Any reason for the /leave, Barrucadu?
20:08:11 <lament> Barrucadu: your language, HEX
20:08:34 <lament> Barrucadu: has one big problem
20:08:49 <lament> Barrucadu: it lacks easily addressable memory
20:09:07 <lament> Barrucadu: since each piece of memory has to be created individually and with a unique name
20:10:30 <lament> this is not critical in itself, since it's an esolang
20:11:12 <lament> esolangs don't have to be sane
20:11:25 <lament> but it does make programming much, much harder
20:11:38 <lament> however
20:12:08 <lament> if the size of each individual piece (bug) is limited, that means the overall amount of memory available is finite, so the language cannot be turing-complete.
20:12:44 <Barrucadu> if there is a limit, its being set by PHP, i'll just check the documentation
20:12:59 <lament> well
20:13:09 <lament> it's not a good idea to define YOUR language in terms of PHP.
20:13:26 <lament> if PHP changes, does that mean your language changes too?
20:13:37 <lament> your language is a separate entity
20:13:46 <lament> with its own specification
20:13:52 <oerjan> lament: but the only thing that makes you think there is a limit is the PHP implementation.
20:14:00 <Barrucadu> well, the interpreter is written in PHP, and I haven't set any limits
20:14:04 <lament> Barrucadu: right
20:14:22 <lament> the interpreter the way it's written now has a limit
20:14:38 <jix> then the spec should say so or the interpreter should be changed....
20:14:52 <jix> oh and i should do physics homework :/
20:14:59 <lament> we have lots of precedent of not specifying memory size
20:15:02 <lament> starting with brainfuck
20:15:15 <lament> but it's always nicer when things are explicit
20:15:26 <Barrucadu> how did you hit this limit? must have been a pretty big value
20:17:34 <lament> hm
20:17:42 <lament> seems you have changed the interpreter, because now i can't add two numbers
20:17:47 <lament> oh, i see
20:18:04 <Barrucadu> you can't? damn...
20:18:11 <oerjan> the interpreter is made up of bugs, they keep moving all the time :)
20:18:47 <Barrucadu> you can, there's just been a small syntax change
20:19:02 <lament> what's wrong with this program?
20:19:02 <lament> GBL;
20:19:02 <lament> Bug("foo", "99999");
20:19:02 <lament> Bug("bar", "1");
20:19:02 <lament> Breed("foo" + "bar");
20:19:05 <lament> Scuttle("foo");
20:19:07 <lament> Write;
20:19:32 <Barrucadu> no idea, works for me
20:19:49 <lament> i get melon melon melon.
20:20:16 <lament> okay, works now
20:20:20 <lament> (i reloaded the page)
20:20:25 <Barrucadu> I love my error messages :)
20:22:29 <lament> okay then
20:22:44 <lament> GBL;
20:22:44 <lament> Bug("foo", "9999999999999");
20:22:46 <lament> Bug("foo", "9999999999999Bug("bar", "1");
20:22:46 <lament> Breed("foo" + "bar");
20:22:46 <lament> Breed("foo" - "bar");
20:22:48 <lament> Scuttle("foo");
20:22:51 <lament> Write;
20:22:57 <lament> did that paste correctly
20:23:19 <lament> irssi always has problems pasting stuff :(
20:23:33 <oerjan> second line seems broken
20:23:42 <lament> GBL;
20:23:42 <lament> Bug("foo", "9999999999999");
20:23:43 <Barrucadu> so "Bug("foo", "9999999999999Bug("bar", "1");" should be "Bug("bar", "1");"?
20:23:45 <lament> Bug("foo", "9999999999999Bug("bar", "1");
20:23:45 <lament> Breed("foo" + "bar");
20:23:45 <lament> Breed("foo" - "bar");
20:23:45 <lament> Scuttle("foo");
20:23:47 <Barrucadu> ok
20:23:48 <lament> Write;
20:23:50 <lament> god fucking damn it
20:23:54 <lament> and darn it all to heck
20:24:01 * lament kicks irssi
20:24:11 <lament> Bug("foo", "9999999999999");
20:24:11 <lament> Bug("bar", "1");
20:24:31 <lament> run that program, then remove the Breed statements and run it again.
20:25:46 <Barrucadu> hmm, the first time it gives "1E+13", the second "9999999999999". even though they are both the same
20:28:14 -!- pikhq has quit (Remote closed the connection).
20:28:30 <oerjan> that's not so weird, a slight rounding off error would do that.
20:28:42 -!- pikhq has joined.
20:29:36 <oerjan> of course that indicates the implementation does not use unbounded integers
20:34:38 -!- oerjan has quit ("Supper").
20:36:39 <Barrucadu> i'm just trying to find the maxmimum number you can calculate in HEX
20:37:46 <Barrucadu> Found it.
20:37:53 <Barrucadu> GBL;
20:37:55 <Barrucadu> Bug("foo", "99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999");
20:38:03 <Barrucadu> Breed("foo" * "foo");
20:38:08 <Barrucadu> Scuttle("foo");
20:38:12 <Barrucadu> Write;'
20:38:21 <Barrucadu> results in +++ INF +++
20:39:09 <Barrucadu> If I can figure out how, i'll write a compiler at some point, so there will be no limit
20:41:42 <Barrucadu> i'll also begin thinking of a way to get around that limit
20:42:04 <bsmntbombdood> any implementation is going to have limits
20:42:26 <Barrucadu> well, have a bigger limit then
20:42:51 <bsmntbombdood> it's just important that the language doesn't have limits if you want it to be turing complete
20:49:49 <pikhq> Well, there's a difference between a limit on the size of numbers and the size of what can be stored.
20:50:03 <pikhq> It looks like he can actually *store* any number of variables.
20:51:08 <lament> pikhq: the number is limited by the size of the program
20:51:15 <lament> same as in SMETANA
20:51:49 <pikhq> Ah.
20:51:50 <pikhq> Interesa.
20:52:13 <pikhq> So, the limit itself is adjustable.
20:54:01 <lament> pikhq: that's not enough for turing-completeness.
20:54:06 <lament> but yes.
20:54:31 <lament> you can solve any problem that halts by giving it adequate memory.
20:54:51 <lament> (you can in Smetana; i don't know about HEX but i'm sure it's possible)
20:55:05 <lament> but of course, you don't know in advance if the memory will be adequate
20:56:03 <pikhq> What's to stop you from having a oo filesize?
20:56:04 <lament> and since you don't know whether the problem halts
20:56:13 <lament> pikhq: the definition of algorithm.
20:57:06 <lament> it's cheating, a finite-state automaton with infinite states :)
20:57:26 <lament> it would also mean your variable names in themselves get infinitely long
20:57:32 <lament> etc
20:58:38 * Barrucadu sits back and watches the discussion about turing-completeness
20:59:12 * RodgerTheGreat pulls out his box of string and apples
20:59:14 <RodgerTheGreat> hm
20:59:22 <RodgerTheGreat> maybe I *shouldn't* bring this out...
20:59:30 * RodgerTheGreat hides the box
21:00:12 <lament> in general though, there's nothing wrong wiht infinite programs
21:00:30 <lament> you can get them in self-modifying languages by growing the source dynamically, and nobody complains
21:01:13 <lament> the game of life is normally presumed to be played on an infinite field and nobody complains either
21:03:53 <lament> perhaps the reason is that the game of life doesn't have explicit labels
21:04:00 <lament> eg the cells aren't named
21:04:08 <lament> in smetana they are, and the names would get infinitely long
21:04:19 <lament> (and the same in HEX obviously)
21:05:20 <Barrucadu> well, even if I can't get it to be turing-complete, I achieved my goal of making a Discworld-themed language
21:23:51 -!- Barrucadu has left (?).
21:27:31 -!- pikhq has quit (Remote closed the connection).
21:29:29 -!- jix has quit ("CommandQ").
21:34:34 -!- pikhq has joined.
21:41:53 <lament> yes, he achieved that.
21:50:29 -!- erider has quit ("I don't sleep because sleep is the cousin of death!").
21:57:31 -!- erider has joined.
21:58:41 * SimonRC finds the original Bill Gates "640k" quote.
21:58:52 <lament> how does it go?
22:00:16 <SimonRC> http://pastebin.ca/579818
22:00:40 <SimonRC> particularly: "I have to say that in 1981 making those decisions, I felt like I was providing enough freedom for ten years."
22:03:24 <lament> the difference between 6 and 10 isn't that big.
22:03:32 <SimonRC> hmm, yeah
22:21:33 -!- pikhq has quit (Remote closed the connection).
22:21:55 <SimonRC> ooh, gates predicts that unix would get a standard in the early 90s
22:21:59 -!- pikhq has joined.
22:22:09 <SimonRC> also, he predicted that OS/2 would be the future
22:22:18 <SimonRC> well, you win some you lose some
22:32:40 -!- oerjan has joined.
22:34:01 -!- pikhq_ has joined.
22:35:34 <bsmntbombdood> i wonder what he does these days
22:36:09 -!- sebbu has quit ("@+").
22:45:30 <oerjan> charity
22:46:42 -!- pikhq has quit (Read error: 110 (Connection timed out)).
22:48:37 <pikhq_> And own Microsoft.
22:48:44 -!- pikhq_ has changed nick to pikhq.
22:49:10 <pikhq> (he doesn't step down for another year or so
22:49:11 <pikhq> )
22:49:30 <bsmntbombdood> he is stepping down?
22:50:46 <oerjan> http://en.wikipedia.org/wiki/Bill_Gates#Transition
22:59:09 <bsmntbombdood> maybe i can take his job
22:59:42 <lament> i don't think you'd like it
23:00:15 <bsmntbombdood> definately not
23:00:23 <SimonRC> He still looks like a geek.
23:00:35 <SimonRC> heh...
23:00:39 <bsmntbombdood> real geeks are poor
23:01:53 <bsmntbombdood> real geeks don't have marketable skills
23:02:06 <bsmntbombdood> "i designed a damn good esolang once...
23:02:07 <bsmntbombdood> "
23:02:12 <SimonRC> Oh dear: He says that networking will become standard for PCs, he says that data (maps, encyclopedias, etc) is important, and he says that you need hypertext to navigte all the data...
23:02:27 <SimonRC> but he doesn't connect the two together.
23:03:11 <SimonRC> "Apple's going to have to get off the 68000 at some point"
23:03:26 <SimonRC> "on to one of these RISC instruction sets."
23:03:30 <SimonRC> oops!
23:09:49 <ihope> pikhq: how much of Microsoft does Gates own?
23:12:19 -!- pikhq has quit (Remote closed the connection).
23:12:25 <ihope> That much?
23:13:17 <ihope> He seems to be the chairman of Microsoft.
23:14:55 <ihope> Executive chairman.
23:28:23 -!- pikhq has joined.
23:52:32 -!- gnilor has joined.
23:52:43 <gnilor> is there a script somewhere, that translates "text" into brainfuck programs
23:53:41 <oerjan> !help
23:54:12 <oerjan> there is one in EgoBot, if that had been here.
23:54:30 <gnilor> haha, well no biggy i'll script it up
23:54:44 <gnilor> just that i'm lazy
23:55:33 <oerjan> there is also pikhq's PEBBLE
23:55:45 <oerjan> although pikhq just left too
23:56:08 <gnilor> ah found something through google
23:56:24 <gnilor> though it missed the personnal touch that a bot could have provided ;)
23:58:49 <bsmntbombdood> you could use egobot's java
23:59:11 <bsmntbombdood> uses a genetic algorithm to get the result as small as possible
←2007-06-19 2007-06-20 2007-06-21→ ↑2007 ↑all