From b731424522e6579b40abb319877eb84e23501cbb Mon Sep 17 00:00:00 2001 From: Johnson He Date: Sun, 8 Dec 2024 00:15:41 -0500 Subject: [PATCH] bump --- _forest | 2 +- _site/2023/04/09/gsi-applications.html | 6 +- _site/2023/04/10/miserliness.html | 2 +- _site/2023/04/14/rasterize-pdfs.html | 2 +- _site/2023/04/23/scripting.html | 2 +- _site/2023/05/02/chili-oil.html | 2 +- _site/2023/05/07/nonstandard-analysis.html | 2 +- _site/2023/05/10/linux-graphics-modules.html | 2 +- _site/2023/07/24/book-catalogue.html | 2 +- _site/2023/08/03/nic-bonding.html | 2 +- _site/2023/10/10/tortoise-tts.html | 2 +- _site/2023/10/29/coordinating-processes.html | 2 +- _site/2023/11/07/ble-sh.html | 2 +- _site/2023/12/19/icecc.html | 2 +- _site/2023/12/20/xmonad.html | 2 +- _site/2024/01/08/thunderbird-and-nix.html | 2 +- _site/2024/01/16/mellanox.html | 2 +- _site/2024/02/08/natural-models.html | 2 +- _site/2024/02/12/noctua.html | 2 +- _site/2024/02/24/vim.html | 2 +- _site/2024/03/10/deoplete.html | 2 +- _site/2024/04/11/fountain-pen-nibs.html | 2 +- .../2024/06/17/archiving-stack-overflow.html | 2 +- _site/2024/07/24/aruba.html | 2 +- _site/404.html | 2 +- .../2023/05/18/equivalence-of-categories.html | 2 +- _site/category/category-theory/index.html | 2 +- _site/category/site-construction/index.html | 2 +- _site/feed.xml | 2 +- ...1980-the-presheaf-model-for-set-theory.pdf | Bin 0 -> 2222311 bytes _site/forest/awodey-2010.xml | 46 +- _site/forest/blass-1988.xml | 14 +- _site/forest/blass-2003.xml | 6 +- _site/forest/carette-kiselyov-shan-2007.xml | 16 +- _site/forest/cubical-categorical-logic.xml | 4 +- _site/forest/dummett-1991.xml | 34 + _site/forest/ericgio.xml | 56 +- _site/forest/forest.json | 2 +- _site/forest/friedman-1975.xml | 12 +- _site/forest/goldblatt-2006.xml | 40 +- _site/forest/grayson-2018.xml | 10 +- _site/forest/hejohns-0001.xml | 18 +- _site/forest/hejohns-0002.xml | 12 +- _site/forest/hejohns-0003.xml | 6 +- _site/forest/hejohns-0004.xml | 10 +- _site/forest/hejohns-0005.xml | 10 +- _site/forest/hejohns-0006.xml | 118 +- _site/forest/hejohns-0007.xml | 134 +- _site/forest/hejohns-0008.xml | 70 +- _site/forest/hejohns-0009.xml | 8 +- _site/forest/hejohns-000A.xml | 2 +- _site/forest/hejohns-000B.xml | 4 +- _site/forest/hejohns-000C.xml | 158 +- _site/forest/hejohns-000D.xml | 84 +- _site/forest/hejohns-000E.xml | 158 +- _site/forest/hejohns-000F.xml | 180 +- _site/forest/hejohns-000G.xml | 240 +- _site/forest/hejohns-000H.xml | 130 +- _site/forest/hejohns-000I.xml | 44 +- _site/forest/hejohns-000J.xml | 178 +- _site/forest/hejohns-000K.xml | 10 +- _site/forest/hejohns-000L.xml | 8 +- _site/forest/hejohns-000M.xml | 162 +- _site/forest/hejohns-000N.xml | 2 +- _site/forest/hejohns-000O.xml | 793 +++--- _site/forest/hejohns-000P.xml | 2 +- _site/forest/hejohns-000Q.xml | 2 +- _site/forest/hejohns-000R.xml | 2 +- _site/forest/hejohns-000S.xml | 8 +- _site/forest/hejohns-000T.xml | 14 +- _site/forest/hejohns-000V.xml | 2 +- _site/forest/hejohns-000W.xml | 16 + _site/forest/hejohns-000X.xml | 51 + _site/forest/hejohns.xml | 1415 +++++----- _site/forest/hinman-2005.xml | 2 +- _site/forest/index.xml | 642 ++--- _site/forest/jacobs-1999.xml | 2 +- _site/forest/johnstone-2002.xml | 94 +- _site/forest/lambek-scott-1986.xml | 94 +- _site/forest/lawvere-1970.xml | 6 +- _site/forest/logicmatters.xml | 4 +- _site/forest/maclane-moerdijk-1994.xml | 46 +- _site/forest/maddy-2019.xml | 4 +- _site/forest/makkai-reyes-1977.xml | 40 +- _site/forest/marquis-reyes-2012.xml | 6 +- _site/forest/mclarty-1990a.xml | 2 +- _site/forest/mclarty-1990b.xml | 42 +- _site/forest/mclarty-1992.xml | 214 +- _site/forest/millies-zeilberger-2015.xml | 8 +- _site/forest/prelude.xml | 2 +- _site/forest/quine-1960.xml | 8 +- _site/forest/ronnie-chen.xml | 4 +- _site/forest/rosiak-2022.xml | 2 +- _site/forest/scherer-2017.xml | 12 +- _site/forest/scott-1980.xml | 12 + _site/forest/shoenfield-1967.xml | 4 +- _site/forest/statman-1985.xml | 12 +- _site/forest/sterling-2020.xml | 4 +- _site/forest/sterling-2022.xml | 16 +- _site/forest/street-2012.xml | 68 +- _site/forest/sub-0006.xml | 14 +- _site/forest/sub-0007.xml | 64 +- _site/forest/sub-000D.xml | 26 +- _site/forest/sub-000E.xml | 34 +- _site/forest/sub-000G.xml | 84 +- _site/forest/subb-0006.xml | 26 +- _site/forest/subb-000D.xml | 26 +- _site/forest/subb-000E.xml | 68 +- _site/forest/subbb-000D.xml | 34 +- _site/forest/subbb-000E.xml | 68 +- _site/forest/subsub-0007.xml | 20 +- _site/forest/subsubb-0007.xml | 8 +- _site/forest/unstable-244.xml | 6 +- _site/forest/unstable-245.xml | 8 +- _site/forest/unstable-246.xml | 8 +- _site/forest/unstable-247.xml | 6 +- _site/forest/unstable-248.xml | 6 +- _site/forest/unstable-249.xml | 6 +- _site/forest/unstable-250.xml | 8 +- _site/forest/unstable-251.xml | 8 +- _site/forest/unstable-252.xml | 6 +- _site/forest/unstable-253.xml | 6 +- _site/forest/unstable-254.xml | 6 +- _site/forest/unstable-255.xml | 853 +++--- _site/forest/unstable-256.xml | 841 +++--- _site/forest/unstable-257.xml | 646 ++--- _site/forest/unstable-258.xml | 646 ++--- _site/forest/unstable-259.xml | 646 ++--- _site/forest/unstable-260.xml | 863 ++++--- _site/forest/unstable-261.xml | 218 +- _site/forest/unstable-262.xml | 88 +- _site/forest/unstable-263.xml | 141 +- _site/forest/unstable-264.xml | 275 +- _site/forest/unstable-265.xml | 649 +---- _site/forest/unstable-266.xml | 176 +- _site/forest/unstable-267.xml | 135 +- _site/forest/unstable-268.xml | 134 +- _site/forest/unstable-269.xml | 246 +- _site/forest/unstable-270.xml | 193 +- _site/forest/unstable-271.xml | 169 +- _site/forest/unstable-272.xml | 139 +- _site/forest/unstable-273.xml | 192 +- _site/forest/unstable-274.xml | 171 +- _site/forest/unstable-275.xml | 110 +- _site/forest/unstable-276.xml | 135 +- _site/forest/unstable-277.xml | 119 +- _site/forest/unstable-278.xml | 115 +- _site/forest/unstable-279.xml | 729 +++--- _site/forest/unstable-280.xml | 68 +- _site/forest/unstable-281.xml | 69 +- _site/forest/unstable-282.xml | 53 +- _site/forest/unstable-283.xml | 60 +- _site/forest/unstable-284.xml | 88 +- _site/forest/unstable-285.xml | 175 +- _site/forest/unstable-286.xml | 88 +- _site/forest/unstable-287.xml | 805 +----- _site/forest/unstable-288.xml | 1088 +------- _site/forest/unstable-289.xml | 2290 ++++++++++++++--- _site/forest/unstable-290.xml | 550 +++- _site/forest/unstable-291.xml | 137 +- _site/forest/unstable-292.xml | 118 +- _site/forest/unstable-293.xml | 81 +- _site/forest/unstable-294.xml | 94 +- _site/forest/unstable-295.xml | 43 +- _site/forest/unstable-296.xml | 79 +- _site/forest/unstable-297.xml | 49 +- _site/forest/unstable-298.xml | 23 +- _site/forest/unstable-299.xml | 413 +-- _site/forest/unstable-300.xml | 133 +- _site/forest/unstable-301.xml | 265 +- _site/forest/unstable-302.xml | 631 +++++ _site/forest/van-heijenoort-1967.xml | 4 +- _site/forest/von-neumann-1925.xml | 8 +- _site/notes/1-25.html | 2 +- _site/notes/2-08.html | 2 +- _site/posts.html | 2 +- _site/reviews.html | 6 +- _site/site-construction.html | 2 +- .../2023/04/05/katex-test.html | 2 +- .../2023/04/05/last-modified-time-test.html | 2 +- .../2023/04/05/page-sorting.html | 2 +- .../2023/04/05/welcome-to-jekyll.html | 2 +- .../2023/04/07/underscore-plugins.html | 2 +- _site/site-construction/2023/05/14/darcs.html | 2 +- .../2023/11/06/live-reload.html | 2 +- _site/sitemap.xml | 52 +- 186 files changed, 11510 insertions(+), 10860 deletions(-) create mode 100644 _site/forest/1980-the-presheaf-model-for-set-theory.pdf create mode 100644 _site/forest/dummett-1991.xml create mode 100644 _site/forest/hejohns-000W.xml create mode 100644 _site/forest/hejohns-000X.xml create mode 100644 _site/forest/scott-1980.xml create mode 100644 _site/forest/unstable-302.xml diff --git a/_forest b/_forest index 1c8a113..894b1b7 160000 --- a/_forest +++ b/_forest @@ -1 +1 @@ -Subproject commit 1c8a113e36145ee19ce751fd711190c4b186967d +Subproject commit 894b1b783e52a31c80361a5bbebd002bea786947 diff --git a/_site/2023/04/09/gsi-applications.html b/_site/2023/04/09/gsi-applications.html index 04588e8..f609604 100644 --- a/_site/2023/04/09/gsi-applications.html +++ b/_site/2023/04/09/gsi-applications.html @@ -83,8 +83,8 @@

ENGR 101 (F23)

- -
+ +

EECS 376 (F23)

outcome: rejected. No response.

too long version

@@ -153,7 +153,7 @@

related

  • (the answer is yes, you should.)
  • -

    site version: 2024-11-11

    +

    site version: 2024-12-08

    @@ -99,7 +99,7 @@

    reviews

  • (the answer is yes, you should.)
  • -

    site version: 2024-11-11

    +

    site version: 2024-12-08