Merge obsidian-to-anki-plugin data.

Notes on RDF and URIs.
2024-07-28 17:51:06 -06:00 · 2024-07-28 17:30:23 -06:00
10 changed files with 699 additions and 693 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1,3 +1,4 @@
+.DS_Store
 .direnv
 result
 notes/.obsidian.mobile
--- a/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json
+++ b/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json
@ -21,30 +21,88 @@
      "Cloze": "Context"
    },
    "FOLDER_DECKS": {
+      "abstract-data-types": "",
+      "algebra": "",
+      "algebra/images": "",
+      "algebra/sequences": "",
+      "algebra/sequences/images": "",
      "algorithms": "",
+      "algorithms/images": "",
+      "algorithms/sorting": "",
      "bash": "",
-      "c": "",
-      "gawk": "",
-      "journal": "",
+      "binary": "",
+      "c17": "",
+      "combinatorics": "",
+      "combinatorics/images": "",
+      "data-structures": "",
+      "data-structures/images": "",
+      "encoding": "",
+      "encoding/images": "",
+      "filesystems": "",
+      "formal-system": "",
+      "formal-system/logical-system": "",
+      "formal-system/proof-system": "",
+      "git": "",
+      "hashing": "",
+      "hashing/images": "",
+      "lambda-calculus": "",
+      "lambda-calculus/images": "",
      "logic": "",
-      "lua": "",
-      "nix": "",
+      "logic/classical": "",
+      "ontology": "",
+      "ontology/philosophy": "",
+      "ontology/rdf": "",
+      "ontology/rdf/images": "",
      "posix": "",
-      "templates": "",
-      "algorithms/sorting": ""
+      "programming": "",
+      "proofs": "",
+      "set": "",
+      "set/images": "",
+      "startups": "",
+      "x86-64": "",
+      "x86-64/instructions": ""
    },
    "FOLDER_TAGS": {
+      "abstract-data-types": "",
+      "algebra": "",
+      "algebra/images": "",
+      "algebra/sequences": "",
+      "algebra/sequences/images": "",
      "algorithms": "",
+      "algorithms/images": "",
+      "algorithms/sorting": "",
      "bash": "",
-      "c": "",
-      "gawk": "",
-      "journal": "",
+      "binary": "",
+      "c17": "",
+      "combinatorics": "",
+      "combinatorics/images": "",
+      "data-structures": "",
+      "data-structures/images": "",
+      "encoding": "",
+      "encoding/images": "",
+      "filesystems": "",
+      "formal-system": "",
+      "formal-system/logical-system": "",
+      "formal-system/proof-system": "",
+      "git": "",
+      "hashing": "",
+      "hashing/images": "",
+      "lambda-calculus": "",
+      "lambda-calculus/images": "",
      "logic": "",
-      "lua": "",
-      "nix": "",
+      "logic/classical": "",
+      "ontology": "",
+      "ontology/philosophy": "",
+      "ontology/rdf": "",
+      "ontology/rdf/images": "",
      "posix": "",
-      "templates": "",
-      "algorithms/sorting": ""
+      "programming": "",
+      "proofs": "",
+      "set": "",
+      "set/images": "",
+      "startups": "",
+      "x86-64": "",
+      "x86-64/instructions": ""
    },
    "Syntax": {
      "Begin Note": "%%ANKI",
@ -69,586 +127,185 @@
      "Add Obsidian Tags": false
    },
    "IGNORED_FILE_GLOBS": [
-      "**/*.excalidraw.md"
+      "**/*.excalidraw.md",
+      "_journal/**",
+      "_templates/**"
    ]
  },
  "Added Media": [
-    "insertion-sort.gif",
-    "selection-sort.gif",
-    "bubble-sort.gif",
-    "lattice-path-chessboard.png",
-    "lattice-path-chessboard-colored.png",
-    "lattice-path-before-recurrence.png",
-    "lattice-path-after-recurrence.png",
-    "merge-sort.gif",
-    "theta-notation.png",
+    "array-1d-col-major.png",
+    "array-1d-row-major.png",
+    "array-multi-col-major.png",
+    "array-multi-row-major.png",
    "big-o-notation.png",
    "big-omega-notation.png",
-    "ordering-y-repetition-y.jpg",
-    "ordering-repetition.jpg",
-    "ordering-y-repetition-n.jpg",
-    "ordering-n-repetition-y.jpg",
-    "ordering-n-repetition-n.jpg",
-    "triangular-gnomon.png",
-    "pascals-triangle.webp",
-    "square-gnomon.png",
-    "floor-negative.png",
-    "floor-positive.png",
-    "ceil-positive.png",
-    "ceil-negative.png",
-    "pascals-triangle.png",
-    "normalized-form.png",
-    "denormalized-form.png",
-    "infinity.png",
-    "nan.png",
-    "directed-graph-example.png",
-    "undirected-graph-example.png",
-    "free-tree.png",
-    "forest.png",
-    "cyclic-undirected.png",
-    "rooted-tree.png",
-    "ordered-rooted-tree.png",
-    "ordered-rooted-tree-cmp.png",
-    "ordered-binary-tree-cmp.png",
+    "binary-tree-nodes.png",
+    "bubble-sort.gif",
+    "church-rosser.png",
+    "closed-addressing.png",
    "complete-tree.png",
-    "nearly-complete-tree.png",
-    "non-nearly-complete-tree.png",
-    "perfect-tree.png",
-    "non-complete-tree.png",
-    "max-heap-tree.png",
+    "cyclic-undirected.png",
+    "denormalized-form.png",
+    "directed-graph-example.png",
+    "forest.png",
+    "free-tree.png",
+    "function-bijective.png",
+    "function-general.png",
+    "function-injective.png",
+    "function-kernel.png",
+    "function-surjective.png",
+    "graph-induced-subgraph.png",
+    "graph-isomorphic.png",
+    "graph-non-subgraph.png",
+    "graph-subgraph.png",
+    "heapsort.gif",
+    "infinite-cartesian-product.png",
+    "infinity.png",
+    "insertion-sort.gif",
+    "lattice-path-after-recurrence.png",
+    "lattice-path-before-recurrence.png",
+    "lattice-path-chessboard-colored.png",
+    "lattice-path-chessboard.png",
+    "lcrs-nodes.png",
    "max-heap-array.png",
+    "max-heap-tree.png",
    "max-heapify-1.png",
    "max-heapify-2.png",
-    "heapsort.gif",
-    "array-1d-row-major.png",
-    "array-1d-col-major.png",
-    "array-multi-row-major.png",
-    "array-multi-col-major.png",
-    "graph-isomorphic.png",
-    "graph-induced-subgraph.png",
-    "graph-subgraph.png",
-    "graph-non-subgraph.png",
-    "lcrs-nodes.png",
-    "binary-tree-nodes.png",
-    "venn-diagram-union.png",
+    "merge-sort.gif",
+    "nan.png",
+    "non-complete-tree.png",
+    "normalized-form.png",
+    "open-addressing.png",
+    "ordered-binary-tree-cmp.png",
+    "ordered-rooted-tree-cmp.png",
+    "ordering-n-repetition-n.jpg",
+    "ordering-n-repetition-y.jpg",
+    "ordering-repetition.jpg",
+    "ordering-y-repetition-n.jpg",
+    "ordering-y-repetition-y.jpg",
+    "pascals-triangle.png",
+    "perfect-tree.png",
+    "relation-ordering-example.png",
+    "rooted-tree.png",
+    "selection-sort.gif",
+    "square-gnomon.png",
+    "theta-notation.png",
+    "triangular-gnomon.png",
+    "triple-table-repr.png",
+    "undirected-graph-example.png",
+    "venn-diagram-abs-comp.png",
    "venn-diagram-intersection.png",
    "venn-diagram-rel-comp.png",
-    "venn-diagram-abs-comp.png",
    "venn-diagram-symm-diff.png",
-    "relation-ordering-example.png",
-    "open-addressing.png",
-    "closed-addressing.png",
-    "function-bijective.png",
-    "function-injective.png",
-    "function-surjective.png",
-    "function-general.png",
-    "church-rosser.png",
-    "infinite-cartesian-product.png",
-    "function-kernel.png"
+    "venn-diagram-union.png"
  ],
  "File Hashes": {
-    "algorithms/index.md": "3ac071354e55242919cc574eb43de6f8",
-    "algorithms/sorting/index.md": "4a66e28bce754de5df31ec2f4aed7e93",
-    "algorithms/sorting/insertion-sort.md": "8bb3217cc3f49083d45a0095c667d176",
-    "bash/index.md": "22083ea1ee9505cc96b02f82f63ba2c9",
-    "bash/prompts.md": "cc51c210fa819338d4e95658955173df",
-    "bash/quoting.md": "b1d8869a91001f8b22f0cdc54d806f61",
-    "bash/robustness.md": "a3d924e0c58bbf0a2f2b0482f5cf94b6",
-    "bash/shebang.md": "577e32f9f508625fd9b4002a7a26b211",
-    "c/escape-sequences.md": "7b4bbf159908320249158acfe47a9074",
-    "c/index.md": "a021c92f19831bdd2bca4cbf813882fe",
-    "gawk/index.md": "e4da41ba6a2c2602d9f15f2930608e3c",
-    "gawk/variables.md": "8274b72f2a3ae6d0dda15a0b0b4dde45",
-    "index.md": "e48e895feeed7046425bb2ee15419770",
-    "journal/2024-01-31.md": "7c7fbfccabc316f9e676826bf8dfe970",
-    "journal/2024-02-01.md": "3aa232387d2dc662384976fd116888eb",
-    "journal/2024-02-02.md": "a3b222daee8a50bce4cbac699efc7180",
-    "journal/2024-02-03.md": "c6d411f0e2e964270399dd3a99f48382",
-    "logic/index.md": "717099c8fefb416eed7dcf83a2284297",
-    "logic/propositional.md": "1ac07079aff07a7c2cb09daacefbb960",
-    "lua/index.md": "fd3d0b66765f0e9df233e8e02ce33e94",
-    "nix/callPackage.md": "9aeeaa22878434d3c4498cb92cfe230b",
-    "nix/index.md": "4efc7fcc4ea22834ba595497e5fb715c",
-    "posix/index.md": "97b1b8ecb9a953e855a9acf0ab25b8c8",
-    "posix/signals.md": "f4132369878c683bfac4d7fd863d19ba",
-    "templates/daily.md": "7866014e730e85683155207a02e367d8",
-    "posix/regexp.md": "d7d1b8cde49c405d44c7e1d9343769c0",
-    "journal/2024-02-04.md": "e2b5678fc53d7284b71ed6820c02b954",
-    "gawk/regexp.md": "d9229f1eabe1b99e965eecaa03bee86c",
-    "_templates/daily.md": "36d0b695e8a955ff1d8e980154469e03",
-    "_journal/2024-02-05.md": "f8505abd415c50fd97c81fd6153a6d4f",
-    "_journal/2024-02-06.md": "1ea415f3c3f5be17f796b9a0d4df565f",
-    "_journal/2024-02-04.md": "f77a3c5f3ce7969120f226738836dc92",
-    "_journal/2024-02-03.md": "c6d411f0e2e964270399dd3a99f48382",
-    "_journal/2024-02-02.md": "a3b222daee8a50bce4cbac699efc7180",
-    "_journal/2024-02-01.md": "3aa232387d2dc662384976fd116888eb",
-    "_journal/2024-01-31.md": "7c7fbfccabc316f9e676826bf8dfe970",
-    "logic/equiv-trans.md": "d05cbd53c1c18ffd36f9117479bbc1fd",
-    "_journal/2024-02-07.md": "8d81cd56a3b33883a7706d32e77b5889",
-    "algorithms/loop-invariants.md": "cbefc346842c21a6cce5c5edce451eb2",
-    "algorithms/loop-invariant.md": "3b390e720f3b2a98e611b49a0bb1f5a9",
-    "algorithms/running-time.md": "5efc0791097d2c996f931c9046c95f65",
-    "algorithms/order-growth.md": "1c3f7ff710b6e67a04e16cdfd0f63e8c",
-    "_journal/2024-02-08.md": "19092bdfe378f31e2774f20d6afbfbac",
-    "algorithms/sorting/selection-sort.md": "73415c44d6f4429f43c366078fd4bf98",
-    "algorithms/index 1.md": "6fada1f3d5d3af64687719eb465a5b97",
-    "binary/hexadecimal.md": "c3d485f1fd869fe600334ecbef7d5d70",
-    "binary/index.md": "9089c6f0e86a0727cd03984f51350de0",
-    "_journal/2024-02-09.md": "a798d35f0b2bd1da130f7ac766166109",
-    "c/types.md": "cf3e66e5aee58a94db3fdf0783908555",
-    "logic/quantification.md": "a83c424bf9f0bc675e9bd09f8118317b",
-    "c/declarations.md": "2de27f565d1020819008ae80593af435",
-    "algorithms/sorting/bubble-sort.md": "872fb23e41fb3ac36e8c46240e9a027f",
-    "_journal/2024-02-10.md": "562b01f60ea36a3c78181e39b1c02b9f",
-    "_journal/2024-01/2024-01-31.md": "7c7fbfccabc316f9e676826bf8dfe970",
-    "_journal/2024-02/2024-02-09.md": "a798d35f0b2bd1da130f7ac766166109",
-    "_journal/2024-02/2024-02-08.md": "19092bdfe378f31e2774f20d6afbfbac",
-    "_journal/2024-02/2024-02-07.md": "8d81cd56a3b33883a7706d32e77b5889",
-    "_journal/2024-02/2024-02-06.md": "1ea415f3c3f5be17f796b9a0d4df565f",
-    "_journal/2024-02/2024-02-05.md": "f8505abd415c50fd97c81fd6153a6d4f",
-    "_journal/2024-02/2024-02-04.md": "f77a3c5f3ce7969120f226738836dc92",
-    "_journal/2024-02/2024-02-03.md": "c6d411f0e2e964270399dd3a99f48382",
-    "_journal/2024-02/2024-02-02.md": "a3b222daee8a50bce4cbac699efc7180",
-    "_journal/2024-02/2024-02-01.md": "3aa232387d2dc662384976fd116888eb",
-    "_journal/2024-02/2024-02-10.md": "562b01f60ea36a3c78181e39b1c02b9f",
-    "_journal/2024-02-11.md": "afee9f502b61e17de231cf2f824fbb32",
-    "binary/endianness.md": "63117fe7795e2a10cb2eb7843a089d9d",
-    "logic/normal-form.md": "389c3a4cf2d924642f21194d78c211e0",
-    "_journal/2024-02-12.md": "240d17f356305de9c0c00282b2931acd",
-    "_journal/2024-02/2024-02-11.md": "afee9f502b61e17de231cf2f824fbb32",
-    "encoding/ascii.md": "34350e7b5a4109bcd21f9f411fda0dbe",
-    "encoding/index.md": "071cfa6a5152efeda127b684f420d438",
-    "c/strings.md": "aba6e449906d05aee98e3e536eb43742",
-    "logic/truth-tables.md": "a9fe98af6cabc0e4b087086075e09af5",
-    "logic/short-circuit.md": "3c884bcc88007c5568ea7c047fbecb6f",
-    "logic/boolean-algebra.md": "56d2e0be2853d49b5dface7fa2d785a9",
-    "_journal/2024-02-13.md": "6242ed4fecabf95df6b45d892fee8eb0",
-    "_journal/2024-02/2024-02-12.md": "618c0035a69b48227119379236a02f44",
-    "binary/shifts.md": "9bbeef29e98c3ab521f44b87528cf5c2",
-    "_journal/2024-02-14.md": "76d1b607470305fb3f00a47b8e9ece27",
-    "_journal/2024-02/2024-02-13.md": "6242ed4fecabf95df6b45d892fee8eb0",
-    "_journal/2024-02-15.md": "575ba46d692795d9606de9e635d1f4ac",
-    "_journal/2024-02/2024-02-14.md": "aa009f9569e175a8104b0537ebcc5520",
-    "_journal/2024-02-16.md": "5cc129254afd553829be3364facd23db",
-    "_journal/2024-02/2024-02-15.md": "16cb7563d404cb543719b7bb5037aeed",
-    "algebra/floor-ceiling.md": "a22efe853ad1234b2d3e0d7cc7e6fc47",
-    "algebra/index.md": "90b842eb694938d87c7c68779a5cacd1",
-    "algorithms/binary-search.md": "8533a05ea372e007ab4e8a36fd2772a9",
-    "_journal/2024-02-17.md": "7c37cb10515ed3d2f5388eaf02a67048",
-    "_journal/2024-02/2024-02-16.md": "5cb83519ac99618514b7fb638b46187d",
-    "binary/integer-encoding.md": "7ace6ab6c5a4191ae0abdfe7e5abb6a2",
-    "combinatorics/index.md": "66efa649c4c87e58fc82c2199096ade4",
-    "_journal/2024-02-18.md": "67e36dbbb2cac699d4533b5a2eaeb629",
-    "_journal/2024-02/2024-02-17.md": "7c37cb10515ed3d2f5388eaf02a67048",
-    "combinatorics/multiplicative-principle.md": "7c06835fa34cfefa217a10cf11ef4ab0",
-    "combinatorics/additive-principle.md": "d036ac511e382d5c1caca437341a5915",
-    "_journal/2024-02-19.md": "30d16c5373deb9cb128d2e7934ae256a",
-    "_journal/2024-02/2024-02-18.md": "67e36dbbb2cac699d4533b5a2eaeb629",
-    "combinatorics/permutations.md": "efd0820ab3cc7faa5b2df3fe40105110",
-    "combinatorics/combinations.md": "396fc32255710eaf33213efaafdc43d4",
-    "_journal/2024-02-20.md": "b85ba0eeeb16e30a602ccefabcc9763e",
-    "_journal/2024-02/2024-02-19.md": "df1a9ab7ab89244021b3003c84640c78",
-    "combinatorics/inclusion-exclusion.md": "c27b49ee03cc5ee854d0e8bd12a1d505",
-    "_journal/2024-02-21.md": "b9d944ecebe625da5dd72aeea6a916a2",
-    "_journal/2024-02/2024-02-20.md": "af2ef10727726200c4defe2eafc7d841",
-    "algebra/radices.md": "662a3e2f611dd9655f1ef6c7ed0a9943",
-    "_journal/2024-02-22.md": "e01f1d4bd2f7ac2a667cdfd500885a2a",
-    "_journal/2024-02/2024-02-21.md": "f423137ae550eb958378750d1f5e98c7",
-    "_journal/2024-02-23.md": "219ce9ad15a8733edd476c97628b71fd",
-    "_journal/2024-02/2024-02-22.md": "312e55d57868026f6e80f7989a889c2b",
-    "c17/strings.md": "2da50edd26eae35c81f70e65bbd12d49",
-    "c17/index.md": "78576ee41d0185df82c59999142f4edb",
-    "c17/escape-sequences.md": "a8b99070336878b4e8c11e9e4525a500",
-    "c17/declarations.md": "ab6d44e48b0c1c8d98cd409721cc2c53",
-    "algorithms/sorting/merge-sort.md": "6506483f7df6507cee0407bd205dbedd",
-    "_journal/2024-02-24.md": "9bb319d5014caf962a9ce3141076cff4",
-    "_journal/2024-02/2024-02-23.md": "0aad297148e8cc4058b48b7e45787ca7",
-    "_journal/2024-02-25.md": "fb1a48208c11d12262facc647749ca6f",
-    "_journal/2024-02/2024-02-24.md": "ee92fd63ebbda5f8ffa0abd06700ead1",
-    "_journal/2024-02-26.md": "ccbee662c1b2c42027bce1ed6f9a5ac4",
-    "_journal/2024-02/2024-02-25.md": "426be827fe8483e4ab432304a2aa6df3",
-    "_journal/2024-02-27.md": "851180f1f7c1aaacd4c0b0ec2639bdf2",
-    "_journal/2024-02/2024-02-26.md": "417b84be5d96f9d8adcdedca3b68b141",
-    "_journal/2024-02-28.md": "7489377c014a2ff3c535d581961b5b82",
-    "_journal/2024-02/2024-02-27.md": "f75a0d04a875aeee932343dae0c78768",
-    "filesystems/index.md": "cbd2b0290a3ba3b32abec4bd8bfefad5",
-    "filesystems/cas.md": "d41c0d2e943adecbadd10a03fd1e4274",
-    "git/objects.md": "03c452a26374b1a99983157f236c5a3d",
-    "git/index.md": "ca842957bda479dfa1170ae85f2f37b8",
-    "encoding/integer.md": "f9786eab7f64ec63272dcca010961fe8",
-    "_journal/2024-02-29.md": "f610f3caed659c1de3eed5f226cab508",
-    "_journal/2024-02/2024-02-28.md": "7489377c014a2ff3c535d581961b5b82",
-    "_journal/2024-03-01.md": "a532486279190b0c12954966cbf8c3fe",
-    "_journal/2024-02/2024-02-29.md": "0e502a2c8baf90c2f12859b03f10b5a1",
-    "algebra/sequences.md": "97c217823aacf8910a1a37bde694ecfe",
-    "algebra/sequences/index.md": "208174a5a078b120fa11e296ad1d09c1",
-    "_journal/2024-03-02.md": "08c3cae1df0079293b47e1e9556f1ce1",
-    "_journal/2024-03/2024-03-01.md": "70da812300f284df72718dd32fc39322",
-    "algebra/sequences/triangular-numbers.md": "1ae6730fa64bbb44d1d51a899f047584",
-    "algebra/sequences/square-numbers.md": "171f7c5a8dac088afba40923ab86c68e",
-    "_journal/2024-03-03.md": "c4977a3778ed227b768c3f9ad5512670",
-    "_journal/2024-03/2024-03-02.md": "8136792b0ee6e08232e4f60c88d461d2",
-    "_journal/2024-03-04.md": "9ec052061e7a613ff877a4488576e82f",
-    "_journal/2024-03/2024-03-03.md": "64e2f17b4d57a6bd42a3d1b7f2851b83",
-    "_journal/2024-03-05.md": "e9a911c19bb4c0ff451db793248cb4bb",
-    "_journal/2024-03/2024-03-04.md": "4948d90a08af2cff58c629c9a2e11ee4",
-    "algebra/sequences/geometric.md": "57544cab59f0b8c28d4a11f0273a3119",
-    "algebra/sequences/arithmetic.md": "63cb1bd3a0d01942f4f7a4212c742cfd",
-    "_journal/2024-03-06.md": "ac7a3d764934f49b2be7aa76e402d853",
-    "_journal/2024-03/2024-03-05.md": "94b28d0b9bc62cc0bd99d315fb7c6d30",
-    "_journal/2024-03-07.md": "7bf68d6d81e89aa00f5ddd7510b69e3e",
-    "_journal/2024-03/2024-03-06.md": "c1d8b6b0d3c5ad34b8135230ec102443",
-    "_journal/2024-03-08.md": "cc2df3428b965ae469904c1a21e00b8f",
-    "_journal/2024-03/2024-03-07.md": "58b84cabda4e875ab0c9e5317b2b6e2c",
-    "_journal/2024-03-09.md": "55cfba7bb14232007a2c4e11c839388a",
-    "_journal/2024-03-10.md": "b206d34f6fd1c9efec33a15dd146c87f",
-    "_journal/2024-03/2024-03-09.md": "a3eb6ddcae0806f3bf47d08971eff380",
-    "_journal/2024-03/2024-03-08.md": "cc2df3428b965ae469904c1a21e00b8f",
-    "_journal/2024-03-11.md": "87aed4a4a842b0a277c752487f48cb4b",
-    "_journal/2024-03/2024-03-10.md": "4d3ccad4c8408e1ad7e5bea8269c0a2f",
-    "_journal/2024-03-12.md": "4ee623a47f951e94b979da93dc20eddf",
-    "_journal/2024-03/2024-03-11.md": "a70c73727b441a7714c764a59537d69c",
-    "_journal/2024-03-13.md": "2c0dd770d7eb17129aeb21fcbbe48532",
-    "_journal/2024-03/2024-03-12.md": "1b93e0b6fdc25301ec6053cfe3c7c7ba",
-    "_journal/2024-03-14.md": "1c173cab2e903aad876c5f11d49a8b20",
-    "_journal/2024-03/2024-03-13.md": "6a2ad92d0983c36acef93932bfec1758",
-    "git/references.md": "73792b2c7a0700a58336e045915ba0d4",
-    "_journal/2024-03-15.md": "a1f0ba85b8d3dd8cf1976373298eb717",
-    "encoding/float.md": "5c3f06d8efe031e341cd295ff235adcc",
-    "_journal/2024-03/2024-03-14.md": "1c173cab2e903aad876c5f11d49a8b20",
-    "_journal/2024-03-16.md": "ef1bcb4d28790c8a32691ddedd6c289f",
-    "_journal/2024-03/2024-03-15.md": "e54b2513beac5f46313b4c37622adf39",
-    "_journal/2024-03-17.md": "72e99c7630085aee2c7f340a06b5ada7",
-    "_journal/2024-03/2024-03-16.md": "ab7629c24ebe70838072cf6acec47cb0",
-    "encoding/floating-point.md": "fcec4aaa249fe8fd90b14c3806cefbf5",
-    "_journal/2024-03-18.md": "8479f07f63136a4e16c9cd07dbf2f27f",
-    "_journal/2024-03/2024-03-17.md": "23f9672f5c93a6de52099b1b86834e8b",
-    "set/directed-graph.md": "b4b8ad1be634a0a808af125fe8577a53",
-    "set/index.md": "6670c57f29c84eef8dcfff7a8901befe",
-    "set/graphs.md": "f0cd201673f2a999321dda6c726e8734",
-    "_journal/2024-03-19.md": "a0807691819725bf44c0262405e97cbb",
-    "_journal/2024-03/2024-03-18.md": "63c3c843fc6cfc2cd289ac8b7b108391",
-    "awk/variables.md": "e40a20545358228319f789243d8b9f77",
-    "awk/regexp.md": "4ce38103575a5321a1503b28e1d714dd",
-    "awk/index.md": "257738d2d864933fb4bd21e8609c525d",
-    "_journal/2024-03-20.md": "2403b0aebe301123192cfa1085f0d874",
-    "_journal/2024-03/2024-03-19.md": "a24995a82bcebcc2b2aa5815a19a8af7",
-    "posix/awk/variables.md": "cc7e912c7fbda552d27e2064d84d15a5",
-    "posix/awk/regexp.md": "46ceac3d5225ea3f3a375d74c2e2e0e9",
-    "posix/awk/index.md": "cac4a1db94f9fc39c5e63ff6994b76aa",
-    "x86-64/assembly.md": "6c4905468f3936ae260b281e2acd7ffc",
-    "x86-64/index.md": "112891852e2a260ceaeb916207a1568f",
-    "_journal/2024-03-21.md": "a2572d2d5be0ee7c7f066d846e2f3e77",
-    "_journal/2024-03/2024-03-20.md": "0a73ce399d275fe6ee3134a812f3f4f9",
-    "_journal/2024-03-22.md": "8da8cda07d3de74f7130981a05dce254",
-    "_journal/2024-03/2024-03-21.md": "cd465f71800b080afa5c6bdc75bf9cd3",
-    "x86-64/declarations.md": "75bc7857cf2207a40cd7f0ee056af2f2",
-    "x86-64/instructions.md": "06b7fbe1a7a9568b80239310eb72e87a",
-    "git/refs.md": "e20c2c9b14ba6c2bd235416017c5c474",
-    "set/trees.md": "f21182d92a480613f18c0a9d8839fb57",
-    "_journal/2024-03-24.md": "1974cdb9fc42c3a8bebb8ac76d4b1fd6",
-    "_journal/2024-03/2024-03-23.md": "ad4e92cc2bf37f174a0758a0753bf69b",
-    "_journal/2024-03/2024-03-22.md": "a509066c9cd2df692549e89f241d7bd9",
-    "_journal/2024-03-25.md": "e8edd82e6416c558204a321b1d866058",
-    "_journal/2024-03-26.md": "c21d80f07a8056a5a0a31ade8f2f6f65",
-    "_journal/2024-03/2024-03-25.md": "458bce81efc28130478309b847fa197c",
-    "_journal/2024-03/2024-03-24.md": "1974cdb9fc42c3a8bebb8ac76d4b1fd6",
-    "_journal/2024-03-28.md": "93656f36909d69a77f20ce62e1acd63f",
-    "_journal/2024-03/2024-03-27.md": "42cb4031f290972be2a43172e80b280a",
-    "_journal/2024-03/2024-03-26.md": "c21d80f07a8056a5a0a31ade8f2f6f65",
-    "_journal/2024-03-29.md": "714957f5f770ff79ff011b4fa6f44cd6",
-    "_journal/2024-03/2024-03-28.md": "95f213c78825abf4a2d8c75dce59688e",
-    "_journal/2024-04-05.md": "e8cc9071509acf5a84b2c08ebe8c4249",
-    "_journal/2024-04/2024-04-04.md": "f9177edb94c66ac09675bd755f041ec5",
-    "_journal/2024-04/2024-04-03.md": "f1057f16e0e36d47032a81222044f166",
-    "_journal/2024-04/2024-04-02.md": "53bc3a2bc827a77f94edd2b0ac66b525",
-    "_journal/2024-04/2024-04-01.md": "fbbd652bb2e9fa6341be6aefcc633f3e",
-    "_journal/2024-03/2024-03-31.md": "5f1499a7e08505975760054c13bd5f00",
-    "_journal/2024-03/2024-03-30.md": "d1011fab509f4b8ad3b1132dc6a311cb",
-    "_journal/2024-03/2024-03-29.md": "45d60952781bb59e736d8d9125b8d3f8",
-    "_journal/2024-04-06.md": "1e3e0aa30b92987e6d53d5a366963b95",
-    "_journal/2024-04/2024-04-05.md": "c829cead37580ed6ece0f98497d71147",
-    "_journal/2024-04-11.md": "23b873dd315e716ad9ee5f107f9cfefc",
-    "_journal/2024-04/2024-04-10.md": "e91fe6eb3d2ef5af5a293e4f92022faa",
-    "_journal/2024-04/2024-04-09.md": "20eeafed43b6bc48786133c3523e1029",
-    "_journal/2024-04/2024-04-08.md": "764b40fc657740d024b54ddd51ffb153",
-    "_journal/2024-04/2024-04-07.md": "848b6c8702e799c38e4f5dc506891bf7",
-    "_journal/2024-04/2024-04-06.md": "14482b513cbe15904f1b8d81b5a143d0",
-    "_journal/2024-04-12.md": "18955288bcdacf24c3d9d4b2a5b2e6d7",
-    "_journal/2024-04/2024-04-11.md": "5baeb12bc5cc5492af766def8f849fb4",
-    "_journal/2024-04-14.md": "b51ad215e566bd96617d2817484232eb",
-    "_journal/2024-04/2024-04-13.md": "92db6bcb162a85fb0a4afd51999b6318",
-    "_journal/2024-04/2024-04-12.md": "1ec32792d88d470c2d517e5caf64fd6f",
-    "_journal/2024-04-15.md": "c08bd7258def0c2a6b78039bb4aa03b9",
-    "_journal/2024-04/2024-04-14.md": "037c77d0e11f2d58ffee61ea0a1708ab",
-    "_journal/2024-04-16.md": "0bf6e2f2a3afab73d528cee88c4c1a92",
-    "_journal/2024-04/2024-04-15.md": "256253b0633d878ca58060162beb7587",
-    "algebra/polynomials.md": "da56d2d6934acfa2c6b7b2c73c87b2c7",
-    "algebra/sequences/delta-constant.md": "d9af958375cdf993e4ac3c68c1324ba7",
-    "_journal/2024-04-19.md": "a293087860a7f378507a96df0b09dd2b",
-    "_journal/2024-04/2024-04-18.md": "f6e5bee68dbef90a21ca92a846930a88",
-    "_journal/2024-04/2024-04-17.md": "331423470ea83fc990c1ee1d5bd3b3f1",
-    "_journal/2024-04/2024-04-16.md": "2f47dcbc01dd0995e59ae1759122b416",
-    "_journal/2024-04-20.md": "043bbf73e6a317152b8fa3af03d1c57b",
-    "_journal/2024-04/2024-04-19.md": "bbd870d1f8ed84ecbf2c927e504f77d9",
-    "_journal/2024-04-22.md": "ba428abd846d67feb8d8b0e2faff00de",
-    "_journal/2024-04-21.md": "48c1d823bcb2c39b7e36da428bb2c1c8",
-    "_journal/2024-04/2024-04-21.md": "48c1d823bcb2c39b7e36da428bb2c1c8",
-    "_journal/2024-04/2024-04-20.md": "043bbf73e6a317152b8fa3af03d1c57b",
-    "_journal/2024-04-23.md": "a138b94e4c986773f30b3f2b375d3216",
-    "_journal/2024-04/2024-04-22.md": "1737cfe64dca349f7ea3401863555d90",
-    "_journal/2024-04-24.md": "4cb04e0dea56e0b471fc0e428471a390",
-    "_journal/2024-04/2024-04-23.md": "20514052da91b06b979cacb3da758837",
-    "_journal/2024-04-25.md": "10c98531cb90a6bc940ea7ae3342f98b",
-    "_journal/2024-04/2024-04-24.md": "4cb04e0dea56e0b471fc0e428471a390",
-    "algorithms/heaps.md": "0cba4acb7667dcab80fa4e7778e86cc8",
-    "_journal/2024-04-26.md": "3ce37236a9e09e74b547a4f7231df5f0",
-    "_journal/2024-04/2024-04-25.md": "5a81123af29f8ebf0a0d28f820a3a52e",
-    "_journal/2024-04-28.md": "46726bf76a594b987c63ba8b9b6d13d3",
-    "_journal/2024-04/2024-04-27.md": "b0f3753821c232bf819b00fb49415bd0",
-    "_journal/2024-04/2024-04-26.md": "3ce37236a9e09e74b547a4f7231df5f0",
-    "algorithms/sorting/heapsort.md": "d4f5a4d023b7a2e55035a8812acc71b6",
-    "_journal/2024-04-29.md": "7888f4e9497c9d8bd6f4aa759d9abc4d",
-    "_journal/2024-04/2024-04-28.md": "b34a9fe3bccb1f224b96ca00e78ad061",
-    "programming/assertions.md": "d663ab31fc7e7296b6636edbffe9d8c7",
-    "programming/text-sub.md": "4ffcaf134858b478ffc3087b58026ee8",
-    "programming/equiv-trans.md": "c165edfa15a2628d60ae3dfd839df170",
-    "programming/index.md": "bb082325e269a95236aa6aff9307fe59",
-    "_journal/2024-04-30.md": "369f98b9d91de89cc1f4f581bc530c0d",
-    "_journal/2024-04/2024-04-29.md": "b4fa2fd62e1b4fe34c1f71dc1e9f5b0b",
-    "proofs/induction.md": "36ab5a92ae3cf9bb2def333dc41d79ff",
-    "proofs/index.md": "18808a0527a25af788aabb821686bcee",
-    "_journal/2024-05-01.md": "959ff67fe3db585ba6a7b121d853bbac",
-    "_journal/2024-05-02.md": "d7d6ba7e065d807986f0bd77281c0bb1",
-    "data-structures/priority-queues.md": "8c5c6bf62b1a39d8f1f72b800fcb17ff",
-    "data-structures/heaps.md": "a0289574930328d422b9b53047936274",
-    "data-structures/index.md": "2605977fad54956b5dc2d8dda9be2b10",
-    "abstract-data-types/priority-queues.md": "d3dad736cb05c47bdc93c52a3a4af083",
-    "abstract-data-types/index.md": "ff6dbecefeec918a1def38af4999fc51",
-    "_journal/2024-05-04.md": "679934dc63ded49503d573b8d2046e5d",
-    "_journal/2024-05/2024-05-03.md": "be21fe4d9c1c24f74a74d06d07f8e90b",
-    "_journal/2024-05/2024-05-02.md": "d7d6ba7e065d807986f0bd77281c0bb1",
-    "_journal/2024-05/2024-05-01.md": "959ff67fe3db585ba6a7b121d853bbac",
-    "_journal/2024-04/2024-04-30.md": "369f98b9d91de89cc1f4f581bc530c0d",
-    "_journal/2024-05-06.md": "bc9306348b7063b87741768391d9d8a7",
-    "_journal/2024-05/2024-05-04.md": "866af1876896a343e7a7d9d09d0c24bb",
-    "data-structures/intrusive.md": "e43c435136c5de92a094e4e49af9f436",
-    "data-structures/linked-lists.md": "a68e7709791e449bee7875ad9680dd96",
-    "data-structures/arrays.md": "5c320855d1955e897820053a7c3c065b",
-    "abstract-data-types/stacks.md": "d4324db19a88211dc6bf4f0e56c74cec",
-    "abstract-data-types/queues.md": "db668234b6c6051635321730b7176dcb",
-    "_journal/2024-05-12.md": "ca9f3996272152ef89924bb328efd365",
-    "_journal/2024-05/2024-05-11.md": "f80bb3f8ca9cad70a2016224c6a44734",
-    "_journal/2024-05/2024-05-10.md": "ae2d0ac5b24d3b8e55b691894d852324",
-    "_journal/2024-05/2024-05-09.md": "2339530b1654a2e8e96d908ecb91b8d1",
-    "_journal/2024-05/2024-05-08.md": "0f1b1b9e2abcf3203b511b9e034e86f4",
-    "_journal/2024-05/2024-05-07.md": "4b1dde039a251f9a6dc7e606de98616d",
-    "_journal/2024-05/2024-05-06.md": "bc9306348b7063b87741768391d9d8a7",
-    "_journal/2024-05-13.md": "71eb7924653eed5b6abd84d3a13b532b",
-    "_journal/2024-05/2024-05-12.md": "ca9f3996272152ef89924bb328efd365",
-    "git/remotes.md": "cbe2cd867f675f156e7fe71ec615890d",
-    "programming/pred-trans.md": "77fa537ef0b96ab1b90ebf2309bc345d",
-    "set/axioms.md": "063955bf19c703e9ad23be2aee4f1ab7",
-    "_journal/2024-05-14.md": "f6ece1d6c178d57875786f87345343c5",
-    "_journal/2024-05/2024-05-13.md": "71eb7924653eed5b6abd84d3a13b532b",
    "x86-64/registers.md": "4bcc04cea66b37d404ac430b0f034697",
-    "_journal/2024-05-15.md": "4e6a7e6df32e93f0d8a56bc76613d908",
-    "_journal/2024-05/2024-05-14.md": "f6ece1d6c178d57875786f87345343c5",
-    "_journal/2024-05-16.md": "580c7ec61ec56be92fa8d6affcf0a5f6",
-    "_journal/2024-05/2024-05-15.md": "4e6a7e6df32e93f0d8a56bc76613d908",
-    "logic/pred-logic.md": "a709cb45e7554ffc578cba0eb1e86e57",
-    "logic/prop-logic.md": "e169a413c5f5866d1ea0b7c61e4bedf6",
-    "_journal/2024-05-17.md": "fb880d68077b655ede36d994554f3aba",
-    "_journal/2024-05/2024-05-16.md": "9fdfadc3f9ea6a4418fd0e7066d6b10c",
-    "_journal/2024-05-18.md": "c0b58b28f84b31cea91404f43b0ee40c",
-    "hashing/direct-addressing.md": "f75cc22e74ae974fe4f568a2ee9f951f",
-    "hashing/index.md": "90be101304334dc8771ca141fae0092c",
-    "set/classes.md": "6776b4dc415021e0ef60b323b5c2d436",
-    "_journal/2024-05-19.md": "fddd90fae08fab9bd83b0ef5d362c93a",
-    "_journal/2024-05/2024-05-18.md": "c0b58b28f84b31cea91404f43b0ee40c",
-    "_journal/2024-05/2024-05-17.md": "fb880d68077b655ede36d994554f3aba",
-    "_journal/2024-05-20.md": "d58a4ecd3bf9621cbe688f043be61239",
-    "_journal/2024-05/2024-05-19.md": "fc14fc23d4ddca3628df7eec71a07e27",
-    "_journal/2024-05-21.md": "7028d18a55f0a1f65dc0753af431ca42",
-    "_journal/2024-05/2024-05-20.md": "d58a4ecd3bf9621cbe688f043be61239",
-    "_journal/2024-05-22.md": "da0364a086746087236eb8afd5770ca3",
-    "_journal/2024-05/2024-05-21.md": "f20e4dd94ea22fcb26049de128bc944e",
-    "set/algebra.md": "d7b4c7943f3674bb152389f4bef1a234",
-    "programming/λ-Calculus.md": "bf36bdaf85abffd171bb2087fb8228b2",
-    "_journal/2024-05-23.md": "9d9106a68197adcee42cd19c69d2f840",
-    "_journal/2024-05/2024-05-22.md": "3c29eec25f640183b0be365e7a023750",
-    "programming/lambda-calculus.md": "1f14249f28c6acdeae7f55f701625a27",
-    "_journal/2024-05-25.md": "04e8e1cf4bfdbfb286effed40b09c900",
-    "_journal/2024-05/2024-05-24.md": "86132f18c7a27ebc7a3e4a07f4867858",
-    "_journal/2024-05/2024-05-23.md": "d0c98b484b1def3a9fd7262dcf2050ad",
-    "_journal/2024-05-26.md": "3b95f86726d646f157ebe2ae55e2afda",
-    "_journal/2024-05/2024-05-25.md": "3e8a0061fa58a6e5c48d12800d1ab869",
-    "_journal/2024-05-27.md": "b36636d10eab34380f17f288868df3ae",
-    "_journal/2024-05/2024-05-26.md": "abe84b5beae74baa25501c818e64fc95",
-    "algebra/set.md": "f7a775cd9f6bf0b3a127fc9c3b9a3c15",
-    "algebra/boolean.md": "ee41e624f4d3d3aca00020d9a9ae42c8",
-    "git/merge-conflicts.md": "761ad6137ec51d3877f7d5b3615ca5cb",
-    "_journal/2024-05-28.md": "0f6aeb5ec126560acdc2d8c5c6570337",
-    "_journal/2024-05/2024-05-27.md": "e498d5154558ebcf7261302403ea8016",
-    "_journal/2024-05-29.md": "aee3f3766659789d7dfb63dd247844cc",
-    "_journal/2024-05/2024-05-28.md": "28297d2a418f591ebc15c74fa459ddd9",
-    "_journal/2024-05-30.md": "0467b8ded9cf1d9e3b419fa76f18f3c5",
-    "_journal/2024-05/2024-05-29.md": "e55105c3fd1bf99be8331b238e08d619",
-    "_journal/2024-05-31.md": "93b6f1e2d4a03406d8e738091874fbe4",
-    "_journal/2024-05/2024-05-30.md": "0b93c5b5e07130fac0e200754d68a450",
-    "_journal/2024-06-01.md": "46c00cc59a2ae126ad54e9114ee97646",
-    "_journal/2024-05/2024-05-31.md": "4421312bffa6f3c7e501a28be1e3bd5b",
-    "_journal/2024-06-02.md": "0059e0332794e0007545b92bc4c1ff9f",
-    "_journal/2024-06/2024-06-01.md": "6d39286db9d89975e441c57f6a92cfaf",
-    "_journal/2024-06-03.md": "3dbe96317f721515f3e6a20b82e3d537",
-    "_journal/2024-06/2024-06-02.md": "0059e0332794e0007545b92bc4c1ff9f",
-    "programming/lean.md": "2815eac192c7e231937e2369817a6dc1",
-    "logic/equality.md": "1867b676e0e7c9ec8f1addc40fefb966",
-    "_journal/2024-06-04.md": "a7ca58741dbfdd7e351d835db3884c68",
-    "_journal/2024-06/2024-06-03.md": "a7a2c3cfca8f932f0926701a2e2b0af9",
-    "_journal/2024-06-05.md": "60f82c089f6911db8541a0bca7505ab4",
-    "_journal/2024-06/2024-06-04.md": "52b28035b9c91c9b14cef1154c1a0fa1",
-    "_journal/2024-06-06.md": "3f9109925dea304e7172df39922cc95a",
-    "_journal/2024-06/2024-06-05.md": "b06a0fa567bd81e3b593f7e1838f9de1",
-    "set/relations.md": "6063a3a4be5b5983d17600b18220897a",
-    "_journal/2024-06-07.md": "795be41cc3c9c0f27361696d237604a2",
-    "_journal/2024-06/2024-06-06.md": "db3407dcc86fa759b061246ec9fbd381",
-    "_journal/2024-06-08.md": "b20d39dab30b4e12559a831ab8d2f9b8",
-    "_journal/2024-06/2024-06-07.md": "c6bfc4c1e5913d23ea7828a23340e7d3",
-    "lambda-calculus/alpha-conversion.md": "007828faf9b4ace5bd30b87a36a90dcf",
-    "lambda-calculus/index.md": "76d58f85c135c7df00081f47df31168e",
-    "x86-64/instructions/condition-codes.md": "1f59f0b81b2e15582b855d96d1d377da",
    "x86-64/instructions/logical.md": "818428b9ef84753920dc61e5c2de9199",
+    "x86-64/instructions/index.md": "72c19067e938ab39ea51d25d6ac2bad9",
+    "x86-64/instructions/condition-codes.md": "1f59f0b81b2e15582b855d96d1d377da",
    "x86-64/instructions/arithmetic.md": "271218d855e7291f119f96e91f582738",
    "x86-64/instructions/access.md": "c19bc3392cf493fcc9becf46c818cc50",
-    "x86-64/instructions/index.md": "72c19067e938ab39ea51d25d6ac2bad9",
-    "_journal/2024-06-09.md": "935b3ddf65c51e680ac5c000c7e380af",
-    "_journal/2024-06/2024-06-08.md": "9e1ebc8882a395b96ca765ad5c982d68",
-    "_journal/2024-06-10.md": "84d27300b97c8544ab4ec68b06edd824",
-    "_journal/2024-06/2024-06-09.md": "4c336a39775846b416aa73278435065f",
-    "_journal/2024-06-11.md": "48f46f654a1b8dfeebc01b3adb2bc1d1",
-    "_journal/2024-06/2024-06-10.md": "1fe3a8beb03b1cc9af188b85933339e4",
-    "_journal/2024-06-12.md": "8cc810c0f594093768117f57461e2e9e",
-    "_journal/2024-06/2024-06-11.md": "764ccba25646673fdf7bb6a5f090394d",
-    "hashing/open-addressing.md": "a5129362af1cbc5f831abcdab1aa737f",
-    "hashing/closed-addressing.md": "67bfb72c5ba911ecbd1fe3fe3028a7fa",
-    "_journal/2024-06-13.md": "dec86b3a3e43eca306c3cf9a46b260ed",
-    "_journal/2024-06/2024-06-12.md": "f82dfa74d0def8c3179d3d076f94558e",
-    "_journal/2024-06-14.md": "5d12bc272238ac985a1d35d3d63ea307",
-    "_journal/2024-06/2024-06-13.md": "e2722a00585d94794a089e8035e05728",
-    "set/functions.md": "02b0f1e2a585e918e14a8ccf29fd578d",
-    "_journal/2024-06-15.md": "92cb8dc5c98e10832fb70c0e3ab3cec4",
-    "_journal/2024-06/2024-06-14.md": "5d12bc272238ac985a1d35d3d63ea307",
-    "lambda-calculus/beta-reduction.md": "6c9a9f4983b0974e0184acaee7c27a22",
-    "_journal/2024-06-16.md": "ded6ab660ecc7c3dce3afd2e88e5a725",
-    "_journal/2024-06/2024-06-15.md": "c3a55549da9dfc2770bfcf403bf5b30b",
-    "_journal/2024-06-17.md": "63df6757bb3384e45093bf2b9456ffac",
-    "_journal/2024-06/2024-06-16.md": "ded6ab660ecc7c3dce3afd2e88e5a725",
-    "_journal/2024-06-18.md": "927e8a3329deadb685ac58241066fdae",
-    "_journal/2024-06/2024-06-17.md": "49840b71f2c5e37c89e0afcc1c20850a",
-    "_journal/2024-06-19.md": "ef5364091417de463a1d00dc18c628e8",
-    "_journal/2024-06/2024-06-18.md": "390d3c78d46a4e25164ea595f37a23bf",
-    "startups/venture-capitalist.md": "c6818ec5a96c4b6b95d54c36e4cf3a17",
+    "x86-64/index.md": "112891852e2a260ceaeb916207a1568f",
+    "x86-64/declarations.md": "75bc7857cf2207a40cd7f0ee056af2f2",
+    "startups/term-sheet.md": "6b6152af78addb3fe818a7fc9d375fbf",
    "startups/index.md": "00fd32876fc7a190dfecb2c37c15aadc",
-    "startups/fundraising.md": "a8ba72cc16941a91f2367e96114daf15",
-    "_journal/2024-06-20.md": "e67a8832003f0eb286dc6b5d6a916494",
-    "_journal/2024-06/2024-06-19.md": "363852585ef0c6e7e8ee250b3ec7fc38",
-    "_journal/2024-06-21.md": "12e37e2c57abab09c781b32793fbbe1a",
-    "_journal/2024-06/2024-06-20.md": "12d4d8cc2f6dfa37b8d2c09095c5e636",
-    "_journal/2024-06-22.md": "8f566883a70458a20d9c750065ce4025",
-    "programming/ars.md": "a62db41d53a0ec5973742a09e0b48f0a",
-    "_journal/2024-06-23.md": "72e157bbf19d2d35843873ff9e900927",
-    "_journal/2024-06/2024-06-22.md": "6b55e35f56e7f7c296c8df6812ba62d3",
-    "_journal/2024-06/2024-06-21.md": "12e37e2c57abab09c781b32793fbbe1a",
-    "startups/financing.md": "1978def9644211c989564faa3e4a56ea",
-    "_journal/2024-06-24.md": "7fc0f4cd231ef7cd6aa2b556d1244cf4",
-    "_journal/2024-06/2024-06-23.md": "9e23344bcc6c9ecc038c349022eaffd7",
-    "_journal/2024-06-25.md": "fe70e3c260da1b2bb7535fb1eb656695",
-    "_journal/2024-06/2024-06-24.md": "07e731eb482339db5f78c6e255c344a2",
-    "_journal/2024-06-26.md": "9c5d7e6395496736f2f268e9fdba117f",
-    "_journal/2024-06/2024-06-25.md": "4d475105c61b23842b575152bcbc4a5d",
-    "_journal/2024-06-28.md": "327d1abef4be0d1526a585dcfe03db5a",
-    "_journal/2024-06/2024-06-27.md": "237c73268a28f652985a5ef7ca7e188e",
-    "_journal/2024-06/2024-06-26.md": "9c5d7e6395496736f2f268e9fdba117f",
-    "_journal/2024-06-29.md": "9d43f4f33e03a48aa08e13bb5be365e0",
-    "_journal/2024-06/2024-06-28.md": "a72817d49ec7fccf96bac9a44fe055d7",
-    "_journal/2024-06-30.md": "97d39a4905e296c6c3fd12e48c4283bd",
-    "_journal/2024-06/2024-06-29.md": "9d43f4f33e03a48aa08e13bb5be365e0",
-    "_journal/2024-07-02.md": "ca0cc5f69580f5f1896f880b0759e466",
-    "_journal/2024-07-01.md": "7cffc27813fe7a7338e411d054ac3bd5",
-    "_journal/2024-06/2024-06-30.md": "ad4ae4690ccf2094413c8525791d1695",
-    "_journal/2024-07-06.md": "2b794e424985f0e7d4d899163ce5733c",
-    "_journal/2024-07/2024-07-05.md": "75181699a37aaab90bfddcdba46e5ef4",
-    "_journal/2024-07/2024-07-04.md": "d34b6c7ed601ca8d0792c749ae40f8a9",
-    "_journal/2024-07/2024-07-03.md": "55d4b1e159b41c6dd52943e5b7a50961",
-    "_journal/2024-07/2024-07-02.md": "489464ee47c3ba21307bfabae569ad29",
-    "_journal/2024-07/2024-07-01.md": "7cffc27813fe7a7338e411d054ac3bd5",
+    "startups/financing-rounds.md": "00a622fda2b4b442901bde2842309088",
+    "set/trees.md": "f21182d92a480613f18c0a9d8839fb57",
+    "set/relations.md": "6063a3a4be5b5983d17600b18220897a",
+    "set/index.md": "6670c57f29c84eef8dcfff7a8901befe",
+    "set/graphs.md": "f0cd201673f2a999321dda6c726e8734",
+    "set/functions.md": "02b0f1e2a585e918e14a8ccf29fd578d",
+    "set/classes.md": "6776b4dc415021e0ef60b323b5c2d436",
    "set/bags.md": "ba7990801734f411838d7b33e7ec0542",
-    "_journal/2024-07-07.md": "9ee2d5007c34cc7ff681f3d9e998eca4",
-    "_journal/2024-07/2024-07-06.md": "2b794e424985f0e7d4d899163ce5733c",
-    "_journal/2024-07-08.md": "03ed5604e680ac9742ee99ae4b1eee8b",
-    "_journal/2024-07/2024-07-07.md": "9ee2d5007c34cc7ff681f3d9e998eca4",
-    "_journal/2024-07-09.md": "00c357e9cfac6de17825b02fdbd00c80",
-    "_journal/2024-07/2024-07-08.md": "03ed5604e680ac9742ee99ae4b1eee8b",
-    "_journal/2024-07-10.md": "2bb3db1f506f4ec7726cb5f2ed2daf24",
-    "_journal/2024-07/2024-07-09.md": "00c357e9cfac6de17825b02fdbd00c80",
-    "_journal/2024-07-12.md": "7d1802d25d3c67880e75b14273cae331",
-    "_journal/2024-07/2024-07-11.md": "298cc3688675ee669b5a51d545fd61b5",
-    "_journal/2024-07/2024-07-10.md": "a0fe22d8be519bf435a5949999eeb4de",
-    "_journal/2024-07-13.md": "13b5101306b5542b8a1381a6477378ca",
-    "_journal/2024-07/2024-07-12.md": "6603ed8a3f9a9e87bf40e81b03e96356",
-    "hashing/static.md": "3ec6eaee73fb9b599700f5a56b300b83",
-    "hashing/addressing.md": "e97c1905cdf5787d94c857fb5f22be8a",
-    "ontology/index.md": "15e97e3e8068660314499fb4d1bdd53e",
-    "ontology/permissivism.md": "643e815a79bc5c050cde9f996aa44ef5",
-    "ontology/properties.md": "91ece501551c444afcd119d7197958ef",
-    "_journal/2024-07-14.md": "9a74d2dd0f44db58e14f57c8908c3342",
-    "_journal/2024-07/2024-07-13.md": "60e8eb09812660a2f2bf86ffafab5714",
-    "_journal/2024-07-15.md": "462fb4294cbbe8855071c638351df147",
-    "_journal/2024-07/2024-07-14.md": "c4666b502d97387e05fb77c4139cae23",
-    "_journal/2024-07-16.md": "0f3832a9afc331597e626864f24d6498",
-    "_journal/2024-07/2024-07-15.md": "462fb4294cbbe8855071c638351df147",
-    "ontology/nominalism.md": "46245c644238157e15c7cb6def27d90a",
-    "_journal/2024-07-17.md": "e0371a91e99f131e7258cc82c2a04cc8",
-    "_journal/2024-07/2024-07-16.md": "149222eab7a7f58993b8e4dc8a3fb884",
-    "_journal/2024-07-18.md": "a9d26ce938228973f07178a15128a681",
-    "_journal/2024-07/2024-07-17.md": "0c816cd6110bdd14d3eac4e5b82510cf",
-    "ontology/dialetheism.md": "56dd05b38519f90c5cab93637978b3b3",
-    "abstract-rewriting-systems/index.md": "b7486b7635cb0d8bafc2a2f095af90fb",
-    "abstract-rewriting-systems/normal-form.md": "2fff9a1d85bca0a2941a54b0084a0309",
-    "_journal/2024-07-19.md": "ced9d4c4759468885d85efa0b87b7823",
-    "_journal/2024-07/2024-07-18.md": "237918b58424435959cbc949d01e7932",
-    "_journal/2024-07-20.md": "d8685729effc374e4ece1e618c2fdad3",
-    "_journal/2024-07/2024-07-19.md": "e9fe4569f88e1ba9393292bcf092edfc",
-    "_journal/2024-07-21.md": "62c2651999371dd9ab10d964dac3d0f8",
-    "_journal/2024-07/2024-07-20.md": "d8685729effc374e4ece1e618c2fdad3",
-    "logic/classical/index.md": "ee0a4b2bfcfa2cab0880db449cb62df1",
+    "proofs/index.md": "18808a0527a25af788aabb821686bcee",
+    "programming/short-circuit.md": "c256ced42dc3b493aff5a356e5383b6e",
+    "programming/pred-trans.md": "77fa537ef0b96ab1b90ebf2309bc345d",
+    "programming/index.md": "bb082325e269a95236aa6aff9307fe59",
+    "posix/signals.md": "f4132369878c683bfac4d7fd863d19ba",
+    "posix/regexp.md": "d7d1b8cde49c405d44c7e1d9343769c0",
+    "posix/index.md": "97b1b8ecb9a953e855a9acf0ab25b8c8",
+    "ontology/rdf/uri.md": "becfaeb0aeadca9eec4f19f7f8e907b8",
+    "ontology/rdf/index.md": "48e8347fa123b2c2ccc09f8b8c6ab142",
+    "ontology/philosophy/permissivism.md": "643e815a79bc5c050cde9f996aa44ef5",
+    "ontology/philosophy/nominalism.md": "46245c644238157e15c7cb6def27d90a",
+    "ontology/philosophy/index.md": "6c7c60f91f78fdc1cdd8c012b1ac4ebd",
+    "ontology/philosophy/dialetheism.md": "56dd05b38519f90c5cab93637978b3b3",
+    "ontology/index.md": "0994403dcd84415f1459752129b55f65",
+    "logic/index.md": "717099c8fefb416eed7dcf83a2284297",
    "logic/classical/truth-tables.md": "b739e2824a4a5c26ac446e7c15ce02aa",
+    "logic/classical/index.md": "ee0a4b2bfcfa2cab0880db449cb62df1",
+    "lambda-calculus/index.md": "76d58f85c135c7df00081f47df31168e",
+    "lambda-calculus/alpha-conversion.md": "007828faf9b4ace5bd30b87a36a90dcf",
+    "lambda-calculus/beta-reduction.md": "6c9a9f4983b0974e0184acaee7c27a22",
+    "index.md": "e48e895feeed7046425bb2ee15419770",
+    "hashing/index.md": "90be101304334dc8771ca141fae0092c",
+    "hashing/addressing.md": "e97c1905cdf5787d94c857fb5f22be8a",
+    "git/remotes.md": "cbe2cd867f675f156e7fe71ec615890d",
+    "git/refs.md": "e20c2c9b14ba6c2bd235416017c5c474",
+    "git/objects.md": "03c452a26374b1a99983157f236c5a3d",
+    "git/merge-conflicts.md": "761ad6137ec51d3877f7d5b3615ca5cb",
+    "git/index.md": "ca842957bda479dfa1170ae85f2f37b8",
+    "formal-system/proof-system/natural-deduction.md": "4890ec679f68a2f86bb59f94a4114a22",
    "formal-system/proof-system/index.md": "800e93b72a9852ea4823ab0a40854bba",
    "formal-system/proof-system/equiv-trans.md": "abd8fe3ca5b61f0bdec0870f230734af",
-    "formal-system/logical-system/index.md": "708bb1547e7343c236068c18da3f5dc0",
-    "formal-system/logical-system/pred-logic.md": "6db7f2a3734b6f3d48313410dc611bd5",
    "formal-system/logical-system/prop-logic.md": "b61ce051795d5a951c763b928ec5cea8",
+    "formal-system/logical-system/pred-logic.md": "6db7f2a3734b6f3d48313410dc611bd5",
+    "formal-system/logical-system/index.md": "708bb1547e7343c236068c18da3f5dc0",
    "formal-system/index.md": "4c3d4de525e8e3254efd208341a300b1",
-    "programming/short-circuit.md": "c256ced42dc3b493aff5a356e5383b6e",
    "formal-system/abstract-rewriting.md": "8424314a627851c5b94be6163f64ba30",
-    "_journal/2024-07-22.md": "d2ca7ce0bbeef76395fee33c9bf36e9d",
-    "_journal/2024-07/2024-07-21.md": "62c2651999371dd9ab10d964dac3d0f8",
-    "formal-system/proof-system/natural-deduction.md": "9d935708822a59134176d2d707025f6c",
-    "startups/term-sheet.md": "6b6152af78addb3fe818a7fc9d375fbf",
-    "startups/financing-rounds.md": "00a622fda2b4b442901bde2842309088",
-    "_journal/2024-07-23.md": "35e18a1d9a8dd0a97e1d9898bc1d8f01",
-    "_journal/2024-07/2024-07-22.md": "8170a92496c2c5374fc3411bddf3b17d",
-    "_journal/2024-07-24.md": "9a7bdbfc23996908645d00dd622db6bf",
-    "_journal/2024-07/2024-07-23.md": "ad2e11d3f2752430ad8048d1af8f04d1",
-    "_journal/2024-07-25.md": "087a54db6fb7003994aa409c0b2ca379",
-    "_journal/2024-07/2024-07-24.md": "9a7bdbfc23996908645d00dd622db6bf",
-    "_journal/2024-07-26.md": "2dfc0c1049e88c75e91a3130819d1608",
-    "_journal/2024-07/2024-07-25.md": "087a54db6fb7003994aa409c0b2ca379",
-    "_journal/2024-07-27.md": "1ab2b013a217143a91c8e6de068e9f6f",
-    "_journal/2024-07/2024-07-26.md": "c167f734a5037e1a5537b1e95ca6790f",
-    "_journal/2024-07-28.md": "2aafb514903eca2b842487c573c1753a",
-    "_journal/2024-07/2024-07-27.md": "7c48690746d8320494e29e92390eb6ee"
+    "filesystems/index.md": "cbd2b0290a3ba3b32abec4bd8bfefad5",
+    "filesystems/cas.md": "d41c0d2e943adecbadd10a03fd1e4274",
+    "encoding/integer.md": "f9786eab7f64ec63272dcca010961fe8",
+    "encoding/index.md": "071cfa6a5152efeda127b684f420d438",
+    "encoding/floating-point.md": "fcec4aaa249fe8fd90b14c3806cefbf5",
+    "encoding/ascii.md": "34350e7b5a4109bcd21f9f411fda0dbe",
+    "data-structures/linked-lists.md": "a68e7709791e449bee7875ad9680dd96",
+    "data-structures/intrusive.md": "e43c435136c5de92a094e4e49af9f436",
+    "data-structures/index.md": "2605977fad54956b5dc2d8dda9be2b10",
+    "data-structures/heaps.md": "a0289574930328d422b9b53047936274",
+    "data-structures/arrays.md": "5c320855d1955e897820053a7c3c065b",
+    "combinatorics/permutations.md": "efd0820ab3cc7faa5b2df3fe40105110",
+    "combinatorics/multiplicative-principle.md": "7c06835fa34cfefa217a10cf11ef4ab0",
+    "combinatorics/index.md": "66efa649c4c87e58fc82c2199096ade4",
+    "combinatorics/inclusion-exclusion.md": "c27b49ee03cc5ee854d0e8bd12a1d505",
+    "combinatorics/combinations.md": "396fc32255710eaf33213efaafdc43d4",
+    "combinatorics/additive-principle.md": "d036ac511e382d5c1caca437341a5915",
+    "c17/strings.md": "2da50edd26eae35c81f70e65bbd12d49",
+    "c17/index.md": "78576ee41d0185df82c59999142f4edb",
+    "c17/declarations.md": "ab6d44e48b0c1c8d98cd409721cc2c53",
+    "binary/index.md": "9089c6f0e86a0727cd03984f51350de0",
+    "binary/endianness.md": "63117fe7795e2a10cb2eb7843a089d9d",
+    "bash/shebang.md": "577e32f9f508625fd9b4002a7a26b211",
+    "bash/robustness.md": "a3d924e0c58bbf0a2f2b0482f5cf94b6",
+    "bash/prompts.md": "cc51c210fa819338d4e95658955173df",
+    "bash/index.md": "22083ea1ee9505cc96b02f82f63ba2c9",
+    "algorithms/sorting/selection-sort.md": "73415c44d6f4429f43c366078fd4bf98",
+    "algorithms/sorting/merge-sort.md": "6506483f7df6507cee0407bd205dbedd",
+    "algorithms/sorting/insertion-sort.md": "8bb3217cc3f49083d45a0095c667d176",
+    "algorithms/sorting/index.md": "4a66e28bce754de5df31ec2f4aed7e93",
+    "algorithms/sorting/heapsort.md": "d4f5a4d023b7a2e55035a8812acc71b6",
+    "algorithms/sorting/bubble-sort.md": "872fb23e41fb3ac36e8c46240e9a027f",
+    "algorithms/order-growth.md": "1c3f7ff710b6e67a04e16cdfd0f63e8c",
+    "algorithms/loop-invariant.md": "3b390e720f3b2a98e611b49a0bb1f5a9",
+    "algorithms/index.md": "3ac071354e55242919cc574eb43de6f8",
+    "algorithms/binary-search.md": "8533a05ea372e007ab4e8a36fd2772a9",
+    "algebra/set.md": "f7a775cd9f6bf0b3a127fc9c3b9a3c15",
+    "algebra/sequences/triangular-numbers.md": "1ae6730fa64bbb44d1d51a899f047584",
+    "algebra/sequences/square-numbers.md": "171f7c5a8dac088afba40923ab86c68e",
+    "algebra/sequences/index.md": "208174a5a078b120fa11e296ad1d09c1",
+    "algebra/sequences/geometric.md": "57544cab59f0b8c28d4a11f0273a3119",
+    "algebra/sequences/delta-constant.md": "d9af958375cdf993e4ac3c68c1324ba7",
+    "algebra/sequences/arithmetic.md": "63cb1bd3a0d01942f4f7a4212c742cfd",
+    "algebra/polynomials.md": "da56d2d6934acfa2c6b7b2c73c87b2c7",
+    "algebra/index.md": "90b842eb694938d87c7c68779a5cacd1",
+    "algebra/radices.md": "662a3e2f611dd9655f1ef6c7ed0a9943",
+    "algebra/floor-ceiling.md": "a22efe853ad1234b2d3e0d7cc7e6fc47",
+    "algebra/boolean.md": "ee41e624f4d3d3aca00020d9a9ae42c8",
+    "abstract-data-types/stacks.md": "d4324db19a88211dc6bf4f0e56c74cec",
+    "abstract-data-types/queues.md": "db668234b6c6051635321730b7176dcb",
+    "abstract-data-types/priority-queues.md": "d3dad736cb05c47bdc93c52a3a4af083",
+    "abstract-data-types/index.md": "ff6dbecefeec918a1def38af4999fc51"
  },
  "fields_dict": {
    "Basic": [
--- a/notes/ontology/index.md
+++ b/notes/ontology/index.md
@ -1,123 +1,3 @@
 ---
 title: Ontology
-TARGET DECK: Obsidian::H&SS
-FILE TAGS: ontology
-tags:
-  - ontology
 ---
-
-## Overview
-
-Ontology is the philosophical study of being. Generally *things* are split into two broad categories: **abstract** and **concrete** things. These words are "terms of art" and their definition is not standardized in any way.
-
-%%ANKI
-Basic
-What did Quine declare as *the* ontological question?
-Back: "What is there?"
-Reference: Simon Hewitt, “A Cardinal Worry for Permissive Metaontology,” _Metaphysica_ 16, no. 2 (September 18, 2015): 159–65, [https://doi.org/10.1515/mp-2015-0009](https://doi.org/10.1515/mp-2015-0009).
-<!--ID: 1720912238054-->
-END%%
-
-%%ANKI
-Basic
-Who is attributed *the* ontological question?
-Back: Willard Van Orman Quine.
-Reference: Simon Hewitt, “A Cardinal Worry for Permissive Metaontology,” _Metaphysica_ 16, no. 2 (September 18, 2015): 159–65, [https://doi.org/10.1515/mp-2015-0009](https://doi.org/10.1515/mp-2015-0009).
-<!--ID: 1720912259767-->
-END%%
-
-%%ANKI
-Cloze
-{Ontology} is the {philosophical study of being}.
-Reference: Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
-<!--ID: 1720912238058-->
-END%%
-
-%%ANKI
-Cloze
-{Epistemology} is the {philosophical study of knowledge}.
-Reference: Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
-<!--ID: 1720912238062-->
-END%%
-
-%%ANKI
-Cloze
-{Taxonomy} is the {branch of science concerned with categorization}.
-Reference: Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
-<!--ID: 1720912238066-->
-END%%
-
-%%ANKI
-Cloze
-{Mereology} is the {philosophical study of part-whole relationships}.
-Reference: Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
-<!--ID: 1720998380912-->
-END%%
-
-%%ANKI
-Basic
-What does Effingham mean when saying "concreta" and "abstracta" are terms of art?
-Back: They are terms defined freely by a person to mean whatever one wants.
-Reference: Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
-<!--ID: 1720894782942-->
-END%%
-
-%%ANKI
-Cloze
-In general, ontologists often categorize things as either {concreta} or {abstracta}.
-Reference: Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
-<!--ID: 1720894782951-->
-END%%
-
-%%ANKI
-Basic
-Generally speaking, what does someone *probably* mean by "concrete" things?
-Back: Things that exists in space and/or time.
-Reference: Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
-<!--ID: 1720894782957-->
-END%%
-
-%%ANKI
-Basic
-Generally speaking, what does someone *probably* mean by "abstract" things?
-Back: Things that exist in neither space nor time.
-Reference: Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
-<!--ID: 1720894782965-->
-END%%
-
-%%ANKI
-Basic
-Is a material object considered concreta?
-Back: Usually.
-Reference: Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
-<!--ID: 1720894782971-->
-END%%
-
-%%ANKI
-Basic
-Is an immaterial object considered concreta?
-Back: Possibly.
-Reference: Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
-<!--ID: 1720894782978-->
-END%%
-
-%%ANKI
-Basic
-Is a material object considered abstracta?
-Back: Not usually.
-Reference: Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
-<!--ID: 1720894782984-->
-END%%
-
-%%ANKI
-Basic
-Is an immaterial object considered abstracta?
-Back: Possibly.
-Reference: Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
-<!--ID: 1720894782989-->
-END%%
-
-## Bibliography
-
-* Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
-* Simon Hewitt, “A Cardinal Worry for Permissive Metaontology,” _Metaphysica_ 16, no. 2 (September 18, 2015): 159–65, [https://doi.org/10.1515/mp-2015-0009](https://doi.org/10.1515/mp-2015-0009).
--- a/notes/ontology/philosophy/dialetheism.md
+++ b/notes/ontology/philosophy/dialetheism.md
--- a/notes/ontology/philosophy/index.md
+++ b/notes/ontology/philosophy/index.md
@ -1,14 +1,124 @@
 ---
-title: Properties
+title: Ontology
 TARGET DECK: Obsidian::H&SS
-FILE TAGS: ontology::property
+FILE TAGS: ontology::philosophy
 tags:
  - ontology
-  - property
 ---

 ## Overview

+Ontology is the philosophical study of being. Generally *things* are split into two broad categories: **abstract** and **concrete** things. These words are "terms of art" and their definition is not standardized in any way.
+
+%%ANKI
+Basic
+What did Quine declare as *the* ontological question?
+Back: "What is there?"
+Reference: Simon Hewitt, “A Cardinal Worry for Permissive Metaontology,” _Metaphysica_ 16, no. 2 (September 18, 2015): 159–65, [https://doi.org/10.1515/mp-2015-0009](https://doi.org/10.1515/mp-2015-0009).
+<!--ID: 1720912238054-->
+END%%
+
+%%ANKI
+Basic
+Who is attributed *the* ontological question?
+Back: Willard Van Orman Quine.
+Reference: Simon Hewitt, “A Cardinal Worry for Permissive Metaontology,” _Metaphysica_ 16, no. 2 (September 18, 2015): 159–65, [https://doi.org/10.1515/mp-2015-0009](https://doi.org/10.1515/mp-2015-0009).
+<!--ID: 1720912259767-->
+END%%
+
+%%ANKI
+Cloze
+{Ontology} is the {philosophical study of being}.
+Reference: Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
+<!--ID: 1720912238058-->
+END%%
+
+%%ANKI
+Cloze
+{Epistemology} is the {philosophical study of knowledge}.
+Reference: Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
+<!--ID: 1720912238062-->
+END%%
+
+%%ANKI
+Cloze
+{Taxonomy} is the {branch of science concerned with categorization}.
+Reference: Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
+<!--ID: 1720912238066-->
+END%%
+
+%%ANKI
+Cloze
+{Mereology} is the {philosophical study of part-whole relationships}.
+Reference: Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
+<!--ID: 1720998380912-->
+END%%
+
+%%ANKI
+Basic
+What does Effingham mean when saying "concreta" and "abstracta" are terms of art?
+Back: They are terms defined freely by a person to mean whatever one wants.
+Reference: Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
+<!--ID: 1720894782942-->
+END%%
+
+%%ANKI
+Cloze
+In general, ontologists often categorize things as either {concreta} or {abstracta}.
+Reference: Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
+<!--ID: 1720894782951-->
+END%%
+
+%%ANKI
+Basic
+Generally speaking, what does someone *probably* mean by "concrete" things?
+Back: Things that exists in space and/or time.
+Reference: Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
+<!--ID: 1720894782957-->
+END%%
+
+%%ANKI
+Basic
+Generally speaking, what does someone *probably* mean by "abstract" things?
+Back: Things that exist in neither space nor time.
+Reference: Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
+<!--ID: 1720894782965-->
+END%%
+
+%%ANKI
+Basic
+Is a material object considered concreta?
+Back: Usually.
+Reference: Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
+<!--ID: 1720894782971-->
+END%%
+
+%%ANKI
+Basic
+Is an immaterial object considered concreta?
+Back: Possibly.
+Reference: Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
+<!--ID: 1720894782978-->
+END%%
+
+%%ANKI
+Basic
+Is a material object considered abstracta?
+Back: Not usually.
+Reference: Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
+<!--ID: 1720894782984-->
+END%%
+
+%%ANKI
+Basic
+Is an immaterial object considered abstracta?
+Back: Possibly.
+Reference: Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
+<!--ID: 1720894782989-->
+END%%
+
+## Properties
+
 A **property** is an entity that can be predicated of things or, in other words, attributed to them.

 %%ANKI
@ -19,7 +129,7 @@ Reference: Francesco Orilia and Michele Paolini Paoletti, “Properties,” in _
 <!--ID: 1720912237900-->
 END%%

-## Instantiation
+### Instantiation

 An entity is said to **instantiate** a property if said entity bears a connection to the property. For example, a human instantiates the property of *being human* and a man instantiates the properties of *being human* and *being a man*.

@ -98,3 +208,4 @@ END%%

 * Francesco Orilia and Michele Paolini Paoletti, “Properties,” in _The Stanford Encyclopedia of Philosophy_, ed. Edward N. Zalta, Spring 2022 (Metaphysics Research Lab, Stanford University, 2022), [https://plato.stanford.edu/archives/spr2022/entries/properties/](https://plato.stanford.edu/archives/spr2022/entries/properties/).
 * Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).
+* Simon Hewitt, “A Cardinal Worry for Permissive Metaontology,” _Metaphysica_ 16, no. 2 (September 18, 2015): 159–65, [https://doi.org/10.1515/mp-2015-0009](https://doi.org/10.1515/mp-2015-0009).
--- a/notes/ontology/philosophy/nominalism.md
+++ b/notes/ontology/philosophy/nominalism.md
--- a/notes/ontology/philosophy/permissivism.md
+++ b/notes/ontology/philosophy/permissivism.md
--- a/notes/ontology/rdf/images/triple-table-repr.png
+++ b/notes/ontology/rdf/images/triple-table-repr.png
--- a/notes/ontology/rdf/index.md
+++ b/notes/ontology/rdf/index.md
@ -0,0 +1,118 @@
+---
+title: RDF
+TARGET DECK: Obsidian::STEM
+FILE TAGS: ontology::rdf
+tags:
+  - ontology
+  - rdf
+---
+
+## Overview
+
+The **Resource Description Framework** (RDF) is the foundational representation language of the Semantic Web. The basic building block of RDF is the **triple** containing a **subject**, **predicate**, and **object**. Global identifiers of resources are represented as [[uri|URIs]] (or, more generally, IRIs). These URIs can be expressed more compactly as [[uri#CURIEs|CURIEs]].
+
+%%ANKI
+Basic
+What is RDF an acronym for?
+Back: **R**esource **D**escription **F**ramework.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722187893324-->
+END%%
+
+%%ANKI
+Basic
+What is considered the basic representation language of the Semantic Web?
+Back: RDF.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722187893326-->
+END%%
+
+%%ANKI
+Cloze
+With respect to RDF, a {resource} is {anything representable on the web}.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722187893328-->
+END%%
+
+%%ANKI
+Basic
+What aggregate concept is considered the basic building block of RDF?
+Back: The triple.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722187893330-->
+END%%
+
+%%ANKI
+Basic
+What three components make up an RDF triple?
+Back: The subject, predicate, and verb.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722187893332-->
+END%%
+
+%%ANKI
+Cloze
+In RDF, a triple is a ({subject}, {predicate}, {object}) tuple.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722187893333-->
+END%%
+
+%%ANKI
+Cloze
+A {subject} is to RDF as a record is to a relation.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722187893334-->
+END%%
+
+%%ANKI
+Cloze
+A {predicate} is to RDF as an attribute is to a relation.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722187893335-->
+END%%
+
+%%ANKI
+Cloze
+An {object} is to RDF as a value is to a relation.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722187893337-->
+END%%
+
+%%ANKI
+Basic
+Consider converting the following table to a triple. What is the subject?
+![[triple-table-repr.png]]
+Back: Row 2
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722188525589-->
+END%%
+
+%%ANKI
+Basic
+Consider converting the following table to a triple. What is the object?
+![[triple-table-repr.png]]
+Back: Hamlet
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722188525594-->
+END%%
+
+%%ANKI
+Basic
+Consider converting the following table to a triple. What is the predicate?
+![[triple-table-repr.png]]
+Back: Title
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722188525598-->
+END%%
+
+%%ANKI
+Basic
+RDF identifiers are represented using what?
+Back: URIs.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722191359882-->
+END%%
+
+## Bibliography
+
+* Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
--- a/notes/ontology/rdf/uri.md
+++ b/notes/ontology/rdf/uri.md
@ -0,0 +1,239 @@
+---
+title: Uniform Resource Identifiers
+TARGET DECK: Obsidian::STEM
+FILE TAGS: uri
+tags:
+  - rdf
+  - uri
+---
+
+## Overview
+
+A **uniform resource identifier** (URI) is a unique sequence of characters for identifying some physical or abstract resource. URIs are further generalized to **internationalized resource identifier**s (IRIs) which allow using characters from any language, provided there exists a standard web encoding of the characters.
+
+%%ANKI
+Basic
+What is URI an acronym for?
+Back: **U**niform **r**esource **i**dentifier.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722191359864-->
+END%%
+
+%%ANKI
+Basic
+*Why* is a URI named the way it is?
+Back: It is a globally unique identifier for some resource.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722191359866-->
+END%%
+
+%%ANKI
+Basic
+What is IRI an acronym for?
+Back: **I**nternationalized **r**esource **i**dentifier.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722191359867-->
+END%%
+
+%%ANKI
+Basic
+In what way does an IRI generalize URIs?
+Back: It allows any characters with standard web encodings to be used in the identifier.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722191359871-->
+END%%
+
+%%ANKI
+Basic
+Which of URIs or IRIs are more general?
+Back: IRIs.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722191359873-->
+END%%
+
+### URLs
+
+A **uniform resource locator** (URL) is a URI that specifies the means of finding the represented resource. The most commonly used schemes are `http` and `https`.
+
+%%ANKI
+Basic
+What is URL an acronym for?
+Back: **U**niform **r**esource **l**ocator.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722191359858-->
+END%%
+
+%%ANKI
+Basic
+*Why* is a URL named the way it is?
+Back: Its structure specifies how to find the corresponding resource.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722191359861-->
+END%%
+
+%%ANKI
+Basic
+How do you find the resource represented by a URI?
+Back: N/A. This isn't generally possible.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722191359863-->
+END%%
+
+%%ANKI
+Basic
+In what way does a URI generalize URLs?
+Back: A URI does not necessarily specify how to find the represented resource.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722191359869-->
+END%%
+
+%%ANKI
+Basic
+Which of URIs or URLs are more general?
+Back: URIs.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722191359872-->
+END%%
+
+%%ANKI
+Basic
+Which of IRIs or URLs are more general?
+Back: IRIs.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722191359874-->
+END%%
+
+%%ANKI
+Basic
+What scheme are URLs required to use?
+Back: N/A. There exist many possible schemes.
+Reference: “Uniform Resource Locator.” In _Wikipedia_, June 20, 2024. [https://en.wikipedia.org/w/index.php?title=URL](https://en.wikipedia.org/w/index.php?title=URL&oldid=1230124093).
+<!--ID: 1722193197739-->
+END%%
+
+%%ANKI
+Basic
+What are the two most commonly used URL schemes?
+Back: `http` and `https`.
+Reference: “Uniform Resource Locator.” In _Wikipedia_, June 20, 2024. [https://en.wikipedia.org/w/index.php?title=URL](https://en.wikipedia.org/w/index.php?title=URL&oldid=1230124093).
+<!--ID: 1722193197746-->
+END%%
+
+### URNs
+
+A **uniform resource name** (URN) is a URI that uses the `urn` scheme. It is intended to uniquely identify a resource, even when the resource no longer exists.
+
+%%ANKI
+Basic
+What is URN an acronym for?
+Back: **U**niform **r**esource **n**ame.
+Reference: “Uniform Resource Identifier.” In _Wikipedia_, July 22, 2024. [https://en.wikipedia.org/w/index.php?title=Uniform_Resource_Identifier](https://en.wikipedia.org/w/index.php?title=Uniform_Resource_Identifier&oldid=1235957234).
+<!--ID: 1722192211078-->
+END%%
+
+%%ANKI
+Basic
+*Why* is a URN named the way it is?
+Back: It is used to uniquely identify some resource.
+Reference: “Uniform Resource Identifier.” In _Wikipedia_, July 22, 2024. [https://en.wikipedia.org/w/index.php?title=Uniform_Resource_Identifier](https://en.wikipedia.org/w/index.php?title=Uniform_Resource_Identifier&oldid=1235957234).
+<!--ID: 1722192211083-->
+END%%
+
+%%ANKI
+Basic
+Which of URLs or URNs are more general?
+Back: N/A.
+Reference: “Uniform Resource Identifier.” In _Wikipedia_, July 22, 2024. [https://en.wikipedia.org/w/index.php?title=Uniform_Resource_Identifier](https://en.wikipedia.org/w/index.php?title=Uniform_Resource_Identifier&oldid=1235957234).
+<!--ID: 1722192211087-->
+END%%
+
+%%ANKI
+Basic
+Which of URNs or URIs are more general?
+Back: URIs.
+Reference: “Uniform Resource Identifier.” In _Wikipedia_, July 22, 2024. [https://en.wikipedia.org/w/index.php?title=Uniform_Resource_Identifier](https://en.wikipedia.org/w/index.php?title=Uniform_Resource_Identifier&oldid=1235957234).
+<!--ID: 1722192211089-->
+END%%
+
+%%ANKI
+Basic
+*Why* aren't URLs a subset of URNs?
+Back: What a URL represents may change over time.
+Reference: “Uniform Resource Identifier.” In _Wikipedia_, July 22, 2024. [https://en.wikipedia.org/w/index.php?title=Uniform_Resource_Identifier](https://en.wikipedia.org/w/index.php?title=Uniform_Resource_Identifier&oldid=1235957234).
+<!--ID: 1722192211091-->
+END%%
+
+%%ANKI
+Basic
+*Why* aren't URNs a subset of URLs?
+Back: Their structure may not necessarily indicate how to find the resource.
+Reference: “Uniform Resource Identifier.” In _Wikipedia_, July 22, 2024. [https://en.wikipedia.org/w/index.php?title=Uniform_Resource_Identifier](https://en.wikipedia.org/w/index.php?title=Uniform_Resource_Identifier&oldid=1235957234).
+<!--ID: 1722192211093-->
+END%%
+
+%%ANKI
+Basic
+What scheme are URNs required to use?
+Back: `urn`
+Reference: “Uniform Resource Name.” In _Wikipedia_, April 26, 2024. [https://en.wikipedia.org/w/index.php?title=Uniform_Resource_Name](https://en.wikipedia.org/w/index.php?title=Uniform_Resource_Name&oldid=1220954593).
+<!--ID: 1722193197751-->
+END%%
+
+## CURIEs
+
+A **compact URI** (CURIE) is a denser representation of URIs. In its simplest form, it consists of a namespace and identifier separated by a colon. For example, `geo:England`.
+
+%%ANKI
+Basic
+URIs in RDF are usually represented in what condensed format?
+Back: CURIE.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722191359875-->
+END%%
+
+%%ANKI
+Basic
+What is CURIE an acronym for?
+Back: **C**ompact **URI**&.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722191359876-->
+END%%
+
+%%ANKI
+Basic
+Consider CURIE `geo:England`. What is `geo` an example of?
+Back: A namespace.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722191359877-->
+END%%
+
+%%ANKI
+Basic
+Consider CURIE `geo:England`. What is `England` an example of?
+Back: An identifier.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722191359878-->
+END%%
+
+%%ANKI
+Basic
+In its simplest form, a CURIE is made up of what two parts?
+Back: A namespace and an identifier.
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722191359880-->
+END%%
+
+%%ANKI
+Basic
+The namespace and identifier of a CURIE is usually separated by what?
+Back: A colon (`:`).
+Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+<!--ID: 1722191359881-->
+END%%
+
+## Bibliography
+
+* Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020.
+* “Uniform Resource Identifier.” In _Wikipedia_, July 22, 2024. [https://en.wikipedia.org/w/index.php?title=Uniform_Resource_Identifier](https://en.wikipedia.org/w/index.php?title=Uniform_Resource_Identifier&oldid=1235957234).
+* “Uniform Resource Locator.” In _Wikipedia_, June 20, 2024. [https://en.wikipedia.org/w/index.php?title=URL](https://en.wikipedia.org/w/index.php?title=URL&oldid=1230124093).
+* “Uniform Resource Name.” In _Wikipedia_, April 26, 2024. [https://en.wikipedia.org/w/index.php?title=Uniform_Resource_Name](https://en.wikipedia.org/w/index.php?title=Uniform_Resource_Name&oldid=1220954593).
Author	SHA1	Message	Date
Joshua Potter	6e80a5ce70	Merge obsidian-to-anki-plugin data.	2024-07-28 17:51:06 -06:00
Joshua Potter	f9d4aba1d7	Notes on RDF and URIs.	2024-07-28 17:30:23 -06:00