< 1205884801 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :how closely is the Halting problem related to Incompleteness? < 1205884814 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :olsner: actually yeah < 1205884831 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC: not < 1205884831 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well there is an implication at least one way i think < 1205884846 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :I mean, it is possible to create a program that enumerates all possible proofs until it finds one that proves that its input program halts... < 1205884853 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :halting problem implies incompleteness < 1205884876 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :that would proove that a program halts IFF it is possible with the given proof system < 1205884879 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :because a complete system could ask the question of whether a program halts < 1205884884 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :or wait < 1205884890 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :actually no < 1205884902 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it could lie and say it halts even if it doesn't < 1205884921 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :huh? < 1205884930 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :because the halting time could be a non-standard integer, which doesn't actually exist < 1205884945 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION hasn't hears of NISs
< 1205884948 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :*NSIs < 1205885064 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :every logical system with infinite models has even larger ones, and an element of an extension is called non-standard < 1205885099 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :there is non-standard analysis which uses this to add infinitesimal reals < 1205885169 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but that may be overkill here. rather, if the halting problem for an algorithm is undecidable, then it is consistent to add the axiom that it _does_ halt, although it "really" cannot < 1205885214 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and any model with that axiom must contain an element that is claimed to be the stopping time... < 1205885412 0 :timotiis!unknown@unknown.invalid QUIT :"leaving" < 1205885457 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :kewl: http://www.crabfu.com/steamtoys/r2s2/ < 1205885663 0 :BMeph!n=chatzill@adsl-76-212-192-106.dsl.sndg02.sbcglobal.net JOIN :#esoteric < 1205885667 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1205885669 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :WRU? < 1205885687 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :GNPE < 1205885692 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: ?? < 1205885735 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i just like to say things i don't know what mean :D < 1205886487 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: me tooo < 1205886523 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :WRU = "Who Are You?", from the teleprinter code < 1205886548 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :some day someone who knows about teleprinters is just going to understand that one straight away < 1205886837 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ic. now i just have to understand _why_ you would say "Who Are You?" < 1205886885 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :since i didn't see anyone unknown entering... < 1205887169 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC: the probability of that happening is probably getting lower by the minute :P < 1205887548 0 :olsner!unknown@unknown.invalid QUIT :"Leaving" < 1205887710 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1205887743 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :23:14:23 -!- BMeph [n=chatzill@adsl-76-212-192-106.dsl.sndg02.sbcglobal.net] has joined #esoteric < 1205887746 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :23:14:26 < SimonRC> hi < 1205887749 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :23:14:29 < SimonRC> WRU? < 1205887781 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh maybe BMeph hasn't been here before? < 1205887789 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :welcome to #esoteric :) < 1205887831 0 :BMeph!unknown@unknown.invalid PRIVMSG #esoteric :Hello - I channel hop a lot, so don''t mind me. :) < 1205887853 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :seen you in #haskell before < 1205887873 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i don't - those are the only channels i'm in < 1205887897 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and i can barely keep up with that sometimes :D < 1205887903 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :BMeph has been here for yonks.. < 1205887931 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i am generally in #esoteric, #ESO, and various channels for my lingua franca of the month < 1205887942 0 :BMeph!unknown@unknown.invalid PRIVMSG #esoteric :Yeah - as soon as I started fiddling w/ FALSE, I started popping up in #eso more. :) < 1205887944 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :of the month? < 1205887966 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :whence Volapük? < 1205888014 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: haha < 1205888026 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :right now, it's Perl < 1205888298 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: hi < 1205888342 0 :ais523!unknown@unknown.invalid QUIT :"Konversation terminated!" < 1205888460 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hah < 1205889817 0 :pikhq!n=pikhq@209.248.124.243 JOIN :#esoteric < 1205891684 0 :ehird!unknown@unknown.invalid QUIT :"Konversation terminated!" < 1205893094 0 :dbc!unknown@unknown.invalid QUIT :Client Quit < 1205894349 0 :slereah__!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1205894547 0 :slereah_!n=slereah@ANantes-252-1-84-17.w81-48.abo.wanadoo.fr JOIN :#esoteric < 1205894882 0 :slereah_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1205895618 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1205896649 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :we need a language with a good type system < 1205896656 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :do any esolangs have good type systems? < 1205897003 0 :Deformative!unknown@unknown.invalid PRIVMSG #esoteric :Explain good. < 1205897007 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION considered something wicked with monads once. hardly got anywhere.
< 1205897043 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :liMonadE = unlambda with monads < 1205897067 0 :Deformative!unknown@unknown.invalid PRIVMSG #esoteric :I think static typing is superior, so "good typing system" likely has a different meaning to me. < 1205897098 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: monads are not good to have as a built-in feature of the type system < 1205897114 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :at least that part haskell got right :) < 1205897135 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :Deformative: turing-complete < 1205897151 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ah but this was not a _sane_ monad system < 1205897199 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :is a type a boolean function on all possible values, or is it a way to generate new values? < 1205897250 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i guess in haskell it's clearly the latter < 1205897337 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :to the programmer, it's the latter, but to the typechecker, it's more like the former... < 1205897544 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :we could have a value be represented by any sexpr, and have types be boolean functions on sexprs... sounds like XML validation < 1205898258 0 :shinku!n=r0x@189.13.122.116 JOIN :#esoteric < 1205898774 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :lament: Define all types in terms of Lisp code. :p < 1205900034 0 :adu!n=andrew@pool-71-178-14-80.washdc.fios.verizon.net JOIN :#esoteric < 1205901389 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: that's what i'm saying! < 1205901616 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1205901622 0 :adu!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1205901663 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric ::[] < 1205901745 0 :adu!unknown@unknown.invalid QUIT :"Computer went to sleep" < 1205903289 0 :adu!n=andrew@pool-71-178-14-80.washdc.fios.verizon.net JOIN :#esoteric < 1205903583 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric ::heh < 1205904367 0 :shinku!unknown@unknown.invalid QUIT : < 1205905551 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :new panels: http://www.nonlogic.org/dump/images/1205901932-preview3.png < 1205905698 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: attention < 1205905742 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :rather simple stuff today because I'm feeling really tired < 1205906050 0 :Sgeo!unknown@unknown.invalid QUIT :Remote closed the connection < 1205906201 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :heh, "All the prototypes had exploded at this point" :D < 1205906249 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1205906601 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :incidentally, I think that last panel could make a nifty desktop: http://www.nonlogic.org/dump/images/1205902974-desk9.png < 1205906721 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :which reminds me, new xkcd and girl genius < 1205906741 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I, too, am a reader of GG. < 1205906747 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :do you read Buck Godot? < 1205906760 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :no < 1205906778 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :you really should- it's every bit as good as Phil's other work. < 1205906872 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Brilliant. < 1205906877 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1205907315 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :well, another day, another three panels. I'm out, folks < 1205907349 0 :RodgerTheGreat!unknown@unknown.invalid QUIT : < 1205907870 0 :adu!unknown@unknown.invalid QUIT :Remote closed the connection < 1205908381 0 :BMeph!unknown@unknown.invalid QUIT :"calls it a night" < 1205912966 0 :adu!n=andrew@pool-71-178-14-80.washdc.fios.verizon.net JOIN :#esoteric < 1205913599 0 :clog!unknown@unknown.invalid QUIT :ended < 1205913600 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1205914084 0 :adu!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1205917831 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1205925597 0 :oklofok!n=oklofok@oklopol.yok.utu.fi JOIN :#esoteric < 1205927520 0 :Tritonio_!n=Tritonio@150.140.229.38 JOIN :#esoteric < 1205930933 0 :oklofok!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1205932413 0 :oklofok!n=oklofok@dyn-sparknet-utu.utu.fi JOIN :#esoteric < 1205933073 0 :RodgerTheGreat!n=Rodger@wads-5-233-27.resnet.mtu.edu JOIN :#esoteric < 1205933085 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :howdy < 1205933680 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1205933795 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: moar < 1205933826 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :moar wut? < 1205933831 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :comic < 1205933842 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :moar dis? http://www.nonlogic.org/dump/images/1205901932-preview3.png < 1205933847 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :and the hair colour in the second panel is still non-matching < 1205933970 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I suppose I could do a little moar this morning < 1205933985 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :there will be at least 3 new panels by tonight, though < 1205934016 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :has anyone written a brainfuck interpreter in befunge? < 1205934024 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :assuming befunge98 of course < 1205934205 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :http://www.geocities.com/nthern/esolangs/brainfuck.bf.txt, but befunge-93, and requires bignum-sized cells < 1205934319 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :right, I guess BIGNUM would make befunge93 turing complete? < 1205934360 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :unbounded storage in a sense... I'd presume so < 1205934375 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, also wtf is "Befunge97"? < 1205934385 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :it's befunge-97, what about it < 1205934394 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, where is it's specs? < 1205934402 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :nowhere < 1205934410 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh? < 1205934418 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :not sure if it ever had any < 1205934434 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so how did it differ from befunge98? < 1205934441 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :the few references to it I can find are from the esolang mailing list < 1205934459 0 :oklofok!unknown@unknown.invalid NICK :oklopol < 1205934482 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :http://catseye.tc/projects/befunge93/eg/pi2.bf < 1205934492 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :says it is written in befunge97 in the file < 1205934498 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :it had some kind of header block < 1205934501 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it runs under cfunge though < 1205934519 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :yeah, in terms of instructions it seems to be pretty similar to -98 < 1205934546 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :ah, here we go, "befunge-97 directives" - lines starting with = < 1205934556 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, link? < 1205934562 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :http://www.nntp.perl.org/group/perl.perl6.internals/2004/10/msg26541.html < 1205934584 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :like said there's no spec, the best I can do is random googling < 1205934598 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :there was also a befunge-96 by the way < 1205934608 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :I know practically nothing about that < 1205934614 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1205934647 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, why on a perl6 list of some kind I wonder... < 1205934661 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :The original Befunge-93 language implementation was developed by a small but dedicated user base; the result was Befunge-96 (with concurrency), and then Befunge-97, which added a batch of new features. By 1998, a new language was born: Funge-98, which took Befunge out of two dimensions and into Hilbert space. Development of Befunge-100 (presumably the victim of an un-patched Y2K bug) allegedly continues. < 1205934678 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: looks like interpreter development, beats me < 1205934705 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :anyway I'm soon ready for a new release I think < 1205934720 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :just trying to make make install work correctly, and maybe add a man page < 1205934728 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :It could be worse; proposals for basing a Funge derivative on the surface of a Klein bottle or hex net have been mooted, but never implemented. < 1205934733 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: how about that? ;-) < 1205934733 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh and update README and such < 1205934755 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, I know about those, mentioned in befunge98 specs, one of the latter apendixes < 1205934779 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :later* < 1205934782 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :"Other Topologies" < 1205934784 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1205934784 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Other Funges, such as Honefunges (hex-net topology) and Kleinefunges (Klein-bottles) are certainly possible. < 1205934798 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :so how about implementing one or both? ;-) < 1205934821 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, nah, that's for CCBI ;P < 1205934852 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :it'd probably run too slow, I think you should do it ;-) < 1205934891 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, ever tried http://catseye.tc/projects/befunge93/eg/life.bf < 1205934896 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :quite amazing < 1205934899 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :in befunge93 even < 1205934901 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :yeah, it's nice < 1205934916 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, just with ccbi it is rather slow :P < 1205934920 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION runs
< 1205934941 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :I can't be bothered to go scouting around for hash table libraries and garbage collectors < 1205934951 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, so that show IO isn't everything ;P < 1205934955 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :shows* < 1205934965 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :well, in a way it still is < 1205934968 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :because it's memory-IO < 1205934981 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but indeed, I could probably speed mine up with a better hash library < 1205935019 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :most of the time is probably spent in page faults and the like < 1205935054 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm for ccbi or cfunge? < 1205935059 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :both < 1205935091 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :anyway I don't think it is, I mean cfunge + mycology fits into 12 MB RAM here when optimized, tested with ulimit -v < 1205935103 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :that doesn't matter < 1205935106 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and since I got 1.5 GB I can't see why it would page fault a lot < 1205935111 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :the fact is that the program doesn't fit in your L2 cache :-P < 1205935117 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it wouldn't be swapped out on disk < 1205935129 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, but that isn't same as page fault still, right? < 1205935226 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :it seems that CCBI generates 3854 page faults here < 1205935230 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, does mycology wrap a lot? except when testing wrapping I mean < 1205935233 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :or rather, generated as I just ran it. < 1205935244 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh? how do you check how many page faults are generated? < 1205935247 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :but of course that doesn't mean that it's swapped out to disk. < 1205935252 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :process explorer, on windows. < 1205935255 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :don't know about *nix. < 1205935269 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hah < 1205935313 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :it looks like ps shows them < 1205935330 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :yes but the program quits so fast when mycology ends. < 1205935343 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :so pipe it into a file or something. < 1205935357 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm, ps? or cfunge? < 1205935373 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :what would you want with the cfunge output? :-P < 1205935401 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :nothing, but point is, how do you check number of page faults at the point just before cfunge exits? < 1205935422 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :ps's update frequency is too slow? < 1205935433 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ps is a one time command, and cfunge is too fast < 1205935443 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :oh yeah, getting confused with 'top'. < 1205935457 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and even top updates once / second or so iirc < 1205935471 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cfunge finishes mycology in 0.078 seconds here < 1205935478 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :one simple option: add getchar() just before your return from main. < 1205935505 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, actually I don't return from main, I use exit() but I see what you mean < 1205935617 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :or compile with profiling. :-P < 1205935665 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :open("/home/arvid/local/emacs-cvs/lib/libcord.so.1", O_RDONLY) = -1 ENOENT (No such file or directory) < 1205935665 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :open("/usr/lib64/libcord.so.1", O_RDONLY) = 3 < 1205935667 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :interesting < 1205935669 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :from strace < 1205935771 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :it goes through your LD_LIBRARY_PATH or whatever the envvar is < 1205935777 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :not that I would gain a lot from unsetting LD_LIBRARY_PATH indeed < 1205935799 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, I know that but I wonder, how much could one save in 0.0000000whatever seconds on unsetting it ;D < 1205935833 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :you worry too much :-P < 1205935949 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :you know, it was a joke < 1205936075 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :yep, but even so, you do ;-) < 1205936458 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :weird, weird, under valgrind I enter an infinite loop after DIRF test, but under gdb or "freestanding" it works < 1205936610 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ok... if I change a calloc to a malloc it works. weird < 1205937347 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1205939154 0 :CakeProphet!n=CakeProp@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1205939515 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, a question: is memory mapped IO faster than stream IO? < 1205939557 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :I believe it depends, but I'm not sure on what. < 1205939599 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1205939603 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1205939611 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :....I wrong a poem in Python. < 1205939617 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :http://pastebin.org/24426 < 1205939639 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :when you execute it... it outputs '("Love", "is", False)' < 1205939656 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :CakeProphet, rewrite it in befunge? < 1205939692 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :....you couldn't do that. Not with English... words. < 1205939703 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :unless you just use comments for everything... but that's gay. < 1205939764 0 :oklopol!unknown@unknown.invalid QUIT :Connection timed out < 1205939865 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :CakeProphet: how about writing it in Shakespeare < 1205939891 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, ever tried running the mycology readme in ccbi? < 1205939896 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :quite interesting < 1205939899 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :no? :-P < 1205939917 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, at least in cfunge it prints a lot of "10" < 1205939924 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :in general, running on plaintext isn't necessarily a smart idea :-P < 1205939932 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, sand box mode of course < 1205939939 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so wouldn't do any harm < 1205939963 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :if you still haven't implemented o I guess it's fine < 1205939983 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, indeed I haven't yet < 1205939996 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, and in sandbox mode it wouldn't be allowed < 1205940029 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :unless you're very unlucky with something like "FRID" 4 (0'/R) but... how likely is that < 1205940036 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :http://rafb.net/p/yZ3yEP70.html < 1205940040 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, see? < 1205940042 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1205940056 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :I meant, without sandbox mode and o < 1205940057 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, well Frid is Swedish for peace so :D < 1205940073 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :yeah, but... < 1205940075 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :all caps < 1205940076 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :in quotes < 1205940079 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :followed immediately by a 4 < 1205940081 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :not likely < 1205940083 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :followed immediately by a ( < 1205940088 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :exactly :-P < 1205940089 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :indeed not likely < 1205940136 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, by the way what should ( and ) do when the count parameter is invalid/silly, ie, say, -23 for fingerprint length < 1205940139 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or 184753 < 1205940167 0 :Tritonio_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1205940180 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :currently mine checks it is reasonable range for what the interpreter support (1-8 items from the stack), otherwise reflects < 1205940186 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :uh, that's crap < 1205940194 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :maybe I should test that in Mycology :-P < 1205940202 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, so what should it do? < 1205940209 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and what does CCBI do < 1205940210 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :it should pop the requested number < 1205940220 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, well you can't pop -2 items < 1205940227 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :no, negative is messed up of course < 1205940235 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :but anything > 0 is fine < 1205940243 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, and above 8 wouldn't work considering how fingerprints are done < 1205940245 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :afaik < 1205940247 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :yes, it would. < 1205940258 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :it's just a matter of wrapping the ints around correctly. < 1205940279 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, yes right you mean when the cell overflows? < 1205940284 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :yes. < 1205940285 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that would break for bignum < 1205940292 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :which is valid < 1205940297 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so you can't test it < 1205940304 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :sure, but what if it first checks with y that the cell size is exactly 4 < 1205940307 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :then, it is valid < 1205940317 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, and if it isn't it can't test it ;P < 1205940326 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :+ such a check would take a lot of time < 1205940332 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :I suppose it's possible to generate such strings < 1205940344 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :no it wouldn't, just find a 16-character string and use that < 1205940370 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :and if done correctly it could be easy to add more strings depending on y's value < 1205940381 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :for 4, 8, 2, 1, etc. < 1205940388 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I added the range check because of a issue with unloading fingerprint, when I had not popped enough items from stack to get back to the original stuff ( pushed < 1205940391 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :took some time to debug < 1205940526 0 :oklofok!n=oklofok@oklopol.yok.utu.fi JOIN :#esoteric < 1205940561 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :an easy way to test would be just something like 8aaa**k1aaa**;v(;# <;8wna"DOOG">:#,_ < 1205940604 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, what would that do? < 1205940616 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :also, it could reflect < 1205940618 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :just check if it popped 10000 values or not < 1205940628 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :if it lacks the fingerprint < 1205940633 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, ugh < 1205940688 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :that was the point - make sure it doesn't converge to a valid fingerprint < 1205940702 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :and then just check for the pops < 1205940707 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :hence, "easy way". < 1205940736 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, it could be a valid fingerprint < 1205940753 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :someone could make one < 1205940757 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it all depends on cell size < 1205940767 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :yes, it could < 1205940782 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so if you got bignums all fingerprint names are valid in length < 1205940788 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :in which case, replace one of the constants in the value tried < 1205940797 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :i.e. instead of aaa** use baa** < 1205940808 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, so you could implement that one too ;P < 1205940811 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :and say, "hmm, looks like you loaded this fingerprint, that wasn't supposed to happen" < 1205940835 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: yes, but fortunately we have loops, so we can loop through 222->fff < 1205940866 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and theoretically an interpreter could implement them all < 1205940880 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :btw now I made mine just warn about it (assuming warnings are turned on) < 1205940896 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :in that case, na"UOY WERCS">:#,_ and move on < 1205940934 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hahah < 1205940967 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, but what should happen at negative count I wonder < 1205940976 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :reflect. < 1205940978 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :undefined. < 1205940982 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :tested in mycology. < 1205940990 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah right yep < 1205941001 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, however mycology fails to test the case of length == 0 < 1205941010 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :IMO that should reflect too < 1205941014 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :mine didn't before it does now < 1205941032 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :instead it entered a infinite loop due to while (i--) thing < 1205941039 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or not infinite < 1205941042 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :just very very large < 1205941057 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :as i was int64_t or something like that < 1205941063 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :and testing for negatives didn't catch that? < 1205941089 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, there is a subtle difference between: 1) i < 0 and 2) i<=0 < 1205941090 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1205941104 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :it's called your brain - learn it, use it, it's your friend :-P < 1205941108 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :yep indeed < 1205941116 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but IMO mycology should test it < 1205941142 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :seriously, if you have if (i < 0) followed immediately by while (--i) then I blame you :-P < 1205941160 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :indeed it is what I'd call a bug < 1205941184 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :anyway it was i-- not --i < 1205941188 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but that hardly matters < 1205941205 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :and besides, ( with 0 /is/ tested. < 1205941214 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :sure it is? < 1205941216 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :i-- does matter. < 1205941222 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, ah hm < 1205941227 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :because while (i--) does nothing if i is zero. < 1205941249 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :the original tests for ( and ) popping correctly are both done with a zero count. < 1205941425 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm true < 1205941452 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but why did checking for 0 fix the bug in that other program then... < 1205941462 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :I don't know... < 1205941612 0 :CakeProphet!unknown@unknown.invalid QUIT :"haaaaaaaaaa" < 1205941983 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :anyway while threading in mycology worked perfectly, my program managed to segfault on a simple threaded hello world before < 1205941999 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :#vt"drwolH">:#,_ @ < 1205941999 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : >"lo le">:#,_a,@ < 1205942039 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :when the IP that eneded first ended, cfunge ended up accessing the IP array out of bounds, (now fixed) < 1205942324 0 :timotiis!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1205943118 0 :vixey!n=vicky@amcant.demon.co.uk JOIN :#esoteric < 1205943120 0 :vixey!unknown@unknown.invalid PRIVMSG #esoteric :Hi < 1205943132 0 :vixey!unknown@unknown.invalid PRIVMSG #esoteric :Are there any esolangs based on π-calculus? < 1205943154 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :not that i know of :\ < 1205943176 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric : there are real languages based on it, though < 1205943182 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :http://www.esolangs.org/wiki/Pict < 1205943182 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :Joy, iirc < 1205943199 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1205943208 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :it says it's not 'intentionally esoteric', though :-P < 1205943288 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :hmm, it seems joy is functional, i must be confusing names again < 1205943329 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :joy is a functional forth < 1205943914 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yarrrr < 1205945064 0 :Tritonio_!n=Tritonio@150.140.229.98 JOIN :#esoteric < 1205946699 0 :jix!n=jix@host-091-096-145-207.ewe-ip-backbone.de JOIN :#esoteric < 1205948186 0 :Sgeo!n=Sgeo@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1205950040 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :factor is a functional forth < 1205950076 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :joy is "concatenative" < 1205950093 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :forth is concatenative. < 1205950107 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :as are factor and joy. < 1205950150 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :oh right, good point < 1205950159 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i thought concatenative had something to do with lists < 1205951213 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, there? < 1205951215 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :size-of-stack-stack cells containing size of each stack, listed from TOSS to BOSS (ip) < 1205951226 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that one, should TOSS be at top or should BOSS? < 1205951240 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :the way I read "from a to b" is that a is at the top < 1205951268 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hrrm < 1205951275 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :but I don't know. :-P < 1205951385 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :GOOD: y acts as pick instruction if given large enough argument < 1205951385 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :GOOD: ] turns flying IP right < 1205951390 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :wtf, I don't do flying ips?! < 1205951395 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I don't implement MODE < 1205951418 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :uh? < 1205951425 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh wait, flying isn't one from MODE < 1205951429 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hover is? < 1205951431 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :an IP is flying if its delta isn't (1,0) (0,1) (-1,0) (0,-1) < 1205951448 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, right, hard to keep flying and hovering and what not apart :P < 1205951493 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :no it's not ;-P < 1205952725 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, anyway I need some test case for y returing multiple stack sizes correctly :/ guess I code to code that myself < 1205952821 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :n{aa y9k$2w00p01pn00g01g2w0w < 1205952837 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :mhm < 1205952837 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :replace 9 with the correct index of the stack sizes in y < 1205952841 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :something like that < 1205952849 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :that probably doesn't work but it's a start :-P < 1205952952 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION tries
< 1205953550 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, in any case, ccbi and cfunge give different results < 1205953577 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :you have working test code? < 1205953579 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, at the second w < 1205953582 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, not sure < 1205953587 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :probably not < 1205953589 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric ::-P < 1205953597 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :as one goes up the other one down at the second w < 1205953610 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :that shouldn't matter < 1205953614 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :it should either be equal or not < 1205953617 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :indeed < 1205953627 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :as far as I can find out, we want cell 23, right? < 1205953628 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :the point being, test whether the stack size is equal to the expected. < 1205953664 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, yes and that is painful, and so is understanding your code, ie, what is all the p and g stuff in it for < 1205953685 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :just write your own code if that was so hard :-P < 1205953691 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :that was meant to help you, not confuse you >_< < 1205953694 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :true < 1205953707 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: the point was, get all the correct values with only one call to y. < 1205953714 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :so, call y. < 1205953720 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :pop the required number of cells to get to what we want. < 1205953726 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :yep < 1205953733 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :check that the stack stack size is correct, since it's first. < 1205953738 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :(it /is/ first isn't it?) < 1205953747 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :store the two stack sizes somewhere. < 1205953752 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :clear the rest of the stack. < 1205953759 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :make sure they're correct. < 1205953765 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :that's probably not necessary now that I think about it >_< < 1205953775 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :aha < 1205953794 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :I was thinking something about how it pushes the old stack size versus the new and wrote something overcomplicated < 1205953803 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :but yeah, the pg stuff is unnecessary. < 1205953809 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :I'm fairly certain, anyway. < 1205953821 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : (it /is/ first isn't it?) <-- that I got no idea about < 1205953834 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: it's in the spec < 1205953839 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :In this document, short stacks are generally notated left to right to mean bottom to top. The leftmost values listed in the documentation are the bottommost and the first to be pushed onto the stack. Long stacks are notated top to bottom, to mean precisely that, top to bottom.. < 1205953842 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hrm < 1205953860 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :"size-of-stack-stack cells containing size of each stack, listed from TOSS to BOSS (ip)" < 1205953865 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that is a short one? < 1205953877 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that would mean TOSS at bottom then? < 1205953940 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :shrug < 1205953984 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :makes sense in a way, then you can do Xk$ where X is the index of the stack size you want < 1205954002 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, looks to me like this is a... UNDEF ;) < 1205954011 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or "NOT VERY DEF" at least heh < 1205954040 0 :sebbu!n=sebbu@ADijon-152-1-93-16.w81-50.abo.wanadoo.fr JOIN :#esoteric < 1205954041 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :IMO, if every interpreter does it one way then that way is probably right < 1205954054 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :so finish the test code already :-P < 1205954070 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :anyway with a single stack it is the 23rd cell < 1205954144 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that means f7+k$ to leave it at top, hrrm < 1205954160 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :the top one, whatever it is that is < 1205954275 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :alright, so here < 1205954275 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :1230{aaa0y2a*k$....a,@ < 1205954310 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :since it uses 'k' it prints one extra value due to the way some interpreters implement 'k' < 1205954324 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, err what? < 1205954353 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :so it prints or < 1205954354 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :as long as it works in cfunge and ccbi I'm happy, I just want a test case for my interpreter in fact < 1205954373 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :CCBI prints 2 3 5 as does !Befunge < 1205954395 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :$ ./cfunge tmp.b98 < 1205954396 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :1184561 2 5 3 < 1205954396 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :heh? < 1205954427 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, looks like k popped one to few? < 1205954437 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION looks
< 1205954449 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: no, it popped the correct amount < 1205954461 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :if it popped the incorrect amount it'd be 2 5 3 < 1205954464 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh so why leave time value in there? < 1205954473 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :because some interpreters pop the incorrect amount < 1205954479 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :and then we'd only get the latter two values from them. < 1205954487 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh god < 1205954496 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :FBBI prints 2 3 5 97 < 1205954505 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :97 from? < 1205954515 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :first char of command line argument? < 1205954532 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1205954536 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :like said, < 1205954537 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric ::-P < 1205954617 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1205954631 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, well is the k of those other ones broken or not? < 1205954636 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or is it a UNDEF case? < 1205954644 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :it's broken, of course < 1205954647 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1205954657 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :since given 321 2k$ they return an empty stack < 1205954672 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, well in the test case for my interpreter I don't need to care about that < 1205954675 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :since they don't skip over the argument < 1205954679 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it passes mycology so :D < 1205954694 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: whatever, I just wrote the generic code so I can quickly test it against all interpreters < 1205954701 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :true < 1205954715 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :and modifying it to be nongeneric is trivial so do whatever you want < 1205954741 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1205954770 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, well I plan to add unit testing < 1205954787 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ctest that comes with cmake look interesting < 1205954788 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :go ahead < 1205954794 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :I didn't bother, I just wrote mycology :-P < 1205954818 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :there are a few unit tests in CCBI but nothing major < 1205954821 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, true, but for those special cases that mycology doesn't notice, either becase bugs are unusual or it just for some reason didn't test it < 1205954832 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :$ ls tests/ < 1205954832 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :jumpwrap.b98 ystack-size.b98 < 1205954891 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, actually you would need three stacks to test it correctly, hrm < 1205954903 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :as I store top stack before I start pushing things in y < 1205954916 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :why? do you expect 1 3 2 instead of 1 2 3 or 3 2 1? :-P < 1205954922 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so I push size of topstack before, then in a loop all but top stack < 1205954939 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : StackPush(TOSSSize, pushStack); < 1205954939 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : for (ssize_t i = ip->stackstack->current - 1; i >= 0; i--) < 1205954939 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : StackPush(ip->stackstack->stacks[i]->top, pushStack); < 1205954939 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : break; < 1205954944 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wonders if that is correct
< 1205954953 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :ssize_t? < 1205954969 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, or gcc complains that i will always be >= 0 < 1205954973 0 :Corun!unknown@unknown.invalid QUIT :Client Quit < 1205954975 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ssize_t is signed size_t < 1205954977 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :sigh < 1205954983 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :GNU extension? < 1205954986 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, nop < 1205954988 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :see C99 < 1205954988 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :ptrdiff_t is the standard 'signed size_t' < 1205955004 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, err, look at C99 < 1205955019 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I think it comes from there < 1205955022 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :and also, switching to signed is not the solution to that problem :-P < 1205955022 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or maybe POSIX < 1205955037 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :sorry, ISO/IEC 9899:1999 doesn't contain ssize_t < 1205955039 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :it's POSIX < 1205955042 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :(probably) < 1205955048 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah yes < 1205955051 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :because freebsd got it < 1205955052 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: your code isn't standard :-P < 1205955069 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, It is POSIX probably < 1205955070 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :but anyhoo, the way to write that loop is < 1205955078 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :for (size_t i = ...; i-- > 0;) < 1205955129 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ssize_t exists in man 0p for sys/types.h < 1205955131 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so POSIX < 1205955132 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1205955162 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, look someone said even windows was POSIX < 1205955164 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so... < 1205955183 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :whatever, I'm not having this argument again :-P < 1205955193 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :in any case, ssize_t or ptrdiff_t or whatever is not a solution < 1205955202 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, I'm trying to avoid gnu extensions, I rely on C99 and POSIX 1003.1-2001 < 1205955207 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, probably indeed < 1205955255 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, anyway would that loop push things in the correct order? < 1205955270 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :I don't know, depends on how your stacks are laid out < 1205955272 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :compile it and try < 1205955296 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, well it looks correct but problem is, it does the top stack separatly < 1205955297 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric ::/ < 1205955311 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :why is that a problem? < 1205955313 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so I'd need 3 stacks to check *changes* < 1205955336 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :it's trivial to make it 123 stacks if you want :-P < 1205955420 0 :tkr!n=tkr@unaffiliated/tkr JOIN :#esoteric < 1205955441 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hrrm < 1205955448 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :$ ./ccbi ~/src/cfunge08/tests/sysinfo-multi-stack-sizes.b98 < 1205955448 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :3 3 4 5 < 1205955449 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : $ ./cfunge tests/sysinfo-multi-stack-sizes.b98 < 1205955449 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :3 5 3 116 < 1205955453 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :indeed something breaks there < 1205955525 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1205955541 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :$ ./ccbi ~/src/cfunge08/tests/sysinfo-multi-stack-sizes.b98 < 1205955542 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :3 6 5 4 < 1205955543 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm ok < 1205955624 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :$ ./cfunge tests/sysinfo-multi-stack-sizes.b98 < 1205955624 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :3 5 4 6 < 1205955628 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :better but not perfect < 1205955629 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hehe < 1205956110 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, btw I actually think TOSS should be at the bottom, opposite of how ccbi does it < 1205956119 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :considering the standard < 1205956151 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, so what do you think this should print: 120{1230{aaaaaa0y2a*1+k$....a,@ < 1205956167 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :assuming interpreter got k right < 1205956188 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :3 4 5 6 or 3 6 5 4 < 1205956218 0 :Slereah!n=slereah@ANantes-252-1-84-17.w81-48.abo.wanadoo.fr JOIN :#esoteric < 1205956672 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :gah < 1205956832 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, no idea if you are still there, but if you figure out what version is correct of those two tell me, I got no clue < 1205957567 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: I tried 3 random interpreters including FBBI and they all do it the way CCBI does it < 1205957613 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, but what do you think the standard says about it? < 1205957635 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :I think it can be interpreted either way, like many other things < 1205957663 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :another undef sigh < 1205957675 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well I'll add both versions, in #ifdef < 1205957675 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :the whole spec is an undef < 1205957683 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :since it's not written formally < 1205957690 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, oh? < 1205957704 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :you mean not some IEEE standard, indeed < 1205957706 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :it's written in english, and like all natural languages it's inherently ambiguous < 1205957720 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, C99 standard is also in English < 1205957744 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :there's no forth-like "$ (a b -- a)" notation or anything < 1205957753 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: and it's also ambiguous in some cases :-P < 1205957765 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, not as much as funge98 is < 1205957776 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and C99 standard is way larger < 1205957791 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :not as much, because like most ISO/IEEE/ANSI/other standards it's written in as non-natural a manner as possible < 1205957810 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :whereas the funge-98 spec reads like an essay or something < 1205957819 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :indeed < 1205957832 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so funge08 should read more like a real standard < 1205957844 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or 09 considering much work it seems to be < 1205959439 0 :tkr!unknown@unknown.invalid PART #esoteric :? < 1205962169 0 :olsner!n=salparot@cust.fiber-lan.vnet.lk.85.194.50.194.stunet.se JOIN :#esoteric < 1205962640 0 :jix!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1205962882 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :http://rage.kuonet.org/~anmaster/cfunge/snapshots/cfunge_r107.tar.bz2 <-- new snapshot, if everything goes well I will make 0.2.0 release next < 1205962899 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION looks for ehird
< 1205963034 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, if you are there, tell me if things work for you using last revision < 1205963074 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is trying to do formal logic in iota
< 1205963102 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Slereah, can't remember what one iota is < 1205963106 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The excluded middle should be something like ```J`J`J`JJ```J`J`J`JJ`JJ```J`J`J`JJ```J`J`J`JJ`JJ``J`J`JJ`JJ``J`J`JJ`JJ``J`J`JJ`JJ, if I'm not mistaken < 1205963117 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Iota is the compressed unlambda. < 1205963132 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :With only one combinator < 1205963145 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Although it's *ii in actual iota < 1205963175 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1205963238 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: appears to < 1205963294 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, nice, with the binary from that snapshot? < 1205963302 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :even though I use -march=pentium2 when building it, I think my 32-bit glibc may be built with -march=k8 -m32 < 1205963304 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :er, don't know about that < 1205963312 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so I got no idea if it will actually work on non-amd64 cpus < 1205963317 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :I just did bzr pull, cmake, make < 1205963331 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, right, but even then I wonder about binary on older systems too < 1205963356 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :ideally don't use -march of any kind < 1205963365 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :in binaries you distribute < 1205963387 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, exactly < 1205963427 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, and I built low-march (i686) for static boehm-gc, but well static glibc is harder < 1205963468 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :you can just dynamically link :-P < 1205963479 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Iota looks expanded not compressed to me ;) < 1205963522 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, that causes issues as you can understand, I link statically to avoid those issues < 1205963538 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but I guess some mix could work < 1205963550 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :with something as commonplace as glibc it should be fine < 1205963575 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :but yes, ideally static link everything < 1205963610 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hope libm is ok then too < 1205963751 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: In size maybe! < 1205964060 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Would a language without loops or conditional jumps but able to add code to itself be TC? < 1205964263 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :you can't get far without conditionals... < 1205964267 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, I made a script to build all possible 4 variants < 1205964273 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :dynamic/static 32/64 < 1205964352 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: i think there is such a language on the wiki < 1205964443 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :http://esoteric.voxelperfect.net/wiki/SMITH < 1205964550 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :www.esolangs.org == esoteric.voxelperfect.net < 1205964552 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, ? < 1205964568 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ah yes < 1205964577 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :those are equivalent < 1205966425 0 :jix!n=jix@host-091-096-145-207.ewe-ip-backbone.de JOIN :#esoteric < 1205968418 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cfunge 0.2.0 released < 1205968606 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :http://rage.kuonet.org/~anmaster/cfunge/ < 1205970673 0 :BMeph!n=chatzill@adsl-76-212-192-106.dsl.sndg02.sbcglobal.net JOIN :#esoteric < 1205971045 0 :jix!unknown@unknown.invalid QUIT :Nick collision from services. < 1205971053 0 :jix!n=jix@78.47.212.92 JOIN :#esoteric