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:36:02 good night, everyone 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:29:08 n 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:06:58 !ps d 13:07:01 1 ais523: daemon ul bf 13:07:03 2 ais523: daemon deadfish funge93 13:07:05 3 ais523: ps 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 ais523: you correction needs a correction 13:19:07 why, what have I done wrong this time? 13:19:12 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)). 13:19:21 there is a line number 100110 :) 13:19:32 *your 13:19:34 that's correct, I had to pick an arbitary high number 13:19:39 oh. 13:20:12 I suppose using 112 would have made more sense, to avoid clashes with the rest of the program 13:20:37 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 i realized that later that evening :) 13:21:11 in a d'oh! moment :) 13:22:05 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 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 I've just finished writing a new language (although presumably refinements will be needed later) 13:37:38 aha 13:37:48 It's a bit like Thue, but deterministic, with flow control, and regexp-based 13:38:18 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:33 hm... 13:39:44 btw i am slowly writing a Forte interpreter 13:40:07 I've been thinking about one too 13:40:27 Anyway, here's the new language reference interpreter: http://pastebin.ca/375628 13:40:41 If it had arithmetic, it might be a good language to write Forte in 13:41:03 well i am using Haskell, as usual. 13:41:08 (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 Hello, World! is a one-liner: /^=1$/Hello, world!=n=x=9/ 13:43:16 -!- jix__ has joined. 13:43:22 btw i am adding some BASIC-like debugging commands - RUN LIST BREAK STEP 13:43:44 does LIST list using the numbers in the source program, or does it use reassigned integers? 13:44:08 reassigned. 13:44:20 or at least that is the intention. 13:44:44 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)). 13:44:49 in fact the interpreter will not keep track of the original numbers. 13:45:06 (other than looking up _from_ them, of course) 13:48:50 I need a better INPUT command in Forte 13:49:14 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 sort of like gets() in C 13:49:39 string input could work. 13:50:10 or... 13:50:34 you could have INPUT be a function. 13:50:50 so you could modify with arithmetic before storing. 13:51:01 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 but that will still end up confusing characters. 13:51:26 so programs could make use of the fact by never modifying those numbers (probably a good idea anyway) 13:51:51 the numbers could still be assigned to other numbers, as long as the other numbers were not then modified themselves 13:52:06 no. 13:52:41 1000 INPUTCHAR 900 13:52:48 1010 PRINT 900 13:52:55 shouldn't be a problem, for instance 13:53:04 hm... maybe 13:54:01 but you could not handle unbounded input length. or could you? 13:54:16 you'd just have to use an infinite number of input variables 13:54:32 which means they would have to be calculated. 13:54:39 at least. 13:54:39 you have to use an infinite number of line labels anyway, so it's not too much of an extra stretch 13:55:00 you mean an infinite length program? 13:55:00 the command would have to be INPUTCHAR expression 13:55:25 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:55:45 i suppose. 13:56:05 ok, INPUTCHAR expression it is, then. 13:56:19 I'll go and add the INPUTCHAR command, then (what would it be called in BASIC? GET, wasn't it?) 13:56:44 maybe. i suppose it varies by dialect. 13:56:49 and if we have GET we may as well have PUT to make it marginally easier to write a BF interpreter 13:57:31 (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 reminds me of Unlambda too 13:58:26 so GET expr but PUT number? 13:59:11 PUT expr (and INPUT expr) would be more symmetrical 13:59:27 I wonder if that would be worth making programs easier-to-write for 13:59:34 in that case, why not LET expr=expr? 13:59:58 that would lose the link with BASIC, but why not 14:00:05 the language is hard enough to write in anyway 14:00:41 -!- jix has quit (Read error: 110 (Connection timed out)). 14:03:04 Updated. 14:15:35 -!- nazgjunk has joined. 15:01:24 -!- nazgjunk has quit ("Leaving"). 15:22:40 -!- crathman has joined. 15:43:40 Damn, I just discovered that the IOCCC was open 15:43:50 and that it ends midnight today UTC 15:44:00 Luckily I had a program ready... 15:48:45 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:41:56 Hullo. 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.