←2008-02-19 2008-02-20 2008-02-21→ ↑2008 ↑all
00:26:58 -!- mu has joined.
00:28:21 -!- mu has quit (Client Quit).
00:29:44 -!- sumisu has joined.
00:34:45 -!- Sgeo has joined.
00:35:32 -!- timotiis has quit ("leaving").
00:44:10 -!- olsner has quit ("Leaving").
00:45:54 <Sgeo> Hi all
00:45:54 <Sgeo> Hi all
00:45:55 <Sgeo> Hi all
00:45:56 <Sgeo> j/k
00:46:34 <faxathisia> heh
01:19:17 -!- BMeph has joined.
01:23:21 -!- Corun has quit ("This computer has gone to sleep").
01:23:31 -!- sumisu has quit (Read error: 110 (Connection timed out)).
02:48:07 -!- ehird` has quit ("K-Lined by peer").
03:34:25 -!- immibis has joined.
03:36:31 -!- immibis_ has joined.
03:37:09 -!- immibis has quit (Nick collision from services.).
03:37:23 -!- immibis_ has changed nick to immibis.
03:38:11 <immibis> i think someone's playing age of empires 2 on the gateway computer again .....
03:40:23 <slereah_> First was better.
03:40:25 <slereah_> More lasers.
03:41:04 <oklopol> öäo.-
03:41:44 <oklopol> anyone wanna write me a fictional debate.
03:42:20 <oklopol> been up all night trying to do my "spoken english" assignments... i've managed to write about 20 lines now.
03:42:48 <slereah_> What's the debate's topic?
03:43:01 <oklopol> b)Conscientious objectors are cowards
03:43:01 <oklopol> c)Fewer women than men have won the Nobel prize because women are less intelligent than men
03:43:01 <oklopol> d)Academic education is highly overrated
03:43:13 <oklopol> the missing a) is not due to me.
03:43:29 <oklopol> what are "conscientious objectors"?
03:43:35 <slereah_> Cowards.
03:43:40 <oklopol> :D
03:43:41 <slereah_> *zing*
03:43:49 <slereah_> They're people objecting the war.
03:44:00 <oklopol> is that so.
03:44:10 <oklopol> what war?
03:44:19 <oklopol> *the* war?
03:44:30 <slereah_> A war in general.
03:44:41 <oklopol> i know
03:44:49 <oklopol> anyways, asd
03:44:53 <immibis> f
03:44:55 <oklopol> wanna write it :)
03:45:08 <oklopol> just one is needed!
03:45:14 <slereah_> I didn't go to science university for nothing.
03:45:39 <slereah_> I wouldn't be able to develop an imposed idea on any length.
03:46:05 <oklopol> i can show you one of my earlier essays, it's *not* about quality.
03:46:16 <oklopol> We are all gathered here to take a glance at the past three years we spent as a class. It was a journey of hard work, learning and self-discipline, but it was also about togetherness. There are some great stories, and even greater accomplishments, but I'll spare you from them. The end of high-school is the beginning of a new era for everyone, people get jobs and whatnot. Some go to university. Some just wither away in the absense of company and
03:46:16 <oklopol> challenge. Dunno.
03:46:47 <oklopol> it doesn't matter at all what grade i get for this shit, it's just i cannot get .
03:46:53 <oklopol> *anything* written.
03:47:07 <slereah_> Program something to write it for you.
03:47:45 <oklopol> i thought of that. unfortunately i'd really like to get on the project i thought i'd be doing today
03:47:56 <oklopol> so... would like to get this done quickly
03:48:22 <oklopol> i guess i can write some nonsense
03:48:28 <oklopol> god i hate high school
03:48:54 <slereah_> A sound judgement.
03:49:37 <Sgeo> I suppose people are sick of my in-channel PSOX demo?
03:50:32 <slereah_> We're convinced enough.
03:50:45 <slereah_> You can probably do something else.
03:51:08 <Sgeo> I think I need to change some stuff with servers
03:51:23 <Sgeo> When accepting a server socket connection, give the option of blocking v. non-blocking
03:53:50 <Sgeo> But I think I'll work on it tomorrow
03:54:05 * Sgeo watches as the "tomorrows" built up
03:56:20 <oklopol> Sgeo: make an irc client with brainfuck using PSOX
03:56:34 <Sgeo> oklopol, I'm not that advanced with BF
03:57:10 <oklopol> can you do gui with psox
03:57:18 <Sgeo> oklopol, not yet
03:57:45 <Sgeo> ehird previously said that e'd do a GUI domain, but then decided to make a competing spec, "SOXP"
03:58:17 <oklopol> i don't think ehird cares enough to finish either of those
03:58:39 <oklopol> i might make an irc client in brainfuck, might be fun
03:59:05 <oklopol> shouldn't be that hard to make a telnet client, and after that it's basically just pingponging
03:59:23 <Sgeo> brb
03:59:28 <oklopol> making the telnet client shouldn't really be
03:59:34 <oklopol> *anything* if the api is good.
04:06:37 <oklopol> http://www.pastebin.ca/910729 yes, i'm a literary genius.
04:07:37 <slereah_> Are you graded by the quantity of text?
04:08:56 <RodgerTheGreat> oklopol: I'm very confused
04:09:26 <oklopol> RodgerTheGreat: how's that? :D
04:09:43 <oklopol> slereah_: i think i'm graded by the overall quality
04:09:54 <slereah_> Tough luck.
04:10:01 <oklopol> :D
04:10:56 <oklopol> omg there's a typo
04:11:34 <slereah_> Man am I glad to be out of high school.
04:11:38 <oklopol> point -> points
04:11:47 -!- immibis has left (?).
04:11:52 <pikhq> Just a few more months.
04:12:31 <pikhq> A few more months until I have a job, and then a school where I have a hope of learning. . .
04:12:41 <oklopol> well i don't really have anything else left but this one course :)
04:13:20 <pikhq> I've got 6 courses.
04:13:28 <pikhq> Well, 7, if you count my UCCS course.
04:13:37 <pikhq> 3 of the above courses are for college credit.
04:13:48 <oklopol> also one course religion, though, but i'm doing that even less seriously.
04:13:50 <pikhq> And are the only classes I feel like I'm learning anything in.
04:13:52 <oklopol> UCCS?
04:14:01 <pikhq> University of Colorado - Colorado Springs.
04:14:06 <oklopol> oh, right
04:14:15 <oklopol> i have 3 courses in the uni here
04:14:19 <RodgerTheGreat> oklopol: you have a required religion course?
04:15:12 <oklopol> RodgerTheGreat: there's a non-religion option for it, but it's basically the same stuff, just have to go to another building for classes
04:15:12 <pikhq> That disgusts me. . .
04:15:12 <oklopol> so i took religion.
04:15:12 <oklopol> also
04:15:20 <oklopol> no *a* required religion course
04:15:24 <oklopol> *three*
04:15:34 <oklopol> *not
04:15:38 <pikhq> I, as a religious person, am offended by the prospect of requiring a religion course.
04:15:50 <pikhq> That's something *highly* personal.
04:16:10 <RodgerTheGreat> I find it frightening that MTU's comparative religion class is taught by a youth pastor.
04:16:20 <slereah_> Religion is by definition a society thing.
04:16:20 <pikhq> What's next: a class on how to be an (anarchist|democrat|republican)?
04:16:22 <RodgerTheGreat> ...who has been known to give extra credit for attending his sermons...
04:16:26 <oklopol> well, it's not about ones own beliefs, i'm openly atheist, and that's no obstactle.
04:16:31 <oklopol> *obstacle
04:17:31 -!- oerjan has joined.
04:18:35 <oklopol> aaaaand sent
04:19:11 <oklopol> hopefully that's enough to pass high school.
04:19:44 <slereah_> You're full of hope.
04:21:34 <RodgerTheGreat> I'd probably say I lean towards atheism, if it weren't for the fact that I'm a pastor myself...
04:22:08 <oklopol> :D
04:23:19 <RodgerTheGreat> we pronounce it a little differently, though
04:32:35 <oklopol> so... anyone here founded a religion?
04:32:41 <oklopol> it's pretty cheap in finland
04:33:27 <slereah_> Is it tax-deductible?
04:33:32 <slereah_> We could pretend to make one.
04:33:45 <slereah_> You know, praying when they come to check on us and all.
04:33:58 <slereah_> And playing ping pong or whatever the rest of the time.
04:34:03 <oklopol> :D
04:34:25 <oklopol> well, we thought we'd start one with a few friends, but there's a chance you might get into media that way.
04:34:33 <oklopol> which is never good
04:34:49 <slereah_> Just perform a miracle.
04:35:06 <slereah_> An interpreter written in Malbolge or raising the dead.
04:35:20 <oklopol> ah, because the media is *never* interested in miracles.
04:35:36 <oerjan> those sound about equivalent...
04:35:51 <slereah_> Well, at least you'd be srs business!
04:36:41 -!- oklopol has set topic: The official church of Esoism..
04:36:59 <oklopol> hmph
04:37:23 <slereah_> What will be the esoteric doctrine of the Church?
04:37:23 <oklopol> was the old topic right btw, i didn't store it anywhere :-)
04:37:46 <slereah_> Old topic was :
04:37:46 <slereah_> the international hub for esoteric programming language design and deployment | map: http://www.frappr.com/esolang | forum: http://esolangs.org/forum/ | EgoBot: !help | wiki: http://esolangs.org/wiki/ | logs: http://tunes.org/~nef/logs/esoteric/ or http://ircbrowse.com/channel/esoteric | Pastebin: http://pastebin.ca/
04:38:27 <oklopol> esoists believe in esoteric programming.
04:38:36 <oklopol> it's more common a religion than you might think
04:38:54 <slereah_> In what language is the universe written?
04:39:05 <slereah_> Are souls stacks? Tapes?
04:40:02 <oerjan> we are desperately playing it is not Malbolge
04:40:07 <oerjan> *praying
04:40:18 <oerjan> BAD, BAD fingers
04:40:48 <slereah_> Is it even computable :o
04:40:57 <oerjan> hm probably not
04:41:45 <oerjan> it's written in TwoDucks. the quantum behavior is just a side effect of the incessant time travel
04:44:27 <Sgeo> Anyone want to write a Malbolge IRC client?
04:45:36 <slereah_> Well, I'm no prophet of Esoism.
04:48:07 <pikhq> I plan to award anyone who can pull *that* off the patent title Prophet of Esome.
04:48:17 <pikhq> Even if I have to create a whole new nomic to do it!
04:48:35 <pikhq> oerjan: BTW: I'm also the Herald now.
04:48:46 <pikhq> And I'm done getting offices. Any more, and I'll go insane.
04:49:47 <RodgerTheGreat> I seem to recall discussing a biblically-inspired language called "INTHEBEGINNING"
04:52:26 * oerjan points at ftp://ftp.nvg.ntnu.no/pub/frc/39
04:52:46 <oerjan> (FRC Programming Language round)
04:52:51 -!- habnabit has joined.
04:53:02 * oerjan notes that the website hasn't been updated since 2000 :(
04:53:18 <pikhq> It's now hosted on Google Groups.
04:53:51 * Sgeo liked reading FRC archives 4+ years ago..
04:54:14 <oerjan> ah
04:58:32 * pikhq is a FRC player
04:58:39 <oerjan> i know
04:58:49 <pikhq> But Sgeo didn't.
04:59:12 <Sgeo> I knew oerjan was an FRC player
04:59:32 <Sgeo> ørjan
04:59:36 <Sgeo> Ørjan
04:59:41 <oerjan> used to be
05:00:15 <pikhq> Likewise, he used to be an Agoran.
05:00:25 <Sgeo> Øøø
05:00:27 <Sgeo> erm
05:01:22 <oerjan> == erm in norwegian, just about :)
05:08:30 <Sgeo> So I can just use øøø instead of erm?
05:09:22 <slereah_> Well, it's a free country.
05:10:07 <oerjan> you may not want to draw it out quite that long.
05:10:32 <oklopol> öö... øø... err..
05:10:35 <oklopol> yy..
05:10:52 <oerjan> yy? you say that in finland? :)
05:10:59 <oklopol> yy is lojban
05:11:01 <oklopol> öö is finnish
05:11:11 <oklopol> y is what it is in norwegian, i think.
05:11:34 <oerjan> o_O
05:11:55 * oerjan thinks oklopol is not paying attention
05:12:24 <oklopol> the finnish "y" == the norwegian "y"
05:12:37 <oklopol> and not, i am not, watching american dad and playing the guitar
05:12:41 <oklopol> *no
05:12:58 <oerjan> well approximately i guess. not sure how the finnish y sounds
05:13:31 <oerjan> (beyond being in the approximate right place)
05:13:46 <oklopol> i just know what the swedish one sounds like, and naturally i assume the norwegian one is the exact same ;)
05:13:50 <oerjan> i know german is not exactly like norwegian y
05:14:10 <oerjan> well swedish is pretty close
05:14:44 <oklopol> i guess there might be a subtle difference, but i don't know it.
05:15:41 <oerjan> i'm not sure either.
05:17:22 <oerjan> i mean every swedish vowel is colored by the difference in general intonation from norwegian, i think.
05:18:18 <oklopol> indeed.
05:33:58 -!- Asztal has quit (Read error: 104 (Connection reset by peer)).
05:35:15 <Sgeo> øø
05:36:09 <oerjan> mind you, if used out of context it is also an expression of stupidity, drunkness or gibbering insanity.
05:46:07 <Sgeo> øø
05:46:25 <Sgeo> What is it, exactly? Is there an online definition somewhere?
05:47:30 <oerjan> > 1+1
05:48:24 <faxathisia> 2
05:49:31 <oklopol> Sgeo: "er" and "øø" are pronounced the same.
05:49:54 <oklopol> (almost the same, in case someone thinks that's important)
05:51:53 <oerjan> @botsnack
05:53:33 <oklopol> wonder if people always use the øö character for erring
05:54:02 <oklopol> perhaps somewhere in nigeria, people say "wobbity wobbity" when thinking what to say next.
05:54:32 <oklopol> unless they speak english or something in nigeria, i really don't even know where that is exactly
05:54:37 <oklopol> anyway, ->
05:58:41 -!- oerjan has quit ("leaving").
05:59:40 <pikhq> oklopol: I believe English is one of their official languages.
06:13:32 <oklopol> yeah
06:22:00 <RodgerTheGreat> I'm doing some planning sketches for another set of comics- lemme scan them and then you can tell me what you think...
06:22:10 -!- Sgeo has quit (Read error: 110 (Connection timed out)).
06:25:29 <RodgerTheGreat> http://rodger.nonlogic.org/dump/images/1203488516-art1.png
06:25:32 <RodgerTheGreat> http://rodger.nonlogic.org/dump/images/1203488528-art2.png
06:28:56 <RodgerTheGreat> thoughts? Is the dialogue too heavy-handed? Confusing?
06:29:22 <bsmntbombdood> the dialog is unreadable...
06:30:09 <bsmntbombdood> also, look at this awesomeness -> http://coilhouse.net/2007/12/22/the-beautiful-nightmares-of-zdzislaw-beksinski/
06:30:49 <bsmntbombdood> i want prints
06:31:47 <RodgerTheGreat> he was stabbed to death by his caretaker's son.
06:32:16 <bsmntbombdood> that's what it says
06:37:09 <bsmntbombdood> oh holy shit
06:37:13 <bsmntbombdood> posters are $450
06:37:27 <RodgerTheGreat> welcome to the wonderful world of art
06:37:59 <RodgerTheGreat> where all prices are directly proportional to demand, yet still higher than seems reasonable
06:38:26 <bsmntbombdood> http://www.chetzar.com/oil_paintings/DOUBLEWHAMMY.html
06:38:40 <bsmntbombdood> i wish i was rich sometimes :(
06:39:42 <RodgerTheGreat> seems like a subpar knockoff
06:39:54 <RodgerTheGreat> none of the intricate detail
06:41:23 <bsmntbombdood> http://www.beksinski.pl/masterlist.htm
06:41:29 <bsmntbombdood> what's an "art print"?
06:42:30 <RodgerTheGreat> depends on the medium
06:42:40 <RodgerTheGreat> in general, it's one of a limited series of copies of an original
06:42:53 <RodgerTheGreat> runs range fro 20 to 500 in most cases
06:43:14 <RodgerTheGreat> they are usually made/signed by the original artist
06:43:44 <RodgerTheGreat> in the case of things like woodcuts (Escher, for example), the prints effectively *are* the originals.
06:47:32 <bsmntbombdood> jeeeeezz i would wallpaper my room with these
06:49:51 -!- uvanta has joined.
06:50:12 <RodgerTheGreat> hello, uvanta
06:50:27 <uvanta> hello!
06:52:29 <RodgerTheGreat> what's up?
06:54:18 <bsmntbombdood> damnit
06:54:24 <bsmntbombdood> i want something for $20
07:02:34 <oklopol> i can sell you a quality oko for just $15.
07:02:43 <oklopol> well not now, but after my nap
07:02:45 <oklopol> ->
07:03:20 <RodgerTheGreat> yeah, and I can sell you an original rtg for any price you name!
07:03:36 <bsmntbombdood> OW FUCK
07:03:41 <RodgerTheGreat> well, goodnight folks
07:03:58 <bsmntbombdood> i should not have been fidgeting with a large binder clip right by my mouth...
07:04:07 <bsmntbombdood> i'm gonna have a fucking lip blood blister now
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:13:48 -!- bsmntbombdood has quit (Read error: 110 (Connection timed out)).
08:14:22 -!- olsner has joined.
08:14:52 -!- bsmntbombdood has joined.
08:15:28 -!- jix has joined.
08:29:53 -!- puzzlet has joined.
08:59:42 -!- olsner has quit ("Leaving").
10:00:28 <uvanta> i'm being forced to learn PHP
10:00:59 <faxathisia> It's not that hard..
10:02:49 <uvanta> in 2 days. :(
10:03:48 <uvanta> i have a file layout, and i should make a PHP class to handle (encode/decode) it
10:04:01 <uvanta> i haven't used PHP at all
10:32:12 -!- AnMaster_ has joined.
10:33:22 -!- AnMaster has quit (Nick collision from services.).
10:33:46 -!- AnMaster_ has changed nick to AnMaster.
10:38:12 -!- sumisu has joined.
11:00:32 -!- sumisu has quit ("ChatZilla 0.9.81 [Firefox 2.0.0.12/2008020121]").
11:31:54 -!- timotiis has joined.
11:49:43 -!- Corun has joined.
11:52:46 -!- Corun has quit (Client Quit).
12:07:00 -!- oklopol has quit (Read error: 104 (Connection reset by peer)).
12:09:30 -!- oklopol has joined.
13:25:18 -!- RedDak has joined.
13:40:35 -!- olsner has joined.
13:59:45 -!- sebbu2 has joined.
14:16:57 -!- sebbu has quit (Read error: 110 (Connection timed out)).
14:23:51 -!- wildhalcyon has joined.
14:26:56 <wildhalcyon> So, Church of Esoism, huh?
14:27:21 <wildhalcyon> Trying desperately to figure out what language the creator(s) used to code the universe?
14:28:42 <slereah_> Indeed
14:28:55 <olsner> I think xkcd nailed it in that strip
14:29:27 <slereah_> Yes, but it was no esoteric language!
14:29:36 <wildhalcyon> That was a good strip
14:29:53 <olsner> lisp will soon be obscure enough to be esoteric, just you wait
14:30:15 <slereah_> Nah.
14:30:33 <wildhalcyon> No, books have been written about it.
14:30:49 <wildhalcyon> Its been used in legitimate research. PhDs have been earned.
14:30:54 <wildhalcyon> Not likely to be forgotten quickly enough.
14:31:25 <olsner> I bet someone's written a PhD thesis that's in some way about brainfuck or some other esoteric language
14:32:33 <wildhalcyon> brainfuck is probably the most borderline case when it comes to esoteric languages
14:33:11 <slereah_> Well, a number of esoteric languages have roots in serious academic subjects.
14:33:21 <slereah_> But usually in computability, not programmation.
14:33:28 <slereah_> Brainfuck from P''.
14:33:37 <slereah_> Unlambda from combinators.
14:35:57 <wildhalcyon> Malbolge from pure evil. Wait, that's not academics. That's earning tenure.
14:36:35 <slereah_> *classical literature
14:36:54 <wildhalcyon> touche
14:37:00 <wildhalcyon> Dante would be proud
14:37:20 <slereah_> Until he presses the "compile" button.
14:37:46 <wildhalcyon> I'm presuming that he's watching someone else press the compile button in one of the seven circles.
14:38:23 -!- slereah_ has changed nick to Slereah.
14:38:37 <wildhalcyon> "Look at that poor little fellow. He's trying to use NOPs to create predictable instructions. Good thing I've given him some faulty RAM.
14:39:48 <wildhalcyon> So I've been away for quite some time. It looks like PSOX is the new primary discussion topic.
14:41:15 <Slereah> Sgeo isn't giving up at least!
14:41:42 <wildhalcyon> No, doesn't seem like it.
14:42:16 <wildhalcyon> Its a good idea. I had come up with a similar design for my vaporware fungeoid system, but it wasn't multilingual like PSOX is.
14:45:11 <wildhalcyon> But I'm still planning on coming out with my system at some point.
17:05:56 -!- ais523 has joined.
17:08:22 <Slereah> I wonder how many occurences of the <ord "fuck" you'll find on the esowiki
17:08:32 -!- Sgeo has joined.
17:12:56 -!- habnabit has quit (Read error: 110 (Connection timed out)).
17:17:22 -!- habnabit has joined.
17:25:54 -!- oerjan has joined.
17:27:53 -!- cherez has quit (Read error: 110 (Connection timed out)).
17:33:32 -!- boily has joined.
17:37:44 <oerjan> hm google is useless for this - -fuck site:esolangs.org/wiki/ gives fake hits
17:38:38 <oerjan> perhaps because it includes pages linked to...
17:39:04 -!- ehird` has joined.
17:44:47 -!- boily has quit ("WeeChat 0.2.6").
17:50:00 <Slereah> Hm.
17:50:14 <Slereah> Does any esolang got some logo?
17:52:49 <oerjan> interesting question
17:53:03 <Slereah> Or is it?
17:53:07 <Slereah> I'm just wondering.
17:53:21 <oerjan> not unlambda it seems
17:53:38 <Slereah> I tried to make one for Lazy Bird, but I'm not just very talented.
17:53:53 <oerjan> a lambda in a red would seem an obvious choice...
17:54:28 <Slereah> Intercal maybe?
17:54:40 <Slereah> It's been around a while
17:54:52 <wildhalcyon> most esolangs aren't organized enough to have logos
17:56:06 -!- Hiato has joined.
17:56:13 <oerjan> the page ais523 maintains still doesn't show up when googling intercal
17:56:17 <ehird`> wildhalcyon: PSOX seems like the kind of thing that would have a logo. /sigh
17:56:30 <wildhalcyon> I would believe that
17:56:34 <Slereah> Heh.
17:56:52 <ais523> oerjan: I don't maintain it, Claudio Calvelli does
17:57:00 <ais523> I just maintain one of the compilers featured there
17:57:12 <oerjan> well the point stands
17:57:15 <ehird`> Slereah: make it a bird, falling out of the sky (symbolized by the whooshing above it)
17:57:21 <ehird`> with a lambda in a cross on its side
17:57:49 <oerjan> esr's page comes up on top and it seems to be unupdated for a long time - no reference to you that i notice
17:58:32 <ehird`> oerjan: esr's page is also crap
17:58:32 <ehird`> (crap? from esr? shock horror)
17:58:37 <Slereah> It was actually just going to be two mockingbirds in front of each other, with an omega in between
17:59:28 <ehird`> Slereah: I am now drawing the worst logo ever
17:59:29 <ehird`> just for you
17:59:38 <Slereah> I'm flattered.
17:59:48 <Slereah> ut save your strength for PSOX
18:00:11 <Slereah> There's probably an awesome logo to be made for PSOX
18:00:21 <Slereah> Like a tiger with a baracuda for a penis, who knows
18:00:41 -!- Corun has joined.
18:02:58 <ehird`> Slereah: your logo is almost done.
18:03:08 <Slereah> Yay
18:06:21 <ehird`> Slereah: it's, uh, quite rough
18:06:28 <ehird`> but i think it looks alright, for 5 minutes
18:06:29 <ehird`> :P
18:06:54 <ehird`> haha, it looks way fatter than it was meant to
18:06:57 <ehird`> and quite a bit angrier
18:07:14 <ehird`> Slereah: shall I add it to the wiki? :P
18:07:31 <Slereah> I'd be angry too if I was stuck in an infinite loop!
18:08:18 <Slereah> I demand sum pix first
18:08:21 -!- cherez has joined.
18:08:38 -!- cherez has quit (Client Quit).
18:08:44 -!- cherez has joined.
18:08:45 -!- cherez has quit (Remote closed the connection).
18:08:59 <ehird`> Slereah: oh. oops. :P http://esolangs.org/wiki/Lazy_Bird
18:09:05 <ehird`> some weird grayness around the edges
18:09:07 <ehird`> but i can fix that
18:09:12 <ehird`> i think it looks hilariously ridiculous
18:09:13 <ehird`> :D
18:09:15 <Slereah> AAAAAAAAAAAAAAAAAAAH
18:09:29 <Slereah> Plus, Lazy Bird supports lambdas!
18:10:25 <ehird`> d'aww
18:10:28 <ehird`> haha
18:10:29 <ehird`> :D
18:10:34 <ehird`> yeah i'll remov eit
18:10:34 <ehird`> :-P
18:11:04 -!- otesanek has joined.
18:12:22 <ehird`> .... personally i think it was awesome
18:12:23 <ehird`> :-P
18:13:14 -!- ehird` has quit ("K-Lined by peer").
18:13:35 -!- ehird` has joined.
18:14:32 <Slereah> Well, while I do not agree with your opinion, I'll fight to the death for your right to express it!
18:14:43 <ehird`> Slereah: Express it by putting it on the page?
18:14:44 <ehird`> :-P
18:14:59 <Slereah> Not that strongly, still
18:15:35 <ehird`> WIKI SPEACH
18:15:35 <ehird`> :(
18:15:37 <ehird`> WIKIMPEACH!
18:15:56 <Slereah> HATE CRIME :O
18:16:16 <wildhalcyon> I'm confused
18:17:38 <ehird`> wildhalcyon: Slereah is restricting my free speech to put my crappy lazy bird logo on its page
18:17:55 * oerjan asks, is it a bird or a whale? >:)
18:18:26 <wildhalcyon> ehird': I'd debate whether or not a logo counts as speech.
18:18:44 <Slereah> No, I'm well happy with hate crimes
18:18:52 <ehird`> wildhalcyon: Shush you
18:18:57 <ehird`> I could put text on the logo if you like
18:19:10 <ehird`> oerjan: you're thinking of Active Whale
18:19:12 <ehird`> which is imperative
18:19:24 <wildhalcyon> Or you could simply put text sans logo.
18:19:33 * oerjan notes that no other Image: namespace article seems to be a logo
18:20:15 <ehird`> wildhalcyon: But the text would be there to cover up for the logo. Duh.
18:20:20 <ehird`> Oops, did I say that out aloud?
18:20:45 <wildhalcyon> I don't know. I can't hear you
18:21:06 <wildhalcyon> my speakers are off
18:21:17 <oerjan> he's got a banana in his ear
18:21:45 -!- Hiato has quit (Read error: 110 (Connection timed out)).
18:22:16 <wildhalcyon> Banana? Is that what you kids are calling it nowadays?
18:23:37 <oerjan> not at all, this is ancient:
18:23:50 <oerjan> "Te audire no possum. Musa sapientum fixa est in aure."
18:24:03 <oerjan> *non
18:25:42 -!- cherez has joined.
18:26:44 -!- Corun has quit ("This computer has gone to sleep").
18:28:24 <ehird`> crazy idea --
18:28:28 <ehird`> you know the boehm gc?
18:28:37 <ehird`> well, what if you built a version that exported malloc as GC_malloc, etc,
18:28:41 <ehird`> then used LD_PRELOAD..
18:28:45 <ehird`> and used everyday apps with it
18:28:45 <ehird`> xD
18:30:15 <oerjan> this is new? i barely thought i'd heard it could be used with unmodified programs (with a risk of space leaks if it misidentifies pointers)
18:30:31 -!- otesanek has quit (Read error: 113 (No route to host)).
18:30:57 <oerjan> or does your suggestion imply something more...
18:32:02 <ehird`> oerjan: well, mostly it means you'd patch the code
18:32:08 <ehird`> but i mean, right after the kernel
18:32:14 <ehird`> so that everything, absolutely everything uses it
18:32:43 <oerjan> heh
18:32:55 <oerjan> probably someone tried
18:33:17 <oerjan> it _could_ break horribly if someone saves pointers in a different format for some reason
18:35:35 <ehird`> oerjan: imagine a PL implementation with a gc
18:35:38 <ehird`> FIGHT! FIGHT! FIGHT!"
18:35:38 <oerjan> say adding tag bits or similar. ghc does that
18:35:45 <ehird`> ah hm
18:35:48 <ehird`> most schemes do that
18:35:56 <ehird`> (least-sig bit = is-small-int?)
18:36:11 <ehird`> oerjan: but they have their own gc
18:36:12 <ehird`> :-P
18:36:32 <oerjan> yes, but they _might_ use ordinary malloc for initial allocation
18:40:53 -!- habnabit has quit (Read error: 110 (Connection timed out)).
18:48:02 -!- habnabit has joined.
18:50:54 -!- RedDak has quit (Remote closed the connection).
19:18:12 <wildhalcyon> Are there a couple folks in here willing to rate my project idea on a scale of 1 to 10?
19:18:31 <Slereah> I'm willing.
19:18:41 <Slereah> Though my rating won't be fair, accurate, or based on experience.
19:19:04 <wildhalcyon> I'm not really looking for fair or accurate. Experience-based might be useful, but not necessary.
19:19:12 <Sgeo> wildhalcyon, want to see a PSOX demo?
19:19:57 <Slereah> We want to see a PSOX logo!
19:20:01 -!- wildhalcyon has quit (Read error: 104 (Connection reset by peer)).
19:20:07 -!- wildhalcyon has joined.
19:20:15 <wildhalcyon> Bah
19:20:18 <Sgeo> re wildhalcyon
19:20:31 -!- BrainF has joined.
19:20:31 <BrainF> Hi all. This client is written in Brainfuck (albeit written with a generator), believe it or not. It uses PSOX. You can get information about PSOX at http://esolangs.org/wiki/PSOX .
19:20:31 -!- BrainF has quit (Client Quit).
19:20:49 <wildhalcyon> Re what?
19:20:55 <Sgeo> re == rehi
19:21:21 <wildhalcyon> Ho, hello
19:21:56 <ais523> hello everyone
19:22:29 <Slereah> Hi.
19:22:31 <ais523> (sorry, I was in the channel before but not paying attention until now)
19:22:43 <wildhalcyon> Excellent. More people to horrifically mutilate my idea until I'm a poor shadow of the man I used to be!
19:23:59 <Slereah> Well, we're always glad to help
19:24:21 <ehird`> ais523: hi
19:24:29 <ais523> wildhalcyon: what is your project idea?
19:25:26 <wildhalcyon> My project is a fungeoid which can be partitioned into a grid-based system of processors, either self-controlled or locally controlled, rather than controlled from a centralized source.
19:25:44 <ais523> that does sound interesting, actually
19:25:58 <ais523> I tend to prefer fungeoids to store data in the program near the IP
19:26:11 <ais523> and you're taking that to one possible logical conclusion
19:26:20 <ais523> (although you should get the IP to store data nearby as well)
19:26:54 <wildhalcyon> Well, essentially the IP meta-data would reside in the control system, in a separate space.
19:27:38 <wildhalcyon> I would use the fungeoid to develop two meta-projects: The first is an autonomous autoprogramming system that would write itself new code on the fly.
19:28:38 <wildhalcyon> The second is a shared virtual codespace where users could rent/own/have a parcel of the codespace an interchange IPs/data/code with one another, and outputting to shared media - such as a chatroom or drawing board.
19:30:00 <ehird`> ais523: btw
19:30:04 <ehird`> continuation based websites are a 'done thing'
19:30:07 <ehird`> see e.g. seaside.st
19:30:08 <ehird`> anyway
19:30:16 <ehird`> any ideas for IP finding in be your funge?
19:30:28 <ais523> oerjan: INTERCAL doesn't have a logo AFAIK
19:30:38 <ais523> ehird`: two ideas
19:30:43 <wildhalcyon> ehird
19:30:44 <ais523> but neither are very good
19:30:49 <ehird`> wildhalcyon
19:30:51 <wildhalcyon> ehird' what do you mean IP finding?
19:30:59 <ehird`> wildhalcyon: instruction pointer
19:31:08 <ehird`> be your funge is like fuk yor brane
19:31:09 <wildhalcyon> I know what the IP is, what do you mean by "finding" it?
19:31:10 <ehird`> but for befunge-93
19:31:13 <ais523> ehird` is planning a language like FukYorBrane, but based on Begune
19:31:18 <ehird`> Begunge?
19:31:20 <ehird`> err
19:31:21 <ais523> s/Begune/Befunge/
19:31:22 <ehird`> Begune?
19:31:26 <ehird`> that sounds awesome
19:31:35 * ais523 hit return rather than backspace
19:31:50 <ais523> but Begune does sound quite good, yes
19:32:03 * Sgeo wants to see more stuff designed for PSOX
19:32:05 <ais523> unfortunately it isn't 3am so maybe that typo can't be used
19:33:14 -!- habnabit_ has joined.
19:34:17 <ais523> the first idea was that you could put special characters in your own program, which could somehow sense the opponent's IP going past on the other side of the program
19:34:33 <ais523> and when your own IP went past them, its action depended on whether the opponent's IP had since last time yours did
19:34:55 <ais523> for instance, imagine the two programs being on the outside and inside of the same torus
19:35:12 <ais523> and the special characters being a sort of barrier that could be pushed into or out of the torus
19:35:51 <wildhalcyon> That could be interesting
19:35:57 <ais523> one contiguous block of characters (that is, where each character in the block is a 4-neighbour of at least one other block) would be pushed into or out of the torus as a group
19:36:26 <ais523> whenever the opponent's IP goes past a block that started on your side, it pushes it to your side (without changing the behaviour of the opponent's IP)
19:36:28 <wildhalcyon> I'd like to see FukYorBrane offer some "special" rules in the A-Z character range.
19:36:59 <ais523> whenever yours reaches a block that started on your side, it pushes it to the opponent's side, and if it was on your side to start with the IP rebounds
19:37:36 <ais523> the other idea was simply to specify an area and ask if the enemy's IP is within that area, so you can do things like bsearch for it
19:37:48 <ais523> the first idea is more interesting IMO but I'm not sure how useful it would be
19:37:48 <ehird`> ais523: hrm
19:37:52 <ehird`> neither really seems esoteric enough
19:37:55 <ehird`> fukyourbrane's is good
19:38:02 <ehird`> you don't need a lot of searching logic, but it isn't trivial either
19:38:13 <ais523> the first one seems pretty esoteric to me
19:38:39 <wildhalcyon> What are the boundaries on FukYorBrane?
19:38:39 <ehird`> but impractical and hard
19:38:42 <ehird`> wildhalcyon: none
19:38:46 <ehird`> but since it's 1d, it's easier
19:38:58 <wildhalcyon> Oh, its 1D huh? Yeah, that's a tad easier I suppose.
19:39:03 -!- habnabit has quit (Read error: 110 (Connection timed out)).
19:39:53 <ais523> and FYB has a 'loop while my data pointer is different from the enemy's instruction pointer' instruction
19:40:10 <wildhalcyon> I think it might be interesting if it was a 2xINF tape.
19:40:52 <ehird`> :\
19:41:54 <wildhalcyon> Okay, maybe not
19:45:10 * Sgeo is dead tired
19:45:30 <ehird`> Sgeo: so sleep
19:45:33 <ehird`> ais523: hrmm
19:46:14 <ehird`> nginx contains some REALLY bad ideas..
19:46:15 <ehird`> http://wiki.codemongers.com/NginxHttpEmptyGifModule
19:46:28 <wildhalcyon> So, on a scale of 1 to 10 how would you folks rate my project?
19:46:38 <ehird`> wildhalcyon: 2i
19:46:40 <ais523> 7.23066
19:46:56 <ehird`> (come on, this is #esoteric. what did you expect?)
19:47:21 <ais523> ehird`: I remember when there was a 1x1 transparent GIF used on Wikipedia for a while as part of the IE PngFix
19:47:25 <wildhalcyon> I'm fine with imaginary and complex numbers, but after figuring the magnitude, it comes out to only.. 2 :-(
19:47:44 <ehird`> ais523: I am pretty sure in nginx it's designed for the 1-pixel padding gifs
19:47:48 <ais523> something went wrong with it in the end, and they took it off that script; I'm not sure what exactly, nobody was sure at the time
19:47:48 <ehird`> used along with <table> and <font>..
19:48:07 <ehird`> but then, nginx is russian and designed for amazing performance on huge websites and all of the top russian websites have terrible html like that..
19:48:26 <ais523> but some people thought it was because the image was requested so often that the servers got confused
19:48:28 <ehird`> wildhalcyon: Naww. It's slightly above two. Or below.
19:48:32 <ehird`> No, wait, below is -i.
19:48:41 <ais523> 2i is somewhat above 0
19:48:43 <ais523> not above 2
19:48:48 <ehird`> ok, good point
19:48:51 <ais523> on a typically-axed Argand diagram
19:49:03 <wildhalcyon> 2i has a magnitude of 2.
19:49:05 <ais523> you could draw the axes diagonally and have 2i above 2 if you liked
19:49:09 <Slereah> It is also not between 1 and 10
19:49:14 <ehird`> Slereah: yes it is
19:49:20 <ehird`> if you pinch one and ten between your fingers
19:49:23 <ehird`> the complex numbers are there
19:49:25 <ehird`> vertically
19:49:29 <ehird`> oh wait
19:49:29 <ehird`> above 0
19:49:32 <ehird`> yeah you're right/
19:49:47 <ais523> even if it were above 2, you'd only get it if your fingers had a width of at least 2
19:49:55 <ais523> probably 4 so they were symmetrical about the x-axis
19:50:10 <Slereah> That's okay, ehird` has sausage fingers.
19:50:20 <ehird`> hey :(
19:51:09 <wildhalcyon> I had sausage fingers. Then I ate them.
19:51:39 <Slereah> CANNIBAL
19:52:14 <wildhalcyon> I know, but I'm so tasty
19:52:19 <Sgeo> hurry hurry hurry, buy my rice and curry, buy my rice and curry, so hurry hurry hurry. Hurry hurry hurry, buy my rice and curry, buy one for two, special price for you
19:52:43 -!- oklopol has changed nick to oklofok.
19:53:05 <Sgeo> hurry hurry hurry, buy my rice and curry, buy my rice and curry, so hurry hurry hurry. Hurry hurry hurry, buy my rice and curry, buy one for two, special price for you
19:53:06 <Sgeo> erm
19:53:09 <Sgeo> http://youtube.com/watch?v=dTiMV1Vv1Tw
19:53:26 <Slereah> http://youtube.com/watch?v=g09gOh2qwug
19:55:44 <Sgeo> Slereah, obviously that person knows which species on Earth is the smartest..
19:56:05 <Slereah> A ball of twine with mice ears?
19:56:26 <ehird`> Slereah: look around you is brilliant
19:56:40 <Slereah> I learned many things from it!
19:56:55 <ehird`> the largest number is, in fact, around 4 billion
19:57:02 -!- puzzlet_ has joined.
19:57:15 <Slereah> Well, some suspects that larger numbers might exist.
19:57:26 <ehird`> *ping* 4,000,000,001?
19:57:34 <Sgeo> Somehow I failed to connect "Look Around You" from that YT page with Look Around You..
19:57:48 -!- puzzlet has quit (Remote closed the connection).
19:58:15 <ais523> the largest number is in fact 4294967295
19:58:27 <ais523> 4294967296 is in fact smaller
19:58:54 <ehird`> ais523: integer wrap around is fun
19:58:54 <ais523> the worrying thing is that I have 2^32 memorised...
19:59:27 <Slereah> "Around 4 billions" is good enough
19:59:41 <Slereah> My memory starts running short at 8096
20:00:11 <Slereah> Yes, I only have 2^13 bits of memory
20:00:35 <ais523> you mean either 4096 or 8192
20:00:42 <ehird`> http://upload.wikimedia.org/wikipedia/en/b/b2/Slimmingpicture.jpg D'AAAAAAH!
20:00:52 * ehird` should stop making lame Look Around You references
20:00:54 <Slereah> Well, my memory isn't even that good
20:00:54 <ais523> and I only know up to 2^16 and 2^32
20:01:32 <Slereah> I usually use some little pseudo song I learned when I was little
20:01:34 <ais523> if 2^17 is 131072, then I know up to 2^17 and 2^32
20:01:40 <Slereah> I discovered that it was useful!
20:01:54 <ais523> (that was from memory too, but I'm not sure it's correct
20:01:54 <Slereah> Something like "One and one, two, two and two, four, four and four, eight...3
20:01:58 <ais523> )
20:02:13 <Slereah> That's how I do fucking binary
20:02:21 <ehird`> I know basically no powers of two
20:02:27 <Slereah> Not even 2?
20:02:58 <ais523> most esolangers know 256 and 65536, or should do
20:03:34 <ais523> 59049 is also worth knowing, but that's a power of 3
20:03:35 <ais523> (maximum value of the main data type in TriINTERCAL and Malbolge)
20:03:35 <Slereah> Well, useful when you're programming in Malbolge!
20:03:35 <Slereah> Not
20:03:35 <wildhalcyon> is that 3^9?
20:03:35 <ehird`> oh, i know 256 and 65536
20:03:35 <oklofok> i know 1.
20:03:44 * ais523 knows 1/2
20:03:52 * Slereah doesn't know :((
20:03:52 <Sgeo> I know up to 2^13 counting on my fingers, and know of 65536
20:04:07 <Slereah> How many fingers do you have?
20:04:12 <wildhalcyon> How do you count to 2^13?
20:04:28 <ais523> one question I once asked at a maths camp: what's the largest prime you can write in decimal from memory?
20:04:33 <Sgeo> First finger 2^1, second 2^2, etc
20:04:50 <ais523> (the 'in decimal' prevents you memorising a formula but not its expansion as a number)
20:04:54 <ais523> for me it's 65537
20:05:11 <Slereah> Heh
20:05:16 <wildhalcyon> I'd agree with ais
20:05:37 <Sgeo> I didn't know 65537 was a prime, tbh, but that should be easy to remember
20:06:01 <wildhalcyon> Alternatively, 65539 is also prime, but that's incidental
20:06:10 <habnabit_> I'd say 65,536 is the largest power of two that's easy to remember.
20:06:12 <Slereah> Is it end-of-file in fuckingbigASCII?
20:06:33 <ais523> wildhalcyon: thanks, I now have a new largest memorised prime number
20:06:41 <ehird`> i don't know any primes :(
20:06:43 <ehird`> well, 7 i think
20:06:55 <Slereah> I think also.
20:06:56 <ehird`> generally i let a computer tell me what they are... i have not had much use for memorizing them
20:07:10 <ais523> $ factor 7
20:07:10 <ais523> 7: 7
20:07:14 <ais523> so yes, 7 is prime
20:08:32 <Sgeo> ..Who'd need to hesistate in saying that 7 is prime?
20:08:42 <ehird`> me
20:09:26 <ehird`> http://www.accesscom.com/~darius/hacks/factor.c I use this for factoring stuff
20:09:30 <ehird`> probably factor(1) is far more efficient
20:10:06 * Sgeo goes to find some LAY video to watch
20:10:10 <Sgeo> Any recommendations?
20:10:17 <Slereah> LAY?
20:10:23 <Sgeo> Look Around You
20:10:30 <ais523> BTW, why is factor in GNU coreutils
20:10:31 <Sgeo> Since we were talking about it just before
20:10:34 <ehird`> Sgeo: all of them
20:10:43 <ais523> it strikes me as being a bit specific-purpose to be there
20:10:43 <Slereah> I recommend the first season.
20:10:44 <ehird`> ais523: 'cause gnu utilities are clusterfucks of non-designedness? :p
20:10:50 <Sgeo> Slereah, yes yes
20:10:53 <ehird`> Slereah: and the computer episode of the second
20:10:58 <Slereah> Meh.
20:11:05 <Slereah> Although I lolled.
20:11:09 <Sgeo> I remember the Sulpher one having some cool stuff
20:11:09 <Slereah> "LOOK AROUND YOG"
20:11:14 <Sgeo> Sulphur
20:11:22 <ehird`> hmm, factor.c is kind of crappy..
20:11:26 <ehird`> it only handles unsigned longs
20:11:28 <Sgeo> http://www.youtube.com/watch?v=W0dyvoVV5Tk Look Around You - Sulphur
20:11:57 <ehird`> incidentally
20:12:00 <ehird`> that darius guy is crazy
20:12:02 <ehird`> http://www.accesscom.com/~darius/hacks/ichbins.tar.gz
20:12:14 <ehird`> a scheme->c self-hosting compiler written in around 6 pages of scheme
20:12:17 <ehird`> a lot of which is the c prelude
20:12:19 <ehird`> and postlude
20:12:47 <ehird`> well
20:12:50 <ehird`> it's more lispy than scheme
20:12:51 <ehird`> y
20:16:14 <Sgeo> In the magnet experiment, did the heating of the magnet ruin it, preventing it from attracting the iron, or something?
20:16:48 <Sgeo> Or is it not real iron, or was the magnet weak anyway?
20:16:58 <Slereah> Does it matter?
20:18:44 * Sgeo <3 Sulphagne
20:20:57 <Sgeo> It would be nice if it was read
20:20:57 <Sgeo> real
20:21:54 <Slereah> Even the HELVETICA EFFECT?
20:22:10 <Sgeo> ?
20:22:22 <Slereah> http://www.youtube.com/watch?v=aY7XH2ulTEU
20:22:58 <Sgeo> That's Calcium, not really connected to Sulphagne
20:24:30 -!- ais523 has quit ("no apparent reason").
20:25:16 <Sgeo> "Man has been using Iron since the Stone Age
20:25:18 <Sgeo> "
20:25:53 * Slereah tries to bend a spoon with the power of his imagination
20:28:26 <Sgeo> I guess Bumcivillian isn't to useful for going to sleep, if its effect diminishes quickly
20:30:33 -!- puzzlet has joined.
20:31:19 -!- puzzlet_ has quit (Remote closed the connection).
20:34:16 <Slereah> Where do you live Sgeo?
20:34:23 <Sgeo> USA
20:35:25 <Slereah> So it would be... between 9AM and 5AM?
20:36:05 <Sgeo> 3:36P<
20:36:07 <Sgeo> PM
20:36:09 <Sgeo> right now
20:36:13 <Sgeo> if that's what you mean
20:36:27 <Slereah> Hm. It seems I forgot how to do substraction.
20:36:27 <Sgeo> "Mathematical Anti Telharsic Harfatum Septomin"
20:36:37 <Slereah> Bah, who needs substraction when you have a computer!
20:36:54 <Sgeo> 3 all
20:37:31 <Sgeo> "Or if you can fly, planning your trajectory for your journey to work"
20:38:00 <Sgeo> *the journey
20:39:43 <Sgeo> The finale takes place in Nottingham on April the 4th of September
20:41:36 * Sgeo wants some Garry Gum
20:41:50 <Sgeo> and Anti-Garry Gum
20:49:55 -!- oklofok has quit (Remote closed the connection).
20:53:15 -!- oklopol has joined.
20:57:54 <wildhalcyon> Alright folks, I'm out.
20:58:04 <Sgeo> Bye wildhalcyon
20:58:11 <wildhalcyon> bye sgeo
20:58:12 <Slereah> Bye.
20:58:22 -!- wildhalcyon has quit ("ChatZilla 0.9.81 [Firefox 2.0.0.11/2007112718]").
21:11:41 <Slereah> http://membres.lycos.fr/bewulf/Divers/Dinosaurs.jpg
21:11:44 <Slereah> Dinosaurs.
21:12:04 <Slereah> The perfect representation for transformation groups.
21:12:42 <GregorR> <Sgeo> "Man has been using Iron since the Stone Age" // what's this from?
21:12:53 <Sgeo> GregorR, Look Around You
21:13:14 <Sgeo> Or you could have googled
21:13:34 <GregorR> YOUR MOM
21:14:50 -!- habnabit_ has quit (Read error: 110 (Connection timed out)).
21:15:14 -!- uvanta has quit ("sleep").
21:18:36 <Sgeo> GregorR, http://www.youtube.com/watch?v=wdZHnDDjf6w
21:29:29 <RodgerTheGreat> oh yeah, look around you!
21:29:51 <Slereah> Yes.
21:30:00 <Slereah> 10: print LOOK AROUND YOU
21:30:06 <Slereah> 20: GOTO 10
21:30:47 <RodgerTheGreat> the second series is pretty great as well
21:32:01 <Slereah> Hm.
21:32:10 <Slereah> Makes me think, I never finished my Peano calculator
21:33:30 <RodgerTheGreat> "brown iron, or 'bumcivilian'"
21:35:11 <RodgerTheGreat> hahah- the "face shackle", worn by petty criminals
21:47:14 -!- habnabit_ has joined.
21:47:22 -!- habnabit_ has left (?).
21:56:23 -!- oerjan has quit ("Good night").
22:08:36 -!- ehird` has quit ("K-Lined by peer").
22:08:45 -!- ehird` has joined.
22:09:36 <ehird`> Hmm.
22:09:41 <ehird`> Is there a Redivider implementation yet?
22:10:46 <Slereah> Sorry. Government secret.
22:35:10 <Slereah> Hm. That µ thingy is bothersome for I/O.
22:36:37 <ehird`> hardly.
22:36:38 <ehird`> Unicode.
22:36:42 <ehird`> µnicode.
22:37:58 <Slereah> Well, it's not that bothersome
22:38:07 <Slereah> But since I'm pretty horrible at coding, it is.
22:38:57 <ehird`> i will agree with that
22:39:08 <ehird`> Slereah: just
22:39:08 <ehird`> whenever you'd say ""
22:39:08 <ehird`> say u""
22:39:10 <ehird`> and, ask in #python on how to read files in unicode
22:39:12 <ehird`> and you're done
22:39:25 <Slereah> What that got to do with unicode?
22:39:36 <Slereah> When I say µ, I mean µ recursive functions
22:39:39 <Slereah> Little man.
22:40:20 <Slereah> It's time for some pen and paper coding, I do believe.
22:40:27 <Slereah> I can't code without paper.
22:40:29 <ehird`> I thought you meant outputting µ.
22:40:32 <ehird`> Slereah: also
22:40:36 <ehird`> lazy bird use monads for IO yet?
22:40:41 <ehird`> it will make all your troubles disappear
22:41:00 <Slereah> I slacked quite a bit these past weeks
22:41:00 <Slereah> I still haven't read Haskell
22:41:26 <Slereah> I've got a hard time staying focused on something.
22:48:02 <Slereah> Where's my pen, bitch
22:50:02 <Slereah> Hm. Wonder if I'll have to use monads too for µlambda
22:53:37 <ehird`> yes
22:53:50 <Slereah> Damn those functional languages!
23:17:53 <Slereah> Is the µ function even computable in a general case?
23:18:25 <Slereah> It seems strange to me.
23:20:01 -!- Tritonio_ has quit (Read error: 110 (Connection timed out)).
23:20:37 -!- Tritonio_ has joined.
23:26:16 <Slereah> "Definition of the unbounded μ operator in terms of an abstract machine"
23:26:20 <Slereah> Thank you Wikipedia!
23:29:18 -!- lifthrasiir has quit ("leaving").
23:29:28 -!- lifthrasiir has joined.
23:35:31 <olsner> what's the function?
23:35:50 <ehird`> hey -- who here is interested in Be Your Funge?
23:36:09 <Slereah> I'll be your funge for a dollar 99, wink wink
23:36:52 <Slereah> µ function : µyf(y, x1, x2, ...) = smallest value of y such that f(stuff) = 0
23:36:57 <Slereah> Or 0 if no such value exists.
23:37:35 <ehird`> Slereah: uncomputable
23:37:39 <ehird`> I think
23:38:01 <Slereah> That's why I'm scratching my head.
23:38:16 <ehird`> why? its uncomputable, get over it
23:38:34 <Slereah> Well, it's supposed to be part of the holy trinity of the recursive functions.
23:38:41 <Slereah> The first system to be Turing complete.
23:39:16 <Slereah> I'm reading Kleene.
23:39:19 <Slereah> Explain me Kleene!
23:39:22 <ehird`> oh wait
23:39:24 <Slereah> What are you trying to tell me!
23:39:25 <ehird`> it is computable
23:39:28 <ehird`> http://en.wikipedia.org/wiki/Mu_operator
23:39:32 <ehird`> example #3
23:39:41 <ehird`> is written in kind-of-assembly language
23:39:41 <ehird`> so that should be easy
23:40:27 <Slereah> It be hard readin'.
23:40:37 <ehird`> uhm, that's pretty light readin'
23:40:38 <ehird`> go slowlt
23:40:39 <Slereah> But yeah, I suppose it is.
23:40:40 <ehird`> *slowly
23:43:16 <Slereah> "The unbounded μ operator will continue this attempt-to-match process ad infinitum or until a match occurs."
23:43:22 <Slereah> That's my problem.
23:44:46 <olsner> "ad infinitum" - sounds like the seed of turing completeness
23:45:18 <Slereah> Well, as long as it doesn't need to check if y actually exists, I guess I'll be okay.
23:45:21 <ehird`> Slereah: So it doesn't halt until it finds one; and loops forever if there is none.
23:48:18 -!- Corun has joined.
23:48:18 -!- Tritonio__ has joined.
23:48:33 <Slereah> That Lazy K dude was onto something with that referential transparency!
23:48:48 -!- Tritonio_ has quit (Read error: 110 (Connection timed out)).
23:55:14 <Slereah> Hm. Mister ehird`.
23:55:22 <ehird`> ehird mister.
23:55:56 <Slereah> If I use sum Monads, will I be able to read each function lazily ?
23:56:42 <Slereah> With the current idea, it seems like a lot of bothers.
23:56:58 <Slereah> And I can't rely on the combinators nice one-argument-each
23:57:04 <ehird`> Slereah: Monads allow you to do everything lazy.
23:57:21 <Slereah> Then I'd better go back on Haskell
23:57:23 <ehird`> Because the nature of the functions that run them create data dependencies
23:57:30 <ehird`> so that the evaluator is forced to evaluate the IO stuff in sequence
23:58:31 <Slereah> I'll pretend to understand and go read the tutorial.
←2008-02-19 2008-02-20 2008-02-21→ ↑2008 ↑all