00:00:09 was learning about DFA's today. Deterministic Finite Automata. Pretty cool 00:00:09 I typed something here: http://esoteric.voxelperfect.net/wiki/Talk:Gammaplex, I hope I didn't mess things up too much! But if that is correct, is it turing complete? 00:01:29 not familiar with the language 00:01:46 Aardwolf: what is "emulate"? 00:02:00 in this case, "do the same as" :) 00:02:03 hi lament 00:02:09 Aardwolf: that doesn't explain it at all 00:02:11 calamari: hi! 00:02:28 if a language can do the same as brainfuck, it must be some sort of superset 00:03:19 I added the turing complete category to this language because I'm pretty sure it's turing complete, but I'm not a professional. Should I remove the category again? 00:03:30 not necessarily.. there are workable subsets of bf 00:05:05 -!- frank__ has joined. 00:15:39 from my brief look at it I'd say it's Turing Complete, but I'm no expert on the subject either 00:19:39 if you want real proof I suggest writing a bf interpreter (something every new lang should have) 00:20:16 ok :) 00:21:47 note that a bf interpreter does not necessarily prove turing-completeness 00:21:49 example 00:21:59 suppose my language has only one command: 00:22:12 "read from stdin and execute as a brainfuck program" 00:22:18 is it turing-complete? not really 00:22:28 why not? 00:22:46 it can't even add 2 and 2 00:22:49 or write "hello world" 00:22:55 yeah it can 00:22:57 all it can do is execute brainfuck programs 00:23:41 i can't write a program expressing any possible computation in this language 00:23:58 i can only write one program at all :) 00:24:01 stdin: ++>++[<+>-] 00:24:06 is isn't a programming language at all, so it is a bit irrelevant whether or not it is TC 00:24:07 program: B 00:24:13 kipple: sure it is 00:24:39 well, then we disagree... :) 00:24:53 it's not a language it is an interpreter IMHO 00:25:12 umm 00:25:21 it's a language 00:25:24 it has one command 00:25:40 and that command is tc 00:25:40 i can write an interreter or a compiler for this language 00:25:54 (very very quickly :) ) 00:26:19 calamari: when considering turing-completess, we don't even care about IO 00:26:20 you'd have to implement bf in order to implement the language 00:26:34 IO is irrelevant to turing-completeness 00:26:48 lament: in this case IO is being used to transmit the program, so it is relevant 00:26:51 no 00:27:27 this is very interesting.. but.. things to do :) 00:27:41 whether the program is read from memory or stdin should be pretty much the same 00:27:49 but the program is not read from stdin 00:27:51 -!- frank__ has quit (Remote closed the connection). 00:27:59 hmm. true 00:28:02 suppose the command that reads and executes is "foo" 00:28:05 then my program is: 00:28:06 foo 00:29:52 better yet 00:29:56 let's call the command B 00:30:04 and insert it into HQ9+ 00:30:10 to make HBQ9+ 00:30:14 so that it's not the only command :) 00:30:36 well HQ9+ is not a programming language etiher, in my book.... 00:31:52 and why not? 00:31:53 but, of course, there doesn't exist a real definition of what a programming language actually _is_... 00:32:07 because you cannot program with it 00:32:15 hrm 00:32:33 sure you can 00:32:38 you can write hello world 00:32:43 or 99 bottles of beer 00:32:46 I can do that in word as well 00:32:47 or a quine... 00:33:23 do you consider the key combinations required to program your VCR a programming language? 00:34:19 kipple: that's a good example to help me study.. I should model that as a DFA 00:35:10 what's a DFA? 00:35:24 Deterministic Finite Automaton 00:36:21 M = (Q, sigma, delta, q, F). Where: 00:37:26 M = machine, Q= finite set of states, sigma=alphabet (set of characters), delta: transition function Q x sigma->Q, q:start state, F: set of accepting states 00:37:41 F is a subset of Q 00:37:51 I'll take your word for it ;) 00:38:24 you can perform constant memory computations with this type of machine 00:38:56 afk again 00:43:11 -!- calamari has quit ("bbl.. btw to implement the B command you'd need to implement BF"). 00:55:44 -!- Aardwolf has quit ("Leaving"). 03:22:55 -!- calamari has joined. 03:53:37 Hmmm.. so what did I miss? 03:54:25 dunno.. I should see how that whole HQ9B+ thing went :) 03:54:41 didn't go anywhere 04:00:07 That discussion seemed to... I dunno. Evaporate. 04:04:47 Keep it evaporated ;) 04:16:13 I have no intention of reviving it 04:16:41 * kipple is tempted.... 04:17:51 Im still fiddling with a treap-based language 04:17:58 Trying to get something thats fairly non-deterministic 04:18:05 treap? what's that? 04:18:13 a datastructure? 04:18:44 Yeah, its a type of binary tree with some heap properties 04:22:02 Im not sure if that would work, but it might be interesting 04:24:17 -!- calamari has quit (Read error: 110 (Connection timed out)). 04:26:07 Meh... that might not actually work so great. Im actually looking for an underlying data structure to represent a "bag" 04:26:55 The language has several (but limited) variables - maybe A-F registers, and the rest of memory is a "bag" of other junk. 04:27:44 what do you mean by "bag"? a datastructure where you only get a random node when you access? 04:29:38 exactly 04:30:29 true random access memory in other words ;) 04:31:55 I thought I might try to make something workable with it by including bags-of-bags 04:36:18 You could store a sort of ID number with the data in the bag-bag and then the data. I dunno... maybe not 04:36:29 Ive still got CRAWL to deal with too 04:50:13 -!- lament has quit ("Lost terminal"). 05:42:06 -!- calamari has joined. 06:00:34 -!- kipple has quit (Read error: 110 (Connection timed out)). 06:12:54 -!- Gs30ng has joined. 06:29:44 emulating bf and proving tc. interesting topic. 06:33:03 i guess we should define IO things clearly 06:33:39 turing machine itself has IO in a sense 06:34:35 even bf without . and , has IO in a sense 06:35:29 we can start the bf program with some processed tape 06:35:47 and can consider that the result tape is output 06:46:19 if it is forbidden to do such things on TM or BF, then church turing thesis is a joke. how can we do something with a machine if can't input anything to it or make it output anything? 06:46:49 in this point of view, i think lament is wrong in a sense 06:47:21 A true turing machine contains the entire "input" stream on the tape beforehand, and leaves the "output" stream on the tape. 06:47:33 yeap 06:48:48 and thus it means we can decide what to input 06:49:16 so lament's language with only B command is turing-complete, in my opinion 06:50:25 because we can decide what the B command will get and interpret 06:51:46 -!- pgimeno has quit (brown.freenode.net irc.freenode.net). 06:52:04 -!- pgimeno has joined. 06:59:01 -!- pgimeno has quit (brown.freenode.net irc.freenode.net). 06:59:04 -!- ChanServ has quit (brown.freenode.net irc.freenode.net). 06:59:04 -!- calamari has quit (brown.freenode.net irc.freenode.net). 06:59:06 -!- cpressey has quit (brown.freenode.net irc.freenode.net). 06:59:06 -!- WildHalcyon has quit (brown.freenode.net irc.freenode.net). 06:59:06 -!- cmeme has quit (brown.freenode.net irc.freenode.net). 06:59:06 -!- ZeroOne has quit (brown.freenode.net irc.freenode.net). 06:59:06 -!- mtve has quit (brown.freenode.net irc.freenode.net). 06:59:07 -!- puzzlet has quit (brown.freenode.net irc.freenode.net). 06:59:17 -!- clog has joined. 06:59:17 -!- clog has joined. 06:59:36 -!- puzzlet has quit (calvino.freenode.net irc.freenode.net). 06:59:45 -!- CXI has quit (calvino.freenode.net irc.freenode.net). 06:59:46 -!- tokigun has quit (calvino.freenode.net irc.freenode.net). 06:59:46 -!- lindi- has quit (calvino.freenode.net irc.freenode.net). 06:59:47 -!- puzzlet has joined. 06:59:49 -!- lindi- has joined. 06:59:51 -!- tokigun has joined. 07:00:00 -!- tokigun has quit (calvino.freenode.net irc.freenode.net). 07:00:00 -!- Gs30ng has quit (calvino.freenode.net irc.freenode.net). 07:00:01 -!- ChanServ has joined. 07:00:01 -!- irc.freenode.net has set channel mode: +o ChanServ. 07:00:04 -!- puzzlet has quit (calvino.freenode.net irc.freenode.net). 07:00:04 -!- ChanServ has quit (calvino.freenode.net irc.freenode.net). 07:00:20 -!- cpressey has joined. 07:00:34 -!- ChanServ has joined. 07:00:34 -!- puzzlet has joined. 07:00:34 -!- Gs30ng has joined. 07:00:34 -!- calamari has joined. 07:00:34 -!- pgimeno has joined. 07:00:34 -!- irc.freenode.net has set channel mode: +o ChanServ. 07:00:46 -!- GregorR has joined. 07:00:47 -!- mtve has joined. 07:00:48 -!- {^Raven^} has joined. 07:00:48 -!- CXI has joined. 07:00:49 -!- {^Raven^} has quit (calvino.freenode.net irc.freenode.net). 07:00:49 -!- mtve has quit (calvino.freenode.net irc.freenode.net). 07:00:56 -!- mtve has joined. 07:01:39 -!- {^Raven^} has joined. 07:03:35 -!- cmeme has joined. 07:04:50 -!- cmeme has quit (Client Quit). 07:05:31 -!- cmeme has joined. 07:06:47 -!- cmeme has quit (Client Quit). 07:07:27 -!- cmeme has joined. 07:08:43 -!- cmeme has quit (Client Quit). 07:09:23 -!- cmeme has joined. 07:09:48 -!- tokigun has joined. 07:10:39 -!- cmeme has quit (Client Quit). 07:11:20 -!- cmeme has joined. 07:15:33 -!- ZeroOne_ has joined. 07:53:48 Gs30ng: still here? 07:53:55 yes 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:15:13 -!- calamari_ has joined. 08:33:59 -!- calamari has quit (Read error: 110 (Connection timed out)). 08:54:42 -!- tokigun has quit (Read error: 104 (Connection reset by peer)). 08:56:42 -!- tokigun has joined. 08:58:29 retoki 09:18:42 -!- nooga has joined. 09:18:47 hi 09:19:00 hi nooga 09:20:31 -!- rosemary has joined. 09:21:15 :D 09:21:38 rosemary: only esolangs geeks here :) 09:21:41 desired result + piqued curiosity 09:21:50 hi rosemary 09:22:08 nooga - well I am niether esolang nor geek! 09:22:13 if you are female, you may very well be the first ever to be in this chatroom :) 09:22:52 as I commented my curiosity was piqued 09:22:55 hehe 09:23:11 how did you hear of this place? 09:23:25 nooga j #esoteric 09:23:25 nooga heh 09:23:31 from a linux channel when someone mentioned it 09:23:33 lol 09:23:47 my / key doesn't work sometime 09:24:00 sure nooga 09:24:14 brb 09:25:47 well - if this is some male thing, then I'm going elsewhere 09:26:02 sorry to intrude 09:26:04 it's for esoteric programming languages 09:26:15 not for males only.. :) 09:26:56 here is your nick in bf: ++++++++++++++[>++++++++>+++++++>++++++++><<<<-]>++.>>-.<<+.>+++.>--.<----.<-.+++++++. 09:27:02 okay ... well I do not understand about programming - just wish I had gotten into computers a decade earlier 09:28:23 we discuss weird ways of programming here.. so it's new to us as well when a new language is released 09:29:38 for a moment a I wondered if I had accidentally wandered into some wierd male channel! 09:30:25 rosemary: if you want to run that program there is an online interpreter here: http://koti.mbnet.fi/villes/php/bf.php 09:31:02 calamari what programme? 09:31:02 the channel is esoteric, but not for males only, afaik 09:31:22 copy that mess into the code box and click Run 09:31:51 of course not.. was only a joke :) 09:32:15 esoteric programmers unite! 09:32:28 hey puzzlet 09:32:42 hello 09:33:03 doubt I'll ever be a programmer - can copy basic scripts is all :-) 09:33:07 anyway night 09:33:14 -!- rosemary has left (?). 09:33:35 -!- Keymaker has joined. 09:33:52 Keymaker: you just missed an historic event, lol 09:33:59 wah? 09:34:00 lol 09:34:05 wha? 09:34:13 don't tell me dbc was here.. 09:34:13 first female in #esoteric 09:34:16 oh 09:34:17 is rosemary female? 09:34:19 ah 09:34:26 that's awesome too 09:34:33 indeed 09:34:46 i'll take a look at the logs 09:35:22 did i mention i've introduced esoteric languages in 1st Alternative Language Festival in Korea? http://altlang.org/ 09:35:38 woah 09:35:42 i don't even know any female programmer 09:35:59 Gs30ng, Vanneva Bush 09:36:19 and a female esolang programmer, just sounds like a hoax 09:37:42 puzzlet, i googled, and it was Vannevar Bush 09:37:44 what, vannevar bush is male? 09:38:08 what the president of usa?! 09:38:12 English names are confusing 09:39:13 like puzzlet 09:39:36 i always confuse puzzlet and fuzzlet 09:40:49 puzzlet: didn't realize you were in #mediawiki 09:40:58 about the esolang logo discussion; 09:41:07 me neither 09:41:10 i once drew couple of eso dodos 09:41:16 (as probably someone remembers) 09:41:26 puzzlet: I was asking about the Korean esowiki 09:41:29 i think the kipple's dodo idea was good 09:41:41 puzzlet: but it seems that to do it there have to be two different wikis 09:42:00 another idea for logo could be picture of dominatrix, inspired by that sadol book. 09:43:39 but contributors to the Korean wiki would be not more than 3 or 4 people 09:44:28 what if the wiki eventually becomes, like forgotten? 09:45:36 in wikipedia same problem occurs 09:45:39 Korean wiki should be incorporated with the English wiki in some ways 09:46:25 like using MediaWiki, bonded with the English wiki by interwiki links 09:47:26 i've heard it from Gs30ng, but i think MoinMoin is not likely in this case. 09:47:30 oh, and the main reason i came to visit the channel this time: i just made a new quine in brainfuck, 1606 instructions. my current record, that can be found at bf-hacks.org) is 933. but i tried a bit new stuff in this new one, so it might be possible that i break my current record, when i optimize this new quine. you see, this new one has no optimization.. 09:49:19 awk for 10 min. 09:52:07 hmm weird.. win2003 isn't telling me to reactivate. Maybe that's only an XP thing 09:53:00 .back 09:53:22 its sooo slow.. 98 is so much faster hehe 09:56:49 98 runs on my 486 laptop 09:56:54 with 24 MB ram 09:57:12 ...but debian 3 woody runs too 09:57:19 I have 95 on my 486/100.. 16mb ram 09:57:21 and does it faster 09:58:42 would run 3.1 on it, but 3.1 networking support is horrible 10:05:31 :) 10:05:35 anyways, gotta go 10:05:47 btw, can't come here for a while, i'm going to hiking for three days 10:05:59 a school course i selected for some reason.. x9 10:06:01 bye 10:06:08 -!- Keymaker has left (?). 10:08:43 wow, glad I'm not superstitious :) 10:09:43 my adventure game was about a hiker stranded in mountain woods for 3 days and having to make their way off alive 10:13:24 and you added irc connecting stuffs in that game 10:13:39 huh? :) 10:13:48 so Keymaker was a program 10:14:17 oh, haha.. I hope Keymaker doesn't get attacked by a bear and stuck in the woods ;) 10:15:07 not sure why, but I never was able to get motivated after my summer classes. burnt out or something 10:37:15 wow 3am.. cya all :) 10:37:20 -!- calamari_ has quit ("Leaving"). 11:09:11 -!- nooga has quit (Read error: 104 (Connection reset by peer)). 11:13:27 -!- nooga has joined. 11:30:25 -!- nooga has quit (Remote closed the connection). 12:41:06 -!- nooga has joined. 13:20:37 ;> 13:31:37 -!- clog has joined. 13:31:37 -!- clog has joined. 13:34:07 -!- cmeme has joined. 13:35:21 -!- cmeme has quit (Client Quit). 13:36:02 -!- cmeme has joined. 13:37:18 -!- cmeme has quit (Client Quit). 13:37:59 -!- cmeme has joined. 13:39:14 -!- cmeme has quit (Client Quit). 13:39:54 -!- cmeme has joined. 13:53:22 http://nooga.int.pl/sadol <- updated ;p 13:53:43 -!- nooga has quit. 13:54:11 -!- J|x has joined. 13:54:32 -!- kipple has joined. 14:25:06 -!- nooga has joined. 14:25:10 hi 14:38:55 hello 14:39:10 :) 14:39:40 nooga: ahhmmmm... i'm working on SADOL implementation 14:40:02 i've seen BDSM code. freaky naming.. my... 14:42:41 hehe 14:42:51 BDSM is not compliant 14:43:07 he worked on that in secret 14:43:20 so he didn't asked me about a few things 14:43:28 like a variable scope 14:43:35 yeah.. 14:43:35 and other things 14:43:49 now i try to describe it all 14:47:03 tokigun: why the naming is freaky? 14:47:27 think original meaning of BDSM... :) 14:48:08 heheh 14:48:25 it was intended 14:52:24 is BDSM a language/ 14:52:25 ? 14:52:33 puzzlet: no implementation 14:52:37 nooga: ~q1:i0@ maybe quine without list P... 14:53:33 BDSM is an implementation of SADOL 14:53:51 what does the name stand for? 14:54:10 Badly Developed SADOL Machine 14:54:21 http://regedit.risp.pl/BDSM/Readme.html 14:54:39 http://regedit.risp.pl/BDSM/ 14:54:45 tokigun: then write one ;p 14:55:02 nooga: it works well? 14:55:16 in my old interpreter 14:55:21 yeah 14:55:22 in BDSM no 14:55:27 hmmm 14:58:13 in documentation: ",212I like SADOL {a UAF call using KAF as the number of arguments} 14:58:25 is it a UAF call using UAF? 14:58:47 o fuck ;p 15:22:20 nooga: hmmm 15:23:16 when calling a function, local variables in caller are copied to local variables in the function? or removed from current scope? 15:26:37 what would be better? 15:28:39 i don't know... 15:29:01 hmm 15:29:15 +3"2am is equal to "33am ? 15:32:34 yes 15:33:06 nooga: hmm i think you've changed defintion of ' function... 15:33:26 yes 15:34:00 there is no function for converting a integer into a char 15:34:05 hmmm 15:34:19 then how to do it? 15:34:57 mabye make like this: '0% returns 37, '1,237 returns "1% 15:34:59 ? 15:35:04 what do you think? 15:35:10 nooga: i agree 15:35:24 then i'll change it in the table 15:35:47 but i've lost the password to my account -.- 15:35:53 :S 15:36:53 -!- WildHalcyon has joined. 15:40:02 :i,299:b",21899 bottles of beer:n',210@i(4!+++++++b",213 on the wall,nb"1,n",230Take one down, pass it around,n:i-i1:b+++i"7 bottle?-i1"1s"0"8 of beer!+++b",213 on the wall.nn 15:40:10 maybe 99 bottles of beer song. 15:40:48 huh 15:41:48 it works? 15:42:22 wait a moment 15:43:29 man, today's sucked 15:46:10 heh 15:46:24 BDSM requires a progn on the beggining 15:46:45 because it treats a program like a one big expression 15:46:59 not a list of expressions 16:02:49 uff 16:02:52 i got my pass back 16:14:28 huh 16:21:56 tokigun? 16:22:03 how's it going? 16:27:25 g2g 16:27:38 -!- nooga has quit. 16:59:16 -!- kipple_ has joined. 16:59:16 -!- kipple has quit (Read error: 104 (Connection reset by peer)). 17:29:43 hah ORKgl! 17:29:59 ORKsdl with ogl support! 17:30:23 i don't want to write that... 17:34:23 -!- J|x has changed nick to jix. 17:41:50 -!- Gs30ng has quit ("SKYIRC Ver Pro http://cafe.naver.com/skyirc.cafe #skyirc"). 17:42:33 Probably wouldn't be too difficult *shrugs* 17:42:38 Make a class with a bunch of ORK_ functions. 17:43:50 yes 17:44:23 but i'm not a ogl expert 17:44:34 i don't know the ogl calls... 17:44:49 hmm maybe vertex3f...(if that's correct) 17:45:09 -!- int-e has joined. 18:33:33 -!- lament has joined. 19:18:50 -!- nooga has joined. 19:18:56 me again 19:32:48 You again!? 19:32:50 YOU AGAIN?! 19:32:53 I mean, hi. 19:34:17 he he he 19:49:26 is he following you around, too, GregorR? 20:17:52 -!- nooga has quit ("Lost terminal"). 20:21:48 -!- nooga has joined. 20:41:51 -!- WildHalcyon has quit ("Adios!"). 20:56:26 hehe 20:57:01 my buddy wrote a fibbonacci string, qsort and bubble sort in SADOL 20:57:58 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht"). 21:01:35 -!- calamari has joined. 21:27:49 -!- kipple__ has joined. 21:46:14 -!- kipple_ has quit (Read error: 110 (Connection timed out)). 22:03:29 heh 22:03:34 goodnight 22:04:02 -!- nooga has quit ("ziew"). 22:10:29 -!- kipple_ has joined. 22:18:48 -!- kipple__ has quit (Read error: 145 (Connection timed out)). 22:55:39 -!- Aardwolf has joined. 23:17:47 -!- WildHalcyon has joined. 23:48:44 -!- ZeroOne_ has changed nick to ZeroOne.