Mercurial > repo

changeset 5136:abfb308376fc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<elliott> find wisdom -type f -print0 | xargs -0 grep -El \'(is|are) just\' | xargs -I\'{}\' rm \'{}\'
author HackBot
date Sun, 16 Nov 2014 19:42:03 +0000
parents 8375faadadab
children 9c25ca3f6cf9
files wisdom/automatic squirrel feeder wisdom/chu space wisdom/indexed monad wisdom/monoidal category wisdom/natural transformation wisdom/ngram model wisdom/partial order
diffstat 7 files changed, 0 insertions(+), 8 deletions(-) [+]
line wrap: on
line diff
--- a/wisdom/automatic squirrel feeder	Sun Nov 16 19:41:33 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Automatic squirrel feeders are just feeders in the category of automatic squirrels. Taneb invented them.
--- a/wisdom/chu space	Sun Nov 16 19:41:33 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-A Chu space is just a matrix. Taneb invented them, then Chu stole his invention.
--- a/wisdom/indexed monad	Sun Nov 16 19:41:33 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,2 +0,0 @@
-Indexed monads are just monads on an indexed category.
-Indexed monads are just categories enriched over the monoidal category of endofunctors.
--- a/wisdom/monoidal category	Sun Nov 16 19:41:33 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Monoidal categories are just 2-categories with a single object.
--- a/wisdom/natural transformation	Sun Nov 16 19:41:33 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Natural transformations are just morphisms in the category of functors
--- a/wisdom/ngram model	Sun Nov 16 19:41:33 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-An ngram model is just a Markov model with a sliding window state
--- a/wisdom/partial order	Sun Nov 16 19:41:33 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-A partial order is just a small thin skeletal category.