00:15:13 -!- W_ has joined.
01:15:40 -!- calamari has left (?).
01:18:44 -!- Weirdbro has joined.
01:23:54 -!- Weirdbro has left (?).
02:29:35 -!- jix__ has joined.
02:40:29 -!- jix__ has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
02:44:48 -!- jix has quit (Read error: 110 (Connection timed out)).
03:00:04 -!- ivan` has quit (" HydraIRC -> http://www.hydrairc.com <- The dawn of a new IRC era").
03:29:01 -!- GregorR-L has joined.
03:42:57 -!- Arrogant has joined.
04:11:37 -!- Arrogant has quit (Read error: 110 (Connection timed out)).
04:20:19 -!- CakeProphet has quit (Read error: 113 (No route to host)).
04:46:34 -!- anonfunc has joined.
05:32:50 -!- Sgeo has quit (Read error: 110 (Connection timed out)).
05:55:37 -!- Arrogant has joined.
05:58:55 -!- ivan` has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:09:29 -!- GregorR-L has quit ("Leaving").
09:11:03 -!- ihope_ has quit (Read error: 110 (Connection timed out)).
09:28:30 -!- ihope_ has joined.
09:28:34 -!- ihope_ has changed nick to ihope.
09:51:29 <SimonRC> Hotel Echo Lima Lima Oscar
11:33:38 -!- Arrogant has quit ("Leaving").
12:01:34 -!- ihope_ has joined.
12:02:01 -!- wooby has joined.
12:18:13 -!- ihope has quit (Read error: 110 (Connection timed out)).
12:22:05 -!- ihope_ has quit (Read error: 110 (Connection timed out)).
13:07:31 -!- jix has joined.
14:17:30 -!- Robdgreat has quit ("I'd rather have this bottle in front of me than a frontal lobotomy.").
14:37:41 -!- wooby has quit.
17:10:30 -!- clog has joined.
17:10:30 -!- clog_ has joined.
17:18:42 -!- RodgerTheGreat has quit (Read error: 113 (No route to host)).
17:26:31 -!- clog has quit (Read error: 110 (Connection timed out)).
17:26:32 -!- clog_ has changed nick to clog.
17:38:24 -!- calamari has joined.
18:14:04 <SimonRC> lol: Someone on Slashdot lists bundling TCP/IP connectivity with the OS as a reason to dislike MS. Duh! http://slashdot.org/comments.pl?sid=198669&cid=16278447
18:15:31 <GregorR-W> And instead you should use, what, DOS?
18:21:01 <oerjan> why, you should of course whistle into the modem.
18:44:08 -!- Sgeo has joined.
18:47:15 * pikhq would be pissed if a TCP/IP stack weren't part of the *kernel*. . .
18:47:23 <pikhq> GregorR-W: Windows 3.1. :p
18:50:21 * SimonRC wants more stuff in Userland
18:50:35 <SimonRC> preferrably the boot monitor too.
19:40:47 <GregorR-W> calamari: But it's not bundled with the OS, that was the point.
19:41:06 <calamari> ahh well then that proves that dos is the ultimate os
20:26:45 -!- ihope_ has joined.
20:26:49 -!- ihope_ has changed nick to ihope.
20:33:00 <SimonRC> For those of you who haven't seen it, a pathalogical language: http://home.inreach.com/sl2120/Ithkuil/index.htm
20:36:18 <SimonRC> Speaking it may be considered analogous to programming by writing gzipped binaries using a text editor.
20:38:36 <SimonRC> Speaking it may be considered analogous to programming by writing gzipped Malbolge using a text editor.
20:40:34 <SimonRC> Typical quote from the grammar: "The PARTITIVE case is marked by Series G vocalic mutation of the stem along with Grade 3 mutation of the C2 radical consonant."
20:41:58 * oerjan thinks you exaggerate a bit
20:42:40 <oerjan> gzip compression is, as far as I know, non-local.
20:43:09 <oerjan> and mutations are not unusual in ordinary human languages
20:43:38 <oerjan> consider just the english: sing, sang, sung
20:44:24 <oerjan> but i assume ithkuil is a _bit_ denser than usual :)
20:45:27 <oerjan> btw i used to subscribe to the conlang mailing list so i may be damaged already...
20:46:16 <oerjan> never got around to fleshing out my own languages though - about the same situation as with my esolangs
20:47:20 * oerjan dances a little procrastination dance
20:51:58 -!- CakeProphet has joined.
20:54:57 -!- anonfunc has quit.
21:02:07 <SimonRC> everything is correct up to the last line
21:02:56 <oerjan> for the same reason that (-1)^2 = 1^2 does not imply -1 = 1
21:03:51 <oerjan> exponentiation is not one-to-one in either argument
21:03:53 <SimonRC> they are both cases of no-thingumy functions
21:04:21 <CakeProphet> Right there... I'm using the whole if a^y = a^x then y = x
21:05:16 <oerjan> well, that implication does not hold unless a is positive and x,y are real
21:05:25 <lindi-> CakeProphet: maybe a is defined for all real numbers in your case :)
21:06:05 <lindi-> and think about 1^5 = 1^3
21:06:08 <CakeProphet> damn you imaginaries... always leaving me inable-to-prove-2-equals-6
21:06:30 <oerjan> indeed, if a is complex and x not an integer, then a^x is usually considered to have multiple values
21:07:46 <CakeProphet> If it were true.. it would only be a matter of time before you could prove that a number equals every other number.
21:08:22 <lindi-> indeed you must not see ^ as a function in that context
21:08:40 <lindi-> it's just a shorthand for expressing solutions of an equation
21:11:32 <oerjan> where ln is not a function either in this context, but just a solution to exp(ln x)=x
21:12:19 <oerjan> however, exp is a function.
21:12:58 <oerjan> exp(a+ib) = e^a * (cos b + i sin b)
21:14:41 <SimonRC> exp(z) = sum [ z^n / factorial n | n <- [0..]], IIRC
21:17:38 <oerjan> now, when a is positive, then ln a can be taken as the unique real solution.
21:18:10 <oerjan> and then a^x = exp(x*ln a) is uniquely defined for all complex x.
21:19:17 <oerjan> so when using exponentiation one needs to be careful about what numbers are involved. no wonder Haskell provides threee different versions...
21:19:55 <SimonRC> that ois more of an efficiency thing, surely?
21:20:16 <oerjan> although probably not for that reason. it has to do with type classes
21:24:14 <oerjan> let's see, a^x requires x to be a positive integer
21:24:42 <oerjan> a ^^ x allows x negative, a must be of a type with division
21:26:49 <oerjan> and a ** x is for floating numbers, real or complex. Haskell doesn't seem to have any special case for a positive.
21:28:13 <oerjan> except that for real floating types, a ** x probably gives an error if a negative.
21:29:20 <oerjan> but enough of haskell. for the real mathematical stuff, to sum up:
21:30:20 <oerjan> a ^ x is well defined if either a is positive real, _or_ x is an integer. otherwise it has multiple complex values.
21:31:23 <oerjan> oh, and if a is 0, then x must be a non-negative integer, period.
21:36:44 * pikhq has been working on updating the BFM to C compiler to match modern-day, truly Turing complete BFM. . .
21:37:11 <pikhq> And, for complex code, it seems a whee bit broken.
21:40:04 <pikhq> And the resulting C code *seems* to be correct.
21:40:11 <pikhq> Of course, it quite obviously *isn't*.
21:41:40 <pikhq> When uncompress.bfm, a program which has worked correctly for all incarnations of BFM so far, fails to work, I call something "broken".
21:43:10 <oerjan> sounds like a reasonable conclusion
22:51:40 -!- oerjan has quit ("Good night").
23:04:19 -!- anonfunc has joined.
23:19:46 -!- wooby has joined.
23:20:14 -!- wooby has quit (Remote closed the connection).
23:20:19 -!- wooby has joined.
23:26:51 -!- anonfunc has quit.
23:27:50 -!- anonfunc has joined.
23:37:03 -!- anonfunc has quit (Read error: 104 (Connection reset by peer)).
23:55:41 -!- GregorR-W has quit (Remote closed the connection).