00:12:40 -!- chuck has quit ("leaving").
00:16:06 <ehird> GregorR: I can't think of a better name than SuperEgoBot :P
00:16:52 -!- ehird has changed nick to Endeavour.
00:19:46 -!- Endeavour has changed nick to ehird.
01:26:40 -!- adu has joined.
01:35:19 -!- ehird has quit ("This computer has gone to sleep").
01:46:25 -!- adu has quit ("Computer went to sleep").
01:59:06 -!- Sgeo has joined.
02:02:39 -!- adu has joined.
02:07:15 -!- Corun has joined.
02:19:45 -!- Corun has quit ("This computer has gone to sleep").
02:41:00 -!- adu has quit ("Computer went to sleep").
02:52:22 <RodgerTheGreat> pikhq: can you confirm that this is a moderately acceptable translation?
02:52:23 <RodgerTheGreat> http://nonlogic.org/dump/images/1201721232-RRmockup.gif
02:53:08 <pikhq> I can't read the kanji beneath the "Nihon no tekisuto" line.
02:53:28 <pikhq> But that's a matter of my not being a master of Japanese, not that it's necessarily wrong.
02:53:30 <RodgerTheGreat> well, the entire thing is supposed to read "Japanese text decoration"
03:03:30 -!- GreaseMonkey has joined.
03:05:12 -!- adu has joined.
03:28:27 -!- Sgeo has quit (Success).
04:04:15 -!- adu has left (?).
04:29:19 -!- CakeProphet has joined.
05:07:15 -!- CakeProphet has quit (Read error: 110 (Connection timed out)).
06:19:05 <Slereah> AnMaster: The Hello World was in some stupid time-language.
06:19:25 <Slereah> (I was sleeping, and I assume that he is now)
06:39:23 -!- Slereah has quit (Remote closed the connection).
06:43:03 -!- Slereah has joined.
07:44:09 <AnMaster> Slereah, can you provide a link to this language?
07:44:22 <Slereah> Just a stupid idea I had yesterday.
07:44:29 <Slereah> A language based on clocks.
07:44:58 <Slereah> This Hello, world! wouldn't work, because each instruction would take some time.
07:45:26 <Slereah> - means "wait" (I use 1 second right now)
07:46:00 <Slereah> The execution is the time mod. 8.
07:46:11 <Slereah> If t%8 is 0, the clock is reset.
07:46:16 <AnMaster> would this be turing complete?
07:46:22 <Slereah> 1, it outputs the next execution mod 256
07:47:07 <AnMaster> you should code an interpreter
07:47:24 <Slereah> Probably some instruction to jump back in the code
07:47:38 <Slereah> And some other to use the computer's clock. To make were programs.
07:47:49 <Slereah> Hello world that only execute on a full moon or something
07:48:09 <Slereah> I have some sort of interpreter.
07:48:19 <Slereah> But execution time quickly matters.
07:49:01 <AnMaster> you simulate non-multitasking computer with it's own clock right?
07:49:22 <Slereah> I just use the computer's clock
07:49:24 <AnMaster> because that may be a good idea to do
07:49:45 <AnMaster> as you can't realistically depend on the clock of the computer, the OS is multitasking
07:50:21 <Slereah> Well, if the only time the clock advanced was when there's an - instruction, it would just be equivalent to some Turing machine where a bunch of cells are incremented by 1 for every - !
07:50:47 <AnMaster> well you got to increment for * too
07:51:19 <AnMaster> Slereah, ok can you make it depend on actual run time for the program rather than system time?
07:52:01 <AnMaster> because basically, stuff like multitasking will prevent this from working
07:53:30 -!- sekhmet_ has joined.
07:56:04 <Slereah> Well, using the system time and not considering execution times work for up to 2 minutes, usually, if I use 1 second as a unit.
07:56:31 <Slereah> Second l in Hello world change to m
07:56:42 <Slereah> And I assume it only gets worse from here.
07:57:47 <Slereah> I could tinker it until it works, but yes, I don't have a way to be sure it would work every time
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:04:47 -!- sekhmet has quit (Read error: 110 (Connection timed out)).
08:07:55 -!- immibis has quit ("Give a man a fish and he will eat for a day. Teach him how to fish, and he will sit in a boat and drink beer all day").
08:30:47 -!- GreaseMonkey has quit ("Hi Im a qit msg virus. Pls rplce ur old qit msg wit tis 1 & hlp me tk ovr th wrld of IRC. and dlte ur files. thx.").
09:26:42 -!- Insane_ has joined.
09:29:32 -!- Insane_ has changed nick to Insane.
09:30:19 <Insane> Yay somebody's stealing my nickserv regged name. I'm gonna have nickserv keep it in future ^^
09:30:55 <oklopol> Insane: you've registered it?
09:31:43 <Insane> The name in question is "Insane" ^^
09:32:20 -!- Insane has changed nick to Insane_.
09:34:17 -!- Insane_ has changed nick to Insane.
09:36:09 <Insane> This is madness! This is blasphemy!°
11:05:50 -!- Corun has joined.
11:21:42 -!- Insane has quit ("Have a nice day!").
11:45:57 <Deewiant> er, sorry about that, I'm on a school computer with a Sun keyboard
11:46:25 <Deewiant> and the keys in all the wrong places
11:46:32 <Slereah> <keyboard> KILL ALL HUMANS
11:48:02 -!- Corun has quit ("This computer has gone to sleep").
11:51:54 -!- Slereah has quit (Remote closed the connection).
11:51:59 -!- Slereah has joined.
11:56:18 -!- slereah__ has joined.
12:04:31 -!- Sgeo has joined.
12:09:49 -!- Slereah has quit (Read error: 110 (Connection timed out)).
12:33:37 -!- jix has joined.
13:39:14 -!- maristo has joined.
13:50:11 -!- helios24 has joined.
13:52:12 -!- Sgeo has quit (Read error: 110 (Connection timed out)).
13:56:10 -!- maristo has left (?).
14:18:20 -!- Insane has joined.
14:18:29 <Insane> A language based on strings
14:21:46 <RodgerTheGreat> but really, any entirely string based language is just a few functions away from having integers, and even though it'll be much slower it isn't all that difficult to synthesize simple math
14:24:05 <oklopol> except you can make it hard to make a "function".
14:24:19 <oklopol> where function is the generalization of a function, something you make abstraction with
14:24:48 <oklopol> (which is a generalization of a very particular aspect of a function, but you hopefully follow me.)
14:25:20 <oklopol> this is the case with slashes, for example
14:25:35 <oklopol> with redivider, you could prolly make numbers in a zippie
14:26:47 <oklopol> well, aren't all languages equal if abstractions are just implementation details?
14:26:59 <RodgerTheGreat> if a language is TC, it will be possible to make something vaguely resembling a function, or at least a serviceable macro
14:27:22 <oklopol> ofc, but you cannot always make it usable in a short amount of code.
14:27:37 <RodgerTheGreat> once we abandon efficiency and sanity, all languages are *obviously* equal
14:27:41 <oklopol> which is a crucial part in an abstraction
14:28:53 <RodgerTheGreat> I strongly suspect it's TC, but we haven't made much progress on the whole infinite loop thing
14:29:03 <Insane> Well it depends on the interpreter
14:29:58 <Insane> if all languages are equal
14:30:17 <Insane> or rather the interpreter specification
14:30:21 <RodgerTheGreat> The main reason I think it could be TC is that it's semantics contain conditional operations, an ability to nest operations or perform simple concatenations, and an inherent looping structure (as long as you don't run out of code)
14:30:30 <Insane> for example, try doing networking in brainfuck. Now try doing networking in C++
14:31:06 <RodgerTheGreat> with a reasonable extension, BF networking might not be ludicrously painful
14:31:45 <oklopol> well, tcness doesn't specify io, but it does specify there is a way to encode any type of io in the language using a certain state for a certain kind of io operation
14:31:58 <oklopol> (although that was a bit informally put)
14:32:23 <oklopol> btw, we should make a list of "points everyone on the userlist has made multiple times, and should thus be avoided"
14:32:26 <Insane> RodgerTheGreat, I programmed an irc bot in NetBrainFuck
14:32:41 <oklopol> i mean, how many times have you heard c is not tc :P
14:33:14 <Insane> I hard-coded the irc bot
14:33:17 <Insane> and it has 0 interaction
14:33:20 <Insane> basically only one way
14:33:29 <Insane> but the point is that NetBrainFuck works
14:33:39 <Insane> means it sends chars immediately
14:34:10 <RodgerTheGreat> if you can get it to respond to ping requests, it qualifies as a real bot, so you're close
14:34:43 <Insane> I've had theories, but I'm not bored enough to try them
14:34:54 <Insane> We need a C to brainfuck translator ^^
14:35:07 <RodgerTheGreat> plus doing that would frighteningly enough build a general bot framework that others could extend
14:35:45 <Insane> And that hardly qualified as a framework
14:36:40 <Insane> I inputted "NICK netbrainfsck\nUSER a b c d\nJOIN #botters\nPRIVMSG #botters :Meep\n" into a text-to-brainfuck converter
14:37:01 <RodgerTheGreat> comment it and show how you can replicate the ping responder structure to do event-based code and recognize IRC signals
14:37:21 <Insane> http://insane.pastebin.org/17554
14:37:35 <Insane> it takes host/port from console
14:37:41 <Insane> Since I'm too lazy to hardcode it
14:38:24 <Insane> * goes right starting at the current pointer until a \n is met
14:38:36 <Insane> ! is "input from telnet"
14:39:11 <Insane> returns 0 on error/disconnect
14:39:31 <Insane> So that +[!]~ loops until disconnected and subsequently disconencts+closes (~) the socket
14:40:04 <Insane> and the cheapest telnet console (sans address port) you can make is a one-way console:
14:42:01 <Insane> btw, I'm thinking of how to do a two-way telnet console
14:42:10 <Insane> The problem is that both ! and , block
14:42:33 <Insane> I made ? which is like ! but returns 0 if there is no data to be read
14:42:55 <Insane> and I'm thinking of how to do ; which *should* be non-blocking ,
14:43:07 <Insane> Or maybe I should do '
14:43:46 <tejeez> or add something like select
14:44:02 <Insane> That'd be too "non-brainfuck" for me :P
14:44:26 <Insane> actually ; is too non-brainfuck for me as well
14:44:52 <Insane> blocking / non blocking?
14:45:06 <RodgerTheGreat> I would just say "fetch X number of bytes before disconnecting", with 0 meaning "connect indefinitely"
14:45:23 <Insane> even without extra params
14:45:29 <Insane> this would fetch 10 bytes
14:46:24 <RodgerTheGreat> if you connect while connected, you create a new connection and push the current one down (but keep it open)
14:46:30 <Insane> /input connection details here/ * <++++++++++> +<[>!. /process/ <-]
14:46:40 <Insane> Add ~ to the end to d/c
14:46:57 <Insane> Well right now connecting while connected simply returns an error
14:47:10 <Insane> Too non-brainfuck already
14:47:22 <Insane> I'll stick to C# for my irc bots
14:52:29 <Insane> I told this guy to do "php5 path/to/php/file/here.php" and he kept saying he got "file not found", so I asked him to copy/paste what he was doing and it turns out he actually entered path/to/bot/here.php
15:01:37 <Insane> He actually took it serious though
15:02:04 <Insane> He's sorta the cluesless "I don't know what irc, the internet or php is but I wanna code an irc bot in php using others' code"
15:04:40 <oklopol> in uni today, i overheard someone say something about an sql evaluator being a 3 year project
15:04:54 <oklopol> now i just have to get mine done in less than 5 hours :D
15:05:37 <oklopol> (although it basically just brute forces, at least the version i have that schedule for)
15:09:42 <oklopol> well, it will not generate the whole cartesian product, of course, but it does not check which order is the most feasible.
15:10:08 <oklopol> even i'm not that insane :)
15:37:36 -!- timotiis has joined.
16:08:44 -!- Corun has joined.
16:10:32 -!- Insane has left (?).
16:10:45 -!- Insane has joined.
16:16:39 <slereah__> Also, aren't Unlambda and other such languages string-based, in a way?
16:37:08 -!- slereah__ has changed nick to Slereah.
17:00:05 -!- Insane has quit (Client Quit).
17:04:47 -!- Tritonio_ has joined.
17:05:34 -!- Tritonio__ has quit (Read error: 110 (Connection timed out)).
17:17:12 -!- Corun has quit ("This computer has gone to sleep").
18:21:00 <Slereah> What's the definition of a string based language?
18:28:39 -!- jix has quit ("CommandQ").
18:37:39 -!- ehird` has joined.
18:50:52 -!- Tritonio_ has quit (Read error: 110 (Connection timed out)).
18:51:24 -!- Tritonio_ has joined.
18:56:41 <ehird`> '... Then, get the Linux kernel sources and read the file linux/Documentation/CodingStyle, and ignore Linus's jokes. These two documents will give you a good idea of what we recommend for GNOME code.
19:21:57 -!- ehird` has quit (Remote closed the connection).
19:23:28 -!- ehird` has joined.
19:23:51 <ehird`> using a 57 line WM feels odd.
19:34:12 -!- ehird` has quit (Remote closed the connection).
19:36:41 -!- ehird` has joined.
19:41:39 -!- sekhmet_ has changed nick to sekhmet.
20:01:41 -!- TheTedd has joined.
20:03:21 <TheTedd> I totally linked it in myblagspace
20:04:45 <TheTedd> I see how that's an easy mistake to make
20:05:04 <Slereah> The keys are right next to each other!
20:07:54 <Slereah> It could have been a symptom of schizophrenia otherwise
20:08:37 <Slereah> If I saw a word, and it wasn't there!
20:09:28 <TheTedd> did you see coffee when it wasn't there?
20:10:05 <Slereah> Well, I don't drink tea either, or coca cola, red bull, or eat caffein pills.
20:10:21 <Slereah> Or any other caffein-ful item
20:11:08 <Slereah> If I ate enough for caffeine, I'd worry about biabeetus before.
20:11:33 <TheTedd> I'd worry about humungusgutus
20:12:05 <TheTedd> not after all that chocolate
20:16:11 * Slereah wants to do a wiki article for Clockpunk
20:16:23 <Slereah> But first, I must do a diagram of the theoretical model.
20:16:33 <Slereah> An infinite tape of clocks. And an Englishman.
20:18:59 <TheTedd> where do they speak esco? escoland??
20:19:35 <Slereah> If they make an interpreter for Ook, why not for Clockpunk!
20:20:10 <TheTedd> * Who :No such nick/channel
20:21:02 <Slereah> It is strange that the ESCO PROJECT is so slow.
20:21:45 <Slereah> I mean, three of their six languages is basically the same, and one of the simplest!
20:21:51 <Slereah> and one isn't even a language.
20:21:58 <Slereah> Although they apparently just added Byter
20:23:28 <Slereah> You can now download ESCO V O.50!
20:24:07 <Slereah> Oh, and apparently Befunge too!
20:24:41 <TheTedd> God isn't here right now, please leave a message..
20:27:09 <Slereah> This version supports Brainfuck, Ook, Spoon, HQ9+, WhiteSpace, Befunge-93,
20:27:13 -!- RedDak has joined.
20:32:08 <Slereah> "configure: error: GMP library not found. Use --disable-gmp"
20:33:08 <GregorR> The GNU MultiPrecision (bignum) library.
20:35:36 <ehird`> Slereah: isn't esco wonderfully crap? :)
20:35:53 <Slereah> Well, I can't really read C that thick.
20:36:33 <ehird`> it's just crap though!
20:37:24 <Slereah> "checking for suitable m4... configure: error: No usable m4 in $PATH or /usr/5bin (see config.log for reasons)."
20:37:57 <Slereah> But what if m4 asks me to install gmp!
20:38:16 <TheTedd> and flex and bison and ......
20:38:51 <Slereah> I'm not even sure what m4 is
20:39:27 <Slereah> "Multi-Modal Mesh Manipulation (M4)"?
20:40:14 <TheTedd> some kind of macro language... what eh' said
20:43:09 <Slereah> Esco can't be worth that much trouble.
20:43:50 <TheTedd> just write a bf++ compiler instead :D
20:44:17 <TheTedd> brainfuck with oop extensions
20:44:36 <ehird`> you can do that in plain brainfuck
20:44:42 <ehird`> just search for 'OOP brainfuck'
20:44:49 <ehird`> also, STOP CREATING GODDAMN BRAINFUCK VARIANTS!!
20:45:23 <Slereah> WHAT BF VARIANT DID YOU DO THEN?
20:45:57 <TheTedd> not so much a variant as a full turing machine simulator
20:46:16 <Slereah> I use the Love Machine 9000 for that.
20:46:25 <Slereah> http://www.esolangs.org/wiki/NTCM
20:47:50 <TheTedd> multiple tapes is cheating :p
20:48:13 <Slereah> Well, you don't have to use multiple tapes!
20:48:25 <Slereah> I also made a 2D version, but it still has some problems.
20:48:54 <Slereah> There's a BF interpreter on one tape on it
20:49:01 <Slereah> In the external ressources.
20:49:13 <ehird`> Slereah: to beep in linux
20:49:26 <ehird`> sys.stdout.write("\7")
20:50:19 <TheTedd> just if you wanted to know
20:50:46 <Slereah> I have an ASCII chart on the wall, beep's on it.
20:52:22 <Slereah> If you refer to the winsound, it's not because of beep.
20:52:27 <Slereah> It's because of this : [a[cr:F#57RIF#58RINO1RID55RIF#55RIG55RIA55RINO1RIG55RIF#55RIE55RINO2RIF57RINO1RIF55RIE55RIF55RIE55RID55RID59:b]|b[#:RI:c;cr:LE:b]|c[#:HA:c;cr:DIRI:c]][0=#;ims=a;nd;nh;etFecF;t1]
20:53:33 <Slereah> I wanted to play the Monkey Island theme on a Turing machine.
20:53:51 <TheTedd> chr 7 beep is only one tone
20:54:07 <Slereah> Hence the Winsound on the original Love Machine 9000
20:54:23 <ehird`> Slereah: you have a bip function though
20:54:30 <ehird`> you can implement that trivially
20:54:44 <TheTedd> no, have a virtual device, of which 'beeper' is one
20:54:53 <Slereah> But can it play the Monkey Island theme, can it?
20:55:06 -!- GreaseMonkey has joined.
20:56:51 <Slereah> If I just want a bip, I can prolly use P(alt + 007)
20:57:12 <Slereah> Or use Going Postal, since it uses binary
20:57:36 <ehird`> Slereah: i mean you actually do have one
20:57:40 <ehird`> but its commented out in the linux ver.
20:58:09 <Slereah> Because well, since it's winsound, it won't work.
20:59:09 <Slereah> Especially since the syntax is based on musical notes for that one.
20:59:46 <TheTedd> I'd go with the beeper 'device' and then you can 'out' to it to play any notes you choose
21:00:07 -!- helios24 has quit (Read error: 110 (Connection timed out)).
21:00:30 <Slereah> That many quotation marks isn't a good sign!
21:00:35 <ehird`> 0000=bool, 0001=void, 0010=nil, 0011=smallint, 0100=bigint, 0101=smallfloat, 0110=bigfloat, 0111=char, 1000=string, 1001=pair, 1010=primitive, 1011=procedure, 1100=continuation, 1101=environment, 1110=port, 1111=symbol
21:00:41 <ehird`> 4 bits still isn't enough for my tag!!
21:00:45 <ehird`> i need ONE MORE: vector
21:01:49 <TheTedd> so extend it to 8 for future safety
21:02:01 <Slereah> But that will give you 15 other numbers to attribute :o
21:02:36 <ehird`> exactly i don't have 31 types.
21:03:00 <TheTedd> so attribute the extras as 'violation'
21:03:45 <ehird`> i only have one pointer
21:04:47 <TheTedd> you'll still have to deal with it at some point
21:05:15 <Slereah> Create some more types maybe?
21:05:16 <ehird`> 17 types, i need to encode 'em as concisely as possible
21:05:49 <TheTedd> well 17 won't fit into 4 bits
21:05:57 <Slereah> Well, 3 ternary tits would be more concise
21:06:12 <Slereah> And leave 10 numbers, just in case!
21:06:13 <TheTedd> so you need 5 bits - and that means 'wasting' some values
21:06:51 <TheTedd> so have the extra values as 'error' type for now, then they can be used in future extension
21:07:10 <Slereah> Maybe you could use a binary value to redirect to something else.
21:07:19 <Slereah> For instance, 1111 -> symbol if next bit is 0, else if bla bla
21:07:39 <ehird`> TheTedd: extensions will never happen
21:07:46 <TheTedd> you've just proven it will
21:07:59 <TheTedd> you now have an 'extra' type
21:08:18 <Slereah> You could... delete one type.
21:08:36 <ehird`> TheTedd: No, I haven't even committed these to code yet.
21:08:54 <TheTedd> but you're trying to extend your design - same diff
21:09:09 <TheTedd> anyway, do you need the separation of both nil and void?
21:09:33 <Slereah> What's the difference between char and symbol, also?
21:10:15 <ehird`> TheTedd: and no i'm not.
21:10:28 <ehird`> nil=terminal,void=unspecified
21:10:57 <TheTedd> can they both occur in the same context?
21:12:14 <TheTedd> then you only need one of them :p
21:12:23 <TheTedd> which one it 'is' depends on the context only
21:12:42 <TheTedd> and now you have an extra slot :D
21:13:16 <TheTedd> 0=bool, 1=void/nil, 2=....
21:13:24 <Slereah> The gods of types will be angry at him if he does!
21:13:39 <TheTedd> the gods of combinatorial logic will be otherwise
21:13:48 <ehird`> TheTedd: I misunderstood you.
21:13:53 <ehird`> Anyway, it's not my choice to make.
21:15:36 -!- maristo has joined.
21:22:33 -!- maristo has left (?).
21:24:28 <TheTedd> it's not a change in the lang, just the interpreter/compiler
21:24:56 <Slereah> Unless those denominations ARE IN THE LANGUAGE :O
21:25:37 <TheTedd> even still, the symbolic representation doesn't change the meaning of the language
21:26:02 <Slereah> Yes, but would you program in BF if every symbol was butt?
21:26:33 <Slereah> BF has pleasing meaningful symbols!
21:27:27 <TheTedd> it's not a change to the symbols used..
21:28:09 <TheTedd> just the _representation_ of 'meaning' from inside the interpreter, while the _meaning_ remains the same
21:29:23 <ehird`> TheTedd: sorry, but void and nil are seperate, and non-interchangable
21:29:34 <ehird`> you can consider nil 'end' and void '??'
21:29:48 <TheTedd> I hope they are not related - or it wouldn't work :p
21:30:49 -!- helios24 has joined.
21:31:13 <TheTedd> the case is simple - if they cannot occur within the same context, then you can use the same 'type' representation in either context and there is no confusion between the two
21:31:49 <TheTedd> if they can, then no it's not going to work
21:32:59 <ehird`> everything can occur in the same context
21:33:39 <TheTedd> or some kind of dynamic mixed representation
21:39:35 -!- helios_ has joined.
21:49:24 -!- helios24 has quit (Read error: 110 (Connection timed out)).
21:59:27 -!- TheTedd has left (?).
22:29:15 -!- RedDak has quit (Remote closed the connection).
22:46:42 -!- bsmntbombdood has quit (Success).
22:47:10 -!- bsmntbombdood has joined.
22:56:06 -!- timotiis has quit ("/me tips his hat").
23:11:48 -!- sebbu2 has joined.
23:20:21 -!- sebbu has quit (Connection timed out).
23:20:22 -!- sebbu2 has changed nick to sebbu.
23:44:01 <Slereah> I should finish that Post machine BF interpreter.
23:44:13 <Slereah> Or at least the basic functions.