00:00:08 I decided that |b@| was simply -|b|, since |ab|=|a||b|, unless someone has a counter-example? 00:00:09 well |a@| is obviously |a|*|@| 00:00:11 |@| = -1 00:00:14 so it's a * -1 00:00:32 but yeah it's a case of reducing |a+b|... 00:00:52 Has reducing |a+b| been done, or is it impossible? 00:01:19 I asked wolfram alpha for some inspiration but it wasn't very helpful 00:01:26 I think you'd just have to make shit up until all the properties work... 00:01:27 apart from |x| > 0 ofc :P 00:01:34 >= that is 00:01:46 what is?? 00:02:02 ? 00:03:14 Why is |a+bi| defined the way it is? 00:04:27 -!- oerjan has joined. 00:07:48 -!- alise has joined. 00:07:49 -!- AnMaster has quit (Ping timeout: 256 seconds). 00:08:01 wb alise 00:08:05 Sgeo, because we want |-| to be a "metric" 00:08:15 metric? 00:08:25 which means |a-b|+|b-c|>=|a-c| and |a-b|=0 <=> a=b 00:08:37 -!- AnMaster has joined. 00:08:46 oh and |a-b|=|b-a| 00:09:05 * Sgeo wonders how he can use that to define at least the properties of |a+b@| 00:09:13 why do we care about metrics? They make a topology 00:09:19 why do we care about topologies... I don't know yet 00:09:26 what's @ 00:09:53 @ is defined such that |@| = -1. Pseudomathematical curiousity that I seem to have interested alise in just now 00:10:15 [Or, probably less peusomathematically, |x| gains an exception in its definition] 00:10:47 -!- alise_ has quit (Ping timeout: 252 seconds). 00:14:15 |a-@| + |@-c| >= |a-c|. If a=0 and c=5, for instance, and this rule is upholdable, |@-5| >= 5 00:14:41 I'm not convinced that it's upholdable given the redefintion, however. 00:15:29 so |@| = -1 00:15:38 |@-1| >= 1 00:15:41 |@-2| >= 2 00:16:07 That seems... broken 00:16:18 |@| = -1, |@-1| = 1 (presumably) 00:16:24 |@-2| = 2 00:16:31 so there's a 0 missing there... 00:16:36 -!- nooga has joined. 00:16:38 -!- augur has joined. 00:17:43 If |@-1| = 1, |@-2| = 3, somehow makes more sense, but there's no evidence for that really 00:18:33 Not "sense", but it's nicely pattern-filling 00:19:20 This number is no number, it's more like a function :P 00:19:26 |a-b|+|b-c|>=|a-c| 00:19:30 lol 00:19:41 fax: /msg??? 00:21:32 a=@, b=0, c=1 |@-0| + |0-1| >= |@-1| <=> -1 + 1 >= |@-1| 00:21:53 I think we have a problem 00:23:36 well clearly |@-1| results in a number 00:23:45 ~@-1~ 00:23:58 which has these contradictory properties! 00:24:13 Maybe |a-b|+|b-c|>=|a-c| is simply broken 00:25:44 Maybe you are broken :| 00:26:18 Well, when |x|>=0 is suddenly violated, I'd expect anything that relies on that to be broken 00:26:30 fax: /msg :((((( 00:26:37 im not here right now 00:26:41 fax: yes you are 00:28:17 1 = 1 + 0 = 1 + 0*(-1) = 1 + (1+(-1))*(-1) = 1 + 1*(-1) + (-1)*(-1) = 1 + (-1) + (-1)*(-1) = 0 + (-1)*(-1) = (-1)*(-1) 00:29:15 oerjan 1 + 0*(-1) = 1 + (1+(-1))*(-1) ? 00:29:20 ho sorry I see it now 00:29:36 oerjan, that's so.. obvious, looking at it 00:29:43 heh 00:30:06 Hm, that means something major would have to break in order to make a system in which -1*-1=-1 00:30:13 yeah 00:30:17 Maybe 1-1 != 0 00:30:40 well 1-1 == 0 is pretty much the _definition_ of negation 00:31:24 in fact it's the only property of negation used above 00:31:40 (1+(-1) = 0) 00:31:55 1 - 1 = 1 + (-1) 00:32:05 axiom: x + (-x) = i, where i is additive identity 00:32:08 i = 0 00:32:12 x + (-x) = 0 00:32:15 1 + (-1) = 0 00:32:16 1 - 1 = 0 00:32:18 Q.E.D. 00:32:53 You also used a(b+c) = ab+ac 00:32:55 BRB 00:33:12 a-b is just an abbreviation for a+(-b) afaiac 00:33:46 Sgeo: yeah obviously, and several other properties, but none that involve negation 00:33:52 oerjan: yeah it is 00:34:00 and since a b = a*b, a-b = a*-b 00:34:04 therefore a+(-b) = a*-b 00:34:05 :D 00:34:07 back 00:34:08 Q.E.D! 00:34:18 * oerjan swats alise -----### 00:34:20 Which property is the easiest to break? 00:34:25 none of them 00:34:32 otherwise someone will have already done so and formalised everything with it 00:34:40 you have to sacrifice something major, that's why they are fundamental properties 00:36:20 What causes |a-b| + |b-c| >= |a-c| to break, exactly? 00:36:27 (Given |@|=-1 00:36:29 ) 00:36:48 nothing you just have to break other things to make it work :P 00:37:12 -!- FireFly has quit (Quit: http://www.qdb.us/60621). 00:37:30 How is that rule derived? That would be easiest to work with 00:38:09 a+0=a, 0*a = 0, a+(-a) = 0, (a+b)c = ac+bc, a+(b+c) = (a+b)+c, 1*a = a, 0+a = a 00:39:04 of those 0*a = 0 _might_ be derivable from something simpler, but the rest are really fundamental (you could drop one of the first and last by adding commutativity) 00:39:11 (a+b)c = ac+bc seems somewhat unintuitive. Maybe in the goal of -1*-1=-1, we can break it 00:39:27 heh in fact that means i'm _not_ using commutativity, not even of addition 00:40:36 Sgeo: the distributive law is pretty powerful yeah. but without it there isn't really any connection _between_ addition and multiplication to speak of. 00:40:42 You are educated stupid 00:41:02 Anyone want to email oerjan's proof to Gene Ray? 00:41:34 he denies the definitions duh 00:43:16 |@@| = |@||@| = 1; |a@+b@@| = |[a+b@]@| = -|a+b@| and this probably gets us nowhere 00:43:54 * Sgeo wonders what |1/@| is 00:44:24 |1/x| = 1/|x| 00:44:27 = 1/-1 00:44:39 = -1 00:44:48 |1/@| = -1 00:44:49 Can we be certain that that rule works given that |x|=-1 exists? 00:45:01 Unless you find a contradiction. 00:45:27 Sgeo: |a-b| + |b-c| >= |a-c| is equivalent to |x| + |y| >= |x+y| 00:45:43 btw 00:45:54 |@| + |n| >= |@+n| 00:45:57 earlier on I was using |z-w| as notation for d(z,w) 00:46:00 |@| + |1| >= |@+1| 00:46:08 |@+1| <= -1 + 1 00:46:11 |@+1| <= 0 00:46:12 d is just a function onto R(eal) 00:46:21 |@+1| = -2, perhaps? 00:46:26 you can prove that d(x,y) >= 0 00:46:31 I remember seeing |x|+|y| >= |x+y| before, and deciding that it was broken, I don't remember why 00:46:47 Sgeo, wormholes I guess 00:46:53 fax: plz respond in /msg :( 00:47:34 x=@, y=-@, |x| + |y| = |@| + |-@| = -2 >= |@+-@| = |2@| = -2 00:47:37 hm 00:47:56 erm, |@+-@| = |0| = 0 00:48:00 So yeah, contradiction 00:49:22 -!- BeholdMyGlory has quit (Remote host closed the connection). 00:52:02 CAN HAS SQL? 00:52:03 DBASE IZ GETDB('db/lcsn.db') 00:52:03 FUNNAHS IZ DBUCKET(&DBASE&,"CAN I PLZ GET * ALL UP IN lollit") 00:52:03 IM IN UR FUNNAHS ITZA TITLE 00:52:03 VOTEZ IZ &TITLE#ups& - &TITLE#downs& 00:52:04 http://imgur.com/noL0U 00:52:07 by what metric is lolcode esoteric again? 00:53:09 sgeo's metric above 00:53:14 It's deliberately strange. 00:53:25 I made a metric for esotericism? 00:54:00 you made a metric for *WHOOSH* 00:54:57 Hmm, @ such that |@| = -1. 00:55:30 You can define the absolute value of a number as the square root of the number times its complex conjugate. 00:55:37 |x| = sqrt(x*x') 00:56:46 Hm, was thinking of sqrt(x*x), but that doesn't work with non-reals. I think the above def. fixes that 00:57:31 well it _is_ the usual one for complex numbers 00:57:47 aka modulus 00:57:54 What's the complex conjugate for @? 00:58:01 And what's @*@? 00:58:32 If you define a complex number as a 2x2 matrix of real numbers, I'm pretty sure the absolute value is the square root of the determinant. 00:58:48 a+bi has complex conjugate a-bi 00:58:59 sqrt(a^2+b^2), of course. 00:59:13 |@| = sqrt(@*@) = @ is not what we want 00:59:22 So @' != @ 00:59:31 If sqrt(a^2+b^2) = -1, then a^2+b^2 is an imaginary number. 00:59:35 Assuming we're following that definition, which might not even be a useful one 01:00:00 @' is a unique number such that @*@' = -1^2 01:00:03 = -1 01:00:04 For simplicity, let's assume b = 0. Then a^2 is an imaginary number. 01:00:25 er wait 01:00:25 = 1 01:00:36 hmm now that is a bit of an issue 01:00:47 Why is it a bit of an issue? 01:01:00 @' = 1/@. 01:01:45 Lemme think, the numbers we're familiar with are of the form a + bi. These numbers could simply be a + bi + c@ + di@. 01:02:02 I wonder if this is a quaternion. 01:02:14 Rather, if this is the quaternions. 01:02:24 yes but 01:02:34 If there are usual rules for abs value for quaternions, then those are broken by this 01:02:38 @*@' = -1^2 (because sqrt(@*@')=-1) = 1 01:02:45 but sqrt(1) is actually 1 01:03:17 Heh, right. 01:03:31 We'll have to find a way to decide when sqrt(x) is sqrt(x) and when it's -sqrt(x) instead. 01:04:59 Can't you get a similar paradox without @? 01:05:11 Hey, I have heard something that might accomplish this. 01:06:00 Heard of, rather. 01:07:48 No, I haven't. 01:08:16 It just seems like absolute values are too fundamentally nonnegative. 01:08:57 don't be so nonnegative 01:09:22 oh! 01:09:32 minkowsky inner product! 01:09:33 If we don't find a way to solve this impossible problem, surely humanity will be destroyed! 01:09:40 That's precisely the thing I mentioned. 01:09:59 Or, well, something with the word Minkowski in it. 01:10:13 it has _imaginary_ absolute values, not negative ones, though 01:10:26 (from special relativity theory) 01:10:40 It has imaginary absolute values? 01:10:49 but their _square_ is negative though 01:10:53 This is not quite related, but for the usual 2x2 matrix representation of (a+bi), [a -b; b a], you do have |a+bi|^2 = det([a -b; b a]) = a^2+b^2... if you do a+b% as [a b; b a] you'd have a fancy number % for which |%| = i. (Since |%|^2 = det([0 1; 1 0]) = -1.) That sort of representation would seem to be sort-of closed under addition and multiplication. 01:11:15 uorygl: yes 01:11:52 basically a distance in time has a length that is an imaginary number times a distance in space 01:12:16 (for combinations of time/space, it depends on whether it's faster than light or not) 01:12:26 Hmm. Find a shape that's like a cone, except that one vertical cross section is a V and a perpendicular one is an upside-down V. 01:12:40 * uorygl ponders hyperconic sections. 01:12:56 Or whatever the heck those things are called. 01:13:48 Quadric sections. 01:14:17 hyperboloids? 01:14:28 That is a type of quadric section. 01:15:00 two opposed cones would be a degenerate instance of that 01:15:25 * Sgeo lost the conversation 01:15:26 oh wait that's not what you said 01:15:27 -!- nooga has quit (Ping timeout: 245 seconds). 01:15:34 There is no quadric section, not even a degenerate one, that's that I said. 01:15:52 uorygl: yours is like a degenerate saddle, more like? 01:16:01 Yes. 01:16:27 You know, I'm pretty sure there's only one sane shape that's like that. 01:17:12 Is there a way to define @ in terms of imaginary abs. values? 01:17:14 -!- nooga has joined. 01:17:16 you are sure there's at least one? 01:17:42 What makes a shape sane 01:17:45 ? 01:18:00 Take the absolute value, and then multiply it by the square of the sine of the argument. 01:18:09 s/sine/cosine/ 01:18:18 hm actually for timelike distances in minkovski space there _is_ a difference of direction, between forwards and backwards in time 01:18:22 Sgeo: sanity. 01:18:39 The absolute value is actually an insane function, by one formal definition. 01:18:43 * Sgeo is utterly lost 01:19:20 Sgeo: I'm guessing you understand all but one word of "take the absolute value, and then multiply it by the square of the sine of the argument". 01:19:49 BRB 01:21:28 hm a saddle surface is defined to be smooth on wikipedia, so wouldn't include your case, or would it? 01:22:03 no it cannot be smooth, since absolute values are cross sections 01:22:07 Any smooth function would make a silly absolute value. 01:22:25 Since it has a non-differentiable spot at zero. 01:23:03 And |(|x|)| should be |x|, not |x|^2. 01:23:28 What is the absolute value of (, anyway 01:23:47 Gregor: you forgot to close a parenthesis. 01:24:10 i'll close it here ) 01:24:39 I don't know what the absolute value of (, anyway i'll close it here) is. 01:24:48 JOKE MURDERED 01:24:55 I understand the words, but not the point 01:25:15 Sgeo: well, visualize that shape. 01:25:38 Can I just plot it on Wolfram? 01:25:54 Probably. 01:25:57 -!- ubunt63 has joined. 01:26:39 but does he _want_ such a tattoo? 01:27:07 I don't know whether Wolfram wants such a tattoo. 01:27:16 I guess even if he had it, we wouldn't be able to see it. 01:28:22 Sgeo: I'm guessing you understand all but one word of "take the absolute value, and then multiply it by the square of the sine of the argument". 01:28:27 which word doesn't he understand? 01:28:37 Sgeo: http://www.wolframalpha.com/input/?i=plot+abs%28x%2By*i%29*cos%5E2%28arg%28x%2By*i%29%29 01:28:38 hm why would you square it? 01:28:49 you'd want it negative sometimes 01:29:13 Trigonometry fail on my part. 01:29:23 Take the absolute value, and then multiply it by twice the cosine of the argument. 01:29:26 Er. 01:29:29 Idle speculation: do you get some sort of sensible structure from matrices of the form [a b; b a], with the usual matrix addition and multiplication? It won't be a field, since there's no multiplicative inverse if a=b there, but is it isomorphic to some other well-known thing? 01:29:34 Take the absolute value, and then multiply it by the cosine of twice the argument. 01:29:55 uorygl: neither works since they don't fulfil f(-x) = f(x) 01:30:17 This doesn't fulfill that? 01:30:26 didn't see your last one 01:30:34 Sgeo: http://www.wolframalpha.com/input/?i=plot+abs%28x%2By*i%29*cos%282*arg%28x%2By*i%29%29 01:30:39 my workbench is almost complete. all it needs is a work surface. :D 01:30:55 fizzie: I think there's a name for those. 01:31:07 win 12 01:31:14 arg? 01:31:23 fizzie: the split-complex numbers. 01:31:33 Sgeo: the argument function. It returns the angle of the Argand diagram. 01:31:43 It does the same sort of thing as the signum function. 01:31:44 * Sgeo mindboggles 01:31:57 So, in a sense, it's the angle of the complex number. 01:32:01 * Sgeo is completely clueless as to what Warrig.. oh 01:32:18 hm wait maybe i'm the one failing trigonometry here 01:32:29 The argument of 1 is 0, the argument of i is pi/2, the argument of -1 is pi, and so on. 01:32:31 * Sgeo will just stay lost 01:32:37 oerjan: but I also failed trigonometry. 01:33:30 fizzie: it's isomorphic to the ring of 2*2 matrices ;D 01:34:14 oh wait now i'm failing reading too 01:35:13 Yes, it seems they've called split-complex numbers indeed. 01:36:28 (And a huge pile of other names.) 01:37:19 It's fun to have both the complex numbers and the split-complex numbers. 01:37:31 You have both i and j such that i^2 = -1 and j^2 = 1. 01:37:49 Then ij = -ji. 01:37:57 Darn, we've lost commutativity. 01:40:08 also 01:40:09 oh man 01:40:21 my university has the most students presenting at ECO5 01:40:22 wtf 01:40:24 How does @ fit in with all of this 01:58:10 i have to go really soon... it's 1am i have to be up at 7 01:58:47 alise: bye ::hug:: 01:59:11 unless fax says anything interesting in /msg in the next minutes or so... 02:00:37 Bye alise :/ 02:02:02 anyone have anything else to say? 02:02:16 stay strong, young one! 02:02:27 <3, everyone. 02:02:33 * alise gets in TARDIS; destination: Friday. 02:02:51 * augur plays Dr Who theme 02:03:06 WHAAAAAAAROOOOOOOOOOOOOOOO 02:03:10 DAH DUHHHHHHHHHHHHHHHHHHHHHHHHHHHH 02:03:22 DAH DUH DUH DUH DUH DUH DUH (DUH DUH) DUH BAM BAM BAM BUM 02:03:27 WHUUUUUUUUUAAAAAAAAROOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOo 02:03:30 -!- alise has quit (Quit: Leaving). 02:04:01 *.* 02:05:25 hi augur 02:05:35 hey fax 02:05:37 soup? 02:06:28 me and alise were talking about finitism and ultrafinitism 02:06:45 its stupid k. 02:06:49 :( 02:07:36 also 02:07:38 TWO WEEKS O_O 02:07:56 hm? 02:08:01 yeah, figures. :| 02:08:08 Dr Who! 02:10:37 -!- ubunt63 has left (?). 02:10:45 "Doctor" 02:13:56 hush your face 02:39:58 i tried to go to sleep but i proved a theorem and had to come write it down :< 02:40:38 and now i can't sleep because my brain is all hyper 02:40:57 hahaha 02:40:59 awesome :) 02:41:04 * augur hugs oklopol 02:41:05 :D 02:41:22 \o/ 02:41:22 | 02:41:22 /< 02:41:26 grr 02:41:37 hahaha 02:41:40 myndzi :D 02:41:47 i missed you :) 02:41:57 myndzi or me?!? 02:42:00 \m/ \m/ 02:42:01 \o/ \o/ \o/ 02:42:08 D: 02:42:10 \OO/ 02:42:14 oklopol: myndzi. 02:42:16 \m/ \m/ 02:42:20 \^__^/ 02:42:23 bah 02:42:24 augur i knwo 02:42:25 tho i do love you totes. 02:42:25 *know 02:42:34 i had just forgotten myndzi's silliness 02:42:51 \m/ \m/ 02:42:51 `\o/´ 02:42:51 | 02:42:51 /´\ 02:42:51 (_| |_) 02:43:50 What just happened? 02:44:11 Myndzibot 02:44:16 Sgeo: the world ended. fortunately, they had a backup. 02:44:31 Sounds like Station V3 02:44:48 i tried reading that 02:45:11 but after a number of comics, i discovered i was bored 02:45:19 :( 02:46:42 myndzi is not a bot! 02:47:14 myndzi is a cyborg! 02:47:21 no but myndzi does RUN a bot 02:47:38 directly on er username 02:56:03 /b/ 03:00:23 uh oh lol 03:00:33 that one gets me in trouble sometimes! 03:02:45 not everybody lols. \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ 03:02:45 | | | | | | | | | | | | 03:02:45 /´\ /| /| /< >\ /`\ /< /< |\ >\ >\ |\ 03:03:00 -!- adu has joined. 03:05:27 myndzi: i like how his dick is waggling 03:05:50 \m/ \m/ 03:05:50 `\o/´ 03:05:51 | 03:05:51 (_|¯`¯|_) 03:05:52 hehe 03:05:57 wavin' in the breeze 03:06:00 That seems ..off 03:06:06 \m/\m/ 03:06:30 \f/ \f/ 03:06:32 \o/ \m/ \m/ \o/ \m/ \m/ \o/ \m/ \m/ \o/ \m/ \m/ \o/ \m/ \m/ \o/ \m/ \m/ \o/ \m/ \m/ \o/ \m/ \m/ \o/ \m/ \m/ \o/ 03:06:32 | `\o/´ | `\o/´ | `\o/´ | `\o/´ | `\o/´ | `\o/´ | `\o/´ | `\o/´ | `\o/´ | 03:06:32 /< | /| | |\ | |\ | /| | /| | /< | |\ | /| | /| 03:06:32 /´\ (_|¯`\ /´\ /`¯|_) /`\ (_|¯'¯|_) /`\ (_|¯'\ /´\ 03:06:32 (_| |_) |_) (_| |_) (_| (_| |_) (_| |_) |_) (_| |_) 03:10:26 -!- adu has left (?). 03:26:49 lol 03:28:53 -!- Oranjer has left (?). 03:34:33 I have pokemon music stuck in my head 03:35:25 as long as you don't have a pokemon stuck in your head 03:35:59 lol 03:36:10 there's this one bit that sounds so awesome! 03:36:50 -!- Asztal has quit (Read error: Operation timed out). 03:48:57 -!- oerjan has quit (Quit: Reboot). 03:54:29 -!- fax has quit (Quit: Lost terminal). 03:55:17 -!- oerjan has joined. 04:13:23 fax! D: 04:13:25 noooo 04:13:56 i had a crazy idea for a story thanks to c-realm 04:15:02 -!- zzo38 has joined. 04:17:29 What idea of story did you mean 04:18:07 we invent teleportation. it works wonderfully for non-living things. but for living things, it screws up your electrochemistry, causing temporary death, and so its not recommended that people teleport too much or too frequently 04:19:12 our protagonist has such and such kind of job that necessitates increasing use of teleportation, and the more he uses it the more he starts to see things in the teleportation. 04:21:43 -!- jcp has joined. 04:21:44 -!- nooga has quit (Read error: Connection reset by peer). 04:21:51 he starts to see things. im not sure what yet, something inexplicable and such. 04:22:11 and eventually he ends up spending more and more subjective time in the jumps 04:29:53 I have my own story about teleportation: One guy makes up a new kind of teleporter but something goes wrong. Now we lost the harp. But that's OK, because it caused other things too which are beneficial to the situation anyways. The End 04:33:40 what? XD 04:36:06 Well, actually................ 04:37:31 augur: your story is called Hyperion 04:39:07 I have another question, too: I thought of to connect high-address-bit of ARM11 to a flip-flop, and then the flip-flop to the NMI, but there must be some kinds of problem with instruction prefetch? Can this be fixed? 04:39:27 lament: ey? 04:48:59 -!- charlls has quit (Ping timeout: 268 seconds). 04:52:55 -!- charlls has joined. 05:12:00 * Sgeo fails to see "Cryonics" on WhatsTheHarm 05:37:21 -!- charlls has quit (Quit: Saliendo). 06:11:58 -!- zzo38 has quit (Quit: THIS IS NOT FOR GEFINGERPOKEN). 06:22:39 -!- oerjan has quit (Quit: leaving). 07:42:10 -!- FireFly has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:07:46 -!- jcp has quit (Quit: I will do anything (almost) for a new router.). 08:07:46 -!- tombom has joined. 08:44:47 -!- FireFly has quit (Quit: Leaving). 08:49:54 -!- tombom has quit (Quit: Leaving). 09:15:06 -!- adam_d has joined. 09:53:25 -!- nooga has joined. 10:06:33 -!- oerjan has joined. 10:18:19 guten tag 10:18:26 hujen morgen 10:18:39 morn morn 10:24:37 -!- lereah_ has joined. 10:42:58 -!- nooga has quit (Read error: Connection reset by peer). 10:48:15 -!- uorygl has quit (Read error: Connection reset by peer). 10:48:35 -!- uorygl has joined. 10:48:49 -!- uorygl has quit (Read error: Connection reset by peer). 10:50:57 -!- ais523 has joined. 10:53:36 -!- uorygl has joined. 11:18:03 -!- oerjan has quit (Quit: leaving). 11:32:48 -!- ais523 has quit (Remote host closed the connection). 11:41:05 -!- ais523 has joined. 12:15:18 -!- coppro has quit (Quit: I am leaving. You are about to explode.). 13:20:40 -!- Asztal has joined. 13:42:10 `define nickname 13:42:19 * a familiar name for a person (often a shortened version of a person's given name); "Joe's mother would not use his nickname and always called him ... \ * dub: give a nickname to \ * a descriptive name for a place or thing; "the nickname for the U.S. Constitution is `Old Ironsides'" 13:48:20 `define Hitler 13:48:21 * German Nazi dictator during World War II (1889-1945) \ [23]wordnetweb.princeton.edu/perl/webwn \ * Hitler is a Malayalam movie about the life of Madhavankutty (known as Hitler), a bachelor a protective brother of five younger. ... 13:48:37 ahahah wat 13:49:32 `define esoteric 13:49:34 * confined to and understandable by only an enlightened inner circle; "a compilation of esoteric philosophical theories" \ [22]wordnetweb.princeton.edu/perl/webwn \ * Esoteric is the fourth studio album by Swedish metal band Skyfire. It was released on September 14 in the United Kingdom, September 18 for the ... 13:50:24 is that an appropriate definition for esolangs, I wonder? 13:50:49 for esolangs, it's more that only a small number of people bother trying to understand them, rather than only a small number of people capable of understanding them 13:50:52 -!- hiato has joined. 13:51:00 (except in a few cases like Feather, which not even I understand and I thought up the idea...) 13:51:48 -!- FireFly has joined. 13:57:21 It's still "confined to" and "currently understandable by"; I don't think the definition has to imply that it should be especially difficult to learn to understand. 13:57:38 hmm, ok 13:57:46 That's just my take, of course. 13:57:52 to me, that definition implies that the info is somehow kept secret 13:59:47 Well, maybe it has hints of that. Though "a compilation of esoteric philosophical theories" sounds more like not-interesting-to-many than kept-secret-by-design. 14:12:28 "About NetHack: power to protect the wearer's face; a feature that gives rise to their knees before arthur. the motile phase, commonly..." 14:13:45 fizzie: are you using "About NetHack" for all fungot's twitter posts? 14:13:45 ais523: where does he live? d:: double clicking selects its text editing both direction 14:14:24 ais523: No, there's also "About IRC", "About Penny Arcade" and "About Chrono Trigger" posts, but for some reason the NetHack ones seem to be best. 14:16:08 aha 14:30:18 -!- cheater2 has quit (Quit: Leaving). 14:34:15 -!- adam_d has quit (Ping timeout: 265 seconds). 14:36:53 -!- cheater2 has joined. 14:41:34 -!- hiato has quit (Quit: underflow). 15:01:17 -!- MigoMipo has joined. 15:03:24 -!- ais523_ has joined. 15:08:46 -!- cheater2 has quit (Quit: Leaving). 15:19:42 -!- mycrofti1 has joined. 15:20:21 -!- werdan7_ has joined. 15:24:12 -!- fizzie` has joined. 15:24:26 -!- fizzie has quit (*.net *.split). 15:24:26 -!- werdan7 has quit (*.net *.split). 15:24:26 -!- bsmntbombdood has quit (*.net *.split). 15:24:26 -!- mycroftiv has quit (*.net *.split). 15:27:15 -!- cheater2 has joined. 15:31:40 -!- bsmntbombdood has joined. 15:36:11 -!- cheater2 has quit (Quit: Leaving). 15:43:12 -!- BeholdMyGlory has joined. 15:44:16 -!- cheater2 has joined. 16:08:45 -!- MigoMipo has quit (Remote host closed the connection). 16:11:11 -!- MigoMipo has joined. 16:13:08 -!- mycrofti1 has changed nick to mycroftiv. 16:17:24 -!- MigoMipo has quit (Remote host closed the connection). 16:28:00 anyone here have experience with optical character recognition? 16:28:47 -!- MigoMipo has joined. 16:32:53 I do it with my eyes every day! 16:52:13 -!- uoryfon has joined. 17:02:25 -!- werdan7_ has quit (Ping timeout: 615 seconds). 17:07:26 -!- werdan7 has joined. 17:09:11 lereah_: :-P 17:27:41 -!- fax has joined. 17:45:59 -!- uoryfon_ has joined. 17:45:59 -!- uoryfon has quit (Read error: Connection reset by peer). 17:46:03 -!- uoryfon_ has changed nick to uoryfon. 17:48:48 -!- uoryfon has quit (Read error: Connection reset by peer). 17:50:11 -!- uoryfon has joined. 17:52:06 "Seven-value logic may also be able to produce Turing-complete languages, but only extreme oddballs would want to use it." 17:52:15 no, nine! 17:54:11 the quote's from , which somehow still exists, and which is interesting (although I don't know if I agree with it or not yet) 18:04:32 i don't know whether i agree or not either, because it's so long i'm not gonna read it! :) 18:09:01 -!- zzo38 has joined. 18:15:22 -!- augur has quit (Ping timeout: 276 seconds). 18:17:47 -!- ais523_ has quit (Quit: Page closed). 18:21:26 -!- HackEgo has quit (Ping timeout: 252 seconds). 18:22:08 -!- zzo38 has quit (Remote host closed the connection). 18:23:34 -!- lereah_ has quit (Quit: Leaving). 18:25:35 -!- uoryfon has quit (Read error: Connection reset by peer). 18:26:22 -!- uoryfon has joined. 18:29:17 -!- uoryfon has quit (Read error: Connection reset by peer). 18:29:37 -!- uoryfon has joined. 18:33:45 -!- uoryfon_ has joined. 18:33:45 -!- uoryfon has quit (Read error: Connection reset by peer). 18:33:47 -!- uoryfon_ has changed nick to uoryfon. 18:34:28 -!- uoryfon has quit (Read error: Connection reset by peer). 18:34:58 -!- uoryfon has joined. 18:39:02 -!- Gracenotes has quit (Ping timeout: 252 seconds). 18:47:37 -!- augur has joined. 18:49:01 -!- nooga has joined. 18:49:52 * nooga just tried to parallelize odd-even sort using openMP and found out that parallel version runs 100% slower 18:50:59 No surprise. Threading has overhead. 18:52:00 array access is a possible bottleneck 18:52:41 -!- uoryfon has quit (Quit: Colloquy for iPhone - http://colloquy.mobi). 19:04:39 -!- kar8nga has joined. 19:09:40 -!- ais523 has quit (Remote host closed the connection). 19:27:41 1*1 means I give you a dollar. You are $1 better off. 19:27:41 1*(-1) means I give an IOU for a dollar. You are $1 worse off. 19:27:41 (-1)*1 means I take away one dollar. You are $1 worse off. 19:27:43 (-1)*(-1) means I take away one IOU for a dollar. You are $1 better off. 19:33:49 Except that if you're an honest person, and you give me an IOU for $1, I'm $1 better off. 19:34:11 woah honesty proves cubic truth 19:34:24 (Slightly less, adjusting for the unknown inflation between the moment I receive the IOU and the moment you actually give me the dollar) 19:52:54 fax, non-commutative? 19:53:20 oh wait 19:53:29 just different interpretations 19:53:40 since (-1)*1 != 1*(-1) there 19:53:46 one is an IOU the other is not 20:01:58 if there is a biggest number, which, when you add one to it -- you get zero again 20:02:07 can we find this number using subtraction? 20:02:51 0 - 1 20:03:38 -!- hiato has joined. 20:14:16 fax: Only in modular arithmetic. 20:18:30 -!- olsner has quit (Read error: Connection reset by peer). 20:20:36 pikhq, what about negative numbers 20:20:41 don't we wrap around to them fax 20:33:06 -!- olsner has joined. 21:11:39 -!- nooga has quit (Ping timeout: 258 seconds). 21:13:11 fax, what is that "cubic truth" stuff btw? 21:13:14 is it about timecube? 21:21:51 Most probably. 21:34:00 -!- hiato has quit (Quit: underflow). 22:00:30 -!- nooga has joined. 22:13:47 -!- oerjan has joined. 22:35:48 -!- coppro has joined. 22:47:30 Thus joineth the trifecta. 22:47:59 `define trifecta 22:48:31 another bot mercilessly assassinated 22:51:04 -!- fizzie` has changed nick to fizzie. 23:02:33 -!- HackEgo has joined. 23:02:40 `define trifecta 23:02:43 * In horse racing terminology, a trifecta is a parimutuel bet in which the bettor must predict which horses will finish first, second, and third in exact order. The word comes from the related betting term, "perfecta". A trifecta is known as a Tiercé in France and Hong Kong. \ [17]en.wikipedia.org/wiki/Trifecta 23:02:59 that's what you meant, right? 23:04:12 Yes. 23:04:37 I was pretending that nooga - oerjan - coppro were a trifecta, since you joined in that order with no other actions in between ;P 23:05:18 * oerjan swats Gregor -----### 23:05:22 I'M NOT A HORSE 23:05:30 That's what she said. 23:05:34 Nowait. 23:05:37 She said "neiiiiiigh" 23:05:55 -!- augur has quit (Ping timeout: 276 seconds). 23:06:05 she was probably scandinavian then 23:06:14 Bravo, sir :P 23:06:43 -!- olsner has quit (Quit: Leaving). 23:09:26 -!- charlls has joined. 23:16:49 é¦¬ã‚ˆï¼ 23:19:06 -!- coppro has quit (Read error: Operation timed out). 23:20:48 -!- MigoMipo has quit (Remote host closed the connection). 23:39:57 -!- coppro has joined. 23:46:56 -!- FireFly has quit (Quit: Leaving). 23:47:30 -!- BeholdMyGlory has quit (Remote host closed the connection). 23:47:45 -!- charlls has quit (Quit: Saliendo). 23:49:48 -!- kar8nga has quit (Remote host closed the connection).