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

Compare commits

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

2 Commits
1d0872a032 ... 6e80a5ce70

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
10 changed files with 699 additions and 693 deletions
Show Stats Expand all files Collapse all files

1
.gitignore vendored
View File

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

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

@ -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": [

120
notes/ontology/index.md
View File

@ -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).

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

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

@ -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*.
@ -97,4 +207,5 @@ 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).
* 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/nominalism.md → notes/ontology/philosophy/nominalism.md
View File

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

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

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 18 KiB

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

@ -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.

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

@ -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).