more of them for a while, but it looks like we're back down to pre-NGS values
Leftmost
Aha.
I should learn to read the logz.
ianmcorvidae
it wasn't in the log
well, it was in MY logs
I pasted that to reosarevok in PM :P he just responded here
Leftmost
Oh.
ianmcorvidae
I'm working a patch to let people graph arbitrary things (so long as they only graph one thing)
reosarevok will use it being 5 AM as an excuse
heh, fair enough
Leftmost
Too bad it's only 8pm.
I very sorely want to read that as "for arbitrary values of n = 1".
ianmcorvidae
haha
reosarevok
:D
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}.
reosarevok
Leftmost, but but but you can graph 0 things!
It is just not very visible
ianmcorvidae
you can also graph >1 things, so long as they're things on the main graph :P
reosarevok
You can graph 1 thing
Except if you're pedantic, which allows you to graph 0
Or boring enough to just want the main graph, with allows you >1
ianmcorvidae
haha
Leftmost
He said "so long as they only graph one thing". That implies n != 0.
ianmcorvidae
yeah, I guess you couldn't graph 0 with the thing I'm writing
you could graph 0 with the main graph, though
it makes a very pretty blank box :P
actually, probably with the thing I'm doing too, if you put in a bogus name :P
reosarevok
It's not blank
Not conceptually
It's philosophically full of content
ianmcorvidae
or you're full of bullshit ;)
reosarevok
Yeah, well
Leftmost
I get a bunch of hard drives tomorrow, and then I have to wait until next week to hook them up. Sigh. :P
reosarevok
But I am sure someone agrees with that
I mean
Some people agree Wales' face on top of wiki pages is not annoying
People will argue the strangest things
ianmcorvidae
heh
lately I've been getting the programmer who looks like he should be a singer for a death metal band instead
rather than Wales
reosarevok
Death metal?
I thought it was prog
(and everybody knows you can't trust a progrocker, because he's probably on three different drugs)
ianmcorvidae
prog-metal usually has shorter hair, or at least doesn't as universally have long hair :P
reosarevok
Sure
But that mustache
I mean, look at it
Either he's a progrocker
Or he's Kid Rock
ianmcorvidae
haha
oh, yeah, I'm actually logged in on this computer so I don't see the banners
Dremora joined the channel
Dremora joined the channel
kepstin-laptop joined the channel
djce joined the channel
ocharles
DremoraLV: yea, sorry the scripts are in a bad way atm
DremoraLV: I have some local commits to try and sort this out
reosarevok joined the channel
hawke_ joined the channel
hawke__ joined the channel
hawke__ joined the channel
reosarevok_ joined the channel
navap joined the channel
BrainzHub has left the channel
oh good, BrainzHub has woken up
DremoraLV: there are now scripts to initialize a clean database, if that's of any interest to you
create an empty database, then just pipe init-db.sql into it
Leftmost joined the channel
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