←2010-04-03 2010-04-04 2010-04-05→ ↑2010 ↑all
00:00:46 -!- MigoMipo has quit (Ping timeout: 264 seconds).
00:04:01 -!- BeholdMyGlory has quit (Remote host closed the connection).
00:05:04 <AnMaster> fuck gnome 2.30. They *edited* the old icon theme for the worse. It looks ugly as fuck. And no they didn't save the old icon theme under another name as far as I can tell.
00:05:12 * AnMaster is really annoyed now
00:16:00 <AnMaster> ah here we go. Old version extracted to /usr/share/icons/gnome-previous
00:34:39 -!- jcp has quit (Quit: I will do anything (almost) for a new router.).
00:35:50 -!- jcp has joined.
01:38:32 -!- Alex3012_ has joined.
01:39:11 -!- Alex3012 has quit (Ping timeout: 265 seconds).
01:39:15 -!- Alex3012_ has changed nick to Alex3012.
01:45:32 -!- adam_d__ has joined.
01:48:22 -!- adam_d_ has quit (Ping timeout: 265 seconds).
02:01:54 -!- adam_d__ has quit (Ping timeout: 265 seconds).
02:11:47 -!- Oranjer has left (?).
02:17:37 <augur> DOCTORRRRRRRR
02:17:39 <augur> :DDDDDDDDDDDDD
02:19:09 <fax> hi augur
02:19:20 <augur> FAXXXXXX
02:19:28 <fax> help
02:19:35 <augur> i need somebody
02:19:39 <augur> HELP
02:19:42 <augur> not just anybooody
02:19:45 <fax> ;D
02:20:26 <augur> sup girly
02:21:35 <fax> idk I can't figure out what to do now
02:23:05 <augur> for?
02:23:47 <fax> for my self :S
02:23:52 <fax> hey augur
02:23:56 <augur> o.o
02:24:02 <augur> watch the new doctor who episode!
02:24:04 <fax> I understand why you can't trisect an angle :D
02:24:15 <fax> everyone talks about doctor who
02:24:16 <augur> well you CAN trisect an angle
02:24:19 <fax> I haven't been watching it
02:24:23 <augur> just not with a compass and straightedge
02:24:26 <fax> yes
02:24:30 <fax> augur want me to tell you i
02:24:31 <fax> augur want me to tell you it
02:25:55 <augur> what who how huh
02:27:16 <fax> the proof
02:36:40 <fax> augur
02:36:41 <fax> fat head
02:36:47 <augur> :|
02:36:59 * augur rapes fax
02:37:01 <augur> wait damnit
02:37:04 <augur> you're a girl
02:37:05 <augur> fuck
02:37:13 <augur> that didnt happen
02:37:15 <fax> so are you
02:37:30 <augur> am not
02:37:46 <augur> IZE A BOY
02:55:15 <fax> :/
02:58:39 <pikhq> By "rape" he of course means "scour one's existence from the earth".
02:59:08 <pikhq> And I'm not sure where that takes me, but in the end, your mom's a whore.
03:07:13 <fax> I bite off augurs hand
03:07:18 <fax> sucker
03:18:24 <Sgeo> fax, what's the proof?
03:18:42 <fax> Sgeo -- okay
03:19:17 <fax> the first thing is to notice that if we have lengths x and y on our paper -- we can also construct x+y, x-y, xy, x/y using our straightedge and compass
03:20:05 <Sgeo> How do you do xy and x/y?
03:20:12 <fax> the only other thing we can really do is draw a circle and intersect a line with it: analytically this means solving something like x^2+y^2=r^2 against a linear equation -- all in all we can take square roots this way
03:22:33 <fax> hm
03:27:05 <fax> you put x and y at right angles
03:30:06 <fax> no you don't sorry
03:30:10 <fax> you put x and 1 at right angles
03:30:17 <Sgeo> 1?
03:30:18 <fax> then you draw the hypotenuse, and exend it out (forever)
03:30:25 <fax> you need a '1' value to multiply things
03:30:39 <fax> I mean you could just use a thumbwidth or something
03:30:41 <Sgeo> Oh, you're responding to my x*y x/y question
03:30:53 <fax> so this is a triangle with sides, 1:x
03:31:24 <fax> you exend the baseline too, until you find a place where the height down is y, and that gives a (similar) triangle with is y:xy
03:31:37 <fax> to divide numbers you can just reverse this procedure
03:31:38 <Quadrescence> you can construct sqrt(x) toooooo
03:32:52 <fax> Sgeo, so in effect we have a field (have you met this structure from algebra before??)
03:33:13 <Sgeo> I've heard of fields, don't really know what they are. They define certain operations on them?
03:33:39 <fax> well a field is just something which has +,-,*,/ and stuff like (x+y)z = xz+yz
03:34:03 <fax> so we can construct every element of our field with a ruler and compass!
03:34:51 <fax> say our field so far is R, we can adjoin some square roots to get R[sqrt(x)] which is again a field
03:36:11 <fax> obviously constructing an angle is equivalent to constructing it's cosine. In the case of the angle being 360/n it's equivalent to constructing the n-gon right?
03:36:39 * Sgeo is only half paying attention, tbh
03:50:38 -!- fax has quit (Ping timeout: 240 seconds).
05:44:36 <Quadrescence> Sgeo: you pissed fax offfffffff
06:07:14 -!- oerjan has quit (Quit: Good night).
06:09:47 -!- zzo38 has joined.
06:10:43 <zzo38> I found another esolang called ModanShogi it is based on a shogi game movements
06:10:47 <zzo38> http://github.com/yhara/ShogiModan
06:20:01 <pikhq> Nice.
06:32:00 * Sgeo can easily imagine writing a Haskell implementation of BF before ever understanding a nice way to write a Python implementation of BF
06:34:01 <Sgeo> Mind you, with Haskell, I can use Parsec
06:34:43 <pikhq> Which is severe overkill for Brainfuck parsing.
06:37:20 <Sgeo> I guess it's healthier to figure out how to do without
06:58:11 <coppro> Sgeo: you saw my parser in Haskell, did you not?
06:58:12 <zzo38> Nobody expects the Spanish Inquisition.
06:58:26 <Sgeo> coppro, um, part of it
06:58:32 <Sgeo> I don't think I saw the full thing
06:58:48 <Sgeo> And at any rate, I want to process everything into BFCmds before processing
06:58:53 <zzo38> And nobody expects the big monster with three tentacles on the same ship either, unless *I* say so.
06:59:20 <Quadrescence> Sgeo: um
06:59:26 <Sgeo> http://hpaste.org/fastcgi/hpaste.fcgi/view?id=24645#a24645
06:59:27 <Quadrescence> are you dumb
06:59:50 <Sgeo> ?
07:00:14 * Sgeo obviously shouldn't have said processing in both places, if that's what you mean
07:01:09 <Sgeo> And yes, I think BFComment can be useful. Say I also want to write a simple optimizer
07:01:19 <Sgeo> Don't need to interpret to do that
07:01:26 <Sgeo> And I can leave comments in place
07:01:49 <Quadrescence> Sgeo: I hope one day you learn python and haskell and maybe even scheme
07:02:08 <Quadrescence> [and brainfuck for that matter]
07:02:11 * Sgeo knows Python fairly well
07:05:43 <Sgeo> Quadrescence, are you going to explain yourself?
07:07:47 <Quadrescence> no
07:08:02 <Quadrescence> If a good friend was here, I'd have him explain
07:09:19 -!- dixon has joined.
07:09:22 <dixon> ohai
07:09:59 <dixon> I heard someone was being stupid and wanted to use monadic parsing for brainfuck.
07:10:15 <dixon> Who gets to wear the dummy hat?
07:10:36 * Sgeo wants to see proof that dixon /= Quadrescence
07:10:49 <dixon> AWWW Sgeo GETS TO WEAR THE DUMMY HAT!
07:11:02 <dixon> Well, first you should /msg nickserv info dixon all
07:11:24 <dixon> And see that I've been registered years before Quadrescence with an entirely different account.
07:12:25 <dixon> Then you should stop using monadic parsing, which I'm guessing at least 100 people in this channel told you was a bad idea.
07:13:22 <Sgeo> Overkill == bad idea?
07:14:06 <dixon> Always.
07:14:18 <dixon> It'd be like driving your children to school in a tank.
07:14:28 <dixon> When all you really wanted was side-impact airbags.
07:15:18 <zzo38> Do you think 42 is really the proper answer to life, the universe, and everything, or do you think not?
07:15:36 <Quadrescence> zzo38: i think ur homosexual
07:17:02 <zzo38> Quadrescence: Why do you think that, please?
07:17:30 <Quadrescence> zzo38: evidence suggests so
07:18:09 <zzo38> Can you please explain what evidence and how you can come to that conclusion from the given evidence, I would like to know how
07:18:41 <Sgeo> Turing was gay, we in this channel talk about stuff that Turing did a lot, therefore we are all gay.
07:18:55 <zzo38> Sgeo: That's a dumb way.
07:19:11 <zzo38> Perhaps it was true of Turing but it doesn't make that of everyone
07:19:13 <Quadrescence> zzo38: do you mind if I finish these sun chips and mtn dew
07:19:24 <Sgeo> zzo38, no kidding?
07:19:31 <zzo38> Quadrescence: I really don't care. They aren't mine
07:19:34 <dixon> zzo38: He integrated you over a finite portion of a hypergeometric function and realized you swung the wrong way.
07:19:47 <Quadrescence> thx dixon
07:19:51 <dixon> np
07:19:53 <zzo38> I'm actually asexual
07:19:53 <dixon> (=p)
07:20:01 <dixon> (virgin)
07:21:24 <Quadrescence> zzo38: oh and i have some sixlets to eat too
07:21:48 <dixon> I have some twins to eat later. I'm waiting for them to arrive :3
07:22:02 <Quadrescence> wat
07:22:24 <Quadrescence> was that sexual innuendo
07:22:26 <Quadrescence> "eat"
07:22:47 <dixon> ;)
07:23:10 <zzo38> Why?
07:23:31 <dixon> When?
07:24:08 <zzo38> (In case you didn't know, I was asking "Why?" to Quadrescence's)
07:24:49 <Quadrescence> zzo38: oh I guess I am hungwy
07:25:12 <zzo38> Do you mean "hungry" or "hungwy"?
07:25:42 <Quadrescence> the latter
07:26:12 * Sgeo should really be sleeping
07:26:42 <dixon> Or using Python.
07:27:38 <zzo38> And I have never heard of such a word as "hungwy" and I don't know what it means
07:28:35 <dixon> It's etymologically related to "twat." I would ask if you were familiar, but it seems you've already implied not.
07:37:51 <zzo38> Do you have any idea of making spell in D&D game?
07:40:43 <zzo38> I have ideas to make spell to swap the text contents of two books or scrolls, and also to make the caster's hand fall off, and so on
07:46:04 <zzo38> The real country of freedom is "Pull down to select"
07:49:49 -!- pikhq has quit (Read error: Connection reset by peer).
07:50:36 <zzo38> And when Sevil arrives on the ship, if there is not a big monster with three tentacles arriving on the same ship, something has gone wrong and you have to figure out what's wrong.
07:50:39 -!- zzo38 has quit (Quit: zzo38).
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:01:29 -!- pikhq has joined.
08:15:08 * Sgeo was thinking about how to get the optimizer working, and it helped me figure out a bit of the parsing
08:19:05 * dixon was thinking about how to get Sgeo's brain working, and it helped me figure out that he's probably just hopeless :\
08:24:57 <dixon> I wuv you Sgeo, I do, I'd just wish you'd listen to the four people telling you that you're strangling kittens with oil pipeline.
08:25:09 <Sgeo> I'm not using Parsec
08:25:15 <dixon> You promise?
08:25:20 <Sgeo> Yes
08:25:36 <dixon> I would give you a hug, but I have a tendency to cop a feel.
08:26:02 <Sgeo> I _am_ using a data BFCmd that means I can't just write parseBFChar '+' = BFInc etc
08:27:43 <dixon> You could always try python-llvm, for the lulz.
08:28:22 * Sgeo should be sleeping
08:28:31 <Sgeo> Sleep will probably let me think better when I awake
08:28:36 <Sgeo> It's 3:26AM here
08:28:43 <dixon> 03:30 here.
08:29:14 <Sgeo> o.O
08:29:32 <Sgeo> Either you're rounding, or there's a mysterious 3min difference
08:29:47 <Sgeo> erm, *looks at timestamp* 4min
08:29:52 <Sgeo> between 3-4
08:30:25 <dixon> Well, I'm using NTP, so I hope it's not wrong.
08:34:25 <Sgeo> night
08:34:33 <dixon> nini
08:58:31 -!- FireFly has joined.
09:16:08 -!- jcp has quit (Quit: I will do anything (almost) for a new router.).
09:39:26 -!- adam_d has joined.
09:50:30 -!- tombom has joined.
09:54:31 -!- Gracenotes has joined.
10:23:39 -!- olsner_ has joined.
10:26:06 -!- MigoMipo has joined.
10:31:38 -!- Tritonio_GR has quit (Quit: Leaving.).
10:47:53 -!- BeholdMyGlory has joined.
11:47:24 -!- BeholdMyGlory has quit (Remote host closed the connection).
12:00:51 -!- olsner_ has quit (Quit: olsner_).
12:32:22 -!- cheater2 has quit (Ping timeout: 268 seconds).
12:38:20 -!- cheater2 has joined.
13:06:44 -!- olsner_ has joined.
13:14:39 -!- fax has joined.
14:17:11 -!- olsner_ has quit (Quit: olsner_).
14:30:16 -!- MigoMipo has quit (Remote host closed the connection).
14:43:14 -!- oerjan has joined.
15:30:02 -!- BeholdMyGlory has joined.
16:13:44 -!- oerjan has quit (Quit: leaving).
16:23:47 -!- MigoMipo has joined.
16:28:01 -!- adam_d has quit (Ping timeout: 265 seconds).
16:39:10 -!- hiato has joined.
16:46:15 -!- hiato has quit (Ping timeout: 276 seconds).
16:47:56 -!- hiato has joined.
16:54:21 * Sgeo goes to write a separate tape manipulation module
16:55:24 * fax does something more interesting than implement brainfuck
16:58:56 * hiato comments
16:59:54 * Sgeo wonders if he's over-engineering
17:01:21 -!- jcp has joined.
17:23:21 <AnMaster> what is that sort of "always" falling tone called now again?
17:23:25 <AnMaster> well not always falling
17:23:27 <AnMaster> it just sounds like it
17:23:47 <AnMaster> there was one in Mario64, if you went up the final stairs before collecting enough stars
17:24:06 <AnMaster> I remember hearing some name for that sort of sound once
17:25:33 <AnMaster> fizzie, do you happen to know? I think I remember you were involved in a discussion about them here ages ago?
17:31:18 <fizzie> I vaguely remember a discussion about them, but not any specific name. I think the tones themselves were mentioned on some "auditory illusions" page.
17:33:30 <fizzie> Apparently it's sometimes called Shepard’s paradox, though that name seems to be a bit ambiguous.
17:33:36 <fizzie> http://www.moillusions.com/2006/05/audio-optical-illusions.html
17:34:06 <Gregor> "Audio optical illusions"
17:34:09 <Gregor> Stupidest phrase EVER
17:34:17 <Slereah> heh
17:34:33 <fizzie> Everyone seems to call them that. :p
17:34:57 <fizzie> http://angrydylan.blogspot.com/2007/11/shepards-paradox.html is another bit, and you can obviously google more.
17:35:47 <fizzie> http://en.wikipedia.org/wiki/Shepard_tone is also related.
17:35:52 <fizzie> Phew, maybe that was enough linkery.
17:37:52 -!- olsner_ has joined.
17:39:41 <Gregor> That's a lot less of a trick than I originally assumed it might be :P
17:40:42 <AnMaster> fizzie, no! need more links!
17:40:45 <AnMaster> quick!
17:40:47 <AnMaster> XD
17:43:05 <hiato> www.www.com.com
17:43:29 <hiato> I wonder if someone owns that
17:43:51 <AnMaster> www.com.com seems to redirect to cnet
17:44:00 <AnMaster> so presumably they own www.www.com.com too
17:44:01 <hiato> hmmm
17:44:02 <Deewiant> It's a subdomain of com.com, which belongs to cnet
17:44:10 <hiato> damnit
17:44:11 <AnMaster> though it isn't in dns
17:45:14 <hiato> http://org.org/ --- wth is this place?
17:46:19 <fizzie> Someone's random photos is what it looks like.
17:46:31 <AnMaster> fizzie, why not call it audio illusions instead?
17:46:41 <AnMaster> I mean, there is no good reason to include the word optical there
17:46:57 <hiato> meh, with such n awesome name
17:47:09 <AnMaster> unlike if you were to use the Swedish word for optical illusions: "synvillor" where "syn" refers to "sight"
17:47:27 <AnMaster> calling it "ljudsynvillor" would be quite reasonable then
17:47:56 <AnMaster> (because "villor" alone means nothing related to illusions. It means "villas". Go figure)
17:48:12 <AnMaster> I guess ljudvillor would be interpretable too
17:48:23 <hiato> Was gonna ask
17:49:30 * Sgeo wonders if his decision to make moveRight :: Tape a -> Maybe (Tape a) will just confuse him beyond all home
17:49:33 <Sgeo> *hope
17:51:11 <hiato> Sgeo: BF in Haskell? I have but one question: why?
17:54:44 <oklopol> Sgeo: what's the meaning
17:55:12 <AnMaster> Sgeo, why maybe?
17:55:23 <AnMaster> Sgeo, won't moving right always be possible?
17:55:36 <AnMaster> while moving left might hit the start
17:55:41 <hiato> if there's a wrap
17:55:57 <AnMaster> hiato, then it will always be possible in both directions
17:56:20 <hiato> yeah, that's how i'd do it
17:56:50 <Sgeo> Well, I want there to be several kinds of tape
17:57:03 <Sgeo> It's possible to make tape unbounded at both ends, or bounded at both ends
17:57:40 <AnMaster> hiato, nah I would do infinite tape upwards, but finite downwards
17:57:44 <Sgeo> data Tape a = Tape [a] a [a]
17:57:45 -!- coppro has quit (Ping timeout: 276 seconds).
17:57:52 <AnMaster> thus forming an analogy to N
17:57:59 <Sgeo> With the head of each list being the element closest to the head
17:58:03 <AnMaster> while infinite in both directions would be an analogy to Z
17:58:05 <Sgeo> erm, tape head
17:58:11 <fax> uphill both ways
17:58:26 <AnMaster> your tape hiato would be an analogy to N modulo x
17:59:02 * AnMaster wonders what a tape analogous to Q or R would be
17:59:03 <hiato> I guess
17:59:16 <AnMaster> also what a finite, non-wrapping one would be
17:59:20 <AnMaster> a finite set I guess
17:59:25 <hiato> yep
17:59:26 <AnMaster> without modulo
17:59:41 <Sgeo> How would I make a tape that wraps? let the_list = [0,0,0,0,0] in Tape (reverse the_list) 0 the_liist?
18:00:01 <Sgeo> No, I don't.. think so
18:00:03 <fax> Sgeo: it's impossible
18:00:04 <AnMaster> now I want an uncountably infinite bf tape :(
18:00:12 <Sgeo> :(
18:00:15 <AnMaster> Sgeo, what is?
18:00:22 <AnMaster> wrapping around in a tape? no
18:00:29 <hiato> I donno, I just find it easier to give a generous length, then rotate tape as needed, always working on the first element
18:00:34 <AnMaster> just take the current position modulo the length of the day
18:00:39 <AnMaster> s/day/tape/
18:00:41 <AnMaster> weird typo
18:00:48 <hiato> heh
18:00:55 <hiato> OR do rotatinos
18:01:02 <AnMaster> rotatinos?
18:01:18 <hiato> rotations
18:01:21 <hiato> :P
18:01:30 <AnMaster> hiato, using a linked list?
18:01:31 <hiato> tail a ++ [head a]
18:01:44 <AnMaster> then yes it makes sense to use a circular linked list
18:02:15 <fax> no it doesn't
18:02:27 <AnMaster> hiato, if the language is single assignment that would be rather inefficient
18:02:37 <AnMaster> assuming cons style lists that is
18:02:48 <AnMaster> fax, why not?
18:02:54 <AnMaster> use a double linked circular list
18:02:59 <AnMaster> moving left or right is trivial
18:03:06 <AnMaster> just follow the pointer in the relevant direction
18:03:11 <AnMaster> of course that requires a low level language
18:03:23 <fax> if you are going to use mutable variables then you should make the values mutable rather than the cons
18:03:36 <hiato> AnMaster: yeah, true, but that's the concpt, and if mage lazy it doesn't really matter - all operationse on the first etement only
18:03:49 <AnMaster> hiato, "mage lazy"?
18:03:54 <hiato> heh
18:04:03 <hiato> I have no idea
18:04:10 <AnMaster> hiato, what the heck was "mage" a typo for...
18:04:12 <hiato> New keyboard layout
18:04:25 <hiato> made?
18:04:28 <AnMaster> aha
18:04:32 <hiato> yeah, made
18:04:37 <AnMaster> hiato, dvorsak?
18:04:44 <AnMaster> err modulo spelling
18:04:51 <hiato> Naah, my own
18:04:57 <hiato> was on colemak
18:05:12 <AnMaster> I'm perfectly happy with qwerty
18:05:24 <AnMaster> I don't type that much, I code. Meaning I think more than I type
18:05:37 <AnMaster> (becuase I don't use asm)
18:05:37 <hiato> Ah, right
18:05:49 <hiato> naah, just an experiment
18:06:00 <hiato> (I do :P)
18:06:11 <AnMaster> well okay I use inline asm in C sometimes...
18:06:38 <hiato> You're just afraid of it's power
18:06:50 <AnMaster> nah
18:06:56 <hiato> :P
18:06:56 <AnMaster> I prefer high level languages
18:07:09 <hiato> I like extremes
18:07:48 <AnMaster> because what needs 200 lines of C needs maybe 20 lines of erlang. (well usually not quite as dramatic ratio, but when the stuff is heavy on memory handling it might be)
18:08:30 <AnMaster> how many lines of C would it take you to write a program that recurse through a set of directories given on the command line, finding duplicate files
18:08:38 <AnMaster> it should avoid reading files if possible
18:08:44 <AnMaster> by checking the size of the files
18:08:57 <hiato> yeah, well, if people talk efficiency and anything other than ASM, they're just making up useless -etrics
18:09:07 <AnMaster> hiato, har.
18:09:12 <hiato> heh, 10000's
18:09:14 <AnMaster> hiato, well, efficient in programmer time
18:09:31 <AnMaster> no not 10000s
18:09:39 <AnMaster> I think maybe 1000 lines at most
18:09:45 <AnMaster> some 900 more likely
18:09:53 <AnMaster> but in erlang it took me, what, *checks*
18:10:18 <AnMaster> 232 lines, including comments and blanks
18:10:31 <hiato> Yeah, 10000's because I know no C libraries and would prob implument another language and link to bash or something
18:10:35 <AnMaster> Language Files Code Comment Comment % Blank Total
18:10:35 <AnMaster> ---------------- ----- --------- --------- --------- --------- ---------
18:10:35 <AnMaster> erlang 1 119 81 40.5% 32 232
18:10:45 <AnMaster> according to ohcount
18:10:46 <hiato> nice
18:11:04 <AnMaster> it does it in three steps
18:11:18 <hiato> yeah?
18:11:39 <AnMaster> step 1: recurse and read file info, store in a dict the size as key, and append the filename to the value
18:11:48 <AnMaster> so all files with the same size is in the same key
18:12:24 <hiato> clever start
18:13:16 <AnMaster> step 2/3: (2) for each such key it goes through and calculate the hash of each file, stores a 2-tuple {size,md5sum} with filenames (3) for each such key, now it finally checks that they are the same, and we don't have a theoretical hash collision
18:13:25 <AnMaster> step 2/3 are done interleaved to make use of disk cache
18:13:32 <AnMaster> that is, it won't need to read the files in again
18:13:48 <AnMaster> step 2 is done to not have to load as much file data into memory at once
18:13:56 <AnMaster> since I need to run this on fairly large files
18:14:02 <AnMaster> say 200-300 MB each at most
18:14:27 <AnMaster> a lot often the files will be much smaller
18:15:10 <hiato> Hmmm, but as you probably considered, tle size comparison isn't really necessary, in fact, i'm sure any decent hash takes it into account anyway
18:15:29 <hiato> but, still clever
18:15:47 <AnMaster> hiato, the size is to reduce having to read the files from disk
18:15:55 <AnMaster> if there are no two files of the same size
18:16:00 <AnMaster> it doesn't have to read those at all
18:16:10 <AnMaster> since getting the size is way faster than reading the file
18:16:19 <AnMaster> it maps to a simple stat() or such at some level
18:16:21 <hiato> Oh, right. Heh
18:16:37 <hiato> ok, cant fault you then
18:16:38 <AnMaster> hiato, I ran this on the linux source tree with a compiled kernel in it
18:16:50 <AnMaster> it was way faster than a naive bash script that I used before
18:17:07 <AnMaster> as in, 30 seconds vs. 7 minutes
18:17:14 <AnMaster> both on cold cache
18:17:22 <hiato> Really? I thought pipes and such are lazy
18:17:27 <AnMaster> eh?
18:17:30 <AnMaster> what are you talking about
18:17:31 <hiato> wow
18:17:57 <hiato> a | grep b && c
18:18:07 <hiato> or, rather
18:18:26 <hiato> eh
18:18:39 <hiato> wait, I'm slow with kbd
18:18:51 <hiato> Please hold
18:19:30 -!- iamtheobject has joined.
18:19:35 <iamtheobject> -.-
18:20:28 <AnMaster> well
18:20:42 <AnMaster> hiato, they just work concurrentlyu
18:20:45 <AnMaster> concurrently*
18:20:47 <AnMaster> not lazily
18:21:25 <AnMaster> Gregor, btw wth is up with the topic? You set it last it looks like
18:21:57 <Gregor> You don't like it? :P
18:23:19 <hiato> An efficient implementation in *sh would take into account that pipes as data flow are lazy, more specifically, if used as a source, it will only feed as much as is requested, so you could easily implement a naieve list and glob for files based on hashes andpipes that feed data only to the point that the conditional request fails
18:24:04 <AnMaster> hiato, no that is incorrect
18:24:12 <hiato> oh?
18:24:22 <AnMaster> pipes are just concurrent, not lazy
18:24:28 <hiato> damnit
18:24:30 <AnMaster> the kernel has a buffer
18:24:38 <hiato> and i did all that typing
18:24:39 <AnMaster> and writes block if that buffer is full
18:25:49 <AnMaster> theoretically I could optimise my implementation by doing the md5 calculation while data is being read in
18:25:55 <AnMaster> shouldn't be too hard in erlang
18:26:09 -!- ehirdiphone has joined.
18:26:14 * hiato wouldn't know
18:26:16 <AnMaster> hi ehirdiphone
18:26:26 <ehirdiphone> Yo
18:26:55 <Sgeo> Hi ehirdiphone
18:27:01 <Sgeo> Why are you on the iPhone?
18:27:04 <hiato> ehirdiphone: phone?
18:27:07 <hiato> Ah
18:27:19 <ehirdiphone> Meh reasons. Not important. Hello!
18:27:42 <Sgeo> I think I'm overengineering my BF interpreter
18:27:54 <hiato> Have you seen the cw input interface for the iPhone?
18:28:04 <Sgeo> BRB
18:28:19 <ehirdiphone> hiato: ?
18:28:22 <ehirdiphone> No?
18:28:44 <hiato> Morse Code iput, er, iDitDah or somesuch
18:28:50 -!- olsner_ has quit (Quit: olsner_).
18:28:54 <fax> ehird god dammit
18:30:06 <hiato> ehirdiphone: http://kb1ooo.com/iditdahtext/iDitDahText.html
18:30:51 <pikhq> Sgeo: You are *probably* overengineering it.
18:30:52 <ehirdiphone> fax: What?!
18:31:20 <fax> I was wanting to talk to you for ages
18:31:57 <ehirdiphone> fax: At most you had to wait two days.
18:32:24 <ehirdiphone> I /do/ have to pick things up from the old house.
18:32:26 <AnMaster> ehirdiphone you and fax have been missing each other with like 5 minutes for *days*
18:32:33 <ehirdiphone> hiato: Ha
18:32:44 <AnMaster> ehirdiphone, have things improved btw?
18:32:50 <ehirdiphone> AnMaster: Aha :-D
18:33:04 <pikhq> fax: Dude, some people have real lives. Granted, ehird is normally an exception. Still. :P
18:33:10 <AnMaster> pikhq, :D
18:34:32 <ehirdiphone> ais formulated me getting a girlfriend as the most ludicrous explanation for the unit absence possible. Nuff said :P
18:34:50 <fax> nuff said??
18:35:10 <oklopol> well gf's are extremely easy to get
18:35:17 <ehirdiphone> Enough. Except more nuff-y.
18:35:36 <ehirdiphone> AnMaster: Answered in MSG
18:35:37 <oklopol> oh she didn't get the nuff
18:35:42 <ehirdiphone> msg
18:36:00 * AnMaster looks
18:36:02 <fax> wnat the fucking hell is going on
18:36:07 <AnMaster> was watching that video hiato linked
18:36:16 <ehirdiphone> fax: Whaddya mean?
18:36:35 <oklopol> is "pareto optimal" in common usage?
18:36:41 <oklopol> do you all know what it means?
18:37:10 <ehirdiphone> no
18:38:01 <oklopol> okay that's enough of an answer for me
18:38:45 <fax> :C
18:39:16 <ehirdiphone> fax: Be more precise and if you want to talk do.
18:40:24 <fax> ehirdiphone do you know who I am ??
18:40:25 -!- ehirdiphone_ has joined.
18:40:26 -!- ehirdiphone has quit (Remote host closed the connection).
18:40:28 -!- ehirdiphone_ has changed nick to ehirdiphone.
18:42:14 <ehirdiphone> fax: I was under the impression you wanted to talk :P
18:42:38 <fax> hi
18:43:01 <Gregor> http://www.nuffy.net/pics/funny/toilate/toilete_signs_08.jpg Little did they know that ZW birds are female :P
18:50:10 <AnMaster> <oklopol> is "pareto optimal" in common usage? <-- what *does* it mean
18:50:49 <AnMaster> <ehirdiphone> fax: Be more precise and if you want to talk do.
18:50:49 <AnMaster> <fax> ehirdiphone do you know who I am ??
18:50:50 <AnMaster> * ehirdiphone_ (~ehirdipho@ has joined #esoteric
18:50:50 <AnMaster> * ehirdiphone has quit (Remote host closed the connection)
18:50:50 <AnMaster> * ehirdiphone_ is now known as ehirdiphone
18:50:50 <AnMaster> <ehirdiphone> fax: I was under the impression you wanted to talk :P
18:50:52 <AnMaster> <fax> hi
18:50:55 <AnMaster> ehirdiphone, in case you missed some of that
18:51:32 <ehirdiphone> fax: What do you mean, do you know who I am?
18:51:34 <AnMaster> <Gregor> http://www.nuffy.net/pics/funny/toilate/toilete_signs_08.jpg Little did they know that ZW birds are female :P <-- ZZ? ZW?
18:52:31 <AnMaster> <fax> I'm your father ehirdiphone. <ehirdiphone> NOOOOOOOOOOOOOOOOOOOOOOOOOOO!
18:52:32 <Sgeo> Bleh at there being no Integer -> Char
18:52:36 <Gregor> XX is female, ZW is female, so in fact these bathroom signs are indicating that male birds (and some insects, etc) use the same restroom as female mammals (e.g. humans :P ), and female birds (etc) use the same restroom as male mammals (e.g. humans)
18:52:46 <ehirdiphone> Sgeo: Int
18:52:54 <AnMaster> Gregor, har
18:52:56 <ehirdiphone> + fromInteger
18:53:04 <AnMaster> Gregor, "restrooms"?
18:53:05 <fax> toEnum ?
18:53:17 <Gregor> ... yes?
18:53:18 <AnMaster> Gregor, do you mean toilets?
18:53:19 <ehirdiphone> Gregor: Hawt :P
18:53:30 <Sgeo> Maybe I should just have the tape be Tape Char
18:53:37 <AnMaster> Gregor, what is the circle and the triangle symbols?
18:53:39 <AnMaster> are*
18:53:40 <Gregor> AnMaster: In the US, that's just about the only word we don't use to refer to the room :P
18:53:47 <AnMaster> Gregor, heh
18:53:48 <Sgeo> Although that complicates + and - slightly
18:53:50 <Gregor> AnMaster: That I can't answer ...
18:53:54 <Sgeo> well, not really, I guess
18:53:57 <AnMaster> Gregor, ah
18:54:11 <ehirdiphone> Sgeo: succ. pred
18:54:19 <ehirdiphone> Char will do fine.
18:55:04 <AnMaster> Gregor, why call it restrooms?
18:55:10 <AnMaster> Gregor, also what about "loo"?
18:55:20 <AnMaster> "water closet: a toilet in Britain
18:55:20 <AnMaster> wordnetweb.princeton.edu/perl/webwn"
18:55:23 <AnMaster> hm I guess not
18:55:23 <Gregor> That's a word with no meaning whatsoever here.
18:55:40 <pikhq> "Loo" is just fine. Don't think many people *use* it, but I'm pretty sure most people would understand it just fine.
18:55:53 <AnMaster> apparently Gregor didn't
18:55:58 <AnMaster> pikhq, I would use toilet?
18:56:00 <Gregor> *COMMIE
18:56:01 <pikhq> Gregor: Hah.
18:56:03 <ehirdiphone> Crapper
18:56:10 <pikhq> AnMaster: "Uh, the toilet's in the bathroom..."
18:56:17 <AnMaster> har
18:56:20 <ehirdiphone> Nobody says water closet
18:56:21 <pikhq> ehirdiphone: "Uh, the toilet's in the bathroom..."
18:56:24 <oklopol> you don't need to call them anything, just say you're gonna take a shit
18:56:29 <ehirdiphone> WC, /maybe/.
18:57:13 <oklopol> "i intend to leak fecal matter out of my ass, where should i do this"
18:57:14 <Gregor> OK, OK, so most people would know what "loo" means.
18:57:27 <AnMaster> pikhq, here in Sweden toalett can be both the room, or the equipment. When referred to as the room it is a room which contains only the equipment and handfat (English word slipped my mind, you was your hands there)
18:57:33 <Gregor> But it would be like this "loo" -> "funny British word for bathroom" -> "bathroom"
18:57:38 <Gregor> Not "loo" -> "bathroom"
18:57:40 <AnMaster> it wouldn't be used for a room that contained a bathtub or such as well
18:57:48 <Gregor> Whereas WC would just have people scratching their heads.
18:58:07 <Gregor> AnMaster: "handfat" is officially the greatest word ever.
18:58:09 <AnMaster> WC is common on signs for toilets around here
18:58:11 <Gregor> AnMaster: Sink?
18:58:14 <pikhq> AnMaster: A room with just a toilet is also a bathroom. ;)
18:58:18 <AnMaster> no one would *say* it though
18:58:22 <AnMaster> Gregor, ah yes
18:58:25 <ehirdiphone> AnMaster: yeah
18:58:28 <ehirdiphone> Exactly
18:58:31 <AnMaster> pikhq, it is not!
18:58:34 <AnMaster> well maybe in English
18:58:37 <Gregor> "restroom" and "bathroom" are used interchangeably here.
18:58:39 <pikhq> In floor plans, it's termed a "quarter bath". In spite of having 0 baths.
18:58:41 <Gregor> Not in English, in American vernacular.
18:58:50 <ehirdiphone> I always thought that abba song was about toilets when I was really young
18:58:55 <ehirdiphone> WATERLOO!
18:59:02 <AnMaster> ehirdiphone, well no one would say "water closet" in the same way as no one says "dihydrogen monoxide"
18:59:19 <AnMaster> as in, I actually heard people using it, but just as a joke
18:59:31 <AnMaster> ehirdiphone, hehe
18:59:56 <AnMaster> argh now I feel I have that tune on my head
19:01:01 <AnMaster> ehirdiphone, that "water closet: a toilet in Britain" was from define:loo btw
19:17:01 <ehirdiphone> Flood
19:17:03 -!- dixon has quit (Ping timeout: 276 seconds).
19:17:08 <ehirdiphone> Upfpdgkglc fyoddv fypf cups tx hung ufgo
19:17:35 <AnMaster> ehirdiphone, flood?
19:17:53 <ehirdiphone> Izi USB jai ow zkqodj wkdhf euwixb jdb jd dk ne fdisk zlqpxh
19:18:04 -!- jcp has quit (Quit: I will do anything (almost) for a new router.).
19:18:04 * AnMaster goes elsewhere
19:18:42 <ehirdiphone> Ozowkd abxoxbs fowoxjwj x dj jz. I icori h dj oso odj jebwkxodocidisbbaixieisoso kj jwoxppskjajco ackvpgirurvx iwospwiiqbzbc woxpfkf.
19:19:17 -!- tombom has quit (Quit: Leaving).
19:19:50 -!- dixon has joined.
19:20:43 <AnMaster> -00:01/10:33, and I'm near the end of this file
19:20:46 <AnMaster> says vlc
19:20:47 <AnMaster> near the end
19:21:02 <hiato> 19:33 < AnMaster> was watching that video hiato linked <------ er?
19:21:06 <AnMaster> funny the way it continues to count
19:21:10 <AnMaster> -00:-02
19:21:23 <AnMaster> okay now it is worse
19:21:29 <AnMaster> 01:08/01:03
19:21:46 <AnMaster> hiato, the link you linked
19:21:57 <AnMaster> had a video demoing the thing on it
19:22:11 <hiato> Ooooooh. Heh
19:22:54 <hiato> also, at least vlc can count, dont get me started about mpd and streams
19:26:28 -!- dixon has quit (Ping timeout: 240 seconds).
19:26:39 <AnMaster> hiato, oh?
19:26:51 -!- Sgeo has quit (Ping timeout: 265 seconds).
19:28:06 <hiato> It just gives seemingly random numbers. Fair enough, it cant be expected to track position in a stream, but it gives me things like 99:01:01:01
19:28:23 -!- dixon has joined.
19:28:25 <hiato> i mean, what is that? The radio station is older
19:28:44 <hiato> and I've been listening for maybe ten minutes
19:28:45 <AnMaster> hiato, possibly in the current segment?
19:28:52 <AnMaster> of something
19:29:18 <hiato> Heh, exactly
19:30:33 <AnMaster> hiato, or 99 indicates a stream
19:30:45 <hiato> se posible
19:30:50 <AnMaster> se?
19:31:02 <hiato> it is, IIRC
19:31:10 <hiato> French
19:31:15 <hiato> non?
19:31:16 <AnMaster> 99:01:01:01 <-- is 99 in hundreds of hours?
19:31:18 <AnMaster> or what
19:31:25 <hiato> No idea
19:31:33 <AnMaster> hiato, well what is the last unit in?
19:31:39 <hiato> let me connct now and show you
19:31:41 <AnMaster> seconds? centiseconds?
19:32:37 <hiato> Pfftt.... no idea
19:32:51 <hiato> 07:17:47 is the one pice of info
19:33:04 <hiato> the other is my corroct listen time
19:33:07 * AnMaster has a 3 line, 14 column lcd here
19:33:18 <AnMaster> should I make it possible to get a console on it?
19:33:21 <AnMaster> or try to at least
19:33:27 <AnMaster> would need a user space daemon for it
19:33:28 <hiato> FTW\
19:33:36 <AnMaster> since I need to program it with libusb
19:33:39 <oklopol> isn't se written c'est
19:33:42 <hiato> s/\//!
19:33:48 <AnMaster> it can only display a limited charset btw
19:34:19 <hiato> oklopol: wouldn't know, never took french
19:34:28 <oklopol> ic
19:34:44 <oklopol> ("isn't ic written i see")
19:34:53 <hiato> ;)
19:36:00 -!- MigoMipo has quit (Read error: Connection reset by peer).
19:37:19 <hiato> AnMaster: 20:30 < AnMaster> since I need to program it with libusb ---> what about a parallel port? Significantly easier
19:37:22 -!- Sgeo has joined.
19:37:54 <Sgeo> My dad stepped on the switch for the power thing that powers the cable modem
19:38:13 <hiato> Gregor: what is a "mandelstam"?
19:38:23 -!- jcp has joined.
19:38:48 <Gregor> It's a verb. "to mandelstam"
19:39:09 <hiato> Ok, and it's meaning is?
19:39:14 -!- dixon has quit (Ping timeout: 276 seconds).
19:39:25 <Gregor> Well ... it's a mandelly kind of ... stamming.
19:39:26 <hiato> *its
19:41:24 <hiato> Oh? Wouldn't have guessed that, sneaky and deceptive. So it's like like a not so frabtious way of presbiedling
19:41:52 <hiato> -like
19:47:54 <Sgeo> I think my bftape.hs is good enough
19:48:10 -!- adam_d has joined.
19:48:51 <Sgeo> http://hpaste.org/fastcgi/hpaste.fcgi/view?id=24660#a24660
19:50:39 <hiato> Sgeo: any particular reason for moveby?
19:50:52 -!- lament has joined.
19:51:05 <Sgeo> The main program stores BF commands as, e.g., BFMove 5
19:51:15 <Sgeo> Instead of just BFRight
19:51:17 <Sgeo> or something
19:51:29 <hiato> Oh, ok
19:53:20 <hiato> I like the modifyTapeHead
19:53:38 <hiato> nice thinking
19:53:49 <Sgeo> ty
19:57:24 <Sgeo> It seems like it can take a while to figure out how to write a line of Haskell, but reading it is easy
19:57:33 <Sgeo> [in general]
19:58:09 <Sgeo> And it's generally important to be able to read code later, more so than writing it now..
19:58:46 -!- dixon has joined.
19:59:07 <AnMaster> Gregor, there?
19:59:15 <Gregor> Yes?
19:59:20 <AnMaster> Gregor, I have a little request for your musical skills
19:59:24 <Gregor> Oh?
19:59:27 <AnMaster> Gregor, something I think might be interesting
19:59:54 <Gregor> Go on
19:59:57 <AnMaster> Gregor, the result of merging the internationale and some of Chopin's music
20:00:04 <AnMaster> I have no idea what it would sound like
20:00:12 <AnMaster> but it sounds interesting
20:00:18 <AnMaster> and I lack the skill to do it myself
20:01:19 <Gregor> Guhhh uhh?
20:01:27 <AnMaster> Gregor, eh?
20:02:09 <AnMaster> Gregor, is that a good or bad sign?
20:02:26 <Gregor> I don't yet know :P
20:02:35 <Gregor> However, I do believe this is probably beyond my skills.
20:03:02 <AnMaster> Gregor, ah :/
20:03:09 <Gregor> Did you have anything more specific than "Chopin's music"?
20:03:39 <AnMaster> Gregor, well, some suitable music by him. I'm not quite enough expert on him to be able to name a specific piece
20:03:46 <AnMaster> Gregor, but iirc you liked him a lot
20:04:03 <AnMaster> so I assumed you would be able to pick a suitable, slow piece that is typical Chopin
20:04:16 <Gregor> e.g. "Any Chopin Nocturne #whatever" :P
20:04:35 <AnMaster> Gregor, well yes sounds good.
20:04:46 <AnMaster> just pick the number you want
20:05:24 <AnMaster> Gregor, you see, I and some other people were discussing this in another channel (on another network).
20:05:55 <Gregor> I imagine the fact that you've ever heard The Internationale before and I have not has a lot to do with our respective positions on Earth :P
20:07:12 <AnMaster> Gregor, eh?
20:07:24 <AnMaster> Gregor, you haven't heard the Internationale?!
20:07:29 <Gregor> Well, I have now.
20:07:38 <AnMaster> (assuming that "ever" was a typo for "n&"
20:07:40 <AnMaster> )
20:07:54 <Gregor> Maybe I have before, but dismissed it as "extraordinarily generic anthem-sounding music"
20:08:03 <AnMaster> Gregor, well so it is!
20:08:08 <AnMaster> Gregor, kind of
20:08:27 <AnMaster> Gregor, it is just that it is about as far as you can get from a Chopin nocturne
20:08:34 <AnMaster> which is why we were discussing merging them
20:08:40 <Gregor> I see :P
20:09:09 <AnMaster> Gregor, I have no idea if it is possible, and if it is, if the result is interesting
20:09:11 <Gregor> So I assume you were referring to merging not so much in creating a piece of music which is a stylistic merge, but actually mixing recordings of both into some horrible mutant.
20:09:31 <AnMaster> but considered that I once heard a boogie-woogie waltz...
20:09:37 <AnMaster> I don't consider it *impossible*
20:10:22 <oklopol> i'm good at mixing X and deathcore for any value of X, if anyone's interested
20:10:30 <AnMaster> heh
20:10:46 <AnMaster> oklopol, to what ratio?
20:11:11 <oklopol> to any X/deathcore ratio less than or equal to 0.5, i suspect
20:11:48 <oklopol> that was actually mostly a joke, deathcore isn't what i usually write (although it is what i usually listen to).
20:11:56 <AnMaster> Gregor, http://www.youtube.com/watch?v=eFO0SXf4mw4 (lyrics in Swedish btw, but the music itself should be interesting, the boogie-woogie waltz)
20:12:38 <AnMaster> the composer and perfomer is the famous (in Sweden) comedian Povel Ramel
20:12:44 <AnMaster> performer*
20:15:26 <oklopol> that's some serious liquid insanity
20:17:36 -!- Alex3012 has quit (Read error: Connection reset by peer).
20:17:36 -!- Sgeo_ has joined.
20:17:36 -!- Alex3012 has joined.
20:19:05 <ehirdiphone> oklopol: set X = 0
20:19:23 <ehirdiphone> write me some nothing music
20:19:52 <oklopol> if i mix deathcore and nothing, won't the result be just deathcore
20:20:52 <oklopol> also people generally manage to name the genre of any of my music, except those who hear an electric guitar and say metal or rock
20:20:57 <oklopol> *don't
20:20:58 -!- Sgeo has quit (Ping timeout: 265 seconds).
20:21:05 <ehirdiphone> oklopol: hmm right
20:21:10 <oklopol> god i'm getting tired of inequalities
20:21:23 <ehirdiphone> X = -deathcore
20:21:48 <ehirdiphone> Don't what?
20:22:07 <ehirdiphone> X = -deathcore + i :|
20:22:13 <oklopol> there should be a don't somewhere in there
20:22:20 <dixon> X usually denotes a set
20:22:23 <oklopol> they manage not
20:22:32 <dixon> or matrix
20:22:40 <dixon> Or something that isn't a variable.
20:22:50 <oklopol> eh?
20:23:17 <oklopol> you mean in something like let (X, S, m) be a measure space, X is not a variable?
20:23:32 <oklopol> or what do you mean by variable
20:23:39 <dixon> A variable varies.
20:23:52 <oklopol> err no it doesn't, in math
20:23:57 <dixon> Yes, it does.
20:24:02 <dixon> In math.
20:24:03 <oklopol> oh
20:24:07 <oklopol> this is news to me
20:24:11 <dixon> e.g., y = 3x+6
20:24:15 <ehirdiphone> a variable is just something you plug in values for
20:24:18 <oklopol> but i believe you
20:24:24 <dixon> x \in R, thus x can VARY to be any value in R
20:24:32 -!- ehirdiphone has quit (Quit: Get Colloquy for iPhone! http://mobile.colloquy.info).
20:24:38 <oklopol> and in (X, S, m), X can VARY to be any set
20:24:51 -!- ehirdiphone has joined.
20:25:27 <dixon> Not ANY set.
20:25:34 <ehirdiphone> dixon: That's a stupid definition of change.
20:25:46 <dixon> ehirdiphone: Thanks?
20:25:53 <oklopol> absolutely any set can be made a measure space out of
20:26:01 <oklopol> x \in R has more constraints
20:26:10 <ehirdiphone> Yw
20:26:38 <oklopol> if you say let x \in R and then prove something about x, you're doing it for any value of x. similary, if you let (X, S, m) be a measure space, and prove something about it, you prove something for any measure space.
20:26:46 <oklopol> what's the difference making x a variable and X not one?
20:26:50 <dixon> oklopol: Vitali set, boiiiiii
20:27:26 <oklopol> what
20:28:06 <oklopol> i'll assume you were joking above
20:28:55 <dixon> I'll assume you're pretending not to know about non-measurable sets.
20:29:29 <oklopol> i know about non-measurable sets
20:29:45 <oklopol> i just don't see how vitali set made any sense
20:29:52 * Sgeo_ wonders if making his parser blind to too many [ is a bad idea
20:30:35 <ehirdiphone> Sgeo_: "meh"
20:30:42 <oklopol> oh you meant
20:30:46 <Sgeo_> well, too many ] will probably cause it to ignore everything after the extra [
20:30:48 <Sgeo_> erm ]
20:30:48 <ehirdiphone> Bad program = undefined behaviour :P
20:30:53 <oklopol> if X is a vitali set, then you can't make a measure space out of it?
20:30:55 <Sgeo_> ehirdiphone, heh
20:30:56 <oklopol> that's not true
20:31:04 <oklopol> obviously
20:32:16 <dixon> ...
20:32:49 <Quadrescence> ehirdiphone: wrong
20:33:14 <ehirdiphone> Quadrescence: about what
20:33:16 <Quadrescence> bad program = doesn't do what it's supposed to
20:33:26 <Quadrescence> or it does but exceedingly poorly
20:33:36 <oklopol> dixon: any set X can be made into a measure space by setting S = {{}, X} and m(a) = 0 for all a \in S
20:33:38 <Sgeo_> This parser is getting uglier by the second :/
20:33:42 <oklopol> even a vitali set
20:33:46 <ehirdiphone> Quadrescence: I meant
20:33:47 <dixon> So if a measurable space has a lebesgue measure, and the Vitali set isn't lebesgue measurable
20:33:55 <ehirdiphone> Feed nonprogram to interpreter
20:33:58 <ehirdiphone> => UB
20:34:05 <Quadrescence> oh okay
20:34:12 <Quadrescence> then you're off the hook
20:34:23 <dixon> That's wonderful, but is that making a measure space of the Vitali set itself, or a different set containing the vitali set as a subset?
20:34:25 <ehirdiphone> THE HOOK
20:34:49 <ehirdiphone> Sgeo_: Use parsec :P
20:34:57 <oklopol> it's making a measure space of the vitali set, X = vitali set. i assumed the vitali set was an example of something X can't be
20:34:59 <Sgeo_> ehirdiphone, is that a joke?
20:35:04 <oklopol> because you said X can't be *absolutely any set*
20:35:04 <Sgeo_> After several people told me NOT to?
20:35:05 <ehirdiphone> Sgeo_: no
20:35:13 <ehirdiphone> They're fucking idiots
20:35:21 <oklopol> and said this is because "vitali set boiiiiii"
20:35:24 <pikhq> ehirdiphone: Brainfuck parsing.
20:35:25 <ehirdiphone> Were they in #haskell?
20:35:31 <ehirdiphone> If not disregard them
20:35:36 <oklopol> also you can even make R^n into a measure space such that all vitali sets are measurable
20:35:42 <oklopol> i'll leave this as homework
20:35:43 <ehirdiphone> pikhq: Is a two liner in parsec
20:35:52 <Sgeo_> ehirdiphone, pikhq and Quadrescence and dixon
20:35:58 <pikhq> And 4 lines out of it. :P
20:36:10 <Sgeo_> pikhq, um, this is much much more than 4 lines
20:36:27 <ehirdiphone> Sgeo_: dixon is a moron and pikhq should be ashamed :P
20:36:38 <ehirdiphone> And Quadrescence is a fluffy bunny.
20:36:46 <ehirdiphone> Thusly he can do no wrong.
20:36:52 <ehirdiphone> He is excused.
20:37:07 <Sgeo_> How about this: I do it both ways
20:37:19 <ehirdiphone> TMI
20:37:30 <Sgeo_> rofl
20:37:47 <AnMaster> <oklopol> that's some serious liquid insanity <-- what is?
20:37:48 <Quadrescence> ehirdiphone: dixon is certainly not a moron
20:38:21 <oklopol> Quadrescence: can you explain his statement about X vs x?
20:38:45 <oklopol> i hope there's a better argument out there than vitali set boiiiii
20:38:56 <Sgeo_> Which is better: A language that's easy to write in but difficult to read, or a language that's easy to read in but difficult to write?
20:39:00 <ehirdiphone> Boiiiii
20:39:09 <Quadrescence> Sgeo_: neither
20:39:14 <ehirdiphone> Sgeo_: One that's difficult to both!
20:39:22 <Quadrescence> oklopol: I don't really remember what the argument was
20:39:41 <Sgeo_> It's just that it seems that Haskell tends to be a bit of the latter, imo
20:39:51 <oklopol> Quadrescence: then nm
20:40:07 <oklopol> or read logs, it's not a very interesting argument
20:40:14 <ehirdiphone> Sgeo_: Only because it is new to you.
20:40:26 <Quadrescence> you can reiterate the question/whatever so we are all on the same page
20:40:38 <ehirdiphone> Avoid stating informed opinions until you're informed :P
20:41:03 <oklopol> the claim was that X usually denotes matrices or sets and is therefore not a variable, unlike x which denotes things like real numbers
20:41:20 -!- Oranjer has joined.
20:41:26 <oklopol> and that in x \in R, x can *vary*, whereas if you say (X, S, m) is a measure space, X can't vary
20:41:38 <Quadrescence> dixon: do you agree with what he just said (that this was the claim, be it true or false)
20:41:51 <oklopol> i don't see how there's any distinction between those
20:41:55 <dixon> Quadrescence: I said X can't assume all values.
20:42:08 <oklopol> well X \in Set, of course
20:42:13 <dixon> e.g., a non-measurable set
20:42:27 <dixon> Assuming lebesgue measure
20:42:32 <oklopol> that statement i just find plain weird
20:42:43 <oklopol> why couldn't you make a non-measurable set into a measure space
20:42:44 <Quadrescence> oklopol: X \in Set or MeasurableSet
20:42:48 <oklopol> Set
20:43:13 <oklopol> any set made into a measure space as for instance (X, {{}, X}, m), m(a) = 0 for all a
20:43:25 <oklopol> *can be
20:43:40 <Sgeo_> Dear Notepad++: Please don't attempt to match [ and ] if they're in single quotes
20:43:57 <dixon> Any negative number can be made nonnegative by adding its inverse. That doesn't make it initially nonegative.
20:43:58 <Quadrescence> Dear Sgeo_, learn to use a decent fucking editor
20:44:13 <oklopol> also x \in R, so even if it was MeasurableSet, X would still be a variable in the same sense that we name an arbitrary element of some class
20:44:47 <oklopol> dixon: what? a vitali set is not in any way inherently non-measurable, as i said there are measures on R^n where vitali sets can be measured.
20:44:49 <Quadrescence> Actually I don't think X is a variable now
20:45:01 <oklopol> why? what's the difference?
20:45:09 <dixon> oklopol: It's not Lebesgue measurable!
20:45:16 <oklopol> we say let X \in Set, and we say x \in R
20:45:26 <oklopol> and then we talk about that one x or X that can't change during the discussion
20:45:27 <dixon> I just said "assuming Lebesgue measure" like 10000000 times
20:45:59 <oklopol> err right, the second time i missed that
20:46:01 <Quadrescence> I did for a second but now I don't. When I think variable, I think: forall X in D, f(X)
20:46:13 <oklopol> that's a weird assumption because it's not relevant that X can be non-measurable in some measure
20:46:31 <dixon> The most popular measure :\
20:46:39 <dixon> (among the ladies anyway)
20:46:51 <Quadrescence> (i thought boob size was the most pop)
20:46:53 <oklopol> it's still irrelevant if we're talking about whether X can be made into a measure space
20:47:05 <oklopol> obviously there will be some spaces where X is not a measurable set, for any X except {}
20:47:22 <oklopol> and yeah sure it's the most popular
20:47:35 <dixon> Quadrescence: Make a measure space of boobies. Get your sigma algebra all over that :3
20:48:11 <Quadrescence> oklopol: also IIRC you just interchanged "measure space" and "measurable space" a few times
20:48:22 <oklopol> Quadrescence: can you explain why "forall X in D, f(X)", as a definition for variable, makes x a variable in "x \in R", but not X in "X \in Set"
20:48:35 <oklopol> i seriously doubt that, but maybe, let's see
20:48:51 <Quadrescence> oklopol: I can explain if I add more context to the question
20:48:53 <oklopol> oh well
20:49:27 <oklopol> i did talk about non-measurable set, and meant non-lebesque measurable, that might not have been clear from context
20:49:30 <Quadrescence> idk this discussion is boring let's listen to Sgeo_ talk about stuff
20:49:31 <Sgeo_> Awesome, this parser seems to actually be working
20:49:32 <oklopol> sure add context
20:49:37 <oklopol> yes it's very boring
20:49:50 <Quadrescence> cool his parser is working
20:50:14 <Quadrescence> I wonder if his parser is parsing or if he is confusing lexing with parsing or both
20:50:28 <Sgeo_> Well, kind of. Extra ] causes it to cut off, and it seems to automatically put ] at the end if needed
20:50:40 <Quadrescence> What do you guys think?
20:51:19 <oklopol> hmm
20:51:21 <Sgeo_> It's not working
20:51:40 <Quadrescence> Ah nvm guys his parser isn't working
20:51:40 <oklopol> the fact ] is causing him trouble suggests parsing
20:52:23 <oklopol> i ate so much pizza i'm all twitchy
20:52:32 <Quadrescence> oklopol: yes I agree so I suppose he is talking about parsing and not lexing
20:52:38 <oklopol> is that healthy / even possible?
20:52:43 <oklopol> maybe it's caffeine kicking in
20:52:47 <Quadrescence> no that is not healthy and it is not possible
20:52:59 <oklopol> thought so
20:53:31 <oklopol> Quadrescence: but what do you think, is he using a separate module for the parser and the interpreter
20:54:04 <oklopol> speaking of caffeine, i should probably make some coffee before i get tired
20:54:06 <Quadrescence> probably because he seems to be the type that would overengineer the dick out of something
20:54:19 <dixon> God did that to women
20:54:21 <dixon> hence men
20:54:42 <oklopol> "out of something", so i think god did it to guys
20:54:51 <Sgeo_> I have the definition of the tape and functions that operate on it in a separate module
20:54:59 <oklopol> women are more optimal in many ways
20:55:00 <dixon> oklopol: the pizza is slowing you down
20:55:18 <dixon> I'm going to win our pseudo-argument now >:)
20:55:38 <Quadrescence> Sgeo_: so do you really have a stateful tape? or do you have a thing that generates new tapes from old ones
20:55:50 <oklopol> men are more in the direction of movie-autistic genius in that they suck and own at things more often than women
20:55:51 <Sgeo_> new tape from old ones
20:56:06 <Sgeo_> http://hpaste.org/fastcgi/hpaste.fcgi/view?id=24660
20:56:16 <oklopol> which is away from the equilibrium of perfect humanness
20:57:01 <oklopol> dixon: i never considered it a pseudo-argument, although i agree it was a complete waste of everyone's time
20:57:15 <dixon> oklopol: If we didn't have time to waste, we wouldn't be on IRC
20:57:17 <dixon> Haskell is so anti-climactic.
20:57:25 <dixon> You slave for hours and what do you have to show for it? 44 lines.
20:57:44 <Quadrescence> fuck yeah C \o/
20:57:44 <myndzi\> |
20:57:44 <myndzi\> |\
20:57:51 <Quadrescence> haha i love this bot
20:57:59 <dixon> It can't count.
20:58:12 <oklopol> counted just fine on my screen
20:58:24 <dixon> Have a monospaced font?
20:58:26 <Sgeo_> The modify lines seem to be below the 44
20:58:26 <Quadrescence> dixon: you probs have that alignment junk I hate
20:58:33 <dixon> Quadrescence: DO NOT
20:58:33 <Quadrescence> at a margin
20:58:37 <oklopol> yes, i consider non-monospace ugly
20:58:48 <dixon> oklopol: Do you read websites in monospace?
20:58:50 <oklopol> yes
20:58:55 <dixon> haHAHAHahahAHA
20:58:55 <Quadrescence> oklopol: that is terrible
20:58:56 <dixon> so weird
20:59:01 <Quadrescence> that is the worst idea i've ever heard
20:59:10 <oklopol> also i disable all features on pages, they are just white on black monospace
20:59:16 <ehirdiphone> I helped him set up windows. Everything on his screen is
20:59:20 <oklopol> ehirdiphone made the theme for me
20:59:20 <dixon> HAHahaAHaHahhahaHahahAHa
20:59:21 <Quadrescence> jk Sgeo_'s idea of using parsec to parse bf was the worst idea
20:59:21 <oklopol> yeah
20:59:23 <ehirdiphone> White on black
20:59:27 <ehirdiphone> Consolas
20:59:31 <ehirdiphone> EVERY thing
20:59:37 <dixon> You're so weird.
20:59:40 <oklopol> almost everything, some things override it
20:59:42 <ehirdiphone> NO exceptions. It is beautiful.
20:59:51 <Quadrescence> ehirdiphone: not on the internet
20:59:54 <ehirdiphone> even made an IE stylesheet for it
20:59:56 <oklopol> people are like wtf why is your computer broken
21:00:00 <ehirdiphone> Quadrescence: oh yes
21:00:01 <Quadrescence> well, that is, if you use more than 2 websites on the internet
21:00:03 <ehirdiphone> see ^
21:00:06 <dixon> oklopol: That's just because you use Windows.
21:00:21 <oklopol> what's just because? the override?
21:00:36 <Quadrescence> \o/ _o/ \o/ _o_ \o_
21:00:36 <myndzi\> | | | | |
21:00:36 <myndzi\> /'\ >\ /\ >\ |\
21:00:50 <Quadrescence> who decided to give some of these penises?
21:00:52 <ehirdiphone> oklopol: No the broken
21:00:56 <ehirdiphone> he meant
21:00:58 <Deewiant> If he used something other than Windows they'd say that because it's not Windows
21:01:01 <oklopol> oh hmm yeah maybe
21:01:25 <oklopol> well you see they don't actually say anything because i never take my computer outside and no one even visits me
21:01:31 <oklopol> i mean i meet people but never here
21:01:42 <hiato> haha
21:01:52 <dixon> oklopol: Sure you did.
21:02:07 <dixon> oklopol: You just go to your measure theory class and home to fap to it.
21:02:16 <dixon> We now know the truth!
21:02:19 <oklopol> :P
21:02:34 <oklopol> measure theory isn't really what i do, measure spaces are just the only thing i was sure everyone would know
21:02:46 <Quadrescence> Sgeo_: what is a measure space???
21:02:58 <oklopol> not like let [n, k, d]_q R be a linear code
21:02:59 <Sgeo_> ?
21:03:08 <Quadrescence> Sgeo_: What Is A Measure Space?
21:03:15 <oklopol> well where everyone = {dixon} :D
21:03:22 <Sgeo_> Why are you asking me?
21:03:30 <oklopol> Sgeo_: i said everyone knows measure spaces
21:03:37 <oklopol> and *someone* decided to take that literally
21:04:08 <Sgeo_> Can you find someone else to assume to be ignorant?
21:04:18 <Quadrescence> yeah fuuuuuuuuk taking "everyone" LITERALLY since there are so many other ways to take it
21:04:23 <Quadrescence> \o_
21:04:23 <myndzi\> |
21:04:23 <myndzi\> >\
21:04:42 <AnMaster> so broken
21:04:52 <oklopol> i never mean what i say
21:04:59 <Quadrescence> bee are bee i hav 2 pee
21:05:03 <ehirdiphone> AnMaster: only for xchat users
21:05:18 <AnMaster> ehirdiphone, and other similar clients
21:05:25 <AnMaster> I made erc format it that way too
21:05:28 <dixon> oklopol: Or because it was the highest level of knowledge you could surmount in order to battle my raging ego.
21:05:49 <AnMaster> but it uses a static value
21:05:52 <Sgeo_> Woohoo, I think it's working
21:05:53 <AnMaster> and a max column
21:05:55 <AnMaster> <Quadrescence> \o_
21:05:55 <AnMaster> <myndzi\> |
21:05:55 <AnMaster> <myndzi\> >\
21:05:56 <myndzi\> |
21:05:56 <myndzi\> |\
21:06:02 <AnMaster> is what I see
21:06:30 <pikhq> AnMaster: That is a fekking bizarre alignment thing.
21:06:50 <oklopol> no, lowest
21:06:50 <AnMaster> pikhq, well no. It is supposed to be like xchat. But Quadrescence's nick is one char longer than the max length
21:06:58 <ehirdiphone> pikhq: aligned rightwards
21:06:58 <AnMaster> pikhq, this it overflows into the other area
21:07:02 <dixon> oklopol: Uh huh!
21:07:04 <pikhq> See, that's bizarro.
21:07:11 <pikhq> ehirdiphone: See?
21:07:13 <oklopol> the linear code thing was the highest level
21:07:15 <oklopol> :P
21:07:15 <AnMaster> pikhq, rightwards is normal
21:07:17 <AnMaster> to me
21:07:20 <AnMaster> xchat does it too
21:07:23 <AnMaster> there it looks like:
21:07:27 <oklopol> i assume you don't care what they are
21:07:30 <oklopol> *know
21:07:31 <pikhq> And that's all that does that.
21:07:31 <AnMaster> <Quadrescence> \o_
21:07:32 <AnMaster> <myndzi\> |
21:07:32 <AnMaster> <myndzi\> >\
21:07:32 <myndzi\> |
21:07:32 <myndzi\> /\
21:07:34 <dixon> oklopol: I lol'd.
21:07:38 <AnMaster> pikhq, see ^
21:07:46 <AnMaster> pikhq, when I used irssi it did it too
21:07:48 <Sgeo_> http://hpaste.org/fastcgi/hpaste.fcgi/view?id=24662#a24662
21:07:52 <AnMaster> because I set irssi up that way
21:07:53 <Sgeo_> Seems to be somewhat working
21:08:01 <pikhq> AnMaster: Why do you break your IRC clients?
21:08:05 <Sgeo_> Another function will combine BFAlters and BFMoves etc.
21:08:07 <AnMaster> pikhq, I find it *WAY* easier to read
21:08:27 <pikhq> Bah.
21:08:27 * Sgeo_ wishes it wasn't so ugly
21:08:43 <dixon> Sgeo_: Use another language.
21:09:02 <AnMaster> dixon, then it wouldn't be a bf parser
21:09:03 <ehirdiphone> actually Sgeo_ just wrote it badly :P
21:09:08 <AnMaster> but, say, an intercal parser
21:09:21 <Sgeo_> ehirdiphone, any ideas for improvements?
21:09:24 <AnMaster> or do you mean the language the parser is written in?
21:09:27 <dixon> It wouldn't be in Haskell.
21:09:35 <dixon> AnMaster: The language it was written in .
21:10:12 <ehirdiphone> Sgeo_: don't mention parsing the rest twice. using god forbid a monad would avoid such duplication
21:10:25 <dixon> EWW MONADS
21:10:34 <oklopol> codes are subsets of Q^n, where Q is some set. if we take Q to be the finite field of size q then Q^n is a vector space over Q, and linear codes of type [n, k, d]_q R are just subvector fields of Q^n of dimension k (d and R are minimum distance between two codewords and max distance between a non-codeword and the code)
21:10:35 <dixon> Keep your sick functors away from my categories
21:10:53 <oklopol> so not very deep
21:11:06 <oklopol> (have to define what you mention)
21:11:06 <Slereah> Functor?
21:11:09 <Slereah> I hardly know her!
21:11:12 * Sgeo_ is not sure how he'd use a monad to help here
21:11:18 <dixon> oklopol: igi
21:11:26 <ehirdiphone> Sgeo_: Just use parsec
21:11:32 <dixon> ew.
21:11:35 <ehirdiphone> It's Easy.
21:11:49 <oklopol> ew at parsec or linear codes?
21:11:55 <dixon> Parsec.
21:12:00 <dixon> Linear codes are fine.
21:12:14 <oklopol> if you like coding theory (the theory of uniform length codes) then linear codes are very useful
21:12:31 <oklopol> ah cool
21:12:38 <dixon> I like cryptography, so some information theoretic properties of coding and error correction come into platy.
21:12:39 <dixon> play*
21:13:01 <Sgeo_> I'll also do it in Parsec
21:13:06 <Sgeo_> Both ways will be available
21:13:07 <ehirdiphone> dixon: how about whenever anyone mentions haskell you take a big gulp of shut the fuck up- in place of the current pipe the fuck up
21:13:21 <ehirdiphone> Sgeo_: now /that/ is pointless
21:13:24 <dixon> ehirdiphone: Or I could not. That works better for me.
21:13:32 <Quadrescence> ehirdiphone: was that a joke
21:13:37 <Quadrescence> "pointless"
21:13:49 <Sgeo_> ehirdiphone, the non-Parsec way teaches me stuff, the Parsec way makes it a bit more useful for checking stuff
21:13:51 <Quadrescence> because haskell can be written in pointless/POINT-FREE style
21:13:51 <ehirdiphone> Quadrescence: no, im not /that/ inanw yet
21:13:55 <ehirdiphone> *inane
21:14:15 -!- tombom has joined.
21:14:20 -!- tombom has quit (Changing host).
21:14:20 -!- tombom has joined.
21:14:31 -!- coppro has joined.
21:14:32 <oklopol> i know very little cryptography
21:14:41 <ehirdiphone> dixon: Yeah but you're the most irritating person here except me
21:15:03 <dixon> ehirdiphone: I'm also the second-coolest person here.
21:15:03 <ehirdiphone> I have an age exemption; are you royalty?
21:15:09 <dixon> You'll have to live with the paradox.
21:15:27 <oklopol> am i the coolest?!?!?
21:15:38 <oklopol> a i am i ami amiai maimaimaiamiamiamai
21:15:45 <ehirdiphone> oh i am in awe of your cool
21:15:53 <dixon> Peanut is the coolest.
21:15:53 <oklopol> AM I COOLEST I WUN BE COOLAST :<<
21:15:58 <oklopol> oh
21:16:13 <ehirdiphone> I'm peanutacus
21:16:15 <Quadrescence> http://i.imgur.com/cTSP2.jpg
21:16:27 <oklopol> ehirdiphone: you don't have an age exception for long.
21:16:30 <oklopol> *won't
21:16:36 <dixon> Queen of her domain.
21:16:40 <ehirdiphone> oklopol: orly, how about 18
21:16:43 * Sgeo_ wonders how this parser handles lazy lists
21:16:50 <Sgeo_> Erm, that was poorly phrased
21:16:55 <Quadrescence> yes that was
21:16:58 <Quadrescence> you should be embarrassed
21:16:59 <ehirdiphone> sex in USA = unirritatibg
21:16:59 <oklopol> *exemption
21:17:03 <oklopol> that may be better
21:17:06 <ehirdiphone> *unirritatibg
21:17:14 <Quadrescence> *unirritatibg
21:17:44 <ehirdiphone> My spellchecker has now learned unirritatibg.
21:17:45 <oklopol> well i don't know which country you are now, although i have my guesses, but i consider 15 enough for everyone.
21:17:49 <oklopol> and everything
21:17:50 <ehirdiphone> No joke
21:18:01 <Sgeo_> It seems to handle strings with _|_ in the middle nicely
21:18:07 <ehirdiphone> oklopol: BAH
21:18:11 <dixon> oklopol: The Swedish have a saying: If it's not in diapers, it's old enough to be stretched.
21:18:14 <tombom> oklopol: i wonder why
21:18:28 <ehirdiphone> dixon: yeah but they're perverts
21:18:35 <oklopol> yeah i'm no pervert
21:18:38 <dixon> ehirdiphone: Neutral perverts.
21:18:42 <ehirdiphone> tombom: 'cuz oklopol just turned 15
21:18:55 <tombom> yes
21:18:59 <tombom> that was what i was thinking
21:19:04 <oklopol> oh
21:19:11 <ehirdiphone> dixon: the swiss are more neutral and THEY DEFEND CATHOLICISM
21:19:15 <dixon> Or because his boyfriend just turned 15
21:19:21 <oklopol> :P
21:19:23 <dixon> And he's CATHOLIC
21:19:28 <ehirdiphone> or well they share a name with the pope's guards
21:19:33 <Quadrescence> purity brick
21:19:37 <ehirdiphone> SAME THING; BOOYAH
21:19:37 <dixon> HAHAHAHAHAHAHHA
21:19:49 <Quadrescence> pure, haskell
21:19:52 <Quadrescence> all makes sense now
21:20:04 <ehirdiphone> anyway oklopol is like 52 now
21:20:16 * oklopol calculates again
21:20:18 <dixon> That makes sense
21:20:23 <dixon> pedopedo
21:20:33 <dixon> Hitting on my young self.
21:20:35 <ehirdiphone> ;)))
21:20:36 <oklopol> well i do find 15-yo girls sexy like any normal male
21:20:39 <Quadrescence> oklopol: how old are you if you can disclose
21:20:42 <oklopol> that's not pedo
21:20:47 <oklopol> i'm 21
21:20:48 <ehirdiphone> Quadrescence: 21 iirc
21:20:53 <oklopol> just turned
21:20:56 <Quadrescence> i c
21:21:00 <dixon> oklopol: Like you are a vampire
21:21:01 <oklopol> had this big party
21:21:04 <dixon> "Just turned"
21:21:16 <oklopol> :)))))))))))))))
21:21:21 <ehirdiphone> oklopol's bf is me he's saving my penile virginity for 15
21:21:22 <Quadrescence> ehirdiphone: how old are you if you can disclose
21:21:23 <oklopol> no wait i forgot fangs
21:21:27 <ehirdiphone> tru story
21:21:48 <ehirdiphone> Quadrescence: 3
21:21:59 <Quadrescence> ehirdiphone: next time just don't answer or say you don't want to
21:22:09 <oklopol> i would tell you but it may have changed since i last heard it
21:22:20 <ehirdiphone> oklopol: Hasn't
21:22:21 <oklopol> i hate ages, should memorize years of birth instead
21:22:28 <ehirdiphone> just retina irritate Quadrescence
21:22:33 <ehirdiphone> *tryina
21:22:42 <oklopol> oh umm then i wish i hadn't said that
21:22:47 <dixon> oklopol: Birthdays. Using coding theory.
21:22:50 <oklopol> because i have two numbers for your age
21:22:55 <oklopol> 14 or 154
21:22:57 <oklopol> *15
21:23:11 <dixon> Has iPhone in his name, obv 14.
21:23:15 <ehirdiphone> birthday PARADOX mathematics is WRONG
21:23:27 <oklopol> what paradox?
21:23:28 <dixon> Because YOU ARE EDUCATED EVIL
21:23:30 <ehirdiphone> dixon: your accuracy is physically painful
21:23:34 <Quadrescence> time cube
21:23:34 <dixon> oklopol: Birthday paradox
21:23:40 <oklopol> i have heard of that
21:23:52 <oklopol> was it about time dilation or something
21:24:01 <Quadrescence> no
21:24:01 <Sgeo_> No
21:24:01 <oklopol> :P
21:24:05 <ehirdiphone> If it redeems me I bought this thing in 2007 when it was still uncool :|
21:24:09 <oklopol> i have a great memory
21:24:16 <dixon> oklopol: EARTH HAS SIMULTANEOUS FOUR 25 HOUR DAYS
21:24:22 <dixon> YOU ARE EDUCATED EVIL
21:24:23 <oklopol> ehirdiphone: and you waited until it was cool till you started using it?
21:24:23 <dixon> etc
21:24:26 <oklopol> that's... much worse
21:24:27 <dixon> http://timecube.com
21:24:28 <hiato> ALL ELSE ARE EVIL
21:24:32 <ehirdiphone> oklopol: No
21:24:34 <ehirdiphone> :P
21:24:35 <Quadrescence> gene ray 2012
21:24:45 <dixon> 100%
21:24:50 <Sgeo_> It's more likely that there are two people in a room of.. I forgot how many .. who share a birthday than you might intuitively think
21:24:58 <coppro> -1 x -1 = -1!
21:25:00 <dixon> Sgeo_: 23
21:25:03 <oklopol> oh that's the paradox?
21:25:07 <oklopol> i would never have guessed
21:25:20 <ehirdiphone> As much of a paradox as banach-tatami
21:25:24 <ehirdiphone> Tatami
21:25:27 <ehirdiphone> Tarski
21:25:30 <hiato> tarski?
21:25:31 <Sgeo_> At 23 the chance of there being two people who share a birthday is 50%
21:25:37 <Sgeo_> iirc
21:25:38 <tombom> i forget, are larouchites rather dismissive of negative numbers
21:25:48 <dixon> then as you get more than 23, that goes up rapidly.
21:26:07 <dixon> http://en.wikipedia.org/wiki/Birthday_problem for epic win
21:26:08 <Quadrescence> Sgeo_: iirc? you mean "if i just looked at wikipedia behind this window a second ago correctly"?
21:26:12 <ehirdiphone> 24 = 100% because of synchronicity
21:26:17 <Sgeo_> Quadrescence, I didn't
21:26:20 <Quadrescence> k
21:26:22 <Quadrescence> jw
21:26:27 <ehirdiphone> dixon: "epic win" oh please
21:26:30 <dixon> Quadrescence: No, because It old him from my cryptographic memory of awesome
21:26:36 <dixon> ehirdiphone: Yes dear?
21:26:36 <oklopol> i remember 23 from reading some book in like 5th grade
21:26:40 <oklopol> for that probability
21:26:47 <oklopol> not what it means, but the number in that context
21:26:47 <ehirdiphone> dixon: I want a divorce
21:26:57 <dixon> ehirdiphone: I keep the house.
21:26:59 <dixon> And your penis.
21:27:10 <dixon> You can have the kids.
21:27:11 <oklopol> i used to read all sorts of crap as akid
21:27:14 <oklopol> *a kid
21:27:20 <dixon> Me too. Like Playboy.
21:27:23 <ehirdiphone> dixon: ok how about an anullment
21:27:43 <dixon> ehirdiphone: It'd be just like you to not put out and call it quits.
21:27:53 <Quadrescence> dixon, i heard that the library you wrote years ago is becoming an official part of the standard library for the D programming language
21:28:04 <dixon> Why did I ever even think you were so much to want to than do anymore like?
21:28:07 <Quadrescence> it is so cool to meet people who know that much about crypto
21:28:18 <ehirdiphone> Quadrescence: but that means dixon will be
21:28:21 <ehirdiphone> INTERNET
21:28:24 <ehirdiphone> FAMOUS
21:28:32 <coppro> meh, it's D
21:28:33 <dixon> Less Internet-famous than Q.
21:28:48 <Quadrescence> coppro: meh it's D, why meh
21:28:49 <coppro> D is a bad attempt at fixing C++
21:28:53 <Quadrescence> wrong
21:28:58 <ehirdiphone> cpressey is more famous than walter bright :p
21:29:19 <oklopol> i'm less known than all of you put together
21:29:20 <Quadrescence> D was a very good attempt, and rather successful in terms of the language itself, but politics and everything around it was not good so etc
21:29:40 <coppro> no, D as a language is pretty bad
21:29:41 <ehirdiphone> oklopol: you're -1 famous
21:30:01 <ehirdiphone> if not for time cube just become -1 times more famous
21:30:06 <ehirdiphone> coppro: agreed
21:30:10 <dixon> coppro: D as a language is fine. It's just the implementations that suck.
21:30:17 <ehirdiphone> A hodgepodge of features
21:30:18 * Sgeo_ can't seem to copy from GTK+ applications to any other application
21:30:22 <Quadrescence> D as a language is good (pre 2.0)
21:30:27 <oklopol> no D is okay as a language and the politics is okay, but it has a crappy name
21:30:29 <ehirdiphone> all apropos nothing
21:30:39 <coppro> and the syntax, while easier to parse than C++'s, is even uglier
21:30:46 <Sgeo_> Wiat, it's working now?
21:30:50 <dixon> wat
21:30:53 <Quadrescence> wat
21:30:56 <coppro> ! for templates, wtf
21:30:59 <oklopol> Quadrescence: do you think his code is now working?
21:31:00 <ehirdiphone> wiat
21:31:05 <Quadrescence> oklopol: no
21:31:08 <ehirdiphone> oklopol: No copying
21:31:09 <dixon> coppro: Fixes issues with <<<<<<<<this>>>>>>>>.
21:31:12 <ehirdiphone> From gtk apps
21:31:16 <Sgeo_> Why is it that all-of-a-sudden, copy/paste from XChat is working. It never worked before
21:31:19 <coppro> dixon
21:31:21 <Deewiant> I think the ! is much better than <>, parsing problems or not
21:31:22 <Sgeo_> (and Pidgin)
21:31:23 <coppro> *dixon: what?
21:31:28 <ehirdiphone> dixon: Instead !(!(!(!())))
21:32:00 <dixon> ehirdiphone: Much better to parse.
21:32:01 <Quadrescence> ehirdiphone: note that << is an operator in C++, so is >>, so is <, so is >
21:32:03 -!- MizardX has quit (Ping timeout: 276 seconds).
21:32:09 <coppro> so is !
21:32:14 <coppro> dixon: yes, much better to parse. Also uglier
21:32:18 <ehirdiphone> I'd prefer SPECS
21:32:22 <Deewiant> ! is prefix
21:32:28 <ehirdiphone> Quadrescence: yes
21:33:39 <Quadrescence> anyway it's a fact that if someone thinks D is uglier than C++, then that someone also think bjarne stroopywoopy's mop head is hotter than raven riley after a shower
21:33:54 <Sgeo_> Everything should just use Haskell's type system :D
21:33:55 <Gregor> AnMaster: You've inspired me to actually try to learn to /play/ something by Chopin properly :P
21:33:56 <Deewiant> A TRUE FACT
21:34:08 <Quadrescence> Sgeo_: Yes definitely
21:34:28 <Quadrescence> Especially those things which require values to be a part of types
21:34:40 <Quadrescence> You know, like a type like Matrix(2,3)
21:34:45 <Quadrescence> haskell is totes appropriate for this
21:34:49 * Gregor looks up Raven Riley for comparison
21:34:53 <coppro> Haskell's type system is nice but hardly ideal
21:35:05 <ehirdiphone> Sgeo_: Nnnno
21:35:34 <Quadrescence> Sgeo_ is just amazed and etc after using haskell for one day and is professing wisdom and whatever he thinks he has obtained
21:35:57 <Sgeo_> I've been using Haskell for more than one day
21:36:05 <pikhq> NEEDS MORE LAMBDA
21:36:09 <Sgeo_> Just haven't written a large project in it before
21:36:13 <Quadrescence> Sgeo_: sorry 1 week
21:36:16 <Quadrescence> I mean 1/2 weeks
21:36:25 <Quadrescence> (one half)
21:36:38 <Sgeo_> How about, I started no later than September 26, 2009
21:36:47 <Sgeo_> And have made Haskell puns before then
21:36:52 <Sgeo_> (Well, one pun)
21:36:57 <ehirdiphone> HASKELL PUNNNNS
21:37:06 <ehirdiphone> It was not the best pun tbqh
21:37:07 <Quadrescence> Sgeo_: Oh it seems you've started about 1 day ago
21:37:35 <Sgeo_> ehirdiphone, execution-wise or concept-wise?
21:37:39 <Quadrescence> esp. since just yesterday you said "is it worth learning haskell?!?!?!"
21:37:50 <ehirdiphone> Sgeo_: erm both :p
21:37:57 <Sgeo_> :/
21:38:10 <ehirdiphone> ;(
21:40:26 <coppro> Sgeo_: Did you know that Haskell curries?
21:40:31 <Sgeo_> coppro, yes
21:40:35 <coppro> :P
21:40:45 <pikhq> Did you know that curry is *delicious*?
21:40:48 <Sgeo_> Is there supposed to be a pun based on someone's name in there?
21:40:52 <coppro> uh, yes
21:41:16 <dixon> Howard you figure that out?
21:41:26 <coppro> the guy the language is named after, even
21:41:33 <ehirdiphone> Haskell my anus
21:41:34 <Sgeo_> coppro, yeah yeah
21:41:42 <pikhq> Haskell Curry. Hooray.
21:41:57 <coppro> for whom both Haskell and currying are named
21:42:15 <ehirdiphone> schoenfinkeling is the proper term
21:42:49 -!- impomatic has joined.
21:42:51 <dixon> Only an iPhone user would schoenfinkel
21:42:58 <impomatic> Hi :-)
21:43:04 <ehirdiphone> dixon: wat.
21:43:24 <dixon> wat.
21:43:39 <pikhq> I think it should be "Haskelling".
21:43:47 <pikhq> "In Haskell, every function is haskelled."
21:43:56 <ehirdiphone> but schoenfinkel invented it!
21:44:09 -!- MigoMipo has joined.
21:44:13 <ehirdiphone> pikhq: untrue
21:44:16 <pikhq> Yeah, well. Schoenfinkel should change his name to Haskell.
21:44:24 <ehirdiphone> (A,B) -> C
21:44:26 <Sgeo_> Wasn't currying invented before Haskell? Haskell Curry did Currying stuff, not Haskell stuff
21:44:35 <ehirdiphone> Sgeo_: No duh
21:44:35 <dixon> I think programmers should stop sullying great mathematicians by naming shitty languages after them.
21:44:49 <ehirdiphone> Curry just popularised Schoenfinkeling.
21:45:01 <Slereah> heh
21:45:03 <ehirdiphone> dixon: oh, go away
21:45:13 <dixon> ehirdiphone: no u
21:45:32 <coppro> everyone knows that things in math and science aren't named after the discoverer, but the researcher
21:45:37 <ehirdiphone> dixon: our sole resident /actual/ mathematician has his name in the haskell98 report
21:45:47 <Slereah> http://verrahrubicon.free.fr/Combinator.pdf
21:45:58 <dixon> ehirdiphone: Much to his embarrassment, I'm sure.
21:46:03 <Quadrescence> i agree with dixon
21:46:17 <Sgeo_> ehirdiphone, who?
21:46:20 <ehirdiphone> dixon: why not ask oerjan?
21:46:28 <dixon> And he's not your sole resident mathematician.
21:46:50 * Sgeo_ thinks ais523 counts as a mathematician.
21:47:04 <dixon> Not if that's secretly alise.
21:47:14 <pikhq> Sgeo_: More of a computer scientists.
21:47:33 <Sgeo_> ais523 is multiple people now?
21:47:34 <Quadrescence> i am a journalist
21:47:39 <ehirdiphone> I dunno, the 2,3 TM work was pretty mathy
21:47:40 <pikhq> dixon: Trolltastic.
21:47:45 <pikhq> Sgeo_: Hah.
21:47:51 <dixon> pikhq: No, I'm serious.
21:48:02 <pikhq> dixon: ... Oerjan == alise wha?
21:48:11 <dixon> pikhq: ais--whatever.
21:48:14 <ehirdiphone> dixon: ais solved the 2,3 TM problem
21:48:29 <pikhq> ais523 == oerjan wha?
21:48:34 <ehirdiphone> Admittedly, only Wolfram cared about the implications
21:48:39 <ehirdiphone> pikhq: == me
21:48:44 <ehirdiphone> apparently
21:48:53 <pikhq> ehirdiphone: ... The hell?
21:49:08 <ehirdiphone> I propose we collectively ignore dixon on the grounds that he is duck-fuckingly annoying
21:49:36 <pikhq> dixon: http://en.wikipedia.org/wiki/Alex_Smith_(The_Simplest_Universal_Computer_Proof_contest_winner) Here's ais523's Wikipedia article. :P
21:49:47 <dixon> pikhq: I asked if ais was alise?
21:50:12 <ehirdiphone> dixon prolly hates wp too :p
21:51:37 <dixon> I don't hate anyone.
21:51:55 <ehirdiphone> but you hate entities
21:52:01 <oklopol> i have nothing against dixon but if everyone else ignores him i'll probably start talking to him here
21:52:07 <oklopol> *stop
21:52:25 <dixon> Yes, the world needs more sheep. Good call.
21:52:44 <ehirdiphone> ok operation Duck Fucking begins, im no longer highlighting dixon at all
21:53:16 <oklopol> nothing wrong with sheeps
21:53:33 <dixon> I find it somewhat humorous, ehirdiphone, that you equate ignoring me to bestiality.
21:53:48 * ehirdiphone Fuchs some Duchs
21:53:51 <Quadrescence> No offense to anyone, but no academic institution would really accept this as something: http://www.wolframscience.com/prizes/tm23/TM23Proof.pdf
21:53:57 <ehirdiphone> (thx iPhone spell corrector)
21:54:02 <oklopol> you wouldn't stop talking to someone if everyone else just saw your half of all your conversations?
21:54:11 <ehirdiphone> Quadrescence: he wasn't exactly trying for that
21:54:14 <oklopol> why not just talk in pm and spam your half on the channel then
21:54:24 <oklopol> well i guess that's more work
21:54:29 <ehirdiphone> he had his proof wolfram demanded shit he collated it
21:54:36 <ehirdiphone> tada money
21:54:50 <ehirdiphone> he was just playing around to find a proof
21:54:56 <oklopol> Quadrescence: why? (i haven't read it)
21:55:01 <oklopol> (well some of it)
21:55:09 * Sgeo_ doesn't ignore people
21:55:11 <Quadrescence> oklopol: idk becuz i sed so
21:55:15 <ehirdiphone> oklopol: it's not in Computer Modern
21:55:29 <pikhq> Quadrescence: Yeah, it's up to Wolfram's standards, not anyone sane's standards. :P
21:55:29 <dixon> oklopol: No, I'd keep talking just to annoy the people who were ignoring others. But I'm a bastard.
21:56:03 <oklopol> i might too, dunno
21:56:06 <ehirdiphone> Quadrescence: Amuway it's being published in Complex Systems
21:56:19 <ehirdiphone> admittedly
21:56:25 <ehirdiphone> a wolfram journa
21:56:25 <ehirdiphone> L
21:56:32 <ehirdiphone> Last I heard they keep asking him to change it
21:56:42 <ehirdiphone> Been years now
21:56:48 <ehirdiphone> Prolly won't ever get published
21:57:14 <oklopol> oh it says "I" instead of "we"
21:57:23 <oklopol> therefore unpublishable
21:58:13 <ehirdiphone> :D
21:58:24 <dixon> I think it has more to do with the Impact headings and whatnot.
21:59:28 <ehirdiphone> he just used the default openoffice style iirc :p
21:59:38 <ehirdiphone> so probably not impact
22:00:23 <dixon> Really? Looks like Impact Condensed :\
22:00:33 <Quadrescence> it looks like shit
22:00:44 <Quadrescence> (literally, look from a distance)
22:01:12 <oklopol> (well of course it looks like shit, it's not monospaced!)
22:01:43 <dixon> Quadrescence: You're just looking at the Perl code.
22:01:44 <ehirdiphone> Quadrescence: Yeah so what
22:01:44 <ehirdiphone> We're talking maths :P
22:02:02 <Quadrescence> dixon: oops yeah you're right
22:02:07 <ehirdiphone> oerjan used latex so mush
22:02:08 <ehirdiphone> *nyah
22:02:13 <dixon> Math can be beautiful.
22:02:15 <Quadrescence> ehirdiphone: actually we are talking about some computer science
22:02:15 -!- jcp has quit (Read error: Connection reset by peer).
22:02:28 <dixon> It's even more beautiful when typeset properly.
22:02:49 <ehirdiphone> Quadrescence: oerjan is no CSer you whore
22:02:57 <Quadrescence> tru
22:02:57 <ehirdiphone> :|
22:03:12 <Quadrescence> i was kidding anyway since CS is a subset of math
22:03:33 <dixon> subfield, it retains its arithmetic and is closed under... I'm kidding.
22:03:38 <ehirdiphone> yeah :P
22:03:42 <Quadrescence> also oklopol http://www.file-pasta.com/file/0/funktio_rec.pdf
22:04:07 <ehirdiphone> closed under actual physical COMPUTERS OMG
22:04:32 <oklopol> much prettier
22:05:15 -!- ehirdiphone has quit (Quit: Get Colloquy for iPhone! http://mobile.colloquy.info).
22:05:38 -!- ehirdiphone has joined.
22:06:18 <oklopol> my dream is to become such a great mathematician my papers will be published in journals even though i mandate they be printed in monospace.
22:06:45 <oklopol> well actually my dream is to ever get anything published anywhere, but anyway
22:07:18 -!- charlls has joined.
22:07:26 <ehirdiphone> submit it to Annals of Mathematics then Rejecta Mathematica
22:07:31 <ehirdiphone> infallible
22:07:41 <dixon> Keep your Masterpieces in a Personal Journal.
22:07:48 <Quadrescence> dixon++++++++++++++++++++++++
22:07:56 <ehirdiphone> dixon: you are zeilberger
22:08:00 <pikhq> oklopol: What about if you demand that they be in monospace with *unrendered* TeX?
22:08:01 <dixon> Yeah, so?
22:08:03 <ehirdiphone> this explains EVERYTHING
22:08:12 <oklopol> :D
22:08:27 <dixon> o
22:08:28 <oklopol> actually i'm fine with math notation
22:08:43 <oklopol> well most of it
22:08:46 <dixon> Me too.
22:09:00 <dixon> Except pochhammer.
22:09:09 <Quadrescence> pochhammer l o l
22:09:16 <ehirdiphone> I like it apart from the inconsistent/ambiguous bits
22:09:20 <ehirdiphone> ...wwwwait
22:11:55 <dixon> And there's some abuse of notation with matrices and unit vectors too, but nothing too bad.
22:12:37 <ehirdiphone> |x| is crappy but most of the rest is fine
22:12:58 <ehirdiphone> (1 massively ambiguous 2 starter = terminator)
22:13:05 <dixon> |x| is amazing
22:13:10 <Quadrescence> |x| is wonderful
22:13:18 <ehirdiphone> lol.
22:13:22 <dixon> ||x|| is slightly annoying
22:13:40 <dixon> Not so much when typeset, but in IRC, etc.
22:13:52 <ehirdiphone> ||x||, for all those negative cardinalities
22:14:06 <Quadrescence> wat
22:14:11 <dixon> wat
22:14:16 <ehirdiphone> Precisely!
22:14:26 <AnMaster> fungot, hi there
22:14:27 <fungot> AnMaster: c-h b c-x o c-s eval c-s etc. automatically translating scheme to human language
22:14:36 <AnMaster> <Gregor> AnMaster: You've inspired me to actually try to learn to /play/ something by Chopin properly :P <-- hahah
22:14:40 <ehirdiphone> :D
22:14:51 <AnMaster> ^style
22:14:51 <fungot> Available: agora alice c64 ct darwin discworld europarl ff7 fisher ic irc* jargon lovecraft nethack pa speeches ss wp youtube
22:14:53 <oklopol> if x is a set and its cardinality is negative, you need ||
22:14:54 <AnMaster> aha
22:14:56 <oklopol> ||.||
22:15:03 <AnMaster> oklopol, how rude :P
22:15:11 <oklopol> what is?
22:15:16 <AnMaster> never mind :P
22:15:21 <oklopol> i will
22:15:34 <AnMaster> innuendo
22:15:35 <AnMaster> there
22:16:02 <ehirdiphone> ||.|| looks like very squashed breasts obvs
22:16:18 <AnMaster> ehirdiphone, goatse?
22:16:20 <Quadrescence> ehirdiphone has never seen boobs
22:16:29 <AnMaster> you don't have enough imagination
22:16:42 <ehirdiphone> Quadrescence has never seen ||.|| shaped breasts, ha!
22:16:47 <ehirdiphone> Crazy man!
22:16:49 <AnMaster> nor have I
22:16:56 <ehirdiphone> Or have you
22:17:00 <AnMaster> no
22:17:05 <pikhq> Coreutils... GNU coreutils...
22:17:07 <Quadrescence> ehirdiphone: you have never seen boobs
22:17:18 <pikhq> I have never before seen a 782 line "cat" program.
22:17:24 <AnMaster> Quadrescence, he knows how to use internet. I doubt he hasn't.
22:17:34 <ehirdiphone> Quadrescence: Stuck in a loop there
22:17:34 <Quadrescence> AnMaster: tru
22:17:40 <ehirdiphone> USE INTERNET
22:17:42 -!- hiato has quit (Quit: underflow).
22:18:03 <AnMaster> pikhq, I have! Last time coreutils cat was mentioned in here.
22:18:17 <pikhq> Hahah.
22:18:42 <AnMaster> pikhq, tell me
22:18:45 <AnMaster> pikhq, what does it do
22:18:54 <ehirdiphone> Cats are complex creatures.
22:19:04 <pikhq> Quadrescence: Hah.
22:19:10 <AnMaster> ehirdiphone, yes, what with all the quantum state you have to emulate
22:19:13 <pikhq> AnMaster: ... Significantly more than file concatentation.
22:19:14 <ehirdiphone> Quadrescence: 782 lines? you write really bad C
22:19:16 <AnMaster> in case someone puts it in a box
22:19:25 <oklopol> i have seen more boobs online than irl
22:19:32 <pikhq> It does rather a lot of manual buffering, as well.
22:19:32 <AnMaster> pikhq, you could try mmap()ing the file if possible
22:19:36 <ehirdiphone> oklopol: shicking
22:19:37 <oklopol> hope this isn't too much of a shock
22:19:39 <AnMaster> that should add some 20 lines at least
22:19:39 <ehirdiphone> Shocking
22:19:43 -!- iamtheobject has quit (Quit: Leaving.).
22:19:52 <dixon> oklopol: That's true of anyone. The difference being you have seen boobs IRL. The same cannot be said by ehird.
22:19:56 <Quadrescence> ehirdiphone: i am v bad at c
22:19:59 <AnMaster> ehirdiphone, "shicking"? XD
22:20:02 <pikhq> AnMaster: That would be saner than what this is doing.
22:20:12 <pikhq> Manual. Buffering.
22:20:12 <AnMaster> pikhq, then what *is* it doing
22:20:17 <AnMaster> what the hell
22:20:23 <AnMaster> *why*
22:20:27 <dixon> cat is so well written
22:20:31 <pikhq> "Because."
22:20:34 <Quadrescence> There's something called *portable C*
22:20:45 <AnMaster> but libc has buffering...
22:20:51 <ehirdiphone> dixon and Quadrescence are currently embracing one another discussing their next contrarian move
22:20:55 <pikhq> Quadrescence: And then there's something called "crazy".
22:21:01 <ehirdiphone> sweet, really
22:21:11 <Quadrescence> pikhq: Yes, and it happens this is just written in portable, robust C
22:21:16 <ehirdiphone> they're allergic to agreeing with anyone else
22:21:17 <Quadrescence> Something that is apparently foreign to you all
22:21:32 <AnMaster> I hope you are joking
22:21:37 <dixon> ehirdiphone: Careful, we may include sardonicism.
22:21:43 <AnMaster> also cat is afaik written for posix systems
22:21:50 <Quadrescence> Yes I am definitely joking because that would be a funny joke
22:22:07 <pikhq> Quadrescence: The point is that there are no C systems without buffered IO.
22:22:08 <AnMaster> yeah thought so
22:22:28 <AnMaster> pikhq, ds9k?
22:22:34 <Quadrescence> pikhq: actually, you're wrong
22:22:42 <pikhq> Fine, "almost no".
22:22:48 <Gregor> "Few"
22:22:49 <AnMaster> pikhq, correction: "no hosted"
22:22:50 <Quadrescence> Most of the standard library stuff is *optional*
22:22:51 <pikhq> Probably not any one with libc.
22:22:56 <dixon> The guys ate RedHat generally know what they're doing.
22:22:59 <AnMaster> Quadrescence, freestanding ones
22:23:00 <dixon> -e
22:23:01 <pikhq> Quadrescence: Buffered IO is K&R.
22:23:10 <Quadrescence> pikhq: K&R is not standard
22:23:23 <AnMaster> dixon, I don't think that is good for your digestion
22:23:29 <dixon> AnMaster: Me either :<
22:23:33 <pikhq> What I'm saying is that "dear God, it's a feature of C that is on any sane system and most insane ones."
22:23:34 <AnMaster> dixon, :/
22:24:06 <Gregor> So what's all this about maniacs thinking they're going to be using a C system where stdio is unbuffered?
22:24:07 <dixon> pikhq: And it was probably written at least 100 years ago.
22:24:10 <Quadrescence> pikhq: What I'm saying is that it's better to support insane systems to than not at all for a library that is supposed to be portable across systems
22:24:31 <pikhq> Oh, look. And this is using
22:24:44 <pikhq> *read* instead of any buffered IO.
22:24:51 <Gregor> I think that if you manage to find a system for which the C library does not have buffered stdio, that will be the LEAST of your problems.
22:25:06 <pikhq> Note that read is actually less portable than buffered IO.
22:25:07 <AnMaster> dixon, Yes it is well known Ada Lovelace wrote the first version of GNU cat!
22:25:09 <Gregor> The fact that it almost certainly won't have a filesystem, processes, or more than 256 bytes of memory are more significant.
22:25:28 <AnMaster> pikhq, wonderful
22:25:35 <AnMaster> pikhq, is it using write() or?
22:25:45 <Quadrescence> Gregor: A standard is made for a reason
22:25:47 <pikhq> AnMaster: read() and write().
22:25:53 <AnMaster> sigh
22:26:03 <pikhq> Which are common to all POSIX systems, sure, but are not standard C.
22:26:07 <Quadrescence> It's made to be followed, not made to be seen as a piece of paper and then users decide what is sane
22:26:28 <Deewiant> Of course a specific C function is less portable than a general implementation strategy ;-P
22:26:50 <pikhq> "read" is portable than the buffered IO primitives in ISO C.
22:27:04 <ehirdiphone> pikhq: ^less
22:27:12 <pikhq> ehirdiphone: Dankon.
22:27:36 <pikhq> So, all the manual buffering increases complexity and reduces portability.
22:27:50 <pikhq> That's fucking madness. Sheer fucking madness.
22:27:55 <AnMaster> pikhq, you forgot a word there
22:27:58 <AnMaster> "<pikhq> "read" is portable than the buffered IO primitives in ISO C."
22:28:02 <AnMaster> more or less?
22:28:05 <oklopol> portability is completely irrelevant
22:28:10 <Quadrescence> yeah true it is definitely fucking madness
22:28:19 <pikhq> AnMaster: less.
22:28:21 <Quadrescence> i'd write cat in like 30 lines lol
22:28:22 <AnMaster> right
22:28:27 <AnMaster> 30!?
22:28:31 <dixon> Yes.
22:28:32 <Deewiant> I'd write it in two
22:28:38 <Deewiant> (If in C)
22:28:41 <AnMaster> hah
22:28:42 <pikhq> oklopol: More complex, less portable, harder to read, less efficient.
22:28:44 <ehirdiphone> AnMaster: /msg
22:28:54 <Quadrescence> pikhq: go do some benchmarks
22:28:59 <Quadrescence> then tell me about efficiency
22:29:00 <Deewiant> pikhq: Less efficient?
22:29:10 <AnMaster> ehirdiphone, mhm
22:29:21 <pikhq> This buffering is also done stupidly.
22:30:20 <pikhq> Not that it *matters*, but damn.
22:30:45 <Quadrescence> seriously were the coders drunk or something?
22:30:59 <pikhq> Quadrescence: GNU.
22:31:04 <Deewiant> Ballmer peak
22:31:24 <dixon> pikhq: Patch it?
22:32:03 <AnMaster> I wonder if they would accept a patch for it
22:32:22 <ehirdiphone> No.
22:32:45 <dixon> Probably not.
22:32:47 <AnMaster> ehirdiphone, you are probably correct
22:33:06 <Quadrescence> Nah the implementation is so shitty why wouldn't any sane person accept a patch
22:33:20 <ehirdiphone> brb
22:33:23 <dixon> If you made a funny webcomic about it though, they might.
22:33:26 <ehirdiphone> read /msg people
22:33:29 <dixon> Worked for XKCD.
22:33:38 <Quadrescence> terrible buffering technique
22:33:40 <Quadrescence> 700 lines
22:33:59 <Quadrescence> not portable
22:34:00 <Quadrescence> inefficient
22:34:16 <fax> oh my god shut up
22:34:41 <pikhq> main(){while(!feof(stdin))putchar(getchar());}
22:34:42 <oklopol> :D
22:34:42 <pikhq> Done
22:34:43 <dixon> Quadrescence: http://codepad.org/yG9ubkE2 obv we should've switched to BSD
22:34:58 <dixon> pikhq: That's not standard C.
22:34:59 <oklopol> fax: aren't you interested in portability and buffering?
22:35:12 <Deewiant> pikhq: You may get an error that isn't EOF
22:35:22 <fax> I am only interested in telling people to shut up
22:35:24 <pikhq> Deewiant: Meh.
22:35:25 <pikhq> :P
22:35:34 <oklopol> oh
22:35:43 <Deewiant> Mine'd've been {int c; while((c = getchar()) != EOF) putchar(c);}
22:35:54 <oklopol> if you want your code to be correct, you don't use C
22:36:03 <Quadrescence> dixon: that is 250 lines that is terrible inefficient etc
22:36:11 <dixon> Both aren't standard C.
22:36:38 <Deewiant> What's nonstandard?
22:36:56 <dixon> main() is assumed int and must return a value.
22:37:03 <fax> nonstandard C can do computation with infintesimals
22:37:11 <Deewiant> Mine was just a compound statement, not the whole thing
22:37:15 <oklopol> heh
22:37:41 <dixon> Deewiant: But it was in { } which was assumed to be main.
22:37:47 <Deewiant> Yes
22:37:50 <Deewiant> In standard C99 you don't have to explicitly return a value
22:38:07 <Quadrescence> main must return
22:38:12 <oklopol> both aren't standard C, but one is!
22:38:13 <Deewiant> Not in C99.
22:38:16 <oklopol> hahahahaha
22:38:42 <dixon> Yes you do.
22:38:49 <Deewiant> No, you don't.
22:38:58 <fizzie> while(!feof(stdin)) putchar(getchar()); also has the problem that feof(stdin) returns true only after getchar() has actually returned EOF once, so you get an extra character at the end.
22:39:01 <oklopol> if only there were specs where you could check this stuff
22:39:07 <dixon> Further, the standard restricts main() to main(void) and main(int argc, char **argv)
22:39:13 <pikhq> In C99, when control flow reaches the end of main, the return value is 0. This is an exception to the norm.
22:39:18 <Deewiant> (Really, I left out #include <stdio.h> and int main(void) and return 0; because I couldn't be bothered to type them out)
22:39:22 <dixon> Though main() is "acceptable"
22:39:25 <dixon> But not recommended
22:39:47 <dixon> :3
22:39:49 <pikhq> Anyways. How's about non-retarded arguments?
22:39:54 <fax> yeah
22:39:57 <fax> like your mom
22:39:58 <pikhq> Love me some non-retarded arguments.
22:40:05 <Quadrescence> like acne and boils
22:40:17 <dixon> like fax's fagoo
22:41:14 <oklopol> which do you think is better, O(n/\epsilon^2) or O(n^2/\epsilon)?
22:41:23 <Deewiant> (ISO/IEC 9899:TC2 "Program termination": "reaching the } that terminates the main function returns a value of 0.")
22:41:32 <oklopol> \epsilon is the parameter of the approximation, n is the size of input
22:41:47 <dixon> Deewiant: Yes, but still not recommended.
22:42:00 <pikhq> dixon: Yeah, shaddup.
22:42:01 <Deewiant> Your recommendations weren't under consideration. :-P
22:42:11 <Quadrescence> not his recommendation
22:42:29 <fax> I recommend you all STFU
22:42:35 <Quadrescence> tru
22:44:00 <Quadrescence> oh, that was in the technical corrigendum number 2, which is why dixon said otherwise, because it's not in the standard prior to that
22:44:25 <Quadrescence> pikhq: yeah, shaddup
22:44:30 <Quadrescence> brb ham
22:44:35 <dixon> OMG I WANT HAM
22:44:38 <pikhq> Quadrescence: We're in agreement, then.
22:45:24 <Deewiant> Quadrescence: It's not in the TC2 changes, I'm pretty sure it was there from the original 9899 onwards...
22:45:27 <fizzie> I don't want anyone to shut up, so more oil to the flames: the } thing is in the original ISO/IEC 9899:1999 standard, too.
22:45:42 <Deewiant> Yeah, it's not in the TC1 changes either.
22:46:46 <coppro> I don't think it's 1999-specific
22:47:08 <coppro> C++98 had it, and it's something that would only have been considered as a legacy feature
22:47:19 <dixon> It certainly wasn't in C89 or C90.
22:47:47 <dixon> And I don't know why they'd put it in TC2 if it was in the original draft.
22:48:44 <Deewiant> 9899:TC2 meant the original standard with TC up to 2 applied to it.
22:49:34 <coppro> I don't think so
22:49:34 <fizzie> I wonder if there's any version of "cat" that has special-case code to use sendfile(2) on systems that provide a suitable one. (I'm also not sure if any do; Linux's out_fd must be a socket, and I'm not sure it handles well the case where the amount of input bytes isn't known.)
22:50:26 <coppro> The corrigenda are individually referred to as ISO/IEC 9899/Cor.#:200#
22:50:36 <coppro> err
22:50:44 <coppro> ISO/IEC 9899:1999/Cor.#:200#
22:50:57 <coppro> I do not believe there is a term to indicated the consolidated Standard
22:51:22 <Deewiant> I do not care whether it was correct, I said it's what it meant and I know what I meant :-P
22:51:42 <Deewiant> "ISO/IEC 9899:TC2" was from the header of http://www.open-std.org/JTC1/SC22/wg14/www/docs/n1124.pdf
22:51:48 <fizzie> The WG14/N1124 draft pdf has... right.
22:52:00 <fizzie> Deewiant-ninjutsu is too fast.
22:52:08 <Deewiant> Quite.
22:52:17 <coppro> anyways
22:52:25 <dixon> Speaking of C99, does anyone know a compiler that implements the full standard?
22:52:43 <ehirdiphone> Cormac or something?
22:52:46 <ehirdiphone> Almost does it
22:52:48 <Deewiant> Sun Studio, supposedly.
22:52:52 <coppro> Sun's supposedly does
22:53:09 <coppro> the FDIS for ISO/IEC 14882:1998 included the text about implicitly returning 0 after main. This is not a feature that would have been considered except as a legacy feature from C, and due to the timing it could not have been a C99-only feature
22:53:15 <oklopol> supposedly sun does that
22:53:33 <ehirdiphone> SUN
22:53:38 <ehirdiphone> ... supposedly
22:54:19 <dixon> coppro: It was a compiler extension long before it became standard, but it was never standard.
22:54:25 <dixon> I fucking hate GNU compilers.
22:54:46 <coppro> dixon: like I said, I cannot imagine this feature being included in C++ unless it was standard in C prior
22:55:00 <pikhq> "before it became standard, but it was never standard"
22:55:11 <dixon> Yes.
22:55:25 <ehirdiphone> oh please guys, dixon is just changing his opinions according to ours
22:55:34 <ehirdiphone> First it was LOL GNU IS ROBUST
22:55:39 <pikhq> So, what you're saying is that it is not standard and that it was an extension before it was standard.
22:55:45 <ehirdiphone> Then LOL CRAZY CODE
22:55:47 <pikhq> You're an idiot, and /ignore.
22:55:56 <fax> woah wait are you saying dixon is trolling
22:55:57 <dixon> pikhq: To C89, yes.
22:56:04 <pikhq> fax: Nah, really?
22:56:09 <fax> woah woah that is a pretty strong statement
22:56:15 <ehirdiphone> fax: GOSH
22:56:37 <dixon> pikhq: You can't honestly think implicitly returning 0 was in the C89 standard.
22:56:40 <coppro> unfortunately, I cannot see a public list of DRs for C90
22:57:00 <coppro> btw, let us discuss C90, not C89
22:57:08 <ehirdiphone> Bet dixon doesn't even know there was a C94; well, almost.
22:58:39 <dixon> C89 and C90 are equivalent
22:59:08 -!- augur has quit (Ping timeout: 246 seconds).
22:59:53 <coppro> how do I generate numerals from 000-999 in bash?
23:00:07 <dixon> jot perhaps?
23:00:29 <ehirdiphone> coppro: seq
23:00:39 <coppro> thanks
23:00:56 <ehirdiphone> a nice command
23:02:27 -!- calamari has joined.
23:02:27 <oklopol> ehirdiphone: are you sure all your insults to dixon are justified?
23:02:36 <fax> lol
23:03:07 -!- Mibbigal has joined.
23:03:23 <Quadrescence> bak
23:03:54 * coppro wants a 'wgrep' command
23:04:00 <Quadrescence> also btw C89 is the best
23:04:01 -!- charlls has quit (Ping timeout: 264 seconds).
23:04:08 <Quadrescence> C99 is only good for crypto libs
23:04:10 <Quadrescence> but that's it
23:04:13 <Quadrescence> no exceptions
23:04:14 <ehirdiphone> coppro: w?
23:04:23 <dixon> fax: And I wasn't trolling. It's well-known that several compiler extensions were in place before and after the C89/90 standards were ratified. Allowing 'void main()' and 'implicitly returning 0' were part of those extensions. They're still enabled in the GNU compiler by default. Yes, C99 made this 'standard' behavior, but it's still not recommended. Your functions should always return a value if they're stated to.
23:04:25 <fizzie> But seq(1) is not POSIX! How can you suggest such a thing!
23:04:29 <pikhq> Quadrescence: Sorry, I like for(int i = ...)
23:04:34 <pikhq> fizzie: Nor's bash.
23:04:40 <Quadrescence> pikhq: I feel sorry for you too
23:04:54 <pikhq> int i = 0;for(...) is dumb.
23:05:02 <fizzie> pikhq: Yes, though bash was already given in the question.
23:05:07 <Quadrescence> int i; for (i = 0; ...) is not, however
23:05:20 <pikhq> Anyways. Imma go do something more intelligent than talk to you.
23:05:26 <Quadrescence> tru
23:05:32 <dixon> Like feign intelligence.
23:06:01 <dixon> The irony of him ignoring me because his misunderstood what I said is just precious.
23:06:01 <Quadrescence> Anyway, I am going to assume you've never written a compiler before and wouldn't understand why declaring variables at the start of a block is good, and also beneficial for those who maintain.
23:06:14 <dixon> he*
23:06:37 <oklopol> i don't understand it at all
23:06:45 <oklopol> hmm oh
23:07:08 <oklopol> well maybe i wouldn't understand it either
23:07:40 <oklopol> but i know for a fact maintainability is really uninteresting
23:07:52 <Quadrescence> tru
23:08:20 <oklopol> if you wanna write big programs, you're just fucking stupid imo
23:08:27 -!- coppro has quit (Ping timeout: 260 seconds).
23:08:35 <oklopol> why not write small ones and not write big ones
23:08:37 <fizzie> The maintainability thing is also debatable; a for loop index variable isn't that much more unclear, no matter whether it's defined where the loop start or at the beginning of some arbitrary block where the loop happens to be in.
23:08:57 <fax> ummm
23:09:19 <Quadrescence> fizzie: suppose you are changing variables from int to long in order to use arrays larger than 4GB
23:09:28 <Quadrescence> But god damnit you can't seem to find that bug in your program
23:09:33 <fax> programming language trolls handbook, page 12, section 3: "maintainability is a good one to use because if anyone disagrees you can just tell them they haven't worked on any REAL programs"
23:09:48 <Quadrescence> fax has never written in C, btw
23:09:57 <dixon> fizzie: You haven't worked on any REAL programs.
23:09:59 <calamari> that's funny...
23:10:09 <Quadrescence> also fax forgot an apostrophe in "trolls"
23:10:13 <fizzie> Quadrescence: Shouldn't you be using size_t to begin with?-) (There's a huge mess of a thread in comp.lang.c unmoderated about that.)
23:10:19 <Quadrescence> fizzie: no
23:10:27 <calamari> I work on a "real" program, in development since 1977.. and it is the biggest pipe of shit code I've ever seen
23:10:36 <calamari> **pile
23:10:39 <dixon> Why would you use size_t for loop indexes? It can be negative.
23:10:47 <dixon> unsigned int all the way, baby.
23:10:54 <fizzie> size_t is unsigned, you know.
23:10:57 <fizzie> ssize_t is signed.
23:11:02 -!- coppro has joined.
23:11:12 <Quadrescence> And noone argue with me saying my situation is impractical because it indeed is!
23:11:55 <ehirdiphone> fizzie: See /msh
23:12:01 <ehirdiphone> /msg
23:12:55 <dixon> fizzie: Can't you just play along? This is all part of an elaborate plot to annoy the hell out of ehirdiphone.
23:13:07 <calamari> however, having said that.. the program works well.. but you just have to be a little flexible and not assume a single programming style throughout
23:13:29 <ehirdiphone> dixon: I'm not annoyed.
23:13:35 <fax> the biggest problem with programs like that is idiots that can't be flexible
23:13:46 <dixon> ehirdiphone: tru
23:13:50 <Quadrescence> (fax has never written a program before)
23:13:56 <fax> they spend years trying to save themselves from getting into fights by making up 'guidlines' and stuff
23:14:20 <dixon> (fax has never followed a guideline before)
23:14:59 <calamari> guidelines change.. so I don't see how that helps long term
23:15:13 <Quadrescence> calamari: really?
23:15:29 <Quadrescence> Well, guidelines never work out in the open source world where there are no dictators
23:15:35 <dixon> calamari: You have to be like the ISO people and have your guidelines change once a decade or so.
23:15:44 <calamari> yes.. short term it helps but long term you're still going to have a mess
23:16:10 <dixon> Then it all kinda smooths out, because only one compiler (Sun, apparently) fully supports your changes 11 years after you make them.
23:16:21 <Quadrescence> hahaha
23:17:02 <ehirdiphone> fizzie: ping
23:17:12 <dixon> But if you find yourself unstandardized, then you get the mess of incompatibility that is D, Python, Java, etc.
23:17:18 <Quadrescence> hahahahahahhahahaha i found a video of fax on youtube
23:17:20 <ehirdiphone> ^echo hi fizzie
23:17:21 <fungot> hi fizzie hi fizzie
23:17:46 <Quadrescence> http://www.youtube.com/watch?v=jeK1g2L1C6o
23:18:00 -!- ehirdiphone has quit (Quit: Get Colloquy for iPhone! http://mobile.colloquy.info).
23:18:41 -!- ehirdiphone has joined.
23:18:53 <dixon> I wonder how they talked their mom into doing this.
23:19:15 -!- augur has joined.
23:19:30 <fax> shut up augur
23:19:40 <augur> :(
23:19:47 <dixon> Someone fax hates more than me? Pleasure to meet you.
23:19:48 <augur> fax = pthug? :(
23:20:08 -!- tombom has quit (Quit: Leaving).
23:20:38 <dixon> Nevermind, sad face and lack of retort means he's a pussy.
23:20:42 <Quadrescence> dixon: oblique raises [in the] neuromuscular junction
23:21:00 <dixon> Quadrescence: Bicept Lift Ankle Krossover
23:21:11 <Quadrescence> That's Krossover with a K
23:21:14 <dixon> :3
23:21:30 * Sgeo_ tries to again focus on Brainfuck
23:21:47 <ehirdiphone> I'm amazed what bad trolls you are.
23:21:50 <oklopol> Quadrescence: sexy
23:21:55 <oklopol> i took my pants of
23:21:56 <oklopol> *off
23:22:06 <Quadrescence> oklopol: me too
23:22:17 <ehirdiphone> Do you think we would have talked to you if we had anything interesting to discuss?
23:22:33 <augur> oklopol: :o
23:22:35 <fizzie> oklopol: Aw, I was hoping that to be some sort of "pants of X" special-pants thing.
23:22:43 * augur lays on oklopol
23:22:49 <Quadrescence> oklopol: this is also worth seeing: http://www.youtube.com/watch?v=4MjTb5A68VA&feature=channel
23:22:53 <ehirdiphone> fizzie: hi
23:22:54 * Quadrescence gets augur off
23:22:57 <Quadrescence> f u
23:23:00 <augur> nooo
23:23:03 <augur> oklopol is MINE >O
23:23:06 <augur> ehirdiphone: hey
23:23:19 <augur> Quadrescence: maybe. if you're nice.
23:23:25 <Quadrescence> um but augur you are mine therefore by the law of transitivity...................................................
23:23:35 -!- MigoMipo has quit (Read error: Connection reset by peer).
23:23:35 <augur> since when am i yours >|
23:23:48 <augur> also, possession is not a transitive relation.
23:23:58 <augur> infact, it's antitransitive
23:24:00 <Quadrescence> uh since I beat some sense into you about rewrite rules
23:24:09 <augur> YOU? hah!
23:24:20 <augur> you're the one who was all like "yeah ok i see your point ill take that into consideration"
23:24:44 <oklopol> "ehirdiphone: Do you think we would have talked to you if we had anything interesting to discuss?" <<< what do you mean?
23:24:49 <Quadrescence> Well yeah I had to be respectful since last time I was not respectful fax got super pissed and began to talk shit about me
23:25:01 <oklopol> are there older women in that vid too?
23:25:57 <oklopol> ah younger women and pencils with faces. you know what i like man
23:26:24 <Gregor> wtfbbq
23:27:54 <oklopol> pedopen's signature of approval
23:28:57 <dixon> http://image.fpsbanana.com/ico/sprays/pedobear4dzsmalll.jpg
23:31:02 -!- Mibbigal has changed nick to mibygl.
23:31:39 <dixon> Anyone have a suggestion for a good high-school level algebra book?
23:31:55 <oklopol> my suggestion is no one learns high school level algebra
23:32:17 <dixon> Who's the author?
23:32:34 <oklopol> everyone is their own author in that one
23:32:44 <oklopol> no wait
23:32:57 <oklopol> maybe more like no one.
23:33:36 -!- FireFly has quit (Quit: JO).
23:33:50 -!- Quadrescence has quit (Ping timeout: 245 seconds).
23:34:00 -!- oerjan has joined.
23:34:30 -!- Quadrescence has joined.
23:35:38 <Quadrescence> hay guise
23:35:39 <dixon> Welcome back, Quadrescence.
23:35:50 <dixon> We missed you.
23:36:06 <Quadrescence> Thanks
23:36:17 <oklopol> don't worry oerjan we noticed you too
23:37:23 <oerjan> argh!
23:37:29 * oerjan tries to be invisible
23:37:52 <oerjan> it says i have the +i flag, why isn't it working?
23:40:54 <oerjan> no, i am not ashamed to be mentioned in the haskell report. although the reasons _are_ trivial corrections.
23:41:06 * oerjan skips the rest of the logs
23:41:27 <Quadrescence> fax: ping
23:43:07 <dixon> oerjan: It's alright, we know The Truth(R)(TM)(C)
23:43:15 <oklopol> oerjan: you shouldn't, there was this fascinating conversation about all sorts of things
23:44:11 <dixon> Yes, it was wonderful. Especially the part about measure spaces, linear coding, and compiler extensions.
23:44:48 <oklopol> actually part of both conversations was about variables
23:45:16 <dixon> They're an important topic.
23:45:28 <fax> variables don't exist
23:46:13 <dixon> Your mood is a variable.
23:46:15 <oerjan> afk
23:53:42 <fizzie> I, uh. Do complain to me if you feel like what will follow is a miscarriage of justice or anything such. I don't promise I'll be awake very much longer, though; but then again, this is just an IRC channel, not the end of the world.
23:54:01 <fizzie> Also preliminary apologies if I mess up chanserv manipulatations somehow. It's amazing what I can mess up.
23:54:12 <Sgeo_> Hm. Besides dealing with consecutive + and -, and > and <, what optimizations can I easily make
23:54:31 <ehirdiphone> fizzie is so soft and sensitive
23:54:40 <Quadrescence> Sgeo_: printing using printf or equivalent, and not simple char in and char out
23:54:41 <Sgeo_> Obviously, two loops means the second can be discarded
23:55:10 <Sgeo_> Quadrescence, I'm talking about manipulating the BF at this point, not the interpreter
23:55:23 <Quadrescence> idgi
23:55:51 <Sgeo_> optimize :: [BFCmd] -> [BFCmd]
23:56:01 -!- ChanServ has set channel mode: +o fizzie.
23:56:16 <ehirdiphone> fizzie: Chanserv is hard. Let's go shopping!
23:56:27 <ehirdiphone> —and neutralised...
23:56:34 <fizzie> Yes, I don't really know why I bother with it anyway.
23:56:37 <ehirdiphone> the Lord Pilot.
23:56:37 <Quadrescence> ...why would dixon be kicked?
23:56:44 -!- dixon has joined.
23:56:44 -!- ChanServ has set channel mode: +b *!*@unaffiliated/reikon.
23:56:44 <pikhq> Quadrescence: ...
23:56:46 <ehirdiphone> fizzie: You missed one.
23:57:07 <Quadrescence> fizzie: ban me too plz
23:57:33 <fizzie> Quadrescence: I'm trying, I'm trying. It's not as easy as it looks like.
23:57:46 <Quadrescence> any day now
23:57:58 <fizzie> You have a very difficult nickname to spell.
23:58:03 <oklopol> :P
23:58:05 <Quadrescence> q u a d r e s c e n c e
23:58:18 <fizzie> I think I got it now.
23:58:23 -!- Quadrescence has joined.
23:58:24 -!- ChanServ has set channel mode: +b *!*@unaffiliated/quadrescence.
23:58:33 <fizzie> That "akick" thing is really brain-dead.
23:58:49 <fizzie> Why can't it just kickban people, instead of just adding them to some sort of mysterious list that is only checked at join-time.
23:59:06 <ehirdiphone> And nothing of value was lost.
23:59:11 <pikhq> Beats me.
23:59:13 <ehirdiphone> Thanks fizzie!
23:59:26 <ehirdiphone> Have you considered therapy for your op allergy? :D
23:59:40 <fizzie> Maybe there's some sort of topical cream I could use.
←2010-04-03 2010-04-04 2010-04-05→ ↑2010 ↑all