< 1133136356 0 :Sgep!n=sgeo@ool-18bf61f7.dyn.optonline.net JOIN :#esoteric < 1133136416 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :300[-2|*-2]*-1 'NOT: -2 = NOT(*-2) < 1133136453 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :301[-2|*-3,-2|*-2]*-1 'AND: -2 &= *-3 < 1133136475 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :302[-2|*-2,-4=*-3,-4|*-4,-2|*-4]*-1 'OR: -2 |= *-3 < 1133136498 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :303[-4=*-3,-4|*-4,-4|*-2,-2|*-2,-2|*-3,-2|*-4]*-1 'XOR: -2 ^= *-3 < 1133136519 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :304[-2|*-2,-4=*-3,-4|*-4,-2|*-4,-2|*-2]*-1 'NOR: -2 = ~(*-2 | *-3) < 1133136542 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :305[-4=*-3,-4|*-4,-4|*-2,-2|*-2,-2|*-3,-2|*-4,-2|*-2]*-1 'XNOR: -2 = ~(*-2 ^ *-3) < 1133136544 0 :Arrogant!unknown@unknown.invalid QUIT :"I AM QUIT HAVE A NICE DAY" < 1133136561 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :306[-3=*-2,-2=0,-2-*-3]*-1 'NEG: -2 = -*-2, -2 = !*-2 < 1133136593 0 :Sgep!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION becomes dizzy
< 1133136636 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :Sgep: using NAND to construct the other logic operators < 1133136665 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :NOT p = p NAND p < 1133136692 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :p AND q = (p NAND q) | (p NAND q) < 1133136706 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :whoops :) < 1133136709 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :p AND q = (p NAND q) NAND (p NAND q) < 1133136710 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :;) < 1133136722 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :p OR q = (p NAND p) NAND (q NAND q) < 1133136739 0 :Sgep!unknown@unknown.invalid PRIVMSG #esoteric :calamari: is this online somewhere? < 1133136749 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :probably < 1133136768 0 :Sgep!unknown@unknown.invalid PRIVMSG #esoteric :If it isn't, I can put it online < 1133136785 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I've created a file of it < 1133136793 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :so I'll put that up in the linguine distro < 1133136816 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :I did find XOR online, (Mathworld) < 1133136827 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :It happens to be one NAND shorter than jix's < 1133136847 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :note: NAND = | < 1133136874 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :p XOR q = (p|(q|q)) | ((p|p)|q) < 1133137051 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :it's possible that NOR and XNOR could be made shorter < 1133137070 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :because I'm simply doing another NOT at the end and that may not be optimal < 1133137399 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :afk < 1133137459 0 :Sgep!unknown@unknown.invalid QUIT : < 1133140417 0 :GregorR[notHome]!unknown@unknown.invalid NICK :GregorR < 1133141231 0 :Sgep!n=sgeo@ool-18bf61f7.dyn.optonline.net JOIN :#esoteric < 1133145124 0 :CXI!n=Sanity@dialup-159.88.221.203.acc50-kent-syd.comindico.com.au JOIN :#esoteric < 1133151935 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :back < 1133152805 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :cool... 4 nand xor: 303[-4=*-3,-4|*-2,-2|*-4,-4|*-3,-2|*-4]*-1 < 1133156149 0 :Sgep!unknown@unknown.invalid QUIT : < 1133156281 0 :CXI!unknown@unknown.invalid NICK :AMouseXI < 1133156426 0 :AMouseXI!unknown@unknown.invalid NICK :CXI < 1133157248 0 :kipple!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1133161234 0 :Robdgreat!i=me@ip68-226-175-204.lf.br.cox.net JOIN :#esoteric < 1133162096 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :cya alll < 1133162097 0 :calamari!unknown@unknown.invalid QUIT :"Leaving" < 1133164799 0 :clog!unknown@unknown.invalid QUIT :ended < 1133164800 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1133167287 0 :Keymaker!n=no@i3.ip5.netikka.fi JOIN :#esoteric < 1133167803 0 :Keymaker!unknown@unknown.invalid QUIT :"IRCAI :: Internet Relay Chat Artificial Intelligence v. 0.3 beta :: Please report bugs!" < 1133169269 0 :CXII!n=Sanity@dialup-11.88.221.203.acc50-kent-syd.comindico.com.au JOIN :#esoteric < 1133170619 0 :CXI!unknown@unknown.invalid QUIT :Success < 1133175357 0 :kipple!n=kipple@168.80-202-98.nextgentel.com JOIN :#esoteric < 1133176981 0 :jix!i=jix@F37c5.f.strato-dslnet.de JOIN :#esoteric < 1133180214 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :calamari: i just did ((a or b) and not (a and b)) => ((a or b) and (a Nand b)) => ((not a Nand not b) and (a Nand b)) => not ((not a Nand not b) nand (a Nand b)) (not is done using a nand a) < 1133187181 0 :int-e!n=noone@p54B3D3A0.dip.t-dialin.net JOIN :#esoteric < 1133187964 0 :Gs30ng!i=L@218.233.56.61 JOIN :#esoteric < 1133187969 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :long time no see < 1133188108 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :identify yourself < 1133188118 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :how < 1133188203 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :you know < 1133188216 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :no < 1133188219 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :tell me < 1133188250 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :first, state your identification < 1133188257 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :second, finish your statement < 1133188272 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1133188341 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :still don't know... why don't you first identify yourself? that'll be a guide for me < 1133188372 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :because. < 1133188412 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :아발발다빠따반반나다발딸발발다빠따따맣발발다뿌 < 1133188413 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :희멓터벅더떠벋떠벌더벌벌떠벌떠더법벍떠더벌벌떠 < 1133188414 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :oops < 1133188424 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :oops < 1133188447 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :impossible to see any utf-8 character... mIRC sucks < 1133188567 0 :lirthy!unknown@unknown.invalid PRIVMSG #esoteric :why don't you use telnet? < 1133188586 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :my windows telnet is on cp949 < 1133188610 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :do you know how to make it utf8-based? < 1133188631 0 :lirthy!unknown@unknown.invalid PRIVMSG #esoteric :do you know "putty" client? < 1133188643 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :there's linux, you know < 1133188644 0 :lirthy!unknown@unknown.invalid PRIVMSG #esoteric :it surpports utf-8 greatly. < 1133188656 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :oh, well, i use it for ssh connection... < 1133188682 0 :Freya!i=nooga@ip-50.net-41.rev.inter-c.pl JOIN :#esoteric < 1133188686 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :but well, IRC with a telnet client is... well crap it sucks more than mIRC < 1133188688 0 :Freya!unknown@unknown.invalid PART #esoteric :? < 1133188767 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :all you have to do is \rJOIN #esoteric and some others < 1133188771 0 :lirthy!unknown@unknown.invalid PRIVMSG #esoteric :don't you want utf-8? it's good solution for utf-8 chat - except for ping manually. < 1133188779 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :manual ping < 1133188796 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :Gs30ng: get xchat < 1133188803 0 :lirthy!unknown@unknown.invalid PRIVMSG #esoteric :Gs30ng: get xchat < 1133188813 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :Gs30ng: get xchat < 1133188820 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :for great justice. < 1133188830 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :jix, i'd love to but my xchat is cracked < 1133188841 0 :lirthy!unknown@unknown.invalid PRIVMSG #esoteric :who's the bad cracker? < 1133188842 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :i mean, it totally does not work on my machine < 1133188857 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :get a new machine < 1133188870 0 :lirthy!unknown@unknown.invalid PRIVMSG #esoteric :get a new os < 1133188877 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :get both < 1133188879 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :DCC-send me a new machine < 1133188882 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :get a rest < 1133188933 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :lirthy, nice to meet you... have we already met? < 1133188957 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :deja vu < 1133188973 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :or are you a newcomer of esolang community? then, welcome < 1133188973 0 :lirthy!unknown@unknown.invalid PRIVMSG #esoteric :choose the red pill, and you can see the truth < 1133189041 0 :lirthy!unknown@unknown.invalid PRIVMSG #esoteric :Blue pill may taste Pepse Blue < 1133189048 0 :lirthy!unknown@unknown.invalid PRIVMSG #esoteric :s/Pepse/Pepsi/ < 1133189048 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1133189073 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :lirthy, then DCC-send me both. i'll choose. < 1133189085 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :don't blame that it's not that bad < 1133189123 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :i haven't drunken any Pepsi blue... i really wonder how it would be tasted < 1133189225 0 :lirthy!unknown@unknown.invalid PRIVMSG #esoteric :there's a report of brave man in wikipedia... he said it's much more sugary < 1133189247 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :is that 'deployment' on topic a typo, or are esolangs truly deployed to our society(maybe secretly)? < 1133189298 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :"brave man" reminds me of something < 1133189494 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :ok damn < 1133189496 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :what < 1133189501 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :puzzlet, what < 1133189543 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :i'm waiting for what you say < 1133189572 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :you are on the way to destruction < 1133189630 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :dude, that's way out of fashion < 1133189673 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :jal-jara jal-jajira < 1133189688 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :ok forget it < 1133189701 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :yeap forget it < 1133189719 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :i've got some questions about the language... Brainhype. < 1133189799 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :Can anybody explain me what {...} instruction does? Description on wiki is kinda hard to understand... Maybe because of my humble English < 1133189820 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :gimme the url and i'll explain that < 1133189847 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :thx it's here http://esoteric.voxelperfect.net/wiki/Brainhype < 1133189901 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :i don't understand it either < 1133189914 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :why are the citrus placed there anyway < 1133189940 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :agree < 1133189954 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :i mean i don't know why either < 1133190160 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :but anyway i like them < 1133190228 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :they matches on the wiki... with numerical expressions, with program codes, i think < 1133192017 0 :ihope!n=ihope@c-67-172-99-160.hsd1.mi.comcast.net JOIN :#esoteric < 1133192237 0 :puzzlet!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1133192267 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :What paradigm should our Esoteric Operating System be? < 1133192274 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :...written in? < 1133192294 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :linguine! < 1133192299 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :functional < 1133192305 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :oh i thought language... < 1133192310 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :How about imperative, a la Haskell? < 1133192332 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :haskell is a stack-based imperative language < 1133192346 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :haskell isn't stack based < 1133192349 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :and haskell is functinal < 1133192363 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Haskell's do notation looks imperative :-) < 1133192364 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :stack-based imperative = functional < 1133192368 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :listen < 1133192378 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :a haskell code < 1133192381 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :(+) 1 2 < 1133192390 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :this represents 3 < 1133192395 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :applies 1 to + and 2 to 1 applied to + < 1133192409 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :now a stack-based imperative language < 1133192412 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :but thats just standard lamda calculus notation nothing stack based < 1133192428 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :1 pushes 1 to the top of stack < 1133192428 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :jix:It applies (+) to 1 and then to 2. < 1133192432 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :it's the same as (((+) 1) 2) < 1133192434 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :2 pushes 2 to the top of stack < 1133192441 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :NONONO! < 1133192453 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :+ adds top two values < 1133192464 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :it's interpreted as (((+) 1 ) 2) < 1133192466 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :And what about all those piles of syntactic sugar? < 1133192474 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :then a code 1 2 + < 1133192481 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :is a reversed haskell code. < 1133192507 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :Gs30ng: haskell uses currifizing arguments that's why it looks like stack based but it isn't < 1133192519 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :jix: that's the point < 1133192529 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :it FIRST does ((+) 1) ... resulting in another function < 1133192538 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :curry style is kinda stack-based imperative < 1133192540 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Infix operators! Hoes do those work? < 1133192540 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :than it does (this_function 2) < 1133192549 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :ihope: syntactic sugar < 1133192563 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Heh... < 1133192595 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :jix: well i was just kidding... but aren't they similar? < 1133192606 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1133192618 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :stack-based imperative one could be reversed-curry style functional one. < 1133192626 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :Gs30ng: take a look at imperative_programming on wikipedia < 1133192638 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :the 2nd paragraph says it's different from functional languages like haskell < 1133192651 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :well most of imperative ones are < 1133192657 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :In computer science, imperative programming, as opposed to declarative programming, is a programming paradigm that describes computation in terms of a program state and statements that change the program state. < 1133192661 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :but 1-stack based imperative ones aren't < 1133192666 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :in functional languages there is no local state! < 1133192674 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :and imperative languages only modify the local state... < 1133192680 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :so they are different from ground on < 1133192683 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :i know i know < 1133192752 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :How about using Enigma as a platform for our operating system? It's a good virtual machine. < 1133192766 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :but whatever the structure and kernal way it has, apparently 1-stack-based imperative one and functional one are similar < 1133192779 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :Gs30ng: they arn't similar < 1133192796 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :They are somewhat similar. < 1133192797 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :they look a bit similar but they are completely different < 1133192803 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Think 0x29A. < 1133192808 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :we can see the stack itself as an argument of function < 1133192887 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :of course you can try to combine them but then it's neither functional nor imperative programming... < 1133192907 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :in functional programming there is no evaluation order.. (that's why haskell uses monads) < 1133192955 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :No defined evaluation order... < 1133192982 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :well our computer forces the interpreter to do some evaluation order... < 1133193008 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Indeed, there has to be some evaluation :-) < 1133193009 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :but super parallel computers could evaluate everything at one time... the language doesn't care < 1133193054 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Heh, right. < 1133193096 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :well, without any care of classes, monads, defining functions... state a language with reversed order of haskell < 1133193112 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Reversed order? < 1133193116 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :then 1 2 (+) represents 3 < 1133193140 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Postfix notation? < 1133193150 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :and now state a stack based imperative one, 1 pushes 1, 2 pushes 2, + adds top two element... < 1133193155 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :take lazy-k with reversed source... < 1133193162 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :then 1 2 + is now 3 < 1133193169 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Hmm... < 1133193173 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :and add macros for curch numerals and things... < 1133193180 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :And what happens when you add all that "tricky" stuff? < 1133193191 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :they look really similar < 1133193204 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :ihope, excuse me but what do you mean < 1133193206 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :let's make it pure functional (like lazy k) < 1133193219 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :but change the syntax so that it is possible to program in < 1133193234 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Lazy K's possible. Very possible. < 1133193236 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :(macros etc but no recursive macro expansion) < 1133193247 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :ihope: you program in lazy k without tools? < 1133193255 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1133193262 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :yeah ok it is possible < 1133193280 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :it is possible to write subskin too so well i guess lazyk too < 1133193295 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :bbl < 1133193325 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :But I'd like to make it so Lazy K's programs are compatible with Haskell's IO types. < 1133193355 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :well, i've been thinking about 2-dimensional functional one < 1133193381 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Me too, but not very long... < 1133193415 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :i've found a way reducing all <>^v < 1133193449 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I know the apply operator could be replaced with substituted function composition. < 1133193471 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :i don't think they are needed for functional one, since they controls the flow < 1133193494 0 :Gs30ng!unknown@unknown.invalid PRIVMSG #esoteric :2-dimensional flow control is kinda... it seems it's only important for procedural ones < 1133193502 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Aye. < 1133193850 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Hey: what if the language itself evolved along with the evaluation? < 1133194827 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :A program in that language would have to have an interpreter for that program before it. < 1133194844 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :And the interpreter would have to have an interpreter, etc... < 1133195599 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :data Maybe Maybe a = Just Just a | Just Nothing | Nothing < 1133195613 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :back < 1133196083 0 :Gs30ng!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1133196797 0 :Robdgreat!unknown@unknown.invalid PRIVMSG #esoteric :hasta < 1133196805 0 :Robdgreat!unknown@unknown.invalid QUIT : < 1133197114 0 :ihope!unknown@unknown.invalid PART #esoteric :? < 1133201082 0 :int-e!unknown@unknown.invalid QUIT :"Client exiting" < 1133207162 0 :calamari!n=calamari@ip68-105-130-108.tc.ph.cox.net JOIN :#esoteric < 1133207225 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1133207285 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :jix: 1[0^]2 < 1133207285 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :2[1=*0,0>1,1|1,1|*1,1<1:3,1#]2 < 1133207285 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :3[3=9223372036854781733,2=*3,2|*0,0|*2,2|*3,0|*2,1#]2 < 1133207343 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :method was from this page: http://www.play-hookey.com/digital/xor_function.html < 1133207440 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :hehe cool < 1133208308 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :all the new stuff has been uploaded < 1133208323 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :you probably have all of it tho < 1133208439 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :jix: how is your bf text gen going? < 1133208509 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :i have one lhs working < 1133208514 0 :jix!unknown@unknown.invalid PRIVMSG #esoteric :but it isn't really efficient... < 1133209063 0 :Arrogant!i=Arrogant@47.orlando-09rh15-16rt.fl.dial-access.att.net JOIN :#esoteric < 1133209141 0 :marcan!n=marcanso@160.10.7.147 JOIN :#esoteric < 1133210653 0 :Arrogant!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1133210782 0 :Sgep!n=sgeo@ool-18bf61f7.dyn.optonline.net JOIN :#esoteric < 1133212145 0 :Arrogant!i=Arrogant@121.orlando-09rh15-16rt.fl.dial-access.att.net JOIN :#esoteric < 1133213353 0 :jix!unknown@unknown.invalid QUIT :"Bitte waehlen Sie eine Beerdigungnachricht" < 1133215714 0 :Arrogant!unknown@unknown.invalid QUIT :"I AM QUIT HAVE A NICE DAY" < 1133221887 0 :kipple!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1133221945 0 :kipple!n=kipple@168.80-202-98.nextgentel.com JOIN :#esoteric < 1133222271 0 :Sgep!unknown@unknown.invalid PRIVMSG #esoteric :wownochat