< 1293321627 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : ((equal? (car e) 'lambda) < 1293321627 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : (lambda (args) < 1293321627 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : (evil < 1293321627 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : (car (cdr (cdr e))) ;; < 1293321627 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : (append (bind (car (cdr e)) args) env)))) < 1293321635 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Hmm. < 1293321649 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Pixley solves this problem by just Y-combinatoring, but, uh, ... < 1293321792 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Nobody have any fantastically enlightening opinions to give? < 1293321827 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :evil?? < 1293321890 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: It's what I called eval to not step on the built-in R5RS procedure. < 1293322400 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Great, it doesn't self-interpret... < 1293322409 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Hello, HEATHENS < 1293322488 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: YO. < 1293322490 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: Fix my 'terp. < 1293322504 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :In fact, everyone fix my 'terp. < 1293322521 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :NOWAY BIACH < 1293322521 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: If you don't want to do that, write a paper about this: http://syntensity.com/static/python.js < 1293322526 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :just have something that turns "lambda" into lambda and you're done < 1293322536 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :CPython compiled to LLVM compiled to JavaScript. < 1293322539 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: nope, it's a scope problem < 1293322548 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: basically "(define x y) ..." is the same as (let ((x y)) ...) < 1293322555 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :so obviously can't self-reference at all :-/ < 1293322558 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :scope is always difficult.. < 1293322563 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I mean I'm just doing < 1293322567 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(define mock < 1293322567 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : (lambda (f) < 1293322567 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : (f f))) < 1293322568 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :for now < 1293322571 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :and having everything be ugly < 1293322575 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :but i have a subtle bug now, in self-interpreting < 1293322578 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :which is just making me the sads. < 1293322693 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :specifically < 1293322695 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :cons: expects 2 arguments, given 1: (car #) < 1293323080 0 :RachelS!~rpsikorsk@c-24-131-239-251.hsd1.pa.comcast.net JOIN :#esoteric < 1293323091 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hi RachelS < 1293323114 0 :RachelS!unknown@unknown.invalid PRIVMSG #esoteric :hello Elliot < 1293323204 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :RachelS: this channel is about esoteric programming languages, btw < 1293323222 0 :RachelS!unknown@unknown.invalid PRIVMSG #esoteric :Ah yes I've visited your wiki < 1293323231 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :right, a lot of people come in here expecting other things :p < 1293323241 0 :RachelS!unknown@unknown.invalid PRIVMSG #esoteric :I had no expectations < 1293323483 0 :Wamanuz!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1293323510 0 :Wamanuz!~Wamanuz@78-69-168-43-no84.tbcn.telia.com JOIN :#esoteric < 1293323590 0 :RachelS!unknown@unknown.invalid PART #esoteric :? < 1293323678 0 :ineiros_!~itniemin@james.ics.hut.fi JOIN :#esoteric < 1293323984 0 :ineiros!unknown@unknown.invalid QUIT :*.net *.split < 1293324371 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I hate re-writing :/ < 1293324662 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ineiros_: hMod, it is the out. < 1293324755 0 :calamari_!~calamari@ip70-162-184-205.ph.ph.cox.net JOIN :#esoteric < 1293324827 0 :calamari!unknown@unknown.invalid QUIT :Quit: Bye < 1293324842 0 :calamari_!unknown@unknown.invalid NICK :calamari < 1293327348 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: I'm running out o fmotivation :( < 1293327516 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: but category theory! < 1293327521 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I know < 1293327542 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I'ull make a roadmap < 1293329414 0 :hagb4rd!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1293330016 0 :Wamanuz!unknown@unknown.invalid QUIT :Remote host closed the connection < 1293330247 0 :Wamanuz!~Wamanuz@78-69-168-43-no84.tbcn.telia.com JOIN :#esoteric < 1293330427 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :does anyone else want to try the Pixley Challenge? :-P < 1293330462 0 :Sasha!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1293330487 0 :Sasha!~WHAT@97-124-38-203.phnx.qwest.net JOIN :#esoteric < 1293330761 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :what is it? < 1293330836 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: "Write a self-interpreter in a subset of R5RS Scheme. Optimise for the shortness of the interpreter and secondarily the size of the language. You may make it metacircular, but using EVAL itself is probably verboten in my opinion." < 1293330842 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: (That's what I just wrote now, not a quote.) < 1293330848 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :It must be able to interpret itself, obviously. < 1293330852 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :oh it has to be scheme < 1293330936 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: well you could do it to common lisp if you wanted i guess < 1293330940 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :but scheme is simpler to implement < 1293331084 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: why, what lang were you thinking of? < 1293331824 0 :benuphoenix!~benuphoen@5.sub-97-168-29.myvzw.com JOIN :#esoteric < 1293332106 0 :benuphoenix!unknown@unknown.invalid QUIT :Ping timeout: 272 seconds < 1293332702 0 :pikhq!unknown@unknown.invalid QUIT :Ping timeout: 255 seconds < 1293332820 0 :pikhq!~pikhq@174-22-149-54.clsp.qwest.net JOIN :#esoteric < 1293333423 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oh man, this is so close to working < 1293333488 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Oh? < 1293333548 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: yep, my metacircular subset-of-Scheme interpreter < 1293333629 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :procedure ...e/diuerse/d2.scm:34:5: expects 2 arguments, given 1: ((procedure? e) e) < 1293333631 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hm, what :) < 1293334016 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: fix my code! < 1293334165 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Insufficient Calvin & Hobbes. < 1293334220 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :fuck yeah scheme < 1293334273 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :bsmntbombdood! < 1293334282 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I've not seen you actually say something in ages! < 1293334284 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :hello < 1293334583 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :bsmntbombdood: less talking more pixley challenging < 1293334781 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :needs more call/cc < 1293334845 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :bsmntbombdood: if you can make the self-interpreter smaller by doing CALL-WITH-CURRENT-CONTINUATION ... be my guest but i find it unlikely < 1293334894 0 :pikhq!unknown@unknown.invalid QUIT :Ping timeout: 276 seconds < 1293334958 0 :pikhq!~pikhq@174-22-146-87.clsp.qwest.net JOIN :#esoteric < 1293335056 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: so how do i order some piks from the hq < 1293335254 0 :Wamanuz!unknown@unknown.invalid QUIT :Ping timeout: 276 seconds < 1293336569 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :http://projectfortress.sun.com/Projects/Community/blog/ReplaceFancyPantsTerminology Guy L. Steele thinks that instead of saying "Commutative[Q,*]" we should say "OrderDoesn'tMatter[Q,*]". What. < 1293336714 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :yes, throw away existing, formally-defined terminology so someone doesn't have to learn something < 1293336739 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :this has nothing to do with programming languages... this post is PR or something < 1293336784 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :yeah i like the fortress guys but ... what on earth made him think that < 1293336875 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :too much chrismas spirit or someshing < 1293337314 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I wonder if floating point has any "useful" properties ... i.e. can you restate basic identities in them given some well-defined error term or whatever? < 1293337335 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :like being able to say that a+b = b+a+error, except I'm pretty sure floating point addition is at least commutative ... < 1293339816 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Holy shit. WebTV is still marketed and sold. < 1293339818 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: As the "MSN TV". < 1293339988 0 :FireFly!unknown@unknown.invalid QUIT :Quit: swatted to death < 1293340328 0 :calamari!unknown@unknown.invalid QUIT :Quit: Leaving < 1293340430 0 :elliott!unknown@unknown.invalid QUIT :Remote host closed the connection < 1293340489 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Holy shit. People still buy that crap? < 1293340709 0 :Quadrescence!unknown@unknown.invalid PRIVMSG #esoteric :http://i.imgur.com/U4mPS.png < 1293340719 0 :Quadrescence!unknown@unknown.invalid PRIVMSG #esoteric :rms doesn't quite give the same air as jimbo wales < 1293340856 0 :pikhq!unknown@unknown.invalid QUIT :Ping timeout: 264 seconds < 1293340957 0 :pikhq!~pikhq@71-219-234-247.clsp.qwest.net JOIN :#esoteric < 1293341549 0 :Sgeo!~Sgeo@ool-18bf618a.dyn.optonline.net JOIN :#esoteric < 1293341980 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :are the ashes on? < 1293342050 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I'm afraid some murderous robots from the planet Krikkit took them. Something about the "Wooden Bail"... < 1293343543 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :i hate floats < 1293343553 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :rational bignums ftw < 1293343567 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :DIE FLOATING POINT DIE < 1293343583 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :indeed < 1293343609 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :And I hate anyone who sees a coordinate system in the form of 0.54, fails to realize that it's internally an int that, in that example, stores 54, and decides to model it with floating point < 1293343619 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION <3 floating point
< 1293343759 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION hits Gregor with a banking program written by an idiot who used floating-point to represent currency
< 1293343774 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Ooooh, that's bad ... < 1293343902 0 :pikhq!unknown@unknown.invalid QUIT :Ping timeout: 260 seconds < 1293343961 0 :pikhq!~pikhq@71-219-234-33.clsp.qwest.net JOIN :#esoteric < 1293344418 0 :TLUL!unknown@unknown.invalid QUIT :Ping timeout: 265 seconds < 1293344526 0 :Mathnerd314!~mathnerd3@dsl.6.28.53.206.cos.dyn.pcisys.net JOIN :#esoteric < 1293345511 0 :wareya!unknown@unknown.invalid QUIT :Ping timeout: 260 seconds < 1293345574 0 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1293345612 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: are the ashes on < 1293345671 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: I don't know. Did you ask a question about TeXnicard after I quit earlier today? < 1293345681 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :yes what is TeXnicard < 1293345681 0 :wareya!~wareya@cpe-74-70-142-220.nycap.res.rr.com JOIN :#esoteric < 1293345723 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: TeXnicard is a program designed for making high-quality production quality cards such as Magic: the Gathering and so on, and also pack generation, statistics, and more. < 1293345750 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :why is stats and stuff in TeX < 1293345752 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :that seems totally wrong < 1293345754 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :It uses TeX to do the typesetting, METAFONT for fonts and set symbols, and ImageMagick to put everything together and apply. < 1293345760 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :like 100% totally totally wrong < 1293345763 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :oh cool zzo38 that sounds good < 1293345763 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :coppro: The stats and stuff is not in TeX. < 1293345767 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: oh < 1293345774 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: basically he's trying to replace MSE < 1293345780 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :TeXnicard is not written entirely in TeX. It only uses TeX for the typesetting. < 1293345782 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :knowing zzo38 it will likely not happen < 1293345786 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :but if it does, <3 < 1293345923 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I have actually already written much of TeXnicard already. < 1293346039 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :It is already 71 pages long so far. < 1293346061 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :pages? < 1293346065 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :you measure code in pages? < 1293346095 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :coppro: Yes. (Note this count also include the index and table of contents) < 1293346121 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :oh god < 1293346124 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :are you using CWEB? < 1293346130 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :coppro: I am using Enhanced CWEB. < 1293346134 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :oh dear < 1293346164 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :coppro: Is such a thing wrong? < 1293346319 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :CWEB makes me twitch < 1293346333 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :coppro: Why? < 1293346372 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :because it's so focused on making documentation out of code < 1293346391 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :but this is usually unnecessary < 1293346420 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :you're doing something wrong if you need a paragraph of text to accomplish each paragraph of code < 1293346438 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :coppro: A paragraph of text is not necessary for most of the paragraphs of code. < 1293346447 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :But sometimes it is useful to do so. < 1293346464 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :in which regular comments usually do fine < 1293346476 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :coppro, Factor separates code and docs into separate files < 1293346502 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Even for the ones without, it is useful to organize into chapters, use code chunk rearrange, index, and more things. < 1293346511 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: that I disagree with too < 1293346532 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :there should really be two sorts of docs < 1293346539 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :API docs and comments < 1293346549 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :API docs are "how to use this piece of code" < 1293346552 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Code and explanation is printed together in one book. < 1293346568 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :while comments let someone looking at a confusing block of code understand it < 1293346572 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :API docs should be separate < 1293346575 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Mostly the explanations are about the "higher purpose" of the code. < 1293346590 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :It can be written as you write a book. < 1293346590 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :putting API docs in comments and exracting them automatically is ok < 1293346706 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I generally only put explanations where I think it to be necessary or if it is an interesting thing to put in the book. < 1293346774 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Enhanced CWEB has other features too, such as change files, and code generation (I used some @{ ... @} blocks for interpreted codes for code generation in this program, too) < 1293347194 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :What I see with literate programming, is basically, the program is also a book. Or in other words, the book is also a computer program. It goes both ways. < 1293347336 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Even TeX itself is written in WEB!! < 1293347503 0 :oerjan!oerjan@tyrell.nvg.ntnu.no JOIN :#esoteric < 1293347718 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :yeah, typical documentation does usually leave the super-high-level concepts out in the dust < 1293347753 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Dust? < 1293347789 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :DRIVE THEM OUT INTO THE SAHARA < 1293347805 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: as in the coders leave it behind < 1293347806 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :in their heads < 1293347833 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: What does the Sahara have anything to do with this? < 1293347858 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i hear it's rather dusty < 1293347895 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :coppro: Yes. That *is* one thing you do in this book. Explain it and read it at many levels, because you can read the explanation of the "higher purpose" of each chunk (and chapter), and the cross-reference of the other chunk, too. < 1293347915 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: I still believe CWEB is overkill < 1293347941 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :coppro: That is OK, you don't have to use it. I use it, though. < 1293347944 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :k < 1293347955 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :20:09:29 http://projectfortress.sun.com/Projects/Community/blog/ReplaceFancyPantsTerminology Guy L. Steele thinks that instead of saying "Commutative[Q,*]" we should say "OrderDoesn'tMatter[Q,*]". What. < 1293347960 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :20:11:54 yes, throw away existing, formally-defined terminology so someone doesn't have to learn something < 1293347978 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's also imprecise, since "order doesn't matter" would tend to imply associativity as well < 1293347982 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :oh hello oerjan < 1293347990 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1293348009 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is so stupid sometimes
< 1293348022 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Trying to do 4 chapters in one night, then 7 page essay the following day < 1293348035 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Well, just finished one of the chapters, at any rate < 1293348068 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :i am finally learning haskell ^_^ < 1293348072 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :you still have class < 1293348120 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :coppro, the grades are due in by Tuesday, the professor saidn "Can you get in the review questions and a final paper by Sunday?" < 1293348121 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : are the ashes on? < 1293348140 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :suddenly half the channel seems to be interested in cricket... < 1293348149 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: where the hell are you in school < 1293348166 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I thought it might help me with my mathematics < 1293348177 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :you're in the land of disregarding the establishment clause, right? < 1293348180 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :There are no more classes, classes ended last week I think, no, that was finals week I think < 1293348201 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1293348210 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :my school has a rule against assignments in exams < 1293348220 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :usually complaining doesn't do much because they make it due earlier < 1293348239 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :coppro, there's something you're not grasping: All of this stuff was due over the course of the semester. < 1293348241 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :but it would probably actually work if you tried it now given that classes ended three weeks ago < 1293348245 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: oh < 1293348248 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :so you're just an idiot < 1293348254 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :coppro, yes. < 1293348264 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :k the < 1293348313 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :This is like suddenly not showing up to class for half a semester, then trying to do all the homework and exams in a fixed time period...... and putting THOSE off until well beyond reason < 1293348326 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I'm never taking an online class again. < 1293348614 0 :Mathnerd314!unknown@unknown.invalid QUIT :Quit: ChatZilla 0.9.86-rdmsoft [XULRunner 1.9.2.12/20101026210630] < 1293348636 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo what happened? < 1293348658 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant, I stopped even looking at the online course for a few months < 1293348665 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :why? < 1293348677 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :were you fed up or juts thought it wasn't necessary? < 1293348701 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant, because. I was overdue with one thing, and it sort of snowballed. And yeah, I may have been a bit cocky, come to think of it. Usually, in my mind, "computer course" == "easy A" < 1293348728 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :aw that sucks, what is the course about? < 1293348751 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Cryptography and Computer Security < 1293348757 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Anyways, this question looks fun < 1293348795 0 :zzo38!unknown@unknown.invalid TOPIC #esoteric :If you do not have access to IRC, then please do not read this notice. | http://tunes.org/~nef/logs/esoteric/?C=M;O=D < 1293348823 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: hey, think of the poor log readers! < 1293348958 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :cryptography is an actual science < 1293348976 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :like you have to weigh up advantages and stuff < 1293349013 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :sadly based partly on unproved conjectures < 1293349027 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :"Organizations may be willing to pay more for security products if the perceived risk is high, even if it’s completely off the mark from the actual risk. For instance, currently, in the U.S., a lot of money is being spent on controversial back-scatter machines for airports. It is unclear that the machines are effective, however, in the minds of many, the risk of terrorist attack outweights the risk of automobile accidents, although the latt < 1293349028 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :er claim many more lives, and might be a more worthwhile thing to invest against (depending on what can be invested on to prevent such accidents with effectiveness)." < 1293349030 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Sorry < 1293349040 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I think I'm not forming my ideas coherently anymore < 1293349112 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Can you find a proof, counterexample, or proof that there is no proof? < 1293349131 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: was that a response to me? < 1293349146 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Or proof of the opposite, even though you can find no counterexample? < 1293349152 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Partially, yes. < 1293349156 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :it's based on evidence rather than mathematical proof < 1293349222 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: one _might_. finding a proof would require proving the P!=NP conjecture. < 1293349272 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the opposite might be somewhat weaker < 1293349380 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :while there is no actual proof of P!=NP yet, there are some results that imply the "easy" methods of complexity theory cannot work to resolve it < 1293349423 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I always wanted to learn those theorems < 1293349434 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :think it would take years though.. < 1293349456 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :there are statements like that about fermats last thoerem and four color thoerem? I think < 1293349475 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i haven't heard about those... < 1293349486 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :maybe that's my imagination < 1293349512 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :there were of course many false leads, which might vaguely be interpreted as such theorems < 1293349569 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Is there such a thing as a proof that there is no proof that there is a proof of such a theorem? < 1293349639 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Wooo! < 1293349644 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :2 chapters down, 2 to go < 1293349665 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Didn't even read the chapter, just the questions :/ < 1293349675 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I don't think I mentioned computing even once... oh, I did < 1293349680 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Railed against the Cloud a bit < 1293349681 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: probably. there are some restrictions though. for example if you proved that there was no disproof of fermat's last theorem, then you would have proved it... this is because there is an explicit, if non-terminating algorithm to find any counterexample. < 1293349722 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh and proofs that there are no proof need to be conditional on the consistency of the system, to avoid godel's theorems < 1293349728 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: O, I guess you are right! That would work. A counterexample is a disproof. < 1293349756 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Ah, you must be right about that too. < 1293349811 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :How many years before IRC did Hofstadter write the GEB book? < 1293349885 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :IRC is from 1988 and GEB was published in 1979 < 1293349903 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :how come it's popular now? < 1293349909 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :says wikipedia < 1293349994 0 :j-invariant!unknown@unknown.invalid QUIT :Quit: leaving < 1293350017 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :7 page paper. Written on lack of sleep. It's going to be fun on a bun < 1293350171 0 :pikhq!unknown@unknown.invalid QUIT :Ping timeout: 255 seconds < 1293350229 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: just hope you don't wake up and discover it consists only of repetitions of "All work and no play makes Seth a dull boy" < 1293350271 0 :pikhq!~pikhq@174-22-145-109.clsp.qwest.net JOIN :#esoteric < 1293350331 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1293350381 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Well, it will be glad that it doesn't say that! (It says "Jack" instead of "Seth") < 1293350399 0 :clog!unknown@unknown.invalid QUIT :ended < 1293350400 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1293350451 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well in any case i'm sure his paper will set a shining example < 1293350498 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Do you think he has enough shiny ink? < 1293350504 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I watched that movie a long time ago. I remember nothing about it < 1293350514 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Watched it at a sleepover iirc < 1293350521 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Or I could be hallucinating < 1293350540 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I think there was also The Excorcist, which I declined to watch, and some stupid movie about Martians < 1293350558 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I think I've only ever been to one sleepover in my life, so < 1293350563 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Except on a class trip < 1293350567 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I'm rambling < 1293350614 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Supposedly, I didn't eat on that trip < 1293350655 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Or I could be misremembering someone screaming about that at me, my memory of the trip itself is hazy < 1293350659 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :so it was an evil camp where they starved children. got it. < 1293350669 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :But it sounds like something I might do, but that's not reliable < 1293350682 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, there was almost certainly food. I can just imagine myself not touching it thogh < 1293350693 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Maybe I drank Ensure. Used to have Ensure for lunch every day < 1293350705 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :If everything is an illusion and nothing exists, do you think he definitely overpaid for his carpet, or do you think the money you used to pay for it is all hallucination? < 1293350720 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: is that a quote? < 1293350747 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ah woody allen < 1293350755 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: No. It is something I wrote in the margin of a book, next to a similar quote. < 1293350801 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: it could be both... even illusionary money can be a scarce resource < 1293350821 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: OK. < 1293350837 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :which iiuc is all that matters to economists < 1293350873 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :in fact our modern money is quite close to being an illusion already < 1293350876 0 :CoBa!~Nix@host-73-146-66-217.spbmts.ru JOIN :#esoteric < 1293350881 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :But then, everything being an illusion and nothing exists, does not *make* it he definitely overpaid for his carpet, directly. It might imply such a thing *indirectly*, though. < 1293350889 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :(For example, if the carpet is expensive) < 1293350938 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :zzo38: i am quite sure woody allen was joking, anyway < 1293350978 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Yes, of course. But this quote was in a book about philosophy (along with many other things, some of which are jokes). < 1293351060 0 :CoBa!unknown@unknown.invalid QUIT :Quit: < 1293351777 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :This philosophy also contains a recipe for some Chinese food: < 1293351800 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :1 pcs. chicken, 4 pcs. preserved beancurd, some gingar, chive, salt, sugar, gourmet powder, syrup, perfune, wine. < 1293351829 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :After wash, apply the preserved beaucurd, gingar, chive, salt, monosodium, sugar, syrup, perfume, wine into the bally of chicken, sew with iron needle. < 1293351853 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :After scalded by boiling water, pour water on duck, apply the syrup on the skin. < 1293351856 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Hang it with cancel. < 1293351866 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Then roast the chicken for ripe and skinn turn into gold-red colour. < 1293352172 0 :zzo38!unknown@unknown.invalid QUIT :Quit: Surely you are joking, Mr. Feynman! < 1293352547 0 :asiekierka!asiekierka@078088180066.elblag.vectranet.pl JOIN :#esoteric < 1293352552 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :http://pastebin.com/idZbZm8A <- my work of yesterday < 1293352600 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :app stored in app.txt, in binary (for example: 0000 0011, non-01 chars are ignored) < 1293352727 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :brainf**k can be implemented in it so it seems turing-complete < 1293352812 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :asiekierka: don't you mean s/shift/rotate/ ? < 1293352834 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :yes, yes i do < 1293352851 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :the interpreter is not really good < 1293352852 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :but it works < 1293352855 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :i've tested all the commands < 1293352874 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i assume those shift/rotate operations are what makes it more than a pushdown automaton in power < 1293352904 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :well < 1293352905 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :is it any good < 1293353085 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it seems a bit run-of-the-mill to me < 1293353948 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :3/4 < 1293354054 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :3/4 what < 1293354071 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Chapters of Review Questions < 1293354263 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :0000 0000 0111 < 1293354264 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :1000 0001 1101 0000 1101 0111 0001 1100 0111 0001 1100 0111 1001 < 1293354271 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :code to duplicate value on the top of the stack < 1293354274 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :well, not quite < 1293354285 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :0000 0000 0111 < 1293354285 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :1000 0001 1101 0000 1101 0111 0001 1100 0111 0001 1100 0110 0110 1001 < 1293354333 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :i'll have to work on it < 1293354899 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :0000 0000 0110 0110 < 1293354899 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :1000 0001 1101 0000 1101 0111 0001 1100 0111 0001 1100 0110 0110 1001 < 1293354901 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :there, fixed < 1293354905 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :first line is initalization < 1293354910 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :second line is copy < 1293354920 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :you're left with two values, counting from the top of the stack they're 0, 2, 2 < 1293355003 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :"If we think of documentation as a written work of nonfiction (or, perhaps, fiction)" < 1293355105 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric : it seems a bit run-of-the-mill to me < 1293355112 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :that inspired me for a name for my esolang < 1293355114 0 :variable!~variable@unaffiliated/variable JOIN :#esoteric < 1293355116 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :stackmill < 1293355204 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :variable = "I am too tired to actually think of anything creative here"; < 1293355207 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :http://pastebin.com/FADctGjY < 1293355232 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, ? < 1293355253 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :My way of both saying hi and trying and failing to be humorous < 1293355265 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, variable == "I don't like being googled' < 1293355270 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :and Hi < 1293355313 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :http://codepad.org/R1ydyMJ8 --> does anyone see anything wrong with this implementation of brainfuck ? < 1293355326 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Oh, I wasn't saying you weren't creative < 1293355329 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I was saying I was < 1293355338 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I am doing half a semester's worth of homework in one night < 1293355341 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :variable i don't think so < 1293355345 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :sorry http://codepad.org/7jjWZ8QN < 1293355351 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :but you could keep a stack of instruction pointers for the [...] < 1293355356 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :that would speed it up A LOT < 1293355368 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :asiekierka, yeah - but it would complicate the code :-) < 1293355372 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1293355388 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :asiekierka, problem is .. its Not Working for any code with []s < 1293355390 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :but I don' < 1293355393 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :but I don't see why < 1293355408 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, what class? < 1293355420 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Cryptography and Computer Security < 1293355433 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, fun - the best class :-) < 1293355453 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :variable, unless you screw up like I have and don't do any work for a few months < 1293355475 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :asiekierka, do you see anything wrong with my [ and ] implementation ? < 1293355487 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, ha < 1293355527 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :variable: the test for ] should be != 0, not == 0 < 1293355546 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :variable i am busy porting my stackmill interp to the GBA < 1293355548 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :stackmill is my own esolang < 1293355573 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, oh woops. that was a copy/paste error ;-) < 1293355635 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :I wish I knew this channel existed < 1293355644 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, hah! I'm getting more work done while in here than I ever have while forced out! < 1293355647 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :my computers are named after esoteric programming languages < 1293355653 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :your wish has been fulfilled! < 1293355654 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :ie AlphaBeta Bork, < 1293355658 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :BrainFk < 1293355659 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :etc < 1293355666 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: heh < 1293355674 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, knew != know < 1293355716 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :variable: wishes sometimes tend to come with uncomfortable delays < 1293355725 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :sadly < 1293355753 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION decides not to state his sexual wishes in the channel
< 1293355784 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :^^even that might have been a bit much < 1293355806 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: i don't think that is very revealing < 1293355818 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :It might give variable a wrong impression < 1293355827 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, thanks for the bugfix < 1293355842 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :you're welcome < 1293355842 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :now.. to see if I make it just as simple... without the stack/programsize limitation \ < 1293355931 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :,[.,] --> cat in brainfuck :-) < 1293356018 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :^show cat < 1293356018 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :,[.,] < 1293356035 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Our "echo" command is a bit on the whimsical side. < 1293356038 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :^echo Hello? < 1293356038 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :Hello? Hello? < 1293356043 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric ::-| < 1293356046 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :^help < 1293356046 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :^ ; ^def ; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool < 1293356051 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :^code < 1293356054 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :^source < 1293356054 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :http://git.zem.fi/fungot/blob/HEAD:/fungot.b98 < 1293356060 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I always forget which one it is. < 1293356066 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric ::-) < 1293356088 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :someone should rewrite it in INTERCAL < 1293356111 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I'm guessing that'd be a good idea if that someone were paid by line. < 1293356138 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :fungot: Say something insightful this time? < 1293356139 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: and the blots are removed from that player loses one blue vc. a unique instance of a < 1293356141 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :^style < 1293356142 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :Available: agora* alice c64 ct darwin discworld europarl ff7 fisher ic irc jargon lovecraft nethack pa speeches ss wp youtube < 1293356144 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :^style irc < 1293356144 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams) < 1293356154 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :fungot: The agora style isn't very insightful. < 1293356155 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: what language? answered my question already < 1293356212 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, you don't know of Agora? < 1293356238 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Also, blots are OLD < 1293356243 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Oldie oldie old < 1293356246 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: I do, but it stil doesn't make that very insightful. < 1293356272 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Yes, well, the model was built out of some sort of a collection of both current and historical rules. < 1293356375 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :its 430 AM < 1293356381 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION has NO idea why I'm up
< 1293356777 0 :pikhq!unknown@unknown.invalid QUIT :Ping timeout: 260 seconds < 1293356888 0 :pikhq!~pikhq@71-219-222-227.clsp.qwest.net JOIN :#esoteric < 1293358056 0 :oerjan!unknown@unknown.invalid QUIT :Quit: leaving < 1293359368 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :yay < 1293359375 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :ported my interpreter to GBA < 1293359378 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :and found a bug in libgba's printf < 1293359385 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :so i had to use an itoa < 1293360305 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :libgba ? < 1293360311 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :game boy advanced/ < 1293360318 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :also -> what bug? < 1293361400 0 :Wamanuz!~Wamanuz@78-69-168-43-no84.tbcn.telia.com JOIN :#esoteric < 1293361470 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :printf("%d",i) for i values over 9 breaks < 1293365374 0 :FireFly!~firefly@unaffiliated/firefly JOIN :#esoteric < 1293369317 0 :oerjan!oerjan@tyrell.nvg.ntnu.no JOIN :#esoteric < 1293369377 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : printf("%d",i) for i values over 9 breaks < 1293369396 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :someone thought %d was for "digit"? :D < 1293369599 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :asiekierka, hm... reported the bug? < 1293369676 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :asiekierka, hm is it a freestanding or a hosted environment? < 1293369681 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :(in the C sense) < 1293369709 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :quoting C99: "A conforming freestanding implementation shall accept any strictly conforming program that does not use complex types and in which the use of the features specified in the library clause (clause 7) is confined to the contents of the standard headers , , , , , , and . " < 1293369733 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :notably this does not include stdio.h < 1293369807 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :I'm not sure, but I *think* this means that *iff* it is a freestanding implementation, then it can do what the hell it wants in stdio.h, including making demons fly out of your nose. < 1293369830 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :err wait no < 1293369856 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :"A conforming implementation may have extensions (including additional library functions), provided they do not alter the behavior of any strictly conforming program³�" < 1293369897 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :"³� This implies that a conforming implementation reserves no identifiers other than those explicitly reserved in this International Standard." < 1293369906 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1293369939 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :well that last bit is not in the bit that is specifically about freestanding < 1293369950 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :so I'm not sure how you should interpret it < 1293370068 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :atm I'm tying to figure out this statement: "A program that is correct in all other aspects, operating on correct data, containing unspecified behavior shall be a correct program and act in accordance with 5.1.2.3." < 1293370212 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal < 1293370213 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :about the bug < 1293370221 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :it only happens in the best GBA emulator available, NO$GBA < 1293370227 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :it doesn't happen on the worse emulators (VisualBoyAdvance) < 1293370228 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :or the real thing < 1293370255 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :(btw, of those headers required in a freestanding environment, only stdarg.h and float.h are non-trivial.) < 1293370269 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :asiekierka, maybe it isn't the best emulator then < 1293370340 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :(actually, it seems float.h is trivial too) < 1293370926 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal sadly it is < 1293370931 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :it implements the most features and quirks < 1293370933 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :out of all emulators < 1293370956 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :has a debugger (paid, though) < 1293370961 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :and is recommended by most homebrew devers < 1293371047 0 :variable!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1293371073 0 :variable!~variable@unaffiliated/variable JOIN :#esoteric < 1293372712 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :Errr... What does printf("%d",i) do if i is 10 on that platform? < 1293372833 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :it prints 10 < 1293372833 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :obviously < 1293372840 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :but on GBA with the NO$GBA emulator < 1293372846 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :(which is the best emulator for it) < 1293372848 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :it crashes the machinr < 1293372850 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :machine* < 1293372911 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :Figured out what instruction inside printf crashes it? < 1293373122 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :i don't care < 1293373127 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :it does not happen on the real thing < 1293373128 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :so it's OK < 1293373153 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :and i've just found a custom itoa function for that < 1293373944 0 :variable!unknown@unknown.invalid QUIT :Read error: Operation timed out < 1293374078 0 :variable!~variable@unaffiliated/variable JOIN :#esoteric < 1293374507 0 :Phantom_Hoover!~phantomho@cpc3-belc2-0-0-cust756.2-1.cable.virginmedia.com JOIN :#esoteric < 1293374522 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Hi, everybody! < 1293374682 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :hey < 1293375068 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :hello < 1293375103 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :while it is quite easy to write a Makefile that fails with -j2 or such, I wonder if you can write one that fails *without* -j2. < 1293375120 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :and that works reliably with -j2 < 1293375143 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :I mean, if you only wanted to make it work *sometimes* with -j2, and never without -j it would be rather trivial. < 1293376077 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :How could such makefile even be constructed? It would have to contain race condition or unstated dependency... < 1293376288 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :And that kind of stuff tends to make it nondeterministic... < 1293376376 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :... Unless the executables do some bizarre stuff... < 1293376404 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :But then the makefile would probably lock up if run without -j2... < 1293376475 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1293376542 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Ilari, well it could build and run an executable that checked /proc// for command line < 1293376552 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :cheating though < 1293376703 0 :asiekierka!unknown@unknown.invalid PRIVMSG #esoteric :http://esoteric.voxelperfect.net/wiki/Stackmill < 1293378301 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, has ineiros updated the server yet? < 1293378611 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover, as far as I know it worked yesterday morning yes < 1293378627 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :...and, I just died. < 1293378629 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :In lava. < 1293378634 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :With my full inventory. < 1293378637 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Due to a bug. < 1293378640 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Effing Notch. < 1293378846 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Also, the advice I was given by the intel-gfx people to fix my graphics drivers has resulted in them being stupid with normal-maps. < 1293379357 0 :sftp_!unknown@unknown.invalid QUIT :Remote host closed the connection < 1293379826 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover, was the bug exiting a minecraft by breaking it? < 1293379836 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, yes. < 1293379844 0 :asiekierka!unknown@unknown.invalid QUIT : < 1293379863 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :oh wait, you been away, ehird complained about it too < 1293379910 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :btw, wrote guide for how to get a h8300-hitachi-hms cross toolchain working on modern Linux. < 1293379918 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :if anyone needs that I could upload it somewhere < 1293379939 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :(you need quite a few patches to make it build and work on recent systems) < 1293379984 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :people who might care: Anyone who has a Lego RCX and want to write C code for it (custom firmware). < 1293380774 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :anyway http://sporksirc.net/~anmaster/lego/rcx-toolchain-guide/guide.html < 1293381061 0 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1293381270 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, hi < 1293381283 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1293381285 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover, where did that happen btw? < 1293381293 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, an MC bug ate my inventory! < 1293381294 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover, I think removing the lava below might help < 1293381308 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, he is talking about the hitting minecraft bug < 1293381325 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, erm... IIRC it was the subtree end of the subtree-crossroads link. < 1293381337 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :The spawn is a lie. < 1293381343 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Yes, it's happened to me. Several times. < 1293381348 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Get out of your cart before hitting it, it's all that helps. < 1293381357 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover, crossroad being the tunnel to fizzie's? < 1293381364 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, yes. < 1293381366 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :right < 1293381732 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :why is it so laggy < 1293381752 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Hoover Heavy Industries accepts no responsibility for anyone who is heavy, or industrious. That is all. < 1293381773 0 :sebbu2!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1293381781 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, are you behind the lagginess? < 1293381798 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I suspect the server is torrenting. < 1293381806 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1293381808 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :well it is down now < 1293381816 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Or else the beta is really so bad that three people is too much work. < 1293381825 0 :sebbu!~sebbu@ADijon-152-1-91-192.w81-50.abo.wanadoo.fr JOIN :#esoteric < 1293381826 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, in other news, the Xorg Intel graphics developers have failed me! < 1293381827 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ineiros_, what is going on? < 1293381846 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, were you doing something strange when it went down? < 1293381849 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :(or PH) < 1293381857 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: No. < 1293381861 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Stop asking. < 1293381877 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, I was heading northwards, towards ineiros.. < 1293381885 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :What the hell is that thing. < 1293381889 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :(If it were an HHI activity, it would be secret anyway, so there is no point in asking; but lagging the server is not good for business, so that is extremely unlikely.) < 1293381891 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: What thing. < 1293381897 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :The crenellated wall, with torches. < 1293381901 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Pic? < 1293381905 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :I was looking at it when the server failed < 1293381918 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Pic would be nice :P < 1293381928 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Don't have one, but if you went towards ineiros' fortress from spawn you'd've seen it. < 1293383858 0 :sftp!~sftp@79.174.49.208 JOIN :#esoteric < 1293383873 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, fizzie: mcmap bug report: planting a sapling: "[DIED] protocol.c: 361: Unknown packet id: 0x40 (dir 2)" < 1293383878 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I'm < 1293383879 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :oops < 1293383894 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: I don't dig into the protocol stuff mostly; fizzie's your man there. < 1293383903 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, ah oka[DIED] protocol.c: 361: Unknown packet id: 0x40 (dir 2)y < 1293383904 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :gah < 1293383910 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION STABS SYNERGY
< 1293383914 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Oka[DIED] protocol.c: 361: Unknown packet id: 0x40 (dir 2)y yourself. < 1293383919 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, okay was what I said < 1293383924 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Have you tried that maintained fork of Synergy? < 1293383924 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :but then I got a pseduo-paste < 1293383932 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, well, I probably should < 1293383934 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"Synergy+ and Synergy have now combined efforts. Visit the new Synergy website." < 1293383935 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1293383943 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :http://synergy-foss.org/ < 1293383954 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"Synergy+ and Synergy have now merged! However, we'll still be using the old synergy-plus source code repository and mailing lists (just because there's no reason to migrate away). For those of you who are new: Synergy+ was started by Sorin Sbârnea and Nick Bolton in 2009 for the purpose of fixing bugs in the original version by Chris Schoeneman (which had temporarily paused development in 2006). Synergy+ and original Synergy have now combined e < 1293383954 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :fforts for the benefit of the Open Source community." < 1293383961 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, I use whatever is called synergy on in the package repo. And since one is ubuntu the other arch then it might cause issues < 1293383973 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Try http://synergy-foss.org/packages/?C=M;O=D. < 1293383982 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, yeah, will shortly < 1293383996 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Debian squeeze appears to still have old-Synergy, and links to the website which now says "lol go here instead". < 1293383997 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :So heh. < 1293384389 0 :j-invariant!~aaaa@unaffiliated/j-invariant JOIN :#esoteric < 1293384923 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Recovered my laptop from the idiotic hoard. < 1293384926 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :*hoarde < 1293386275 0 :sebbu2!~sebbu@ADijon-152-1-91-192.w81-50.abo.wanadoo.fr JOIN :#esoteric < 1293386346 0 :Leonidas_!~Leonidas@unaffiliated/leonidas JOIN :#esoteric < 1293386513 0 :sebbu!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1293386513 0 :Leonidas!unknown@unknown.invalid QUIT :Read error: Operation timed out < 1293386514 0 :sebbu2!unknown@unknown.invalid NICK :sebbu < 1293387107 0 :sebbu!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1293387149 0 :sebbu!~sebbu@ADijon-152-1-91-192.w81-50.abo.wanadoo.fr JOIN :#esoteric < 1293387512 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: They... took your laptop? And you didn't immediately kill them? < 1293387530 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, no, since I would have got in trouble for that. < 1293387548 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Vorpal: Look at this: http://i.imgur.com/YF0nLl.jpg < 1293387549 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :See sign. < 1293387553 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :SEEMS IT'S A KNOWN BUG < 1293387556 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :I locked the screen before I gave in, so they couldn't do anything. < 1293387564 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Notch Quality Engineering < 1293387595 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, but how did they manage to get stuff into it? < 1293387609 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Dig into it, make space, put things there. < 1293387620 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Or, no, wait. < 1293387624 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: I'm fairly sure that's a real hole. < 1293387636 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Disguised as an imaginary one. < 1293387640 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, haha < 1293387653 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"hey! I made it last night :) I'm glad people enjoy it. I'ts supposed to look like a chunk error." < 1293387654 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Indeed. < 1293387787 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, why did you loose connection? server said it was due to disconnect.genericReason on his side < 1293387795 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: I closed the game :P < 1293387800 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Without disconnecting first. < 1293387801 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, how? < 1293387802 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1293387812 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :To watch http://www.youtube.com/watch?v=SCJeUvqFuA0. < 1293387819 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :The music was getting in the way. < 1293387983 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, he has an issue, all won't go off at once (you need something like redstone activation to get all to start counting down at once) < 1293388008 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Doesn't matter, it worked anyway (and impressive result) < 1293388016 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Anyone have a convenient link to a rant on the "This page is best viewed with ." things you see everywhere? < 1293388020 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: You'll notice a familiar figure when he reconnects :P < 1293388029 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: http://www.anybrowser.org/campaign/ < 1293388086 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :the explosion was cool < 1293388117 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :the water in minecraft it not realistic < 1293388156 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: you can generate infinite water from a 2x2 pool < 1293388159 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :because of PHYSICS! < 1293388177 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, what's the familiar figure? < 1293388184 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :It looks like the statue of liberty :P < 1293388191 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I thought it was intentional but maybe not. < 1293388196 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric : Vorpal: You'll notice a familiar figure when he reconnects :P <-- hm? < 1293388200 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :See above. < 1293388224 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: "Obsidian is banned because it takes too long to destroy" "Fire is banned because it can crash clients" "Lava is banned because it can lag the server." "Water is banned because it can lag the server." "Ice is banned because it creates water when destroyed" "TNT is banned because it lags the server." < 1293388233 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Reddit Minecraft server -- you can, like, put GRASS and WOOD and COBBLES down! < 1293388272 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :elliott, they're a public, high-visibility server. < 1293388280 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :What'd you *expect*? < 1293388281 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: They've /banned water/. < 1293388289 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I have never seen that before. < 1293388328 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, but what about natural water and lava? < 1293388338 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: DON'T LOOK AT IT < 1293388345 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :or did they remove it? < 1293388350 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :I doubt it :P < 1293388356 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :bbl < 1293388366 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: Can I expand the HHI research facility? < 1293388378 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Fine. < 1293388400 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Provided there are no externally-visible alterations to Mt. Hoover < 1293388409 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: There won't be. Well, unless I accidentally dig to the outside. < 1293389620 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :oh geez you have to play minecraft in browser... < 1293389648 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: um no < 1293389653 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: just download the .jar < 1293389662 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :nobody plays in browser ... partly because nothign works with it < 1293389666 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i don't even think you can use texture packs in-browser < 1293389671 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :http://minecraft.net/download/Minecraft.jar?v=1293389628306 < 1293389687 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :that's if you've paid ofc < 1293389691 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :classic is browser-only < 1293389716 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :... < 1293389721 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :? < 1293389735 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I don't want to buy it, I don't even know if it works < 1293389752 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: pirate it and see? :p < 1293389761 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric ::S < 1293389773 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: it does work though ... < 1293389777 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :at least on debian and i know plenty of players on ubuntu < 1293389797 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :it's just, I was trying it in browser. No wonder /that/ doesn't work < 1293389818 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :you mean Classic in browser? < 1293389821 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :yeah that doesn't work for me either < 1293389824 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :i just get a black screen < 1293389826 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Alpha works perfectly though < 1293389866 0 :ineiros_!unknown@unknown.invalid PRIVMSG #esoteric :You need the Sun's (still can't get myself to say Oracle's) JVM for it to work. < 1293389874 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Well, "perfectly" is a relative term. < 1293389888 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ineiros_: I use OpenJDK. < 1293389891 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ineiros_: So, nope. < 1293389894 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :"Notch" and "perfectly" are not words which fit comfortably together. < 1293389896 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Oh, for it = ClassiC? < 1293389897 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*Classic? < 1293389901 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Alpha works with OpenJDK for me at least. < 1293389905 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Faster than Whoracle's. < 1293389913 0 :ineiros_!unknown@unknown.invalid PRIVMSG #esoteric :elliott: Whoa, you got it to work with that? < 1293389939 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ineiros_: Yes. It didn't work at first, but now it does and it's faster than Sun's./ < 1293389968 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ineiros_: http://sprunge.us/GJET Those are my packages (on Debian testing). < 1293389987 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :My launch script: < 1293389990 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :#!/bin/sh < 1293389990 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :exec java -Xmx2048M -Xms1024M -cp "$(dirname "$0")/launcher.jar" net.minecraft.LauncherFrame < 1293389998 0 :ineiros_!unknown@unknown.invalid PRIVMSG #esoteric :elliott: Yes, being faster is no surprise. But at least the previous versions didn't work. I have to try that when I get my new system. < 1293390002 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ineiros_: I think maybe you have to use Sun the first time and then it works. < 1293390013 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :ineiros_: Like, maybe the initial log-in only works with Sunnnnnnnn's. < 1293390090 0 :p_q!~poiuy_qwe@bas5-toronto47-1167928546.dsl.bell.ca JOIN :#esoteric < 1293390180 0 :MigoMipo!~John@84-217-8-200.tn.glocalnet.net JOIN :#esoteric < 1293390230 0 :poiuy_qwert!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1293390301 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1293390346 0 :Leonidas_!unknown@unknown.invalid NICK :Leonidas < 1293391007 0 :Mathnerd314!~mathnerd3@dsl.6.28.53.206.cos.dyn.pcisys.net JOIN :#esoteric < 1293391873 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric : [[Wrong language. It's a shame for me that C isn't used so much these days for applications.]] < 1293391881 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :—An idiot. < 1293391893 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Note that the wrong language is Objective-C. < 1293392545 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Context? < 1293392711 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :http://aegidian.org/bb/viewtopic.php?t=3216&start=0&postdays=0&postorder=asc&highlight= < 1293392739 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :One of the many threads where someone turns up to the Oolite boards and says "Hey, let's make this an MMO!" < 1293392830 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Except this time the very well-founded reasons for not doing so are shrugged aside, and the person ploughs on regardless. < 1293392911 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Highlights include the word "fidicurially". < 1293392971 0 :KingOfKarlsruhe!~nice@p5B14C2AC.dip.t-dialin.net JOIN :#esoteric < 1293393054 0 :KingOfKarlsruhe!unknown@unknown.invalid PART #esoteric :? < 1293393112 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover, as far as I can tell "fidicurially" is not a word, does it context let you figure out the intended meaning of it? (If so: what is it?) < 1293393134 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, he meant "fiduciary". < 1293393164 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover, a word I have to admit I'm not familiar with either < 1293393167 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION looks it up
< 1293393176 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Monetary? < 1293393191 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :English: the Perl of human languages. < 1293393214 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: thoughts on functor equality? < 1293393218 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :"a person who holds assets in trust for a beneficiary; "it is illegal for a fiduciary to misappropriate money for personal gain"" < 1293393219 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1293393259 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover, I have no doubt there are weird words like this in Swedish too, some that I know, some that I don't < 1293393268 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: does it work? if so it's good :P < 1293393271 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: so a functor F:C-->D maps objects of C into D like X:C |- FX : D, but also maps maps like f : X --> Y |- Ff : FX --> FY < 1293393305 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: I did manage to define it earlier but the proof is horrific. Hoping to simplify it < 1293393340 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :that would be nice < 1293393394 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: this time I define it like F = F' when we have an isomorphism i between FX and F'X, and (dependent pair) Ff . pi1 iso Y = pi1 iso X . F'f < 1293393453 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: http://coq.pastebin.com/nFRZJ7cR < 1293393492 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: even with the proof machine on my side it's not looking good :/ line 580 < 1293393583 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :yeah that looks scary < 1293393673 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant, aaaaaaa < 1293394046 0 :Phantom_Hoover!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1293394100 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant, what are you trying to prove today? < 1293394139 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ineiros_, elliott: is the server about to be hmodified or has it recently been? < 1293394158 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: I just want to show that '=' is an equivalence relation < 1293394183 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant, doesn't coq has that in the its standard library or such? < 1293394191 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :no it's my own definition < 1293394233 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant, how does the standard library do then? < 1293394236 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :do it* < 1293394257 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I don't use that library here < 1293394461 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :ineiros_: I've used OpenJDK and OpenJDK only, and I've actually told you this. < 1293394494 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant, yeah but is it as messy as the way you do it? < 1293394507 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :(well not sure it is messy, but you seemed to imply that) < 1293394519 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: it's a totally different structure. so. < 1293394521 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, btw saw what I said above about mcmap crashing on placing a sapling? < 1293394522 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, ah < 1293394542 0 :Wamanuz!unknown@unknown.invalid QUIT :Ping timeout: 260 seconds < 1293394592 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I need to prove Ff o fgX = fgY o Gf, Gf o ghY = ghX o Hf |- Ff o (fgY o ghY) = (fgX o ghX) o Hf < 1293394641 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :first step is to change the goal into (Ff o fgY) o ghY = fgX o (ghX o Hf). Then you can use the hypothesis < 1293394778 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: No, been away. I'll take a look at some point, still more christmasy things to do first though. < 1293394814 0 :Wamanuz!~Wamanuz@78-69-168-43-no84.tbcn.telia.com JOIN :#esoteric < 1293394992 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :0x40 is not a (wiki-)known packet type, so it probably has just gotten desynchronized again. < 1293395000 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I need a decision producedure that does rewrites, not just associativity < 1293395006 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: :) < 1293395006 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: I think I have a better structure for algebraic things now. < 1293395012 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :oh neat < 1293395013 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :how does it work? < 1293395017 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Definition is_ring S plus plus0 times times1 := < 1293395017 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : is_pseudo_ring S plus plus0 times /\ < 1293395017 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : is_monoid S times times1. < 1293395018 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :like that < 1293395033 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :then e.g. integers are the ring (Z,+,0,*,1) < 1293395056 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :that could work actually < 1293395110 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :yeah, unfortunately I think there may be one issue < 1293395117 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Definition is_pseudo_ring S plus plus0 times := < 1293395117 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : is_abelian_group S plus plus0 /\ < 1293395117 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : is_semigroup S times. < 1293395118 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Definition is_ring S plus plus0 times times1 := < 1293395118 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : is_pseudo_ring S plus plus0 times /\ < 1293395118 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : is_monoid S times times1. < 1293395124 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :you might have to prove (S,*) is a semigroup /twice/ < 1293395126 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :because of that < 1293395127 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :but maybe not < 1293395217 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :what about having < 1293395240 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :Definition is_pseduo_ring S plus plus0 times semigroupPrf := is_abelian_group S plus plus0. < 1293395294 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :in fact, you could just have is_pseudo_ring ... := True. because it takes both proofs as arguments < 1293395315 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: nah, because < 1293395320 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: then you have to do "eapply" < 1293395322 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :which doesn't really work < 1293395324 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :this is much easier to prove < 1293395325 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :also, < 1293395325 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, hm... < 1293395328 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Theorem Z_ring : is_ring Z Zplus 0%Z Zmult 1%Z. < 1293395334 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :and then having is_ring -> is_lower_thing < 1293395336 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :is much nicer to do IMO < 1293395340 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :okay < 1293395356 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, well, if it got desynced... well I was just working on my tree farm before < 1293395369 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :cutting down trees and so on < 1293395391 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, also I believe PH just parted a second before or so. I don't know if he rejoined again < 1293395396 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: man, omega can't prove (a*b*c) = (a*(b*c)) in Z < 1293395397 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :how stupid si that < 1293395398 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*is < 1293395493 0 :calamari!~calamari@206.29.188.191 JOIN :#esoteric < 1293395498 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1293395574 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1293395581 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: http://sprunge.us/ECba includes (really simple!) proof that stdlib Z is a ring < 1293395607 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: erm it's duplicatd < 1293395610 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: just cut everything after Qed. < 1293395754 0 :Sasha!unknown@unknown.invalid PRIVMSG #esoteric :"...[I]n 1902, the American company Hamilton Beach patented the first electric vibrator available for retail sale, making the vibrator the fifth domestic appliance to be electrified, after the sewing machine, fan, tea kettle, and toaster, and about a decade before the vacuum cleaner and electric iron." < 1293395904 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :wrong channel? < 1293395916 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :(or was it completely out of any context?) < 1293395937 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Isn't pasting things without context a CHANNEL TRADITION. < 1293395939 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :s/out of/without/ < 1293395956 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, hm true < 1293395986 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, btw if seems a sapling can grow if you stand on it, and you will suffocate then. < 1293395997 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Indeed. < 1293396025 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, I have not yet hit that myself, but saw it on the wiki. Makes me a bit nervous about my tree farm < 1293396112 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :this equivalence of functors is just not working < 1293396584 0 :tswett!unknown@unknown.invalid PRIVMSG #esoteric :elliott: omega the ordinal number? What does it mean for an ordinal number to prove a statement? < 1293396603 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :tswett: Omega the tactic. < 1293396666 0 :tswett!unknown@unknown.invalid PRIVMSG #esoteric :Ah. Is it supposed to be a tactic that figures stuff out automatically? < 1293396723 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :tswett: Yes. :p < 1293396732 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :tswett: I forget the exact solver it uses. < 1293397546 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: I think I have up to integral domains < 1293398249 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :oh yeah try fields < 1293398297 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: see eq_functors_lemma1 and 2. http://coq.pastebin.com/HRiZqtC9 < 1293398306 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : oh yeah try fields < 1293398308 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :NOT RIGHT NOW :D < 1293398310 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :too much pain < 1293398320 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: that first lemma is the ... wow. < 1293398328 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :the second is even more wow. < 1293398346 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I just copy the proof state and turn it into a lemma < 1293398377 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :they are very simple theorems, it's just proving them takes a lot of effort and typing.. < 1293398407 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :but if I had a decision procedure that took equations of the form fg = id into account :( < 1293398422 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :actually I don't think it would handle these < 1293398537 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: but programming a solver that takes inverses into account is probably really hard < 1293398568 0 :variable!unknown@unknown.invalid QUIT :Read error: Operation timed out < 1293398587 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: you can make a lot of effort now and have it easy later ... or you can continually make a lot of slightly milder effort forever ... i usually do the latter :-) < 1293398605 0 :variable!~variable@unaffiliated/variable JOIN :#esoteric < 1293398612 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :well I'm not even sure if throwing in inverses is still decidible < 1293398621 0 :invariable!~variable@unaffiliated/variable JOIN :#esoteric < 1293398626 0 :invariable!unknown@unknown.invalid QUIT :Remote host closed the connection < 1293398697 0 :variable!unknown@unknown.invalid QUIT :Remote host closed the connection < 1293398722 0 :variable!~variable@unaffiliated/variable JOIN :#esoteric < 1293398728 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: stop varying your name < 1293398752 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :elliott, I can't help it < 1293398754 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric ::-) < 1293398760 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is variable
< 1293398783 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :maybe Knuth-Bendix < 1293398791 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :but I don't know much about Knuth-Bendix < 1293398936 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: you haven't been here before have you? hi < 1293399010 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :elliott, I would hope I've been here before - you couldn't program without me :-) < 1293399020 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :also: hi < 1293399023 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: Sure you can! < 1293399028 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: Joy is Turing-complete. < 1293399040 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Technically it has top-level function definitions but you don't /need/ them. < 1293399045 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: BCT, also, has no variables. < 1293399053 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Heck, Brainfuck doesn't... but you could consider tape cells variables. < 1293399058 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :*brainfuck < 1293399064 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION googles
< 1293399071 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: http://esolangs.org/wiki/BCT :) < 1293399094 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :elliott, BCT would be my next computer.... (my computer names are esoteric programming languages) < 1293399112 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Really? Ha < 1293399119 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :"And over here we have brainfuck..." < 1293399172 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :So far I have AlphaBeta, Babbage, and ByteByte :-) < 1293399203 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :fungot: say hi to variable < 1293399204 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :elliott: i was doing hw instructions would be and., and in the alternative syntax for c < 1293399892 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: help! < 1293399970 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: ? < 1293400029 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Joy has no variab.. hmm, I guess that makes sense. Factor's variables are conveniences < 1293400041 0 :calamari!unknown@unknown.invalid QUIT :Quit: Bye < 1293400048 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Maybe I should learn Joy < 1293400066 0 :variable!unknown@unknown.invalid PRIVMSG #esoteric :http://esoteric.voxelperfect.net/wiki/Joy doesn't exist < 1293400069 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Learning Factor might have been like learning an impure language instead of haskell for a first functional language < 1293400072 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Joy isn't esoteric < 1293400077 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, down? < 1293400088 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: no < 1293400105 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: http://en.wikipedia.org/wiki/Joy_%28programming_language%29 < 1293400109 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :variable: try Underload for the esoteric version :) < 1293400109 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :variable: http://www.latrobe.edu.au/philosophy/phimvt/joy.html < 1293400111 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: I need a way to prove these lemmas quickly < 1293400114 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Underload, yeah < 1293400119 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant: no idea, sorry :( < 1293400145 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Ok, Joy syntax is ugly to my eyes < 1293400177 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Although I'm just having an immediate knee-jerk reaction < 1293400182 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Joy is wonderful. < 1293400182 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I'm going to go AFK for a bit < 1293400192 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :^ul (12)S(*a(~:)~*^~):((1)S)~*~((2)S:*)~*:(~:()~)~*^(a(:^)*~a(*()~)~*^~^):^ < 1293400194 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :122112122122112112212112122112112122122112122121121122122112122122112112122121122122112122122112112212112122122112112122112112212112112212211212212112212212112112212211212212112112212112122112112122121122122112122122112112122112112212212112122112112212112112212212112122112112122122112122121121122122121122122112122122112112 ...too much output! < 1293400199 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ineiros_, what the heck is going on with your connection? < 1293400205 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :elliott, I don't need two concatenative languages competing for my heart < 1293400208 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :elliott, and presumably also joyful < 1293400251 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :elliott: maybe some way to extend the prover < 1293400314 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: You'd hate Joy, it doesn't have aaaaaaaaaaaany libraries at all. < 1293400341 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Neither does LSL. Oh wait, I hate LSL (but for different reasons) < 1293400361 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Actually, that is an issue with LSL, come to think of it < 1293400490 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :^ul (0)S((0)(1))(~:^:S*a~^~*a*~:^):^ < 1293400490 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :011010011001011010010110011010011001011001101001011010011001011010010110011010010110100110010110011010011001011010010110011010011001011001101001011010011001011001101001100101101001011001101001011010011001011010010110011010011001011001101001011010011001011010010110011010010110100110010110011010011001011010010110011010010110 ...too much output! < 1293400507 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :TIL that The Blue Valley has named parts < 1293400517 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :http://modarchive.org/index.php?request=view_by_moduleid&query=37685 < 1293400563 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :what program is good for playing s3m files? < 1293400577 0 :ineiros_!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: I may have used the connection again. Maybe I should try to setup some connection priorization at some point. < 1293400583 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :j-invariant, http://www.youtube.com/watch?v=KUn9SYdPF4A&feature=related is the same thing fwiw < 1293400594 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :But um... hm < 1293400596 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :VLC? < 1293400659 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :o.O http://www.aufgang.org/koch/homepage/music.asp < 1293401054 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ineiros_, well it seems completely lag spiky atm < 1293401150 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ineiros_, maybe you should give backup bulk priority or something? < 1293401173 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ineiros_, I'm giving up on mining obsidian atm < 1293401195 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Well, xmp is one sensible app for s3m files. < 1293401204 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :For some values of sensible. < 1293401207 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ineiros_, connection lost < 1293401215 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :The mikmod player is pretty horrible. < 1293401359 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :VLC plays with ModPlug-derived code, I think. < 1293401409 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ineiros_, tell me when it is up? < 1293401419 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: Or just wait. < 1293401436 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric : o.O http://www.aufgang.org/koch/homepage/music.asp < 1293401437 0 :elliott!unknown@unknown.invalid PRIVMSG #esoteric :What? < 1293401510 0 :ineiros_!unknown@unknown.invalid PRIVMSG #esoteric :Should be up now. < 1293402507 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :The ashes is on < 1293402644 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :zzo: what are the rules < 1293402966 0 :chickenzilla!~chicken@olol.eu JOIN :#esoteric < 1293404192 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :why would a .xm file be 30 MB? < 1293404210 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :0_0 < 1293404230 0 :quintopia!unknown@unknown.invalid PRIVMSG #esoteric :someone is using lots of very large samples < 1293404255 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :oh wait it's only 4 MB, not sure what happened there < 1293404259 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :maybe I just misread it < 1293405041 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :http://www.youtube.com/watch?v=IZ2BcvowYl8 < 1293405052 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION gets AW nostalgia issues from seeing the stone path
< 1293405087 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :oh, it's not a play of the plot of Legend of Zelda? < 1293405088 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Meh < 1293405210 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :I like the music < 1293405219 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Hmm, agreed < 1293407261 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Maybe it was 30 megabits? That's close-ish to 4 MB. < 1293407268 0 :j-invariant!unknown@unknown.invalid PRIVMSG #esoteric :haha