Mercurial > repo
log wisdom/hydra @ 10196:5f9b220a0802
age | author | description |
---|---|---|
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 |