00:00:27 <elliott> (append (bind (car (cdr e)) args) env))))
00:00:49 <elliott> Pixley solves this problem by just Y-combinatoring, but, uh, ...
00:03:12 <elliott> Nobody have any fantastically enlightening opinions to give?
00:04:50 <elliott> j-invariant: It's what I called eval to not step on the built-in R5RS procedure.
00:13:20 <elliott> Great, it doesn't self-interpret...
00:15:04 <elliott> In fact, everyone fix my 'terp.
00:15:21 <elliott> Gregor: If you don't want to do that, write a paper about this: http://syntensity.com/static/python.js
00:15:26 <j-invariant> just have something that turns "lambda" into lambda and you're done
00:15:36 <elliott> CPython compiled to LLVM compiled to JavaScript.
00:15:39 <elliott> j-invariant: nope, it's a scope problem
00:15:48 <elliott> j-invariant: basically "(define x y) ..." is the same as (let ((x y)) ...)
00:15:55 <elliott> so obviously can't self-reference at all :-/
00:16:11 <elliott> and having everything be ugly
00:16:15 <elliott> but i have a subtle bug now, in self-interpreting
00:16:18 <elliott> which is just making me the sads.
00:18:15 <elliott> cons: expects 2 arguments, given 1: (car #<procedure:car>)
00:24:40 -!- RachelS has joined.
00:26:44 <elliott> RachelS: this channel is about esoteric programming languages, btw
00:27:02 <RachelS> Ah yes I've visited your wiki
00:27:11 <elliott> right, a lot of people come in here expecting other things :p
00:31:23 -!- Wamanuz has quit (Read error: Connection reset by peer).
00:31:50 -!- Wamanuz has joined.
00:33:10 -!- RachelS has left (?).
00:34:38 -!- ineiros_ has joined.
00:39:44 -!- ineiros has quit (*.net *.split).
00:51:02 <elliott> ineiros_: hMod, it is the out.
00:52:35 -!- calamari_ has joined.
00:53:47 -!- calamari has quit (Quit: Bye).
00:54:02 -!- calamari_ has changed nick to calamari.
01:38:36 <elliott> j-invariant: but category theory!
02:10:14 -!- hagb4rd has quit (Ping timeout: 240 seconds).
02:20:16 -!- Wamanuz has quit (Remote host closed the connection).
02:24:07 -!- Wamanuz has joined.
02:27:07 <elliott> does anyone else want to try the Pixley Challenge? :-P
02:27:42 -!- Sasha has quit (Read error: Connection reset by peer).
02:28:07 -!- Sasha has joined.
02:33:56 <elliott> 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."
02:34:02 <elliott> j-invariant: (That's what I just wrote now, not a quote.)
02:34:08 <elliott> It must be able to interpret itself, obviously.
02:35:36 <elliott> j-invariant: well you could do it to common lisp if you wanted i guess
02:35:40 <elliott> but scheme is simpler to implement
02:38:04 <elliott> j-invariant: why, what lang were you thinking of?
02:50:24 -!- benuphoenix has joined.
02:55:06 -!- benuphoenix has quit (Ping timeout: 272 seconds).
03:05:02 -!- pikhq has quit (Ping timeout: 255 seconds).
03:07:00 -!- pikhq has joined.
03:17:03 <elliott> oh man, this is so close to working
03:19:08 <elliott> pikhq: yep, my metacircular subset-of-Scheme interpreter
03:20:29 <elliott> procedure ...e/diuerse/d2.scm:34:5: expects 2 arguments, given 1: ((procedure? e) e)
03:29:25 <pikhq> Insufficient Calvin & Hobbes.
03:31:22 <pikhq> I've not seen you actually say something in ages!
03:36:23 <elliott> bsmntbombdood: less talking more pixley challenging
03:40:45 <elliott> bsmntbombdood: if you can make the self-interpreter smaller by doing CALL-WITH-CURRENT-CONTINUATION ... be my guest but i find it unlikely
03:41:34 -!- pikhq has quit (Ping timeout: 276 seconds).
03:42:38 -!- pikhq has joined.
03:44:16 <elliott> pikhq: so how do i order some piks from the hq
03:47:34 -!- Wamanuz has quit (Ping timeout: 276 seconds).
04:09:29 <elliott> 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.
04:11:54 <bsmntbombdood> yes, throw away existing, formally-defined terminology so someone doesn't have to learn something
04:12:19 <j-invariant> this has nothing to do with programming languages... this post is PR or something
04:13:04 <elliott> yeah i like the fortress guys but ... what on earth made him think that
04:21:54 <elliott> 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?
04:22:15 <elliott> like being able to say that a+b = b+a+error, except I'm pretty sure floating point addition is at least commutative ...
05:03:36 <elliott> pikhq: Holy shit. WebTV is still marketed and sold.
05:06:28 -!- FireFly has quit (Quit: swatted to death).
05:12:08 -!- calamari has quit (Quit: Leaving).
05:13:50 -!- elliott has quit (Remote host closed the connection).
05:14:49 <pikhq> Holy shit. People still buy that crap?
05:18:39 <Quadrescence> rms doesn't quite give the same air as jimbo wales
05:20:56 -!- pikhq has quit (Ping timeout: 264 seconds).
05:22:37 -!- pikhq has joined.
05:32:29 -!- Sgeo has joined.
05:40:50 <pikhq> I'm afraid some murderous robots from the planet Krikkit took them. Something about the "Wooden Bail"...
06:06:07 <Sgeo> DIE FLOATING POINT DIE
06:06:49 <Sgeo> 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
06:09:19 * Sgeo hits Gregor with a banking program written by an idiot who used floating-point to represent currency
06:11:42 -!- pikhq has quit (Ping timeout: 260 seconds).
06:12:41 -!- pikhq has joined.
06:20:18 -!- TLUL has quit (Ping timeout: 265 seconds).
06:22:06 -!- Mathnerd314 has joined.
06:38:31 -!- wareya has quit (Ping timeout: 260 seconds).
06:39:34 -!- zzo38 has joined.
06:41:11 <zzo38> j-invariant: I don't know. Did you ask a question about TeXnicard after I quit earlier today?
06:41:21 -!- wareya has joined.
06:42:03 <zzo38> 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.
06:42:30 <coppro> why is stats and stuff in TeX
06:42:32 <coppro> that seems totally wrong
06:42:34 <zzo38> It uses TeX to do the typesetting, METAFONT for fonts and set symbols, and ImageMagick to put everything together and apply.
06:42:40 <coppro> like 100% totally totally wrong
06:42:43 <zzo38> coppro: The stats and stuff is not in TeX.
06:42:54 <coppro> j-invariant: basically he's trying to replace MSE
06:43:00 <zzo38> TeXnicard is not written entirely in TeX. It only uses TeX for the typesetting.
06:43:02 <coppro> knowing zzo38 it will likely not happen
06:45:23 <zzo38> I have actually already written much of TeXnicard already.
06:47:19 <zzo38> It is already 71 pages long so far.
06:47:45 <coppro> you measure code in pages?
06:48:15 <zzo38> coppro: Yes. (Note this count also include the index and table of contents)
06:48:50 <zzo38> coppro: I am using Enhanced CWEB.
06:49:24 <zzo38> coppro: Is such a thing wrong?
06:52:52 <coppro> because it's so focused on making documentation out of code
06:53:11 <coppro> but this is usually unnecessary
06:53:40 <coppro> you're doing something wrong if you need a paragraph of text to accomplish each paragraph of code
06:53:58 <zzo38> coppro: A paragraph of text is not necessary for most of the paragraphs of code.
06:54:07 <zzo38> But sometimes it is useful to do so.
06:54:24 <coppro> in which regular comments usually do fine
06:54:36 <Sgeo> coppro, Factor separates code and docs into separate files
06:55:02 <zzo38> Even for the ones without, it is useful to organize into chapters, use code chunk rearrange, index, and more things.
06:55:11 <coppro> Sgeo: that I disagree with too
06:55:32 <coppro> there should really be two sorts of docs
06:55:49 <coppro> API docs are "how to use this piece of code"
06:55:52 <zzo38> Code and explanation is printed together in one book.
06:56:08 <coppro> while comments let someone looking at a confusing block of code understand it
06:56:12 <coppro> API docs should be separate
06:56:15 <zzo38> Mostly the explanations are about the "higher purpose" of the code.
06:56:30 <zzo38> It can be written as you write a book.
06:56:30 <coppro> putting API docs in comments and exracting them automatically is ok
06:58:26 <zzo38> I generally only put explanations where I think it to be necessary or if it is an interesting thing to put in the book.
06:59:34 <zzo38> 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)
07:06:34 <zzo38> 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.
07:08:56 <zzo38> Even TeX itself is written in WEB!!
07:11:43 -!- oerjan has joined.
07:15:18 <coppro> yeah, typical documentation does usually leave the super-high-level concepts out in the dust
07:16:29 <oerjan> DRIVE THEM OUT INTO THE SAHARA
07:16:45 <coppro> zzo38: as in the coders leave it behind
07:17:13 <zzo38> oerjan: What does the Sahara have anything to do with this?
07:17:38 <oerjan> i hear it's rather dusty
07:18:15 <zzo38> 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.
07:18:35 <coppro> zzo38: I still believe CWEB is overkill
07:19:01 <zzo38> coppro: That is OK, you don't have to use it. I use it, though.
07:19:15 <oerjan> 20:09:29 <elliott> 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.
07:19:20 <oerjan> 20:11:54 <bsmntbombdood> yes, throw away existing, formally-defined terminology so someone doesn't have to learn something
07:19:38 <oerjan> it's also imprecise, since "order doesn't matter" would tend to imply associativity as well
07:20:09 * Sgeo is so stupid sometimes
07:20:22 <Sgeo> Trying to do 4 chapters in one night, then 7 page essay the following day
07:20:35 <Sgeo> Well, just finished one of the chapters, at any rate
07:22:00 <Sgeo> coppro, the grades are due in by Tuesday, the professor saidn "Can you get in the review questions and a final paper by Sunday?"
07:22:01 <oerjan> <j-invariant> are the ashes on?
07:22:20 <oerjan> suddenly half the channel seems to be interested in cricket...
07:22:29 <coppro> Sgeo: where the hell are you in school
07:22:46 <j-invariant> I thought it might help me with my mathematics
07:22:57 <coppro> you're in the land of disregarding the establishment clause, right?
07:23:00 <Sgeo> There are no more classes, classes ended last week I think, no, that was finals week I think
07:23:30 <coppro> my school has a rule against assignments in exams
07:23:40 <coppro> usually complaining doesn't do much because they make it due earlier
07:23:59 <Sgeo> coppro, there's something you're not grasping: All of this stuff was due over the course of the semester.
07:24:01 <coppro> but it would probably actually work if you tried it now given that classes ended three weeks ago
07:24:08 <coppro> so you're just an idiot
07:25:13 <Sgeo> 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
07:25:26 <Sgeo> I'm never taking an online class again.
07:30:14 -!- Mathnerd314 has quit (Quit: ChatZilla 0.9.86-rdmsoft [XULRunner 1.9.2.12/20101026210630]).
07:30:58 <Sgeo> j-invariant, I stopped even looking at the online course for a few months
07:31:17 <j-invariant> were you fed up or juts thought it wasn't necessary?
07:31:41 <Sgeo> 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"
07:32:31 <Sgeo> Cryptography and Computer Security
07:32:37 <Sgeo> Anyways, this question looks fun
07:33:15 -!- zzo38 has set topic: 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.
07:33:43 <oerjan> zzo38: hey, think of the poor log readers! </joke>
07:36:16 <j-invariant> like you have to weigh up advantages and stuff
07:36:53 <oerjan> sadly based partly on unproved conjectures
07:37:07 <Sgeo> "Organizations may be willing to pay more for security products if the perceived risk is high, even if its 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
07:37:08 <Sgeo> 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)."
07:37:20 <Sgeo> I think I'm not forming my ideas coherently anymore
07:38:32 <zzo38> Can you find a proof, counterexample, or proof that there is no proof?
07:38:51 <oerjan> zzo38: was that a response to me?
07:39:06 <zzo38> Or proof of the opposite, even though you can find no counterexample?
07:39:12 <zzo38> oerjan: Partially, yes.
07:39:16 <j-invariant> it's based on evidence rather than mathematical proof
07:40:22 <oerjan> zzo38: one _might_. finding a proof would require proving the P!=NP conjecture.
07:41:12 <oerjan> the opposite might be somewhat weaker
07:43:00 <oerjan> 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
07:44:16 <j-invariant> there are statements like that about fermats last thoerem and four color thoerem? I think
07:44:35 <oerjan> i haven't heard about those...
07:45:12 <oerjan> there were of course many false leads, which might vaguely be interpreted as such theorems
07:46:09 <zzo38> Is there such a thing as a proof that there is no proof that there is a proof of such a theorem?
07:47:24 <Sgeo> 2 chapters down, 2 to go
07:47:45 <Sgeo> Didn't even read the chapter, just the questions :/
07:47:55 <Sgeo> I don't think I mentioned computing even once... oh, I did
07:48:00 <Sgeo> Railed against the Cloud a bit
07:48:01 <oerjan> 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.
07:48:42 <oerjan> oh and proofs that there are no proof need to be conditional on the consistency of the system, to avoid godel's theorems
07:48:48 <zzo38> oerjan: O, I guess you are right! That would work. A counterexample is a disproof.
07:49:16 <zzo38> oerjan: Ah, you must be right about that too.
07:50:11 <zzo38> How many years before IRC did Hofstadter write the GEB book?
07:51:25 <oerjan> IRC is from 1988 and GEB was published in 1979
07:53:14 -!- j-invariant has quit (Quit: leaving).
07:53:37 <Sgeo> 7 page paper. Written on lack of sleep. It's going to be fun on a bun
07:56:11 -!- pikhq has quit (Ping timeout: 255 seconds).
07:57:09 <oerjan> 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"
07:57:51 -!- pikhq has joined.
07:59:41 <zzo38> oerjan: Well, it will be glad that it doesn't say that! (It says "Jack" instead of "Seth")
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:00:51 <oerjan> well in any case i'm sure his paper will set a shining example
08:01:38 <zzo38> oerjan: Do you think he has enough shiny ink?
08:01:44 <Sgeo> I watched that movie a long time ago. I remember nothing about it
08:01:54 <Sgeo> Watched it at a sleepover iirc
08:02:01 <Sgeo> Or I could be hallucinating
08:02:20 <Sgeo> I think there was also The Excorcist, which I declined to watch, and some stupid movie about Martians
08:02:38 <Sgeo> I think I've only ever been to one sleepover in my life, so
08:02:43 <Sgeo> Except on a class trip
08:03:34 <Sgeo> Supposedly, I didn't eat on that trip
08:04:15 <Sgeo> Or I could be misremembering someone screaming about that at me, my memory of the trip itself is hazy
08:04:19 <oerjan> so it was an evil camp where they starved children. got it.
08:04:29 <Sgeo> But it sounds like something I might do, but that's not reliable
08:04:42 <Sgeo> oerjan, there was almost certainly food. I can just imagine myself not touching it thogh
08:04:53 <Sgeo> Maybe I drank Ensure. Used to have Ensure for lunch every day
08:05:05 <zzo38> 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?
08:05:20 <oerjan> zzo38: is that a quote?
08:05:55 <zzo38> oerjan: No. It is something I wrote in the margin of a book, next to a similar quote.
08:06:41 <oerjan> zzo38: it could be both... even illusionary money can be a scarce resource
08:07:17 <oerjan> which iiuc is all that matters to economists
08:07:53 <oerjan> in fact our modern money is quite close to being an illusion already
08:07:56 -!- CoBa has joined.
08:08:01 <zzo38> 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.
08:08:09 <zzo38> (For example, if the carpet is expensive)
08:08:58 <oerjan> zzo38: i am quite sure woody allen was joking, anyway
08:09:38 <zzo38> oerjan: Yes, of course. But this quote was in a book about philosophy (along with many other things, some of which are jokes).
08:11:00 -!- CoBa has quit (Quit: ).
08:22:57 <zzo38> This philosophy also contains a recipe for some Chinese food:
08:23:20 <zzo38> 1 pcs. chicken, 4 pcs. preserved beancurd, some gingar, chive, salt, sugar, gourmet powder, syrup, perfune, wine.
08:23:49 <zzo38> After wash, apply the preserved beaucurd, gingar, chive, salt, monosodium, sugar, syrup, perfume, wine into the bally of chicken, sew with iron needle.
08:24:13 <zzo38> After scalded by boiling water, pour water on duck, apply the syrup on the skin.
08:24:16 <zzo38> Hang it with cancel.
08:24:26 <zzo38> Then roast the chicken for ripe and skinn turn into gold-red colour.
08:29:32 -!- zzo38 has quit (Quit: Surely you are joking, Mr. Feynman!).
08:35:47 -!- asiekierka has joined.
08:35:52 <asiekierka> http://pastebin.com/idZbZm8A <- my work of yesterday
08:36:40 <asiekierka> app stored in app.txt, in binary (for example: 0000 0011, non-01 chars are ignored)
08:38:47 <asiekierka> brainf**k can be implemented in it so it seems turing-complete
08:40:12 <oerjan> asiekierka: don't you mean s/shift/rotate/ ?
08:41:14 <oerjan> i assume those shift/rotate operations are what makes it more than a pushdown automaton in power
08:44:45 <oerjan> it seems a bit run-of-the-mill to me
09:01:11 <Sgeo> Chapters of Review Questions
09:04:24 <asiekierka> 1000 0001 1101 0000 1101 0111 0001 1100 0111 0001 1100 0111 1001
09:04:31 <asiekierka> code to duplicate value on the top of the stack
09:04:45 <asiekierka> 1000 0001 1101 0000 1101 0111 0001 1100 0111 0001 1100 0110 0110 1001
09:14:59 <asiekierka> 1000 0001 1101 0000 1101 0111 0001 1100 0111 0001 1100 0110 0110 1001
09:15:20 <asiekierka> you're left with two values, counting from the top of the stack they're 0, 2, 2
09:16:43 <Sgeo> "If we think of documentation as a written work of nonfiction (or, perhaps, fiction)"
09:18:25 <asiekierka> <oerjan> it seems a bit run-of-the-mill to me
09:18:32 <asiekierka> that inspired me for a name for my esolang
09:18:34 -!- variable has joined.
09:20:04 <Sgeo> variable = "I am too tired to actually think of anything creative here";
09:20:53 <Sgeo> My way of both saying hi and trying and failing to be humorous
09:21:05 <variable> Sgeo, variable == "I don't like being googled'
09:21:53 <variable> http://codepad.org/R1ydyMJ8 --> does anyone see anything wrong with this implementation of brainfuck ?
09:22:06 <Sgeo> Oh, I wasn't saying you weren't creative
09:22:09 <Sgeo> I was saying I was
09:22:18 <Sgeo> I am doing half a semester's worth of homework in one night
09:22:25 <variable> sorry http://codepad.org/7jjWZ8QN
09:22:31 <asiekierka> but you could keep a stack of instruction pointers for the [...]
09:22:48 <variable> asiekierka, yeah - but it would complicate the code :-)
09:23:08 <variable> asiekierka, problem is .. its Not Working for any code with []s
09:23:40 <Sgeo> Cryptography and Computer Security
09:23:53 <variable> Sgeo, fun - the best class :-)
09:24:13 <Sgeo> variable, unless you screw up like I have and don't do any work for a few months
09:24:35 <variable> asiekierka, do you see anything wrong with my [ and ] implementation ?
09:25:27 <oerjan> variable: the test for ] should be != 0, not == 0
09:25:46 <asiekierka> variable i am busy porting my stackmill interp to the GBA
09:26:13 <variable> oerjan, oh woops. that was a copy/paste error ;-)
09:27:15 <variable> I wish I knew this channel existed
09:27:24 <Sgeo> oerjan, hah! I'm getting more work done while in here than I ever have while forced out!
09:27:27 <variable> my computers are named after esoteric programming languages
09:27:33 <oerjan> your wish has been fulfilled!
09:28:36 <oerjan> variable: wishes sometimes tend to come with uncomfortable delays
09:29:13 * Sgeo decides not to state his sexual wishes in the channel
09:29:44 <Sgeo> ^^even that might have been a bit much
09:30:06 <oerjan> Sgeo: i don't think that is very revealing
09:30:18 <Sgeo> It might give variable a wrong impression
09:30:42 <variable> now.. to see if I make it just as simple... without the stack/programsize limitation \
09:32:11 <variable> ,[.,] --> cat in brainfuck :-)
09:33:55 <fizzie> Our "echo" command is a bit on the whimsical side.
09:34:06 <fungot> ^<lang> <code>; ^def <command> <lang> <code>; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool
09:34:14 <fungot> http://git.zem.fi/fungot/blob/HEAD:/fungot.b98
09:34:20 <fizzie> I always forget which one it is.
09:34:48 <variable> someone should rewrite it in INTERCAL
09:35:11 <fizzie> I'm guessing that'd be a good idea if that someone were paid by line.
09:35:38 <fizzie> fungot: Say something insightful this time?
09:35:39 <fungot> fizzie: and the blots are removed from that player loses one blue vc. a unique instance of a
09:35:42 <fungot> Available: agora* alice c64 ct darwin discworld europarl ff7 fisher ic irc jargon lovecraft nethack pa speeches ss wp youtube
09:35:44 <fungot> Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams)
09:35:54 <fizzie> fungot: The agora style isn't very insightful.
09:35:55 <fungot> fizzie: what language? answered my question already
09:36:52 <Sgeo> fizzie, you don't know of Agora?
09:37:18 <Sgeo> Also, blots are OLD
09:37:23 <Sgeo> Oldie oldie old
09:37:26 <fizzie> Sgeo: I do, but it stil doesn't make that very insightful.
09:37:52 <fizzie> Yes, well, the model was built out of some sort of a collection of both current and historical rules.
09:46:17 -!- pikhq has quit (Ping timeout: 260 seconds).
09:48:08 -!- pikhq has joined.
10:07:36 -!- oerjan has quit (Quit: leaving).
11:03:20 -!- Wamanuz has joined.
11:04:30 <asiekierka> printf("%d",i) for i values over 9 breaks
12:09:34 -!- FireFly has joined.
13:15:17 -!- oerjan has joined.
13:16:17 <oerjan> <asiekierka> printf("%d",i) for i values over 9 breaks
13:16:36 <oerjan> someone thought %d was for "digit"? :D
13:19:59 <Vorpal> asiekierka, hm... reported the bug?
13:21:16 <Vorpal> asiekierka, hm is it a freestanding or a hosted environment?
13:21:49 <Vorpal> 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 <float.h>, <iso646.h>, <limits.h>, <stdarg.h>, <stdbool.h>, <stddef.h>, and <stdint.h>. "
13:22:13 <Vorpal> notably this does not include stdio.h
13:23:27 <Vorpal> 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.
13:24:16 <Vorpal> "A conforming implementation may have extensions (including additional library functions), provided they do not alter the behavior of any strictly conforming program³⁾"
13:24:57 <Vorpal> "³⁾ This implies that a conforming implementation reserves no identifiers other than those explicitly reserved in this International Standard."
13:25:39 <Vorpal> well that last bit is not in the bit that is specifically about freestanding
13:25:50 <Vorpal> so I'm not sure how you should interpret it
13:27:48 <Vorpal> 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."
13:30:21 <asiekierka> it only happens in the best GBA emulator available, NO$GBA
13:30:27 <asiekierka> it doesn't happen on the worse emulators (VisualBoyAdvance)
13:30:55 <Vorpal> (btw, of those headers required in a freestanding environment, only stdarg.h and float.h are non-trivial.)
13:31:09 <Vorpal> asiekierka, maybe it isn't the best emulator then
13:32:20 <Vorpal> (actually, it seems float.h is trivial too)
13:42:11 <asiekierka> it implements the most features and quirks
13:42:41 <asiekierka> and is recommended by most homebrew devers
13:44:07 -!- variable has quit (Read error: Connection reset by peer).
13:44:33 -!- variable has joined.
14:11:52 <Ilari> Errr... What does printf("%d",i) do if i is 10 on that platform?
14:15:11 <Ilari> Figured out what instruction inside printf crashes it?
14:19:13 <asiekierka> and i've just found a custom itoa function for that
14:32:24 -!- variable has quit (Read error: Operation timed out).
14:34:38 -!- variable has joined.
14:41:47 -!- Phantom_Hoover has joined.
14:51:43 <Vorpal> 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.
14:52:00 <Vorpal> and that works reliably with -j2
14:52:23 <Vorpal> I mean, if you only wanted to make it work *sometimes* with -j2, and never without -j it would be rather trivial.
15:07:57 <Ilari> How could such makefile even be constructed? It would have to contain race condition or unstated dependency...
15:11:28 <Ilari> And that kind of stuff tends to make it nondeterministic...
15:12:56 <Ilari> ... Unless the executables do some bizarre stuff...
15:13:24 <Ilari> But then the makefile would probably lock up if run without -j2...
15:15:42 <Vorpal> Ilari, well it could build and run an executable that checked /proc/<pid of parent>/<whatever> for command line
15:18:23 <asiekierka> http://esoteric.voxelperfect.net/wiki/Stackmill
15:50:11 <Vorpal> Phantom_Hoover, as far as I know it worked yesterday morning yes
15:54:06 <Phantom_Hoover> 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.
16:02:37 -!- sftp_ has quit (Remote host closed the connection).
16:10:26 <Vorpal> Phantom_Hoover, was the bug exiting a minecraft by breaking it?
16:10:44 -!- asiekierka has quit.
16:11:03 <Vorpal> oh wait, you been away, ehird complained about it too
16:11:50 <Vorpal> btw, wrote guide for how to get a h8300-hitachi-hms cross toolchain working on modern Linux.
16:11:58 <Vorpal> if anyone needs that I could upload it somewhere
16:12:19 <Vorpal> (you need quite a few patches to make it build and work on recent systems)
16:13:04 <Vorpal> people who might care: Anyone who has a Lego RCX and want to write C code for it (custom firmware).
16:26:14 <Vorpal> anyway http://sporksirc.net/~anmaster/lego/rcx-toolchain-guide/guide.html
16:31:01 -!- elliott has joined.
16:34:45 <Vorpal> Phantom_Hoover, where did that happen btw?
16:34:54 <Vorpal> Phantom_Hoover, I think removing the lava below might help
16:35:08 <Vorpal> elliott, he is talking about the hitting minecraft bug
16:35:25 <Phantom_Hoover> Vorpal, erm... IIRC it was the subtree end of the subtree-crossroads link.
16:35:43 <elliott> Phantom_Hoover: Yes, it's happened to me. Several times.
16:35:48 <elliott> Phantom_Hoover: Get out of your cart before hitting it, it's all that helps.
16:35:57 <Vorpal> Phantom_Hoover, crossroad being the tunnel to fizzie's?
16:42:32 <elliott> Hoover Heavy Industries accepts no responsibility for anyone who is heavy, or industrious. That is all.
16:42:53 -!- sebbu2 has quit (Read error: Connection reset by peer).
16:43:01 <Vorpal> elliott, are you behind the lagginess?
16:43:18 <elliott> I suspect the server is torrenting.
16:43:36 <elliott> Or else the beta is really so bad that three people is too much work.
16:43:45 -!- sebbu has joined.
16:43:46 <Phantom_Hoover> elliott, in other news, the Xorg Intel graphics developers have failed me!
16:43:47 <Vorpal> ineiros_, what is going on?
16:44:06 <Vorpal> elliott, were you doing something strange when it went down?
16:44:49 <elliott> (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.)
16:44:51 <elliott> Phantom_Hoover: What thing.
16:45:28 <Phantom_Hoover> Don't have one, but if you went towards ineiros' fortress from spawn you'd've seen it.
17:17:38 -!- sftp has joined.
17:17:53 <Vorpal> elliott, fizzie: mcmap bug report: planting a sapling: "[DIED] protocol.c: 361: Unknown packet id: 0x40 (dir 2)"
17:18:14 <elliott> Vorpal: I don't dig into the protocol stuff mostly; fizzie's your man there.
17:18:23 <Vorpal> elliott, ah oka[DIED] protocol.c: 361: Unknown packet id: 0x40 (dir 2)y
17:18:34 <elliott> Oka[DIED] protocol.c: 361: Unknown packet id: 0x40 (dir 2)y yourself.
17:18:39 <Vorpal> elliott, okay was what I said
17:18:44 <elliott> Vorpal: Have you tried that maintained fork of Synergy?
17:18:44 <Vorpal> but then I got a pseduo-paste
17:18:52 <Vorpal> elliott, well, I probably should
17:18:54 <elliott> "Synergy+ and Synergy have now combined efforts. Visit the new Synergy website."
17:19:14 <elliott> "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
17:19:14 <elliott> fforts for the benefit of the Open Source community."
17:19:21 <Vorpal> 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
17:19:33 <elliott> Vorpal: Try http://synergy-foss.org/packages/?C=M;O=D.
17:19:42 <Vorpal> elliott, yeah, will shortly
17:19:56 <elliott> Vorpal: Debian squeeze appears to still have old-Synergy, and links to the website which now says "lol go here instead".
17:26:29 -!- j-invariant has joined.
17:57:55 -!- sebbu2 has joined.
17:59:06 -!- Leonidas_ has joined.
18:01:53 -!- sebbu has quit (Read error: Connection reset by peer).
18:01:53 -!- Leonidas has quit (Read error: Operation timed out).
18:01:54 -!- sebbu2 has changed nick to sebbu.
18:11:47 -!- sebbu has quit (Read error: Connection reset by peer).
18:12:29 -!- sebbu has joined.
18:18:32 <elliott> Phantom_Hoover: They... took your laptop? And you didn't immediately kill them?
18:18:50 <Phantom_Hoover> elliott, no, since I would have got in trouble for that.
18:19:08 <elliott> Phantom_Hoover: Vorpal: Look at this: http://i.imgur.com/YF0nLl.jpg
18:19:16 <Phantom_Hoover> I locked the screen before I gave in, so they couldn't do anything.
18:19:55 <Vorpal> elliott, but how did they manage to get stuff into it?
18:20:09 <elliott> Vorpal: Dig into it, make space, put things there.
18:20:24 <elliott> Vorpal: I'm fairly sure that's a real hole.
18:20:36 <elliott> Disguised as an imaginary one.
18:20:53 <elliott> "hey! I made it last night :) I'm glad people enjoy it. I'ts supposed to look like a chunk error."
18:23:07 <Vorpal> elliott, why did you loose connection? server said it was due to disconnect.genericReason on his side
18:23:15 <elliott> Vorpal: I closed the game :P
18:23:20 <elliott> Without disconnecting first.
18:23:32 <elliott> To watch http://www.youtube.com/watch?v=SCJeUvqFuA0.
18:23:39 <elliott> The music was getting in the way.
18:26:23 <Vorpal> 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)
18:26:48 <elliott> Vorpal: Doesn't matter, it worked anyway (and impressive result)
18:26:56 <Phantom_Hoover> Anyone have a convenient link to a rant on the "This page is best viewed with <condition>." things you see everywhere?
18:27:00 <elliott> Vorpal: You'll notice a familiar figure when he reconnects :P
18:27:09 <elliott> Phantom_Hoover: http://www.anybrowser.org/campaign/
18:29:16 <elliott> j-invariant: you can generate infinite water from a 2x2 pool
18:29:44 <elliott> It looks like the statue of liberty :P
18:29:51 <elliott> I thought it was intentional but maybe not.
18:29:56 <Vorpal> <elliott> Vorpal: You'll notice a familiar figure when he reconnects :P <-- hm?
18:30:24 <elliott> 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."
18:30:33 <elliott> Phantom_Hoover: Reddit Minecraft server -- you can, like, put GRASS and WOOD and COBBLES down!
18:31:21 <elliott> Phantom_Hoover: They've /banned water/.
18:31:29 <elliott> I have never seen that before.
18:32:08 <Vorpal> elliott, but what about natural water and lava?
18:32:25 <Vorpal> or did they remove it?
18:32:46 <elliott> Phantom_Hoover: Can I expand the HHI research facility?
18:33:20 <Phantom_Hoover> Provided there are no externally-visible alterations to Mt. Hoover
18:33:29 <elliott> Phantom_Hoover: There won't be. Well, unless I accidentally dig to the outside.
18:53:40 <j-invariant> oh geez you have to play minecraft in browser...
18:54:13 <elliott> j-invariant: just download the .jar
18:54:22 <elliott> nobody plays in browser ... partly because nothign works with it
18:54:26 <elliott> i don't even think you can use texture packs in-browser
18:54:31 <elliott> http://minecraft.net/download/Minecraft.jar?v=1293389628306
18:55:35 <j-invariant> I don't want to buy it, I don't even know if it works
18:55:52 <elliott> j-invariant: pirate it and see? :p
18:56:13 <elliott> j-invariant: it does work though ...
18:56:17 <elliott> at least on debian and i know plenty of players on ubuntu
18:56:37 <j-invariant> it's just, I was trying it in browser. No wonder /that/ doesn't work
18:56:58 <elliott> you mean Classic in browser?
18:57:01 <elliott> yeah that doesn't work for me either
18:57:06 <elliott> Alpha works perfectly though
18:57:46 <ineiros_> You need the Sun's (still can't get myself to say Oracle's) JVM for it to work.
18:58:14 <Phantom_Hoover> "Notch" and "perfectly" are not words which fit comfortably together.
18:58:21 <elliott> Alpha works with OpenJDK for me at least.
18:58:33 <ineiros_> elliott: Whoa, you got it to work with that?
18:58:59 <elliott> ineiros_: Yes. It didn't work at first, but now it does and it's faster than Sun's./
18:59:28 <elliott> ineiros_: http://sprunge.us/GJET Those are my packages (on Debian testing).
18:59:50 <elliott> exec java -Xmx2048M -Xms1024M -cp "$(dirname "$0")/launcher.jar" net.minecraft.LauncherFrame
18:59:58 <ineiros_> 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.
19:00:02 <elliott> ineiros_: I think maybe you have to use Sun the first time and then it works.
19:00:13 <elliott> ineiros_: Like, maybe the initial log-in only works with Sunnnnnnnn's.
19:01:30 -!- p_q has joined.
19:03:00 -!- MigoMipo has joined.
19:03:50 -!- poiuy_qwert has quit (Ping timeout: 240 seconds).
19:05:01 -!- ais523 has joined.
19:05:46 -!- Leonidas_ has changed nick to Leonidas.
19:16:47 -!- Mathnerd314 has joined.
19:31:13 <Phantom_Hoover> [[Wrong language. It's a shame for me that C isn't used so much these days for applications.]]
19:45:11 <Phantom_Hoover> http://aegidian.org/bb/viewtopic.php?t=3216&start=0&postdays=0&postorder=asc&highlight=
19:45:39 <Phantom_Hoover> One of the many threads where someone turns up to the Oolite boards and says "Hey, let's make this an MMO!"
19:47:10 <Phantom_Hoover> Except this time the very well-founded reasons for not doing so are shrugged aside, and the person ploughs on regardless.
19:49:31 -!- KingOfKarlsruhe has joined.
19:50:54 -!- KingOfKarlsruhe has left (?).
19:51:52 <Vorpal> 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?)
19:52:44 <Vorpal> Phantom_Hoover, a word I have to admit I'm not familiar with either
19:53:38 <Vorpal> "a person who holds assets in trust for a beneficiary; "it is illegal for a fiduciary to misappropriate money for personal gain""
19:54:19 <Vorpal> Phantom_Hoover, I have no doubt there are weird words like this in Swedish too, some that I know, some that I don't
19:54:28 <elliott> j-invariant: does it work? if so it's good :P
19:54:31 <j-invariant> 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
19:55:05 <j-invariant> elliott: I did manage to define it earlier but the proof is horrific. Hoping to simplify it
19:56:34 <j-invariant> 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
19:58:12 <j-invariant> elliott: even with the proof machine on my side it's not looking good :/ line 580
20:07:26 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
20:08:20 <Vorpal> j-invariant, what are you trying to prove today?
20:08:59 <Vorpal> ineiros_, elliott: is the server about to be hmodified or has it recently been?
20:09:18 <j-invariant> Vorpal: I just want to show that '=' is an equivalence relation
20:09:43 <Vorpal> j-invariant, doesn't coq has that in the its standard library or such?
20:10:33 <Vorpal> j-invariant, how does the standard library do then?
20:14:21 <fizzie> ineiros_: I've used OpenJDK and OpenJDK only, and I've actually told you this.
20:14:54 <Vorpal> j-invariant, yeah but is it as messy as the way you do it?
20:15:07 <Vorpal> (well not sure it is messy, but you seemed to imply that)
20:15:19 <elliott> Vorpal: it's a totally different structure. so.
20:15:21 <Vorpal> fizzie, btw saw what I said above about mcmap crashing on placing a sapling?
20:15:42 -!- Wamanuz has quit (Ping timeout: 260 seconds).
20:16:32 <j-invariant> 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
20:17:21 <j-invariant> first step is to change the goal into (Ff o fgY) o ghY = fgX o (ghX o Hf). Then you can use the hypothesis
20:19:38 <fizzie> Vorpal: No, been away. I'll take a look at some point, still more christmasy things to do first though.
20:20:14 -!- Wamanuz has joined.
20:23:12 <fizzie> 0x40 is not a (wiki-)known packet type, so it probably has just gotten desynchronized again.
20:23:20 <j-invariant> I need a decision producedure that does rewrites, not just associativity
20:23:26 <elliott> j-invariant: I think I have a better structure for algebraic things now.
20:23:37 <elliott> Definition is_ring S plus plus0 times times1 :=
20:23:37 <elliott> is_pseudo_ring S plus plus0 times /\
20:23:53 <elliott> then e.g. integers are the ring (Z,+,0,*,1)
20:25:10 <elliott> yeah, unfortunately I think there may be one issue
20:25:17 <elliott> Definition is_pseudo_ring S plus plus0 times :=
20:25:17 <elliott> is_abelian_group S plus plus0 /\
20:25:18 <elliott> Definition is_ring S plus plus0 times times1 :=
20:25:18 <elliott> is_pseudo_ring S plus plus0 times /\
20:25:24 <elliott> you might have to prove (S,*) is a semigroup /twice/
20:27:20 <j-invariant> Definition is_pseduo_ring S plus plus0 times semigroupPrf := is_abelian_group S plus plus0.
20:28:14 <j-invariant> in fact, you could just have is_pseudo_ring ... := True. because it takes both proofs as arguments
20:28:40 <elliott> j-invariant: then you have to do "eapply"
20:28:44 <elliott> this is much easier to prove
20:28:48 <elliott> Theorem Z_ring : is_ring Z Zplus 0%Z Zmult 1%Z.
20:28:54 <elliott> and then having is_ring -> is_lower_thing
20:29:16 <Vorpal> fizzie, well, if it got desynced... well I was just working on my tree farm before
20:29:29 <Vorpal> cutting down trees and so on
20:29:51 <Vorpal> fizzie, also I believe PH just parted a second before or so. I don't know if he rejoined again
20:29:56 <elliott> j-invariant: man, omega can't prove (a*b*c) = (a*(b*c)) in Z
20:31:33 -!- calamari has joined.
20:33:01 <elliott> j-invariant: http://sprunge.us/ECba includes (really simple!) proof that stdlib Z is a ring
20:33:27 <elliott> j-invariant: erm it's duplicatd
20:33:30 <elliott> j-invariant: just cut everything after Qed.
20:35:54 <Sasha> "...[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."
20:38:36 <Vorpal> (or was it completely out of any context?)
20:38:57 <elliott> Isn't pasting things without context a CHANNEL TRADITION.
20:39:46 <Vorpal> elliott, btw if seems a sapling can grow if you stand on it, and you will suffocate then.
20:40:25 <Vorpal> elliott, I have not yet hit that myself, but saw it on the wiki. Makes me a bit nervous about my tree farm
20:41:52 <j-invariant> this equivalence of functors is just not working
20:49:44 <tswett> elliott: omega the ordinal number? What does it mean for an ordinal number to prove a statement?
20:51:06 <tswett> Ah. Is it supposed to be a tactic that figures stuff out automatically?
20:52:12 <elliott> tswett: I forget the exact solver it uses.
21:05:46 <elliott> j-invariant: I think I have up to integral domains
21:18:17 <j-invariant> elliott: see eq_functors_lemma1 and 2. http://coq.pastebin.com/HRiZqtC9
21:18:26 <elliott> <j-invariant> oh yeah try fields
21:18:40 <elliott> j-invariant: that first lemma is the ... wow.
21:18:48 <elliott> the second is even more wow.
21:19:06 <j-invariant> I just copy the proof state and turn it into a lemma
21:19:37 <j-invariant> they are very simple theorems, it's just proving them takes a lot of effort and typing..
21:20:07 <j-invariant> but if I had a decision procedure that took equations of the form fg = id into account :(
21:20:22 <j-invariant> actually I don't think it would handle these
21:22:17 <j-invariant> elliott: but programming a solver that takes inverses into account is probably really hard
21:22:48 -!- variable has quit (Read error: Operation timed out).
21:23:07 <elliott> 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 :-)
21:23:25 -!- variable has joined.
21:23:32 <j-invariant> well I'm not even sure if throwing in inverses is still decidible
21:23:41 -!- invariable has joined.
21:23:46 -!- invariable has quit (Remote host closed the connection).
21:24:57 -!- variable has quit (Remote host closed the connection).
21:25:22 -!- variable has joined.
21:25:28 <elliott> variable: stop varying your name
21:28:56 <elliott> variable: you haven't been here before have you? hi
21:30:10 <variable> elliott, I would hope I've been here before - you couldn't program without me :-)
21:30:28 <elliott> variable: Joy is Turing-complete.
21:30:40 <elliott> Technically it has top-level function definitions but you don't /need/ them.
21:30:45 <elliott> variable: BCT, also, has no variables.
21:30:53 <elliott> Heck, Brainfuck doesn't... but you could consider tape cells variables.
21:31:11 <elliott> variable: http://esolangs.org/wiki/BCT :)
21:31:34 <variable> elliott, BCT would be my next computer.... (my computer names are esoteric programming languages)
21:31:59 <elliott> "And over here we have brainfuck..."
21:32:52 <variable> So far I have AlphaBeta, Babbage, and ByteByte :-)
21:33:23 <elliott> fungot: say hi to variable
21:33:24 <fungot> elliott: i was doing hw instructions would be and., and in the alternative syntax for c
21:47:09 <Sgeo> Joy has no variab.. hmm, I guess that makes sense. Factor's variables are conveniences
21:47:21 -!- calamari has quit (Quit: Bye).
21:47:28 <Sgeo> Maybe I should learn Joy
21:47:46 <variable> http://esoteric.voxelperfect.net/wiki/Joy doesn't exist
21:47:49 <Sgeo> Learning Factor might have been like learning an impure language instead of haskell for a first functional language
21:47:52 <Sgeo> Joy isn't esoteric
21:48:25 <elliott> variable: http://en.wikipedia.org/wiki/Joy_%28programming_language%29
21:48:29 <oerjan> variable: try Underload for the esoteric version :)
21:48:29 <elliott> variable: http://www.latrobe.edu.au/philosophy/phimvt/joy.html
21:48:31 <j-invariant> elliott: I need a way to prove these lemmas quickly
21:48:39 <elliott> j-invariant: no idea, sorry :(
21:49:05 <Sgeo> Ok, Joy syntax is ugly to my eyes
21:49:37 <Sgeo> Although I'm just having an immediate knee-jerk reaction
21:49:42 <Sgeo> I'm going to go AFK for a bit
21:49:52 <oerjan> ^ul (12)S(*a(~:)~*^~):((1)S)~*~((2)S:*)~*:(~:()~)~*^(a(:^)*~a(*()~)~*^~^):^
21:49:54 <fungot> 122112122122112112212112122112112122122112122121121122122112122122112112122121122122112122122112112212112122122112112122112112212112112212211212212112212212112112212211212212112112212112122112112122121122122112122122112112122112112212212112122112112212112112212212112122112112122122112122121121122122121122122112122122112112 ...too much output!
21:49:59 <Vorpal> ineiros_, what the heck is going on with your connection?
21:50:05 <Sgeo> elliott, I don't need two concatenative languages competing for my heart
21:50:08 <Vorpal> elliott, and presumably also joyful
21:50:51 <j-invariant> elliott: maybe some way to extend the prover
21:51:54 <elliott> Sgeo: You'd hate Joy, it doesn't have aaaaaaaaaaaany libraries at all.
21:52:21 <Sgeo> Neither does LSL. Oh wait, I hate LSL (but for different reasons)
21:52:41 <Sgeo> Actually, that is an issue with LSL, come to think of it
21:54:50 <oerjan> ^ul (0)S((0)(1))(~:^:S*a~^~*a*~:^):^
21:54:50 <fungot> 011010011001011010010110011010011001011001101001011010011001011010010110011010010110100110010110011010011001011010010110011010011001011001101001011010011001011001101001100101101001011001101001011010011001011010010110011010011001011001101001011010011001011010010110011010010110100110010110011010011001011010010110011010010110 ...too much output!
21:55:07 <Sgeo> TIL that The Blue Valley has named parts
21:55:17 <Sgeo> http://modarchive.org/index.php?request=view_by_moduleid&query=37685
21:56:03 <j-invariant> what program is good for playing s3m files?
21:56:17 <ineiros_> Vorpal: I may have used the connection again. Maybe I should try to setup some connection priorization at some point.
21:56:23 <Sgeo> j-invariant, http://www.youtube.com/watch?v=KUn9SYdPF4A&feature=related is the same thing fwiw
21:57:39 <Sgeo> o.O http://www.aufgang.org/koch/homepage/music.asp
22:04:14 <Vorpal> ineiros_, well it seems completely lag spiky atm
22:05:50 <Vorpal> ineiros_, maybe you should give backup bulk priority or something?
22:06:13 <Vorpal> ineiros_, I'm giving up on mining obsidian atm
22:06:35 <fizzie> Well, xmp is one sensible app for s3m files.
22:06:44 <fizzie> For some values of sensible.
22:06:47 <Vorpal> ineiros_, connection lost
22:06:55 <fizzie> The mikmod player is pretty horrible.
22:09:19 <fizzie> VLC plays with ModPlug-derived code, I think.
22:10:09 <Vorpal> ineiros_, tell me when it is up?
22:10:36 <elliott> <Sgeo> o.O http://www.aufgang.org/koch/homepage/music.asp
22:36:06 -!- chickenzilla has joined.
22:57:10 <quintopia> someone is using lots of very large samples
22:57:35 <j-invariant> oh wait it's only 4 MB, not sure what happened there
23:10:41 <Sgeo> http://www.youtube.com/watch?v=IZ2BcvowYl8
23:10:52 * Sgeo gets AW nostalgia issues from seeing the stone path
23:11:27 <Sgeo> oh, it's not a play of the plot of Legend of Zelda?
23:47:41 <fizzie> Maybe it was 30 megabits? That's close-ish to 4 MB.