r
/
notebook
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Compare commits

base: r:6e80a5ce7089e88e3ea239f1162099ca4c2fc2a7
Branches Tags
r:main
r:c-declarations
r:daily
..
compare: r:1d0872a032b464a793920c7614db7cf5f6fc17d1
Branches Tags
r:main
r:c-declarations
r:daily

No commits in common. "6e80a5ce7089e88e3ea239f1162099ca4c2fc2a7" and "1d0872a032b464a793920c7614db7cf5f6fc17d1" have entirely different histories.
6e80a5ce70 ... 1d0872a032

10 changed files with 690 additions and 696 deletions
Show Stats Expand all files Collapse all files

1
.gitignore vendored
View File

@ -1,4 +1,3 @@
.DS_Store
.direnv
result
notes/.obsidian.mobile

787
notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json
View File

@ -21,88 +21,30 @@
"Cloze": "Context"
},
"FOLDER_DECKS": {
"abstract-data-types": "",
"algebra": "",
"algebra/images": "",
"algebra/sequences": "",
"algebra/sequences/images": "",
"algorithms": "",
"algorithms/images": "",
"algorithms/sorting": "",
"bash": "",
"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": "",
"c": "",
"gawk": "",
"journal": "",
"logic": "",
"logic/classical": "",
"ontology": "",
"ontology/philosophy": "",
"ontology/rdf": "",
"ontology/rdf/images": "",
"lua": "",
"nix": "",
"posix": "",
"programming": "",
"proofs": "",
"set": "",
"set/images": "",
"startups": "",
"x86-64": "",
"x86-64/instructions": ""
"templates": "",
"algorithms/sorting": ""
},
"FOLDER_TAGS": {
"abstract-data-types": "",
"algebra": "",
"algebra/images": "",
"algebra/sequences": "",
"algebra/sequences/images": "",
"algorithms": "",
"algorithms/images": "",
"algorithms/sorting": "",
"bash": "",
"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": "",
"c": "",
"gawk": "",
"journal": "",
"logic": "",
"logic/classical": "",
"ontology": "",
"ontology/philosophy": "",
"ontology/rdf": "",
"ontology/rdf/images": "",
"lua": "",
"nix": "",
"posix": "",
"programming": "",
"proofs": "",
"set": "",
"set/images": "",
"startups": "",
"x86-64": "",
"x86-64/instructions": ""
"templates": "",
"algorithms/sorting": ""
},
"Syntax": {
"Begin Note": "%%ANKI",
@ -127,185 +69,586 @@
"Add Obsidian Tags": false
},
"IGNORED_FILE_GLOBS": [
"**/*.excalidraw.md",
"_journal/**",
"_templates/**"
"**/*.excalidraw.md"
]
},
"Added Media": [
"array-1d-col-major.png",
"array-1d-row-major.png",
"array-multi-col-major.png",
"array-multi-row-major.png",
"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",
"big-o-notation.png",
"big-omega-notation.png",
"binary-tree-nodes.png",
"bubble-sort.gif",
"church-rosser.png",
"closed-addressing.png",
"complete-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",
"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-y-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",
"ordering-n-repetition-y.jpg",
"ordering-n-repetition-n.jpg",
"triangular-gnomon.png",
"triple-table-repr.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",
"venn-diagram-abs-comp.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",
"complete-tree.png",
"nearly-complete-tree.png",
"non-nearly-complete-tree.png",
"perfect-tree.png",
"non-complete-tree.png",
"max-heap-tree.png",
"max-heap-array.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",
"venn-diagram-intersection.png",
"venn-diagram-rel-comp.png",
"venn-diagram-abs-comp.png",
"venn-diagram-symm-diff.png",
"venn-diagram-union.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"
],
"File Hashes": {
"x86-64/registers.md": "4bcc04cea66b37d404ac430b0f034697",
"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/index.md": "112891852e2a260ceaeb916207a1568f",
"x86-64/declarations.md": "75bc7857cf2207a40cd7f0ee056af2f2",
"startups/term-sheet.md": "6b6152af78addb3fe818a7fc9d375fbf",
"startups/index.md": "00fd32876fc7a190dfecb2c37c15aadc",
"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",
"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",
"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",
"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/prop-logic.md": "b61ce051795d5a951c763b928ec5cea8",
"formal-system/logical-system/pred-logic.md": "6db7f2a3734b6f3d48313410dc611bd5",
"formal-system/logical-system/index.md": "708bb1547e7343c236068c18da3f5dc0",
"formal-system/index.md": "4c3d4de525e8e3254efd208341a300b1",
"formal-system/abstract-rewriting.md": "8424314a627851c5b94be6163f64ba30",
"filesystems/index.md": "cbd2b0290a3ba3b32abec4bd8bfefad5",
"filesystems/cas.md": "d41c0d2e943adecbadd10a03fd1e4274",
"encoding/integer.md": "f9786eab7f64ec63272dcca010961fe8",
"encoding/index.md": "071cfa6a5152efeda127b684f420d438",
"encoding/floating-point.md": "fcec4aaa249fe8fd90b14c3806cefbf5",
"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",
"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",
"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",
"combinatorics/inclusion-exclusion.md": "c27b49ee03cc5ee854d0e8bd12a1d505",
"combinatorics/combinations.md": "396fc32255710eaf33213efaafdc43d4",
"_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",
"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",
"_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",
"algebra/sequences/index.md": "208174a5a078b120fa11e296ad1d09c1",
"_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/delta-constant.md": "d9af958375cdf993e4ac3c68c1324ba7",
"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/index.md": "90b842eb694938d87c7c68779a5cacd1",
"algebra/radices.md": "662a3e2f611dd9655f1ef6c7ed0a9943",
"algebra/floor-ceiling.md": "a22efe853ad1234b2d3e0d7cc7e6fc47",
"algebra/boolean.md": "ee41e624f4d3d3aca00020d9a9ae42c8",
"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",
"abstract-data-types/priority-queues.md": "d3dad736cb05c47bdc93c52a3a4af083",
"abstract-data-types/index.md": "ff6dbecefeec918a1def38af4999fc51"
"_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/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",
"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",
"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",
"logic/classical/truth-tables.md": "b739e2824a4a5c26ac446e7c15ce02aa",
"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/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"
},
"fields_dict": {
"Basic": [

0
notes/ontology/philosophy/dialetheism.md → notes/ontology/dialetheism.md
View File

120
notes/ontology/index.md
View File

@ -1,3 +1,123 @@
---
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).

0
notes/ontology/philosophy/nominalism.md → notes/ontology/nominalism.md
View File

0
notes/ontology/philosophy/permissivism.md → notes/ontology/permissivism.md
View File

121
notes/ontology/philosophy/index.md → notes/ontology/properties.md
View File

@ -1,124 +1,14 @@
---
title: Ontology
title: Properties
TARGET DECK: Obsidian::H&SS
FILE TAGS: ontology::philosophy
FILE TAGS: ontology::property
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
@ -129,7 +19,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*.
@ -207,5 +97,4 @@ END%%
## Bibliography
* 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).
* Nikk Effingham, _An Introduction to Ontology_ (Cambridge: Polity Press, 2013).

BIN
notes/ontology/rdf/images/triple-table-repr.png
View File

Binary file not shown.
Side by Side

Before

Width:  |  Height:  |  Size: 18 KiB

118
notes/ontology/rdf/index.md
View File

@ -1,118 +0,0 @@
---
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.

239
notes/ontology/rdf/uri.md
View File

@ -1,239 +0,0 @@
---
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).