| Fri, 10 Oct 2014 11:44:37 +0000 |
HackBot |
<oerjan> learn_append hi shmere
|
| Fri, 10 Oct 2014 11:44:28 +0000 |
HackBot |
<oerjan> learn hi there
|
| Fri, 10 Oct 2014 11:44:07 +0000 |
HackBot |
<oerjan> sed -i \'6s/[*]/"\\n/\' bin/learn_append
|
| Fri, 10 Oct 2014 11:43:31 +0000 |
HackBot |
<oerjan> sed -i \'6cecho -n "Learned \'"\'"\'$topic\'"\'"\': *cat "wisdom/$topic"\' bin/learn_append
|
| Fri, 10 Oct 2014 11:40:48 +0000 |
HackBot |
<oerjan> revert
|
| Fri, 10 Oct 2014 11:39:30 +0000 |
HackBot |
<oerjan> sed -i \'6cecho -n "Learned \'"\'"\'$topic\'"\'"\': "\\\'"\\n"\'cat "wisdom/$topic"\' bin/learn_append
|
| Fri, 10 Oct 2014 11:32:38 +0000 |
HackBot |
<oerjan> revert
|
| Fri, 10 Oct 2014 11:32:22 +0000 |
HackBot |
<oerjan> rm bin/learn
|
| Fri, 10 Oct 2014 11:28:54 +0000 |
HackBot |
<oerjan> learn Hi there
|
| Fri, 10 Oct 2014 11:28:33 +0000 |
HackBot |
<oerjan> sed -i \'4c\\echo "Learned \'"\'"\'$topic\'"\'"\': $1"\' bin/learn
|
| 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
|
