| 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.
|
| Wed, 24 Feb 2016 05:48:22 +0000 |
HackBot |
<oerjan> ` sed -i \'5s/"/"_/g\' bin/\\?
|
| Wed, 24 Feb 2016 05:44:16 +0000 |
HackBot |
<oerjan> ` sed -i \'1c#!/bin/bash\' bin/\\?
|
| Wed, 24 Feb 2016 05:02:13 +0000 |
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:00:46 +0000 |
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:04 +0000 |
HackBot |
<oerjan> learn Postorder is the same as Polish notation, since Post was Polish. Not to be confused with reverse Polish notation.
|
| Tue, 23 Feb 2016 23:58:17 +0000 |
HackBot |
<hppavilion[1]> le/rn theory/To be theory is to be like a theorem, but inferior
|
| Tue, 23 Feb 2016 23:42:42 +0000 |
HackBot |
<shachaf> ` sed -i \'s/category theory/the theory of categories/\' wisdom/category\\ theory
|
| Tue, 23 Feb 2016 05:18:43 +0000 |
HackBot |
<zgrep> ` grep -ri \'hg\' bin > things_with_hg_in_them_in_bin.txt
|
| Tue, 23 Feb 2016 04:59:54 +0000 |
HackBot |
<zgrep> ` find / -name \'*secret*\' > secret.txt
|
| Tue, 23 Feb 2016 00:05:24 +0000 |
HackBot |
<oerjan> ` sed -i \'s/$/. It can, however, be pointed at, derisively./\' wisdom/\'last-class function\'
|
| Tue, 23 Feb 2016 00:02:33 +0000 |
HackBot |
<hppavilion[1]> le/rn last-class function/A last-class function is a function that cannot be passed as an argument, accept a function as an argument, be returned by a function, return a function, set to a variable other than its initial name, or be called
|
| Mon, 22 Feb 2016 21:59:48 +0000 |
HackBot |
<oerjan> learn Veetans are a race of cuddly, yet sturdy aliens in the Drive comic. Their maximum lifespan is 25 years, but they use it well.
|
