00:00:07 <Vorpal> elliott, also stairs use a different direction-encoding scheme
00:00:22 <Vorpal> as ladders YET another one
00:06:18 -!- Mathnerd314 has quit (Ping timeout: 260 seconds).
00:10:14 -!- pikhq has quit (Ping timeout: 240 seconds).
00:12:30 -!- pikhq has joined.
00:18:41 -!- Sgeo has joined.
00:22:06 <elliott> ifneq "$(findstring $(SPACE),$(CURDIR))" ""
00:22:06 <elliott> $(error Your work area is under a directory whose name contains a space. While it's possible to beat make into working with such directories, it's surprisingly hard and causes more problems than it solves. So, sorry, but don't do that)
00:22:16 <elliott> --salma-hayek, another (and much larger, multi-file) make "framework"
00:22:25 <Sgeo> If I fail this course, my GPA will go from 3.86 to a number larger than 3.61
00:22:35 <Vorpal> elliott, you will do it I presume?
00:22:56 <elliott> Vorpal: GPA = stupid numeric measure of success in USA
00:22:57 -!- cheater99 has joined.
00:23:09 <elliott> Vorpal: And I don't know if I'll do it; it really is a *huge* pain and it's also impossible to use lists like that, I think.
00:23:11 <Sgeo> 4.0 being straight As
00:23:23 <Vorpal> Sgeo, so don't fail it?
00:23:36 <Sgeo> Vorpal, do half a semester's worth of work in one night?
00:24:12 <elliott> Sgeo: On, what, xor swapping in Perl?
00:24:21 <olsner> elliott: make framework == fail, make library == potentially not fail
00:24:23 <Vorpal> Sgeo, so why didn't you?
00:24:37 <elliott> olsner: "framework" in so far as it defines targets like "all" and "clean" for you :P
00:24:39 <pikhq> Vorpal: "GPA" = "Grade Point Average". Essentially an averaging of grades, with A=4.0, B=3.0, C=2.0, D=1.0, F=0.0.
00:24:40 <Sgeo> Vorpal, I missed a deadline, then got scared of checking whether it would be possible to submit
00:24:41 <Vorpal> Sgeo, I mean, why didn't you work
00:24:44 <Sgeo> And it kind of snowballed
00:24:57 <olsner> at least using the framework/library distinction I read in a random blog post a while ago, dunno if there's any official definition of it
00:25:04 <pikhq> It's a very bizzare "measure" of academic performance.
00:25:13 <elliott> olsner: well with make it's more like... ball of mud vs. ball of mud :D
00:25:17 <pikhq> Especially as the given out grades are essentially arbitrary.
00:25:47 <Sgeo> elliott, yes, scared
00:25:58 <Sgeo> Of the thing closing so I couldn't submit work
00:26:09 <elliott> "scared of checking whether it would be possible to submit"
00:26:15 <elliott> Sgeo: You said scared of checking.
00:26:32 <Sgeo> Well, I ended up not checking. Or looking at it. Or doing anything else
00:27:10 -!- sftp has quit (Ping timeout: 272 seconds).
00:27:26 -!- cheater99 has quit (Ping timeout: 240 seconds).
00:27:48 <elliott> Gregor: You... forced a new WebKit build into Safari?
00:27:59 <Sgeo> elliott, early adapter?
00:28:09 <elliott> <Sgeo> Well, I ended up not checking. Or looking at it. Or doing anything else
00:28:11 <elliott> Question not answered yet.
00:28:35 <Sgeo> elliott, because I was scared.
00:29:03 -!- poiuy_qwert has quit (Read error: Connection reset by peer).
00:29:04 <Sgeo> Of it being too late to do anything
00:29:12 <olsner> except for getting into the next level of education where you can achieve: more useless grades
00:29:13 <Sgeo> elliott, you think that this was rational?
00:29:15 <elliott> Sgeo: Yes, but you said scared of /checking/.
00:29:21 <elliott> No, but irrational is one thing.
00:29:23 <elliott> Completely stupid is another.
00:29:39 <elliott> olsner: but then you get a ph.d.!
00:29:57 * pikhq declares it to be time for more Shin Megami Tensei: Persona 3 FES
00:30:08 <olsner> elliott: orly? I didn't
00:30:24 <elliott> olsner: then you didn't get enough useless grades
00:30:41 -!- poiuy_qwert has joined.
00:31:23 <olsner> eugh, these x86 assembly instructions are so damned long :(
00:32:42 <elliott> olsner: write your OS in MIPS and then just write a MIPS emulator in x86 asm
00:34:14 <olsner> or ARM, I have arbitrarily decided that I like ARM assembly more than MIPS
00:34:21 <olsner> MIPS is easier to decode though
00:35:03 <elliott> olsner: yes but with mips you can, one day, perhaps run on jsmips
00:35:37 -!- pikhq has quit (Ping timeout: 276 seconds).
00:36:00 <olsner> or maybe look into Alpha which has that PAL thingy
00:36:07 <elliott> olsner: alpha is super-complex :P
00:36:56 -!- pikhq has joined.
00:37:12 <olsner> hmm, right, not so cool to emulate... but potentially for writing stuff in
00:37:25 <elliott> olsner: write it in MIX, not MMIX, MIX
00:37:36 <olsner> as in, write a microkernel directly in PAL or something
00:37:43 <pikhq> Man. This game has an in-game calendar.
00:37:48 <pikhq> The End of the World is marked on it.
00:38:18 <elliott> "By default, the Make rules should compile and link with ‘-g’, so that executable programs have debugging symbols. Users who don't mind being helpless can strip the executables later if they wish."
00:38:20 <olsner> not sure what you can do with it though, and wikipedia didn't have a complete description so I'll assume there's not a lot of online information about it
00:38:26 <elliott> yeah, I use the debugging symbols in my binaries ALL THE TIME
00:39:07 <pikhq> 20100131, in fact.
00:39:29 <olsner> elliott: it's a microcodeish thing that allows you to define custom assembler instructions (really function calls into PAL code)
00:39:49 <elliott> olsner: psht, why not overwrite the actual microcode of the x86
00:39:50 -!- cheater99 has joined.
00:40:17 <olsner> elliott: that would be awesome, if only you could make your own
00:40:28 <olsner> maybe I should get a job at intel or something
00:40:57 <elliott> olsner: linux lets you write to microcode with a file in /proc if it's enabled at kconfig time
00:41:04 <elliott> olsner: for applying microcode updates from intel
00:41:12 <elliott> olsner: all you have to do is figure out the format and instructions!
00:41:25 <olsner> ... and intel's private key for microcode updates?
00:42:32 <elliott> olsner: well, let's put it this way
00:42:39 <elliott> olsner: either you can figure it out by reading the linux kernel source,
00:42:46 <elliott> olsner: or /intel's cpus actually check the key themselves/
00:42:56 <elliott> now, the latter would be an amazing feat of silicon
00:43:31 <olsner> as I understand it, what's in linux is just glue code for sending the contents of intel's microcode files into the cpu
00:43:59 <elliott> olsner: so you're saying the cpu actually has silicon/microcode on it to verify a public key?
00:44:00 <olsner> i.e. mostly useless for anyone wanting to construct their own microcode file
00:44:25 <oerjan> elliott: the key wouldn't actually have to be assymetric, would it?
00:44:39 <elliott> oerjan: well no i was about to correct that but decided not to :D
00:45:36 <olsner> elliott: it could also have plain x86 code that does it - every x86 cpu comes with an x86 cpu after all
00:46:02 <elliott> (I accept no responsibility if etc.)
00:46:19 <elliott> olsner: Try It And Snorkel
00:46:41 <olsner> I do wonder what happens if you send random data as the microcode thing
00:47:01 <elliott> (Tiaras Impede Actually Snorkelling)
00:47:02 * oerjan watches olsner brick his computer
00:47:50 -!- cheater99 has quit (Ping timeout: 240 seconds).
00:48:43 <elliott> olsner: so how can I make everything depend on the Makefile I wonder
00:49:13 <olsner> this sounds promising: "The microcode update is volatile and needs to be uploaded on each system boot i.e. it doesn't reflash your cpu permanently, reboot and it reverts back to the old microcode."
00:50:40 <elliott> olsner: it probably won't brick it then! now cat /dev/urandom to it
00:51:04 <elliott> olsner: http://www.urbanmyth.org/microcode/
00:51:08 <elliott> olsner: this may help sorta
00:51:44 <elliott> what's the filename for microcode again?
00:51:48 <elliott> i wanna see if i can cat it :P
00:52:13 <olsner> it's a text file, with many sets of updates (for different models, presumably), each is a list of 32-bit hexadecimal values
00:52:31 <olsner> you can: apt-get install intel-microcode :)
00:53:20 <elliott> $(.WHAT_DEFAULT_GOAL_WILL_BE_AT_THE_END_OF_EVALUATION)
00:54:09 <olsner> most of the data sets seem to have a header (a bunch have 12 words, the last entry in the file has 36 words of header)
00:57:23 <elliott> olsner: please tell me you're actually gonna try writing to the file
01:00:35 -!- cheater99 has joined.
01:01:06 <olsner> first problem: finding out which of all these updates belong to my CPU model
01:01:06 <pikhq> SOON THERE SHALL BE SATAN
01:01:24 <pikhq> AND I SHALL BE INVINCIBLE
01:03:31 <olsner> nice, the code that teases apart the file-of-all-updates into the right per-cpu update is in the kernel
01:04:20 -!- cheater99 has quit (Read error: Connection reset by peer).
01:07:57 <elliott> elliott@dinky:~/code/useful-make$ ls
01:07:58 <elliott> foo.c foo.d Makefile useful.make
01:07:58 <elliott> elliott@dinky:~/code/useful-make$ rm foo.d
01:07:58 <elliott> rm: cannot remove `foo.d': No such file or directory
01:10:43 <elliott> olsner: GUESS AGAIN MY FRIEND
01:21:06 -!- cheater99 has joined.
01:23:13 -!- cheater99 has quit (Read error: Connection reset by peer).
01:25:20 <olsner> hmm, looks like I won't have time to do this microcode thingy until after christmas
01:25:45 <Sgeo> According to the academic calendar, the grades are due in a week
01:25:51 <Sgeo> So maybe I can still pull this off
01:28:42 <olsner> (it suddenly involved a reboot because I don't have kernel modules installed for my running kernel)
01:29:22 <elliott> olsner: rebooting takes until after christmas?
01:29:22 <olsner> and microcode loading (which might print some numbers when running) and msr reading (which could also tell me those numbers) both require loading some specific kernel modules
01:29:36 <elliott> olsner: can't you just modprobe
01:29:37 <olsner> no time for planned downtime!
01:29:39 <elliott> the one advantage of dynamic modules!
01:29:59 <olsner> hmm, using modprobe solves not having the modules installed?
01:30:24 <elliott> olsner: well you can always recompile the kernel, install it, and use modprobe, no>?
01:30:33 <elliott> or even just compile the modules themselves?
01:30:48 <elliott> Makefile:2: *** commands commence before first target. Stop.
01:31:24 <elliott> lol it was because i had indentation
01:33:55 <Sgeo> I'm starting to think I put about as much effort into school as a high school dropout, I just happen to be lucky
01:34:35 <olsner> hmm, I could just reinstall the kernel package I had when I last booted :)
01:35:22 <olsner> dmesg after modprobe microcode says: sig=0x10677, pf=0x10, revision=0x703 <-- those are the droids I should be looking for
01:35:53 <pikhq> There's snow in Australia right now.
01:35:58 <pikhq> On the summer. Fucking. Solstice.
01:38:16 <Sgeo> pikhq, therefore, Global Warming is a lie!
01:38:25 <elliott> works, but still prints $(2)
01:38:31 <elliott> WHAT THE FUCK IS HAPPEN;FGHING
01:39:21 <elliott> $(1).d : $(1).c ; $(call compile,DEP $(1).c,
01:39:21 <elliott> -MF $(call quote,$(1).d) \
01:40:09 -!- cheater99 has joined.
01:40:57 <elliott> oh, i needed MOAR BACKSLUSHES
01:42:46 <elliott> elliott@dinky:~/code/useful-make$ make
01:42:47 <elliott> elliott@dinky:~/code/useful-make$ make clean
01:42:49 <elliott> pikhq: Oh god this is hideous.
01:43:13 -!- cheater99 has quit (Read error: Connection reset by peer).
01:44:14 <olsner> hmm, this thing only contains 2012 bytes of microcode
01:45:04 <oerjan> when the snow crust carries a man at summer solstice, spring will be late
01:45:25 <elliott> olsner: I think they only contain "patches".
01:46:33 <oerjan> (ancient northern norwegian proverb)
01:46:56 <olsner> grr, forgot about how 4-byte ints take 4 bytes each - it's actually 8k :)
01:49:26 <elliott> $(call c-program-rule,$(1))
01:49:26 <elliott> $(call c-dep-rule,$(1),$(1))
01:49:26 <elliott> $(if $(cleaning),,-include $(1).d)
01:51:05 <elliott> pikhq: olsner: http://sprunge.us/ejFR useful.make
01:51:07 <elliott> http://sprunge.us/YEbG Makefile
01:51:12 <elliott> Warning: MOST HIDEOUS HACK IN THE HISTORY OF HACKS.
01:51:22 <elliott> quote = '$(subst ','\'',$(1))'#'
01:51:23 <oerjan> "The language for Apex is sort of a combination of TECO and Sam."
01:51:30 <elliott> $(1).d : $(1).c ; $(call compile,DEP $(1).c,
01:51:30 <oerjan> http://scientopia.org/blogs/goodmath/2010/12/19/apex-my-editor-project/
01:51:30 <elliott> -MF $(call quote,$(1).d) \
01:52:07 <elliott> but, dammit, Apex is already a cpressey language!
01:53:32 <elliott> nobody gonna call me out on that? :P
01:54:07 -!- FireFly has quit (Quit: swatted to death).
01:54:15 <elliott> pikhq: not gonna cry at my useful.make?
01:58:06 <oerjan> elliott: google does not seem to support that claim much
01:58:28 <elliott> oerjan: it was actually a language i managed to trick cpressey into semi-designing before he buggered off irc :)
02:00:09 -!- cheater99 has joined.
02:04:09 -!- cheater99 has quit (Read error: Connection reset by peer).
02:09:01 <elliott> elliott@dinky:~/code/useful-make$ make
02:09:01 <elliott> foo.c: In function ‘main’:
02:09:01 <elliott> foo.c:2: error: expected ‘;’ before ‘}’ token
02:09:02 <elliott> (command was: cc -o 'foo' 'foo.c')
02:09:12 <elliott> @echo $(call quote,$(SPACE)$(SPACE)$(1)$(TAB)$(2)); $(strip $(3)) || ( \
02:09:13 <elliott> echo ' (command was: '$(call quote,$(strip $(3)))')'; \
02:09:21 <elliott> I'm a four-dollar programmer.
02:18:22 <pikhq> elliott: There is no God.
02:18:32 <elliott> pikhq: No -- I am god, see.
02:18:40 <elliott> pikhq: I got the number of $s right on my *second try*.
02:18:49 <elliott> I went straight from $? to $$$$?.
02:18:49 <Sgeo> What language is this?
02:18:52 <elliott> That is how in tune I am with make right now.
02:18:56 <elliott> Sgeo: Make, of the GNU variety.
02:19:01 -!- poiuy_qwert has quit (Read error: Connection reset by peer).
02:19:08 * Sgeo decides not to learn it
02:19:16 <elliott> Sgeo: It's not a language, it's a build system.
02:19:22 <elliott> A BUILD SYSTEM THAT I HAVE PERVERTED
02:19:34 <Sgeo> Oh, that's alright then
02:19:43 <elliott> IT IS SO, /SO/ NOT ALL RIGHT
02:20:22 <Sgeo> Oh it's "Oh. Well, that's all right then"
02:20:39 -!- cheater99 has joined.
02:20:49 -!- poiuy_qwert has joined.
02:22:29 <Sgeo> http://www.american-buddha.com/hitchhikersolong8.htm how is this legal? Or is it not?
02:22:45 <elliott> Clearly it is totally legal.
02:23:19 -!- cheater99 has quit (Read error: Connection reset by peer).
02:25:38 <pikhq> Sgeo: Copyright is enforced via civil law. Making it trivial to violate without fear of retribution if you're not a big enough target.
02:28:06 <elliott> pikhq: http://sprunge.us/STBN useful.make, slightly less horrific version.
02:28:20 <elliott> pikhq: Semi-recommended reading now, as it merely provides insight into using and abusing make, rather than also inflicting mortal pain :P
02:38:36 * pikhq attempts to gain 20 to 30 levels
02:39:01 -!- poiuy_qwert has quit (Read error: Connection reset by peer).
02:39:23 <pikhq> I could beat the game, but I want to completely break it first.
02:40:05 <Sgeo> pikhq, what game is this?
02:40:07 -!- cheater99 has joined.
02:40:15 <Sgeo> Wait, didn't I ask previously?
02:40:16 <pikhq> Shin Megami Tensei: Persona 3 FES
02:40:41 <pikhq> AKA "really fucking hard".
02:40:41 * Sgeo wishes that all the effort that goes into mining Bitcoins was redirected to Folding@Home
02:40:51 -!- poiuy_qwert has joined.
02:41:53 -!- cheater99 has quit (Read error: Connection reset by peer).
02:46:09 <olsner> ah, I have now found the microcode that matches my CPU (both rev 0x705 and 0x703)
02:46:32 <olsner> (change random parts and go? :D)
02:46:37 <pikhq> The mooks have mediarahan. WHY.
02:46:42 <pikhq> (mediarahan is a full party heal)
02:47:53 <olsner> incidentally, the size of the patch doubled in size between those two revs
02:48:31 <elliott> * Sgeo wishes that all the effort that goes into mining Bitcoins was redirected to Folding@Home
02:48:34 <elliott> i suppose you hate hashcash, too
02:48:50 <Sgeo> elliott, how much effort is put into hashcash, anywhere?
02:48:59 <Sgeo> Does Hashcash even see use?
02:49:02 <elliott> Sgeo: um, very little, just like bitcoins
02:49:24 <Sgeo> People apparently have purchased lots of expensive GPUs for Bitcoins
02:50:00 <elliott> fizzie: Would you be upset if I replaced the mcmap makefile with another one that's about 11 lines long, much clearer, and depends on an awful hideous monstrosity file I'm writing called useful.make? :-)
02:52:42 <elliott> mcmap's current Makefile is broken and doesn't generate the .ds.
02:56:23 -!- poiuy_qwert has quit (Read error: Operation timed out).
02:56:54 -!- poiuy_qwert has joined.
02:58:39 -!- cheater99 has joined.
03:01:25 -!- cheater99 has quit (Read error: Connection reset by peer).
03:04:25 <elliott> pikhq: So... you ever generated filenames with spaces in them using make?
03:05:25 <elliott> pikhq: (I'm trying to fix useful.make's handling of that right now.)
03:14:47 <elliott> pikhq: I should just give up, shouldn't I.
03:17:39 -!- cheater99 has joined.
03:20:40 -!- cheater99 has quit (Read error: Connection reset by peer).
03:22:40 <Sgeo> elliott, because you don't go to sleep at night
03:22:51 <elliott> it's just 3:22 am fuck off
03:23:01 * Sgeo was trying to be humerous
03:23:08 <Sgeo> I can't spell today
03:24:07 <Sgeo> Ok, now I'm cracking up
03:26:17 <elliott> pikhq: So... do you happen to know a variant of $(foreach) that works for escaped spaces?
03:30:20 <augur> im afraid to make my videogame :(
03:31:43 <Sgeo> augur, don't turn into me >.> [yes I know that makes no sense]
03:34:21 <Sgeo> augur, crippling fear preventing you from getting something done
03:34:35 <augur> im afraid to do it because i want to EXPERIENCE the game
03:34:50 <augur> and if i MAKE the game, ill be intimately familiar with it from the outset
03:34:58 <augur> there wont be anything wondrous to experience
03:35:37 <Quadrescence> hm which one of you talented young minds wants to write about something interesting on my BLOG
03:36:17 <elliott> Quadrescence: i don't know. such a shame that links can only be clicked once before they expire forever
03:37:09 -!- cheater99 has joined.
03:39:48 <Quadrescence> anyway if someone is interested in posting something cool i'm totes down with it but ideally it should probably contain a little math or compsci
03:40:47 -!- cheater99 has quit (Read error: Connection reset by peer).
03:41:48 <elliott> just link to the #esoteric logs
03:42:16 <elliott> i don't think you'll find much support for that statement on #esoteric
03:42:34 <elliott> especially considering how popular logreading is
03:49:08 <elliott> doubtful, i can't recall ever seeing anyone in here do any work voluntarily
03:50:18 <Quadrescence> it's an outlet to Talk About Something Interesting
03:50:56 -!- augur has quit (Read error: Connection reset by peer).
03:51:13 -!- augur has joined.
03:52:08 <Quadrescence> elliott: well i don't want someone writing who'd feel like they're doing work
03:57:02 <elliott> pikhq: So this horrible hack turns out to be really nice actually: http://sprunge.us/HBNM
03:57:09 -!- cheater99 has joined.
03:59:53 -!- cheater99 has quit (Read error: Connection reset by peer).
04:11:48 <pikhq> elliott: That's pretty nice if you ignore the contents of useful.make.
04:12:51 <elliott> pikhq: It's getting better, actually: http://sprunge.us/MbZN
04:13:05 <elliott> Oh, ignore the commented-out defines...
04:13:12 <pikhq> You're making GNU make usable.
04:13:26 -!- kanzure has joined.
04:15:03 <pikhq> この場所は皆が英語で話せる所です。けど、僕は英語で話したくないので、日本語で話してる。^_^
04:15:30 <elliott> kanzure: a place of death and diere
04:15:32 -!- poiuy_qwert has quit (Read error: Connection reset by peer).
04:15:39 -!- cheater99 has joined.
04:15:42 <elliott> kanzure: or a channel for esoteric programming languages
04:16:15 <elliott> kanzure: we're all awaiting your decision!
04:16:28 <elliott> pikhq: Apparently, because you talk in English, you speak Japanese.
04:16:49 <pikhq> elliott: Google Translate fails horribly.
04:17:07 <pikhq> elliott: It turns a negative into a positive and ignores the "want to" suffix.
04:17:37 <pikhq> "This is a place where everyone speaks English. But, since I don't want to speak English, I'm speaking Japanese."
04:18:55 -!- poiuy_qwert has joined.
04:18:55 -!- cheater99 has quit (Read error: Connection reset by peer).
04:21:29 <elliott> fizzie: Can I replace the Makefile with http://sprunge.us/HBNM plus a 100-line-or-so-black-box include file? :p
04:27:47 <elliott> oerjan: dief is the name of a macro in mcmap's code; I just felt it suitably ... die-y. It sounded very Nazi in a wonderful way! (Best sentence. Best sentence.)
04:28:39 <oerjan> apparently it means "thief" in dutch
04:28:47 <oerjan> but then, no one understand dutch anyhow
04:29:07 * oerjan hits his fingers for bad spelling
04:34:39 -!- cheater99 has joined.
04:39:10 -!- cheater99 has quit (Read error: Connection reset by peer).
04:41:44 <pikhq> oerjan: Especially not the Dutch.
04:41:56 <pikhq> It's a big game they play with foreigners.\
04:42:08 <pikhq> Much like Swedish without the bork bork bork.
04:42:37 <oerjan> or the danish http://www.youtube.com/watch?v=s-mOy8VUEBk
04:44:08 <elliott> 16:10:03 * oerjan has _never_ masturbated to the curry-howard isomorphism. should i try it?
04:44:28 * oerjan has no recollection of that quote
04:44:45 <elliott> 16:09:24 <dixon> HEY LOOK GUYS I CAN PRETEND I'M A MATHEMATICIAN BECAUSE I CAN WRITE PROOFS IN COQ fapfapfapfapfap etc
04:44:45 <elliott> 16:09:31 * Sgeo_ should probably learn what the Curry-Howard isomorphism
04:44:51 <elliott> (and some other stuff, but)
04:45:42 <oerjan> i am pretty sure i didn't actually try it, though
04:45:55 <elliott> oerjan: you have done a disservice to science.
04:46:37 <Sgeo> Dear Facebook: When I download my data, I want to download all of it. That includes the messages to/from a girl who blocked me.
04:47:09 -!- poiuy_qwert has quit (Read error: Connection reset by peer).
04:47:27 <Sgeo> elliott, I thought you hated xkcdsucks
04:47:57 <elliott> xkcd sucks, xkcdsucks is just stupid as of late
04:48:04 <elliott> http://xkcdexplained.com/ is perfect though
04:48:29 <Sgeo> elliott, it seems to have ended
04:48:46 <elliott> Yes, that's part of what's so perfect about it.
04:49:18 -!- poiuy_qwert has joined.
04:51:43 <Sgeo> I do kind of like the latest xkcd, though the "bitches" bit seems overdone
04:51:53 <Sgeo> Randall is now making references to his own comic
04:52:33 <Sgeo> Actually, the latest xkcd is awesome, especially if you subtract the flaws. It's a wonderful message
04:55:39 -!- cheater99 has joined.
04:56:02 <elliott> oerjan: look what you have done:
04:56:04 <elliott> ./08.11.01:01:10:32 * psygnisfive manually masturbates oerjan for feminine hysteria
04:56:04 <elliott> ./08.11.01:01:17:32 * psygnisfive manually masturbates oerjan for fun
04:56:41 <oerjan> i am _so_ sorry for destroying your innocence in this way
04:57:28 <elliott> 01:15:07 * oerjan is not particularly hysterical today, or feminine for that matter.
04:57:29 <elliott> 01:15:38 <oerjan> perhaps.
04:57:29 <elliott> 01:17:22 <psygnisfive> doubly good then!
04:57:29 <elliott> 01:17:32 * psygnisfive manually masturbates oerjan for fun
04:57:29 <elliott> 01:19:37 <oerjan> hey, a deer outside the window
04:57:29 <elliott> 01:26:12 <psygnisfive> cute :D
04:57:31 <elliott> 01:36:12 <pikhq> Yeah, that mundane magic page is one of the most brilliant things I've read in a long time.
04:57:34 <elliott> 01:36:44 <fizzie> Er, misread that as "hey, a deer masturbates outside the window" "cute".
04:57:38 <elliott> 01:37:08 <oerjan> thank you, fizzie.
04:58:07 -!- cheater99 has quit (Read error: Connection reset by peer).
04:59:18 <oerjan> not that there is anything wrong with that.
04:59:50 <elliott> oerjan: as a deer, i concur.
04:59:53 -!- elliott has quit (Quit: TO CUTENESS!).
05:00:17 <Sgeo> MY MIND'S EYE! MY POOR MIND'S EYE!
05:01:09 <oerjan> it's just the universe's way to attempt to shock you out of procrastination.
05:02:05 <Sgeo> I may have more time than I thought
05:02:21 <Sgeo> If I don't have as much time as I now think I might have, I might as well accept the 3.6 GPA
05:14:39 -!- cheater99 has joined.
05:16:48 <pikhq> Sgeo: Hardly anybody will care about your GPA.
05:18:17 -!- cheater99 has quit (Read error: Connection reset by peer).
05:29:31 <pikhq> Total lunar eclipse tonight; it's penumbral right now.
05:29:47 <pikhq> Should be more obviously visible in about an hour when the moon hits the umbra.
05:29:55 <pikhq> And be total about an hour after that.
05:30:01 <coppro> thought I had my timing off
05:30:13 <oerjan> i know that, i just thought it was several hours until it
05:30:35 <pikhq> The penumbra screws your concept of timing!
05:31:26 <oerjan> sadly the moon here looks like it's about to set :(
05:32:47 <pikhq> oerjan: http://upload.wikimedia.org/wikipedia/commons/6/6d/Visibility_Lunar_Eclipse_2010-12-21.png According to this, you will just barely be able to totality as the moon sets.
05:33:07 <pikhq> Erm, to see totality
05:35:09 -!- cheater99 has joined.
05:36:03 <Sgeo> I think I'm going to eat
05:36:19 -!- cheater99 has quit (Read error: Connection reset by peer).
05:36:21 <Sgeo> I won't miss anything if this is the last time I look at the moon for the next hour, will I?
05:36:34 <coppro> the real fun is when you get totality
05:36:42 <coppro> or at least when the umbra hits
05:36:46 <pikhq> Sgeo: Well, the moon will be slowly darkening for the next hour.
05:36:59 <pikhq> Not much to see until it gets close to the umbra, though.
05:53:09 -!- cheater99 has joined.
05:55:38 -!- cheater99 has quit (Read error: Connection reset by peer).
06:12:09 -!- cheater99 has joined.
06:15:08 -!- cheater99 has quit (Read error: Connection reset by peer).
06:24:01 -!- poiuy_qwert has quit (Quit: This computer has gone to sleep).
06:31:39 -!- cheater99 has joined.
06:35:22 * oerjan just took a trip outside to check
06:36:59 -!- cheater99 has quit (Read error: Connection reset by peer).
06:36:59 <pikhq> It's actually pretty nice here.
06:38:06 <oerjan> um i am assuming it cannot look much different in america :D
06:38:21 <pikhq> oerjan: Well, it's just a nice night out, and the moon is straight up.
06:38:49 <pikhq> (no, but seriously, don't you know? The American moon is MUCH better than yours!)
06:39:01 <pikhq> (why else do you think we had to go there?)
06:39:02 <oerjan> AND made of cheese, too
06:39:17 <oerjan> ours is just made of cardboard
06:41:00 <pikhq> Yeah. We go and mine it, because it's the only way for America to get good cheese.
06:46:46 <augur> pikhq: where are you??
06:48:39 * Sgeo is still eating :/
06:53:09 -!- cheater99 has joined.
06:57:12 -!- cheater99 has quit (Read error: Connection reset by peer).
07:14:09 -!- cheater99 has joined.
07:17:59 -!- cheater99 has quit (Read error: Connection reset by peer).
07:21:20 -!- oerjan has quit (Quit: leaving).
07:34:39 -!- cheater99 has joined.
07:37:58 -!- cheater99 has quit (Read error: Connection reset by peer).
07:43:05 <Sgeo> pikhq is Facebook-stalking me =P
07:43:26 <Sgeo> And Mr. Totality is an enemy combatant obviously
07:43:30 <pikhq> I FACEBOOK-STALK EVERYONE.
07:43:40 <pikhq> But especially you.
07:54:21 <quintopia> pikhq: it's still lighter on one side...will it not get totally red?
07:54:39 -!- cheater99 has joined.
07:55:16 <pikhq> quintopia: It will towards the time of greatest eclipse, 08:16:56 UTC.
07:56:57 -!- SgeoN1 has joined.
07:57:10 -!- cheater99 has quit (Read error: Connection reset by peer).
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:08:05 -!- FireFly has joined.
08:11:48 -!- boily has joined.
08:14:09 -!- cheater99 has joined.
08:16:22 -!- cheater99 has quit (Read error: Connection reset by peer).
08:24:24 -!- boily has quit (Quit: leaving).
08:29:42 -!- atrapado has joined.
08:33:09 -!- cheater99 has joined.
08:33:50 -!- SgeoN1 has quit (Quit: Bye).
08:37:20 -!- cheater99 has quit (Read error: Connection reset by peer).
08:54:09 -!- cheater99 has joined.
08:57:27 -!- cheater99 has quit (Read error: Connection reset by peer).
08:58:18 -!- atrapado has quit (Read error: Connection reset by peer).
08:59:37 -!- Sgeo has quit (Ping timeout: 255 seconds).
09:14:09 -!- cheater99 has joined.
09:19:55 -!- cheater99 has quit (Read error: Connection reset by peer).
09:35:46 -!- Slereah has quit (Ping timeout: 260 seconds).
09:36:39 -!- cheater99 has joined.
09:40:45 -!- cheater99 has quit (Read error: Connection reset by peer).
09:53:15 -!- frodatio has joined.
09:53:31 -!- frodatio has left (?).
09:53:34 <Ilari> 2.98 /8s in APNIC pool (the allocation threshold is about 2 /8s)...
09:56:39 -!- cheater99 has joined.
09:59:41 -!- cheater99 has quit (Read error: Connection reset by peer).
10:16:09 -!- cheater99 has joined.
10:19:49 -!- cheater99 has quit (Read error: Connection reset by peer).
10:20:46 -!- Slereah has joined.
10:25:16 -!- Sasha2 has joined.
10:28:25 -!- javawizard has joined.
10:33:10 -!- Sasha has quit (*.net *.split).
10:33:13 -!- jcp has quit (*.net *.split).
10:33:13 -!- dbc has quit (*.net *.split).
10:33:22 -!- javawizard has changed nick to jcp.
10:34:04 -!- dbc has joined.
10:34:56 -!- ais523 has joined.
10:36:39 -!- cheater99 has joined.
10:40:37 -!- cheater99 has quit (Read error: Connection reset by peer).
10:40:56 -!- ais523 has quit (Remote host closed the connection).
10:47:59 -!- ais523 has joined.
10:57:09 -!- cheater99 has joined.
10:59:58 -!- cheater99 has quit (Read error: Connection reset by peer).
11:04:17 -!- cal153 has quit (Ping timeout: 265 seconds).
11:12:13 -!- oerjan has joined.
11:13:51 <oerjan> it got too cloudy here :(
11:16:39 -!- cheater99 has joined.
11:20:15 -!- cheater99 has quit (Read error: Connection reset by peer).
11:35:15 -!- ais523 has quit (Remote host closed the connection).
11:36:39 -!- cheater99 has joined.
11:38:29 -!- atrapado has joined.
11:40:43 -!- cheater99 has quit (Read error: Connection reset by peer).
11:40:45 -!- atrapado has changed nick to roper.
11:40:58 -!- roper has changed nick to atrapado.
11:57:01 -!- cheater99 has joined.
11:59:57 -!- cheater99 has quit (Read error: Connection reset by peer).
12:16:01 -!- cheater99 has joined.
12:18:34 -!- ais523 has joined.
12:20:25 -!- cheater99 has quit (Read error: Connection reset by peer).
12:28:09 -!- ais523 has quit (Read error: Connection reset by peer).
12:29:27 -!- ais523 has joined.
12:36:33 -!- cheater99 has joined.
12:37:17 <ais523> hmm, a page linked from reddit turned out to be incapable of scrolling without javascript turned on
12:37:24 <ais523> of all the things that people use javascript for, that's pretty weird
12:37:33 <ais523> (I opened it in w3m, in the end, so it wouldn't use the CSS either)
12:39:02 -!- cheater99 has quit (Read error: Connection reset by peer).
12:49:28 -!- pikhq has quit (Ping timeout: 276 seconds).
12:50:59 <Ilari> Javascript or is it javashit? :-)
12:51:02 -!- pikhq has joined.
12:52:32 <ais523> Ilari: there's nothing fundamentally wrong with JavaScript (in fact, it's a very nice language, although the DOM is irritating), but people try to use it in all sorts of contexts where they probably shouldn't
12:55:01 -!- cheater99 has joined.
12:58:16 -!- cheater99 has quit (Read error: Connection reset by peer).
13:14:31 -!- cheater99 has joined.
13:17:56 -!- cheater99 has quit (Read error: Connection reset by peer).
13:34:01 -!- cheater99 has joined.
13:36:23 -!- cheater99 has quit (Read error: Connection reset by peer).
13:46:56 -!- Sasha has joined.
13:49:39 -!- Sasha2 has quit (Ping timeout: 250 seconds).
13:52:29 -!- cheater99 has joined.
13:58:07 -!- cheater99 has quit (Read error: Connection reset by peer).
14:15:32 -!- cheater99 has joined.
14:16:25 -!- Slereah has quit (Ping timeout: 255 seconds).
14:19:19 -!- cheater99 has quit (Read error: Connection reset by peer).
14:36:28 -!- cheater99 has joined.
14:41:07 -!- cheater99 has quit (Read error: Connection reset by peer).
14:58:00 -!- cheater99 has joined.
15:01:22 -!- cheater99 has quit (Read error: Connection reset by peer).
15:02:53 -!- ais523 has quit (Remote host closed the connection).
15:15:17 -!- Slereah has joined.
15:18:30 -!- cheater99 has joined.
15:19:42 -!- hagb4rd has joined.
15:19:56 -!- wareya_ has joined.
15:22:08 -!- cheater99 has quit (Read error: Connection reset by peer).
15:22:52 -!- wareya has quit (Ping timeout: 240 seconds).
15:33:26 -!- sftp has joined.
15:40:06 -!- cheater99 has joined.
15:44:56 -!- cheater99 has quit (Read error: Connection reset by peer).
15:56:16 -!- elliott has joined.
15:56:27 <elliott> http://www.foxnews.com/opinion/2010/12/21/woke-kids-lunar-eclipse/ ;; apparently this is what passes for an article these days
15:57:07 <elliott> erm then again clicking a random link on that page only seems to show a tagline for me too, so maybe Fox don't want me to see their articles for fear of mocking them :D
16:02:06 -!- cheater99 has joined.
16:04:22 -!- Phantom_Hoover has joined.
16:05:35 -!- cheater99 has quit (Read error: Connection reset by peer).
16:12:50 -!- j-invariant has joined.
16:13:25 <Ilari> "Times like these will never happen again.". Err... TLEs happen about once per 17 months on average (oh, and there's apparently two next year) and are visible from about half of the planet at once...
16:16:21 <elliott> Ilari: yeah I think there's more article but the server isn't showing it
16:16:39 <elliott> http://www.foxnews.com/world/2010/12/21/report-evacuated-suspicious-odor/ was just a tagline before but it isn't now
16:16:47 <elliott> so heh, the entire article is "Times like these will never happen again."
16:17:05 <elliott> maybe he means that the democrats and gays are going to band together and blow up the moon
16:17:16 <j-invariant> elliott: I got a decent chunk of cats done in coq now
16:18:00 <j-invariant> the proofs are awful though, don't know how to sort that
16:18:04 <elliott> j-invariant: This many? http://www.stitching-dreams.co.uk/images/Bundle%20of%20KittensMed.jpg
16:18:12 <elliott> More seriously though, cool.
16:18:23 <Ilari> For some reason I can't seem to access anything under nasa.gov (it won't resolve).
16:18:23 <elliott> I forget why I abandoned my impl. based on that one paper...
16:18:40 <elliott> I do know that whenever I start doing algebraic structures, it fails round about at ... what point was it
16:18:51 <Ilari> Doing the resolutions manually works, no idea why the recursive nameserver can't resolve it.
16:19:11 <elliott> I think it was the first one that was just two other structures combined
16:19:16 <elliott> I think all my operations became ambiguous or something
16:19:30 <j-invariant> elliott: well that's useful actually - if you know what it is that made you give up I could try it out (too see if what I have falls apart or not)
16:19:35 <elliott> but it worked *really* nicely before that with coercions and all ... can't remember if I ever did it with categories though
16:19:50 <elliott> j-invariant: well, that was when i gave up doing algebraic structures, not categories :)
16:20:01 <elliott> j-invariant: An implementation of the structures with categories would be interesting, though.
16:20:25 <elliott> Preferably with coercions from stronger structures to weaker ones, and then defining "op" on e.g. magmas
16:20:31 <elliott> so that all calls to op downcast the structure or whatever
16:20:34 -!- co345at_office_i has joined.
16:20:34 <co345at_office_i> dude u want this http://ihaxor.hpage.com/get_file.php?id=911760&vnr=411870
16:20:34 -!- co345at_office_i has left (?).
16:20:35 <j-invariant> I think I would need an example of algebra done inside category theory to get me started though
16:20:44 <Ilari> For some reason it started to wrk...
16:21:05 <elliott> Definition {A : Magma} (x : A) (y : A) := op A x y
16:21:12 <elliott> Definition opp {A : Magma} (x : A) (y : A) := op A x y
16:21:18 <elliott> oh, to hell with it, I've forgotten; I'll try again!
16:21:26 <elliott> j-invariant: yeah i'm not sure how to do it with categories really
16:21:42 <elliott> j-invariant: I have a feeling that Coq-with-categories would end up being a lot of fluff to get it cooperating with the categories
16:21:45 <Ilari> And yes, NASA does confirm the two TLEs for next year... :->
16:22:42 <elliott> hacking a complex makefile while writing Coq ... this can only go well
16:22:44 <j-invariant> elliott: proofs are really verbose - I think I have to have my categories act as a model of an abstract theory or something, so all the mess doesn't leak in to proofs
16:23:06 -!- cheater99 has joined.
16:23:19 <elliott> j-invariant: you could do that thing where you declare a model with axioms and then you "prove" them according to a concrete structure
16:23:23 <elliott> though i've forgotten how to do that in coq
16:23:26 <elliott> something with sections or something
16:23:42 -!- j-invariant has quit (Quit: leaving).
16:24:24 <Phantom_Hoover> elliott, it's Section <name>., then some Variable declarations, then End. IIRC.
16:24:34 <elliott> Phantom_Hoover: right, yes
16:24:48 <elliott> then you can code everything to the "axioms" which you have actually proved according to the gnarly concrete structure
16:26:12 -!- cheater99 has quit (Read error: Connection reset by peer).
16:28:03 <oerjan> Ilari: um the unusual thing is supposedly that the eclipse is on the same day as the solstice (in american time zones)
16:29:07 * elliott takes a look at <co345at_office_i> dude u want this http://ihaxor.hpage.com/get_file.php?id=911760&vnr=411870
16:29:10 <oerjan> i read something about this only happening every 500 years.
16:29:22 <elliott> well it's a folder called psyBNC2.3.1 but that actually contains what looks like mIRC :P
16:30:11 <Phantom_Hoover> oerjan, I fail to see the actual *significance* of that.
16:30:39 <elliott> oh j-invariant left i was just about to say something i remembered
16:30:45 <oerjan> Phantom_Hoover: it's news!
16:30:46 <Phantom_Hoover> I mean, extremely improbable astronomical things happen pretty regularly, since there are a lot of them.
16:31:53 <oerjan> Gregor: i think it would be somehow nice if the timeout stuff didn't include the time EgoBot needs to drag itself out of bed, is my suspicion
16:33:03 <elliott> oerjan: you see, botte does everything really quickly ...
16:34:05 <elliott> Coercion Magma_to_Set (m : Magma) : Set := M m.
16:34:14 <oerjan> no it doesn't, because it's not _here_
16:34:29 <elliott> except that since Coq is stupid we need
16:34:43 <elliott> because otherwise we get clashes later, because coq is a douchebag
16:34:47 <elliott> so moving on, anonymous log-reader,
16:35:30 <elliott> magmaO : magmaM -> magmaM -> magmaM
16:35:30 <elliott> Coercion Magma_to_Set (m : Magma) : Set := magmaM m.
16:35:31 <elliott> Definition o {M : Magma} (a : M) (b : M) :=
16:35:47 <elliott> this is the point where i get bored for a while
16:38:12 <Vorpal> <oerjan> no it doesn't, because it's not _here_ <-- haven't you realised that elliott does not know the difference between present and future tense by now?
16:38:32 <oerjan> ah yes, timeless elliott
16:38:32 <elliott> that's disturbingly close to the truth :)
16:38:57 <elliott> IT'S NOT LEFT-RECURSIVE DAMMIT I TOLD YOU IT HAS NO ASSOCIATIVITY
16:39:02 <Vorpal> elliott, I would say it *is* the truth based on the data we have
16:39:13 <elliott> fuck off, I'm battling Coq
16:43:36 -!- cheater99 has joined.
16:44:17 <elliott> what, why are you complaining
16:44:43 <elliott> "Error: Notation _ * _ is already defined at level 40 with arguments
16:44:43 <elliott> at level 40, at next level while it is now required to be at level 40
16:44:43 <elliott> with arguments at next level, at next level."
16:44:59 <elliott> i am pretty sure those two are equivalent :D
16:45:09 <elliott> the first one is at level 40 i think
16:49:26 -!- cheater99 has quit (Read error: Connection reset by peer).
16:52:58 <elliott> pikhq: "The convention of using the same suffix ‘.l’ for all Lex files regardless of whether they produce C code or Ratfor code makes it impossible for make to determine automatically which of the two languages you are using in any particular case."
16:54:53 <elliott> "Ratfor was invented by the people who invented C. After inventing C, they realized that they had made a mistake (too many semicolons) and they fixed it in Ratfor, although it was too late for C." --Stanford
16:55:03 <elliott> (Okay, so not STANFORD THEMSELVES.)
16:56:00 <Vorpal> elliott, scapegoat question
16:56:37 <Vorpal> elliott, have I understood it correctly in that it allows you to, for example, filter commits by some commiters (such as esr)
16:57:35 <elliott> I mean, yes, you could use a script to whitelist every non-esr commit, and in a hypothetical infinitely-flexible version, you could define a branch to be "not-authored-by-esr", but in the version I'm planning to implement, no, there is no native support for that.
16:58:03 <elliott> I think branches will end up as, in my version, explicitly-whitelisted or automatic, to control whether patches trickle in without being explicitly pulled in.
16:58:44 <Vorpal> elliott, ah. Because based on that rather simplistic explanation there are some obvious issues. Trivial one being, committer a writes a function foo, but you filter him. In another file, committer b (which you white list) changes something to call this function foo.
16:59:02 <Vorpal> (and the obvious issue arise)
16:59:12 <elliott> @echo ' RM$x'; rm -f $x || ( exit=$$?; echo ' (command was: rm -f $x)'; exit $$exit ); \
16:59:30 <elliott> Vorpal: Obviously patches to patches you don't have don't get applied.
16:59:43 <Vorpal> elliott, so the compile will then break as one would expect
16:59:52 <elliott> But no, what you describe is not a feature of scapegoat at all, it is merely something that can be done with an extended, general implementation.
17:00:06 <elliott> Therefore don't tell me how useless it is, I /know/ how useless it is; good thing it's not a feature, then.
17:00:28 <elliott> It's simply that if you let branches be predicates for whether a patch is accepted, then
17:00:28 <Vorpal> elliott, right, I saw you discuss this some days ago with ais.
17:00:35 <elliott> (\p => p.author != (hash of esr))
17:00:41 <elliott> is a valid branch, albeit one with rather few files in it.
17:00:48 <elliott> (given C-INTERCAL, which he wrote most of)
17:01:54 <elliott> The idea was that @tip would point to a complex formula specifying "the most recent (or was it oldest?) maximally-merged branch".
17:02:12 <elliott> But at that point you've got a full programming language and at least for now I've vetoed it, and will special-case @tip.
17:02:43 <Vorpal> elliott, ah, but TC branch description sounds fun!
17:02:52 <elliott> It would definitely not be TC.
17:05:23 <elliott> http://www.mcsweeneys.net/links/dreamjobs/dreamjobs5.html Ouch.
17:06:38 -!- cheater99 has joined.
17:09:11 <elliott> HOW CAN A VARIABLE /LOSE/ VALUES
17:09:30 -!- cheater99 has quit (Read error: Connection reset by peer).
17:09:35 <elliott> to_clean += $(1) $(2:.c=.o) $(2:.c=.d)
17:10:38 <oerjan> underscoring the difference
17:15:07 <elliott> pikhq: http://sprunge.us/gZOC
17:15:21 <elliott> pikhq: useful.make -- now with implicit rules and more readability!
17:16:38 <elliott> fizzie: Heh, I was just about to whine at you for making a curses dependency, but I see you've made it readline.
17:27:08 -!- cheater99 has joined.
17:28:57 -!- cal153 has joined.
17:30:28 -!- cheater99 has quit (Read error: Connection reset by peer).
17:31:14 -!- atrapado has quit (Read error: Connection reset by peer).
17:33:04 -!- MigoMipo has joined.
17:33:30 -!- oerjan has quit (Quit: Good night).
17:37:58 -!- olsner has quit (Quit: Leaving).
17:41:03 <elliott> Vorpal: quick! what's the variable name of the tree in which we're out-of-tree-building to?
17:41:11 <elliott> BUILDDIR is ugly because of the repeated D
17:44:54 <Vorpal> (since iirc VPATH works kind of the other way)
17:45:38 <Vorpal> didn't notice the typo
17:45:40 <elliott> yeah I'm not sure whether to get source files from another directory, or to put build files in another directory
17:45:52 <elliott> "GNU Standard" is to put build files in . and look for sources elsewhere, but that's a bit inconvenient
17:46:01 <elliott> as opposed to "make" by default putting stuff into build/
17:46:13 <Vorpal> elliott, it is kind of useful when you have a configure script and you have different builds against the same tree
17:46:25 <elliott> Vorpal: "make BUILDDIR=x" "make BUILDDIR=y"
17:46:48 <Vorpal> elliott, make DEBUG=1 BUILDDIR=debug vs. cd debug && make
17:46:54 <elliott> Vorpal: also, the Makefile would have to figure out what directory it's in to figure out where all the files are, which just screams "MORE GNU MAKE FUNCTION FUN" to me :)
17:46:56 <elliott> <Vorpal> elliott, make DEBUG=1 BUILDDIR=debug vs. cd debug && make
17:47:06 <elliott> make DEBUG=1 BUILDDIR=debug vs. cd debug && ../configure --enable-debug && make
17:47:08 <Vorpal> elliott, it is a bit messier without a configure script yes
17:47:11 <elliott> first one sounds nicer to me
17:47:16 <Vorpal> elliott, the thing with configure is that you do it once
17:47:20 <Vorpal> then just make in the future
17:47:25 <Vorpal> as you update the version control
17:47:36 <elliott> Vorpal: 99.999999999999999999999% of times that's not what happens.
17:47:46 <Vorpal> elliott, it is when you are a developer
17:47:52 <elliott> because the makefile changes. or because you remove the source tree. or any number of reasons. (yes, i know /you/ don't0
17:48:02 <elliott> it's easiest just to keep the default build/ directory.
17:48:04 -!- cheater99 has joined.
17:48:07 <elliott> hell, you could even make DESTDIR=debug by default if DEBUG is on
17:48:09 <Vorpal> elliott, as an end user, sure it isn't
17:48:32 <elliott> the former is actually more convenient because you don't have to cd back afterwards
17:48:45 <Vorpal> elliott, often you want do run the binary though
17:48:48 <Vorpal> if you are a developer
17:49:24 <Vorpal> elliott, I tend to not trust that for anything large. Imagine: wesnoth: can not find data files
17:49:24 <elliott> Vorpal: and for users, "$ cd mcmap && make" is much nicer than "$ cd mcmap && mkdir build && make -f ../Makefile"
17:49:32 <elliott> which is how it'd look in this case
17:49:41 <elliott> Vorpal: i.e. programs that need to be installed to be tested
17:49:52 -!- hagb4rd has quit (Ping timeout: 245 seconds).
17:49:56 <Vorpal> elliott, well, they tend to often run from the build dir too
17:50:05 <Vorpal> because the devs get fed up with installing when testing
17:50:07 <elliott> Vorpal: add a "make test" target
17:50:18 <elliott> test: mcmap ; cd build; ./mcmap
17:50:21 <Vorpal> elliott, that is probably for the regression test suite
17:50:32 <elliott> mcmap doesn't even have an install target :P (although if I can convince fizzie to let me replace the Makefile with one using useful.make, it'll automagically get one)
17:50:32 <Vorpal> elliott, also mcmap need options
17:50:40 <elliott> Vorpal: oh jesus shut up and write a shell script
17:50:40 -!- cheater99 has quit (Read error: Connection reset by peer).
17:50:51 <Vorpal> elliott, I didn't say your solution was bad
17:51:01 <Vorpal> elliott, just that the alternative isn't as bad as you make it out to be
17:51:07 <elliott> Sure. But it is without a configure script.
17:51:14 <elliott> gnu make is so broken :( You can't make targets depend on variable values.
17:51:23 <Vorpal> elliott, sometimes a configure script is the sanest option
17:51:24 <elliott> if CFLAGS change, the objects need rebuilding
17:51:39 <elliott> <elliott> if CFLAGS change, the objects need rebuilding
17:51:39 <Vorpal> elliott, I was thinking larger thing.
17:51:45 <elliott> Vorpal: yeah, no, configure is never the right option.
17:51:54 <Vorpal> elliott, Gregor disagrees
17:52:13 <elliott> actually, pikhq hates autotools almost as much as i do.
17:52:24 <elliott> Vorpal: but nice argument from authority...
17:52:26 <Vorpal> elliott, yes but he think it is the least of bad alternatives iirc
17:52:33 <elliott> Vorpal: no, he likes makefiles.
17:52:38 <elliott> Gregor: If you ever want to update me on your current opinions... just let me know.
17:52:47 <elliott> Gregor: After all, you are like unto a god, and everything you say is immediately entered into my mind.
17:53:13 <Vorpal> elliott, well, I pretty much agree with Gregor's arguments for why configure is sometimes good. That is why I refer to him instead of restating them
17:53:19 <Vorpal> since I know he told you before
17:53:41 <Vorpal> not appeal to authority thus
17:53:46 <elliott> Vorpal: Actually, he said configure is better than SCons, CMake, and plain-untailored-Makefiles when stuff is semi-complex and needs to be portable.
17:53:58 <Vorpal> sure, when you *can* avoid configure that is a good idea
17:54:06 <Vorpal> I do not love configure either
17:54:13 <elliott> 3. Retards can't write Makefiles.
17:54:20 <Vorpal> but in some cases it is the least bad of options
17:54:28 <elliott> Only if you ignore the right option.
17:54:32 <Vorpal> elliott, how do you crosscompile with useful.make?
17:54:45 <Vorpal> elliott, specifically a cross toolchain
17:54:46 <elliott> Vorpal: make cc=your-crosscompiling-gcc-name
17:55:10 <elliott> Vorpal: But, uhh, if you're going to form opinions based on what is essentially a 115-line proof of concept ...
17:55:18 <Vorpal> elliott, of course not
17:55:23 <elliott> It does everything mcmap's current Makefile does, plus some.
17:55:39 <elliott> Now why the fuck is it not regenerating the .ds at this point ...
17:57:02 <fizzie> elliott: Right, the curses bits are there just because I used the curses attempt as a basis for the readline thing. Anyway, basically what it does is to use rl_replace_line("", 0); rl_redisplay(); to make the "readline area" contain just "> ", then wipe that with \r\e[K, print out the output, then rl_insert_text() the old text back and rl_forced_update_display() it on screen. (But since messing around with the readline buffer isn't exactly safe while some code
17:57:02 <fizzie> is inside readline(), I had to use that alternative, callback-driven interface.)
17:58:19 <fizzie> I would have to see the useful.make before I can make any sensible decisions; the current Makefile isn't exactly complicated either. (Especially if you get rid of the build-it-with-"-combine -fwhole-program" parts, which would I think happen also with the include useful.make solution.)
17:58:39 <elliott> fizzie: The current Makefile has such features as "doesn't actually build the .d files properly".
17:58:50 <elliott> (This is why useful.make seemed to be almost half a second slower at building the whole program.)
17:59:02 <elliott> Or at least it didn't build them properly last time I checked.
18:00:15 <elliott> (useful.make isn't exactly the *prettiest* thing -- GNU Make metaprogramming, yay -- but it doesn't do anything "awful", it's just a bit ugley. It's something I'm planning to maintain separately and beyond mcmap, though, so it's not like I've made the Makefile simpler by just shoving it into another file. It's more generic than that.)
18:00:21 <elliott> Also this will give an install target for free.
18:00:30 <elliott> And do out-of-tree builds.
18:01:03 <fizzie> Well, "whatever". As long as the build system doesn't get in the way.
18:01:14 <elliott> MWAHAHAHA WORLD DOMINATION SHALL BE MINE
18:02:02 <fizzie> I did switch from pkg-config zlib to just plain '-lz', since that is such a quasi-standard thing, and my work-workstation didn't have zlib installed inside pkg-config either.
18:03:26 <elliott> Oh, I dropped the debug target for "make debug=1", but to be fair, "make debug" was pretty slow because of the recursion.
18:03:43 <fizzie> Oh, and I did some protocol-updates based solely on that one wiki; I was a bit suspicious of one of their changes. Will have to test those new things tonight.
18:04:04 -!- j-invariant has joined.
18:05:00 <fizzie> I definitely don't care about the build system speed, given the size of the project. (So far things like "make clean; make debug" have been <2 seconds.)
18:05:03 <Vorpal> elliott, that mc bug with peaceful in single player you mentioned
18:05:08 <Vorpal> did you confirm actual monsters?
18:05:17 <elliott> Vorpal: No, I'm too much of a pussy to.
18:05:31 <elliott> j-invariant: I remembered how I did the structures.
18:05:37 <Vorpal> elliott, I haven't seen anything about it elsewhere
18:08:18 <Vorpal> elliott, sure it was on peaceful?
18:08:34 -!- cheater99 has joined.
18:08:37 <Vorpal> elliott, maybe you changed it by mistake
18:09:13 <elliott> Vorpal: no, it was peaceful.
18:09:34 <elliott> j-invariant: Record Magma := mkMagma {
18:09:34 <elliott> magmaO : magmaM -> magmaM -> magmaM
18:09:34 <elliott> Coercion Magma_to_Set (m : Magma) : Set := magmaM m.
18:09:35 <elliott> Definition op {M : Magma} (a : M) (b : M) :=
18:09:38 <elliott> Infix "*" := op (at level 40, no associativity).
18:09:40 <elliott> j-invariant: that's the basic idea
18:09:44 <elliott> Record Semigroup := mkSemigroup {
18:09:50 <elliott> forall a b c : semigroupMagma,
18:09:56 <elliott> (that code doesn't work because * is already defined in coq, but whatever)
18:10:44 <elliott> j-invariant: but iirc this falls down later
18:10:48 <elliott> j-invariant: but yeah i'd like to see your draft
18:10:49 <j-invariant> I have been putting up with things like magmaO M a (magmaO M b c) everywhere
18:11:13 <elliott> j-invariant: the nice thing about the coercions is, you can have "Foo" be a InsertStructureHere with all the proofs bundled in and the like,
18:11:16 <elliott> j-invariant: but also say (x : Foo)
18:11:21 <elliott> because of the coercion to Set
18:12:50 -!- cheater99 has quit (Read error: Connection reset by peer).
18:14:09 <elliott> j-invariant: you've certainly got much further than i ever did
18:14:16 <elliott> worries me slightly that the category definitions are a bit ugly though
18:14:39 <j-invariant> I'm surprised myself, I didn't expect to be able to defined CAT
18:15:05 <elliott> remind me to photoshop a picture of a cat to be made out of smaller versions of itself sometime
18:15:18 <elliott> IIRC the paper I read defined Cat
18:17:35 <j-invariant> I wonder if I keep going with it.. if it will not collapse
18:17:55 <elliott> j-invariant: I hope not, it'd be awesome if you could get the algebraic structures on top of that... then it might be a decent alternative to the crappy coq stdlib
18:18:18 <j-invariant> yeah notice I use -nois which means nothing from Coq library gets used
18:18:39 <elliott> yeah ... for some reason that didn't undefine the * notation for me though when i did those structures just now
18:19:14 <elliott> fizzie: Pushed the new build system; if you don't look at useful.make it's all nice and pretty. "make" does an OPTOMIZED(tm) build (well, just -O3; -funroll-loops is probably not helpful), "make debug=1" does a DEBUGGERISED(tm) build. "make clean" works, "make install" doesn't exist right now, "make objdir=foo" does what you'd expect, and you can set CFLAGS and the like if you don't know what cc.flags is.
18:19:32 <elliott> fizzie: It niceifies the build output by default, but prints out the full command whenever anything goes wrong; V=1 makes it print everything (and this is automatically turned on if you use -n.)
18:19:45 <elliott> "make clean all" fails to generate the .ds properly due to an obscure bug, but I'm looking into that now.
18:19:59 <elliott> And I used -lz rather than pkg-configging zlib.
18:20:05 <elliott> It builds into build/ by default.
18:21:28 <elliott> (But "make objdir=." does work, if you're crazy.)
18:21:57 <Vorpal> elliott, can't reproduce the issue you mentioned on peaceful in my games
18:22:09 <elliott> Vorpal: Well, it /was/ near a mob spawner.
18:22:14 <j-invariant> elliott: but if you look at say lines 370 to 417. All that crap does is prove that Ff o (eta o nu) = (Ff o eta) o nu = (eta o Gf) o nu = eta o (Gf o nu) = eta o (nu o Hf)
18:22:17 <elliott> Because my STAIRCASE MINE IS ABOVE A MOB SPAWNER AAAA.
18:22:21 <Vorpal> elliott, hm, don't know anyone near me
18:22:37 <elliott> j-invariant: yeah, it is a bit verbose ... but
18:22:45 <elliott> j-invariant: at least you proved it, I never got anywhere near that with mine
18:23:24 <j-invariant> crazy idea: Maybe you could make a new category theory proof language... which uses Coq under the hood?
18:23:45 <j-invariant> it could even just be commutative diagrams
18:24:48 <elliott> Vorpal: No sounds so far...
18:24:56 <elliott> j-invariant: that would be nice ... sounds complicated though :)
18:25:08 <elliott> j-invariant: it'd be nice if category theory turns out to be a useful basis for "typed" computation
18:25:17 <elliott> j-invariant: like how intuitionistic logic is useful for that, via type theory
18:25:47 <elliott> Vorpal: what scares me a bit is that i have various tunnels of varying litness..
18:26:02 <j-invariant> yeah I don't see how that's possible because all the functions in category theory are just A --> B.. that's my ignorance though
18:26:16 <elliott> j-invariant: it is a bit hard to imagine yeah
18:28:03 -!- pikhq has quit (Ping timeout: 240 seconds).
18:30:06 -!- cheater99 has joined.
18:30:23 -!- pikhq has joined.
18:31:07 -!- cheater99 has quit (Read error: Connection reset by peer).
18:31:43 <elliott> Vorpal: I mean, can a spider spawned by a mob spawner manage to trigger off do-a-slurp-sound before it evaporates?
18:32:03 <j-invariant> elliott: do you happen to know what's the "simplest nontrivial theorem" for monoids?
18:32:22 <Vorpal> elliott, I never seen them show up either like that
18:32:26 <j-invariant> I'll try and define moniod but I don't know what to say about them
18:32:38 <elliott> http://en.wikipedia.org/wiki/Monoid#Relation_to_category_theory :-)
18:32:50 <elliott> "Likewise, monoid homomorphisms are just functors between single object categories. So this construction gives an equivalence between the category of (small) monoids Mon and a full subcategory of the category of (small) categories Cat. Similarly, the category of groups is equivalent to another full subcategory of Cat."
18:32:52 <elliott> j-invariant: prove that :P
18:34:08 <j-invariant> huh I have n oidea how to define a subcategory..
18:34:48 <elliott> j-invariant: maybe it's just (ob A) subtype-of (ob B)?
18:39:47 <elliott> j-invariant: i guess you might need to include that the operations are equivalent but i forget so
18:39:56 <elliott> basically the main thing would be having the types be subtypes i think
18:40:06 <j-invariant> "operations are equivalent" <-- Functor :D
18:41:00 -!- Sgeo has joined.
18:44:52 <Vorpal> elliott, beta is laggy as fuck
18:44:54 <Vorpal> elliott, on a local game
18:45:04 <elliott> Vorpal: pretty, but restarting it helps
18:45:08 <elliott> i keep opening minecraft twice by mistake
18:45:23 <Vorpal> elliott, anyway it is way slower than alpha
18:45:32 <elliott> Vorpal: now i've fallen into a cavern and there's diamond but i'm busy running around scared shitless putting torches everywhere because oh god what if there really are monsters
18:45:49 <Vorpal> elliott, I found no indications of that
18:46:04 <Vorpal> elliott, the game is from pre-halloween btw (not that it should matter)
18:47:04 <Vorpal> elliott, I considered doing some mega scale engineering in that game, smoothing out the discontinuities somewhat, at least for the areas I visit
18:47:12 <elliott> Vorpal: there is also gold though... and iron ... and diamond
18:47:25 <elliott> i have 64+33 coal though so I can come back to that
18:47:36 <Vorpal> elliott, did you dig right below yourself
18:47:38 <elliott> Vorpal: turns out when i removed a block to make my stairs go down further
18:47:44 <elliott> since it was obscured by darkness
18:47:55 <Vorpal> elliott, so why didn't you use torches?
18:48:29 <elliott> Vorpal: I was about to place them FFS
18:48:33 <elliott> heh redstone, too bad i don't need it
18:48:36 -!- cheater99 has joined.
18:48:59 <elliott> SERIOUSLY? a single diamond?
18:49:27 <elliott> shietloads of redstone though ... and coal
18:49:45 <elliott> but i have enough coal for now
18:50:16 <Vorpal> elliott, lightstone on bottom of deep sea is pretty from the surface
18:50:22 <Vorpal> like random lights spread out
18:50:26 <Vorpal> especially nice at night
18:50:42 <elliott> and uh there's also water and lava and stuff so I bet these caverns branch a lot but I have lots of iron and a single diamond
18:50:53 <Sgeo> I have until Sunday
18:51:19 <elliott> note to self: bunch of torches + torch on cobblestone = entrance to cavern
18:51:42 <elliott> more gold! wish gold was useful in any way at all
18:51:43 <Vorpal> elliott, idea to make creeper safe: small island, middle of ocean, 10 high obsidian tower. 3x3 or such. With ladder inside
18:51:48 <Vorpal> elliott, and steel door
18:51:58 -!- cheater99 has quit (Read error: Connection reset by peer).
18:51:59 <Vorpal> elliott, then at top, a floating castle
18:52:18 <Vorpal> elliott, the castle need not be obsidian
18:52:34 <Vorpal> which saves on both annoyance and "fuuuu that was misplaced"
18:52:45 <Vorpal> well, probably make it obsidian just near the shaft
18:52:56 <Vorpal> elliott, do you think this is safe?
18:53:41 <elliott> Vorpal: well, the castle would need to have no holes in the top.
18:53:53 <elliott> and you'd still see enemies if it had a glass ceiling :)
18:54:04 <Vorpal> elliott, you could cover it with torches on top
18:54:08 <Vorpal> without too much issues
18:54:44 <Vorpal> elliott, but obviously, and exit there would use doors
18:55:13 <Vorpal> elliott, still it is a lot less annoying than a obsidian fort on the ground
18:55:16 <elliott> what's to stop a creeper getting in the obsidian fort? or is the top closed?
18:55:39 <Vorpal> elliott, there could be doors to the top but as I said it would be floating above any ground
18:55:42 <elliott> Vorpal: what's to stop a creeper getting on top, and blowing up your castle's connection to the obsidian?
18:55:43 <Vorpal> elliott, and it would be lit on top
18:56:04 <Vorpal> elliott, but it is LIT ON TOP!
18:56:08 <Vorpal> as I said several times
18:56:09 <Deewiant> Regarding the slowness, from Notch's Twitter: "I have a scary feeling the lag some people get might be leaf decay. Grraaaaahhh!!"
18:56:16 <elliott> Vorpal: it doesn't spawn there, it spawns below the castle
18:56:33 <fizzie> Deewiant: Misread as "lead decaf".
18:56:45 <Vorpal> elliott, the obsidian shaft goes from ground to middle of bottom of castle
18:56:50 <Vorpal> elliott, how could it spawn on top
18:57:11 <fizzie> elliott: http://p.zem.fi/kdvd -- is there a reason it does DEP for all but one of the source files twice?
18:57:16 <Vorpal> elliott, no, I corrected that above
18:57:28 <elliott> fizzie: Um, what. Let me take a look at useful.make.
18:57:54 <Vorpal> elliott, while a floating castle is indeed awesome, it has the disadvantage of being annoying to enter and exit
18:58:00 <elliott> fizzie: Can you clean and run it with V=1?
18:58:09 <elliott> (Don't do make clean all, do make clean; make all V=1.)
18:58:39 <elliott> cc -Wall -Werror -std=gnu99 -pthread -D_GNU_SOURCE=1 -D_REENTRANT -I/usr/include/glib-2.0 -I/usr/lib/glib-2.0/include -I/usr/include/SDL -O3 -M -MG -MF build/map.d map.c
18:58:40 <elliott> cc -Wall -Werror -std=gnu99 -pthread -D_GNU_SOURCE=1 -D_REENTRANT -I/usr/include/glib-2.0 -I/usr/lib/glib-2.0/include -I/usr/include/SDL -O3 -M -MG -MF build/map.d map.c
18:58:45 <elliott> How strange, it's doing the exact same thing twice.
18:58:56 <elliott> I suspect an objdir bug at this point.
18:59:02 <elliott> Since it worked fine before I added objdir support.
18:59:33 <fizzie> http://p.zem.fi/g1cc but yes, it looks like that.
18:59:43 <Ilari> Hah... (about PCRM): "If these guys are against your dietary recommendations, you're probably doing something right, so I'm going to take this one as a win."
19:00:04 * elliott does make -d V=1 2>&1 >foo to check
19:01:30 <elliott> Prerequisite `map.c' is older than target `build/map.d'.
19:01:30 <elliott> Prerequisite `build' is newer than target `build/map.d'.
19:01:30 <elliott> Prerequisite `Makefile' is older than target `build/map.d'.
19:01:30 <elliott> Must remake target `build/map.d'.
19:01:50 <elliott> fizzie: It seems it decides it needs to do it all again after it re-makes after satisfying the .d dependencies the first time.
19:03:38 <elliott> tl;dr if you just want something to exist, not to update when it gets newer, make it a |-dependency.
19:03:41 <fizzie> Oh, there's a client update too?
19:04:29 <fizzie> It's weird how it nowadays sends trees (or at least their leaves) before any other blocks.
19:04:35 <fizzie> Must be leaf-decay-related.
19:05:44 <fizzie> http://zem.fi/~fis/what.png -- that thing in the upper-left corner does not fill me with confidence.
19:05:46 <elliott> " * Mysteriously, with the 1.2.0_02 update on November 4th, all Jack-O-Lanterns on worlds were converted back into pumpkins."
19:06:14 <fizzie> It also isn't static, it keeps flickering.
19:07:13 <elliott> gold tools are stupid, right?
19:07:27 <fizzie> The durability is the same as wood, wasn't it?
19:07:37 <elliott> fizzie: Also, that top-left is REAL. It's CHAOS.
19:07:43 <Vorpal> elliott, reading comprehension failure
19:07:55 <Vorpal> elliott, now read what I said again
19:08:16 <Vorpal> elliott, nothing on his blog, nothing on minecraft wiki
19:09:34 -!- cheater99 has joined.
19:09:52 <fizzie> http://zem.fi/~fis/what2.png -- it's also not the only chaotic region.
19:10:26 <Vorpal> fizzie, it's the even rarer thing! missingno
19:11:33 <elliott> fizzie: Visit it and SEE THE CHAOS.
19:12:29 <fizzie> I've visited, but nothing special is visible to the client.
19:12:41 <fizzie> It might be that it goes over y=128, though.
19:13:04 -!- cheater99 has quit (Read error: Connection reset by peer).
19:13:15 <elliott> Deewiant: BTW, you're missing gold and iron ore from your emporium.
19:14:08 <fizzie> Well, protocol-wise the y coordinates go all the way up to 255, so he might have just relaxed the limits.
19:14:29 <fizzie> It might also be that the trees at max-alt are related.
19:14:40 <fizzie> I didn't bother exactly counting which height it was at.
19:14:55 <elliott> It sucks having your house in a boring area.
19:15:10 <elliott> fizzie: Can you actually build above 128 though, now?
19:15:27 <elliott> http://www.minecraftwiki.net/wiki/Soul_Sand Since when is it called soul sand.
19:15:29 <fizzie> I'll try to get up there to see.
19:15:34 <elliott> http://www.minecraftwiki.net/wiki/Netherrack Since when is it called netherrack.
19:15:46 <fizzie> "That's a nice netherrack you've got there."
19:15:58 <elliott> Yeah, I can't even figure out that name ... at all.
19:16:18 <elliott> http://www.reddit.com/r/Minecraft/comments/eoxvk/sincere_thank_you_to_notch_for_the_tooltips/c19ufzq?context=3
19:16:26 <elliott> "# The name "Netherrack" is not a misspelling of "Netherrock". [2]
19:16:26 <elliott> # It could also possibly be based on one or more of several definitions of rack having to do with suffering."
19:17:41 <fizzie> The server-side inventory did fix that item-placement thing.
19:18:22 <elliott> http://evilmousestudios.com/tronic/ Heh, someone got to the "single-colour texture pack thing" before me (well, sort of), except theirs is HD.
19:19:41 <fizzie> Teleporting still works, though with health on it's a bit dangerous. (Read: you pretty much die always.)
19:21:50 <Vorpal> wait, gun powder is sulphur now?
19:22:20 <Vorpal> half-step is stone slab
19:22:51 <fizzie> Phantom_Hoover: The server trusts client-sent "player position" packets pretty much absolutely, except it checks whether the path would go through solid blocks; so our teleportation command just sends two faked player-position commands, one to move from (px,py,pz) to (px,+128,pz), then another from there to (tx,+128,tz), where p is current player position and t the target.
19:23:09 <fizzie> Then gravity will take care of getting the player down from y=128.
19:23:37 <Vorpal> fizzie, you can target lakes
19:23:56 -!- pikhq has quit (Ping timeout: 264 seconds).
19:24:03 <Vorpal> fizzie, you need to indicate if a lake is 1 or 2 deep!
19:24:57 <Vorpal> elliott, common enough that it is still somewhat useful
19:25:05 <fizzie> Maybe it could keep the player flying with repeated move packets, and construct a temporary water basin below, then let you drop.
19:25:07 <elliott> Vorpal: But a322 has health off anyway.
19:25:19 <elliott> fizzie: Actual flying is a known griefer thing, so that should actually work.
19:25:20 -!- pikhq has joined.
19:25:20 <Vorpal> elliott, yep, but it breaks armour
19:25:34 <Vorpal> elliott, only in classic iirc
19:25:34 <elliott> Vorpal: But there's no health ... you don't need armour ...
19:25:47 <elliott> Vorpal: But there's no health ... you don't need armour ...
19:25:49 <Vorpal> elliott, I like the look of the armour
19:25:55 <fizzie> I might check whether you still get falling damage even if you "move" the player down from the highest point, but I suspect it just counts the drop from max-y to ground.
19:26:07 <elliott> fizzie: Move down 128 times.
19:26:22 <fizzie> I think it will still count the whole thing as a single jump.
19:26:31 <fizzie> But I'll test at some point.
19:27:11 <fizzie> There's also a byte on the movement packets that is set when the player is on the ground, I'm not sure exactly what that does. The wiki says it's for "detecting flying".
19:27:14 <Vorpal> elliott, yet another one
19:27:23 <Vorpal> elliott, or at the old altitude?
19:27:59 <Vorpal> fizzie, for large drops and such?
19:29:28 <Vorpal> elliott, course literature in one of your favourite areas. I have no doubt you will say the book sucks
19:29:40 <Vorpal> ("Interaction design")
19:29:57 <elliott> Vorpal: Interaction design != HCI.
19:30:06 <elliott> Vorpal: Anyway most HCI stuff is bullshit.
19:30:16 <Vorpal> elliott, course literature and so on
19:30:34 <Vorpal> and it seems to cover HCI in parts at least
19:30:36 -!- cheater99 has joined.
19:31:53 <Vorpal> elliott, authors are Sharp, Rogers and Preece. If those names mean anything to you (they don't to me)
19:32:00 <elliott> To be explicit: I died, losing most of my possessions, and will now be transported to a spawn point from which I have no idea how to get to my house, which I built after wandering frustratedly at the bad map.
19:32:19 <Vorpal> elliott, anyway, why didn't you mark your path and so on
19:32:27 <Vorpal> elliott, or use an inventory editor and teleporter
19:32:38 <Vorpal> elliott, or next time, create a new world when you find the current one sucks
19:32:48 <elliott> Vorpal: Because as I said, I was wandering frustratedly. The first coal I found, after walking for, like, a day, I punched through.
19:32:52 <elliott> The mountain was ONE DEEP.
19:33:05 -!- cheater99 has quit (Read error: Connection reset by peer).
19:33:07 <elliott> Then finally I found a nice mountain with trees and set up shop.
19:33:15 <Vorpal> elliott, I would have generated a new map at that point
19:33:22 <elliott> Vorpal: I /was/ regenerating the world; I'd done it like five times, and decided I'd stop.
19:33:35 <elliott> Heh. A tree I hollowed out.
19:34:26 <fizzie> Aw, mcmap is definitely not as pretty as some of the competition, like the http://minecraftam.com/ thing.
19:34:52 <elliott> fizzie: But who uses mcmap for the map?
19:35:10 <Deewiant> It's the only thing I use it for, when I use it
19:35:23 <elliott> fizzie: Looks like it needs a server mod to work.
19:35:42 <fizzie> I don't think it does. "The mod/map is entirely clientside, meaning you can use it in singleplayer or on any SMP server, regardless of what mods it has."
19:35:52 <elliott> "# The mod/map is entirely clientside, meaning you can use it in singleplayer or on any SMP server, regardless of what mods it has."
19:35:54 <fizzie> But it is a client-side mod, not a nifty proxy tool like ours.
19:36:00 <elliott> Oh, it's talking about http://minecraftam.com/MM.aspx.
19:36:03 <elliott> fizzie: Yeah, proxies are more fun.
19:36:30 <elliott> fizzie: If you made your map lighting-savvy (i.e. torches light thiings up), and jigged the colours a bit, I think it'd be fine.
19:37:36 <fizzie> Sgeo: "Survival multiplayer."
19:37:37 <Vorpal> <fizzie> Aw, mcmap is definitely not as pretty as some of the competition, like the http://minecraftam.com/ thing. <-- sure, but which one runs on my system? mcmap, it has less requirements
19:39:53 <Vorpal> fizzie, it's path marking thing looks useful
19:40:10 -!- Sgeo has left (?).
19:40:14 -!- Sgeo has joined.
19:40:21 <Sgeo> Linden Lab closed the Teen Grid
19:40:33 <Sgeo> This is not as big a victory for anti-age-segregationists as it sounds
19:41:15 <Sgeo> Users between 13-16 have to be with an "affiliated organization" separate from the main part of SL
19:41:40 <elliott> All 1 people in here who play or care about Second Life thank you for that information.
19:41:47 <Vorpal> it doesn't sound like a victory either way
19:41:50 <Vorpal> I mean, who cares about SL
19:42:23 <elliott> Vorpal: BUT BECAUSE I'M BETWEEN 13 AND 16 ... NOBODY UNDERSTANDS M3... 0R MY UNKONVENSIONAL SPELUNG... WITHOUT SOMEWHERE I CAN BE TRULY UNDERSTOOD... A SECOND LIFE...
19:42:29 <elliott> ..... HOW WILL I BE ABLE TO AVOID CUTTING MYSELF????/
19:42:57 <Vorpal> fizzie, is that github?
19:43:09 <fizzie> Yes, I got it the other day.
19:43:21 <elliott> http://www.youtube.com/watch?v=8hm3E2cGQE4
19:43:27 <fizzie> http://github.com/images/error/octocat_sad.gif and then some sort of "the server, it is error" page.
19:43:41 <elliott> (The error is a reference to those.)
19:43:46 <Vorpal> elliott, "Minecraft AutoMap requires Windows, the .NET Framework 4, and the XNA Framework 4.0."
19:43:57 <elliott> Okay, so XNA might be difficult.
19:44:09 <Vorpal> elliott, also last I looked mono went to 3.5
19:45:26 <Phantom_Hoover> AND I CAN'T OPEN THE DOOR OR THE SMOKE DETECTOR WILL GO OFF
19:45:33 <elliott> It's not the nicotine that kills! It's the smo-oo-ooke, the smoooke!
19:45:45 <Vorpal> Phantom_Hoover, so put out the fire
19:45:52 <elliott> Cancer, it's the smoke! Heart disease, it's the smoke. It's the smoooooooooke!
19:46:06 <elliott> It's the, it's the inhalation, it's the smooooke, the smooooooooke!
19:46:24 <Vorpal> Phantom_Hoover, and there is this thing in fireplaces that kind of open and closes above them
19:46:32 <Vorpal> not sure what the English word is
19:46:41 <elliott> Phantom_Hoover is burning his parents.
19:46:48 <Vorpal> Phantom_Hoover, so talk to some grown up?
19:47:01 <elliott> Vorpal: Phantom_Hoover is *burning his parents*.
19:47:09 <elliott> Also they live in Antarctica and there is nobody else within a seventy mile radius.
19:50:38 -!- cheater99 has joined.
19:52:36 -!- cheater99 has quit (Read error: Connection reset by peer).
19:52:50 <elliott> "The first time I played the game I didn't know that I'd picked up clay, and I was wondering why the hell cooking eggs turned them into bricks..."
19:53:37 <elliott> http://i.imgur.com/WNTDy.png whoa.
19:58:44 <elliott> "Get this. Framerate goes back to normal if you're beside trees and you look straight up at the sky...
19:58:44 <elliott> Look back down, and I'm right back to 2fps from 40-60fps looking up."
19:59:06 <elliott> I propose we define "notch" to mean "very low/poor". It even SOUNDS like it means "small". Notch.
19:59:52 <Deewiant> "Notch" already has a meaning or ten.
20:00:16 <Sgeo> I MISSED MY FINAL
20:01:11 <coppro> missed missed or can-still-run-to-be-late missed
20:01:28 <Vorpal> Sgeo, why did you do that
20:01:28 <Sgeo> I must admit though, the "Crud" part is a lie
20:01:33 <Sgeo> It's an optional final
20:01:43 <Sgeo> That can only help one's grade... my grade cannot be helped
20:01:57 <coppro> I have to write a final tomorrow
20:02:12 <coppro> anyway, I'm going in search of food
20:03:26 <elliott> Vorpal: I MADE IT BACK HOME
20:03:33 <elliott> <Deewiant> "Notch" already has a meaning or ten.
20:03:37 <elliott> Oh, it does, doesn't it...
20:05:08 <fizzie> "Noun, sense 1. An affectionate synonym for 'vagina'. See also gash. Noun, sense 2. Someone with whom you basically just get drunk and/or high and have sex, usually on a short term basis. Compare to "your girl" or "a ho", both are higher on the intimacy ladder." (Urban Dictionary.)
20:05:56 <fizzie> Also the OED site has gone all multimedia and web 2.1 on me.
20:06:06 <elliott> fizzie: For every word, there is a sexual definition for it on Urban Dictionary.
20:06:36 <elliott> Deewiant: You know, I had this /terrible/ feeling you were about to say "Wrong." when I said that.
20:06:53 <elliott> Deewiant: I decided amending it to s/every/almost every/, but then I decided not to edit my joke just because of you :P
20:07:22 <fizzie> Well, OED 'notch': "4. In various /fig./ uses. a. /coarse/ slang. The female genitals."
20:07:42 <elliott> fizzie: BTW, does mcmap >foo work with the new IO superplexer?
20:08:04 <fizzie> Yes, without isatty(0) && isatty(1) it should just write into stdout as usual and not start it.
20:08:07 <elliott> One would think "return;" might suffice.
20:08:20 <fizzie> Right, I was planning to have some sort of initialization done below there.
20:08:27 <elliott> fizzie: But can it support reading from plain stdin?
20:08:29 <fizzie> But then I couldn't invent anything to initialize.
20:08:36 <fizzie> Well, no, it doesn't do that at the moment.
20:08:41 <elliott> 'cuz then we can have RIDICULOUSLY BLOATED BOTS that require Minecraft to be running for no good reason!
20:09:00 <fizzie> Well, I can certainly add that.
20:09:07 <fizzie> It sounds like a good thing to have!
20:09:38 <fizzie> Anyhoo, also on OED 'notch': "N. Amer. colloq. and regional. to the notch and variants: to the right standard, to perfection, exactly." That can't be right...
20:09:48 <Vorpal> elliott, nice (about getting back)
20:10:06 -!- cheater99 has joined.
20:10:50 <fizzie> "notch effect n. Materials Sci. the increase in the susceptibility of a specimen to fracture caused by the presence of a notch." -- but this could be generalized into some sort of software breakage use.
20:12:02 <elliott> fizzie: Have you got a testing server up on the beta server or something? My computer isn't strong enough to run the server properly, and I'd like to do some mcmap codeine.
20:12:16 -!- cheater99 has quit (Read error: Connection reset by peer).
20:14:33 <fizzie> No, I've just been running it locally, and I don't feel like starting to add port-forwarding rules and all that to open things up.
20:14:53 <elliott> fizzie: Woot, I have a commit on my hands and no way to test it :P
20:15:19 <elliott> console.c:114: error: pointer targets in passing argument 1 of ‘cmd_parse’ differ in signedness
20:15:19 <elliott> cmd.h:4: note: expected ‘unsigned char *’ but argument is of type ‘char *’
20:17:32 <fizzie> Where are you getting a char * for cmd_parse, anyway?
20:17:40 <Phantom_Hoover> <Sgeo> That can only help one's grade... my grade cannot be helped ← ...how
20:18:07 <Phantom_Hoover> You've made it clear that the course is for simpletons and you are failing?
20:18:31 <fizzie> Or alternatively, what do you need cmd_parse for?
20:18:37 <elliott> fizzie: And for //foo at the console.
20:18:49 <elliott> fizzie: Really? Does inject_to_server do It?
20:19:00 <fizzie> https://github.com/fis/mcmap/commit/c336bce1afe12eb80f18bef1686766f4d8f43ee4
20:19:11 <fizzie> Okay, I *think* it works.
20:19:16 -!- wareya_ has quit (Ping timeout: 276 seconds).
20:19:17 <fizzie> I haven't actually tried it.
20:19:31 <fizzie> Anyway, I reworked it so that inject_to_server'd packets are processed as if they came from the client.
20:19:43 <fizzie> So it should be indistinguishable from client-sent chat.
20:20:01 <elliott> fizzie: What happens if you do //slap <99 chars>?
20:20:13 <elliott> And what happens if you type "a" 101 times at the console?
20:20:20 <fizzie> You probably will get kicked.
20:20:58 <fizzie> Or actually not at 101, but certainly at 105 or so. It was somewhere around there.
20:21:11 <fizzie> Either truncating or auto-splitting could be a nice feature.
20:21:25 <fizzie> Truncating would be more IRCy. :p
20:21:34 <fizzie> (Auto-splitting would be more "user-friendly IRC client"y.)
20:21:56 <elliott> "The Alpha server will check the message to see if it begins with a '/'. If it doesn't, the username of the sender is prepended and sent to all other clients (including the original sender). If it does, the server assumes it to be a command and attempts to process it. A message longer than 100 characters will cause the server to kick the client. This limits the chat message packet length to 103 bytes. Note that this limit does not apply to incomi
20:21:56 <elliott> ng chat messages as the server may have prepended other information, not limited to, but usually including, a username."
20:22:09 <elliott> fizzie: Infalliprotocollywiki says it's 100.
20:22:09 <fizzie> Ah, so it was 103 bytes per packet.
20:23:12 <fizzie> I wonder if it's 100 characters or 100 bytes. Could be either.
20:23:30 <elliott> Easy (but boring) to check.
20:23:44 <elliott> Hey Deewiant, set up a server so I can test things. (I'm just going to bug random people until somebody does.)
20:24:51 <fizzie> Deewiant: Run minecraft_server.exe.
20:25:01 <fizzie> (I've seen that mentioned on the download site.)
20:25:01 <elliott> Deewiant: What fizzie said.
20:25:08 <elliott> Deewiant: Also turn off monsters and PvP, or I'll eat your soul.
20:25:09 <fizzie> It's 100 bytes, not 100 chars.
20:25:22 <Deewiant> elliott: I'll put it on "hard".
20:25:25 <elliott> Deewiant: http://minecraft.net/download/Minecraft_Server.exe
20:25:25 <fizzie> http://minecraft.net/download/Minecraft_Server.exe?v=1292963092965
20:25:29 <elliott> Deewiant: And you can't control the difficulty.
20:25:32 <elliott> Just monsters and pvp on vs off.
20:25:50 <fizzie> elliott: If you're going to be the only person there, how does PvP matter?-)
20:26:04 <elliott> fizzie: Because Deewiant will probably drop in and punch me to death.
20:26:05 <fizzie> And it seems to be 100 bytes, not 100 characters.
20:26:10 -!- wareya has joined.
20:26:19 <fizzie> "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa" works, "äääääääääääääääääääääääääääääääääääääääääääääääääääääääääääääääääääääääääääääääääääääääääääääääääää" kicks me off.
20:26:27 <Deewiant> It doesn't have any pvp/monster settings
20:26:41 <Deewiant> But, tar.us.to:25565 may or may not work.
20:26:46 <fizzie> That's the "server.properties" file it generates somewhere.
20:26:48 <Deewiant> This GUI doesn't, and the help command doesn't list any.
20:27:14 <elliott> 20:26:38 [DIED] main.c: 106: proxy thread (client -> server) write failed
20:27:18 <elliott> Did you just take it down, Deewiant?
20:27:24 <Deewiant> [INFO] ehird [/91.105.117.134:33325] logged in with entity id 4393
20:27:25 <Deewiant> [INFO] ehird lost connection: disconnect.overflow
20:27:40 <elliott> fizzie: Your mcmap, 'tis insufficient.
20:27:41 <Deewiant> Now it happened to fizzie too.
20:27:43 <elliott> It works now, second connect.
20:27:59 <fizzie> I connected, got packet updates for a while, then got dumped.
20:28:00 <elliott> Without an error thist ime.
20:28:10 <fizzie> 'tis weird; it works if I connect to localhost.
20:28:11 <elliott> fizzie: Nice beta support :P
20:28:20 <elliott> fizzie: Are you surey ou're on the beat server?
20:28:29 -!- cheater99 has joined.
20:28:38 <fizzie> 2010-12-21 21:15:44 [INFO] Starting minecraft server version Beta 1.0
20:30:35 <elliott> Deewiant: EOFException even without mcmap.
20:30:44 <fizzie> 22:27:49 server -> client packet 0xff size 4294967048
20:30:45 <elliott> Deewiant: Concludion: ERGO ROUTER FAIL (or server fail or something)
20:30:48 <fizzie> That's probably not all right.
20:32:00 <Deewiant> Haven't had problems with any other kinds of servers thus far, so I blame the software.
20:32:50 -!- cheater99 has quit (Read error: Connection reset by peer).
20:32:51 <elliott> Deewiant: Considering it works for fizzie, that's a rather odd conclusion. :p
20:33:10 <elliott> fizzie says it works for fizzie. As in, using a server on localhost.
20:33:14 <Deewiant> He's not running it on Windows.
20:33:33 <fizzie> Deewiant: Does it say "Beta 1.0" for the version? (Though I don't suppose there are any others yet.)
20:33:42 <Deewiant> [INFO] Starting minecraft server version Beta 1.0
20:33:49 <fizzie> And it's Java, you know, write once, run anywhere, platform-agnostic.
20:33:54 <elliott> http://minecraft.net/download/minecraft_server.jar?v=1292963598077
20:33:56 <elliott> java -Xmx1024M -Xms1024M -jar minecraft_server.jar nogui
20:34:13 <fizzie> That's what I use to start it; though it might be just timing-related things, or worldgen-related things.
20:34:23 <Deewiant> I've written Java software with Windows-only hacks to make stuff work better.
20:34:41 <fizzie> No, you don't understand, write once, run ANYWHERE.
20:34:47 <fizzie> (I've been indoctramotated.)
20:34:49 <Deewiant> Anywho, nogui version running.
20:35:26 <elliott> Write everywhere, run once.
20:36:15 <elliott> fizzie: So hey, dem forwarded ports.
20:36:28 <fizzie> Blonk. Yes, it certainly does seem to break even on a direct connection.
20:36:36 <fizzie> Deewiant: Any interesting messages in the server console?
20:36:47 <Deewiant> This time it printed a few SocketExceptions.
20:36:57 <Deewiant> java.net.SocketException: Software caused connection abort: recv failed
20:36:57 <Deewiant> at java.net.SocketInputStream.socketRead0(Native Method)
20:37:04 <Deewiant> java.net.SocketException: Connection reset by peer: socket write error
20:37:05 <Deewiant> at java.net.SocketOutputStream.socketWrite0(Native Method)
20:38:00 <fizzie> http://www.minecraftforum.net/viewtopic.php?f=17&t=110437 "my friends server has just been updated but me and a few other people are constantly crashing with errors such as: - internal exception: Java.EOFException - minecraft connection lost Internal exception: java.net.socket exception: socket caused connection abort: recv failed"
20:38:16 <Deewiant> Notch Engineering strikes again.
20:38:33 <fizzie> "I'm having exactly the same problem - I've tried on multiple servers, and on both my mac and pc machines - I tried updated java to the latest version, I've tried deleting my MC /bin directory and getting new files downloaded, nothing seems to be working."
20:38:48 <elliott> "I'm beginning to hate Java -_-"
20:38:50 <elliott> Hate the Notch, not the game.
20:40:53 <elliott> Deewiant: Ooh -- "Bad packet id 158".
20:40:58 <Deewiant> Is the server-ip in server.properties an address to bind to or its external IP?
20:44:09 <Vorpal> who called -10 C or whatever it was "really fucking cold" last week or so?
20:44:30 <Vorpal> Deewiant, well, it snowed a lot yesterday and the day before that
20:44:38 <Vorpal> Deewiant, but it rarely snow when THIS cold
20:45:10 <Vorpal> Deewiant, snow blower used yesterday, hasn't snowed since then. So about 1 cm where it was used. Almost 2 meters in other places
20:45:26 <Vorpal> Deewiant, hard to tell what it actually is since it tends to blow up against walls around here
20:45:29 <Deewiant> Don't you have weather services?
20:45:45 <Vorpal> Deewiant, you mean, the weather services us with a lot of snow? ;P
20:45:56 <Vorpal> Deewiant, sure, there is SMHI
20:45:57 <Deewiant> I mean that snow depth is a well-defined value :-P
20:46:10 <Vorpal> Deewiant, and I don't know where to find it on there
20:47:31 <elliott> isthesnowdepthinswedentodayreallyfuckingdeep.com: "YES"
20:48:06 <Vorpal> elliott, well, at least over a meter I'd say
20:48:11 <Vorpal> but I can't find official values
20:48:51 <elliott> fizzie: The command-output-appears-as-CHAT is a regression.
20:48:59 -!- cheater99 has joined.
20:49:02 <elliott> fizzie: It's all neon-coloured and unreadable now for those of us with lightbulb terminals.
20:49:21 <Vorpal> elliott, no one uses those anyway
20:49:23 <Deewiant> Vorpal: Use http://www.smhi.se/vadret/vadret-i-sverige/snodjup
20:49:41 <elliott> Vorpal: I use one, and I'm the only person who isn't fizzie who's contributed code, so there.
20:50:02 <fizzie> Doesn't the same apply for server-sent yellow messages?
20:50:12 <Vorpal> Deewiant, closest observation is 32, but it is not very near
20:50:20 <Vorpal> Deewiant, and due to wind it is much deeper locally
20:50:41 <fizzie> I think it's more harmonically harmonious when it does the same color-thing it does for all; there's the no-color option already, anyway.
20:50:45 <elliott> fizzie: Yes, but that's "less" problematic.
20:50:53 <elliott> I don't mind the colours, I just don't like command output to be arbitrarily coloured.
20:51:00 <Vorpal> fizzie, easy fix, force bg to black
20:51:03 <elliott> The only reason they're coloured in the client is because there's no other good way to indicate.
20:51:11 <elliott> In the console, there's [INFO] vs [CHAT] to indicate.
20:51:20 <Vorpal> elliott, make it an option
20:51:23 <elliott> (Especially considering that the coords response isn't chat by any reasonable definition of CHAT.)
20:51:23 -!- cheater99 has quit (Read error: Connection reset by peer).
20:51:32 <elliott> Vorpal: I'm talking to fizzie, not you.
20:51:36 <Vorpal> elliott, calling it a regression is just wrong
20:51:51 <fizzie> It's chat by the definition that "it's something sent to the client as chat".
20:52:08 <elliott> fizzie: Well, yes, but //coords is more info generated by mcmap than chat.
20:52:17 <fizzie> Also, it makes //command and /command outputs work exactly the same.
20:52:27 <elliott> fizzie: I mean, this way, /mode changes/ come out as [CHAT]... which is just weird.
20:52:42 <fizzie> I didn't want mode changes to be reported to the client chat, anyway. :p
20:52:51 <elliott> 20:52:11 [CHAT] §b//coords: x=-601, z=-16, y=68
20:53:11 <elliott> Hmm, ^D is broken too, I'll fix that.
20:53:13 <Vorpal> <fizzie> I didn't want mode changes to be reported to the client chat, anyway. :p <-- nor me
20:53:18 <elliott> Is there any special way to restore the terminal or is it atexited?
20:53:50 <fizzie> console_cleanup() does the readline term-deprep if readline has been initialized.
20:53:59 <elliott> fizzie: What about closing sockets and stuff?
20:54:25 <fizzie> What did you want ^D to do?
20:54:46 <elliott> fizzie: Quit; but I've already made it do that.
20:54:46 <fizzie> If you want to exit, just exit; the cleanup is also atexit'd.
20:55:32 <fizzie> And right, the nocolor-mode doesn't actually parse the color codes at all. I guess it would be better if it did but just didn't print the escape codes.
20:55:35 <elliott> fizzie: I'm going to let it send blank messages 'cuz that's totally useful. (If that's okay.)
20:55:42 -!- olsner has joined.
20:55:52 <fizzie> If it's possible, sure.
20:56:04 <fizzie> I haven't tried a zero-length string chat message.
20:56:29 <fizzie> Well, if the server doesn't mind getting those, by all means make it possible to send those too.
20:56:41 <elliott> Considering I've sent many before, yes. :P
20:57:10 <elliott> But they show as blank in Minecraft.
20:57:19 <elliott> fizzie: I think there's a printing code bug.
20:57:28 <elliott> fizzie: ! might be printing 1 char of an uninitialised buffer.
20:57:40 <elliott> It didn't print ! before you rewrote the console code, so.
20:58:18 <fizzie> I can take a look at that if you want.
20:58:28 <elliott> Well, it's possibly something to look at.
20:58:31 <fizzie> If you push the empty-message sending version.
21:00:56 <elliott> fizzie: Hmm. Should I make debug=1 builds go into a debug/ directory? I think I keep accidentally mixing -g and -O3 objects.
21:01:03 <elliott> (Or I could just make debug=1 be the default.
21:01:18 <olsner> I find it a good idea to give each configuration its own output directory
21:02:15 -!- Goosey has joined.
21:02:22 <Goosey> Anyone know of a good high traffick image hosting site?
21:02:44 <elliott> It hosts an image and it's high-traffic.
21:03:49 <elliott> fizzie: Got any nicer target directory names than _debug and _build? :p (Underscores to allow mental filtering-out in directory listings.)
21:05:03 <elliott> (I am slowly -- but steadily -- leading mcmap onto the path of Java EE.)
21:05:13 <elliott> (I plan to port useful.make to Ant in a few days.)
21:06:00 <elliott> olsner: Yes. But it will also require Maven.
21:06:17 <elliott> Vorpal: You really don't want to know.
21:06:29 <Vorpal> elliott, actually I do
21:06:38 <elliott> http://en.wikipedia.org/wiki/Apache_Maven#Example
21:06:42 <Vorpal> it can't be worse than ant
21:06:59 * Vorpal waits for browser to load
21:06:59 <elliott> And yes, those XML files get WAY more enterprisey and generic and bloated for even simple projects.
21:07:18 <elliott> p.s. http://i.imgur.com/T1cao.jpg
21:07:24 <Sgeo> Phantom_Hoover, different course
21:07:29 -!- cheater99 has joined.
21:07:38 <elliott> Sgeo: I was unaware your college offered non-moronic courses?
21:07:55 <Vorpal> elliott, I presume maven still doesn't do proper dependency handling
21:08:12 <Sgeo> The course I'm failing seems to be decent, except for problems that are my problems and not the course's
21:08:25 <fizzie> elliott: Bugfixed the no-color mode: https://github.com/fis/mcmap/commit/188d632 (and that's actually your bug; it used to be a fwrite(msg, 1, msglen, stdout); and you log_print'ified it even though obviously (for some values of...) msg might not be null-terminated. (Otherwise I wouldn't have had a msglen parameter.)
21:08:40 <Sgeo> elliott, no, the optional final course is a chemistry course, a bit moronic, but I'm not failing it
21:09:15 <elliott> fizzie: Well, uh, your mother.
21:09:37 <elliott> fizzie: And no, you didn't quite bugfix it in that it still spews colour codes :P
21:10:26 <elliott> In fact I'll fix thatn ow.
21:10:44 <Vorpal> elliott, make it an option!
21:10:48 -!- cheater99 has quit (Read error: Connection reset by peer).
21:10:54 <Vorpal> fizzie, I do like the colour codes btw.
21:11:04 <elliott> Vorpal: You like it spewing colour codes when colour is off?
21:11:05 <Vorpal> makes output easier to read
21:11:16 <elliott> Vorpal: Please stop pinging me about mcmap.
21:11:17 <Vorpal> elliott, oh, hm. If it is turned off ...
21:11:22 <elliott> The no bitching policy applies.
21:11:26 <fizzie> Right, well, yes. It might be best that you just use the color-code parsing routine always, and nocolor-test away the escape-code outputs.
21:11:30 <Vorpal> elliott, not to you, only to fizzie
21:11:35 <Vorpal> elliott, I never agreed it to you
21:12:01 <elliott> Vorpal: Stop pinging me to whine about mcmap.
21:13:03 <elliott> fizzie: Pushed what "might" be a fix; untested due to lack of server that'll stay up long enough to check.
21:13:44 <Sgeo> The humans are dead
21:14:38 <elliott> Vorpal: Because I said so.
21:14:42 <Vorpal> elliott, local server?
21:14:54 <elliott> Not enough processing power to run Minecraft, the server, and mcmap at the same time.
21:15:05 <elliott> At least, not without waiting a minute for it to stabilise.
21:15:20 <Vorpal> elliott, uh, mcmap is not heavy. So run server on one computer, client and mcmap on another
21:15:29 <Vorpal> elliott, I /know/ you have an imac too
21:15:32 <elliott> Vorpal: I do not have reasonable access to another computer.
21:15:40 <Vorpal> elliott, so where is the imac?
21:15:42 <elliott> The iMac is in a box and there's no free sockets here that I know of.
21:15:48 <elliott> My router also only has one Ethernet port.
21:15:59 <fizzie> I don't see why the fix wouldn't work; and I've put in quite a lot of untested code.
21:16:05 <elliott> Vorpal: Or I could just push without testing, like Notch.
21:16:17 <elliott> mcmap: at least as stable as the game itself!
21:16:36 <fizzie> At least I haven't sold a million copies of mcmap and made them auto-update. :p
21:16:40 <Vorpal> when will ineiros update the server
21:16:48 <elliott> Vorpal: When hMod updates and he's sufficiently drunk.
21:16:55 <elliott> (Obviously one can only upgrade servers when inebriated.)
21:17:01 <fizzie> I can take care of the latter, but I don't know how to speed up the former.
21:17:17 <elliott> fizzie: Get hey0 drunk too?
21:18:12 <elliott> fizzie: So, do you want to have some fun by looking into my GNU Make metaprogramming bug?
21:18:28 <elliott> It would make "make clean all" SLIGHTLY more convenient for all mcmap users!
21:21:20 <elliott> to-clean += $(1) $(2:.c=.o) $(2:.c=.d)
21:21:20 <elliott> $(objdir)/$(1): $(2:%.c=$(objdir)/%.o) Makefile | $(objdir) ; \
21:21:20 <elliott> $(call do,LINK,$(objdir)/$(1),$(cc.link) -o $(objdir)/$(1) \
21:21:22 <elliott> $(if $(cleaning),,-include $(2:%.c=$(objdir)/%.d))
21:21:26 <elliott> fizzie: HOW CAN YOU NOT WANT TO DEBUG THINGS LIKE THAT
21:26:59 -!- cheater99 has joined.
21:28:02 <elliott> Okay, I think the build system "vaguely" complete now.
21:28:24 <elliott> Being able to set objdir in a less hacky manner in the Makefile should be possible (need to figure out how to handle that in useful.make), and an install target would be useful, but it's pretty good.
21:28:53 <elliott> Although you have to do "make clean debug=1" for it to clean a debug build properly. Although that might be the Right Thing.
21:31:29 -!- cheater99 has quit (Read error: Connection reset by peer).
21:34:25 <elliott> Heh. Lua lets you drop parens for single-argument functions.
21:34:35 <elliott> Oh, only for string and list literals? What.
21:42:18 -!- pikhq has quit (Ping timeout: 255 seconds).
21:45:49 <elliott> Phantom_Hoover: No reason whatsoever.
21:46:59 -!- cheater99 has joined.
21:47:46 -!- cheater99 has quit (Read error: Connection reset by peer).
21:49:46 -!- Mathnerd314 has joined.
21:52:06 <elliott> Phantom_Hoover: It always has been.
21:55:33 <Sgeo> That reminds me, I still have to send a message to Fidelity
21:57:22 <Phantom_Hoover> Sgeo, what are the properties of the entity you call Fidelity?
21:57:53 <Sgeo> Phantom_Hoover, possibly having possession of materials related to BancSTAR
21:58:18 <elliott> Sgeo: Wait, it's a *person*?
21:58:33 <Sgeo> elliott, wait, I implied it's a person?
21:58:58 <elliott> You realise a corporation would prefer to forget bancstar ever existed right?
21:59:15 <Vorpal> elliott, uh. female names like that were once common (not that specific attribute)
21:59:32 <Sgeo> There are people called Faith and Hope
21:59:37 <elliott> Vorpal: Well yes, but it's also 2010 here.
21:59:51 <elliott> Faith and Hope I can kind of understand, even though they're terrible names.
22:00:02 <Vorpal> elliott, I think Honesty also happened
22:00:25 <elliott> Vorpal: I think this is God's way of telling us that he likes eugenics.
22:00:59 <elliott> What was that Python-y-syntaxed language that was on the level of C?
22:01:07 <Phantom_Hoover> "Felicity". If you EVER have the urge to call a child "Fidelity", at least extend that kindness to it.
22:01:20 <Sgeo> Oh, the think like Vala but with Pythony syntax1
22:01:27 <elliott> And no, not that either (Genie).
22:01:39 <elliott> The homepage had a screenshot of some mandelbrot program written in it, I think.
22:01:46 <elliott> Low-fi site, IIRC it had no CSS.
22:02:08 <Sgeo> Phantom_Hoover, Felicia Day?
22:02:40 <Sgeo> "Felicity" kind of sounds like "Felicia"
22:03:09 <elliott> Which sounds a bit like Zach.
22:03:12 <elliott> Which sounds a bit like Exactly.
22:03:16 <elliott> Which sounds a bit like Eggsactly.
22:03:21 <elliott> Which sounds a bit like eggs.
22:03:23 <Sgeo> I've been called Zach before
22:03:30 -!- cheater99 has joined.
22:03:31 <elliott> What I'm saying is, Sgeo is ovaries.
22:03:41 <Phantom_Hoover> elliott sounds a bit like "Elliot" which sounds a bit like "Eliott".
22:03:53 <elliott> Phantom_Hoover: I will make your intestines into a stew.
22:04:34 <fizzie> "Thou‑Shalt‑Not‑Commit‑Adultery Pulsifer?" he said, when she'd finished.
22:04:35 <fizzie> "That sort of name was quite common in those days," said Anathema. "Apparently there were ten children and they were a very religious family. There was Covetousness Pulsifer, False‑Witness Pulsifer‑"
22:04:35 <elliott> Wow, I didn't realise that the Soviety government owned Tetris. :)
22:05:01 <elliott> fizzie: Suffer-The-Little-Children-Onto-Me Jones.
22:05:26 <elliott> Phantom_Hoover: Phantomhn Hoover?
22:05:52 <Sgeo> Phantomhnoover
22:06:00 <elliott> Phantom_Hoover: I don't think I ever want to know your real name, you're just Phantom to me.
22:06:10 -!- Phantom_Hoover has changed nick to Phamhntom_Hoover.
22:06:28 -!- elliott has changed nick to J_Edgar_Hoover.
22:07:17 -!- cheater99 has quit (Read error: Connection reset by peer).
22:07:42 <Vorpal> Phamhntom_Hoover, yes, well, it was some time ago I read it
22:07:54 <Vorpal> I think Pyramids is underquoted
22:08:00 <fizzie> Phamhntom_Hoover: It's this thing called computers, they can sort and search data pretty fast!
22:08:15 <Phamhntom_Hoover> fizzie, but did you know that putting books on computers is PIRACY?
22:08:47 <Phamhntom_Hoover> God, I love weird little phonemes that appear in about 2 languages.
22:08:49 <fizzie> http://ngrams.googlelabs.com/datasets ← the worst pirates of them all.
22:09:05 <J_Edgar_Hoover> Gyaah, I like Pyramids but I don't want to support Vorpal by quoting it.
22:10:03 <fizzie> Phamhntom_Hoover: NameDB (which is pretty small, only 30000 names) says there's two "mhn"-containing names, Adhamhnan (Irish-Gaelic, "little Adam") and Domhnall (Scots-Gaelic, "ruler of the earth").
22:10:19 <Vorpal> J_Edgar_Hoover, take for instance this stunned seagull (note: quoting from memory, YMMV)
22:10:36 <fizzie> Naming someone "ruler of the earth" sounds a bit... suspicious.
22:10:57 -!- J_Edgar_Hoover has changed nick to Adhamhnan.
22:11:08 <Vorpal> does /usr/share/words contain person names?
22:11:13 <fizzie> "Frankly, we should be catching these people earlier. I mean, if you have a kid named 'Death-tron' enrolled in school..."
22:11:15 <Adhamhnan> Suspiciously close to "Saddam", I might add.
22:11:38 <Adhamhnan> Googling just showed one archived TV Tropes discussion page. :p
22:11:51 <fizzie> Adhamhnan: That Ozy and Millie webcomic, though I located that quote from the aforementioned tvtropes discussion page.
22:12:04 <fizzie> Last time I was reminded of it I actually bothered to find the actual strip too.
22:12:20 <Adhamhnan> " In other news, Penguin Classics has decided not to publish all the commas removed from Humboldt’s Gift by Mr. Bellow while he was originally revising the manuscript."
22:12:53 <Phamhntom_Hoover> Adhamhnan, it's cited to Ozy and Millie, so the original source will be a PNG.
22:13:06 <Adhamhnan> Phamhntom_Hoover: Right. Unless someone goes and transcribes them all.
22:13:07 <Sgeo> The template I made is #411 on most transcluded templates
22:13:09 <fizzie> http://www.ozyandmillie.org/d/20040603.html
22:13:44 <Sgeo> Adhamhnan, you reminded me of it recently
22:13:46 <Adhamhnan> He just flipped through every comic, sequentially, until he found that one.
22:13:52 <fizzie> Phamhntom_Hoover: That's nothing strange: it's in a published book, and Google books search finds things inside the speech bubbles.
22:14:04 <fizzie> http://www.google.com/search?tbs=bks%3A1&tbo=1&q=ozy+and+millie+%22death-tron%22&btnG=Search+Books
22:14:16 <Adhamhnan> "Oh! I remember! They published those comics in a book."
22:14:20 <Adhamhnan> "Hmm... Google transcribe books..."
22:14:26 <fizzie> It even highlights the word inside the bubble.
22:14:33 <Adhamhnan> "Aha, there it is... now what comic number is it... there we GO..."
22:15:13 <fizzie> Well, the book name says it's 2004, and after seeing it in context, I remembered the whole sequence was about eradicating evil, so that was just "/evil" in the 2004 archive.
22:15:15 -!- zzo38 has joined.
22:15:40 <j-invariant> elliott: equality of functors is annoying.....
22:15:40 <Adhamhnan> fizzie: Do you have anything, you know, useful in your brain? :p
22:15:49 <Adhamhnan> j-invariant: isn't it just equality of functions?
22:15:52 <Adhamhnan> which is, admittedly, just as annoying
22:15:56 -!- Adhamhnan has changed nick to elliott.
22:16:27 <j-invariant> if you just have simple functions f,g : X -> Y then f = g is forall x, f x = g x.
22:16:40 <elliott> right... are the functors more complex?
22:16:59 <j-invariant> Let C,D be categories and F,G : C -> D functors. Then we need to say that forall X, FX=GX and only then can we even state that for all f : X -> Y, Ff = Gf
22:17:11 <j-invariant> because Ff and Gf have different types (unless FX=GX and FY=GY)
22:17:59 <elliott> j-invariant: you could do it in the same way as subtypes? maybe?
22:18:11 <elliott> j-invariant: except, just use a bijection
22:18:15 <elliott> j-invariant: i.e. make it Ff <==> Gf
22:18:23 <elliott> where <==> is just a function bijection
22:18:29 <elliott> well by subtypes i just mean like...
22:18:32 <elliott> yeah just go for a bijection?
22:18:41 <elliott> forall f:X->Y, Ff <===> Gf
22:18:48 <elliott> where <===> is just two functions, both ways
22:18:56 <fizzie> Phamhntom_Hoover: Incidentally, I think it's done with OCR, and it's not especially good, since the regular-google excerpt text contains "HAVE ft WD NAMED DEATH-TRON", so it's gotten the "A KID" part wrong.
22:18:57 <elliott> i.e. to (fro x) = x and fro (to x) = x
22:19:33 <fizzie> I can sort of see A → ft, but W → KI is a bit less believable.
22:19:55 <fizzie> Or the other way around.
22:20:29 <elliott> Phamhntom_Hoover: "Phantom Hoover".
22:21:47 <j-invariant> elliott: line 306 of http://coq.pastebin.com/hRgqWQ6H - same thing as before except with SET now
22:22:22 <elliott> j-invariant: looks pretty good to me? I might be missing something
22:23:02 <elliott> Phamhntom_Hoover: It's like Haskell but impure, strict and unsafe. Also very, very, very, very, very, very fast.
22:23:08 <j-invariant> it's a type error "Hom' (MapOb C D G X) (MapOb C D G Y)" while it is expected to have type "Hom' (MapOb C D F X) (MapOb C D F Y)".
22:23:24 <elliott> j-invariant: you need to do equality elimination?
22:23:29 -!- cheater99 has joined.
22:23:35 <elliott> j-invariant: like make it H and prove FX=HX and GX=HX
22:23:45 <j-invariant> I might just start fresh and see if I can set things with this in mind
22:25:46 <j-invariant> I'm not sure if A=B means we have a map A-->B
22:26:11 -!- cheater99 has quit (Read error: Connection reset by peer).
22:26:36 <elliott> j-invariant: well yeah, but you can say A<=>B instead of A=B if coq doesn't like A=B
22:26:44 <elliott> (obviously you have to define <=>)
22:27:01 <elliott> every set of the same cardinality is equal by that definition
22:27:02 <fizzie> "We paid for a product, whether it was finished or not, and we as customers deserve to have a working product. Therefore using us as guinea pigs throwing nonfunctional code at us is not right." Yet another way to solve any sort of an energy crisis would be to figure out a way to extract energy from all this indignation.
22:27:35 <elliott> j-invariant: maybe ... but it'll definitely work
22:27:41 <elliott> j-invariant: and i personally think sets with the same cardinality *are* the same :)
22:27:57 <Phamhntom_Hoover> <elliott> Phamhntom_Hoover: It's like Haskell but impure, strict and unsafe. Also very, very, very, very, very, very fast. ← so wait, it doesn't have the nice bits of Haskell but is faster?
22:28:00 <elliott> fizzie: At the same time, anyone complaining about a bug in ANY WAY and saying that Minecraft isn't tested at all gets told "lol UR the tester".
22:28:08 <elliott> fizzie: Which is just silly.
22:28:13 <elliott> Phamhntom_Hoover: It's still a functional language.
22:29:01 <elliott> Anyone know that Python-ish C-level language? I distinctly recall it ...
22:30:56 <elliott> Aww man, you were able to store things in your 2x2 inventory crafting area until the beta update.
22:31:37 <elliott> Vorpal: The super-rare thing is just a single person's special outfit.
22:31:52 <elliott> fizzie: "The downside of the mojang cape is that everyone thinks it's an item and therefore they can kill me to receive one" --C41813981398189.
22:31:55 <elliott> fizzie: I think we have a duty here.
22:32:12 <elliott> [["The mojang cape is [...] an item and therefore they can kill me to receive one" --/r/Minecraft; hopefully intentional.)
22:33:02 <fizzie> But wasn't the cape thing already mentioned in the same list as the "even more rare" thing?
22:33:18 <elliott> fizzie: Jeb doth beggeth to differ; http://i.imgur.com/XJDhN.png
22:33:42 <elliott> I suggest we track Notch down and brutally murder him, repeatedly, in a futile attempt to get the cape.
22:33:50 <elliott> Or just because DAMMIT NOTCH.
22:34:02 <elliott> Phamhntom_Hoover: Then we kill him some more.
22:34:04 <fizzie> Oh, okay; so it's a single-person special thing in addition to the cape.
22:34:11 <Goosey> Why are we suggesting to kill notch?
22:34:12 <Phamhntom_Hoover> Who else will be masochistic enough to develop his code further?
22:34:52 <elliott> Goosey: Because god dammit Notch.
22:35:16 <elliott> This is for a bug. And this is for another bug! And we'll be here until Saturday!
22:36:29 <elliott> Goosey: Yes, it's because of DEAF LECAY.
22:36:31 <Goosey> I can play crysis, but not minecraft?
22:36:32 <Phamhntom_Hoover> elliott, "This is for a bug! This is for the 43 bugs and 3 "fixes" of entertaining aspects of gameplay you removed in the bugfix!"
22:36:42 <Goosey> So if i delete all the trees in an area....:D
22:36:44 <elliott> Phamhntom_Hoover: This is because you're Swedish!
22:36:52 <elliott> This is just because I hate you!
22:37:02 <elliott> fizzie: http://twitter.com/Ridder_Graniet/status/17306802005741569 http://twitter.com/notch/status/17306923489566720
22:37:17 <elliott> "Notch could be the ultimate troll if he wanted to be.
22:37:18 <elliott> How hilarious would it be if he made one more release which was incredibly and purposefully broken and then retired from Minecraft."
22:37:28 <elliott> Isn't he already making releases that are incredibly and purposefully broken?
22:37:35 <elliott> I can't think of any other explanation for the bugs.
22:37:46 <fizzie> "<S1lver94> please make that minecraft can handle ä,ü and ö" "<notch> coming tomorrow, I fixed it before I left work today" -- I didn't even know they were broken.
22:37:48 <Goosey> I'm going to block the patch updater and run old minecraft :/
22:37:55 <elliott> http://i.imgur.com/SQhzh.png What.
22:38:00 <elliott> Goosey: good luck using SMP
22:38:07 <elliott> Phamhntom_Hoover: http://i.imgur.com/SQhzh.png Indeed.
22:38:36 <elliott> Phamhntom_Hoover: LOL DUPLICATION.
22:38:39 <elliott> "Every time you throw a tool, two or more of that same tool are thrown. Each of those, when picked up, can also duplicate when thrown.
22:38:39 <elliott> When you die, every tool you have is thrown, and is subject to the same duplication.
22:38:39 <elliott> The best part is is that duplicated tools are unusable. The server detects them as duplicates, and thus are immediately destroyed after one use. Add this to the few PKers that camp the spawn point and you get tools everywhere."
22:38:47 <Phamhntom_Hoover> It still eludes me why anyone would decide to have two completely separate lumps of code for single- and multiplayer/
22:38:53 <elliott> Goosey: SMP isn't all that buggy if you disable the survival part.
22:39:11 <elliott> http://i.imgur.com/GNrcO.jpg MY SOULMATE
22:39:52 <elliott> "Beta, taking everything working in alpha and breaking it, and then adding leaf decay."
22:39:53 <elliott> "You can either have leaf decay or everything else, make up your minds."
22:40:05 <elliott> Goosey: Well, it's server-side now. So duplication is broken. :p
22:40:16 <Phamhntom_Hoover> I'm not playing MC until Notch fixes things to ineiros' high standards.
22:40:18 <Vorpal> <elliott> fizzie: "The downside of the mojang cape is that everyone thinks it's an item and therefore they can kill me to receive one" --C41813981398189. <-- hah
22:40:26 <elliott> "It is complete anarchy in there right now...
22:40:27 <elliott> The laws of physics don't even apply. I got in a boat and sank through the ground."
22:40:32 <fizzie> I'd still like to know if adding 360*24*60*60*1000 to the value in ~/.minecraft/bin/version will automagically block the updating functionality (for the next year) without disabling the logging-in thing.
22:40:53 <elliott> Turning and turning in the widening gyre
22:40:54 <elliott> The falcon cannot hear the falconer;
22:40:54 <elliott> Things fall apart; the centre cannot hold;
22:40:54 <elliott> Mere anarchy is loosed upon the world,
22:40:54 <elliott> The blood-dimmed tide is loosed, and everywhere
22:40:54 <elliott> The ceremony of innocence is drowned;
22:40:56 <elliott> The best lack all conviction, while the worst
22:40:58 <elliott> Are full of passionate intensity.
22:41:03 <elliott> Didn't you know that was about the Minecraft beta?
22:41:30 <elliott> (And not a single fuck was given that day.)
22:41:40 <elliott> "on one server I got in a boat, which forced me out of the server from some java socket error. then when I came back both me and the boat were still there. then the boat left my clone sitting in the air and decided to repeatedly smash itself into a stone wall. this all took place in my mine."
22:41:54 <elliott> "on one server I got in a boat, which forced me out of the server from some java socket error. then when I came back both me and the boat were still there. then the boat left my clone sitting in the air and decided to repeatedly smash itself into a stone wall. this all took place in my mine."
22:41:58 <elliott> "Inaccurate. That JPEG has a much better framerate than Minecraft on Windows 7 64 currently.{I used to get 30-40 in Alpha on Far}"
22:41:59 -!- cheater99 has joined.
22:42:29 <Vorpal> `addquote <Goosey> I can play crysis, but not minecraft?
22:42:40 <HackEgo> 252) <Goosey> I can play crysis, but not minecraft?
22:43:01 <elliott> <Phamhntom_Hoover> I'm not playing MC until Notch fixes things to ineiros' high standards.
22:43:07 <elliott> Maybe we should just get the hellworld out again.
22:43:15 <Goosey> elliott, I used to get 150-160 :/
22:43:19 <elliott> YOU WANT CHAOS?! I'LL GIVE YOU CHAOS!!
22:43:21 <Goosey> now I get 10-15 at best
22:43:47 <Goosey> when I think of the source for minecraft
22:43:53 <Phamhntom_Hoover> If MC were any less fun to play, I wouldn't be playing it until Notch left and Donald Knuth rewrote it from scratch.
22:44:04 <Goosey> I can't help but think how terribly obfuscated and inefficient it is
22:44:05 <zzo38> Maybe they should just get rid of Minecraft. If more people want it someone can make using GNU GPL v3 or later version, with different people, might improve slightly.
22:44:15 <Goosey> it probably looks like rat shit
22:44:18 <elliott> Goosey: I don't think anyone's actually analysed the performance.
22:44:26 <elliott> `addquote <zzo38> Maybe they should just get rid of Minecraft. If more people want it someone can make using GNU GPL v3 or later version, with different people, might improve slightly.
22:44:27 <HackEgo> 253) <zzo38> Maybe they should just get rid of Minecraft. If more people want it someone can make using GNU GPL v3 or later version, with different people, might improve slightly.
22:44:43 <Phamhntom_Hoover> Which, given the state of beta, I would estimate to be in about 3 weeks.
22:44:58 <Vorpal> <fizzie> I'd still like to know if adding 360*24*60*60*1000 to the value in ~/.minecraft/bin/version will automagically block the updating functionality (for the next year) without disabling the logging-in thing. <--- does that work?
22:44:58 <Sgeo> http://www.youtube.com/watch?v=NbTEVbQLC8s
22:45:15 -!- cheater99 has quit (Read error: Connection reset by peer).
22:45:16 <fizzie> Vorpal: If I knew, I wouldn't have to wonder.
22:45:38 <Vorpal> I have a copy of the old version
22:45:38 <elliott> fizzie: You could just try, with an old backup.
22:45:40 <fizzie> I have a feeling it won't, since it'd be so easy I'd have seen it on the forumlons.
22:45:53 <elliott> fizzie: If you mean minecraftforum, um, the average IQ is something like "duck" there.
22:46:17 <fizzie> Also, I have gotten the updates when I've just copied the minecraft.jar in place and left the new-version "version" file in place, so I think it does check the .jar files too, but that's just me.
22:46:32 <elliott> <Sgeo> http://www.youtube.com/watch?v=NbTEVbQLC8s
22:46:35 <elliott> what is this terrible thing
22:47:00 <Sgeo> elliott, come on do the Qt 4 dance!
22:47:15 <elliott> fizzie: Why hasn't someone modded the client to say to the server, "oh ho, yes, yes, I am version 34589734589345 and my hash is bork"?
22:47:16 <Phamhntom_Hoover> Sgeo, go download Oolite and play it for a while. It should stop you talking for a while.
22:47:17 <Vorpal> Goosey, so did changing that version actually work?
22:47:23 * Sgeo wants there to be a GTK+ dance
22:47:25 <elliott> fizzie: It's _possible_, by definition, anyway.
22:48:14 <fizzie> Maybe someone has; I haven't tried to find out a way to play with the old version (and still participate in the authentication stuff) very hard.
22:49:55 <elliott> Does *nobody* know of that language?
22:51:21 <Vorpal> elliott, which language?
22:51:45 <elliott> Vorpal: It had a Python-y syntax but was about as low level as C. *Not* related to Python like Cython is or anything.
22:51:59 <fizzie> Can you tell us anything more about it?
22:52:04 <elliott> Quite barebones web page; I think it had no CSS or something although IIRC there was a screenshot on the left or right with some mandelbrot written in it running... I think with a tiling WM, unantialiased X fonts?
22:52:06 <elliott> fizzie: Nope, I don't recall much.
22:52:09 <elliott> It was on reddit once, I think.
22:52:18 <elliott> Vorpal: Vala isn't Python-like at all.
22:52:26 <elliott> Genie, which is Vala's alternative "frontend", is, but no.
22:52:33 <elliott> It had indentation-based syntax etc.
22:53:11 -!- zzo38 has set topic: The closer you are to the batsman, the sillier you are. | http://tunes.org/~nef/logs/esoteric/?C=M;O=D.
22:53:15 <Vorpal> elliott, only indention based languages I know of are: python, haskell, make
22:53:28 <Vorpal> or at least, only ones I can remember atm
22:53:38 <Vorpal> elliott, was it mentioned in here?
22:53:38 <elliott> Vorpal: It wasn't a well-known thing.
22:53:43 <elliott> I think I linked it ... maybe.
22:53:43 <Vorpal> elliott, if so you could grep the logs
22:54:07 <zzo38> I try to look at the MSE codes to learn some things that I might or might not use to make TeXnicard.
22:54:16 <elliott> j-invariant: My arms are a bloody stump.
22:55:36 <fizzie> One thing that might be very likely to block the updates would be just to rewrite the "version" field of the response the launcher gets for "http://www.minecraft.net/game/getversion.jsp?..." (with a transparent-Squid and a script or whatever) to whatever you have; that way the launcher just won't try to download new packages, but it will still use the has-logged-in session ID for server connections. (Of course assumes the server is old enough to speak the same
22:55:57 <Vorpal> Phamhntom_Hoover, oolite looks... primitive?
22:56:12 <elliott> Minecraft looks... primitive?
22:56:15 <Vorpal> Phamhntom_Hoover, heck, even vegastrike has better graphics
22:56:25 <Vorpal> elliott, fair enough, but in a different way
22:56:29 <Sgeo> Dammit, elliott, I was going to say the same
22:56:34 <elliott> Vorpal: Oolite is an Elite clone.
22:56:56 <Sgeo> And to that you would have responded with indignation
22:56:57 <elliott> Vorpal: If it looks better than http://upload.wikimedia.org/wikipedia/en/c/c4/BBC_Micro_Elite_screenshot.png, it's doing it right. :p
22:57:11 <elliott> j-invariant: to implement a compiler?
22:57:24 <Phamhntom_Hoover> Vorpal, well, there are expansion packs with extremely advanced graphics.
22:57:40 <Phamhntom_Hoover> So much so that I cannot use them since they break my graphics card.
22:58:11 <Vorpal> Phamhntom_Hoover, ever played EV override?
22:58:15 <Vorpal> Phamhntom_Hoover, you might love it
22:58:19 <elliott> http://en.wikipedia.org/wiki/Oolite_%28video_game%29#Critical_reception_and_reviews Rather well-praised.
22:58:33 <Sgeo> I'm not going to say I like it, but I got Vegastrike's interstellar movement stuck in my head. The idea of being fast when little gravity is acting on you, and slowing down near large masses
22:58:54 <Vorpal> Phamhntom_Hoover, classic mac, doesn't run under sheepshaver. So you need a real classic mac for it. Or an ppc mac os x with classic emulation
22:59:17 <Phamhntom_Hoover> Vorpal, Oolite is cross-platform in a beautifully hideous way!
22:59:33 <Vorpal> Phamhntom_Hoover, right, ev override was shareware
22:59:47 <Vorpal> Phamhntom_Hoover, ambrosia software (I presume you heard about it)
23:00:11 <elliott> 10.10.27:18:53:21 <catseye> ===> Checking for vulnerabilities in python26-2.6.6nb2
23:00:11 <elliott> 10.10.27:18:53:21 <catseye> Package python26-2.6.6nb2 has a denial-of-service vulnerability, see http://secunia.com/advisories/41279/
23:00:11 <elliott> 10.10.27:18:53:32 <catseye> same for python25
23:00:11 <elliott> 10.10.27:18:53:38 <catseye> i guess i could try python24
23:00:22 <Phamhntom_Hoover> It uses Objective-C and the original Mac version was very OS X dependent, so all ports use the GNUstep libraries!
23:00:24 <Vorpal> elliott, looks like freebsd
23:00:38 <elliott> s/Big Brother/Friend Computer/
23:00:43 <elliott> s/Friend Computer/NO YOU CAN'T INSTALL PYTHON/
23:01:17 <Vorpal> (ambrosia software is right up there along with spiderweb software amongst "cool sharware companies")
23:01:21 <Vorpal> elliott, don't you agree?
23:01:27 <Phamhntom_Hoover> Vorpal, see http://wiki.alioth.net/index.php/Griff_Industries for the ultra-cool OpenGL my-computer-breakery.
23:01:29 -!- cheater99 has joined.
23:01:40 <elliott> Vorpal: Ambrosia soured me a bit.
23:02:05 <Sgeo> <3 Microsoft Allegiance
23:02:08 <elliott> They have this audio tool that lets you multiplex/redirect/etc. audio streams that I used to be able to record what's coming out of the sound and save it; except that its
23:02:30 <Goosey> i hate day/night cycle
23:02:31 <elliott> "trial period is over" mode was to randomly say "Hey, this is not registered, I am a generic female voice" (well, not /exactly/ that) over your recordings.
23:02:31 <Vorpal> elliott, stop doing mc cutting on irc!
23:02:37 <Goosey> I JUST WANT TO BUILD DAMNIT
23:03:00 <Vorpal> elliott, ev override had unusual trial period over stuff too
23:03:05 <elliott> Vorpal: btw http://en.wikipedia.org/wiki/Multiwinia
23:03:11 <Vorpal> elliott, heard about it
23:03:30 <Vorpal> elliott, oh and introversion is also right up there among cool companies
23:03:41 <elliott> Introversion is *the* coolest company.
23:03:49 <elliott> One disc has Windows/Mac/Linux binaries, and is the only disc sold.
23:03:54 <elliott> Another disc has the freaking SOURCE CODE.
23:03:59 <elliott> And they allow mods to be redistributed.
23:04:03 <j-invariant> or I could just add another axiom to Category
23:04:19 <elliott> So you can *buy a disc with the source code on* and *redistribute your modifications, even as binaries*.
23:04:22 <Sgeo> Meh, I rather disliked Uplink. Loved the music, not so much the game
23:04:29 <Sgeo> Then again, I only tried the trial version
23:04:32 <Sgeo> Is Darwinia better?
23:04:38 <Phamhntom_Hoover> Sgeo, that is because, as has been established, you have terrible taste.
23:04:45 <elliott> Darwinia I haven't played due to not having a good enough computer when it came out.
23:04:46 <Vorpal> <elliott> Introversion is *the* coolest company. <-- no
23:04:50 <elliott> Vorpal: Yes. It really is.
23:04:56 <Vorpal> elliott, they never released the final darwinia upgrade for linux
23:05:05 <Vorpal> elliott, that took them down a notch
23:05:06 <elliott> Vorpal: I see. So what company is better?
23:05:15 <elliott> If you can't name one: SORRY, still the coolest.
23:05:16 <Phamhntom_Hoover> elliott, I had great fun once I worked out that with a single relatively-high risk hack you can get a million currencies.
23:05:18 <Vorpal> elliott, well, I don't know any. But they are not perfect
23:05:27 <elliott> Phamhntom_Hoover: Heh. I could never get the storyline to start.
23:05:28 <Vorpal> elliott, still they are cool, but that thing soured me a bit
23:05:28 -!- cheater99 has quit (Read error: Connection reset by peer).
23:05:43 <Sgeo> Maybe I shouldn't have read about the storyline
23:05:54 <Phamhntom_Hoover> So you can go from crappy starting equipment, with some bank-oriented upgrade to OMGAWESOME supercomputer.
23:06:00 <Vorpal> <elliott> Darwinia I haven't played due to not having a good enough computer when it came out. <-- wait what
23:06:11 <Sgeo> Maybe I'll try it agan
23:06:15 <Vorpal> elliott, darwinia (awesome awesome) has *retro* graphics
23:06:30 <Sgeo> Is there a Darwinia trial?
23:06:32 <Vorpal> elliott, it is low polygon
23:06:50 <Vorpal> not the full thing of course
23:06:53 <Sgeo> Maybe after Monday I'll try it
23:07:03 <Vorpal> Sgeo, first thing: disable mouse gesture interface
23:07:07 <Phamhntom_Hoover> Uplink doesn't work on modern Linux systems, though, due to the evils of shared libraries.
23:07:10 <Sgeo> And Braid. And get back to work on the Project
23:07:17 <Vorpal> Phamhntom_Hoover, ouch
23:07:24 <Sgeo> And ban all IPs on Wikisuperosity
23:07:28 <Vorpal> Phamhntom_Hoover, was uplink the nuclear war one?
23:07:38 <Sgeo> Vorpal, Uplink's the "hacking" one
23:08:14 <Phamhntom_Hoover> OTOH, after completing the storyline about 5 times and hacking into every system in existence twice I got bored.
23:08:31 <elliott> you could delete a box's os
23:08:46 <Phamhntom_Hoover> NB: never side with ARC in the story mode; spreading that virus is ridiculously hard/
23:09:09 <Sgeo> I downloaded a revelation.exe from a fansite once. Never opened it, never intended to
23:09:34 <Sgeo> Except maybe in a VM
23:09:36 <Vorpal> Phamhntom_Hoover, I presume a chroot with older linux would work
23:09:40 <Vorpal> Phamhntom_Hoover, when approx?
23:09:53 <Phamhntom_Hoover> Also, if you run the revelation you get from the Arunmor campaign, you get a 30-second, autonomous way of taking out any server.
23:10:07 <Vorpal> little chance of automagic deb chroot then
23:10:27 <Vorpal> Phamhntom_Hoover, link?
23:10:37 <elliott> you could deposit into a bank
23:10:40 <Phamhntom_Hoover> http://www.introversion.co.uk/subversion/ is the development blog.
23:10:56 <elliott> the money woiyuold be there
23:11:24 <Vorpal> Phamhntom_Hoover, what is the game about?
23:11:28 <Vorpal> Phamhntom_Hoover, subversion I mean
23:11:38 <Phamhntom_Hoover> In the full version, at least, you could hack into the police servers and get people framed.
23:11:41 <Sgeo> <3 the Uplink music
23:12:13 <Phamhntom_Hoover> Although IIRC you can't get the elliptic curve decipherer in the demo, so good luck with that.
23:12:47 <Phamhntom_Hoover> Vorpal, Subversion is AFAIK a Mission Impossibley game where you're the nerd in the van.
23:13:34 <Vorpal> Phamhntom_Hoover, awesome
23:13:47 <Vorpal> Phamhntom_Hoover, that was the nuclear one
23:14:02 <Phamhntom_Hoover> Especially since you can have a pretty good time in MP even if you only get the demo.
23:14:25 <Sgeo> http://www.youtube.com/watch?v=RXyHhyDzE7w LISTEN TO IT
23:15:51 <Phamhntom_Hoover> Of course, since it was a fringe docudrama that only aired on BBC 4, it'll never be released.
23:15:59 <Vorpal> Phamhntom_Hoover, have a copy of uplink?
23:16:23 <Vorpal> Phamhntom_Hoover, for linux?
23:16:45 <Vorpal> elliott, if it doesn't run any more...
23:17:14 <Sgeo> elliott, advocating purchasing data?
23:17:21 <Sgeo> I think the world is ending
23:17:29 <Vorpal> Phamhntom_Hoover, *gah*
23:18:06 <Vorpal> Phamhntom_Hoover, nah, after I listen to the video Sgeo linked
23:18:19 <Vorpal> it reminds me of Perfect Dark music (but more awesome than that)
23:18:27 <Vorpal> (though Perfect Dark was a pretty awesome game)
23:18:58 <zzo38> Try the game(s) I made. I made many different kind.
23:20:12 <Sgeo> You can download the soundtrack from Introversion I think
23:20:24 <Vorpal> that soundtrack is long
23:20:41 <zzo38> Phamhntom_Hoover: You are correct about that. But maybe try it anyways.
23:21:09 <Vorpal> Phamhntom_Hoover, no, the one Sgeo linked
23:21:23 <Sgeo> According to a YouTube commentor, there may be a glitch in the video
23:21:31 -!- cheater99 has joined.
23:21:42 <Vorpal> Phamhntom_Hoover, I will watch the other one when you help me find uplink (I bought darwinia, after I tried it)
23:21:49 <Vorpal> (I never buy something before trying)
23:22:10 <Sgeo> Vorpal, what time?
23:22:18 <Phamhntom_Hoover> Vorpal, http://www.introversion.co.uk/uplink/downloads/uplink-demo-1.54.sh
23:22:18 <Sgeo> 7:50 some awesomeness
23:22:41 <Vorpal> Phamhntom_Hoover, I meant full version
23:22:45 <zzo38> Do you like this kind of game http://zzo38computer.cjb.net/games/xnazzyball.png or http://zzo38computer.cjb.net/games/meskilb.png or http://zzo38computer.cjb.net/games/oldgamescreen/009.png or http://zzo38computer.cjb.net/games/DiskCatch2.png or http://zzo38computer.cjb.net/mzx1/ASCMZXTO/screen.png
23:23:10 <Sgeo> zzo38, DF clone?
23:23:13 <zzo38> Probably you don't know without a description.
23:23:15 <Vorpal> Phamhntom_Hoover, they were involved?
23:23:25 <zzo38> Sgeo: What is DF clone?
23:23:37 <Vorpal> zzo38, I hate puzzle games in general
23:23:44 <Sgeo> zzo38, the graphics of that last screenshot look like they're from Dwarf Fortress
23:24:09 <Vorpal> Phamhntom_Hoover, their trial-over stuff is on crack however
23:24:10 <zzo38> Sgeo: They aren't. They are the CP437 character set, though.
23:24:19 <Vorpal> (as exemplified by elliott)
23:24:34 -!- cheater99 has quit (Read error: Connection reset by peer).
23:24:40 <Vorpal> Phamhntom_Hoover, uplink still
23:24:48 <Vorpal> Phamhntom_Hoover, several minutes left
23:24:53 <Sgeo> Phamhntom_Hoover, sorry about upstaging you
23:25:14 <Sgeo> After the Uplink soundtrack is over
23:25:37 <Vorpal> Phamhntom_Hoover, well. We will see.
23:25:56 <Sgeo> Vorpal, there's glitching around 11:20
23:26:07 <Vorpal> Phamhntom_Hoover, but uplink music reminds me of Perfect Dark in parts
23:26:13 <Vorpal> but I guess that is only natural considering the genre
23:26:20 <Sgeo> Glitching ends before 11:30
23:26:43 <Vorpal> Phamhntom_Hoover, well, it doesn't work well under mupen64plus
23:26:47 <Vorpal> Phamhntom_Hoover, that is all I can say
23:26:47 <zzo38> For the last screen-shot, if you want information (and list of things that are not true in the "Criticize" section), see: http://www.digitalmzx.net/wiki/index.php?title=Super_ASCII_MZX_Town
23:26:51 <Phamhntom_Hoover> I've never *played* it, and I'm not entirely confident it or the second-hand N64 work, but..
23:27:14 <Vorpal> Phamhntom_Hoover, it is, or was, an awesome game
23:27:39 <elliott> Vorpal: the only reason pirating minecraft was acceptable for demoing is because there is no demo offered. you can easily figure out whether you'll like uplink from the demo. if you just want to pirate it, fine, but don't phrase it as trying-before-you-buy.
23:27:42 <elliott> and don't expect Phamhntom_Hoover to help you
23:28:05 <Vorpal> Phamhntom_Hoover, never played that
23:28:09 <Vorpal> Phamhntom_Hoover, genre?
23:28:50 <Phamhntom_Hoover> It *should* be a space sim, but exactly one of the levels are in anything that could be called space.
23:28:52 <zzo38> Sgeo: Now do you like this game?
23:29:48 <elliott> <elliott> Vorpal: the only reason pirating minecraft was acceptable for demoing is because there is no demo offered. you can easily figure out whether you'll like uplink from the demo. if you just want to pirate it, fine, but don't phrase it as trying-before-you-buy.
23:29:48 <elliott> <elliott> and don't expect Phamhntom_Hoover to help you
23:30:06 <Sgeo> "Some of the puzzles do not work correctly except on the author's computer"
23:30:26 <Sgeo> Oh, those criticisms are all jokes?
23:30:42 <Sgeo> We're not supposed to kill BIG_MONSTER?
23:30:47 <zzo38> Sgeo: That isn't true, though. Everything in the criticisms list is untrue.
23:30:51 <j-invariant> elliott: axioms like forall {X X' Y}, ObEq X X' -> Hom X Y -> Hom X' Y can't be realized
23:30:57 <Phamhntom_Hoover> Rogue Squadron and OoT were basically the first games I played.
23:31:05 <Sgeo> zzo38, Criticisms says to kill the BIG_MONSTER...
23:31:05 <elliott> j-invariant: goodbye constructivism :P
23:31:44 <zzo38> Sgeo: Yes you shouldn't kill BIG_MONSTER. (You can't, anyways. But even if you could, you shouldn't. You should kill MEDIUM_SIZE_MONSTER though, because they are bad and BIG_MONSTER can help you to beat them.)
23:32:38 * Sgeo decides not to trust zzo38 to write cross-platform software
23:33:14 <Sgeo> "so you have to use the same forked version of MegaZeux that zzo38 wrote"
23:33:34 <zzo38> Sgeo: This game is cross-platform software. Most of the software I write is cross-platform software and most of it works. (I have even tested some of my programs on Linux and they work.)
23:33:46 -!- pikhq has joined.
23:34:08 <Vorpal> Phamhntom_Hoover, so what about that micromen
23:34:15 <Vorpal> Phamhntom_Hoover, decent music, but that's it
23:34:18 <Sgeo> zzo38, I meant in the sense of "is likely to write his own fork of the platform and make it run exclusively on that"
23:34:19 <zzo38> Sgeo: That is for Part II. Part I does not require it (but does work with my version of MegaZeux). I have only compiled my forked version of MegaZeux on Windows, but it should work on other operating system, too.
23:34:45 <Vorpal> Phamhntom_Hoover, I loved uplink music!
23:35:02 <elliott> i bet Vorpal wouldn't even like the IT crowd!
23:35:09 <Sgeo> I love The IT Crowd!
23:35:10 <zzo38> Sgeo: O, that is what you mean. Still, you should be able to compile the one with PZX-feature on any operating system with C and SDL.
23:35:19 <Phamhntom_Hoover> elliott, well, I did show him the "Have you tried turning it off and on again clip".
23:35:23 <Vorpal> elliott, is that the one I seen a clip from where the technobable made sense?
23:35:43 <Vorpal> elliott, something about the global interrupt table in the NT kernel or such
23:35:50 <Vorpal> which made absolutely perfect sense
23:35:52 <Sgeo> I've only seen seasons 1 and 2 :(
23:35:55 <Vorpal> Phamhntom_Hoover, quite!
23:36:28 <zzo38> Phamhntom_Hoover: What things you didn't trust me with? Maybe some things I cannot properly be trusted but some things I can do it why didn't you trust it??
23:36:32 <elliott> I've only seen sporadic episodes; last I watched was the (Street) Countdown one.
23:36:43 <Vorpal> elliott, I read about NT internals (don't ask why, I don't know). And I can tell you it was a perfectly sensible (if somewhat unlikely) problem description
23:36:50 <Phamhntom_Hoover> elliott, was that the one where Moss ends up justifying the Iraq war?
23:37:09 <elliott> Phamhntom_Hoover: I forget.
23:37:29 <elliott> Vorpal: IIRC it had one issue
23:37:40 <elliott> Vorpal: in that he said you wanted X to happen when in fact you didn't, i.e. the opposite
23:37:46 <zzo38> Why don't you tell me why? If you tell me why and it is a genuine mistake, I can attempt to correct it.
23:38:01 <Vorpal> elliott, don't remember exactly
23:38:05 <Goosey> I'm making practical applications for redstone :/
23:38:16 <Vorpal> Goosey, such as the CPU?
23:38:23 <Goosey> well that would lag...
23:38:26 <elliott> Until redstone can control an automatic mining machine, I don't acre.
23:38:51 <Phamhntom_Hoover> Vorpal, obviously one of the idiots on the 8th floor tried writing his own drivers for the printer and called Moss for help.
23:39:02 <Vorpal> Phamhntom_Hoover, haha
23:40:29 -!- cheater99 has joined.
23:41:34 <elliott> http://www.reynholm.co.uk/
23:42:14 <Phamhntom_Hoover> Moving from the sublime to the ridiculous: Richmond is the BOfH in disguise!
23:42:24 <zzo38> Do you like any of the games in this list? BJACK BUMPERSH COLORSOL COLORSPI DANCEKEY DOWN ELEMENTA FATHER GIVEAWAY HACKBITS KNAR MAKETEN MAZEMAN MINES MUDCAGE MUTCHNAM PUZGEN PUZZLEX QCOOKIE SKEDALS SNAKEBIT SOVMINGA STARSTAK STARWARS STEPTILE STOKER WUMPUS9 .
23:44:56 <Goosey> END THE VELOCIRAPTORS TYRANNY! BOARD UP YOUR HOMES!
23:44:56 -!- cheater99 has quit (Read error: Connection reset by peer).
23:45:53 * Goosey hides after remembering this is a akcd hate club
23:46:10 <elliott> http://akcd.com/ THE BEST SPAM PAGE
23:46:26 <elliott> Goosey: Note: I only hate xkcd post-around-comic-400.
23:46:43 <zzo38> Phamhntom_Hoover: What did you not like about this game?
23:46:44 <Goosey> why is it not anymore?
23:46:54 <Goosey> and I like the black hat guy though :/
23:47:02 <elliott> Goosey: Because Randall went insane?
23:47:02 <Sgeo> "so you have to use the same forked version of MegaZeux that zzo38 wrote"
23:47:15 <Sgeo> "Your helpdesk request has been successfully received. You have been automatically allocated the ticket number O65LRV2T. Please record this number in a safe place."
23:47:59 -!- cheater99 has joined.
23:50:08 -!- cheater99 has quit (Read error: Connection reset by peer).
23:51:02 * Sgeo has a Reynhold Industries ID card!
23:53:02 <Sgeo> SQL Query: SELECT `userid`, `username`, md5(`password`) FROM `intranet_users`
23:53:56 <zzo38> I am still in progress of Part II game, so I didn't put SMALL_MONSTER yet, but SMALL_MONSTER is neither good nor bad. Now BIG_MONSTER is good, MEDIUM_SIZE_MONSTER is bad, and SMALL_MONSTER is neither good nor bad; this works isn't it?
23:54:11 <zzo38> Sgeo: Now I am going to steal your ticket number and sell it in the black market for access cards.
23:57:02 <Goosey> I created a semi controllable oscillator in mc
23:57:14 <elliott> there are known oscillators
23:57:21 <Goosey> mine changes speed bitch
23:58:03 -!- j-invariant has quit (Quit: leaving).
23:58:29 * Sgeo sics a female dog on Goosey