00:08:06 -!- FireFly has quit ("Later").
00:21:21 <ehird> FAIL:
00:21:23 <ehird> <RodgerTheGreat> the halting problem can be solved trivially on a machne without time or memory constraints
00:21:27 <ehird> from 2007
00:22:15 <bsmntbombgirl> lofl
00:22:35 <ehird> he then clarifies that he was talking about an FSM.
00:22:43 <ehird> because it's not as if the halting problem refers to turing machines or anything.
00:23:02 <bsmntbombgirl> well he was right then
00:23:50 <ehird> no, because "halting problem" means "turing machine halting problem"
00:23:51 <ehird> :p
00:24:01 <ehird> since ther eis no such problem on a FSM
00:24:01 <bsmntbombgirl> well not really
00:24:09 <bsmntbombgirl> "no such problem?"
00:24:57 <ehird> sure, halt-checking an FSM on a turing machine is trivial.
00:25:02 <ehird> you just check for repeated states.
00:25:26 <bsmntbombgirl> what about push downs?
00:25:38 <ehird> I was talking about FSMs.
00:26:17 <bsmntbombgirl> i know
00:26:25 <bsmntbombgirl> and i was going to bring up push downs
00:27:34 <oerjan> ehird: actually the halting problem for lower complexity classes is somewhat important.  for one thing, it gives an easy way to prove that there _are_ an infinite hierarchy of such classes.
00:27:34 <ehird> Sneaky.
00:27:48 <ehird> oerjan: we were discussing turing machine halting problems at the time, tho.
00:28:40 <bsmntbombgirl> oerjan: so is it doable for push-down automatons?
00:28:59 <oerjan> er
00:30:39 <oerjan> not sure, i'm not used to think of those as potentially non-halting
00:33:59 <oerjan> since they are usually combined with parsing, for which the important thing is which languages they recognize
00:34:27 <oerjan> any non-halting would have to happen _between_ two input chars (or at the ends)
00:37:39 <oerjan> the recognized languages are context-free, so contained in the context-sensitive ones, which can be recognized in linear space
00:39:32 <oerjan> if you can do that on the level of computation, then a little more than linear space should be sufficient to solve the halting problem.
00:42:40 <oerjan> http://www.cse.ohio-state.edu/~gurari/theory-bk/theory-bk-threese6.html: "Theorem 3.6.3    The halting problem is decidable for pushdown automata."
00:46:54 <oerjan> bsmntbombgirl: so apparently, yes
00:52:16 -!- puzzlet has quit (Read error: 60 (Operation timed out)).
00:54:15 -!- puzzlet has joined.
01:03:37 <bsmntbombgirl> so what's a language that uses a pda?
01:04:10 <oerjan> context-free, i said
01:04:23 <oerjan> (non-deterministic pda)
01:04:44 <bsmntbombgirl> i mean, programming language
01:06:32 <oerjan> well befunge without self-modification
01:07:36 <bsmntbombgirl> because it would be interesting to see how useful a language for which the halting problem is solvable is
01:08:45 <oerjan> oh and no deep stack operations in case befunge has that (i forget)
01:10:42 <oerjan> i don't think you could use it to add two bignums in ordinary decimal notation, say
01:11:20 <bsmntbombgirl> yeah you could
01:11:22 <oerjan> although bizarrely if you reversed the second number, you could print the reverse result :D
01:11:35 <oerjan> huh?
01:11:36 <bsmntbombgirl> exactly
01:11:53 <oerjan> won't work for multiplication though
01:13:36 <bsmntbombgirl> but a stack machine can reverse its input
01:14:05 <oerjan> yeah
01:17:05 <bsmntbombgirl> so change it to a sequence of stack machines
01:17:13 <bsmntbombgirl> because the halting problem is still solvable there
01:21:18 <oerjan> hm true
01:23:58 <kerlo> BF-PDA is a PDA.
02:25:08 <bsmntbombgirl> not a good one
02:27:42 -!- CakeProphet has quit ("lol").
02:33:40 <GregorR> Kipple is a PDA if you only use one stack :P
02:35:21 -!- GregorR has set topic: a) oko; b) the swatter; c) messing with the topic; d) http://tunes.org/~nef/logs/esoteric; e) the letter game; f) gay sex. occasionally.; g) http://esolangs.org/wiki/Main_Page; h) Felching – The 4chanmaker!.
02:47:36 -!- psygnisfive has joined.
02:56:31 -!- psygnisfive has quit (Read error: 145 (Connection timed out)).
03:05:34 -!- CakeProphet has joined.
03:13:35 -!- Sgeo has joined.
03:38:53 -!- Sgeo_ has joined.
03:56:33 -!- Sgeo has quit (Read error: 110 (Connection timed out)).
04:26:41 -!- oerjan has quit ("leaving").
05:06:28 -!- MizardX has quit ("reboot").
05:09:23 <Sgeo_> G'night all
05:09:48 -!- Sgeo_ has quit (Read error: 104 (Connection reset by peer)).
05:10:53 -!- MizardX has joined.
05:31:46 -!- lament has changed nick to lamente.
07:05:13 -!- jix has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:16:47 -!- poiuy_qwert has joined.
08:25:33 -!- Slereah2 has joined.
08:36:33 -!- Slereah has quit (Read error: 110 (Connection timed out)).
08:55:35 -!- GreaseMonkey has quit ("Client Excited").
10:24:09 -!- oklopol has joined.
10:25:32 <oklopol> so i drop my laptop
10:25:41 <oklopol> and a few programs vanish
10:26:00 <oklopol> possible? no. happened? fuck yeah.
10:49:39 -!- oklopol has quit (Read error: 104 (Connection reset by peer)).
11:25:19 <ehird> <pikhq> SimonRC: You've just commited a grave logical fallacy: Argumentum ad Paul Graham.
11:25:21 <ehird> {2007-08-08}
11:41:04 <Slereah2> Who is paul graham
11:41:48 <ehird> You will be happier not knowing.
11:42:00 <Slereah2> No I'm not
11:42:29 <ehird> No, seriously
11:43:23 <Slereah2> Fine, I'll google it
11:43:46 <Slereah2> "Paul Graham (born 1964) is a programmer, venture capitalist, and essayist, known for his work on Lisp."
11:43:48 <Slereah2> That dude, I assume
11:43:54 <Slereah2> Why is he so terrible
11:46:08 <ehird> It's kind of complicated.
11:49:04 -!- CakeProphet has quit ("lol").
11:51:20 -!- oklopol has joined.
12:32:43 -!- poiuy_qwert has quit.
12:55:48 <ehird> 10:56:12 <oklokok> "I enjoy doing thing spontaneously." <<< thing is a character in addam's family
12:55:48 <ehird> 10:56:19 <oklokok> it's a hand10:56:24 <oklokok> does this refer to masturbation?
12:55:55 <ehird> {2007-08-09}
12:59:29 <oklopol> i lolled
13:13:09 -!- Slereah has joined.
13:29:44 -!- Slereah2 has quit (Read error: 110 (Connection timed out)).
14:12:38 -!- Judofyr_ has changed nick to Judofyr.
14:31:31 -!- Slereah2 has joined.
14:43:44 -!- Slereah has quit (Read error: 110 (Connection timed out)).
15:30:01 -!- FireFly has joined.
15:43:14 -!- BeholdMyGlory has joined.
15:43:54 -!- Sgeo has joined.
16:40:12 -!- kar8nga has joined.
16:45:48 -!- Hiato has joined.
16:57:09 -!- kar8nga has quit (Read error: 145 (Connection timed out)).
17:12:25 -!- impomatic has joined.
17:13:26 <impomatic> ^bf ++++++++++++++[>>+>++>+++>++>+++<<[++++<]<-]>>>>>[+++<]>-.>>.+++++++..+++.>>++.<+.<<.>.+++.------.--------.>+.
17:13:26 <fungot> Hello, World!
17:13:36 -!- oklopol has quit (Read error: 110 (Connection timed out)).
17:13:38 <impomatic> 106 :-)
17:16:27 <ehird> awesome
17:16:50 <ehird> impomatic: i think that's longer than it could be
17:17:07 -!- ais523 has joined.
17:18:28 <Hiato> Does anyone have an intricate understanding of FAT12+[N/Y/F]ASM here?
17:18:30 <impomatic> Hi Ehird
17:18:44 <ehird> hi
17:18:50 <ais523> hi
17:19:05 <ais523> Hiato: FAT12 sounds like a 12-bit filesystem
17:19:10 <ais523> by analogy with FAT32
17:19:13 <ais523> presumably it isn't that
17:19:44 <Hiato> nope, shouldn't think so.. Personally I have no actual clue, just did the ole "copy-n-paste" and it failed me
17:20:03 -!- MigoMipo has joined.
17:21:47 <impomatic> It's 12 bit, I wrote code to read files from it about 15 years ago
17:22:06 <impomatic> But I wouldn't be much help.  I only read it, never tried to manipulate it
17:22:09 -!- Sgeo_ has joined.
17:25:05 <Hiato> Well, it's a start, so if you dig it up that would be nice :)
17:25:08 * Hiato makes puppy eyes
17:25:24 <Hiato> I think the write code is fine, but I can't test it until I can read :P
17:32:54 -!- oklopol has joined.
17:34:00 -!- MigoMipo has quit ("Changing server...").
17:36:39 -!- Sgeo has quit (Read error: 110 (Connection timed out)).
18:21:01 -!- Slereah has joined.
18:33:03 -!- decipher_ has changed nick to decipher.
18:33:19 -!- Slereah2 has quit (Read error: 110 (Connection timed out)).
18:34:51 -!- olsner has joined.
18:40:24 -!- BeholdMyGlory has quit ("hejdå").
18:43:04 -!- Sgeo has joined.
19:00:59 -!- Sgeo_ has quit (Read error: 110 (Connection timed out)).
19:27:43 -!- jix has quit (Read error: 104 (Connection reset by peer)).
19:27:54 -!- jix has joined.
19:33:39 -!- FireFly has quit ("Brb").
19:37:12 -!- ais523 has quit (Remote closed the connection).
19:40:50 -!- ais523 has joined.
19:41:37 -!- BeholdMyGlory has joined.
19:51:50 -!- oklopol has quit (Read error: 110 (Connection timed out)).
19:53:35 -!- oklopol has joined.
19:55:21 <impomatic> ^bf +++++[>+++[>>+>++>+++>+++>++>+++<<[++++<]<-]<-]>>>---.>>----.>+++..+++.>>-.<++.<<<---.>>.+++.------.<-.>>+.
19:55:21 <fungot> Hello, World!
19:55:46 <ais523> triple-nested loops in a BF hello world?
19:55:48 <ais523> I don't see that often
19:56:43 <oklopol> we should make a <=50 character hello world
19:57:01 <impomatic> Yeah, shame it's 107 instructions and not <106
19:57:16 <ehird> you can shave off an instruction
19:57:16 <impomatic> oklopol: go ahead :-)
19:57:17 <ehird> almost certainly
19:57:26 <ehird> ^bf +++++[>+++[>>+>++>+++>+++>++>+++<<[++++<]<-]<-]>>>---.>>----.>+++..+++.>>-.<++.<<<---.>.+++.------.<-.>>+.
19:57:26 <fungot> Hello, WehbVp
19:57:29 <ehird> hee
19:57:36 <oklopol> *see
19:57:42 <impomatic> ehird: okay, show me how :-P
19:57:50 <ehird> i dunno :-D
19:58:08 <ehird> anyway it isn't even a correct program right now
19:58:11 <ehird> the w should be lowercase
19:58:14 <ehird> does it do newlines?
19:58:18 <ehird> ^bf +++++[>+++[>>+>++>+++>+++>++>+++<<[++++<]<-]<-]>>>---.>>----.>+++..+++.>>-.<++.<<<---.>>.+++.------.<-.>>+
19:58:18 <fungot> Hello, World
19:58:22 <ehird> nope.
19:58:33 <ais523> ehird: there are all sorts of debates about the exact spelling and punctuation of hello world
19:58:48 <ehird> Hello, world!\n is the most common for human-written ones as far as I can se
19:58:49 <ehird> e
19:58:51 <ehird> for BF at least
19:59:03 -!- psygnisfive has joined.
19:59:16 -!- psygnisf_ has joined.
19:59:45 <impomatic> I've seen "Hello, World!", "Hello World!\n" and "Hello, world!"
19:59:48 -!- psygnisf_ has changed nick to psygnisfive_.
20:00:02 <ehird> without newline is just a bug
20:00:11 <ehird> since it will fail on any correct console interpreter
20:00:16 <impomatic> I'm working on "Hello, World!" because that's the example someone showed me
20:00:24 <ehird> mm
20:00:28 <ehird> I'd go for Hello, world!\n
20:00:32 <ehird> just a change of case and one new char
20:00:46 <psygnisfive_> hey goys
20:01:28 <impomatic> HI Psygnisfive_
20:02:20 <GregorR> I would go with Greetings, personified globular iron construct orbiting sol!\r
20:02:33 <psygnisfive_> impomatic, you new, ey?
20:02:37 <ehird> no.
20:02:40 <ehird> he's been here days
20:02:46 <ais523> only a few days, though
20:02:47 <psygnisfive_> so yes hes new :p
20:03:30 <ehird> psygnisfive_: you're new too :p
20:03:35 <psygnisfive_> not that new!
20:03:41 <ehird> 2008-05-16
20:04:16 <psygnisfive_> yeah
20:04:22 <psygnisfive_> thats AGES longer! :o
20:04:32 <psygnisfive_> also, im pretty sure i was actually first here in like
20:04:35 <ehird> no
20:04:36 <ehird> you weren't
20:04:38 <psygnisfive_> ?
20:04:41 <ehird> I grepped for both augur and psygnisfive
20:04:51 <psygnisfive_> really?
20:04:52 <psygnisfive_> hm
20:04:54 <ehird> yes.
20:05:25 <ehird> for the record: I first joined 2006-12-29, left like 20 seconds after, next joined (and spoke and stuff) 2007-05-14
20:05:30 <ehird> stuck here since.
20:06:11 <psygnisfive_> my oldest #esoteric logs are from 28 May 08
20:06:26 <ehird> then you were here as a ghost.
20:06:28 <ehird> what was your nick
20:06:42 -!- FireFly has joined.
20:06:48 <psygnisfive_> dude, thats after your first reported sighting of me :P
20:06:56 <ehird> oh. right
20:07:01 <ehird> psygnisfive_: yes
20:07:02 <ehird> that's your first join as augur
20:07:07 <ehird> wait
20:07:07 <ehird> no
20:07:10 <ehird> you first joined as augur
20:07:11 <ehird> on the 16th
20:07:16 <ehird> then on the 27th as psygnisfive
20:07:19 <ehird> 08.05.27:07:36:40 --- nick: augur -> psygnisfive
20:07:26 <ehird> [time zones]
20:08:38 <psygnisfive_> my earliest colloquy log is from 20 May
20:08:55 <psygnisfive_> so from the 16th to the 19th i was using mibbit for irc i guess
20:09:07 <ehird> guys, remember faxasthisia? he was cool
20:09:16 <ais523> yes, I remember
20:09:25 <ehird> why did he fall off the face of the earth?
20:09:26 <ais523> although not what they were like
20:09:49 <oklopol> i remember the nick, and that there was something worth remembering about it, but i don't remember what it was.
20:10:05 <oklopol> oh wait is it just that he *may have been* the guy who knew j.
20:10:26 <ehird> yeah
20:10:27 <ehird> he liked j
20:10:34 <oklopol> coooooooooool
20:11:06 <ehird> he was last here 38 weeks ago
20:11:09 <ehird> RIP faxathisia
20:11:17 <ehird> here = freenode
20:11:50 <ehird> wow, someone has a text file of ridiculous faxathisia quotes.
20:11:52 <ehird> http://ross.fappett.com/misc/fax.txt
20:11:56 <ehird> he never acted like that in here :P
20:14:45 -!- psygnisfive has quit (Read error: 110 (Connection timed out)).
20:17:52 <ehird> Google provse it.
20:17:56 <ehird> Faxathisia is dead. RIP.
20:19:29 <oklopol> lol some of those were pretty funny
20:19:58 <ehird> FAXATHISIA IF YOU BE READING THIS COME BACK K
20:20:34 <ehird> http://fax.twilightcoders.net/ Site of a dead man
20:20:45 -!- Sgeo has quit (Read error: 104 (Connection reset by peer)).
20:22:38 <oklopol> universal binary
20:22:43 <ehird> http://fax.twilightcoders.net/AquaBreakout/ Cute
20:23:00 <ais523> a polyglot binary that ran on lots of different OSs and architectures could be interesting
20:23:07 <ais523> but probably impossible due to the way ELF headers work
20:23:09 <psygnisfive_> i think i shall start working on an actual interpreter for my language. :T
20:36:42 -!- Hiato has quit (Read error: 110 (Connection timed out)).
20:38:17 <impomatic> psygnisfive_: new here, not new to esoteric languages :-)
20:38:25 <psygnisfive_> well
20:38:31 <psygnisfive_> who is, when they come here
20:38:40 <psygnisfive_> ive known about esolangs for like 10 yeas
20:39:54 <ehird> uh huh.
20:39:59 <ehird> i kind of doubt that
20:40:24 <psygnisfive_> well maybe not ten but about.
20:40:38 <psygnisfive_> i mean, its not like i marked it in my calendar, you know, but
20:41:06 <psygnisfive_> it could easily have been 10 years.
20:41:19 <psygnisfive_> i think i first discovered esolangs in yahoo's directories
20:41:40 <psygnisfive_> this was before wikipedia was what it is now, obviously
20:42:02 <ehird> wikipedia started in 2001.
20:42:11 <ehird> your lies are revealed!
20:42:16 <psygnisfive_> yeah, but i didnt know about it until like .. 2002?
20:42:22 <psygnisfive_> but like i said, before wikipedia.
20:42:28 <psygnisfive_> 10 years ago was 1999 :p
20:42:32 <ehird> thats not what you asid
20:42:38 <ehird> you said before wikipedia was what it was now
20:42:40 <psygnisfive_> yes
20:42:44 <psygnisfive_> what it is now is..
20:42:46 <oklopol> i probably learned about wp in like 2007
20:42:47 <psygnisfive_> existant :)
20:42:48 <ehird> thus implying the existance of wikipedia
20:42:52 <ehird> at the time
20:42:58 <ehird> or you would have just said, before wikipedia
20:43:01 <ehird> ergo, not 10 years
20:43:02 <ehird> ha
20:43:16 <psygnisfive_> i actually thought wikipedia started in the late 90s
20:43:18 <ais523> I discovered esolangs via the 99bob website
20:43:20 <psygnisfive_> but i was probably thinking of google
20:43:25 <ais523> and esolangs.org via Wikipedia via google
20:43:37 <ais523> and #esoteric via esolangs.org
20:43:53 <oklopol> i'm pretty sure "before wp was what it is now" meant wikipedia didn't exist, with the additional "don't make smart-ass comments about it somehow technically existing in some form"
20:44:00 <ehird> ais523: but I thought you could do without google.
20:44:08 <ais523> I can nowadays, mostly
20:44:18 <ais523> this was back before I was very internet-savvy
20:44:24 <ais523> I didn't even know about IRC or Usenet back then
20:44:26 <psygnisfive_> oklopol: in a way it could!
20:44:34 <psygnisfive_> since wiki's have been around since 1994
20:44:36 <psygnisfive_> :p
20:44:46 <oklopol> sure could, sure could
20:44:50 <ehird> umm, 1992 wasn't it
20:44:52 <psygnisfive_> i learned about #esoteric from slereah
20:44:56 <impomatic> I started playing with esolangs in 1993.
20:44:56 <impomatic> Unless Redcode counts :-)
20:44:58 <psygnisfive_> eh
20:45:01 <psygnisfive_> WikiWikiWeb 1994
20:45:04 <ehird> redcode counts, impomatic
20:45:05 <psygnisfive_> dunno about earlier
20:45:08 <ehird> so when did you start then
20:45:09 <ais523> redcode's more an interesting variant of asm
20:45:12 <psygnisfive_> but the first site called a wiki
20:45:26 <ais523> and asm would be an esolang if it wasn't so widespread
20:46:00 <ehird> all this only proves that your definition of esolangs is needlessly vague and wide-spanning, ais523
20:46:05 <ais523> yes, it is
20:46:21 <psygnisfive_> ais is the counterbalance to me
20:46:38 <psygnisfive_> since my definition is needlessly specific and narrow-spanning
20:47:24 <oklopol> NARROW NARROW NARROW IT DOWN, GENTLY DOWN THE STREAM
20:48:39 <impomatic> 1991 if Redcode counts
20:49:21 <oklopol> lol i wasn't even alive in 91 :\
20:49:25 <impomatic> My modem is apparently not connected?
20:49:28 <ehird> oklopol: nor I :-D
20:49:30 <impomatic> Trying to connect now
20:49:31 <ehird> impomatic: i hear you
20:49:46 -!- ehird has set topic: a) oko; b) the swatter; c) messing with the topic; d) http://tunes.org/~nef/logs/esoteric; e) the letter game; f) gay sex. occasionally.; g) http://esolangs.org/wiki/Main_Page; h) Felching – The 4chanmaker!; i) YOUNGUNS.
20:49:48 -!- ehird has set topic: a) oko; b) the swatter; c) messing with the topic; d) http://tunes.org/~nef/logs/esoteric; e) the letter game; f) gay sex. occasionally.; g) http://esolangs.org/wiki/Main_Page; h) Felching – The 4chanmaker!; i) YOUNG UNS.
20:49:57 <oklopol> young guns?
20:50:03 <ehird> that is why i added the space
20:50:03 <oklopol> that's much worse than eurocreme...
20:50:25 <oklopol> now where's my notebook
20:50:34 <impomatic> oklopol: You're making me feel old!
20:51:10 <ehird> YOU ARE OLD. :-|
20:51:21 <impomatic> :-/
20:52:13 <ehird> :-------|
20:52:18 -!- FireFly has quit ("Later").
20:53:04 <psygnisfive_> mm eurocreme
20:53:04 <psygnisfive_> this is like.. a, f, h, and i all at once :o
20:54:34 <ehird> :-|
20:54:38 <ehird> I don't think we need to know, psygnisfive_
20:56:18 <oklopol> was just about to ask "what are those", but i guess ehird is right
20:56:29 <ehird> 20:50 ehird has set topic: a) oko; b) the swatter; c) messing with the topic; d) http://tunes.org/~nef/logs/esoteric; e) the letter game; f) gay sex. occasionally.; g) http://esolangs.org/wiki/Main_Page; h) Felching – The 4chanmaker!; i) YOUNG UNS
20:56:44 <ais523> I think it's time for a new topic
20:56:49 <ehird> no
20:56:51 <ehird> i like this one
20:56:56 <ehird> so does GregorR, since he's added to it.
20:57:02 <ehird> also, i didn't even originate it, you did
20:57:04 <ais523> I know
20:57:08 <ehird> the first three items are yours
20:57:09 <ais523> it's just got out of control
20:57:13 <ehird> meh
20:57:16 <ehird> it's not that long
20:57:18 <ais523> o
20:57:23 <ehird> remove up to the end of the wiki link, I guess
20:57:29 -!- ehird has set topic: a) oko; b) the swatter; c) messing with the topic; d) http://tunes.org/~nef/logs/esoteric; e) the letter game; f) gay sex. occasionally.; g) http://esolangs.org/wiki/Main_Page.
20:58:32 -!- GreaseMonkey has joined.
20:58:58 -!- BeholdMyGlory has quit ("hejdå").
21:02:08 -!- GreaseMonkey has quit (Client Quit).
21:02:58 -!- GreaseMonkey has joined.
21:04:58 <GregorR> You could reduce it.
21:05:30 <GregorR> Awww, but you shouldn't have removed imne :(
21:05:42 <GregorR> *mine
21:08:30 -!- kar8nga has joined.
21:11:02 -!- psygnisfive_ has quit (Read error: 110 (Connection timed out)).
21:11:17 <AnMaster> hi ais523
21:11:22 <ais523> hi
21:12:18 <impomatic> Anyone here got a programming blog?
21:12:48 <ais523> I don't blog
21:12:48 <Slereah> a plog?
21:13:11 <Deewiant> clog?
21:13:33 -!- BeholdMyGlory has joined.
21:13:51 <Slereah> zlog
21:13:59 <Judofyr> I do
21:15:14 <Slereah> Our plog is the esowiki
21:16:31 <impomatic> Judofyr: where? :-)
21:22:52 <Judofyr> impomatic: http://judofyr.net
21:22:56 <Judofyr> mostly Ruby, though
21:26:13 <Slereah> Esoruby
21:26:53 -!- BeholdMyGlory has quit.
21:27:48 <ais523> Judofyr: about that tail-call optimisation
21:27:55 <ais523> why doesn't Ruby have that tail-recursion operator from Perl?
21:27:58 <ais523> goto &procedure;
21:28:12 <ais523> it's one of my favourites!
21:28:20 -!- BeholdMyGlory has joined.
21:28:48 <Judofyr> ais523: nope :/
21:40:12 -!- FireFly has joined.
21:41:15 -!- Corun has joined.
21:42:56 <ehird> hi Judofyr
21:43:04 * ehird blogs, but doesn't atm. :-P
21:43:59 <oklopol> i can't blog, because i dislike the term :<
21:44:04 <oklopol> i would otherwise.
21:44:11 <ehird> call it a web log
21:44:16 <ehird> or just a 'log
21:44:16 <oklopol> haha
21:44:24 <ehird> okolog
21:44:30 <oklopol> og
21:45:37 <ehird> yes
21:45:39 <ehird> call it an og
21:45:45 <oklopol> ög
21:45:48 * ehird bookmarks http://vjn.fi/oklopol/og/ pre-emptively
21:45:52 <oklopol> hehe
21:46:17 <oklopol> guess i could og my reading diary....... that would pretty much sum up my life.
21:46:26 <ehird> also, oko towers.
21:46:27 <oklopol> that is, publish thems.rtf.
21:46:46 <ehird> i would totally pay you to maintain an html page with date-attached oko towers and reading log entries.
21:46:53 <ehird> it'd be like. the oko shrine
21:47:00 <ehird> the ogo shrine hur hur
21:47:11 <oklopol> hmm
21:47:22 <oklopol> yeah, maybe it could be an og about oko.
21:47:37 <oklopol> liek jib down the oko aspects of my life.
21:48:12 <ehird> yeah, exactly
21:48:14 <ehird> like
21:48:40 <ehird> 2009-01-26<br>Today I made an oko so big it crashed the IRC server.<br><br>
21:48:49 <ehird> just thrilling
21:49:02 * AnMaster sneaks in a few / there
21:49:09 <ais523> crashing Freenode with an oko would be impressive
21:49:15 <ais523> it would effectively have to be a DDOS oko
21:49:28 <AnMaster> ais523, permanent kline ;P
21:49:31 <ehird> AnMaster: I think you should stop provoking me to give you the full rant on why XHTML lovers are idiots.
21:50:02 <ais523> ehird: that common maxim that you keep quoting, I suspect is dangerous
21:50:09 <AnMaster> ehird, simple: If I loved html you would love xhtml instead ;P
21:50:27 <ais523> if everyone's being liberal in what they accept, then people with an agenda can be liberal in what they produce
21:50:40 <ehird> AnMaster: fun fact: I have had opinions before I unfortunately met you.
21:50:47 <ais523> in XHTML, it's the people who don't know what they're doing that look like idiots
21:50:49 <ehird> ais523: Postel's Law isn't the whole argument by far.
21:50:59 <AnMaster> ais523, agreed
21:51:00 <ehird> Also, people with an agenda being liberal in what they produce...
21:51:03 <ehird> will change what, exactly?
21:52:17 <ais523> it will change the standard
21:52:25 <ais523> as other people will have to conform to their liberal productions
21:52:31 <ais523> rather than other people's liberal prodcutions
21:52:33 <ais523> *productions
21:52:59 <ehird> You misunderstand Postel's Law, but I'm not having this conversation atm.
21:54:41 -!- kar8nga has quit (Read error: 60 (Operation timed out)).
21:55:53 <oklopol> people with an agenda?
21:56:02 <Slereah> gays
21:56:07 <oklopol> can you translate that, i do not understand natural language.
21:56:23 <oklopol> Slereah: ohh. that i grok
22:02:33 -!- impomatic has quit ("http://impomatic.blogspot.com").
22:02:56 <ehird> http://uncyclopedia.wikia.com/wiki/Uncyclopedia:An_Appeal_From_Uncyclopedia_Mother%2C_Codeine%27s_Mum
22:04:07 <ais523> what's %2C?
22:04:12 <ais523> %27 is apostrophe, IIRC
22:04:21 <ehird> ,
22:09:29 <Slereah> Don't go to uncyclopedia, ehird
22:09:32 <Slereah> It is terrible
22:09:33 <ehird> i don't.
22:09:46 <ehird> the idiot m p darke linked to it. But I found the linked article, linked to in the header of the linked article, funny.
22:09:52 <ehird> was that sufficiently confusing
22:10:03 <ais523> I think one of the only times I went to Uncyclopedia was because someone had copied one of their articles over to Wikipedia
22:10:22 <ais523> and people kept removing deletion tags from it
22:10:37 <ais523> so I marked it copyvio
22:10:41 <ais523> which it was
22:10:51 <ais523> yay for incompatible licences
22:39:47 -!- oerjan has joined.
22:43:26 <oerjan> <Slereah2> "Paul Graham (born 1964) is a programmer, venture capitalist, and essayist, known for his work on Lisp."
22:43:39 <oerjan> <Slereah2> Why is he so terrible
22:43:59 <oerjan> iiuc he is essentially a lisp fundamentalist
22:44:24 <ehird> no
22:44:26 <ehird> he's just an idiot
22:44:27 <oerjan> although i haven't paid that much attention to him
22:45:46 <oerjan> ehird: i _might_ claim that follows as a consequence, if he is a fundamentalist
22:46:12 -!- BeholdMyGlory has quit ("godnatt").
22:47:06 <oerjan> s/fundamentalist/fanatic/ if the first word doesn't actually fit
22:49:34 <oklopol> lisp is singularity
22:49:36 <oklopol> lisp is origin
22:50:04 <oklopol> LISP HAS SEXUAL PEE
22:50:05 <oerjan> http://xkcd.com/224/
22:50:17 <oerjan> (obligatory link)
22:50:36 <oklopol> old
22:50:39 <oklopol> (obligatory line)
22:51:17 <oklopol> (well, obligatory joke)
22:59:35 -!- ais523 has quit.
23:13:35 <ehird> 0xFF bottles of beer on the wall
23:13:37 <ehird> 0xFF bottles of beer
23:13:39 <ehird> Take one down, two's complement it
23:13:41 <ehird> Error segfault
23:14:16 <oerjan> wait what
23:14:35 <oerjan> why is 0 a segfault?
23:14:50 <oerjan> or is there a size problem?
23:15:25 <oerjan> and how do we reverse entropy?
23:15:38 <oerjan> (last one thrown in just in case)
23:15:57 <GregorR> ... "two's complement" is not a verb ...
23:16:13 <oerjan> i think it verbs just fine
23:16:34 <GregorR> Then what does it mean? There's no action that's "two's complement"ing a ... number? Stream of bits?
23:18:41 <oerjan> it whats a meaning of calculating the two's complement.  stop complainingly mindlessing.
23:19:30 <oerjan> probably in-placing it, too
23:24:11 <ehird> GregorR: I don't care, it amuses me.
23:24:19 <ehird> (It's from the 2007 logs, said by me)
23:26:49 -!- CakeProphet has joined.
23:44:09 -!- olsner has quit ("Leaving").
23:57:38 <oklopol> GregorR: i think you just lack a skill in an english.
23:58:04 <oerjan> oklopol: i sentiment exactly
23:58:30 <oklopol> i think i should probably book a read
23:58:52 <oerjan> also, since finnish doesn't have articles, would those be reasonable mistakes for a finn to make?
23:58:54 <ehird> concatenative languages are awesome