←2012-07-31 2012-08-01 2012-08-02→ ↑2012 ↑all
00:00:04 <itidus21> the hickies made up for it though
00:00:15 <Phantom_Hoover> I looked back and I see itidus21 talking about raspberry fart noises.
00:00:25 <oklopol> made up for what and in what sense_
00:00:26 <oklopol> ?
00:00:34 <itidus21> for how horrible everything else was
00:00:51 <oklopol> Phantom_Hoover: during sex with the 12 yo sister of his friend who he has threesomes with.
00:01:18 <oklopol> itidus21: did everyone think you were cool?
00:01:23 <Phantom_Hoover> ok which words are true there
00:01:25 <Phantom_Hoover> this is important
00:01:36 <oklopol> Phantom_Hoover: sister of his friend
00:01:47 <oklopol> last one i dunno, might be a different friend.
00:02:06 <Phantom_Hoover> Don't scare me like that.
00:02:25 -!- pikhq has joined.
00:02:29 <oklopol> hey i'm still all like wow itidus21 is not a virgin
00:02:44 <kmc> i'm just waiting for zzo to chime in
00:02:50 <itidus21> lol
00:03:05 <oklopol> i mean why does he keep complaining, he has achieved all the meaningful goals in human existence.
00:03:19 <Phantom_Hoover> oklopol, what about climbing Mt. Everest?
00:03:22 <oklopol> oh right
00:03:30 <oklopol> well 50% is still good
00:03:40 <itidus21> what color condoms do you think are best?
00:03:53 <itidus21> do you prefer unprotected sex?
00:04:05 <oklopol> i prefer testing + regular partner
00:04:20 <itidus21> i was guessing what zzo might say
00:04:35 <kmc> heh
00:04:36 <itidus21> :-s
00:04:50 <oklopol> otherwise, transparent. but condoms are horrible deathtraps.
00:04:56 <kmc> how's that
00:05:03 <oklopol> i'm guessing what zzo would answer if this was an alternate universe where he has sex
00:05:21 <oklopol> kmc: they hurt like hell
00:05:23 <kmc> zzo would use some super obscure kind of birth control
00:05:32 <kmc> the gopher:// of birth control
00:05:40 -!- pikhq_ has quit (Ping timeout: 248 seconds).
00:05:48 <kmc> the first time i tried to use one i got it on inside out and it was super uncomfortable and awkward
00:05:51 <itidus21> have you been to santasporngirls.com?
00:06:07 <itidus21> what do you think about using the name santa in a porn website title?
00:06:34 <kmc> i think that there are so many websites like that
00:06:35 <oerjan> just the right thing for a very merry christmas
00:06:38 <kmc> they need to pick some odd names
00:06:42 <oklopol> well sex is about giving. wait let's drop this metaphor.
00:06:46 <mroman> santaporn?
00:06:48 <itidus21> again trying to guess what he might say
00:06:49 <oklopol> i realized who you give to.
00:06:55 <itidus21> but.. i don't mean any offence by it
00:06:57 <kmc> i'm pretty picky about condoms too, but i found a brand which fits well
00:07:03 <itidus21> all in the spirit of the chat
00:07:04 <Phantom_Hoover> itidus21, you've turned the topic of discussion to santaporn.
00:07:05 <Phantom_Hoover> Well done.
00:07:54 <oerjan> now meditate on the design of condoms using category theory
00:08:25 <itidus21> begin with a sheep's intestines
00:08:28 <oklopol> i've tried quite a few, but it gets boring to first hurt like hell for 10 minutes and then lose your erection.
00:08:43 <itidus21> right lads, we're onto something
00:09:44 <oklopol> we are
00:09:52 <oklopol> is that a surjectivity joke
00:10:07 <oerjan> an epic joke
00:10:11 <oklopol> yes
00:10:19 <Phantom_Hoover> Categorically the best.
00:10:56 <Phantom_Hoover> Although oerjan's pun works on a semantic as well as a syntactic basis so I can't really match that.
00:11:08 <oklopol> there must be a lot of puns with epic, no?
00:12:06 <oerjan> yeah they are universal
00:12:12 <oklopol> oerjan's was pretty incredible, but i assume it was not completely original as it is such perfection
00:12:26 <oklopol> :D
00:12:37 <oerjan> D: am i being accused of plagiarism
00:13:21 <itidus21> its better than being accused of being unfunny
00:13:30 <oklopol> suspected.
00:13:31 <oerjan> i guess.
00:13:36 <kmc> gotta sleep now
00:13:42 <kmc> good luck with all your various threesomes
00:13:59 <oklopol> thanks, we'll totally need that
00:15:30 <oklopol> in any case i'm sure it was the best use of epic ever
00:15:51 <oklopol> actually that's such a great exchange i'm going to write a play about it
00:16:26 <itidus21> so this is what happens when there isn't a topic
00:16:39 <oklopol> we might be onto something - epic story about surjectivity
00:16:45 <oklopol> *an
00:17:05 <oklopol> it's about a guy who has sex with his friend and his gf
00:17:19 <oklopol> and a guy who's really into puns and hates clicking
00:17:47 <oerjan> >_<
00:18:01 <oerjan> or was that <_>
00:18:05 <Phantom_Hoover> oklopol, where do I come in?
00:18:08 <oklopol> those are very different
00:18:23 <oerjan> Phantom_Hoover: you're the traumatized bystander
00:18:33 <itidus21> >_< means squinting eyes
00:18:34 <Phantom_Hoover> Oh is this what trauma feels like?
00:18:43 <Phantom_Hoover> BRB heading for the nearest firing range.
00:19:04 <oerjan> ...MAYBE not the best analogy.
00:19:16 <oklopol> >_< is a pretty aggressive smiley
00:19:25 <oklopol> <_> is like okay do whatever you want to me
00:19:54 <oerjan> okay
00:19:54 <itidus21> lmao
00:20:27 <itidus21> you shouldn't let him decide what words mean
00:20:44 <oerjan> smileys are not words
00:21:26 <itidus21> yeah..
00:23:20 <Phantom_Hoover> They're lexemes!
00:26:22 <oklopol> okay i'm going to sleep bye.
00:26:52 <oerjan> to sleep, perchance to scream
00:38:29 -!- Jafet has quit (Quit: Leaving.).
00:41:33 * oerjan realizes from wp frontpage that eastenders is still ongoing
00:42:33 <oerjan> i was younger than most of you when it started!
00:42:52 -!- kwertii has quit (Quit: kwertii).
00:46:55 <oerjan> and most of you weren't born.
00:46:55 <itidus21> your age relative to everyone in the universe pretty much remains constant
00:47:12 <oerjan> *younger than most of you are now
00:47:31 <itidus21> oh
01:26:53 -!- Nisstyre has quit (Read error: Connection reset by peer).
01:28:55 -!- Nisstyre has joined.
01:38:02 -!- oerjan has quit (Quit: leaving).
01:38:55 * Phantom_Hoover wonders why a Norwegian would learn of Eastenders when it launched.
01:39:23 <pikhq> *Really* good TV antenna? :P
01:41:42 <Phantom_Hoover> WTF, Mary Whitehouse got a CBE?
02:01:46 -!- Jafet has joined.
02:37:09 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds).
02:37:40 -!- david_werecat has quit (Ping timeout: 248 seconds).
02:46:49 -!- pikhq_ has joined.
02:49:56 -!- pikhq has quit (Ping timeout: 248 seconds).
02:58:59 <quintopia> !bfjoust space_hotel http://sprunge.us/hjjg
02:59:11 <EgoBot> ​Score for quintopia_space_hotel: 65.3
03:00:22 <quintopia> !bfjoust a <
03:00:25 <EgoBot> ​Score for quintopia_a: 0.0
03:01:09 -!- []{}\|-_`^ has quit (Read error: Operation timed out).
03:04:56 -!- []{}\|-_`^ has joined.
03:07:35 -!- tswett has quit (Ping timeout: 244 seconds).
03:09:25 -!- tswett has joined.
03:17:08 -!- pikhq has joined.
03:20:30 -!- pikhq_ has quit (Ping timeout: 264 seconds).
03:43:54 -!- kwertii has joined.
03:43:55 -!- kwertii has quit (Changing host).
03:43:55 -!- kwertii has joined.
04:07:54 <Sgeo__> Awesome. Telepathy and some darts helped me catch a and kill a monkey
04:12:06 -!- copumpkin has quit (Ping timeout: 252 seconds).
04:12:39 <Sgeo__> All the rings can either be good or bad?
04:12:44 -!- copumpkin has joined.
04:13:44 -!- MoALTz has joined.
04:13:45 <Sgeo__> Hmm, that might be an oversimplification, the thingy by staff of healing is red, but I assume it could be used on yourself to good effect?
04:14:46 -!- augur has joined.
04:16:20 -!- Jafet has quit (Ping timeout: 248 seconds).
04:16:52 -!- Jafet has joined.
04:27:09 <Sgeo__> Killed by a goblin on level 3.
04:28:21 <Sgeo__> Wondering if I should upload the recording somewhere
04:30:19 <Sgeo__> Ok, recordings are cool
04:31:20 <Sgeo__> There's no way to rewind a recording?
04:31:43 <Sgeo__> Oh, there is, but not using keys to go back one at a time :/
04:32:01 <Sgeo__> Oh, you can, it's just not in the help
04:32:03 -!- MoALTz has quit (Ping timeout: 246 seconds).
04:43:09 -!- augur has quit (Ping timeout: 260 seconds).
05:08:36 -!- Jafet has quit (Ping timeout: 248 seconds).
05:11:32 -!- Jafet has joined.
05:15:53 -!- monqy has joined.
05:31:17 -!- Jafet has quit (Ping timeout: 240 seconds).
05:46:48 -!- Jafet has joined.
05:53:44 -!- Sgeo__ has quit (Read error: Connection reset by peer).
05:56:56 -!- Sgeo has joined.
05:59:08 <Sgeo> lol
05:59:08 <lambdabot> Sgeo: You have 1 new message. '/msg lambdabot @messages' to read it.
05:59:12 <Sgeo> I was playing back a recording
05:59:29 <Sgeo> pressed left arrow
05:59:33 <Sgeo> "You ascend."
05:59:39 <Sgeo> "Unrecognized event type in playback"
05:59:48 <Sgeo> "Playback is out of sync. The file is corrupted."
06:04:03 <quintopia> !bfjoust space_hotel http://sprunge.us/XHid
06:04:09 <EgoBot> ​Score for quintopia_space_hotel: 66.1
06:06:33 -!- Jafet has quit (Ping timeout: 246 seconds).
06:06:36 <quintopia> :\
06:08:44 -!- Jafet has joined.
06:23:01 <quintopia> !bfjoust space_hotel http://sprunge.us/BMSD
06:23:06 <EgoBot> ​Score for quintopia_space_hotel: 66.4
06:23:30 -!- TeruFSX has quit (Ping timeout: 264 seconds).
06:23:50 <quintopia> :'D
06:30:12 -!- tswett has quit (Ping timeout: 248 seconds).
06:34:57 <Sgeo> What does experience and leveling actually do in Brogue?
06:41:20 -!- kwertii has quit (Quit: kwertii).
06:51:33 -!- copumpkin has quit (Ping timeout: 250 seconds).
06:52:12 -!- copumpkin has joined.
06:55:25 -!- asiekierka has joined.
07:07:35 -!- epicmonkey has joined.
07:07:43 -!- tswett has joined.
07:35:48 -!- epicmonkey has quit (Ping timeout: 248 seconds).
07:52:50 -!- Sgeo has quit (Read error: Connection reset by peer).
07:53:22 -!- Sgeo has joined.
08:14:00 -!- azaq23 has left.
08:16:49 <itidus21> Treat corporations like people... and they start acting like people.
08:30:39 -!- pikhq_ has joined.
08:30:44 -!- pikhq has quit (Ping timeout: 248 seconds).
08:39:23 -!- epicmonkey has joined.
08:45:33 -!- nooga has joined.
08:52:55 -!- monqy has quit (Quit: hello).
09:59:33 -!- derdon has joined.
10:24:32 -!- ogrom has joined.
10:25:03 -!- pikhq has joined.
10:25:18 -!- pikhq_ has quit (Ping timeout: 264 seconds).
10:47:28 -!- david_werecat has joined.
10:58:14 -!- david_werecat has quit (Ping timeout: 260 seconds).
11:04:49 -!- monqy has joined.
11:07:19 <kallisti> I have a new goal.
11:07:28 <kallisti> create the most influential esolang in the world
11:07:32 <kallisti> but give it a horrible name
11:07:39 <kallisti> like: cervix
11:07:59 <kallisti> this is essentially what brainfuck is
11:08:04 <kallisti> but I want to take it to the next level.
11:10:16 <monqy> hi
11:42:51 -!- copumpkin has quit (Ping timeout: 246 seconds).
11:43:23 -!- copumpkin has joined.
12:01:39 -!- MoALTz has joined.
12:06:06 -!- Jafet has quit (Ping timeout: 264 seconds).
12:11:40 -!- boily has joined.
12:14:24 -!- Phantom_Hoover has joined.
12:35:20 -!- copumpkin has quit (Quit: Computer has gone to sleep.).
12:59:31 -!- copumpkin has joined.
13:23:26 -!- elliott has joined.
13:43:36 <itidus21> i'm delusional
13:45:11 <monqy> hi
13:45:13 <elliott> hi
13:45:13 <lambdabot> elliott: You have 1 new message. '/msg lambdabot @messages' to read it.
13:45:48 -!- itidus21 has changed nick to itidus20.
13:47:04 -!- itidus20 has changed nick to itidus21.
13:47:06 <itidus21> hi
13:47:07 <lambdabot> itidus21: You have 1 new message. '/msg lambdabot @messages' to read it.
13:50:59 -!- elliott has left ("Leaving").
14:08:01 <kmc> what's wrong with cervixes
14:08:02 -!- augur has joined.
14:12:37 <fizzie> Most of us wouldn't even be here if it weren't for cervices, presumably.
14:13:22 <kmc> very true
14:13:28 <boily> only "most"? what about the other people?
14:13:32 <kmc> but the same could be said for many other things which would make even worse esolang names
14:14:58 * Sgeo ponders automatic resource management in Tcl
14:15:25 <Sgeo> Current opinion about suckiest thing in Tcl: The lack of said resource management.
14:15:27 <fizzie> boily: Well, for example fungot here has had no direct involvement with one. (Though I suppose indirectly still.)
14:15:28 <fungot> fizzie: literature and fnord fnord
14:15:41 <fizzie> fungot: You're being very cogent there. Congratulations.
14:15:42 <fungot> fizzie: it is not the end of his life. he never willingly read or thought or talked about affairs of state.
14:15:43 <Sgeo> We should have moved on from the days of manual memory management.
14:19:08 -!- elliott has joined.
14:19:13 <elliott> hi
14:19:18 <monqy> wb
14:19:32 <elliott> monqy: i heard Sgeo was giving an impassioned speech & i wanted to be impassioned
14:19:43 <elliott> wanted and also want. my desires remain unchanging
14:20:52 <Sgeo> Anyways, I am mentally going over ideas on how to fix this, beyond the simplistic "make something that behaves like C#'s using", which really isn't helpful in all contexts, only some
14:23:38 <kmc> i'm drinking beer brand beer
14:23:40 <kmc> it's made by lidl
14:24:21 -!- augur has quit (Remote host closed the connection).
14:24:37 -!- augur has joined.
14:40:29 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds).
14:42:34 -!- elliott has left ("Leaving").
14:56:01 -!- augur has quit (Remote host closed the connection).
15:12:01 -!- rvchangue has left ("Leaving").
15:14:54 -!- variable has quit (Ping timeout: 260 seconds).
15:19:54 -!- epicmonkey has quit (Ping timeout: 264 seconds).
15:21:41 <itidus21> working on advanced super mario bros sprite sheet stuff and this freaking sprite sheet lied to me which i was trying to copy off..
15:25:59 -!- variable has joined.
15:25:59 -!- variable has quit (Changing host).
15:25:59 -!- variable has joined.
15:29:23 <mroman> :)
15:29:57 <mroman> You mean sprite sheets with hitboxes, collision boxes and such?
15:32:14 -!- Phantom_Hoover has joined.
15:34:34 <mroman> playing fighting games a little bit more than casual is freaking insane :)
15:43:05 -!- asiekierka has quit (Read error: Connection reset by peer).
15:44:59 -!- asiekierka has joined.
15:48:36 -!- augur has joined.
15:49:37 -!- asiekierka has quit (Ping timeout: 240 seconds).
16:14:06 -!- ogrom has quit (Ping timeout: 255 seconds).
16:16:50 <itidus21> mroman: nah.. i just mean sprite sheets as in a bitmap with multiple sprites presented together
16:22:18 -!- variable has quit (Ping timeout: 264 seconds).
16:49:26 <oklopol> is everyone hating on http://what-if.xkcd.com/ ?
16:50:02 -!- variable has joined.
17:05:46 -!- epicmonkey has joined.
17:09:20 -!- atrapado has joined.
17:25:35 <Gregor> oklopol: I don't hate it.
17:28:56 <oklopol> i found it very entertaining
17:29:07 <oklopol> or have been finding it entertaining so far at least
17:29:44 <mroman> what-if rocks.
17:29:58 <oklopol> why aren't gif animations called videos?
17:30:50 <oklopol> i don't understand the difference
17:33:29 <oklopol> i would understand gif video so that the reader knows it's probably a particularly sucky video
17:38:33 <itidus21> a video has more than one patent per compression scheme
17:39:09 <oklopol> that would be a pretty stupid definition though
17:39:21 <itidus21> in saying this i don't know if gif had multiple patents or not
17:39:33 <itidus21> but maybe
17:40:29 <Gregor> gif no longer has any standing patents.
17:40:47 <oklopol> Gregor: do you have a serious answer to my question?
17:41:01 <oklopol> this is very important, it has been bugging me for at least 5 minutes.
17:41:06 <oklopol> wait 10
17:41:21 <Gregor> “<Gregor> oklopol: I don't hate it.” is my answer.
17:41:43 -!- Gregor has changed nick to MeatyBelle.
17:41:48 <oklopol> to both questions_
17:41:50 <oklopol> ?
17:42:05 <MeatyBelle> What, gif?
17:42:08 <oklopol> yes
17:42:12 <itidus21> im tempted to find out the answer now
17:42:13 <MeatyBelle> Because at some point, somebody decreed that they were called videos.
17:42:14 <MeatyBelle> Erm
17:42:15 <MeatyBelle> *animations
17:42:20 <MeatyBelle> There's no logic to it.
17:42:36 <oklopol> but that's absurd.
17:42:43 <MeatyBelle> *waah*
17:42:59 <oklopol> i can't live in a world where occasionally, things don't make perfect sense but just kind of do.
17:43:27 <itidus21> theres probably a reasonable answer. but its too cold and late to find out
17:44:32 <oklopol>
17:45:07 <itidus21> so to recap, it's graphics interchange format, unlike the other formats which are not intended to be interchanged
17:45:43 <MeatyBelle> lol
17:46:02 <mroman> oklopol: Well, that's easy.
17:46:09 <mroman> JA means yes.
17:46:12 <mroman> GAS means gas.
17:46:40 <mroman> REH means deer
17:48:52 <pikhq> itidus21: There were multiple patents on the LZW compression algorithm.
17:49:04 <itidus21> well there goes that theory
17:49:39 <oklopol> does gif do any compression beyond compressing the individual images?
17:49:54 <fizzie> oklopol: The video frames need not be full-frame, that's a form of compression.
17:50:04 <kallisti> True love is like infinite mutual recursion. Unconditional.
17:50:14 <fizzie> oklopol: You can have a mostly empty frame that gets pasted on top of the previous.
17:50:19 * kallisti adds to list of corny things to say to future wife.
17:50:31 <MeatyBelle> s/future/imaginary/
17:50:33 <oklopol> isn't that also a big part of avi's compression
17:50:47 <itidus21> its also how games work!
17:50:48 <oklopol> + the fourier stuff i guess
17:50:53 <fizzie> oklopol: "AVI" is just a container, so that question doesn't have an answer.
17:50:55 <MeatyBelle> “avi's compression”
17:50:56 <MeatyBelle> X_X
17:51:01 <oklopol> umm right.
17:51:08 <oklopol> mpeg i guess
17:51:36 <fizzie> Anyway, "real" video formats do "that kinda thing" too. And stuff like motion compensation, so you can even keep things from moving objects.
17:54:48 <oklopol> right
17:54:53 <itidus21> what i have learned is that the most complex element of an image is the underlying 2d bitmap
17:55:12 <pikhq> oklopol: Which format? The Moving Picture Experts Group does lots of formats. :)
17:55:18 <itidus21> abstract bitmap patterns
17:55:24 <oklopol> by the underlying 2d bitmap of an image, do you mean the image?
17:55:32 <oklopol> pikhq: yeah fuck you :D
17:55:59 <itidus21> i don't know what i mean... i guess that in vector graphics you don't need a bitmap at all
17:56:30 <itidus21> eg.. a mechanical monitor could have a balloon device which fills with a certain amount of air to render a sphere
17:56:44 <itidus21> .. (what?) @_@
17:56:46 <MeatyBelle> MPEG-1 part 2, MPEG-2 part 2, MPEG-4 part 2, MPEG4 H.263, MPEG4 H.264 off the top of my head.
17:57:55 <oklopol> i'm referring to one of those or something else.
17:58:06 <oklopol> obviously.
17:58:06 <itidus21> by mechanical monitor i mean a more generalized attempt at creating an image by using material components
17:58:44 <itidus21> in other words a hollow tv without any glass perhaps with a man hiding behind the curtain
17:59:05 <itidus21> ..... im just gonna let that go
17:59:41 <oklopol> no no i think you're epic with something as your codomain.
18:02:06 <oklopol> i think for each in something there's something in you that has it as its image.
18:02:56 <oklopol> wait that's wrong, since you're the mapping
18:03:05 <fizzie> oklopol: MPEG frames may also depend not only on the previous frame, but the next frame too. (You have some completely individually compressed I-frames here and there; some P-frames that are stored as the diff from the previous (P- or I-)frame after applying motion vectors; and some B-frames which can use both the previous and next (P- or I-)frame as anchors.)
18:07:04 <oklopol> i think if you were a function on reals such that for each open interval I and point mapping to it there were both a left- and right-open interval around x which which mapped inside I then there would be a preimage for all primes which have 7 digits or more and their negations
18:09:29 <oklopol> why doesn't anyone ever join my math parties :(
18:10:04 <oklopol> i think you're all about surjectivity jokes when i'm not here but when i come it's like shhhhhh let's talk about kernels and shit hahaha
18:10:23 <oklopol> you're mean and i need to go to the shoppe to buy something to live about.
18:11:32 <fizzie> You, uh, know there are public logs that you could use to verify your conspiracy theory?
18:11:50 <oklopol> fizzie: i think i've read about those on an operating systems course.
18:11:53 <MeatyBelle> Unless they're part of the conspiracy.
18:13:08 <oklopol> i think you filter them by ip, when i was looking at them in russia i'm pretty sure i saw some surjectivity jokes, but magically there's none now.
18:15:27 <oklopol> what's the name of the concept in measure theory where you have a result that holds for almost all and you prove the same thing for all? i guess this is mostly for oerjan.
18:15:47 <itidus21> i merely realized i was wrong
18:16:02 <itidus21> and spun off in some mad direction
18:16:31 <oklopol> i don't think you were wrong
18:17:06 <oklopol> INSTEAD I THINK IF YOU WERE AN argh shoppe tyme
18:17:33 <itidus21> well something i'm only recently learning is that objects intended to be rendered can be described without any reference to pixels
18:19:39 -!- asiekierka has joined.
18:22:05 -!- ogrom has joined.
18:25:59 -!- ais523 has joined.
18:27:39 <soundnfury> umm, what on earth is oklopol on about?
18:28:31 <soundnfury> it'd be a lot more comprehensible if he used some notation
18:29:04 <oklopol> okay
18:29:46 <oklopol> so take X = S^Z where S is a finite set with the discrete topology, Z is the integers, and S^Z has the product topology
18:30:05 <oklopol> and let's assume itidus21 is a function from this space to itself with two properties
18:30:09 <oklopol> 1) it's continuous
18:30:13 <soundnfury> um, how can you have a product topology on a power set?
18:30:20 <soundnfury> oh wait I see
18:30:22 <oklopol> it's an infinite product
18:30:28 <soundnfury> the iterated-product topology, sure
18:31:38 <soundnfury> um, isn't that product topology also discrete?
18:31:53 <oklopol> whatever you like to call it, in any case the topology with base "the coordinates n_1, ..., n_k have the symbols s_1, ..., s_k \in S" is a base
18:32:02 <oklopol> it's not! in fact it is perfect
18:32:32 <oklopol> that is, for any point x in there you will find points arbitrarily close (in any open set U around x, you find a point other than x)
18:33:23 <oklopol> this is because an open set is a superset of some finite intersection V of sets of the base, and each such set V contains uncountably many points or none
18:33:36 <oklopol> because you only say something about finitely many coordinates
18:33:47 <oklopol> if x satisfies that, just change the tail however you like.
18:33:57 <oklopol> the right or left tail
18:34:33 <oklopol> 2) let \sigma be the left shift map, that is, \sigma(x)_i = x_{i + 1}
18:34:46 <oklopol> so the ith coordinate of \sigma(x) is the i+1th coordinate of x
18:35:02 <oklopol> then, itidus commutes with \sigma
18:35:40 <oklopol> now, this kind of spoils the fun, but then itidus is just a cellular automaton.
18:36:07 <oklopol> further, we assume that if you take two points x and y with the following properties
18:36:16 <oklopol> well property really
18:36:40 <oklopol> for sufficiently large |i|, we have x_i = y_i, but x != y
18:37:19 -!- atrapado has quit (Quit: Leaving).
18:37:28 <oklopol> we call such points asymptotic (they are "asymptotically" the same both left and right)
18:37:58 <oklopol> we assume that for such points x and y, itidus will map them to distinct points
18:38:01 -!- itidus21 has left ("Leaving").
18:38:07 <oklopol> erm
18:38:45 <oklopol> sorry, this last part, that if two points are asymptotic then they're mapped to distinct points, was not an assumption, i now realize that my point was only to claim that itidus is surjective
18:39:06 <oklopol> so i'm claiming that if itidus were a CA, then he would map two such points to distinct points.
18:39:17 <oklopol> because that's a characterization of surjectivity.
18:40:05 <oklopol> and because we defined the full shift (X) as "something" for the purpose of my claim, itidus is onto something.
18:40:17 <soundnfury> yeah, you know what?
18:40:30 <oklopol> well what?
18:40:36 <soundnfury> this kind of joke isn't funny.
18:41:45 <oklopol> sorry i forgot you were that music dude
18:41:45 <soundnfury> besides, no-one says "onto" these days, we're all Bourbakistes
18:42:10 <soundnfury> hey, I'm a mathmo, I find maths jokes funny
18:42:20 <soundnfury> but that was just too tortured
18:42:37 <oklopol> people don't say onto?
18:42:53 <soundnfury> well, not much
18:44:18 <soundnfury> now, a /funny/ onto/surjective joke would have been something much shorter, like "you have a right inverse with domain something"
18:44:40 <soundnfury> it's still a geeky maths pun, but it doesn't take much effort to get it
18:44:42 <oklopol> three out of five most recent arxiv entries use it
18:45:20 <soundnfury> oklopol: ok so actually I meant "I don't use it and I think it's shite and confusing"
18:45:35 <soundnfury> though it's really the equivalent terms for injective and bijective that are shite and confusing
18:45:51 <oklopol> those are shit, yes
18:46:05 <oklopol> one-to-one map and one-to-one correspondence
18:46:07 <soundnfury> when I hear "injective" I know exactly what it means. When I hear "one-one", fuck knows
18:46:07 <oklopol> yeeeah.
18:46:19 <oklopol> but onto is pretty handy imo.
18:46:40 <soundnfury> "onto" is easy to miss, though, because in natural language it means something else
18:47:08 <soundnfury> if it weren't specifically defined, "a function onto X" would just mean a function with codomain X
18:47:11 <oklopol> i disagree
18:47:41 <soundnfury> and hence it's possible not to notice that someone said their function was surjective
18:48:04 <oklopol> in theory, maybe
18:48:31 <oklopol> hasn't happened to me. and i make more reading errors than you can even imagine.
18:48:44 <oklopol> because onto means surjective
18:49:44 <soundnfury> Is English your native language? "Oklopol" sounds scandinavian, so I'm guessing not
18:50:27 <oklopol> "you have a right inverse with domain something" that's not funny, it isn't even a reference to a theorem
18:50:29 <soundnfury> that might be why you're able to learn technical vocabulary without problems when it conflicts with common usage
18:50:47 <soundnfury> why does it have to be a reference to a theorem?
18:50:53 <oklopol> otherwise it's trivial
18:51:03 <oklopol> a mathematical fart joke
18:51:11 <soundnfury> you know what? I've just stopped caring, because there's some more Olympics on
18:51:23 <soundnfury> ttfn
18:51:27 -!- Taneb has joined.
18:51:37 <Taneb> Hello!
18:52:13 -!- oerjan has joined.
18:52:32 <oklopol> yeah fuck you too
18:52:52 <oklopol> erm, to soundnfury, not to Taneb :D
18:53:09 <Taneb> :D
18:54:19 <soundnfury> lo Taneb
18:54:55 <oklopol> "soundnfury: that might be why you're able to learn technical vocabulary without problems when it conflicts with common usage" yes, that must be why the finnish version was also so easy to internalize. finns are just that much smarter i guess.
18:55:32 <soundnfury> is the finnish word for "onto" a bit longer, perhaps?
18:55:58 <oerjan> <oklopol> what's the name of the concept in measure theory where you have a result that holds for almost all and you prove the same thing for all? i guess this is mostly for oerjan.
18:56:02 <oerjan> no f idea
18:56:15 <oklopol> something about rigidity i think
18:56:17 <oklopol> okay
18:57:05 <oklopol> "<soundnfury> is the finnish word for "onto" a bit longer, perhaps?" it's the -lle suffix
18:57:42 <soundnfury> prepositions are suffices in finnish?
18:57:49 <oerjan> the finnish don't have a word for onto, they have a case, obviously. the suffix is -atukkontiappalaansiessut/-ätykköntiäppäläänsiessyt, depending on vowel harmony.
18:57:55 <soundnfury> (is it grammatical/morphological case?)
18:58:15 <soundnfury> oerjan: haha lol
18:58:38 <oerjan> pay no attention to oklopol's lying grammar
18:58:47 <soundnfury> what, if anything, does that suffix really mean?
18:58:55 <Taneb> Isn't Finnish the one with 20000+ verb forms?
18:58:56 <oklopol> yeah we have mostly cases. oerjan is confusing onto with the case for "having a beer with x in a bar after beating your wife".
18:59:39 <oklopol> soundnfury: -lle means onto something
19:00:08 <oklopol> well often you use just on when we use -lle, it's very common.
19:00:09 <soundnfury> no, I wanted to know what oerjan's atukkontiablablablallantysiliogogogoch meant
19:01:02 -!- ogrom has quit (Quit: Left).
19:01:03 <oerjan> i cannot prove it means anything, although no one can prove i am lying because i followed the vowel harmony rules
19:01:54 -!- epicmonkey has quit (Ping timeout: 264 seconds).
19:01:56 <oerjan> soundnfury: you may want to replace that y with u for the same reason.
19:01:59 <oklopol> also annoyingly enough that's very good pig finnish, i can't point anything impossible out.
19:02:28 <oerjan> *MWAHAHAHAHALAISET*
19:02:54 <oklopol> the citizens of evil laughter.
19:04:18 <oklopol> oerjan: wanna join me in creating great surjectivity comedy
19:04:42 <oerjan> i'm sorry i already have used up my epic quest quota
19:04:50 <oklopol> :(
19:06:59 <oerjan> * Phantom_Hoover wonders why a Norwegian would learn of Eastenders when it launched. <-- it is possible it took a few years to get broadcast here, although i doubt it was more than a couple
19:08:17 <oerjan> 1987, says http://no.wikipedia.org/wiki/%C3%98stkantfolk
19:09:39 <Taneb> "stkantfolk" sounds a lot more awesome than Eastenders.
19:09:55 <oklopol> it says it started broadcasting in finland after 206 seasons.
19:10:04 <Taneb> How's pronounced, again?
19:10:19 <oklopol> as an , obviously
19:10:25 <oerjan> lower front rounded
19:10:32 <oerjan> ipa is /ø/ iirc
19:11:05 <oklopol> basically the "a" in "a silly norwegian letter"
19:11:43 <oerjan> no:Østkantfolk ~ en:East side people
19:12:27 <oerjan> Østkanten is a concept in the norwegian capital Oslo, it's the poorer part with traditionally the industry
19:13:21 <oerjan> i believe this is the same in many cities around the world, because of prevalence of west-east winds and the fact rich people don't like to breathe smog.
19:13:44 <Taneb> Yeah, it's even the case in Hexham :(
19:13:51 <Taneb> (I'm in the east end
19:13:52 <Taneb> )
19:13:57 <oklopol> not in turku, we're too small to have sides
19:15:04 <Taneb> If Hexham can have sides, Turku can have sides
19:15:12 <oklopol> we're smaller
19:15:13 <oerjan> i recently saw a chart of amphetamine use in european cities, i remember the top 3 were Helsinki, Turku and Oslo
19:15:22 <oklopol> woohoo!
19:15:26 <oerjan> not quite sure of the order of the first two
19:15:41 <Taneb> Ahead of Amsterdam, Birmingham, and Glasgow?
19:15:43 <Taneb> Wow
19:16:27 <oerjan> oh this was a chart based on analyzing the sewers and dividing by population
19:17:16 <oerjan> it confused me a bit because the newspaper article then went on to say Oslo was top in Europe
19:17:32 <Taneb> Maybe they thought Finland was in South America?
19:17:37 <oerjan> most likely.
19:18:48 <oerjan> it is not entirely unlikely they didn't check every city
19:19:15 <oklopol> i know a girl 700 up north who's tried it, but i have never even heard of amphetamine use in turku outside statistics
19:19:19 <oklopol> 700 km
19:19:44 <oklopol> so how much is much exactly?
19:19:45 <oerjan> <itidus21> Treat corporations like people... and they start acting like people. <-- *psychopatic people hth
19:23:32 <Taneb> Psychopathic people who never return my christmas cards :(
19:24:55 <oerjan> <mroman> REH means deer <-- REH, a deer, a female deer, DOH, a drop of golden sun...
19:26:39 -!- elliott has joined.
19:26:47 <elliott> fizzie: Deewiant: What's a good C++ source reformatter?
19:26:53 <elliott> Indentation but also things like f( x ) vs. f(x).
19:26:56 <oerjan> i'm suddenly depicting someone getting _very_ confused during the translation of sound of music to/from german
19:27:54 <shachaf> f(\n\tx\n)
19:28:17 <elliott> kmc may also apply.
19:28:25 <elliott> By which I mean: reply.
19:28:41 <oklopol> surely you mean supply
19:31:23 <soundnfury> sed :P
19:34:23 <monqy> : )
19:35:09 * oerjan cannot find any german version of the song :(
19:35:25 <oerjan> i mean, don't the germans dub _everything_?
19:35:46 <oerjan> i guess they might not like the film over there, given the subject.
19:42:15 * oerjan wonders if other people really have as much inner monologue as in today's xkcd
19:43:10 <oerjan> while having conversations, especially
19:46:30 -!- elliott has quit (Ping timeout: 246 seconds).
19:53:29 -!- elliott has joined.
20:15:13 -!- adac has joined.
20:26:06 -!- asiekierka has quit (Quit: Wychodzi).
20:44:03 <Taneb> @ping
20:44:03 <lambdabot> pong
20:44:54 <Taneb> You took your time :(
20:46:16 <elliott> i apologise
20:46:32 <shachaf> helliott
20:47:11 <fizzie> Taneb: As seen from here: 23:44:03 <Taneb> @ping 23:44:03 <lambdabot> pong
20:48:03 <Taneb> The "You took your time :(" was addressed at the pipes between here and Freenode
20:48:14 <Taneb> Specifically, the pipe between my computer and my router
20:55:25 <oklopol> oerjan: do you?
20:56:19 <elliott> `welcome adac
20:56:30 <HackEgo> adac: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
20:56:43 <mroman> `welcome mroman
20:56:46 <HackEgo> mroman: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
20:56:59 <mroman> I needed that.
20:57:03 <adac> hi elliott :) yeah i was looking for esoterica I guess ;)
20:57:29 <mroman> The only channel named #esoteric where you can't buy books about weird religions.
20:58:19 <elliott> you can buy things on irc?
20:58:33 <mroman> Yeah, sure.
20:58:46 <Taneb> elliott, would you like to buy a copy of Now 76?
20:58:47 <mroman> Just give me your credit card number and the security code for online shopping.
20:59:08 <oerjan> oklopol: i don't think so, no.
20:59:29 <elliott> Taneb: yes
20:59:43 <Taneb> elliott, tough, because I don't own any I can sell you :(
20:59:49 <Taneb> mroman might
20:59:49 <elliott> im sobbing
20:59:58 <Taneb> Go badger mroman
21:00:19 <oerjan> but then i've been training to reduce my inner monologue. although i don't recall doing it during conversations before either.
21:01:04 <Taneb> I think I have an internal monologue
21:01:17 <Taneb> But conversations distract me so I don't hear it then?
21:01:29 <Taneb> But sometimes it gets so loud it comes out my mouth
21:02:28 <mroman> I can sell you MiniSAS-Cables.
21:04:33 <mroman> And why would I have Now 76
21:04:39 <mroman> I have a CD collection though
21:04:43 <mroman> but that's not my style of music.
21:07:54 <mroman> Train is still active?
21:08:32 <Sgeo> I should try writing a general using proc for Tcl
21:09:09 <Taneb> I got a train only two days ago
21:09:12 <mroman> Why are you use "the cacky language"?
21:09:19 <mroman> *ing-form
21:09:26 <mroman> Taneb: The band "Train".
21:10:02 -!- elliott has left ("Leaving").
21:10:04 <Sgeo> It's a language that seems to have the tools to make it into anything I want, but not enough in actual existence of decent stuff
21:10:13 <Sgeo> I think elliott left because of me :/
21:11:16 <mroman> You know... the "tell me did you sail across the sun did you make it to the milky way" kind of train
21:12:16 -!- pikhq_ has joined.
21:12:57 <mroman> Not to be confused with "I took the midnight train"
21:13:04 <mroman> Because taking the midnight train is a journey.
21:15:16 -!- pikhq has quit (Ping timeout: 255 seconds).
21:18:34 <Sgeo> Unlike many languages I look at, I actually wrote a program to do something useful in Tcl.
21:18:46 <Sgeo> Sadly, it's very riddled with global variables.
21:20:49 <kallisti> Sgeo: learn perl. you will have a similar experience
21:20:53 <kallisti> possibly with fewer global variables.
21:21:19 <mroman> Learn Burlesque
21:21:26 <mroman> It doesn't have variables.
21:22:05 <Taneb> I took a midnight train going anywhere
21:22:18 <Taneb> Do not cease to believe!
21:22:27 <mroman> So you're just a small town girl?
21:22:40 <mroman> or Just a city boy?
21:24:04 <Taneb> You're not half wrong
21:24:19 <oerjan> half not even wrong
21:28:57 <Taneb> Is it weird that when people misspell my first name it really annoys me, even though I don't care how they spell my surname that much?
21:30:32 -!- MoALTz has quit (Quit: Leaving).
21:30:42 <kallisti> my first name is Adam. No one misspells that ever. So I just have to pick something else to get mad at, such as misspelling my last name.
21:31:15 <Taneb> My first name is Nathan, which contains a schwa
21:31:26 <mroman> Schwa?
21:31:39 <kallisti> uhhh
21:31:49 <oerjan> thus it can only be spelled correctly in hebrew
21:31:52 <Taneb> mroman, short, lazy vowel sound
21:31:58 <Taneb> oerjan, where it is a verb :(
21:32:01 <coppro> ə
21:32:11 <Taneb> Nath'n
21:32:20 <mroman> So it's not pronounce englishly?
21:32:25 <Taneb> Oh, it is
21:32:36 <coppro> mroman: schwa is the name of the sound
21:32:37 <Taneb> It's actually the most common vowel in speech
21:32:47 <oerjan> this sathan guy is so sensitive to spelling
21:32:48 <mroman> I would pronounce it well
21:32:53 <mroman> neyfn
21:32:53 <coppro> it is denoted ə in linguistics, where every sound needs a distinct notation
21:32:53 -!- augur has quit (Remote host closed the connection).
21:33:01 <mroman> or neythn actually
21:33:21 <Taneb> My surname's obscure even in its native Netherlands
21:34:21 <oerjan> how is the supervillain of bad kerning coming up?
21:34:32 <Taneb> Poorly
21:34:59 <oerjan> yeah doctorates take time
21:34:59 <Taneb> My plan to be elected president is hindered due to the lack of republics I am native to
21:35:00 <coppro> I would pronounce Nathan as neɪðɪn
21:35:14 <Taneb> The doctorate is a long way off
21:35:17 <coppro> Taneb: you ended that sentence with a proposition
21:35:26 <Taneb> Don't get me STARTED with minions
21:35:29 <oerjan> Taneb: you'll just have to get that nice old lady to retire first
21:35:45 <oerjan> i hear she does some mean parachuting
21:36:00 <oklopol> don't get me excited like that, i thought Taneb was talking about his university studies :(
21:36:22 <oerjan> oklopol: oh but he _is_. supervillainy is an advanced subject.
21:36:59 <Taneb> oklopol, I'm beginning to apply for undergrad studies, in Maths and Computer Science.
21:37:21 <oklopol> oh you study supervillainy at university? i thought it was a vocational school kinda thing.
21:37:32 <oklopol> you are? that's awesome which uni
21:38:33 * oerjan locks coppro into a padded cell out of which he will not get
21:38:51 <coppro> yay!
21:39:11 <oerjan> sadly he still has internet access.
21:39:59 <oerjan> Taneb: i suggest starting with onions and building up from there.
21:41:25 <oerjan> maybe you could be a culinary supervillain.
21:42:01 <coppro> Taneb: cool
21:42:53 <oerjan> http://en.wikipedia.org/wiki/Chef#Titles doesn't show up anything really suitable, though
21:44:04 <MeatyBelle> The pants, the pants, I want them all!
21:44:33 <oerjan> argh he's progressed from the hats!
21:45:33 <mroman> I thought that was Gregor?
21:45:33 <oerjan> MeatyBelle: so i take it choosemypants.com is up next?
21:45:47 <mroman> or is he Gregor but disguised?
21:45:48 <Taneb> oklopol, trying for Oxford. Success is unlikely.
21:45:53 <oklopol> how so
21:46:32 <oerjan> invent a supergenius serum first.
21:46:51 <oklopol> i thought about oxford at some point, would've been cool to study in a university people konw.
21:46:53 <oklopol> know
21:47:04 <Taneb> Grade requirements
21:47:13 <oklopol> then i wouldn't have to have good publications, i could just tell people i come from oxford.
21:47:20 <MeatyBelle> oerjan: I've got choosemytie.com !
21:47:28 <oerjan> wow
21:47:58 <oklopol> what kind of grade requirements?
21:48:08 <oerjan> it seems a little under construction.
21:48:24 <coppro> Taneb: you should come across the pond!
21:48:43 <coppro> Taneb: you've got one more year of secondary school?
21:49:03 <oklopol> oerjan: why is it a wow
21:49:34 <oklopol> oh
21:49:36 <oklopol> tie!
21:49:38 <oklopol> not hat.
21:49:45 <oklopol> i was kinda wondering how you didn't know
21:49:46 <Taneb> coppro, yeah
21:49:51 <oerjan> hm how does Tenzo van Doom sound
21:49:54 <coppro> Taneb: what are your grades like?
21:50:22 <MeatyBelle> <oerjan> it seems a little under construction. // I have no intention of actually making it.
21:50:29 <Taneb> A* in maths, further maths, B-A in Latin, Ancient History
21:50:29 <oklopol> i had horrible grades in secondary school
21:50:55 <oklopol> A*?
21:51:02 <Taneb> A*.
21:51:06 <oklopol> what's that
21:51:08 <Taneb> The best grade imaginable!
21:51:33 <coppro> Taneb: you should definitely come here then :P
21:51:41 <coppro> I promise we teach real math
21:51:55 <oklopol> coppro: are you at oxford or what is come?
21:52:12 <Taneb> Yeah, British Government introduced it because too many people were getting A's, Universities and Employers were getting confuzzled
21:52:22 <oklopol> haha
21:52:31 <oklopol> did they know it's a search algorithm
21:52:32 <coppro> university of waterloo
21:52:41 <coppro> Taneb: ...
21:52:51 <coppro> Taneb: your government is brilliant at solving the actual problem
21:53:17 <MeatyBelle> oerjan: I was referring to http://solidcolorpants.com/ by the way, what with pants.
21:53:21 <oklopol> yeah, too many smart people.
21:53:31 <oklopol> they should teach worse instead.
21:53:39 <coppro> they should just grade harder
21:53:48 <coppro> odds are good the system has gotten easy over the years
21:53:52 <coppro> change the failing grade if you have to
21:54:04 <coppro> but the range of available grades should still be representative
21:58:11 <Taneb> Canada...
21:58:12 <Taneb> Hmm
21:58:13 <oklopol> my math average was at most B in secondary school, perhaps closer to C
21:59:01 <Taneb> I had to stop myself saying "eh" instead of "hmm". But the "eh" wasn't meant to be making fun of Canadians or playing on the stereotypes?
21:59:09 <Taneb> I'm sure it's a different eh
21:59:35 <oerjan> just a stray schwa, probably
21:59:47 <Taneb> Nah, this has more stress on it
21:59:54 <Taneb> Closer to an ay
22:01:25 <oklopol> i hear canadians are cool
22:01:37 <oerjan> deep frozen
22:01:58 <Taneb> I'm further north than every major Canadian city except Edmonton, I think
22:02:16 <oklopol> oh well it's useless then
22:03:16 <Taneb> But we get the warm weather from the gulf stream
22:04:42 <Taneb> coppro, what universities do you recommend I look at for Maths?
22:07:59 -!- augur has joined.
22:08:06 <oklopol> come to turku, we can work together :DASASD
22:08:27 <oklopol> why do i keep suggesting that, it's still not really possible.
22:10:29 -!- Taneb has quit (Quit: Leaving).
22:15:17 -!- stanley has joined.
22:31:51 <coppro> Taneb: In Canada? Simon Fraser, Toronto, and Waterloo of course
22:31:54 <coppro> (hint: Waterloo)
22:33:39 * oerjan visited the math department of waterloo in october 1995 or thereabouts
22:34:10 <oerjan> or wait, "fields institute"
22:35:13 <oerjan> hm it says it was relocated to toronto in the same year
22:35:21 <oerjan> s/it/wikipedia/
22:35:45 -!- copumpkin has quit (Quit: Computer has gone to sleep.).
22:36:02 <oerjan> maybe it was 1994 we went there
22:38:23 <oerjan> also waggie was at the compsci department there. although i doubt any agora players here have been long enough to remember him.
22:39:58 <oerjan> or maybe _that_ was the math department.
22:42:42 <oklopol> why were you there?
22:43:15 <oklopol> 1994 was roughly when i decided to become a programmer
22:43:46 <oklopol> although i will sleep nough.
22:52:10 <oerjan> there was a conference on C*-algebras and stuff
22:53:37 -!- copumpkin has joined.
23:18:39 -!- david_werecat has joined.
23:22:10 -!- itidus21 has joined.
23:23:44 -!- nooga has quit (Ping timeout: 260 seconds).
23:45:01 -!- epicmonkey has joined.
23:53:56 -!- adac has quit (Ping timeout: 248 seconds).
23:55:15 -!- derdon has quit (Remote host closed the connection).
←2012-07-31 2012-08-01 2012-08-02→ ↑2012 ↑all