log wisdom/hydra @ 12246:f3be034784d0 draft

age author description
Thu, 13 Apr 2017 03:20:59 +0000 HackBot <oerjan> ` cd wisdom; sed -i \'s/ $//\' `grwp -l \' $\' | grep -v rules`
Tue, 26 Jul 2016 00:28:55 +0000 HackBot <oerjan> slwd hydra//s/ hydra//
Tue, 26 Jul 2016 00:27:01 +0000 HackBot <oerjan> slwd hydra//s/hydra: //
Tue, 26 Jul 2016 00:26:39 +0000 HackBot <oerjan> slwd hydra//s/ \\(is \\)\\?at/:/g
Tue, 26 Jul 2016 00:24:18 +0000 HackBot <oerjan> slwd hydra//s/[Tt]he //g;s/ (is )?at/:/g
Mon, 25 Jul 2016 10:07:08 +0000 HackBot <b_jonas> `` sed -i \'s>https://en\\.wikipedia.*>https://en.wikipedia.org/wiki/Goodstein%27s_theorem >\' wisdom/hydra
Mon, 25 Jul 2016 10:04:29 +0000 HackBot <b_jonas> learn The hydra is at http://www.madore.org/~david/math/hydra0.xhtml , the dire hydra at http://www.madore.org/~david/math/hydra.xhtml , theory at http://www.madore.org/~david/weblog/d.2008-03-27.1537.html http://www.madore.org/~david/weblog/d.2008-03-16.1534.ordinaux-et-hydres.html http://math.andrej.com/2008/02/02/the-hydra-game/ https://en.wikipedia.org/wiki/Goodstein%27s_theorem