changeset 8590:9fc912e1c1b9

<hppavilion[1]> ` grep Taneb wisdom/* > share/tanebgrep
author HackBot
date Fri, 24 Jun 2016 11:42:52 +0000
parents 1b8b9afe330d
children beda6152f701
files share/tanebgrep
diffstat 1 files changed, 49 insertions(+), 49 deletions(-) [+]
line wrap: on
line diff
--- a/share/tanebgrep	Fri Jun 24 11:42:07 2016 +0000
+++ b/share/tanebgrep	Fri Jun 24 11:42:52 2016 +0000
@@ -1,49 +1,49 @@
-wisdom/automatic squirrel feeder
-wisdom/bbc
-wisdom/bdsm
-wisdom/bogosort
-wisdom/boxmodel
-wisdom/chu space
-wisdom/ci
-wisdom/costume
-wisdom/curry's paradox
-wisdom/deniability
-wisdom/d-module
-wisdom/ehird
-wisdom/eliot
-wisdom/facebook
-wisdom/fundamental theorem of taneb
-wisdom/go
-wisdom/histogram
-wisdom/it
-wisdom/klein bottle
-wisdom/lambek's lemma
-wisdom/locale
-wisdom/matrix
-wisdom/necessity
-wisdom/nih
-wisdom/nooodle
-wisdom/nvd
-wisdom/persistence
-wisdom/pointless topology
-wisdom/progres
-wisdom/real
-wisdom/redundancy
-wisdom/reflection
-wisdom/shannon
-wisdom/shavention
-wisdom/sober space
-wisdom/stephen wolfram
-wisdom/styrofoam
-wisdom/taneb
-wisdom/tanebvention
-wisdom/tanebventory
-wisdom/tetris
-wisdom/the reals
-wisdom/the torus
-wisdom/the universe
-wisdom/this sentence
-wisdom/torus
-wisdom/twitter
-wisdom/weetoflake
-wisdom/wolfram
+wisdom/automatic squirrel feeder:Automatic squirrel feeders are just feeders in the category of automatic squirrels. Taneb invented them.
+wisdom/bbc:The BBC is the BreadBox Corporation. Its inventions include, without limitation, Muppets and tiny elfs. Taneb invented it.
+wisdom/bdsm:BDSM definitely isn't a kind of LARP and Taneb definitely did not invent it.
+wisdom/bogosort:Bogosort is an efficient sorting algorithm for nondeterministic Turing machines. Taneb may have invented it.
+wisdom/boxmodel:boxmodel is how we figure out how big Taneb's cage is going to be.
+wisdom/chu space:A Chu space is just a matrix. Taneb invented them, then Chu stole his invention.
+wisdom/ci:The CIs are a secret society led by David Morgan-Mar, bent on conquering the world from Sydney with web comics and unsolvable puzzles. They invented Taneb.
+wisdom/costume:Costumes are used for cosplay. Taneb sometimes invents them.
+wisdom/curry's paradox:If this sentence is true, then Taneb invented Curry's paradox.
+wisdom/deniability:Deniability was not invented by Taneb.
+wisdom/d-module:D-modules are just modules over the ring of differential operators. Taneb invented them.
+wisdom/ehird:ehird is the person who Taneb definitely isn't.
+wisdom/eliot:Eliot inverted cats, then Taneb stole his inversion.
+wisdom/facebook:Facebook is Taneb's face collection.
+wisdom/fundamental theorem of taneb:The Fundamental Theorem of Taneb states that for all strings S, if S describes a thing, then it is provable that Taneb invented the thing described by S; and, furthermore, that it is provable that there exists a string T that describes a thing that Taneb did not invent.
+wisdom/go:Go is a common verbal game programming language invented by the Germanic Taneb tribes in the strategic territories of East Asia.
+wisdom/histogram:Histograms are diagrams showing histamine levels. Taneb invented them.
+wisdom/it:Taneb invented it.
+wisdom/klein bottle:A Klein bottle is like a torus, but more insidious. Taneb tried to invent it, but got trapped inside.
+wisdom/lambek's lemma:Lambek's Lemma, invented by Joachim "Taneb" Lambek, states that initial algebras have inverses.
+wisdom/locale:Locales are just frames, which are just complete Heyting algebras. Taneb accidentally invented them by asking about lattices. The only locale available in #esoteric is en_NZ.UTF-8.
+wisdom/matrix:A matrix is just a matrix. Taneb invented them.
+wisdom/necessity:If necessity did not exist, it would be necessary for Taneb to invent it.
+wisdom/nih:NIH was /not/ invented by Taneb.
+wisdom/nooodle:Nooodles are the invention of the Chinese. They were brought to Europe by Marco Polo, a distant ancestor of Taneb.
+wisdom/nvd:nvd is what Taneb calls himself when he wants to feel professional.
+wisdom/persistence:Taneb invented persistence long ago, and it's been around ever since.
+wisdom/pointless topology:Pointless topology is the kind of topology Taneb invents.
+wisdom/progres:Progress has been made today. It was invented by Taneb.
+wisdom/real:The reals are an overt complete ordered Brazilian currency invented by Taneb in 1994.
+wisdom/redundancy:Since redundancy exists, it's redundant for Taneb to invent it.
+Binary file wisdom/reflection matches
+wisdom/shannon:Shannon forbade non mathematically minded people from reading his research papers. Taneb invented it.
+wisdom/shavention:shaventions include: before/lastfiles, culprits, hog/hogue, le//rn, mk/mkx, sled/sedlast, spore/spam/speek/sport/1. Taneb invented them.
+wisdom/sober space:Sober spaces are the dual of Stoned spaces. Taneb invented them.
+wisdom/stephen wolfram:Stephen Wolfram is an esolanger with too much money and power. Taneb invented him.
+wisdom/styrofoam:styrofoam is Taneb's only weakness.
+wisdom/taneb:Taneb is not elliott, no matter who you ask. He also isn't a rabbi although he has pretended in the past. He has at least two backup keyboards with dodgy SHIFT KEys, cube root of eight genders, and above average, not too voluminous, but calm eyebrows. (See also: tanebventions)
+wisdom/tanebvention:Tanebventions include automatic squirrel feeders, necessity, Go, submarine jousting, the universe, weetoflakes, Tanebventions, persistence, the BBC, progress, and this sentence. See also tanebventions: math. He never invents anything involving sex.
+wisdom/tanebventory:The Tanebventory is big. Really big. For one thing, it contains a Hilbert hotel.
+wisdom/tetris:Tetris is where Soviet Russia was invented. Taneb was not present although Triangle and Robert were.
+wisdom/the reals:The reals are an overt complete ordered Brazilian currency invented by Taneb in 1994.
+wisdom/the torus:Topologically, a torus is just a torus. Taneb invented it.
+wisdom/the universe:The universe was invented by Taneb as an opposing force to oerjan. Escardó proved that it was indiscreet.
+wisdom/this sentence:This sentence was invented by shachaf. Taneb invented it.
+wisdom/torus:Topologically, a torus is just a torus. Taneb invented it.
+wisdom/twitter:Twitter is Taneb's bird collection (presumably).
+wisdom/weetoflake:Weetoflakes are something Taneb invented; they taste sort of purple.
+wisdom/wolfram:Stephen Wolfram is an esolanger with too much money and power. Taneb invented him.