Mercurial > repo
graph
-
<oerjan> ` sed -i \'s/$/./\' wisdom/theoryWed, 24 Feb 2016 07:04:34 +0000, by HackBot
-
<shachaf> le/rn post-turing machine/A post-Turing machine is a machine from the post-Turing era.Wed, 24 Feb 2016 06:39:18 +0000, by HackBot
-
<oerjan> learn myndzi used to keep us all on our feet.Wed, 24 Feb 2016 06:27:48 +0000, by HackBot
-
<oerjan> ` sed -i \'s/$/./\' wisdom/\'cat introduction\'Wed, 24 Feb 2016 06:16:00 +0000, by HackBot
-
<ais523> le/rn cat introduction/cat introduction is the process of piping one or more extra `cat` commands into your pipeline; occasionally this is even actually usefulWed, 24 Feb 2016 06:07:01 +0000, by HackBot
-
<Elronnd> ` sed -i "s/race/alien race/" "wisdom/programmers knowing what they\'re doing"Wed, 24 Feb 2016 06:06:53 +0000, by HackBot
-
<shachaf> le/rn cat elimination/cat elimination is the process of replacing a one-argument `cat` command with the shell operator <Wed, 24 Feb 2016 06:06:18 +0000, by HackBot
-
<shachaf> le/rn cut elimination/The cut-elimination theorem states that any Prolog program written using the cut operator ! can be rewritten without using that operator.Wed, 24 Feb 2016 05:54:46 +0000, by HackBot
-
<oerjan> le/rn !/! is a syntax used in Haskell and Prolog for solving evaluation order problems.Wed, 24 Feb 2016 05:50:05 +0000, by HackBot
-
<oerjan> ` sed -i \'5s/"/"_/g\' bin/\\?Wed, 24 Feb 2016 05:48:22 +0000, by HackBot
-
<oerjan> ` sed -i \'1c#!/bin/bash\' bin/\\?Wed, 24 Feb 2016 05:44:16 +0000, by HackBot
-
<oerjan> learn Postorder is the same as Polish notation, since Post was Polish. Not to be confused with reverse Polish notation, which is postfix.Wed, 24 Feb 2016 05:02:13 +0000, by HackBot
-
<oerjan> learn Postorder is the same as Polish notation, since Post was Polish. Not to be confused with reverse Polish notation, which puts operations last.Wed, 24 Feb 2016 05:00:46 +0000, by HackBot
-
<oerjan> learn Postorder is the same as Polish notation, since Post was Polish. Not to be confused with reverse Polish notation.Wed, 24 Feb 2016 05:00:04 +0000, by HackBot