more of them for a while, but it looks like we're back down to pre-NGS values
2011-12-01 33505, 2011
Leftmost
Aha.
2011-12-01 33509, 2011
Leftmost
I should learn to read the logz.
2011-12-01 33514, 2011
ianmcorvidae
it wasn't in the log
2011-12-01 33518, 2011
ianmcorvidae
well, it was in MY logs
2011-12-01 33526, 2011
ianmcorvidae
I pasted that to reosarevok in PM :P he just responded here
2011-12-01 33536, 2011
Leftmost
Oh.
2011-12-01 33553, 2011
ianmcorvidae
I'm working a patch to let people graph arbitrary things (so long as they only graph one thing)
2011-12-01 33557, 2011
reosarevok will use it being 5 AM as an excuse
2011-12-01 33506, 2011
ianmcorvidae
heh, fair enough
2011-12-01 33510, 2011
Leftmost
Too bad it's only 8pm.
2011-12-01 33534, 2011
Leftmost
I very sorely want to read that as "for arbitrary values of n = 1".
2011-12-01 33544, 2011
ianmcorvidae
haha
2011-12-01 33551, 2011
reosarevok
:D
2011-12-01 33517, 2011
Leftmost
Let X be a nonempty subset of the positive integers. Then it is possible, for an arbitrary n \in X, to graph n things, provided X = {1}.
2011-12-01 33538, 2011
reosarevok
Leftmost, but but but you can graph 0 things!
2011-12-01 33544, 2011
reosarevok
It is just not very visible
2011-12-01 33519, 2011
ianmcorvidae
you can also graph >1 things, so long as they're things on the main graph :P
2011-12-01 33554, 2011
reosarevok
You can graph 1 thing
2011-12-01 33506, 2011
reosarevok
Except if you're pedantic, which allows you to graph 0
2011-12-01 33519, 2011
reosarevok
Or boring enough to just want the main graph, with allows you >1
2011-12-01 33525, 2011
ianmcorvidae
haha
2011-12-01 33543, 2011
Leftmost
He said "so long as they only graph one thing". That implies n != 0.
2011-12-01 33559, 2011
ianmcorvidae
yeah, I guess you couldn't graph 0 with the thing I'm writing
2011-12-01 33504, 2011
ianmcorvidae
you could graph 0 with the main graph, though
2011-12-01 33513, 2011
ianmcorvidae
it makes a very pretty blank box :P
2011-12-01 33532, 2011
ianmcorvidae
actually, probably with the thing I'm doing too, if you put in a bogus name :P
2011-12-01 33535, 2011
reosarevok
It's not blank
2011-12-01 33537, 2011
reosarevok
Not conceptually
2011-12-01 33511, 2011
reosarevok
It's philosophically full of content
2011-12-01 33545, 2011
ianmcorvidae
or you're full of bullshit ;)
2011-12-01 33552, 2011
reosarevok
Yeah, well
2011-12-01 33556, 2011
Leftmost
I get a bunch of hard drives tomorrow, and then I have to wait until next week to hook them up. Sigh. :P
2011-12-01 33559, 2011
reosarevok
But I am sure someone agrees with that
2011-12-01 33502, 2011
reosarevok
I mean
2011-12-01 33525, 2011
reosarevok
Some people agree Wales' face on top of wiki pages is not annoying
2011-12-01 33531, 2011
reosarevok
People will argue the strangest things
2011-12-01 33555, 2011
ianmcorvidae
heh
2011-12-01 33505, 2011
ianmcorvidae
lately I've been getting the programmer who looks like he should be a singer for a death metal band instead
2011-12-01 33509, 2011
ianmcorvidae
rather than Wales
2011-12-01 33518, 2011
reosarevok
Death metal?
2011-12-01 33524, 2011
reosarevok
I thought it was prog
2011-12-01 33547, 2011
reosarevok
(and everybody knows you can't trust a progrocker, because he's probably on three different drugs)
2011-12-01 33548, 2011
ianmcorvidae
prog-metal usually has shorter hair, or at least doesn't as universally have long hair :P
2011-12-01 33515, 2011
reosarevok
Sure
2011-12-01 33523, 2011
reosarevok
But that mustache
2011-12-01 33530, 2011
reosarevok
I mean, look at it
2011-12-01 33541, 2011
reosarevok
Either he's a progrocker
2011-12-01 33544, 2011
reosarevok
Or he's Kid Rock
2011-12-01 33550, 2011
ianmcorvidae
haha
2011-12-01 33503, 2011
ianmcorvidae
oh, yeah, I'm actually logged in on this computer so I don't see the banners
2011-12-01 33527, 2011
Dremora joined the channel
2011-12-01 33527, 2011
Dremora joined the channel
2011-12-01 33519, 2011
kepstin-laptop joined the channel
2011-12-01 33502, 2011
djce joined the channel
2011-12-01 33524, 2011
ocharles
DremoraLV: yea, sorry the scripts are in a bad way atm
2011-12-01 33531, 2011
ocharles
DremoraLV: I have some local commits to try and sort this out
2011-12-01 33524, 2011
reosarevok joined the channel
2011-12-01 33512, 2011
hawke_ joined the channel
2011-12-01 33529, 2011
hawke__ joined the channel
2011-12-01 33552, 2011
hawke__ joined the channel
2011-12-01 33540, 2011
reosarevok_ joined the channel
2011-12-01 33531, 2011
navap joined the channel
2011-12-01 33509, 2011
BrainzHub has left the channel
2011-12-01 33523, 2011
ocharles
oh good, BrainzHub has woken up
2011-12-01 33544, 2011
ocharles
DremoraLV: there are now scripts to initialize a clean database, if that's of any interest to you
2011-12-01 33516, 2011
ocharles
create an empty database, then just pipe init-db.sql into it
2011-12-01 33556, 2011
Leftmost joined the channel
2011-12-01 33555, 2011
ocharles
https://gist.github.com/68fb8f358274a24479e2 not quite as cool as I thought, but here's me doing asserting the property that "allLanguages" returns all languages in the database