←2008-11-06 2008-11-07 2008-11-08→ ↑2008 ↑all
00:00:15 -!- psygnisfive has quit ("Leaving...").
00:00:29 -!- psygnisfive has joined.
00:00:59 -!- psygnisfive has quit (Client Quit).
00:41:28 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | Or something..
00:57:49 -!- sebbu has quit ("@+").
01:15:54 -!- Sgeo has joined.
01:17:25 -!- psygnisfive has joined.
01:21:46 -!- Sgeo_ has quit (Read error: 110 (Connection timed out)).
01:26:51 <jayCampbell> i think the world needs a web server in brainfuck
01:27:00 <psygnisfive> do it
01:28:02 <jayCampbell> netcat will go up front, i'm not writing a tcp stack
01:38:26 <GregorR> jayCampbell: That won't work, with netcat you can only have one pipe. You should make it an [x]inetd client.
01:38:41 <jayCampbell> you have a multithreaded bf laying around?
01:39:32 <jayCampbell> netcat -e should fire up a new process
01:39:41 <jayCampbell> but yeah, xinetd
01:39:51 <jayCampbell> but NOREUSE
01:40:22 <GregorR> Sure
01:41:33 <jayCampbell> hey you wrote ork
01:41:39 -!- Jiminy_Cricket has joined.
02:18:30 <GregorR> jayCampbell: Yes, yes I did.
02:22:01 <jayCampbell> that and 2L and fyb are great stuff
02:22:27 <jayCampbell> hadn't seen fyb when i suggested brainfuck corewars
02:45:39 -!- Slereah_ has joined.
02:46:15 <Slereah_> I for one welcome our new negro overlord
03:01:31 <jayCampbell> Slereah is demerited ten credits for violation of san angeles civil codes E15 and R3
03:02:25 <Slereah_> wot
03:14:53 <Slereah_> http://upload.wikimedia.org/wikipedia/commons/thumb/4/46/Rabbie_Haggis!.jpg/800px-Rabbie_Haggis!.jpg
03:19:10 -!- GreaseMonkey has joined.
03:39:36 <GregorR> I'm celebrating Obama's victory by setting my profile picture on Facebook to this: http://www.facebook.com/photo.php?pid=30178018&l=1f7b9&id=1055580469
03:40:58 <Slereah_> What is this
03:41:15 <GregorR> It's me :P
03:43:08 <Slereah_> You're a pretty swarthy babby
04:00:32 -!- psygnisfive has quit (kornbluth.freenode.net irc.freenode.net).
04:00:32 -!- optbot has quit (kornbluth.freenode.net irc.freenode.net).
04:02:01 -!- psygnisfive has joined.
04:02:01 -!- optbot has joined.
04:03:21 -!- GreaseMonkey has quit ("Unisex.").
04:10:13 -!- Slereah_ has quit (Read error: 60 (Operation timed out)).
04:39:34 -!- optbot has quit (kornbluth.freenode.net irc.freenode.net).
04:39:34 -!- psygnisfive has quit (kornbluth.freenode.net irc.freenode.net).
04:44:24 -!- psygnisfive has joined.
04:44:24 -!- optbot has joined.
05:18:56 -!- warrie has joined.
06:41:26 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | I don't mean anything.
06:48:35 <fizzie> Oh, wow... added -O3 to the build arguments in jitfunge just to see if the compiler affects the speed at all. life.bf speed jumped from 10 megs / 20 seconds -> 37 megs / 20 seconds. Even though it doesn't really change the generated code at all. Should profile the beast a bit, I guess.
06:53:31 <psygnisfive> thats.. odd
06:53:39 <psygnisfive> if the generated code is the same, how is it faster?
06:56:23 -!- mu has joined.
07:06:10 -!- Jiminy_Cricket has quit (Read error: 113 (No route to host)).
07:15:00 <fizzie> I guess there's a lot of overhead in calling the separate generated functions. The actual compilation time shouldn't really matter as long as it's not a self-modifying program.
07:21:34 -!- Sgeo has quit (Read error: 110 (Connection timed out)).
07:28:51 -!- kar8nga has joined.
07:29:05 -!- kar8nga has left (?).
07:58:40 <jayCampbell> +bf >+++++++++[<++++++++>-]<.>+++++++[<++++>-]<+.+++++++..+++.>>>++++++++[<++++>-]
07:58:55 <jayCampbell> +bf >+++++++++[<++++++++>-]<.>+++++++[<++++>-]<+.+++++++..+++.>>>++++++++[<++++>-]<.>>>++++++++++[<+++++++++>-]<---.<<<<.+++.------.--------.>>+.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:01:45 <fizzie> ^bf >+++++++++[<++++++++>-]<.>+++++++[<++++>-]<+.+++++++..+++.>>>++++++++[<++++>-]
08:01:45 <fungot> Hello
08:02:39 <fizzie> Heh, and life.bf output 37M -> 46M when I just changed the fungespace "get" function to use __attribute__ ((regparam (2))).
08:44:04 -!- Corun has joined.
08:47:25 <AnMaster> fizzie, wow
08:47:37 <AnMaster> and well yes it would help on x86 a lot
08:48:01 <AnMaster> fizzie, cfunge already uses __attribute__ ((regparam (3))) for most stuff on x86
08:59:43 -!- Corun has quit ("This computer has gone to sleep").
09:20:12 -!- Slereah_ has joined.
09:41:44 -!- Corun has joined.
09:46:30 -!- Corun has quit (Client Quit).
10:01:22 -!- Corun has joined.
10:23:15 -!- Corun has quit ("Leaving").
10:29:58 <fizzie> Bleh, that was a lot of bug-hunting to find out that the regparm register order is eax, edx, ecx and not eax, ecx, edx.
11:13:44 -!- pgimeno has joined.
11:15:44 <pgimeno> I've just fixed the Bitxtreme home page, in case someone tried to access it with no success (I noticed it in the logs that there were some unsuccesful attempts)
11:15:56 <ais523> hi pgimeno
11:16:00 <pgimeno> hi ais523
11:50:09 <AnMaster> ais523, there still?
11:50:17 <ais523> yes
11:50:24 <ais523> for another couple of hours probably
11:50:26 <AnMaster> do you have any idea why "POSIX.1-2008 marks gettimeofday() as obsolete."
11:50:27 <ais523> and then again later
11:50:33 <AnMaster> I have googled and found nothing
11:50:43 <AnMaster> and I can't figure out what it would recommend as replacement
11:50:46 <ais523> my guess is either that it isn't precise enough, or that it doesn't handle timezones correctly, or something like that
11:51:03 <ais523> remember, though, that POSIX deprecate a lot of things, they even deprecated tar a while ago...
11:51:04 <AnMaster> ais523, well what on earth should it be replaced with then?
11:51:20 <ais523> and something neither of us has ever heard of, almost certainly
11:52:12 <AnMaster> clock_gettime() is optional in POSIX.1-2001... but seems required in 2008 edition.
11:52:21 <AnMaster> and that got nanoseconds
11:52:28 <ais523> clock_gettime is one of the functions I try to use for profiling in C-INTERCAL
11:53:02 <ais523> I do profiling the good old-fashioned and almost useless way, by grabbing a really precise timer as often as possible and counting the length of the intervals
11:53:11 <ais523> SunOS is the only operating system I ever got it to work on
11:53:25 <ais523> but that's part of the charm of it really, it's meant to be useful in theory but not in practice
11:53:41 <AnMaster> ok wtf why did that terminal lock up when I tried to tab complete
11:54:34 * AnMaster kills
11:54:51 <ais523> probably a broken tab-completion script somewhere, bash tab-completion is Turing-complete in theory
11:55:02 <AnMaster> man posix<tab>
11:55:20 <AnMaster> ais523, yes but usually ctrl-c will kill it
11:55:36 <AnMaster> however nothing, short of kill -9 on bash worked
11:55:38 <AnMaster> this time
11:55:40 <pgimeno> maybe it was busy with disk access?
11:55:49 <pgimeno> (wild guess)
11:55:57 <ais523> sometimes it's interesting to use top to see what's up with a process when it freezes
11:56:00 <AnMaster> pgimeno, I got a loud hd and no
11:56:30 <AnMaster> ais523, top said it was "not running", ps aux just showed the usual S
11:56:34 <pgimeno> network access? (that's happened to me once, I had a mounted samba resource but the computer wasn't there)
11:56:46 <AnMaster> pgimeno, nop, no such thing mounted
11:56:56 <ais523> well, I suppose it's possible you'd have a network drive in your manpath...
11:57:19 <AnMaster> well 1) I don't 2) I do use nfs, but the nfs stuff isn't mounted currently so...
11:57:22 -!- asiekierka has joined.
11:57:29 <asiekierka> hi
11:57:30 <AnMaster> 3) ps aux would show that as D in status col iirc
11:57:36 <AnMaster> 4) ps aux said S
11:57:48 <ais523> yes, it would be D for network access
11:57:50 <ais523> and hi asiekierka
11:58:03 <asiekierka> ^ul (Hi ais523!)S
11:58:03 <fungot> Hi ais523!
11:58:21 <asiekierka> ^ul (I'm bored enough to not talk by my---ehh. Oh well.)S
11:58:22 <fungot> I'm bored enough to not talk by my---ehh. Oh well.
11:58:23 <ais523> %ul (you still here?)S
11:58:27 <ais523> apparently not
11:58:33 <ais523> just fungot and thutubot, then
11:58:33 <fungot> ais523: if you can
11:58:36 <asiekierka> %ul (Are you dead?)S
11:58:42 <asiekierka> No he's not!
11:58:43 <ais523> hmm... we should add a new esolang to one of those bots some da
11:58:45 <ais523> *day
11:58:51 <asiekierka> Unlambda! :D
11:59:21 <asiekierka> One thing is sad about Unlambda: You can't ROT13 in it
11:59:30 <ais523> why not?
11:59:34 <asiekierka> wait, how?
11:59:41 <ais523> you can, you just effectively have to write a massive switch statement
11:59:44 <ais523> which is long and boring
11:59:58 <ais523> as each individual character has to be mentioned seperately, Unlambda has no notion of ASCII codes
12:00:14 <asiekierka> Oh
12:01:04 <asiekierka> What about addition? How do numbers in Unlambda work?
12:01:08 <AnMaster> ais523, something like: clock_gettime(CLOCK_REALTIME, &my_timespec); I guess...
12:01:17 <AnMaster> well I'm not going to add that yet
12:01:19 <ais523> asiekierka: the same way as in Underload, although they look different
12:01:26 <ais523> Church numerals
12:01:44 <asiekierka> Underload's 2 = :*, Underload's 4 = :::***
12:01:48 <asiekierka> what about Unlambda
12:01:49 <ais523> whereas in Underload you make a function which makes n copies in a string, in Unlambda you make a function which runs a function n times
12:02:17 <ais523> so 0 = lambda(x) lambda(f) {x}, 1 = lambda(x) lambda(f) {f(x)}, 2 = lambda(x) lambda(f) {f(f(x))} and so on
12:02:38 <ais523> whoops, got the lambdas backwards
12:02:44 <ais523> those should all be lambda(f) lambda(x) {...}
12:03:28 <ais523> so 0 = `ki, 1 = i, and 2 is a mess: it's ``s``s`ks`ki``s``s`ks`kii
12:03:34 <ais523> although 2 simplifies to some extent
12:04:09 * asiekierka vomits all over the channel
12:04:18 <pgimeno> you've gota love Iota then :)
12:04:27 <asiekierka> does anyone use Iota?
12:04:43 <ais523> asiekierka: I don't think so, it's like Unlambda but more annoying, because you basically have to expand s and k too
12:05:18 <ais523> there's a number-generator somewhere which works for both Unlambda and Lazy K, I'm not sure where or who wrote it though
12:09:40 <pgimeno> IIRC Jot accepts any number
12:10:22 <pgimeno> oh wait, you mean produces an expression for a number, not a valid program...
12:10:23 -!- asiekierka has quit (Read error: 104 (Connection reset by peer)).
12:10:32 <pgimeno> too much for him? :P
12:10:33 <ais523> yes
12:10:39 -!- asiekierka has joined.
12:11:00 <ais523> probably too much for his client, it's busy trying to interpret all the stuff we say in here and crashes whenever it's too complicated or somebody says an infinite loop
12:11:44 <AnMaster> (:^):^
12:11:53 * AnMaster waits for asiekierka's client to crash
12:12:04 <ais523> AnMaster: you didn't say what lang it was in
12:12:07 <ais523> +ul (:^):^
12:12:08 <AnMaster> oh right
12:12:08 <thutubot> ...out of time!
12:12:17 <asiekierka> Also, i only support DOBELA
12:12:19 <ais523> maybe it doesn't know Underload
12:12:19 <asiekierka> Good luck!
12:12:31 <ais523> asiekierka: but the null string's an infiniloop in DOBELA, IIRC
12:13:31 <ais523> hi ehird
12:14:06 <asiekierka> ASIEBOT 0.1 - SPEC VERSION 2.0 - UPTIME: 0d:00h:00m:01s - RESTART COMPLETED
12:14:11 <asiekierka> ... :(
12:14:15 <asiekierka> I fixed it
12:14:27 <ehird> ugh
12:14:33 <asiekierka> Also, you need to prefix it with +do
12:15:27 <asiekierka> sorry, ais523, the spec has been... REPAIRED!
12:15:45 <AnMaster> ais523, do you know if math functions being in libm is standard or not?
12:15:48 <asiekierka> Oh, and \n equals newline in my +do interpreter
12:16:02 <AnMaster> and if not, how to find out in a portable way
12:16:04 <ais523> AnMaster: sin, cos, etc are in libm everywhere I know except DOS/Windows where they're in libc
12:16:30 <AnMaster> ais523, well the 3p sin man page doesn't mention libm, that is what got me wondering
12:24:23 <asiekierka> Gatefreak: <> moves around the pointer, A ANDs the bit on the pointer with the bit in the SB (Storage Bit) O ORs the pointed bit with SB, ^ flips the pointed bit, X XORs the pointed bit with SB, * swaps the pointed bit with SB, _ cleans SB.
12:24:27 <asiekierka> You can get rid of _
12:24:33 <asiekierka> So <>AO^X*
12:24:45 <asiekierka> ! - if SB is 1, skip the next command
12:24:54 <asiekierka> or no
12:25:02 <asiekierka> !@ - Just like [], but it loops if SB is 1
12:26:10 <ais523> hmm... /me ponders brainfuck using ABSTAIN/REINSTATE/TRY AGAIN flow control
12:31:48 <asiekierka> Is Circute worthwhile?
12:32:17 <ais523> asiekierka: I don't think it can store an infinite amount of data
12:32:56 <asiekierka> nope, it can't
12:34:27 <asiekierka> I'd like to play a game
12:34:42 <asiekierka> I wish for a programming game that uses an esolang
12:36:56 <asiekierka> I don't know one esolang that's useful for making a bot and wasn't taken
12:37:00 <asiekierka> other than Befunge, Thutu and Taxi
12:37:31 <asiekierka> Any other?
12:37:43 <asiekierka> Maybe... Piet?
12:37:55 <asiekierka> An art(ificial) ircbot!
12:39:45 -!- Corun has joined.
12:41:26 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | :P.
12:42:10 -!- asiekd has joined.
12:42:23 <asiekd> I'm
12:42:59 <asiekierka> he's analyzing the logs
12:43:06 <ais523> hi asiekd
12:43:16 <ais523> is that an asiekierka dameon, by any chance?
12:45:12 <asiekierka> nope
12:45:21 <asiekierka> Is there any good offline Piet editor?
12:45:33 <ais523> not as far as I know, although presumably most graphics programs would work
12:45:50 <asiekierka> MS Paint?
12:46:08 <ais523> that would do, I have KolourPaint over here which is effectively the Linux equivalent
12:46:19 <ais523> and it's what I'd probably use for Pier
12:46:20 <ais523> *Piet
12:46:25 <pgimeno> I've used The Gimp for that.
12:46:36 <ais523> pgimeno: overkill, surely?
12:46:51 <pgimeno> yes but I already had good handling of it :)
12:48:25 <asiekierka> How do you put numbers to Piet without I/O?
12:49:07 <pgimeno> do you mean constants?
12:49:07 -!- asiekierka has quit (Read error: 104 (Connection reset by peer)).
12:49:08 -!- asiekd has quit (Connection reset by peer).
12:49:26 -!- asiekierka has joined.
12:49:42 <asiekierka> hm?
12:49:57 <pgimeno> what do you mean to put numbers in Piet?
12:50:08 <asiekierka> As in
12:50:10 <asiekierka> I want to push "9"
12:50:22 <pgimeno> constants, then, right?
12:50:24 <asiekierka> What does the "value of the colour block" mean
12:50:27 <asiekierka> yes, pgimeno
12:51:30 <pgimeno> I'd have to refresh my Piet, but IIRC the only important thing is the color changes, not the actual color
12:51:57 <pgimeno> btw, the reference Piet program has a bug, I wrote a fixed version
12:52:17 <pgimeno> the reference Piet hello progra, that is
12:52:21 <pgimeno> *program
12:53:10 <asiekierka> push - Pushes the value of the colour block just exited on to the stack
12:53:38 <pgimeno> oh that, I think there's a table
12:54:08 <asiekierka> Lightness change/Hue change
12:54:28 <pgimeno> one sec, let me look at the spec
12:54:50 <pgimeno> ok, I think it's the area in pixels
12:55:21 -!- Slereah_ has quit (Read error: 113 (No route to host)).
12:55:28 <pgimeno> "Each non-black, non-white colour block in a Piet program represents an integer equal to the number of codels in that block."
12:55:57 <asiekierka> Codels?
12:56:04 <pgimeno> Pixels are called Codels.
12:56:09 <asiekierka> oh
12:56:21 <asiekierka> So if i move 10 times through the same light red, then go to red, to execute pusg
12:56:22 <asiekierka> push*
12:56:25 <asiekierka> it'll put 10 on the stack
12:58:10 <pgimeno> you have to move from a 10-pixel light red block to a red block
12:59:21 <asiekierka> Augh, i'd so like a 6x3 color table
12:59:46 <pgimeno> use gimp? :P
13:02:32 <asiekierka> ok
13:02:34 <asiekierka> i made the color table
13:07:33 -!- KingOfKarlsruhe has joined.
13:17:45 <pgimeno> uh sorry, the original Hello program was correct, the one which was wrong was the Fibonacci program
13:18:03 -!- ttm_ has joined.
13:18:04 <pgimeno> http://www.formauri.es/personal/pgimeno/temp/piet/fib2.php
13:18:47 -!- dbc has quit (Read error: 110 (Connection timed out)).
13:24:41 -!- KingOfKarlsruhe has quit (Remote closed the connection).
13:30:25 <fizzie> fis@eris:~/src/jitfunge$ cat test.b98
13:30:25 <fizzie> "NRTS"4( 67*S >:#,_ a, @
13:30:25 <fizzie> fis@eris:~/src/jitfunge$ build/jitfunge test.b98
13:30:25 <fizzie> 42
13:30:53 <fizzie> Hee, there's some rudimentary support for fingerprints. Still a lot of work; haven't even started the mess with 'k'.
13:31:12 <ehird> fizzie: I wanna write a fingerprint!
13:31:15 <ehird> Okay? :p
13:31:23 <ehird> If only it'd compile :'(
13:32:23 <fizzie> Maybe I should fix the "doesn't build on OS X" thing -- how hard could it be?
13:32:40 <ehird> Interesting idea.
13:32:47 <ehird> fizzie: What about the syscalls you use, though?
13:32:51 <ehird> Those won't work...
13:32:55 <ehird> I... don't think?
13:33:00 <fizzie> I don't use any.
13:33:07 <fizzie> For I/O and friends I call C++ functions.
13:33:13 <ehird> Heh
13:33:31 <ehird> fizzie: Surely it'd be more efficient, like, calling "putchar"?
13:35:14 <fizzie> Well, the interp_writechar function just calls putchar. I guess I could generate calls directly to the library function.
13:39:04 <fizzie> Curious, I'm not getting any DHCP replies from the WLAN around here.
13:40:16 <fizzie> That will make it very difficult for me to get the stuffs on the OS X laptop.
13:40:52 <ehird> fizzie: I could do the retarded thing I always do and give you an account on this machine, despite it having insanely liberal permissions set.
13:41:16 <fizzie> Maybe I'll just postpone OS X fixery; after all, the pre-christmas celebrationary thingie we have here starts in 20 minutes anyway.
13:42:11 <fizzie> They seem to start earlier and earlier every year.
13:43:31 <ehird> that is very early
13:47:19 <fizzie> The official justification was "blah blah end-of-the-year is so busy blah blah".
13:49:18 <fizzie> Incidentally, the web page for the place it is (some sort of cruise ship thing) advertises their pre-christmas party package "starting August 15th", so it could be worse.
13:49:31 <fizzie> Uh, September, I mean. Still.
14:01:02 <asiekierka> Hey, what was that language using emoticons
14:07:31 <asiekierka> Wayback Machine is down
14:07:51 <ais523> asiekierka: can you find a wayback version of wayback to have a look for it in
14:08:15 <asiekierka> ais523: Yeah, su... HEY!
14:13:23 -!- Slereah_ has joined.
14:19:14 -!- ttm_ has quit (Read error: 104 (Connection reset by peer)).
14:23:06 <asiekierka> Does someone have Tory's specs?
14:23:17 <asiekierka> "Tory", as in, the esolang Tory.
14:23:49 <ais523> does it have specs?
14:23:54 <ais523> ah, yes it does
14:24:00 <ais523> presumably http://esolangs.org/wiki/Tory is no use?
14:24:09 * ais523 just typed that to get the link
14:25:28 <ehird> it's just brainfuck
14:25:38 <ehird> with commands replaced with uk-conservative-party-disparaging phrases
14:25:40 <ais523> but the source is interesting
14:25:42 <ehird> and a SET command, iirc.
14:25:57 <ais523> "We will tax everything that can be taxed! We will abolish schools!"
14:26:17 <ehird> we will tax the abolishment of schools
14:26:46 <ais523> that was a flavour of what the lang looks like
14:34:17 -!- dbc has joined.
14:41:16 <asiekierka> webarchive works
14:41:31 <ehird> sigh. uk id cards
14:41:48 <asiekierka> Writing a Tory IRCBot
14:41:57 <ehird> uninteresting language + irc bot
14:41:59 <ehird> recipe for fun
14:49:03 <asiekierka> Neat
14:49:09 <asiekierka> i wrote the whole code outputting "NICK asiebot"
14:50:47 <asiekierka> It's enormous
14:50:54 <Slereah_> assbot
14:51:16 <asiekierka> shut up
14:51:53 <asiekierka> The code is nonsense
14:51:56 <asiekierka> but who cares
14:51:58 <asiekierka> http://rafb.net/p/jjls5x81.html
14:58:28 -!- Slereah has joined.
15:09:58 -!- Corun has quit ("Leaving").
15:16:22 -!- Slereah_ has quit (Read error: 113 (No route to host)).
15:22:03 -!- Corun has joined.
15:23:10 -!- Slereah has quit (Read error: 113 (No route to host)).
15:30:23 -!- sebbu has joined.
15:37:34 -!- asiekierka has quit.
15:58:13 <ehird> stupid sites. and their downness
16:14:56 <ehird> _that_ is clever
16:27:59 <AnMaster> ais523, still there?
16:28:24 <AnMaster> oh, he isn't
16:28:36 <AnMaster> well then who to ask hm... oerjan but he isn't here.
16:35:53 <ais523> AnMaster: I'm back now...
16:36:04 <ais523> but I didn't see the question
16:39:46 <AnMaster> ais523, I got help in another channel
16:40:07 <AnMaster> I was wondering about a math question
16:40:09 <ais523> I'm still interested as to what the question was
16:40:11 <ais523> and ok
16:40:24 <AnMaster> the question was why is it so that if the sum of the digits in a number is evenly dividable by 3 then the original number is also evenly dividable by 3
16:40:26 <ais523> given that you listed me and oerjan I was wondering if it was INTERCAL...
16:40:31 <AnMaster> and I figured out a proof for it
16:40:43 <ais523> and it's because (10-1) is divisible by 3 and we use base 10, very roughly
16:40:49 <AnMaster> yes I figured it out
16:41:16 <AnMaster> 1) if y (mod 3) === 0 then y*10^n (mod 3) === 0 for any positive integer n. It would be enough to prove it for n=1 and n=n+1
16:41:19 <AnMaster> 2) x+y (mod n) === x(mod n) + y(mod n)
16:41:32 <AnMaster> using those together it should be possible to make a proof I think
16:42:08 <AnMaster> since you can write a number as a sum of digit*10^n
16:42:12 <AnMaster> where n is the position
16:42:27 <AnMaster> ais523, right?
16:47:27 <oklokok> ooooooooooooooooooooooooo
16:47:49 <oklokok> you can trivially prove it by induction, although i'm not entirely sure that's it.
16:48:31 <oklokok> can't you just as well prove that for any N in y (mod N)?
16:58:32 <AnMaster> oklokok, hm
17:00:01 <oklokok> o
17:00:04 <ais523> oko
17:00:16 <AnMaster> oklokok, well easy to show that is wrong: 7^2 (mod 4) is not same as 7^3 (mod 4)
17:00:57 <oklokok> what?
17:00:58 <AnMaster> it seems that 7^n (mod 3) === 7^(n+1) (mod 3) but I haven't tried to prove it yet
17:01:17 <oklokok> well doesn't matter
17:02:15 -!- KingOfKarlsruhe has joined.
17:17:39 <AnMaster> ah in the end it all boils down to x^y (mod n) === (x (mod n))^y
17:19:22 <ais523> AnMaster: 10^n-1 is always divisible by 9 because it's 999999.....
17:20:53 -!- jix has joined.
17:24:04 -!- asiekierka has joined.
17:24:10 <asiekierka> ji
17:24:11 <asiekierka> hi*
17:26:01 <asiekierka> i'm bored
17:28:28 <asiekierka> I just made up a language for idiots
17:29:21 <asiekierka> http://rafb.net/p/kQWMkn46.html
17:29:55 <asiekierka> [val2] means [val2] or a number
17:30:00 <asiekierka> vars can be only letters
17:30:04 <asiekierka> val == var, stry
17:30:07 <asiekierka> sry*
17:30:39 <asiekierka> SICKEN a 97 | WALK a | KICK a | STAY a
17:30:48 <asiekierka> an infinite loop saying "a" infinitely
17:30:55 <asiekierka> Remove KICK a and SICKEN a 97, you have a normal infinite loop
17:45:37 -!- Sgeo has joined.
17:46:29 -!- oklokok has quit (Read error: 110 (Connection timed out)).
17:54:34 <pgimeno> still no quine in Piet? hm...
17:58:37 <AnMaster> ais523, yes, and since 10 (mod 3) === 1 and 1^y = 1
17:59:19 -!- asiekierka has quit (Read error: 104 (Connection reset by peer)).
18:04:05 -!- asiekierka has joined.
18:11:19 -!- Corun has quit ("This computer has gone to sleep").
18:13:34 <ehird> http://answers.yahoo.com/question/index?qid=20070809195732AAHoeFz the asker's reply to the response is a bit bizarre...
18:15:13 <ais523> yes, it is...
18:15:20 <ais523> maybe it was a yahoo answers troll who asked
18:15:31 <ehird> well, who spends $3500 that quickly?
18:15:33 <ehird> don't answer.
18:15:44 <ehird> ah http://www.reddit.com/r/funny/comments/7byu0/how_do_i_get_on_web_20/c068osg
18:15:45 <ehird> troll
18:15:51 <ais523> although I can believe that there would be people who'd ask questions that stupid, I don't know how they'd find yahoo answers in the first place
18:15:59 <ehird> http://answers.yahoo.com/question/index;_ylt=AjDMN.NB1ExAd.ZT5l1FtDXty6IX;_ylv=3?qid=20070205120422AAx9Xqu
18:26:10 -!- oklopol has joined.
18:29:37 <asiekierka> hm
18:29:39 <asiekierka> m-hm
18:41:26 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | foldr max 0 list.
18:43:00 -!- olsner has joined.
18:49:45 -!- Corun has joined.
18:57:23 -!- oklopol has quit (Connection timed out).
19:00:03 -!- Corun has quit ("This computer has gone to sleep").
19:04:18 -!- Mony has joined.
19:06:32 -!- oerjan has joined.
19:06:40 <Mony> plop
19:06:57 <oerjan> plwp
19:07:14 <lament> plpp
19:16:47 <oerjan> <asiekierka> One thing is sad about Unlambda: You can't ROT13 in it
19:17:14 <oerjan> i vaguely recall submitting a rot13 for unlambda to some page
19:18:01 <oerjan> as ais523 mentioned, you need to test for every character that can be changed
19:18:27 <oerjan> (the | function allows you to copy a character unchanged)
19:19:15 <asiekierka> No, i'm not making an Unlambda IRC bot
19:19:17 <asiekierka> NEVER
19:19:32 <oerjan> EgoBot had unlambda
19:19:35 -!- oklopol has joined.
19:19:47 <ais523> Unlambda isn't too hard to implement, apart from c and d
19:19:52 <asiekierka> but as in
19:19:59 <asiekierka> an ircbot WRITTEN IN unlambda
19:20:01 <ais523> maybe I should implement it in Thutubot some time
19:20:15 <oerjan> that could be awkward
19:20:42 <ais523> why?
19:20:54 <ais523> I can handle most of the commands except d relatively easily
19:20:57 <oerjan> all that character testing (that was to asiekierka)
19:21:03 <ais523> ah, ok
19:21:04 <asiekierka> yeah
19:21:06 <asiekierka> But basically
19:21:12 <asiekierka> if you detect PI
19:21:16 <asiekierka> then you rewrite it as PO
19:21:16 <oerjan> nothing impossible though i think
19:21:22 <asiekierka> and copy everything else down to .net
19:21:27 <oerjan> heh
19:22:04 <asiekierka> Or everything else down to \n
19:22:16 <asiekierka> Thank you. Now you have PING/PONG support.
19:22:52 <oerjan> if you detect : you can choose to analyze for a nick etc. up to the next space
19:23:22 <oerjan> hm it may not be that hard really (more than usual for unlambda)
19:23:31 <AnMaster> ais523, .net?
19:23:46 <ais523> AnMaster: you meant to ping asiekierka I think
19:23:50 <AnMaster> err
19:23:51 <AnMaster> yeah
19:23:55 <asiekierka> I'm looking for an esolang that will be the best for my needs.
19:23:56 <AnMaster> ais523, what about .org?
19:24:05 <asiekierka> no
19:24:09 <asiekierka> not .net/.org
19:24:10 <AnMaster> gah
19:24:11 <asiekierka> i meant "\n"
19:24:12 <AnMaster> asiekierka, ^
19:24:14 <AnMaster> right
19:24:23 <ais523> <asiekierka> I'm looking for an esolang that will be the best for my needs. <--- that sentence almost contains a contradiction straight off
19:24:56 <asiekierka> why
19:25:03 <oerjan> i think befunge and glass are "relatively" easy to program in
19:25:17 <asiekierka> befunge was taken
19:25:20 <asiekierka> is glass implemented
19:25:20 <ais523> and INTERCAL too, except for string processing
19:25:25 <ais523> and yes, glass is implemented
19:25:28 <oerjan> asiekierka: sure
19:25:34 <asiekierka> Hey
19:25:38 <asiekierka> That's a good one actually
19:25:39 <asiekierka> Glassbot
19:25:42 <oerjan> it's GregorR's language, also comes with EgoBot
19:25:48 <AnMaster> "Glass is considered unique by its creator because it combines the unintuitive postfix notation with object orientation, and also requires extensive use of a main stack, despite being (mostly) object oriented. No other language (that he knows of) is implemented like this, because it would be idiotic to do so."
19:25:49 <AnMaster> hahaha
19:25:58 <oerjan> (but EgoBot was not written in it)
19:26:35 <asiekierka> Also, is there a tutorial on Glass
19:26:39 <ehird> yes
19:26:44 <ehird> its in the first paragraph of the wiki article
19:26:48 <ehird> look it up.
19:26:52 <oerjan> asiekierka: yes, it's a part of this channel's log
19:29:07 <asiekierka> compiling Glass for irc
19:29:14 -!- ab5tract has joined.
19:29:33 <asiekierka> And i hate how the glass_irc.exe goes to 1,22mb and still wants cygwin1.dll
19:29:56 <oerjan> asiekierka: http://www.miranda.org/~jkominek/rot13/unlambda/
19:33:17 <oklopol> i smell copypaste
19:33:17 -!- asiekierka has quit (Read error: 131 (Connection reset by peer)).
19:33:26 <oerjan> oklopol: what?
19:33:38 <oerjan> you mean there's a lot of repetition? :D
19:33:43 <oklopol> yes!!
19:33:43 -!- asiekierka has joined.
19:33:58 <oklopol> you should've added some candy.
19:34:11 <oerjan> maybe, or possibly i used vim to search/replace
19:35:11 <oerjan> it was just a very simple implementation, i assume
19:35:29 <oerjan> consider the d's to be the candy ;)
19:36:51 <pgimeno> it's been *very* long since the archive's last update
19:37:11 <pgimeno> doesn't anyone have files to contribute to the archive?
19:37:13 <AnMaster> what archive?
19:37:23 <pgimeno> the esolangs archive
19:37:34 <ehird> hi pgimeno
19:37:36 <pgimeno> http://esolangs.org/files/
19:37:39 <pgimeno> hi ehird
19:37:46 <AnMaster> pgimeno, oh I host my tarballs on sf.net and the development repos on my own server
19:37:52 <ais523> pgimeno: yes but I've been putting them all on eso-std.org recently
19:38:49 <pgimeno> the problem is that it will fail to be the reference archive for everything esolangs-related, which is the purpose for creating it
19:39:01 <pgimeno> was, even
19:39:14 <AnMaster> pgimeno, there isn't even any web based upload page?
19:39:16 <AnMaster> that could help
19:39:33 <AnMaster> or a public ftp "incomming" directory
19:39:42 <pgimeno> AnMaster: nope, graue is who runs the archive and can create svn users
19:39:54 <ehird> graue was in here a while ago
19:40:02 <AnMaster> hm
19:40:05 <pgimeno> I have access to svn and can upload in the name of someone
19:40:08 <oerjan> what, today?
19:40:08 <ais523> really? I missed it
19:40:11 <ehird> no
19:40:12 <ehird> months ago
19:40:33 <AnMaster> pgimeno, well not sure I want to host it there then
19:40:47 <AnMaster> I prefer someone that is reasonably reachable
19:40:57 <ais523> graue's pretty responsive to email IME
19:41:04 <AnMaster> hm
19:41:05 <ais523> but mostly ignores esolangs if not being actively emailed
19:41:07 <AnMaster> IME?
19:41:07 <pgimeno> AnMaster: hm, maybe you can find graue and ask him svn access
19:41:12 <ais523> AnMaster: In My Experience
19:41:27 <AnMaster> pgimeno, well I just got efunge and cfunge
19:41:38 <AnMaster> oh wait that old bashfuck too
19:41:48 <pgimeno> good :)
19:41:53 <AnMaster> (they are all named after language of implementation)
19:42:22 <ais523> hmm... one thing I'm thinking of doing is a historical C-INTERCAL versions page
19:42:29 <ais523> see how many of them I can salvage from various placs
19:42:29 <ehird> AnMaster with svn access would be scary
19:42:31 <ais523> *places
19:42:37 <ais523> I have all the recent ones myself ofc
19:42:45 <ais523> hunting down the older ones could be fun
19:42:56 <AnMaster> pgimeno, I guess I could submit last cfunge for uploading there. hm
19:43:18 <pgimeno> AnMaster: that'd be cool, I guess, but is there a cfunge page in the wiki?
19:43:28 <AnMaster> pgimeno, it is mentioned on the befunge page
19:43:33 <AnMaster> since it is a befunge implementation
19:43:37 <pgimeno> oh nice
19:43:49 <asiekierka> I'm wondering how do you do subclasses or something in Glass
19:43:53 <pgimeno> I thought they were vairants
19:43:53 <asiekierka> {k[d(_o)O!"Hello World!"(_o)o.?]}{M[m(_e)k!(_k)k.d]}
19:43:55 <asiekierka> This doesn't work
19:43:55 <pgimeno> *variants
19:43:59 <AnMaster> pgimeno, GPL3
19:44:13 <AnMaster> no idea if you want that
19:44:36 <asiekierka> hm
19:44:37 <asiekierka> hm?
19:44:52 <asiekierka> oh
19:44:58 <pgimeno> AnMaster: you mean if I want it in the archive? sure, why not? there are the impl/ directories just for that
19:45:04 <AnMaster> pgimeno, right.
19:45:12 <asiekierka> {K[k(_o)O!"Hello World!"(_o)o.?]}{M[m(_e)K!(_k)K.k]} - doesn't work either
19:45:23 <AnMaster> pgimeno, http://downloads.sourceforge.net/cfunge/cfunge-0.3.3.tar.bz2 is download.
19:45:34 <AnMaster> releases happen every other month or so
19:45:40 <AnMaster> sometimes more often
19:46:11 <asiekierka> oh
19:46:16 <asiekierka> Works now
19:46:29 <AnMaster> asiekierka, there is an example hello world on the wiki
19:47:37 <asiekierka> yes
19:47:38 <asiekierka> from the examples
19:47:41 <asiekierka> i got to understand it
19:47:54 <AnMaster> pgimeno, efunge haven't had it's first release yet (public bzr repo exists)
19:48:06 <AnMaster> http://kuonet.org/~anmaster/cfunge/ http://kuonet.org/~anmaster/efunge/
19:48:33 <AnMaster> (for efunge most work is currently happening in a feature branch)
19:51:15 <pgimeno> AnMaster: I'm looking for a list of older versions of cfunge but I don't know how to get the listing
19:51:56 -!- GlassBot has joined.
19:52:00 <asiekierka> Huh
19:52:11 <ais523> did you expect that to not work?
19:52:18 <asiekierka> Nope
19:52:23 <asiekierka> i expected it to work
19:52:34 <oerjan> is that written in Glass?
19:52:38 <asiekierka> Nope
19:52:42 <asiekierka> It's the glass_irc program
19:52:47 <asiekierka> I think it's an IRC glass intepreter
19:52:48 <asiekierka> !glass {M[m(_o)O!"Hello World!"(_o)o.?]}
19:52:54 <ehird> it is
19:52:55 <asiekierka> {M[m(_o)O!"Hello World!"(_o)o.?]}
19:53:11 <ehird> !glass m(_o)O!"Hello world!"(_O)o.?
19:53:43 <asiekierka> I can also go the other way, and run the glass interpreter through socat
19:53:44 <oerjan> so no one knows how it is used?
19:54:06 <oerjan> GregorR: what is the format for using an IRC glass bot?
19:54:14 <ais523> do you have the source?
19:54:18 <ais523> if so, that should be a giveaway
19:54:21 <asiekierka> It's to download!
19:54:25 <asiekierka> On the esoteric file archiver
19:54:27 <asiekierka> archive*
19:54:28 <asiekierka> glass-0.12
19:55:18 <oerjan> i assume that example program is copypaste so should work...
19:55:58 <oerjan> hm wait i think i have glass on this account
19:55:59 <asiekierka> It records the output
19:56:06 <asiekierka> but glass compiled with -DIRC?
19:56:26 <asiekierka> :G!On the esoteric file archiver
19:56:26 <asiekierka> <asieki
19:56:27 <GlassBot> OK
19:56:27 <asiekierka> oh wait
19:56:31 <asiekierka> YEAH!
19:56:42 <oerjan> "To run it, modify glassIRC.sh to fit your needs then:
19:56:44 <oerjan> nc -e ./glassIRC.sh irc.freenode.net 6667
19:56:46 <asiekierka> :G!{M[m(_o)O!"Hello World!"(_o)o.?]}
19:56:48 <GlassBot> Hello World!
19:56:51 <asiekierka> There we go...
19:56:56 <asiekierka> Yay
19:57:02 <asiekierka> Now you have a free glass testing bot
19:57:09 <asiekierka> Use it for the next half a hour
19:57:11 <asiekierka> until i go away
19:57:15 <asiekierka> Then when i'm back
19:57:17 <asiekierka> i put it up again
19:57:24 <asiekierka> Until i make the other project of course
20:01:17 <ehird> someone make it run an infinite loop.
20:02:37 -!- GlassBot has quit (Remote closed the connection).
20:07:03 <asiekierka> (_a)1=/(_a)\
20:07:08 <asiekierka> Isn't this code snippet an infinite loop?
20:07:11 <asiekierka> doesn't seem to work for me
20:08:35 -!- KingOfKarlsruhe has quit (Remote closed the connection).
20:09:09 <asiekierka> hm?
20:10:15 <asiekierka> i quite did the infiniloop now
20:12:47 <oerjan> you probably want <1> not 1
20:12:52 <asiekierka> yeah
20:13:01 <asiekierka> but that's not the problem, socat still terminates after a second
20:13:34 <asiekierka> As does nc
20:13:52 <oerjan> maybe an empty command list in /\ isn't allowed
20:14:13 <ais523> does anyone here, probably AnMaster, know how to sort a list with standard Unix commands by the letters of the list in reverse order?
20:14:20 <asiekierka> Works without nc/socat
20:16:07 -!- jix has quit ("CommandQ").
20:18:18 * ais523 is on a quest to find as many historical versions of INTERCAL as possible
20:18:25 <ais523> I have all the ones back to 0.18, except 0.23 which was apparently never released
20:18:44 <asiekierka> Do you have 0.01?
20:18:46 <ais523> also the DOS port of 0.15
20:18:57 <ais523> the very early ones are apparently still on Usenet somewhere, I'll try to find them
20:20:20 <ehird> asiekierka: that would be 01.0
20:20:38 <ehird> it's minor.major
20:21:18 <asiekierka> i mean
20:21:21 <asiekierka> the earliest version
20:23:53 <pgimeno> AnMaster: is 0.2.1 the first version you uploaded to SF?
20:23:54 <ais523> ehird: 0.01 is as it happens the earliest version
20:24:05 <ehird> but that makes no sense
20:24:08 <ais523> corresponding to what would be 1.0 in other projects
20:24:15 <ehird> so it never had a beta :p
20:24:24 <ehird> also
20:24:24 <ais523> what do you expect?
20:24:26 <ehird> that's actually 10.0
20:24:28 <ehird> :p
20:24:31 <ais523> in INTERCAL major changes are released as .0 releases
20:24:36 <ais523> and bugfixes are .1, .2 etc
20:24:39 <ais523> at least for C-INTERCAL
20:24:42 <ehird> or 01.0 but that's odd
20:24:43 <ehird> :p
20:24:51 <ehird> ais523: why wasn't it 0.1
20:24:58 <ehird> bad question
20:24:59 <ehird> :p
20:24:59 <ehird> brb
20:26:51 <ais523> also, I just replied to a Usenet post from 2003
20:26:58 <ais523> because it hadn't been answered
20:28:38 <pgimeno> five years for an usenet reply, wow
20:30:16 <olsner> it's not unheard of
20:32:35 * oerjan recalls when usenet posts _expired_, dammit
20:32:55 <ais523> they still do, just first Deja than Google managed to catch copies of them before they vanished
20:35:10 -!- Corun has joined.
20:36:26 <AnMaster> <pgimeno> AnMaster: is 0.2.1 the first version you uploaded to SF? <-- hm not sure
20:36:44 <AnMaster> pgimeno, you can check out the bzr repo
20:36:50 <AnMaster> as mentioned on the home isite
20:37:21 <AnMaster> web site*
20:37:38 <AnMaster> pgimeno, the bzr got tags for each release
20:37:43 <AnMaster> bzr repo*
20:38:33 <AnMaster> pgimeno, but iirc in the beginning I hosted it elsewhere yes
20:38:58 <AnMaster> tarballs aren't around I guess, since the whole revision history contains the info
20:44:24 <ehird> bak
20:46:33 <oerjan> ack
20:46:46 <ais523> anyone here have versions of C-INTERCAL before 0.18, by the way?
20:46:53 <ais523> sitting around on a hard drive somewhere, maybe?
20:47:59 <ehird> ais523: yes
20:48:09 <ehird> i seem to have a 0.3 here
20:48:14 <ehird> note: ^ lies
20:48:24 <ais523> ehird: were you even alive then?
20:48:35 <ais523> I was thinking more likely someone like oerjan would have one
20:48:47 <ehird> ais523: i likely wasn't alive then, no
20:48:50 <ehird> as it was probably the 80s
20:49:17 <ehird> most things are older than me
20:49:17 <ehird> :p
20:50:10 -!- asiekierka has quit (Read error: 60 (Operation timed out)).
20:50:23 * oerjan realizes he doesn't have intercal at all
20:50:43 <ais523> impressive
20:50:51 <ais523> given that you coded an Unlambda interp in it
20:50:54 <oerjan> i assume the compiler was only on my office PC before i moved
20:50:56 <ais523> did you get it working first time by hand?
20:50:59 <ais523> ah, and ok
21:05:01 <ais523> ugh, I've tracked sufficiently far back now that email addresses used exclamation marks
21:05:14 <ais523> one of the servers which hosted intercal 0.9 apparently still exists, but it isn't serving intercal any more
21:06:55 <oerjan> you can start to worry when the people start to be _named_ Ugh
21:07:16 <pgimeno> AnMaster: I've found tarballs for 0.2.1 and 0.3.0 through 0.3.3
21:08:13 <pgimeno> AnMaster: I was going to upload that, if you don't mind
21:11:33 <ais523> yay!
21:11:36 * ais523 found intercal-0.3.shar
21:11:48 <ais523> possibly one of the oldest extant versions
21:12:17 <pgimeno> great!
21:12:44 -!- ab5tract has quit.
21:13:41 <ehird> ais523: 0.1 should be easy
21:13:53 <ehird> i mean, its famous
21:13:55 <ehird> and the manual
21:14:47 <ais523> the manual existed even before 0.1
21:14:52 <ais523> it was written back in 1972
21:15:35 <ehird> ah, right
21:15:36 <ehird> c-intercal
21:15:38 <ehird> not just intercal
21:17:02 <ais523> me arbitrarily assigns version numbers to C-INTERCAL 1.3 and 2.3
21:17:05 <ais523> */me
21:19:12 -!- Slereah_ has joined.
21:25:30 -!- ab5tract has joined.
21:30:35 <Slereah_> http://fr.youtube.com/watch?v=QcSfj5LxDbI&
21:30:35 <Slereah_> Aw :(
21:36:49 -!- KingOfKarlsruhe has joined.
21:45:01 -!- Corun has quit ("This computer has gone to sleep").
21:59:12 -!- KingOfKarlsruhe has quit (Remote closed the connection).
22:05:46 -!- Corun has joined.
22:19:21 -!- LinuS has joined.
22:41:10 -!- Sgeo has quit (Read error: 110 (Connection timed out)).
22:52:04 <Mony> 'night
22:52:08 -!- Mony has quit ("Join the Damnation now !").
22:58:29 -!- oerjan has quit ("Good night").
23:24:56 <ehird> bye ais523
23:25:25 <ais523> hi me
23:27:11 <psygnisfive> o.o
23:41:37 -!- psygnisfive has quit (Remote closed the connection).
23:42:50 -!- LinuS has quit (Read error: 60 (Operation timed out)).
←2008-11-06 2008-11-07 2008-11-08→ ↑2008 ↑all