log
graph
tags
bookmarks
branches
changeset
browse
help
Mercurial
>
repo
log
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
| rev 8461:
(0)
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
tip
age
author
description
Sun, 12 Jun 2016 11:22:03 +0000
HackBot
<shachaf> learn A frame is just a complete Heying algebra. The difference is that a frame homomorphism doesn\'t preserve implication, if you know what I mean.
Sun, 12 Jun 2016 11:17:08 +0000
HackBot
<shachaf> sled wisdom/locale//s/a question //
Sun, 12 Jun 2016 11:14:54 +0000
HackBot
<shachaf> le/rn stone space/Stone spaces were invented by P. T. Barnum as a hoax.
Sun, 12 Jun 2016 11:02:56 +0000
HackBot
<shachaf> learn Locales are just frames, which are just complete Heyting algebras. Taneb accidentally invented them by asking a question about lattices. The only locale available in #esoteric is en_NZ.UTF-8.
Sun, 12 Jun 2016 10:59:22 +0000
HackBot
<shachaf> le/rn sober space/Sober spaces are the dual of Stoned spaces. Taneb invented them.
Sun, 12 Jun 2016 07:11:42 +0000
HackBot
<shachaf> mkx bin/now//lastfiles "$@" | while read f; do echo -n "$f//"; cat "$f"; done
Sun, 12 Jun 2016 00:56:19 +0000
HackBot
<moon_> addquote <oerjan> i don\'t approve of nuclear-free zones; without nuclei we\'d not exist hth
less
more
| rev 8461:
(0)
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
tip