←2007-03-06 2007-03-07 2007-03-08→ ↑2007 ↑all
00:07:24 * bsmntbombdood wonders what "Bitte waehlen Sie eine Beerdigungnachricht" means
01:04:37 -!- oerjan has joined.
01:06:01 <oerjan> It means "Please select a funeral message".
01:12:36 * oerjan wonders what kind of government a hypocracy is. :)
01:13:00 <oerjan> Rule by stupid people who cannot spell?
01:14:52 <GregorR> Rule by doctors [joke no one will get].
01:21:35 <oerjan> Well it is a bit dated, given the computer revolution in medicine.
01:23:05 <oerjan> or maybe that _is_ the modern version. hm.
01:24:57 <bsmntbombdood> dirty little logreader
01:24:58 <bsmntbombdood> :P
01:26:35 <oerjan> oh and the "hypocracy" was not from the logs. i just read it once again on the web.
01:27:15 <oerjan> i mean when a word is used that often it's got to mean something, right?
01:30:10 -!- crathman has joined.
01:41:49 <SimonRC> :-S
02:28:21 -!- ShadowHntr has joined.
02:44:21 <bsmntbombdood> nooo they be takin my bucket
02:46:15 -!- GreaseMonkey has joined.
03:07:06 <oerjan> Argh! Which complete imbecile decided to put a uniform RealFloat constraint on Haskell Complex numbers?
03:07:17 <SimonRC> hehehe
03:07:31 <SimonRC> Haskell numeric classes are a bloody mess.
03:07:43 <bsmntbombdood> square the circle, man!
03:08:12 <oerjan> i want Complex Rational!
03:08:33 <oerjan> and i might sometime want Gaussian integers too.
03:09:35 <SimonRC> have you looked at the definition of Real
03:09:48 <SimonRC> Me thinks computer science is not math
03:10:16 <SimonRC> Acoording tp haskell typeclasses, the definig property of real numbers is that you can convert them to fractions
03:10:20 <SimonRC> duhbdbdbdbdd
03:11:47 <bsmntbombdood> rationals for the wi
03:11:48 <bsmntbombdood> n
03:11:59 <oerjan> well well. i guess i'll just have to define complex multiplication explicitly.
03:14:26 -!- crathman has quit ("Chatzilla 0.9.77 [Firefox 2.0.0.2/2007021917]").
03:21:21 <GreaseMonkey> According<incomplete-verb to<verb-modifier haskell<noun-as-adjective typeclasses<noun, the<object-as-noun-converter defining<adjective property<object of<verb-extender real<adjective numbers<noun is<verb(primary) that<adjective-to-verb-modifier you<noun can<verb-condition-modifier convert<verb them<reference-noun to<verb-extender fractions<noun
03:21:29 <GreaseMonkey> that is indeed a statement
03:21:50 <GreaseMonkey> because it follows the "noun, verb" format
03:22:02 <GreaseMonkey> with quite a few modifiers
03:22:32 <bsmntbombdood> i'm in ur $location $verbing (your|my) $noun
03:23:11 <GreaseMonkey> that is a *statement*.
03:23:36 <GreaseMonkey> i believe that most sentences spoken in english are statements, including this sentence.
03:24:39 <GregorR> No.
03:24:47 <oerjan> Yes!
03:24:57 * oerjan is feeling paradoxical.
03:26:27 <SimonRC> hm
03:27:16 <oerjan> well?
03:28:07 <GreaseMonkey> the verb "is" can accept a verb as an adjective.
03:28:36 <GreaseMonkey> "No." and "Yes!" are expressions.
03:28:56 <GreaseMonkey> "well?" is an incomplete query
03:29:48 <GregorR> The verb 'is' cannot accept a verb as an adjective X_X
03:29:51 <GregorR> He is eat?
03:29:58 <GregorR> -ing turns a verb into an adjective.
03:30:10 <GreaseMonkey> yah
03:30:27 <GregorR> So does -ed IIRC
03:30:45 <GreaseMonkey> sometimes requires -ed to be -en
03:30:53 <GreaseMonkey> sometimes IT requires -ed to be -en
03:30:57 <GregorR> I live in a happy universe where things are consistent ;)
03:32:14 <oerjan> Wow, can I have your interdimensional communication technology?
03:32:58 <GregorR> Sorry, it can only exist in my universe.
03:46:17 <GreaseMonkey> ^expression tagged onto a statement
03:46:39 <GreaseMonkey> you can tie types of sentences together
03:47:20 <GreaseMonkey> eg: "i'm a fag, so are you?" <- statement + incomplete query
03:47:31 <GreaseMonkey> (i'm straight though)
03:48:37 <bsmntbombdood> taylor series are the shit
03:52:05 <oerjan> Darn I just realized why Complex needs at least Floating. That stupid abs operation in Num requires square root for complex extension! :(
04:37:55 * bsmntbombdood calculates e and sqrt(e)
04:42:44 <bsmntbombdood> http://pastebin.ca/384562
04:42:48 <bsmntbombdood> for no particular reason
04:48:24 <oerjan> wow, that actually crashed Hugs.
05:00:46 <bsmntbombdood> O.o
05:01:05 <bsmntbombdood> that approxamation of e is accurate to within 3/(799!)
05:02:29 <oerjan> Naturally. The exp taylor series converges fast.
05:03:57 <bsmntbombdood> yeah
05:04:37 <oerjan> I would expect (1+x)/(799!) where x ~ 1/800
05:13:25 -!- anonfunc has joined.
05:36:36 <GreaseMonkey> afk food
06:00:27 -!- oerjan_ has joined.
06:01:05 -!- oerjan_ has quit (Client Quit).
06:01:16 -!- oerjan has quit (Remote closed the connection).
06:01:23 -!- oerjan has joined.
06:02:24 <GreaseMonkey> back
06:25:19 -!- ShadowHntr has quit ("End of line.").
06:55:29 -!- oerjan has quit ("leaving").
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:36:36 -!- GreaseMonkey has quit (Read error: 104 (Connection reset by peer)).
09:25:31 -!- sebbu has joined.
09:30:37 -!- nazgjunk has joined.
09:41:10 -!- kxspxr has joined.
09:41:25 -!- kxspxr has quit (Client Quit).
10:06:59 -!- UpTheDownstair has joined.
10:07:02 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)).
10:08:27 -!- UpTheDownstair has changed nick to nazgjunk.
10:19:13 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)).
10:22:26 -!- nazgjunk has joined.
10:52:45 -!- UpTheDownstair has joined.
10:52:49 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)).
10:58:21 -!- UpTheDownstair has changed nick to nazgjunk.
11:18:25 -!- nazgjunk has quit (Read error: 131 (Connection reset by peer)).
11:18:34 -!- UpTheDownstair has joined.
11:20:34 -!- anonfunc has quit.
11:28:35 -!- UpTheDownstair has changed nick to nazgjunk.
12:08:06 -!- UpTheDownstair has joined.
12:08:30 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)).
12:08:40 -!- UpTheDownstair has changed nick to nazgjunk.
12:54:00 -!- jix has joined.
13:24:30 -!- nazgjunk has quit ("really really need to study now").
13:53:42 -!- nazgjunk has joined.
14:21:56 -!- UpTheDownstair has joined.
14:22:21 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)).
14:22:30 -!- UpTheDownstair has changed nick to nazgjunk.
14:24:01 -!- tgwizard has joined.
14:54:18 -!- nazgjunk has quit ("lunch + voting + work, bbl +- 10 CET").
14:58:25 -!- nazgjunk has joined.
15:00:02 -!- nazgjunk has quit (Connection reset by peer).
15:00:08 -!- UpTheDownstair has joined.
15:02:01 -!- UpTheDownstair has changed nick to nazgjunk.
15:17:40 -!- nazgjunk has quit ("Leaving").
17:45:19 -!- jix has quit (Read error: 113 (No route to host)).
19:31:07 -!- dddh has joined.
19:32:33 -!- dddh has left (?).
20:02:16 -!- crathman has joined.
20:24:12 -!- nazgjunk has joined.
20:33:39 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)).
20:33:56 -!- nazgjunk has joined.
20:41:26 -!- UpTheDownstair has joined.
20:41:42 -!- nazgjunk has quit (Connection reset by peer).
20:51:06 -!- crathman has quit (Remote closed the connection).
20:57:26 -!- UpTheDownstair has quit (Read error: 104 (Connection reset by peer)).
20:59:21 -!- nazgjunk has joined.
20:59:45 -!- jix__ has joined.
21:15:37 -!- UpTheDownstair has joined.
21:16:26 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)).
21:40:37 -!- Arrogant has joined.
21:42:48 -!- UpTheDownstair has changed nick to nazgjunk.
21:48:51 -!- UpTheDownstair has joined.
21:50:09 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)).
21:53:09 -!- jix__ has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
21:55:47 -!- UpTheDownstair has changed nick to nazgjunk.
22:04:37 -!- Arrogant has quit ("Leaving").
22:05:43 -!- UpTheDownstair has joined.
22:10:34 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)).
22:12:40 -!- nazgjunk has joined.
22:20:16 -!- nazgjunk has quit (Connection reset by peer).
22:22:58 -!- UpTheDownstair has quit (Connection timed out).
22:23:25 -!- UpTheDownstair has joined.
22:30:54 -!- sebbu2 has joined.
22:34:22 -!- Sgeo has joined.
22:38:33 -!- nazgjunk has joined.
22:39:41 -!- nazgjunk has quit (Connection reset by peer).
22:39:48 -!- UpTheDownstair has quit (Read error: 104 (Connection reset by peer)).
22:46:14 -!- nazgjunk has joined.
22:49:36 -!- sebbu has quit (Connection timed out).
22:55:09 -!- tgwizard has quit (Read error: 110 (Connection timed out)).
23:03:54 -!- crathman has joined.
23:09:49 -!- UpTheDownstair has joined.
23:25:26 -!- nazgjunk has quit (Success).
23:35:39 -!- UpTheDownstair has quit (Success).
23:51:05 -!- crathman has quit (Read error: 113 (No route to host)).
←2007-03-06 2007-03-07 2007-03-08→ ↑2007 ↑all