Fri, 10 Oct 2014 11:09:14 +0000 |
HackBot |
<oerjan> mv wisdom/categorical{," product"}
|
Fri, 10 Oct 2014 11:02:39 +0000 |
HackBot |
<b_jonas> learn categorical product is like when you have two category elements A and B then their product is element C iff there are two morphisms p:C->A and q:C->B such that for every element X and morphisms u:X->A and v:X->B there is a morphism w:X->C such that u=wp and v=wq.
|
Fri, 10 Oct 2014 10:54:00 +0000 |
HackBot |
<mroman_> learn hipchat is a chat where you can communicate solely by using meme-emoticons but shouldn\'t.
|
Fri, 10 Oct 2014 10:53:11 +0000 |
HackBot |
<Taneb> echo "loop: see loop" > wisdom/loop
|
Fri, 10 Oct 2014 10:52:16 +0000 |
HackBot |
<Taneb> learn groups are just loops with the property of associativity
|
Wed, 08 Oct 2014 12:43:38 +0000 |
HackBot |
<mroman_> learn chuchich\xc3\xa4schtli is spoken as \xcb\x88\xcf\x87\xca\x8a\xcf\x87\xcb\x90i\xcb\x8c\xcf\x87\xc3\xa6\xca\x83\xcb\x90tli
|
Wed, 08 Oct 2014 08:35:50 +0000 |
HackBot |
<fizzie> delquote 1220
|
Wed, 08 Oct 2014 08:35:47 +0000 |
HackBot |
<fizzie> delquote 1220
|
Tue, 07 Oct 2014 17:43:17 +0000 |
HackBot |
<elliott_> addquote <Taneb> ...my university\'s Scandinavian Society is having a trip to IKEA
|
Tue, 07 Oct 2014 15:06:59 +0000 |
HackBot |
<oerjan> learn TIL that TIL means Today I Learned
|
Tue, 07 Oct 2014 15:06:06 +0000 |
HackBot |
<oerjan> addquote <mroman_> piece of cake doing this stuff in Burlesque :P [19 lines later] <mroman_> I hate Burlesque :(
|
Tue, 07 Oct 2014 09:48:41 +0000 |
HackBot |
<oerjan> rm crunchfuck
|
Tue, 07 Oct 2014 09:46:32 +0000 |
HackBot |
<oerjan> ` rm binpipes moop.txt
|
Tue, 07 Oct 2014 09:40:26 +0000 |
HackBot |
<oerjan> rm gcccomp
|