| Thu, 16 Jun 2016 09:39:48 +0000 |
HackBot |
<izabera> ` echo \'(( $# )) || set /dev/stdin\' >> bin/tac
|
| Thu, 16 Jun 2016 09:39:25 +0000 |
HackBot |
<izabera> ` echo \'#!/bin/bash\' > bin/tac
|
| Thu, 16 Jun 2016 09:37:42 +0000 |
HackBot |
<shachaf> rm bin/tac
|
| Thu, 16 Jun 2016 08:31:34 +0000 |
HackBot |
<shachaf> sled wisdom/oerjan//s/over/zombie over/
|
| Thu, 16 Jun 2016 08:17:38 +0000 |
HackBot |
<shachaf> ` hg cat -r 8437 wisdom/oerjan > wisdom/oerjan; rm wisdom/oerjan_
|
| Thu, 16 Jun 2016 05:13:25 +0000 |
HackBot |
<shachaf> le/rn_append phenomenom/The collection of them is called "phenomenomenclature".
|
| Thu, 16 Jun 2016 05:08:46 +0000 |
HackBot |
<shachaf> learn A phenomenom is a name given to a phenomenon.
|
| Thu, 16 Jun 2016 05:03:58 +0000 |
HackBot |
<\oren\> learn A Steprans variable is a variable whose notation is variable.
|
| Thu, 16 Jun 2016 05:03:12 +0000 |
HackBot |
<\oren\> learn A Tall proof is a proof with a small hole, which can only be filled by another Tall proof.
|
| Thu, 16 Jun 2016 05:02:18 +0000 |
HackBot |
<shachaf> learn A perfunctory proof is a category-theoretical proof that cites Per Martin-L\xc3\xb6f.
|
| Thu, 16 Jun 2016 04:56:50 +0000 |
HackBot |
<shachaf> le/rn modal logic/"modal logic" means "the most common logic" (that is, classical logic).
|
| Thu, 16 Jun 2016 04:54:29 +0000 |
HackBot |
<shachaf> learn A matrix is just a matrix. Taneb invented them.
|
| Tue, 14 Jun 2016 14:23:30 +0000 |
HackBot |
<oerjan> mkx bin/slwd//sled "wisdom/$1"
|
| Tue, 14 Jun 2016 14:18:04 +0000 |
HackBot |
<int-e> ` sed -i s/person/lunatic/ wisdom/moon
|
| Tue, 14 Jun 2016 12:56:32 +0000 |
HackBot |
<oerjan> sled wisdom/children//s/$/./
|
