Thu, 16 Jun 2016 09:40:02 +0000 |
HackBot |
<izabera> ` echo \'for file do mapfile -t lines < "$file"; for (( i = ${#lines[@]} -1; i >= 0; i-- )) do printf "%s\\n" "${lines[i]}"; done done\' >> bin/tac
|
Thu, 16 Jun 2016 09:39:48 +0000 |
HackBot |
<izabera> ` echo \'(( $# )) || set /dev/stdin\' >> bin/tac
|
Thu, 16 Jun 2016 09:39:25 +0000 |
HackBot |
<izabera> ` echo \'#!/bin/bash\' > bin/tac
|
Thu, 16 Jun 2016 09:37:42 +0000 |
HackBot |
<shachaf> rm bin/tac
|
Thu, 16 Jun 2016 08:31:34 +0000 |
HackBot |
<shachaf> sled wisdom/oerjan//s/over/zombie over/
|
Thu, 16 Jun 2016 08:17:38 +0000 |
HackBot |
<shachaf> ` hg cat -r 8437 wisdom/oerjan > wisdom/oerjan; rm wisdom/oerjan_
|
Thu, 16 Jun 2016 05:13:25 +0000 |
HackBot |
<shachaf> le/rn_append phenomenom/The collection of them is called "phenomenomenclature".
|
Thu, 16 Jun 2016 05:08:46 +0000 |
HackBot |
<shachaf> learn A phenomenom is a name given to a phenomenon.
|
Thu, 16 Jun 2016 05:03:58 +0000 |
HackBot |
<\oren\> learn A Steprans variable is a variable whose notation is variable.
|
Thu, 16 Jun 2016 05:03:12 +0000 |
HackBot |
<\oren\> learn A Tall proof is a proof with a small hole, which can only be filled by another Tall proof.
|
Thu, 16 Jun 2016 05:02:18 +0000 |
HackBot |
<shachaf> learn A perfunctory proof is a category-theoretical proof that cites Per Martin-L\xc3\xb6f.
|
Thu, 16 Jun 2016 04:56:50 +0000 |
HackBot |
<shachaf> le/rn modal logic/"modal logic" means "the most common logic" (that is, classical logic).
|
Thu, 16 Jun 2016 04:54:29 +0000 |
HackBot |
<shachaf> learn A matrix is just a matrix. Taneb invented them.
|
Tue, 14 Jun 2016 14:23:30 +0000 |
HackBot |
<oerjan> mkx bin/slwd//sled "wisdom/$1"
|
Tue, 14 Jun 2016 14:18:04 +0000 |
HackBot |
<int-e> ` sed -i s/person/lunatic/ wisdom/moon
|
Tue, 14 Jun 2016 12:56:32 +0000 |
HackBot |
<oerjan> sled wisdom/children//s/$/./
|
Tue, 14 Jun 2016 12:40:55 +0000 |
HackBot |
<oerjan> sled wisdom/erlang//s/./E/;s/$/./
|
Tue, 14 Jun 2016 10:50:49 +0000 |
HackBot |
<hppavilion[1]> learn Children are a fungible commodity
|
Tue, 14 Jun 2016 10:48:33 +0000 |
HackBot |
<hppavilion[1]> le/rn clever/Being clever is different from being wise, but they are indistinguishable in sufficiently large quantities.
|
Tue, 14 Jun 2016 01:41:15 +0000 |
HackBot |
<Sgeo> learn erlang has tricked people into loving global mutable variables while pretending to embrace immutability
|
Mon, 13 Jun 2016 08:26:16 +0000 |
HackBot |
<oerjan> learn Isms are philosophies, religions or ideologies that have branched off from older ones, such as Leninism or Buddhism. Etymologically "ism" is a backformation from portmanteaus on "schism".
|
Mon, 13 Jun 2016 08:25:51 +0000 |
HackBot |
<oerjan> learn Isms are philosophies, religions or ideologies that have branched off from older ones, such as Leninism or Buddhism. Etymologically "ism" is a backformation from portmanteaus on "schism".
|
Mon, 13 Jun 2016 08:24:54 +0000 |
HackBot |
<oerjan> learn Isms are philosophies, religions or ideologies that have branched off from older ones, such as Leninism or Buddhism. Etymologically from portmanteaus on "schism".
|
Mon, 13 Jun 2016 08:14:58 +0000 |
HackBot |
<oerjan> sled wisdom/java//s/./J/;s/$/./
|
Mon, 13 Jun 2016 08:13:25 +0000 |
HackBot |
<oerjan> learn OIC, OIC means Oh I see.
|
Mon, 13 Jun 2016 08:12:17 +0000 |
HackBot |
<oerjan> learn The IOCCC is the Industrial Ordovician COBOL Conference Circuit. Not to be confused with OIC. See also ioccclist.
|
Mon, 13 Jun 2016 07:55:16 +0000 |
HackBot |
<oerjan> le/rn tanebvention/Tanebventions include automatic squirrel feeders, necessity, Go, submarine jousting, the universe, weetoflakes, persistence, the BBC, progress, and this sentence. See also tanebventions (math). He never invents anything involving sex.
|
Mon, 13 Jun 2016 07:53:53 +0000 |
HackBot |
<oerjan> le/rn tanebventions (math)/Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, the reals, Lambek\'s lemma, pointless topology, and histograms.
|