| Wed, 24 Feb 2016 11:00:23 +0000 |
HackBot |
<oerjan> ` sed -i \'s/blsq.*/j-bot [ ./\' bin/prefixes
|
| Wed, 24 Feb 2016 10:46:24 +0000 |
HackBot |
<shachaf> mkx bin/snackego//echo \':)\'
|
| Wed, 24 Feb 2016 09:40:51 +0000 |
HackBot |
<oerjan> rm lambdabot
|
| Wed, 24 Feb 2016 09:40:01 +0000 |
HackBot |
<oerjan> mk lambdabot//lambdabot: ?where HackEgo
|
| Wed, 24 Feb 2016 09:17:59 +0000 |
HackBot |
<ais523> ` ln -s tomfoolery bin/\'??\'
|
| Wed, 24 Feb 2016 07:04:34 +0000 |
HackBot |
<oerjan> ` sed -i \'s/$/./\' wisdom/theory
|
| Wed, 24 Feb 2016 06:39:18 +0000 |
HackBot |
<shachaf> le/rn post-turing machine/A post-Turing machine is a machine from the post-Turing era.
|
| Wed, 24 Feb 2016 06:27:48 +0000 |
HackBot |
<oerjan> learn myndzi used to keep us all on our feet.
|
| Wed, 24 Feb 2016 06:16:00 +0000 |
HackBot |
<oerjan> ` sed -i \'s/$/./\' wisdom/\'cat introduction\'
|
| Wed, 24 Feb 2016 06:07:01 +0000 |
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 useful
|
| Wed, 24 Feb 2016 06:06:53 +0000 |
HackBot |
<Elronnd> ` sed -i "s/race/alien race/" "wisdom/programmers knowing what they\'re doing"
|
| Wed, 24 Feb 2016 06:06:18 +0000 |
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:01:08 +0000 |
HackBot |
<oerjan> le/rn programmers knowing what they\'re doing/Programmers knowing what they\'re doing is a hypothetical race invoked to justify keeping horrendous traps in programming languages.
|
| Wed, 24 Feb 2016 05:54:46 +0000 |
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:50:05 +0000 |
HackBot |
<oerjan> le/rn !/! is a syntax used in Haskell and Prolog for solving evaluation order problems.
|
