00:14:22 *** nogagplz has quit (Remote host closed the connection)
00:18:36 *** nogagplz (~nogagplz@r220-101-133-53.cpe.unwired.net.au) has joined #swhack
00:24:58 *** maxkelley_ is now known as maxkelley
00:59:45 *** sivy_afk is now known as sivy
01:08:34 *** shepazu (~schepers@2002:d106:d41b:1234:21e:52ff:fe81:88fa) has joined #swhack
01:25:54 *** nogagplz has quit (Remote host closed the connection)
01:28:11 *** nogagplz (~nogagplz@r220-101-133-53.cpe.unwired.net.au) has joined #swhack
01:30:46 *** MaienM is now known as MaienM|Sleep
01:55:42 *** nogagplz has quit (Remote host closed the connection)
01:57:36 <[bjoern]> Labia.
01:58:48 *** nogagplz (~nogagplz@r220-101-133-53.cpe.unwired.net.au) has joined #swhack
02:03:52 *** danja_ has quit (Ping timeout: 256 seconds)
02:10:44 *** Guanno (~Guanno@89-166-65-195.bb.dnainternet.fi) has joined #swhack
02:10:44 <Monty> howdy, Guanno
02:22:06 *** Guanno has quit ()
02:39:46 *** thomasknoll has quit (Quit: Leaving.)
02:51:23 *** thomasknoll (~thomaskno@64.139.230.39) has joined #swhack
02:51:23 <Monty> welcome, thomasknoll
02:53:13 *** jeffarch has quit (Read error: Connection reset by peer)
02:56:15 *** thomasknoll has quit (Ping timeout: 260 seconds)
03:14:44 *** thomasknoll (~thomaskno@64.139.230.39) has joined #swhack
03:16:42 *** thomasknoll has quit (Client Quit)
03:30:37 <BigJibby> hi Monty
03:30:37 <Monty> That is interesting. Please continue.
03:30:45 <BigJibby> what are you doing, Monty?
03:30:46 <Monty> You excrete oxygen.
03:30:58 *** [bjoern] has quit (Quit: Quit)
03:31:05 <BigJibby> no, Monty, I excrete carbon dioxide
03:31:06 <Monty> how?
03:31:18 <BigJibby> by breathing, Monty
03:31:20 <Monty> hairbrush is shipped and exploding?
03:31:28 <BigJibby> no Monty
03:31:29 <Monty> jakob: by now?
03:35:10 *** [bjoern] (~bjoern@dslb-094-222-156-228.pools.arcor-ip.net) has joined #swhack
03:35:50 <[bjoern]> Gutend Abend. Ich bin ein Karton.
04:03:16 *** jeffarch (~jeff@70-41-156-15.cust.wildblue.net) has joined #swhack
04:03:46 *** panni_ has quit (Quit: ( www.nnscript.de :: NoNameScript 3.81 :: www.XLhost.de ))
04:23:16 *** [bjoern] has quit (Read error: Connection reset by peer)
04:48:34 *** CIA-74 has quit (Ping timeout: 248 seconds)
04:55:09 *** CIA-65 (cia@208.69.182.149) has joined #swhack
04:58:31 *** ti`ocpi has quit (Read error: Connection reset by peer)
05:11:30 *** jeanniecool has quit (Ping timeout: 248 seconds)
05:23:13 *** p6eval has quit (Ping timeout: 264 seconds)
05:26:13 *** p6eval (~p6eval@209.9.237.232) has joined #swhack
05:42:17 *** jeanniecool (~jeannieco@65-102-160-251.tukw.qwest.net) has joined #swhack
05:47:42 <jeanniecool> Du bist doch ein Penis.
06:05:49 *** nogagplzd has quit (Ping timeout: 264 seconds)
06:17:50 *** nogagplzd (~nogagplz@ppp121-44-164-50.lns20.syd7.internode.on.net) has joined #swhack
06:47:52 *** sivy has quit (Quit: sivy)
07:27:35 *** p6eval has quit (Ping timeout: 260 seconds)
07:28:26 *** p6eval (~p6eval@209.9.237.232) has joined #swhack
08:19:01 *** nogagplz has quit (Ping timeout: 264 seconds)
08:24:21 *** nogagplz (~nogagplz@r220-101-133-53.cpe.unwired.net.au) has joined #swhack
10:05:47 *** [bjoern] (~bjoern@dslb-094-222-156-228.pools.arcor-ip.net) has joined #swhack
10:18:48 <[bjoern]> Someone's got a cool new nick.
10:20:44 <sbp> not me!
10:21:11 <[bjoern]> No, why would you get a cool new nick?
10:21:50 <sbp> because I'm so cool!
10:22:06 <[bjoern]> "k"
10:22:29 <sbp> I'm scared by your quote
10:22:39 <sbp> .ety Karton
10:22:39 <phenny> Can't find the etymology for "Karton". Try http://etymonline.com/?search=Karton
10:22:40 <sbp> er
10:22:43 <sbp> .leo Karton
10:22:46 <phenny> der Karton = board, card, cardboard, carton, cardboard box
10:22:46 <phenny> beschichteter Karton = coated paperboard II (print.)
10:22:46 <phenny> einlagiger Karton = single ply board
10:22:47 <phenny> — http://dict.leo.org/ende?search=Karton
10:22:48 <sbp> so cool
10:22:55 <[bjoern]> Not without good reason
10:37:12 *** ti`ocpi (~washi@c-76-27-121-193.hsd1.ut.comcast.net) has joined #swhack
10:37:12 <Monty> hey ti`ocpi
11:19:52 *** deltab has quit (Ping timeout: 265 seconds)
11:26:02 *** [bjoern] has quit (Quit: Quit)
11:29:50 *** [bjoern] (~bjoern@dslb-094-222-156-228.pools.arcor-ip.net) has joined #swhack
11:29:51 <Monty> welcome, [bjoern]
11:32:56 *** shepazu has quit (Quit: shepazu)
11:55:19 *** hannes__ (~hannes@sedanet0.sedan.Uni-Osnabrueck.DE) has joined #swhack
12:29:48 *** MacTed has quit ()
12:30:56 *** deltab (~deltab@cpc1-smal2-0-0-cust270.perr.cable.virginmedia.com) has joined #swhack
12:31:13 *** jeffarch has quit (Read error: Connection reset by peer)
12:32:37 *** jeffarch (~jeff@70-41-156-15.cust.wildblue.net) has joined #swhack
13:11:13 *** deltab has quit (Ping timeout: 264 seconds)
13:34:39 *** libby (~libby@cpc1-aztw25-2-0-cust42.aztw.cable.virginmedia.com) has joined #swhack
13:44:08 *** jeffarch has quit (Read error: Connection reset by peer)
13:47:03 *** jeffarch (~jeff@70-41-156-15.cust.wildblue.net) has joined #swhack
14:02:50 *** deltab (~deltab@cpc1-smal2-0-0-cust270.perr.cable.virginmedia.com) has joined #swhack
14:05:38 <sbp> http://iwannagetphysical.blogspot.com/2010/03/friday-funny-81-how-to-get-your-lost.html
14:06:45 <sbp> http://bulk2.destructoid.com/ul/168071-32374-168209-scarfwithrulerjpg-620x.jpg
14:13:40 <archels> such an attention whore
14:19:30 <sbp> attention whores are great
14:19:33 <sbp> as long as they're good at it
14:27:19 *** JibberJim (~jim@dsl-217-155-143-65.zen.co.uk) has joined #swhack
14:39:07 * Arnia drops a 2.4 mile diameter asteroid on New York City
14:39:13 <Arnia> it that enough attention?
14:41:52 <sbp> New York won't be paying you much attention
14:47:30 <Arnia> To be fair, with that size an asteroid, I doubt that much of the eastern seaboard of the US would
15:01:04 <kpreid> yo Arnia
15:01:46 <[bjoern]> In germany, there is a very clear correlation between the birth rate (humans) and the number of storks.
15:02:26 <Arnia> Hey kpreid
15:03:17 <[bjoern]> Speaking of which, http://www.pfalzstorch.de/index.php?id=16
15:03:25 <kpreid> Arnia: http://www.kiwisbybeat.com/minus37.html
15:03:56 <[bjoern]> not the best weather there i take it http://wp1007209.wp014.webpack.hosteurope.de/pfalzstorch/livebilder/bornheim_kirche_mega_weit.jpg
15:04:39 <sbp> stork!
15:05:46 <[bjoern]> They decreased the fail rating of their website, it would seem
15:05:47 <kpreid> Arnia: Also, I'm taking a course on linear algebra and we get to vector spaces and the teacher wants 'X is a vector space' by showing the vector space axioms hold, but I think it's much more fun to show that X is isomorphic to R^2 :(
15:06:31 <Arnia> Well, showing that X is isomorphic to R^2 would show that X is a vector space
15:06:43 <Arnia> but it isn't a particularly general approach
15:06:55 <kpreid> exactly, but I asked and that's not the answer even though they didn't say to do it the other way. hmph.
15:07:38 <Arnia> strange
15:07:59 <kpreid> But anyway, I'm wondering how much of this is because of my contact with Haskell and cateory theory and programming-style abstraction ...
15:08:03 <Arnia> The question should really state 'show X is a vector space by showing the vector space axioms hold for X'
15:08:28 <kpreid> Exactly. The course is mostly good, this particular one is just giving me grumpiness.
15:08:39 <[bjoern]> The answer should state "nu"
15:11:10 <kpreid> But anyway, the candidate vector space in question was 2x2 anti-diagonal matrices
15:12:19 <kpreid> And so I wrote out statements such as c[0 a ; b 0] = [0 ca ; cb 0] ~ <ca, cb> = c<a, b> (where ~ is the previously defined isomorphism: [0 a ; b 0] ~ <a, b>)
15:13:49 <Arnia> Ok, yeah... maybe a bit categorial
15:14:13 <kpreid> And I'm thinking, my use of relation symbols there reminds me of the diagrams of category theory; from the equalities you conclude that c[0 a ; b 0] ~ c<a, b> which is what we want to show, and that's a square diagram. But I don't really grok the foundations of category theory (haven't tried to learn specifically), so I was wondering whether I'm seeing this straight.
15:14:47 <sbp> you pythagorean cultists
15:15:49 <Arnia> well, all diagramatic reasoning in category theory is equational
15:16:25 <Arnia> you demonstrate that all pairs of paths through a diagram which share a start and end point are equal
15:17:15 <kpreid> ...but here two of my relations *are* equality, using other definitions. Which is not quite the same thing, or a degenerate case, yes?
15:17:51 <Arnia> To prove that a path is an isomorphism, you demonstrate that there exists an inverse path such that the composition of the two (both ways) is the identity arrow
15:17:58 <Arnia> so, in other words, the paths cancel
15:19:50 <Arnia> Categorially, what you want to show is that there is a function f : AntiDiag -> R^2 such that there is a function g : R^2 -> AntiDiag such that f;g : AntiDiag -> AntiDiag = id_AntiDiag and g:f : R^2 -> R^2 = id_R^2
15:21:08 <Arnia> Since categorial definitions are defined up to isomorphism, and the definition of a vector space can be phrased categorially, that is enough to show that AntiDiag is a vector space
15:21:47 <Arnia> If you want brownie points, you can define a vector space categorially :p
15:22:06 <kpreid> Whereas my approach was to consider it obvious that fg = gf = id (as I defined f, g) and show that it was homomorphic (and therefore isomorphic)
15:22:32 <kpreid> Well, thanks for the perspective
15:23:01 <Arnia> Well, if you're working in Set, you don't need to worry about whether it is a homomorphism
15:23:22 <Arnia> as long as it is a total function, you're fine
15:24:08 <kpreid> I don't see that
15:26:09 <Arnia> Well, you can't prove that AntiDiag is a vector space by assuming it is a vector space :p
15:26:32 <Arnia> homomorphisms are only defined in the category of vector spaces
15:27:08 <Arnia> Since you don't know whether AntiDiag is a vector space until you have constructed the isomorphism, you have to work in the supercategory of Set
15:28:03 <kpreid> OK, I understand.
15:30:21 <kpreid> Not sure how to express what I meant, which I think is valid, though.
15:39:45 *** jetscreamer has quit (Read error: Connection reset by peer)
15:45:19 *** jetscreamer (~jetscream@unaffiliated/jetscreamer) has joined #swhack
15:46:41 *** [[sroracle]] (~sthrs@wikia/TheOracle23) has joined #swhack
15:50:38 *** [[sroracle]] has quit (Remote host closed the connection)
15:50:52 *** [[sroracle]] (~sthrs@wikia/TheOracle23) has joined #swhack
16:19:21 <Arnia> .c 1600 - 160
16:19:22 <phenny> 1 600 - 160 = 1 440
16:53:58 *** mahound (~mahound@unaffiliated/mahound) has joined #swhack
16:54:53 *** panni_ (hannes@ip-95-222-52-93.unitymediagroup.de) has joined #swhack
17:20:46 *** [[sroracle]] has quit (Ping timeout: 264 seconds)
18:24:09 *** [[sroracle]] (~sthrs@wikia/TheOracle23) has joined #swhack
18:27:07 *** [[sroracle]] has quit (Client Quit)
19:19:19 *** kpreid has quit (Quit: kpreid)
19:21:11 *** kpreid (~kpreid@cpe-72-228-72-196.twcny.res.rr.com) has joined #swhack
19:29:51 *** kpreid has quit (Read error: Connection reset by peer)
19:29:52 *** eel has quit (Read error: Connection reset by peer)
19:33:04 *** kpreid (~kpreid@cpe-72-228-72-196.twcny.res.rr.com) has joined #swhack
19:40:38 *** badsign (~justin@c-76-109-151-168.hsd1.fl.comcast.net) has joined #swhack
19:42:29 *** badsign has parted #swhack (None)
19:57:41 *** [bjoern] has quit (Quit: Quit)
19:58:15 *** [bjoern] (~bjoern@dslb-094-223-216-040.pools.arcor-ip.net) has joined #swhack
20:05:26 *** JibberJim has quit (Ping timeout: 246 seconds)
20:20:58 *** sivy (~sivy@ip98-165-151-31.ph.ph.cox.net) has joined #swhack
20:20:58 <Monty> hi sivy
21:34:57 <Arnia> .c 25 Wh in J
21:34:58 <phenny> 25 watt hours = 90 000 joules
21:35:33 <Arnia> .c 25 Wh / (specific heat capacity of water) in C
21:35:34 <phenny> Arnia: Sorry, no result.
21:35:42 <Arnia> .c specific heat of water
21:35:43 <phenny> Arnia: Sorry, no result.
21:35:48 <Arnia> hmph
21:37:37 <Arnia> .wik specific heat capacity of water
21:37:38 <phenny> "Start the Specific heat capacity of water article, using the Article Wizard if you wish, or add a request for it." - http://en.wikipedia.org/wiki/Specific_heat_capacity_of_water
21:37:46 <Arnia> .g specific heat capacity of water
21:37:47 <phenny> Arnia: http://en.wikipedia.org/wiki/Specific_heat_capacity
21:38:02 <Arnia> .o alpha specific heat capacity of water
21:38:02 <phenny> Arnia: Sorry, no such service. See http://code.google.com/p/phenny-ws/wiki/ServiceDefinitions
21:38:20 <jsled> .o wa specific heat capacity of water
21:38:22 <phenny> water->specific heat capacity c_p;gas->1.865 J/(g K) (joules per gram kelvin difference), liquid->4.18 J/(g K) (joules per gram kelvin difference)
21:39:19 <Arnia> .c 90kJ / 4.18 J/(g K)
21:39:20 <phenny> ((90 kJ) / (4.18 J)) / (g K) = 21 531 100.5 kg-1 K-1
21:39:34 <Arnia> ooh, fun grouping
21:39:56 <Arnia> 90 / 4.18
21:39:59 <Arnia> .c 90 / 4.18
21:40:00 <phenny> 90 / 4.18 = 21.5311005
21:40:42 <Arnia> wait... I just used Wolfram Alpha for an actual task...
21:40:44 <Arnia> UNCLEAN
21:40:49 * Arnia flays himself
21:43:52 <sbp> hehe
22:47:31 <jsled> Arnia: you're now at -1 cuil.
22:48:05 <Arnia> I aim for 6 cuil
22:49:29 *** shepazu (~schepers@31-34-247.wireless.csail.mit.edu) has joined #swhack
22:49:29 <Monty> bah, it's shepazu again
22:56:05 *** nogagplz has quit (Remote host closed the connection)
23:03:40 *** shepazu has quit (Quit: shepazu)
