00:17:56 -!- Sgeo has joined.
01:12:18 -!- sebbu2 has quit ("@+").
02:35:54 -!- pgimeno has quit (Read error: 104 (Connection reset by peer)).
02:51:20 -!- pgimeno has joined.
02:59:58 -!- digital_me has joined.
03:09:26 -!- bsmntbom1dood has joined.
03:11:15 -!- bsmntbom1dood has quit (Client Quit).
03:45:09 -!- oerjan has quit ("leaving").
03:51:37 -!- Sukoshi has quit ("ERC Version 5.1 (CVS) $Revision: 1.796 $ (IRC client for Emacs)").
05:22:02 -!- digital_me has quit ("Lost terminal").
05:37:06 -!- RodgerTheGreat has quit.
05:39:09 -!- RodgerTheGreat has joined.
06:11:08 -!- Sgeo has quit (Remote closed the connection).
06:19:42 -!- ShadowHntr has quit ("End of line.").
07:05:21 -!- Sukoshi has joined.
07:26:53 -!- ShadowHntr has joined.
07:47:05 -!- maverickbna has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:01:36 -!- manveru has joined.
08:03:53 -!- ShadowHntr has quit (Read error: 110 (Connection timed out)).
08:05:46 -!- maverickbna has changed nick to ShadowHntr.
08:17:00 -!- ShadowHntr has quit ("End of line.").
09:49:57 -!- sebbu has joined.
09:58:09 -!- sebbu has quit (zelazny.freenode.net irc.freenode.net).
09:58:09 -!- Sukoshi has quit (zelazny.freenode.net irc.freenode.net).
09:58:09 -!- pgimeno has quit (zelazny.freenode.net irc.freenode.net).
09:58:09 -!- EgoBot has quit (zelazny.freenode.net irc.freenode.net).
09:58:09 -!- GregorR has quit (zelazny.freenode.net irc.freenode.net).
09:58:09 -!- tokigun has quit (zelazny.freenode.net irc.freenode.net).
09:58:42 -!- sebbu has joined.
09:58:42 -!- Sukoshi has joined.
09:58:42 -!- pgimeno has joined.
09:58:42 -!- GregorR has joined.
09:58:42 -!- tokigun has joined.
09:58:42 -!- EgoBot has joined.
09:59:23 -!- GregorR has quit (Connection reset by peer).
09:59:34 -!- GregorR has joined.
10:08:49 -!- GregorR has quit (zelazny.freenode.net irc.freenode.net).
10:08:49 -!- EgoBot has quit (zelazny.freenode.net irc.freenode.net).
10:08:49 -!- tokigun has quit (zelazny.freenode.net irc.freenode.net).
10:08:49 -!- Sukoshi has quit (zelazny.freenode.net irc.freenode.net).
10:08:49 -!- pgimeno has quit (zelazny.freenode.net irc.freenode.net).
10:08:49 -!- sebbu has quit (zelazny.freenode.net irc.freenode.net).
10:09:18 -!- GregorR has joined.
10:09:18 -!- sebbu has joined.
10:09:18 -!- Sukoshi has joined.
10:09:18 -!- pgimeno has joined.
10:09:18 -!- tokigun has joined.
10:09:18 -!- EgoBot has joined.
10:10:55 -!- GregorR_ has joined.
10:10:55 -!- GregorR has quit (Read error: 104 (Connection reset by peer)).
10:12:58 -!- jix__ has joined.
10:14:22 -!- jix__ has changed nick to jix.
10:33:32 -!- nazgjunk has joined.
11:13:11 -!- anonfunc has joined.
11:13:47 -!- anonfunc has quit (Client Quit).
11:13:51 -!- anonfunc has joined.
11:55:42 -!- NK`divx has changed nick to NK`.
12:18:21 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)).
12:27:31 -!- oerjan has joined.
12:28:51 -!- nazgjunk has joined.
12:33:51 -!- oklopol has quit (Read error: 104 (Connection reset by peer)).
12:34:28 -!- oklofok has joined.
13:06:45 -!- ais523 has joined.
13:07:01 <EgoBot> 1 ais523: daemon ul bf
13:07:03 <EgoBot> 2 ais523: daemon deadfish funge93
13:07:18 -!- ais523 has set topic: #esoteric - 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://meme.b9.com/cdates.html?channel=esoteric - Pastebin: http://pastebin.ca/.
13:16:24 -!- UpTheDownstair has joined.
13:17:04 -!- UpTheDownstair has quit (Read error: 104 (Connection reset by peer)).
13:17:41 -!- UpTheDownstair has joined.
13:18:51 <oerjan> ais523: you correction needs a correction
13:19:07 <ais523> why, what have I done wrong this time?
13:19:12 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)).
13:19:21 <oerjan> there is a line number 100110 :)
13:19:34 <ais523> that's correct, I had to pick an arbitary high number
13:20:12 <ais523> I suppose using 112 would have made more sense, to avoid clashes with the rest of the program
13:20:37 <ais523> BTW, a simple proof that -1 is not a square number modulo 2^n (n>=2): all square numbers are 0 or 1 mod 4
13:20:54 <oerjan> i realized that later that evening :)
13:22:05 <oerjan> strangely enough, there does not otherwise seem to be a theory of square residues modulo numbers that have a prime factor more than once.
13:22:19 <oerjan> that i could find by googling, anyhow.
13:22:40 -!- nazgjunk has joined.
13:24:33 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)).
13:24:37 -!- UpTheDownstair has quit (Read error: 104 (Connection reset by peer)).
13:25:00 -!- nazgjunk has joined.
13:37:28 <ais523> I've just finished writing a new language (although presumably refinements will be needed later)
13:37:48 <ais523> It's a bit like Thue, but deterministic, with flow control, and regexp-based
13:38:18 <ais523> I've already written Hello, World!, an Underload interpreter, and a BF interpreter without I/O (although the language has I/O itself)
13:39:44 <oerjan> btw i am slowly writing a Forte interpreter
13:40:07 <ais523> I've been thinking about one too
13:40:27 <ais523> Anyway, here's the new language reference interpreter: http://pastebin.ca/375628
13:40:41 <ais523> If it had arithmetic, it might be a good language to write Forte in
13:41:03 <oerjan> well i am using Haskell, as usual.
13:41:08 <ais523> (If arithmetic isn't too hard to implement (I've already done +), it might be a good language to write Forte in anyway)
13:42:32 <ais523> Hello, World! is a one-liner: /^=1$/Hello, world!=n=x=9/
13:43:16 -!- jix__ has joined.
13:43:22 <oerjan> btw i am adding some BASIC-like debugging commands - RUN LIST BREAK STEP
13:43:44 <ais523> does LIST list using the numbers in the source program, or does it use reassigned integers?
13:44:20 <oerjan> or at least that is the intention.
13:44:44 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)).
13:44:49 <oerjan> in fact the interpreter will not keep track of the original numbers.
13:45:06 <oerjan> (other than looking up _from_ them, of course)
13:48:50 <ais523> I need a better INPUT command in Forte
13:49:14 <ais523> because in all situations there's an input that causes undefined behaviour, and even removing that clause there'll be any number of inputs that cause havoc
13:49:20 <ais523> sort of like gets() in C
13:49:39 <oerjan> string input could work.
13:50:34 <oerjan> you could have INPUT be a function.
13:50:50 <oerjan> so you could modify with arithmetic before storing.
13:51:01 <ais523> if input is a char at a time rather than a number, then it'll be limited to the range 0-255
13:51:18 <oerjan> but that will still end up confusing characters.
13:51:26 <ais523> so programs could make use of the fact by never modifying those numbers (probably a good idea anyway)
13:51:51 <ais523> the numbers could still be assigned to other numbers, as long as the other numbers were not then modified themselves
13:52:55 <ais523> shouldn't be a problem, for instance
13:54:01 <oerjan> but you could not handle unbounded input length. or could you?
13:54:16 <ais523> you'd just have to use an infinite number of input variables
13:54:32 <oerjan> which means they would have to be calculated.
13:54:39 <ais523> you have to use an infinite number of line labels anyway, so it's not too much of an extra stretch
13:55:00 <oerjan> you mean an infinite length program?
13:55:00 <ais523> the command would have to be INPUTCHAR expression
13:55:25 <ais523> no, just the way that you have to keep increasing the line labels up arbitrarily high to keep a loop going (from within the program)
13:56:05 <oerjan> ok, INPUTCHAR expression it is, then.
13:56:19 <ais523> I'll go and add the INPUTCHAR command, then (what would it be called in BASIC? GET, wasn't it?)
13:56:44 <oerjan> maybe. i suppose it varies by dialect.
13:56:49 <ais523> and if we have GET we may as well have PUT to make it marginally easier to write a BF interpreter
13:57:31 <ais523> (The Underload-to-BF compiler has to dump an ASCII table into the program, because there isn't an output-by-char-code command in Underload, and Forte would end up the same way otherwise)
13:58:04 <oerjan> reminds me of Unlambda too
13:58:26 <oerjan> so GET expr but PUT number?
13:59:11 <ais523> PUT expr (and INPUT expr) would be more symmetrical
13:59:27 <ais523> I wonder if that would be worth making programs easier-to-write for
13:59:34 <oerjan> in that case, why not LET expr=expr?
13:59:58 <ais523> that would lose the link with BASIC, but why not
14:00:05 <ais523> the language is hard enough to write in anyway
14:00:41 -!- jix has quit (Read error: 110 (Connection timed out)).
14:15:35 -!- nazgjunk has joined.
15:01:24 -!- nazgjunk has quit ("Leaving").
15:22:40 -!- crathman has joined.
15:43:40 <ais523> Damn, I just discovered that the IOCCC was open
15:43:50 <ais523> and that it ends midnight today UTC
15:44:00 <ais523> Luckily I had a program ready...
15:48:45 <oerjan> hm... better put in LOAD and SAVE...
16:03:29 -!- anonfunc has quit.
16:11:39 -!- oerjan has quit ("In seach of food").
16:31:32 -!- GregorR_ has changed nick to GregorR.
17:46:59 -!- tgwizard has joined.
18:46:40 -!- ais523 has quit ("This space intentionally fails to be blank").
18:58:56 -!- crathman has quit ("Chatzilla 0.9.77 [Firefox 2.0.0.2/2007021917]").
19:24:10 -!- RodgerTheGreat has quit (Read error: 104 (Connection reset by peer)).
19:31:45 -!- oklofok has quit (Read error: 104 (Connection reset by peer)).
19:39:57 -!- UnrelatedToQaz has joined.
19:40:44 -!- oklopol has joined.
19:42:29 -!- UnrelatedToQaz has quit (Client Quit).
19:54:59 -!- oerjan has joined.
20:45:48 -!- crathman has joined.
20:59:16 -!- nazgjunk has joined.
21:29:15 -!- oerjan has quit (Read error: 104 (Connection reset by peer)).
21:32:36 -!- oerjan has joined.
21:38:54 -!- oerjan has quit ("Lost terminal").
21:48:50 -!- UpTheDownstair has joined.
21:51:23 -!- UpTheDownstair has quit (Read error: 131 (Connection reset by peer)).
21:51:45 -!- UpTheDownstair has joined.
21:52:23 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)).
22:02:49 -!- RodgerTheGreat has joined.
22:03:17 -!- GregorR has changed nick to _D6Gregor1RFeZi.
22:03:44 -!- UpTheDownstair has changed nick to nazgjunk.
22:09:57 -!- nazgjunk has quit ("Leaving").
22:14:58 -!- sebbu2 has joined.
22:15:35 -!- jix__ has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
22:21:57 -!- nazgjunk has joined.
22:33:56 -!- sebbu has quit (Connection timed out).
23:00:56 -!- digital_me has joined.
23:06:22 -!- crathman has quit ("Chatzilla 0.9.77 [Firefox 2.0.0.2/2007021917]").
23:22:04 -!- sebbu2 has quit ("@+").
23:34:39 -!- nazgjunk has quit ("Leaving").
23:57:37 -!- oerjan has joined.
23:58:34 -!- anonfunc has joined.