00:00:08 <Sgeo> I decided that |b@| was simply -|b|, since |ab|=|a||b|, unless someone has a counter-example?
00:00:09 <alise_> well |a@| is obviously |a|*|@|
00:00:32 <alise_> but yeah it's a case of reducing |a+b|...
00:00:52 <Sgeo> Has reducing |a+b| been done, or is it impossible?
00:01:19 <alise_> I asked wolfram alpha for some inspiration but it wasn't very helpful
00:01:26 <alise_> I think you'd just have to make shit up until all the properties work...
00:01:27 <alise_> apart from |x| > 0 ofc :P
00:03:14 <Sgeo> 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:05 <fax> Sgeo, because we want |-| to be a "metric"
00:08:25 <fax> which means |a-b|+|b-c|>=|a-c| and |a-b|=0 <=> a=b
00:08:37 -!- AnMaster has joined.
00:08:46 <fax> 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 <fax> why do we care about metrics? They make a topology
00:09:19 <fax> why do we care about topologies... I don't know yet
00:09:53 <Sgeo> @ is defined such that |@| = -1. Pseudomathematical curiousity that I seem to have interested alise in just now
00:10:15 <Sgeo> [Or, probably less peusomathematically, |x| gains an exception in its definition]
00:10:47 -!- alise_ has quit (Ping timeout: 252 seconds).
00:14:15 <Sgeo> |a-@| + |@-c| >= |a-c|. If a=0 and c=5, for instance, and this rule is upholdable, |@-5| >= 5
00:14:41 <Sgeo> I'm not convinced that it's upholdable given the redefintion, however.
00:16:07 <Sgeo> That seems... broken
00:16:18 <alise> |@| = -1, |@-1| = 1 (presumably)
00:16:31 <alise> so there's a 0 missing there...
00:16:36 -!- nooga has joined.
00:16:38 -!- augur has joined.
00:17:43 <Sgeo> If |@-1| = 1, |@-2| = 3, somehow makes more sense, but there's no evidence for that really
00:18:33 <Sgeo> Not "sense", but it's nicely pattern-filling
00:19:20 <alise> This number is no number, it's more like a function :P
00:19:26 <Sgeo> |a-b|+|b-c|>=|a-c|
00:21:32 <Sgeo> a=@, b=0, c=1 |@-0| + |0-1| >= |@-1| <=> -1 + 1 >= |@-1|
00:21:53 <Sgeo> I think we have a problem
00:23:36 <alise> well clearly |@-1| results in a number
00:23:58 <alise> which has these contradictory properties!
00:24:13 <Sgeo> Maybe |a-b|+|b-c|>=|a-c| is simply broken
00:25:44 <alise> Maybe you are broken :|
00:26:18 <Sgeo> Well, when |x|>=0 is suddenly violated, I'd expect anything that relies on that to be broken
00:26:37 <fax> im not here right now
00:28:17 <oerjan> 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 <fax> oerjan 1 + 0*(-1) = 1 + (1+(-1))*(-1) ?
00:29:20 <fax> ho sorry I see it now
00:29:36 <Sgeo> oerjan, that's so.. obvious, looking at it
00:30:06 <Sgeo> Hm, that means something major would have to break in order to make a system in which -1*-1=-1
00:30:17 <Sgeo> Maybe 1-1 != 0
00:30:40 <oerjan> well 1-1 == 0 is pretty much the _definition_ of negation
00:31:24 <oerjan> in fact it's the only property of negation used above
00:32:05 <alise> axiom: x + (-x) = i, where i is additive identity
00:32:53 <Sgeo> You also used a(b+c) = ab+ac
00:33:12 <oerjan> a-b is just an abbreviation for a+(-b) afaiac
00:33:46 <oerjan> Sgeo: yeah obviously, and several other properties, but none that involve negation
00:33:52 <alise> oerjan: yeah it is
00:34:00 <alise> and since a b = a*b, a-b = a*-b
00:34:04 <alise> therefore a+(-b) = a*-b
00:34:20 <Sgeo> Which property is the easiest to break?
00:34:32 <alise> otherwise someone will have already done so and formalised everything with it
00:34:40 <alise> you have to sacrifice something major, that's why they are fundamental properties
00:36:20 <Sgeo> What causes |a-b| + |b-c| >= |a-c| to break, exactly?
00:36:48 <alise> 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 <Sgeo> How is that rule derived? That would be easiest to work with
00:38:09 <oerjan> 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 <oerjan> 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 <Sgeo> (a+b)c = ac+bc seems somewhat unintuitive. Maybe in the goal of -1*-1=-1, we can break it
00:39:27 <oerjan> heh in fact that means i'm _not_ using commutativity, not even of addition
00:40:36 <oerjan> 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:41:02 <Sgeo> Anyone want to email oerjan's proof to Gene Ray?
00:41:34 <alise> he denies the definitions duh
00:43:16 <Sgeo> |@@| = |@||@| = 1; |a@+b@@| = |[a+b@]@| = -|a+b@| and this probably gets us nowhere
00:43:54 * Sgeo wonders what |1/@| is
00:44:49 <Sgeo> Can we be certain that that rule works given that |x|=-1 exists?
00:45:01 <alise> Unless you find a contradiction.
00:45:27 <oerjan> Sgeo: |a-b| + |b-c| >= |a-c| is equivalent to |x| + |y| >= |x+y|
00:45:54 <alise> |@| + |n| >= |@+n|
00:45:57 <fax> earlier on I was using |z-w| as notation for d(z,w)
00:46:00 <alise> |@| + |1| >= |@+1|
00:46:12 <fax> d is just a function onto R(eal)
00:46:21 <alise> |@+1| = -2, perhaps?
00:46:26 <fax> you can prove that d(x,y) >= 0
00:46:31 <Sgeo> I remember seeing |x|+|y| >= |x+y| before, and deciding that it was broken, I don't remember why
00:46:47 <fax> Sgeo, wormholes I guess
00:46:53 <alise> fax: plz respond in /msg :(
00:47:34 <Sgeo> x=@, y=-@, |x| + |y| = |@| + |-@| = -2 >= |@+-@| = |2@| = -2
00:47:56 <Sgeo> erm, |@+-@| = |0| = 0
00:48:00 <Sgeo> So yeah, contradiction
00:49:22 -!- BeholdMyGlory has quit (Remote host closed the connection).
00:52:03 <alise> DBASE IZ GETDB('db/lcsn.db')
00:52:03 <alise> FUNNAHS IZ DBUCKET(&DBASE&,"CAN I PLZ GET * ALL UP IN lollit")
00:52:03 <alise> IM IN UR FUNNAHS ITZA TITLE
00:52:03 <alise> VOTEZ IZ &TITLE#ups& - &TITLE#downs&
00:52:04 <alise> http://imgur.com/noL0U
00:52:07 <alise> by what metric is lolcode esoteric again?
00:53:14 <uorygl> It's deliberately strange.
00:53:25 <Sgeo> I made a metric for esotericism?
00:54:00 <oerjan> you made a metric for *WHOOSH*
00:54:57 <uorygl> Hmm, @ such that |@| = -1.
00:55:30 <uorygl> You can define the absolute value of a number as the square root of the number times its complex conjugate.
00:56:46 <Sgeo> 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 <oerjan> well it _is_ the usual one for complex numbers
00:57:54 <Sgeo> What's the complex conjugate for @?
00:58:01 <Sgeo> And what's @*@?
00:58:32 <uorygl> 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 <oerjan> a+bi has complex conjugate a-bi
00:58:59 <uorygl> sqrt(a^2+b^2), of course.
00:59:13 <Sgeo> |@| = sqrt(@*@) = @ is not what we want
00:59:31 <uorygl> If sqrt(a^2+b^2) = -1, then a^2+b^2 is an imaginary number.
00:59:35 <Sgeo> Assuming we're following that definition, which might not even be a useful one
01:00:00 <alise> @' is a unique number such that @*@' = -1^2
01:00:04 <uorygl> For simplicity, let's assume b = 0. Then a^2 is an imaginary number.
01:00:36 <alise> hmm now that is a bit of an issue
01:00:47 <uorygl> Why is it a bit of an issue?
01:01:45 <uorygl> 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 <uorygl> I wonder if this is a quaternion.
01:02:14 <uorygl> Rather, if this is the quaternions.
01:02:34 <Sgeo> If there are usual rules for abs value for quaternions, then those are broken by this
01:02:38 <alise> @*@' = -1^2 (because sqrt(@*@')=-1) = 1
01:02:45 <alise> but sqrt(1) is actually 1
01:03:31 <uorygl> 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 <Sgeo> Can't you get a similar paradox without @?
01:05:11 <uorygl> Hey, I have heard something that might accomplish this.
01:08:16 <uorygl> It just seems like absolute values are too fundamentally nonnegative.
01:08:57 <oerjan> don't be so nonnegative
01:09:32 <oerjan> minkowsky inner product!
01:09:33 <uorygl> If we don't find a way to solve this impossible problem, surely humanity will be destroyed!
01:09:40 <uorygl> That's precisely the thing I mentioned.
01:09:59 <uorygl> Or, well, something with the word Minkowski in it.
01:10:13 <oerjan> it has _imaginary_ absolute values, not negative ones, though
01:10:26 <oerjan> (from special relativity theory)
01:10:40 <uorygl> It has imaginary absolute values?
01:10:49 <oerjan> but their _square_ is negative though
01:10:53 <fizzie> 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:52 <oerjan> basically a distance in time has a length that is an imaginary number times a distance in space
01:12:16 <oerjan> (for combinations of time/space, it depends on whether it's faster than light or not)
01:12:26 <uorygl> 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 <uorygl> Or whatever the heck those things are called.
01:14:28 <uorygl> That is a type of quadric section.
01:15:00 <oerjan> two opposed cones would be a degenerate instance of that
01:15:25 * Sgeo lost the conversation
01:15:26 <oerjan> oh wait that's not what you said
01:15:27 -!- nooga has quit (Ping timeout: 245 seconds).
01:15:34 <uorygl> There is no quadric section, not even a degenerate one, that's that I said.
01:15:52 <oerjan> uorygl: yours is like a degenerate saddle, more like?
01:16:27 <uorygl> You know, I'm pretty sure there's only one sane shape that's like that.
01:17:12 <Sgeo> Is there a way to define @ in terms of imaginary abs. values?
01:17:14 -!- nooga has joined.
01:17:16 <oerjan> you are sure there's at least one?
01:17:42 <Sgeo> What makes a shape sane
01:18:00 <uorygl> Take the absolute value, and then multiply it by the square of the sine of the argument.
01:18:18 <oerjan> hm actually for timelike distances in minkovski space there _is_ a difference of direction, between forwards and backwards in time
01:18:39 <uorygl> The absolute value is actually an insane function, by one formal definition.
01:18:43 * Sgeo is utterly lost
01:19:20 <uorygl> 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:21:28 <oerjan> hm a saddle surface is defined to be smooth on wikipedia, so wouldn't include your case, or would it?
01:22:03 <oerjan> no it cannot be smooth, since absolute values are cross sections
01:22:07 <uorygl> Any smooth function would make a silly absolute value.
01:22:25 <uorygl> Since it has a non-differentiable spot at zero.
01:23:03 <uorygl> And |(|x|)| should be |x|, not |x|^2.
01:23:28 <Gregor> What is the absolute value of (, anyway
01:23:47 <uorygl> Gregor: you forgot to close a parenthesis.
01:24:39 <uorygl> I don't know what the absolute value of (, anyway i'll close it here) is.
01:24:55 <Sgeo> I understand the words, but not the point
01:25:15 <uorygl> Sgeo: well, visualize that shape.
01:25:38 <Sgeo> Can I just plot it on Wolfram?
01:25:57 -!- ubunt63 has joined.
01:26:39 <oerjan> but does he _want_ such a tattoo?
01:27:07 <uorygl> I don't know whether Wolfram wants such a tattoo.
01:27:16 <uorygl> I guess even if he had it, we wouldn't be able to see it.
01:28:22 <alise> <uorygl> 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 <alise> which word doesn't he understand?
01:28:37 <uorygl> Sgeo: http://www.wolframalpha.com/input/?i=plot+abs%28x%2By*i%29*cos%5E2%28arg%28x%2By*i%29%29
01:28:38 <oerjan> hm why would you square it?
01:28:49 <oerjan> you'd want it negative sometimes
01:29:13 <uorygl> Trigonometry fail on my part.
01:29:23 <uorygl> Take the absolute value, and then multiply it by twice the cosine of the argument.
01:29:29 <fizzie> 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 <uorygl> Take the absolute value, and then multiply it by the cosine of twice the argument.
01:29:55 <oerjan> uorygl: neither works since they don't fulfil f(-x) = f(x)
01:30:17 <uorygl> This doesn't fulfill that?
01:30:26 <oerjan> didn't see your last one
01:30:34 <uorygl> Sgeo: http://www.wolframalpha.com/input/?i=plot+abs%28x%2By*i%29*cos%282*arg%28x%2By*i%29%29
01:30:39 <augur> my workbench is almost complete. all it needs is a work surface. :D
01:30:55 <uorygl> fizzie: I think there's a name for those.
01:31:23 <uorygl> fizzie: the split-complex numbers.
01:31:33 <uorygl> Sgeo: the argument function. It returns the angle of the Argand diagram.
01:31:43 <uorygl> It does the same sort of thing as the signum function.
01:31:57 <uorygl> 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 <oerjan> hm wait maybe i'm the one failing trigonometry here
01:32:29 <uorygl> 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 <uorygl> oerjan: but I also failed trigonometry.
01:33:30 <oerjan> fizzie: it's isomorphic to the ring of 2*2 matrices ;D
01:34:14 <oerjan> oh wait now i'm failing reading too
01:35:13 <fizzie> Yes, it seems they've called split-complex numbers indeed.
01:36:28 <fizzie> (And a huge pile of other names.)
01:37:19 <uorygl> It's fun to have both the complex numbers and the split-complex numbers.
01:37:31 <uorygl> You have both i and j such that i^2 = -1 and j^2 = 1.
01:37:57 <uorygl> Darn, we've lost commutativity.
01:40:21 <augur> my university has the most students presenting at ECO5
01:40:24 <Sgeo> How does @ fit in with all of this
01:58:10 <alise> i have to go really soon... it's 1am i have to be up at 7
01:58:47 <augur> alise: bye ::hug::
01:59:11 <alise> unless fax says anything interesting in /msg in the next minutes or so...
02:02:02 <alise> anyone have anything else to say?
02:02:16 <augur> stay strong, young one!
02:02:33 * alise gets in TARDIS; destination: Friday.
02:02:51 * augur plays Dr Who theme
02:03:06 <alise> WHAAAAAAAROOOOOOOOOOOOOOOO
02:03:10 <alise> DAH DUHHHHHHHHHHHHHHHHHHHHHHHHHHHH
02:03:22 <alise> DAH DUH DUH DUH DUH DUH DUH (DUH DUH) DUH BAM BAM BAM BUM
02:03:27 <alise> WHUUUUUUUUUAAAAAAAAROOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOo
02:03:30 -!- alise has quit (Quit: Leaving).
02:06:28 <fax> me and alise were talking about finitism and ultrafinitism
02:10:37 -!- ubunt63 has left (?).
02:39:58 <oklopol> i tried to go to sleep but i proved a theorem and had to come write it down :<
02:40:38 <oklopol> and now i can't sleep because my brain is all hyper
02:42:25 <augur> tho i do love you totes.
02:42:34 <augur> i had just forgotten myndzi's silliness
02:43:50 <Sgeo> What just happened?
02:44:16 <oerjan> Sgeo: the world ended. fortunately, they had a backup.
02:44:31 <Sgeo> Sounds like Station V3
02:45:11 <oerjan> but after a number of comics, i discovered i was bored
02:46:42 <fax> myndzi is not a bot!
02:47:21 <augur> no but myndzi does RUN a bot
02:47:38 <augur> directly on er username
03:00:33 <myndzi> that one gets me in trouble sometimes!
03:02:45 <myndzi> not everybody lols. \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/
03:02:45 <myndzi> | | | | | | | | | | | |
03:02:45 <myndzi> /\ /| /| /< >\ /`\ /< /< |\ >\ >\ |\
03:03:00 -!- adu has joined.
03:05:27 <augur> myndzi: i like how his dick is waggling
03:06:00 <Sgeo> That seems ..off
03:06:32 <myndzi> \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 <myndzi> | `\o/ | `\o/ | `\o/ | `\o/ | `\o/ | `\o/ | `\o/ | `\o/ | `\o/ |
03:06:32 <myndzi> /< | /| | |\ | |\ | /| | /| | /< | |\ | /| | /|
03:06:32 <myndzi> /\ (_|`\ /\ /`|_) /`\ (_|'|_) /`\ (_|'\ /\
03:06:32 <myndzi> (_| |_) |_) (_| |_) (_| (_| |_) (_| |_) |_) (_| |_)
03:10:26 -!- adu has left (?).
03:28:53 -!- Oranjer has left (?).
03:34:33 <coppro> I have pokemon music stuck in my head
03:35:25 <oerjan> as long as you don't have a pokemon stuck in your head
03:36:10 <coppro> 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:56 <augur> i had a crazy idea for a story thanks to c-realm
04:15:02 -!- zzo38 has joined.
04:17:29 <zzo38> What idea of story did you mean
04:18:07 <augur> 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 <augur> 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 <augur> he starts to see things. im not sure what yet, something inexplicable and such.
04:22:11 <augur> and eventually he ends up spending more and more subjective time in the jumps
04:29:53 <zzo38> 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:36:06 <zzo38> Well, actually................
04:37:31 <lament> augur: your story is called Hyperion
04:39:07 <zzo38> 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: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: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:19 <HackEgo> * 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:21 <HackEgo> * 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:49:34 <HackEgo> * 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 <ais523> is that an appropriate definition for esolangs, I wonder?
13:50:49 <ais523> 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 <ais523> (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 <fizzie> 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:46 <fizzie> That's just my take, of course.
13:57:52 <ais523> to me, that definition implies that the info is somehow kept secret
13:59:47 <fizzie> 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 <fizzie> "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 <ais523> fizzie: are you using "About NetHack" for all fungot's twitter posts?
14:13:45 <fungot> ais523: where does he live? d:: double clicking selects its text editing both direction
14:14:24 <fizzie> 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: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 <pineapple> anyone here have experience with optical character recognition?
16:28:47 -!- MigoMipo has joined.
16:32:53 <lereah_> 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: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 <ais523_> "Seven-value logic may also be able to produce Turing-complete languages, but only extreme oddballs would want to use it."
17:54:11 <ais523_> the quote's from <http://www.geocities.com/tablizer/science.htm>, which somehow still exists, and which is interesting (although I don't know if I agree with it or not yet)
18:04:32 <oklopol> 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 <pikhq> No surprise. Threading has overhead.
18:52:00 <nooga> 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 <fax> 1*1 means I give you a dollar. You are $1 better off.
19:27:41 <fax> 1*(-1) means I give an IOU for a dollar. You are $1 worse off.
19:27:41 <fax> (-1)*1 means I take away one dollar. You are $1 worse off.
19:27:43 <fax> (-1)*(-1) means I take away one IOU for a dollar. You are $1 better off.
19:33:49 <Gregor> Except that if you're an honest person, and you give me an IOU for $1, I'm $1 better off.
19:34:11 <fax> woah honesty proves cubic truth
19:34:24 <Gregor> (Slightly less, adjusting for the unknown inflation between the moment I receive the IOU and the moment you actually give me the dollar)
19:53:29 <AnMaster> just different interpretations
19:53:46 <AnMaster> one is an IOU the other is not
20:01:58 <fax> if there is a biggest number, which, when you add one to it -- you get zero again
20:02:07 <fax> can we find this number using subtraction?
20:03:38 -!- hiato has joined.
20:14:16 <pikhq> fax: Only in modular arithmetic.
20:18:30 -!- olsner has quit (Read error: Connection reset by peer).
20:20:36 <AnMaster> pikhq, what about negative numbers
20:20:41 <AnMaster> 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 <AnMaster> fax, what is that "cubic truth" stuff btw?
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 <Gregor> Thus joineth the trifecta.
22:48:31 <oerjan> another bot mercilessly assassinated
22:51:04 -!- fizzie` has changed nick to fizzie.
23:02:33 -!- HackEgo has joined.
23:02:43 <HackEgo> * 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 <oerjan> that's what you meant, right?
23:04:37 <Gregor> 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:55 -!- augur has quit (Ping timeout: 276 seconds).
23:06:05 <oerjan> she was probably scandinavian then
23:06:43 -!- olsner has quit (Quit: Leaving).
23:09:26 -!- charlls has joined.
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).