00:19:14 -!- sebbu has quit ("@+"). 00:45:10 -!- GreaseMonkey has joined. 00:55:12 -!- puzzlet has quit (Remote closed the connection). 00:55:14 -!- puzzlet_ has joined. 01:12:27 -!- Sgeo has joined. 01:14:00 -!- ihope____ has quit ("http://tunes.org/~nef/logs/esoteric/06.08.09"). 01:18:42 -!- puzzlet_ has quit (Remote closed the connection). 01:18:43 -!- puzzlet has joined. 01:26:33 -!- GreaseMonkey has quit ("brb"). 01:31:07 -!- puzzlet has quit (Remote closed the connection). 01:31:08 -!- puzzlet_ has joined. 01:40:44 -!- ehird` has quit ("... and now I'm gone"). 02:38:58 How should http://esolangs.org/wiki/PSOX be categorized? 03:05:02 !bfgen @_@ 03:05:06 Huh? 03:05:19 !help 03:05:22 help ps kill i eof flush show ls bf_txtgen usertrig daemon undaemon 03:05:24 1l 2l adjust axo bch bf{8,[16],32,64} funge93 fyb fybs glass glypho kipple lambda lazyk linguine malbolge pbrain qbf rail rhotor sadol sceql trigger udage01 unlambda whirl 03:06:42 !bf_txtgen @_@ 03:07:12 46 ++++++++[>++++++++>++++++++++++>><<<<-]>.>-.<. [294] 03:07:30 !bf8 ++++++++[>++++++++>++++++++++++>><<<<-]>.>-.<. 03:07:34 @_@ 03:07:44 bf8? 03:07:53 8 bit cells I guess 03:10:25 http://www.esolangs.org/wiki/Brainfuck_algorithms 03:10:44 I need more algorithms and constants and stuff :D 03:11:34 You'll get stuff when PSOX is completed.. admittedly, it will be stuff relating to PSOX.. 03:12:22 I need to make a language which compiles into brainfuck 03:12:37 and have a cost on everything in the AST 03:13:07 AST? 03:14:00 well I only want to represent stuff inside a program, there's no need for syntax 03:15:03 Sgeo: It's for this http://rafb.net/p/hcpRe110.txt 03:16:03 ah. cool. 03:16:13 But I'm still not sure what AST is.. 03:16:22 oh right 03:16:27 it stands for abstract syntax tree 03:16:37 it's just how you can represent a program as data 03:16:43 it will look like lisp basically 03:17:22 BFStatement = + | - | < | > | [ | ] | . | , 03:17:35 * Sgeo wonders if this sort of thing can be useful for PSOX somehow 03:17:38 Thank you very much 03:17:40 BFProgram = Nil | Cons BFStatment BFProgram 03:18:19 what I thought I would do is make 03:18:21 Can I use that sort of thing to interpret a bunch of bytes into elements? 03:18:25 Add X Y | Sub X Y ... 03:18:41 and be able to get a cost (length of outputted brainfuck) so I can try to minimize it 03:19:05 well you can parse some bytes into an ast 03:19:09 Where can I find more info, Wikipedia isn't comprehensible to me 03:19:27 faxathisia, and can I use that in a program to find out where data I'm being sent ends? 03:19:47 mm I don't think so 03:19:52 It's probably not helpful in that respect 03:20:13 well what do you mean? 03:20:57 I have a type, say that is 0x01 dbyte 0x01 dbyte2 0x00 then more junk 03:21:05 Can I use it to somehow find where it ends? 03:21:08 For example? 03:21:22 My current idea is to use regex, but it isn't flexible enough 03:21:26 oh I see 03:21:45 well if you have a decent description of the lannguage 03:22:04 It's not a language, it's a stream of bytes to be interpreted into data 03:22:21 http://trac2.assembla.com/psox/browser/trunk/spec/psox-types.txt 03:22:45 Is there a link for more info on AST I can read? 03:24:06 wait 03:24:10 in 03:24:11 psox-types.txt 03:24:16 say I give you this: 03:24:55 0x1 0x9 0x1 0x7 0x1 0x2 0x1 0x3 0x0 0x58 0x67 0x64 03:25:08 0x0 03:25:27 The function that is accepting the data knows the types.. 03:25:34 Do you also have to know that it's an LNUM followed by STRING? 03:25:39 to interpret that data 03:25:44 yes 03:26:10 yeah ok that's cool you can just LEX 03:26:15 LEX? 03:26:18 there isn't need I think for an AST or parser 03:26:48 what language you are writing the thing to interpret these bytes in? 03:27:11 Python 03:28:15 What's LEX? 03:28:35 to lex is just turning some bytes or characters into tokens 03:28:46 I would probably have a procedure which takes and returns 03:29:16 then you can just call that repeatedly until all the data types you required are read from the bytes 03:29:43 so e.g calling it with LNUM and 0x1 0x9 0x1 0x7 0x1 0x2 0x1 0x3 0x0 0x58 0x67 0x64, would return 5465445 and 0x58 0x67 0x64 03:30:06 * Sgeo wants to be able to do things that regex won't allow though 03:30:28 Like a datatype specified as num_of_bytes_following than that number of bytes 03:30:28 yeah not using regex.. 03:30:31 For instance 03:30:35 WHat should I use? 03:30:58 well honestly I would do this with a logic programming language 03:31:12 If you can find a simple logic system to embed in python it would be nice 03:32:20 but it might be too big a hammer for a small task... So just doing it straight forward if/else type checking each character one by one would be easy too 03:32:51 blargh 03:33:27 Something like that was the original plan, actually, but I thought it might be too complicated 03:33:46 I was designing it in my mind using generators and things 03:34:32 It seems quite simple to me 03:34:44 well 03:34:50 using regex like in your example seems a bit confusing 03:35:02 I would probably make a stream object 03:35:37 you can take the head, which is a char, and the tail which might cause a read on stdin 03:35:56 cause if you are dealing with arbitrary length stuff like big nums .. it wouldn't be possible to regex it would it? 03:37:10 -!- puzzlet_ has quit (Remote closed the connection). 03:37:17 -!- puzzlet has joined. 03:37:57 Sgeo: I dont' think what I said makes sense 03:38:03 Sgeo: Did it? :S 03:38:18 I don't see why regex can't be used, but I don't think it should be used.. 03:38:24 Too restrictive.. 03:38:31 yeah 03:38:42 let me see if I understand what you are doing.. 03:38:48 say you have some program B written in brainfuck 03:39:18 it will print out some kind of signal saying I will call a function with a string and 2 numbers as parameters 03:39:40 and PSOX is going to be reading the stdout of B and doing what B asks 03:39:43 is that correct? 03:39:58 Well, the signal simply specifies the function, and the types are part of the function.. 03:40:04 But other than that, yess 03:40:10 ah ok I understand 03:40:17 so how I see it is this: 03:40:34 PSOX has an input stream from B called Sb 03:40:41 and you can read a single character from Sb 03:41:03 since Sb might output text of unbounded length (in the case of a string or big integer) 03:41:10 brb afk 03:41:28 There should be some structure which copes with that 03:41:52 the easiest thing I can imagine is a pair of (char . Stream).. with operations head and tail 03:42:08 head gives the char, and tail gives a new pair (next_char . Stream) by reading one char 03:42:48 so given that it should be simple enough to write something which takes a type (STRING, LNUM etc) and one of those objects.. returning the read object and new pair 03:47:01 hm 03:47:10 * Sgeo isn't sure that he understands 04:28:56 -!- puzzlet has quit (Remote closed the connection). 04:29:04 -!- puzzlet has joined. 05:04:30 hey, everyone. 05:04:35 Did anyone miss me? 05:06:46 * faxathisia moos at RodgerTheGreat 05:07:13 hello, faxathisia 05:07:38 * RodgerTheGreat offers faxathisia oats 05:07:56 :D 05:14:10 what's up? 05:14:25 searching for brainfuck stuff 05:14:35 like proofs that a program is the shortest one or whatever 05:14:35 oats? 05:14:55 I found http://d.hatena.ne.jp/ku-ma-me/20070813/p1 05:15:13 interesting 05:15:31 It's rather frightening how much of that I can understand without any knowledge of Japanese 05:17:25 * Sgeo wonders if it can be proven that there cannot be such a proof 05:18:07 you can probably just enumerate every program and find the first one that could possibly print something 05:18:16 so you can sometimes do it for a particular string 05:18:33 hm, true 05:28:33 and if you can prove it that way, there may be more complex ways to do it more efficiently 05:35:21 -!- puzzlet has quit (Remote closed the connection). 05:35:22 -!- puzzlet_ has joined. 05:40:30 -!- oerjan has joined. 05:51:54 -!- puzzlet_ has quit (Remote closed the connection). 05:51:55 -!- puzzlet has joined. 06:32:50 -!- oerjan has quit ("leaving"). 06:34:58 grr 06:35:01 I think my idea was stupid 06:36:41 It's not worthwhile to create a set of actions which have an associated brainfuck version... to try and compose in order to make short brainfuck code since the problem just becomes harder [I think] 06:39:10 -!- Sgeo has quit (Read error: 110 (Connection timed out)). 06:46:41 -!- faxathisia has quit. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:03:39 -!- puzzlet has quit (Remote closed the connection). 08:03:42 -!- puzzlet has joined. 08:18:41 -!- sebbu has joined. 09:16:38 -!- jix has joined. 09:47:35 -!- puzzlet has quit (Remote closed the connection). 09:47:36 -!- puzzlet_ has joined. 10:25:59 -!- AnMaster_ has joined. 10:27:11 -!- AnMaster has quit (Nick collision from services.). 10:57:42 -!- RodgerTheGreat_ has joined. 11:00:19 -!- RodgerTheGreat has quit (Read error: 104 (Connection reset by peer)). 11:02:32 -!- AnMaster_ has changed nick to AnMaster. 12:38:41 -!- puzzlet_ has quit (Remote closed the connection). 12:38:42 -!- puzzlet has joined. 12:57:12 -!- puzzlet_ has joined. 12:57:12 -!- puzzlet has quit (Remote closed the connection). 13:00:46 -!- jix has quit (Nick collision from services.). 13:00:56 -!- jix has joined. 13:25:39 ¨/join #geordi 13:25:42 whoops 13:52:58 -!- Sgeo has joined. 14:02:02 -!- RedDak has joined. 14:04:21 Hi RedDak 14:21:27 -!- Slereah- has joined. 14:33:37 -!- Slereah has quit (Read error: 110 (Connection timed out)). 14:38:37 -!- ehird` has joined. 14:39:16 -!- ehird` has quit (Client Quit). 14:40:09 -!- ehird` has joined. 14:43:33 -!- RedDak has quit ("I'm quitting... Bye all"). 14:43:52 -!- RedDak has joined. 15:04:17 -!- RedDak has quit (Remote closed the connection). 15:23:28 -!- oklopol has quit (Read error: 104 (Connection reset by peer)). 15:24:36 -!- oklopol has joined. 15:30:07 -!- RodgerTheGreat_ has changed nick to RodgerTheGreat. 15:37:31 -!- puzzlet has joined. 15:37:31 -!- puzzlet_ has quit (Remote closed the connection). 15:53:07 -!- tokigun has quit (Remote closed the connection). 15:54:49 -!- tokigun has joined. 16:13:20 -!- GregorR has quit (Read error: 113 (No route to host)). 16:15:06 -!- oerjan has joined. 16:15:17 Hi oerjan 16:15:21 hi Sgeo 16:16:39 -!- EgoBot has quit (Read error: 110 (Connection timed out)). 16:17:30 hi ehird` 16:17:30 hi ehird` 16:17:30 hi ehird` 16:17:30 hi ehird` 16:17:31 hi ehird` 16:17:31 hi ehird` 16:17:36 hi ehird` 16:17:38 hi ehird` 16:17:44 Segmentation fault 16:32:51 -!- puzzlet_ has joined. 16:43:04 -!- puzzlet has quit (Read error: 110 (Connection timed out)). 16:50:57 -!- SimonRC_ has changed nick to SimonRC. 17:45:21 is trying to get emacs to boot from scratch an esoteric enough thought for this channel? :P 17:45:42 that would be amusing because emacs would actually have a quite nice UI/interface paradigm for an OS 17:46:03 despite its general failing at, uh, editing text 17:51:11 Sounds fun. 17:51:59 But does it have security? 17:55:46 ehird`: the usual phrase is "A great OS but it lacks a decent text editor 17:55:48 " 17:56:14 I'm sure someone's ported vi to emacs. 17:57:26 ihope: they have 17:57:29 viper-mode 18:17:18 ihope: security, i doubt i t 18:17:21 but hey. 18:17:31 SimonRC: well, considering the OS is based on text editing 18:17:32 :) 18:29:08 -!- Sgeo has quit (Read error: 104 (Connection reset by peer)). 18:31:59 -!- Sgeo has joined. 18:32:58 hmm 18:33:03 brainfuck compiler question 18:33:37 should i optimize MOVE(+x) MODIFY(...) MOVE(-x) to MODIFY(at=x,...) 18:33:40 seems like it'd be faster 18:34:20 -!- Tritonio has joined. 18:34:25 Hi Tritonio 18:34:43 Hello. 18:35:48 anyone? 18:36:11 hello everybody 19:11:04 -!- sebbu2 has joined. 19:13:44 Hi sebbu 19:13:48 sebbu2 19:14:13 Hi. 19:15:04 hey, don't point that at me! 19:16:41 oerjan, hm? 19:17:13 that -> 19:29:56 -!- sebbu has quit (Read error: 110 (Connection timed out)). 19:33:19 -!- sekhmet has quit ("omgkernel"). 19:38:09 -!- sekhmet has joined. 19:42:03 -!- Tritonio has quit (zelazny.freenode.net irc.freenode.net). 19:42:05 -!- ihope has quit (zelazny.freenode.net irc.freenode.net). 19:43:33 -!- sekhmet has quit (zelazny.freenode.net irc.freenode.net). 19:43:33 -!- sebbu2 has quit (zelazny.freenode.net irc.freenode.net). 19:43:33 -!- puzzlet_ has quit (zelazny.freenode.net irc.freenode.net). 19:43:33 -!- ehird` has quit (zelazny.freenode.net irc.freenode.net). 19:43:42 -!- Tritonio has joined. 19:43:44 -!- sekhmet has joined. 19:43:44 -!- sebbu2 has joined. 19:43:44 -!- puzzlet_ has joined. 19:43:44 -!- ehird` has joined. 19:54:12 -!- Tritonio_ has joined. 20:01:32 -!- Tritonio has quit (Connection timed out). 20:05:13 I just realised my BF compiler's architechture is output-language neutral :) 20:05:39 It goes parse BF->compile BF into instructions->convert instructions into $LANG (LANG currently = D, could be easily made C and others) 20:05:43 it optimizes too 20:08:43 s/>//g s/+-//g s/-+//g s/(\]\.*?)\[.*?\]/\1/g 20:09:23 hm that last one doesn't quite work 20:13:30 Thoughts on http://uncyclopedia.org/wiki/HowTo:Prevent_XSS_attacks ? 20:14:53 it's not really funny. 20:15:04 Uncyclopedia is not really funny in general. 20:15:11 ED is better. 20:15:17 And often factual! 20:15:18 ehird`, any ideas for improvements? 20:15:20 Well, sort of. 20:15:21 Slereah-: if you like being an idiot with no brain, sure 20:15:32 Sgeo: rewrite it? :| it's just incorrect, not incorrect in a funny way 20:15:48 Oh man, ice burn! 20:16:01 * Sgeo has no clue how to make it incorrect in a funny way 20:16:44 Slereah-: well hey, ED is written by idiots with no brain 20:16:54 it wasn't trying to be an 'ice burn' 20:17:24 Same as Uncyclopedia! 20:18:45 difference: uncyclopedia is funny and isn't populated with people saying 'lulz ice burn ohauhsushshsfhsdkjfhsfhsgsdk' 20:20:23 Really? Then it must have changed quite a bit since the last time I saw it! 20:20:30 The articles were pretty much "Lol random". 20:21:39 While a lot of ED articles, though not useful, have the advantage of being true. 20:21:43 Full of internet lore! 20:23:24 -!- oerjan has quit ("Lorem ipsum est!"). 20:26:15 BF implementation question: it's required to read the input code as bytes, yes? 20:50:04 -!- immibis has joined. 20:51:03 Hi immibis 20:55:11 -!- EgoBot has joined. 20:55:19 -!- GregorR has joined. 20:56:37 -!- immibis_ has joined. 20:57:12 -!- immibis has quit (Nick collision from services.). 20:57:16 -!- immibis_ has changed nick to immibis. 21:06:03 * SimonRC goes 21:33:55 -!- boily has joined. 21:36:26 -!- boily has quit (Client Quit). 21:36:38 -!- Tritonio_ has quit (zelazny.freenode.net irc.freenode.net). 21:41:12 -!- Tritonio_ has joined. 21:50:56 christel said [Global Notice] Hi all, we're experiencing some routing problems between our US hub and the machine services reside on, I'm about to do some re-routing and will also move services. There will be NO services while we swap things around. Thank you for using freenode and have a great day!. Take that, RFC's 1459 and 2812! 21:53:35 forgot to delete that script. oops! 21:54:42 -!- RedDak has joined. 21:55:40 immibis, what are RFC 1459 and 2812? 21:56:14 the ones that define irc 21:56:33 and say that an automated message can never be sent in response to a NOTICE. 21:57:13 i got a global notice with the word Hi in it and the script i made *automatically* responded with a WHOIS, a VERSION, and a NOTICE as well as a message to this channel. 21:57:33 oh and the notice said "you are such a fool". not a good thing to say to an IRCop. 22:00:07 >.> 22:00:25 WHy didn't I get the global notice? 22:00:50 What would happen if I changed my nick to MemoServ? 22:00:56 Or NickServ, etc.? 22:01:05 -!- puzzlet_ has quit (Remote closed the connection). 22:02:42 * SgeoServ :Erroneous Nickname 22:03:34 [11:05] ->> Error 432 - ImmibisServ :Erroneous Nickname 22:03:41 anything ending with Serv is a service i guess. 22:04:13 Sgeo: You can't. Anything with serv in it is illegal 22:04:26 -!- Sgeo has changed nick to ServSgeo. 22:04:59 -!- ServSgeo has changed nick to Servera. 22:05:04 -!- Servera has changed nick to Serve. 22:05:39 * Server :Erroneous Nickname 22:05:46 -!- Serve has changed nick to Sgeo. 22:07:06 -!- oklopol has changed nick to okoServe. 22:07:12 -!- okoServe has changed nick to oklopol. 22:09:20 -!- puzzlet has joined. 22:09:25 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)). 22:11:51 immibis: well, that was pretty stupid. 22:12:04 ehird`, hm? 22:12:09 * Sgeo falls asleep 22:12:19 wow 22:12:22 that was broken 22:12:34 ? 22:14:20 -!- puzzlet has joined. 22:31:22 -!- oklokok has joined. 22:33:04 -!- oklopol has quit (Read error: 113 (No route to host)). 22:34:16 -!- GreaseMonkey has joined. 23:08:30 new script, anyone who says "What is Hadjin?" (not case-sensitive) is told what Hadjin is, and there is a 20% chance that anyone who speaks will be called a fool. 23:08:42 if you find this annoying as i am sure you will, tell me. 23:10:10 What is Hadjin? 23:10:18 hmm 23:10:21 must be an error in it 23:10:25 What is Hadjin? 23:10:29 [12:10] -- Script Engine Error:13:Type mismatch: 'Rand': Line #10 -- 23:10:35 o 23:10:43 try again 23:10:54 What is Hadjin? 23:10:55 Sgeo, Hadjin is an online multiplayer role-playing game 23:10:59 What is Hadjin? 23:10:59 Sgeo, Hadjin is an online multiplayer role-playing game 23:11:03 o 23:11:14 Wut's Hadjin? 23:11:17 Hadjin? 23:11:21 no one is being called a fool 23:11:32 -!- GreaseMonkey has quit ("apt tells me i need to reboot soon"). 23:11:45 hmm... 23:11:55 * Sgeo can't find information about Hadjin 23:12:12 "If (condition OR condition) And rnd() > 0.5 Then" is proper VBScript, isn't it? 23:13:32 unfortunately, it's possible 23:13:37 immibis, Hadjin is an online multiplayer role-playing game. Join #hadjin or see http://hadjin.sourceforge.net/ 23:13:47 Why are you using VBScript :P 23:14:18 test 23:14:20 good 23:14:29 i made it intercept everything i said too. 23:14:30 Whyyyyyyy are you using VBScript >_< 23:14:42 because icechat 5 script is based on vbscript 23:14:53 even though i'm using icechat 7, i find v5 scripting is more versatile. 23:14:58 immibis, Hadjin is an online multiplayer role-playing game. Join #hadjin or see http://hadjin.sourceforge.net/ 23:14:58 what is hadjin? 23:16:42 immibis, you are such a fool! 23:16:50 ok 23:16:52 whoever says every TENTH message gets insulted. 23:16:57 or is it eleventh? 23:16:58 not sure. 23:17:08 o 23:17:08 o 23:17:08 o 23:17:09 o 23:17:09 o 23:17:09 o 23:17:09 oklokok, you are such a fool! 23:17:11 o 23:17:13 o 23:17:15 o 23:17:17 cool 23:17:19 i'm a fool 23:17:31 whoops 23:17:32 o 23:17:47 it includes my own messages. 23:17:52 immibis, you are such a fool! 23:17:52 and messages from any channel. 23:17:55 i know 23:18:03 including bots btw 23:18:22 why are you using icechat then immibis 23:18:32 * ehird` wikipedias 23:18:33 ewww 23:18:41 it has a custom skin and is written in VB 23:18:46 it is? 23:18:47 a custom damn skin that looks fugly as hell 23:18:48 * immibis didn't know 23:18:52 it's usable 23:19:09 so is irc clients that don't add ugly gradients everywhere 23:19:09 ehird`, you are such a fool! 23:19:10 so what as long as it works 23:19:12 immibis: includes bots too?!? how did you make it *not* distinguish between messages sent by bots and human-driven clients?!? 23:19:19 -!- RedDak has quit (Read error: 113 (No route to host)). 23:19:25 and icons with white pixeled edges 23:22:01 -!- GreaseMonkey has joined. 23:26:00 now parts and quits count. 23:28:39 -!- oklopol has joined. 23:30:14 -!- oklokok has quit (Read error: 113 (No route to host)). 23:33:31 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)). 23:33:36 -!- puzzlet has joined. 23:44:20 -!- immibis has quit (No route to host). 23:44:45 -!- oklokok has joined. 23:46:24 -!- oklopol has quit (Read error: 113 (No route to host)). 23:48:26 -!- jix has quit ("CommandQ").