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