Peano systems.

.gitignore

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

flake.nix

@@ -21,15 +21,15 @@
         quartz-src = pkgs.fetchFromGitHub {
           owner = "jackyzha0";
           repo = "quartz";
-          rev = "444e05ee21687473c17c19e1d52d7da39694971c";
-          hash = "sha256-wUbNNNxp6LiNtnzFMSgzSB05AjbyOBMcfkfaA5wbCnQ=";
+          rev = "4b407e786f93a9823b2d6c08ea62cb912a2ede39";
+          hash = "sha256-uyg6jde+PI24llX5etdiY0leaQkhNG227+bzz3NwAn8=";
         };
 
         quartz = pkgs.buildNpmPackage {
           pname = "quartz";
           version = "v4";
           src = quartz-src;
-          npmDepsHash = "sha256-W95Lr7rspPxYdFe1AVEJRcA/srM+uDDc8wpbRbGiLoQ=";
+          npmDepsHash = "sha256-69lMruXaUQe5tMeblVB4t9G7xPd4r45T2KAYlNRQSOc=";
           dontNpmBuild = true;
         };
       in
@@ -67,5 +67,7 @@
 
           default = self.packages.${system}.app;
         };
+
+        devShells.default = pkgs.mkShell { };
       });
 }

notes/.obsidian/app.json

@@ -1,3 +1,4 @@
 {
-  "alwaysUpdateLinks": true
+  "alwaysUpdateLinks": true,
+  "spellcheck": false
 }

notes/.obsidian/daily-notes.json

@@ -1,5 +1,5 @@
 {
-  "folder": "journal/",
-  "template": "templates/daily",
+  "folder": "_journal/",
+  "template": "_templates/daily",
   "autorun": true
 }

notes/.obsidian/graph.json

@@ -0,0 +1,22 @@
+{
+  "collapse-filter": false,
+  "search": "",
+  "showTags": false,
+  "showAttachments": false,
+  "hideUnresolved": false,
+  "showOrphans": true,
+  "collapse-color-groups": false,
+  "colorGroups": [],
+  "collapse-display": false,
+  "showArrow": false,
+  "textFadeMultiplier": 0,
+  "nodeSizeMultiplier": 1,
+  "lineSizeMultiplier": 1,
+  "collapse-forces": false,
+  "centerStrength": 0.518713248970312,
+  "repelStrength": 10,
+  "linkStrength": 1,
+  "linkDistance": 250,
+  "scale": 0.2962962962962963,
+  "close": false
+}

notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json

@@ -31,7 +31,56 @@
       "nix": "",
       "posix": "",
       "templates": "",
-      "algorithms/sorting": ""
+      "algorithms/sorting": "",
+      "_journal": "",
+      "_templates": "",
+      "abstract-data-types": "",
+      "algebra": "",
+      "binary": "",
+      "c17": "",
+      "combinatorics": "",
+      "data-structures": "",
+      "encoding": "",
+      "filesystems": "",
+      "formal-system": "",
+      "git": "",
+      "hashing": "",
+      "lambda-calculus": "",
+      "ontology": "",
+      "programming": "",
+      "proofs": "",
+      "set": "",
+      "startups": "",
+      "x86-64": "",
+      "_journal/2024-01": "",
+      "_journal/2024-02": "",
+      "_journal/2024-03": "",
+      "_journal/2024-04": "",
+      "_journal/2024-05": "",
+      "_journal/2024-06": "",
+      "_journal/2024-07": "",
+      "_journal/2024-08": "",
+      "algebra/images": "",
+      "algebra/sequences": "",
+      "algorithms/images": "",
+      "combinatorics/images": "",
+      "data-structures/images": "",
+      "encoding/images": "",
+      "formal-system/logical-system": "",
+      "formal-system/proof-system": "",
+      "hashing/images": "",
+      "lambda-calculus/images": "",
+      "logic/classical": "",
+      "ontology/philosophy": "",
+      "ontology/rdf": "",
+      "set/images": "",
+      "x86-64/instructions": "",
+      "algebra/sequences/images": "",
+      "ontology/rdf/images": "",
+      "calculus": "",
+      "_journal/2024-09": "",
+      "c17/types": "",
+      "calculus/images": ""
     },
     "FOLDER_TAGS": {
       "algorithms": "",
@@ -44,7 +93,56 @@
       "nix": "",
       "posix": "",
       "templates": "",
-      "algorithms/sorting": ""
+      "algorithms/sorting": "",
+      "_journal": "",
+      "_templates": "",
+      "abstract-data-types": "",
+      "algebra": "",
+      "binary": "",
+      "c17": "",
+      "combinatorics": "",
+      "data-structures": "",
+      "encoding": "",
+      "filesystems": "",
+      "formal-system": "",
+      "git": "",
+      "hashing": "",
+      "lambda-calculus": "",
+      "ontology": "",
+      "programming": "",
+      "proofs": "",
+      "set": "",
+      "startups": "",
+      "x86-64": "",
+      "_journal/2024-01": "",
+      "_journal/2024-02": "",
+      "_journal/2024-03": "",
+      "_journal/2024-04": "",
+      "_journal/2024-05": "",
+      "_journal/2024-06": "",
+      "_journal/2024-07": "",
+      "_journal/2024-08": "",
+      "algebra/images": "",
+      "algebra/sequences": "",
+      "algorithms/images": "",
+      "combinatorics/images": "",
+      "data-structures/images": "",
+      "encoding/images": "",
+      "formal-system/logical-system": "",
+      "formal-system/proof-system": "",
+      "hashing/images": "",
+      "lambda-calculus/images": "",
+      "logic/classical": "",
+      "ontology/philosophy": "",
+      "ontology/rdf": "",
+      "set/images": "",
+      "x86-64/instructions": "",
+      "algebra/sequences/images": "",
+      "ontology/rdf/images": "",
+      "calculus": "",
+      "_journal/2024-09": "",
+      "c17/types": "",
+      "calculus/images": ""
     },
     "Syntax": {
       "Begin Note": "%%ANKI",
@@ -72,36 +170,646 @@
       "**/*.excalidraw.md"
     ]
   },
-  "Added Media": [],
+  "Added Media": [
+    "adj-list-representation.png",
+    "adj-matrix-representation.png",
+    "abs-value-geom.png",
+    "triangle-inequality.png",
+    "triangle-inequality-degenerate.png",
+    "venn-diagram-union.png",
+    "venn-diagram-abs-comp.png",
+    "venn-diagram-intersection.png",
+    "venn-diagram-rel-comp.png",
+    "venn-diagram-symm-diff.png",
+    "normalized-form.png",
+    "denormalized-form.png",
+    "infinity.png",
+    "nan.png",
+    "triangular-gnomon.png",
+    "pascals-triangle.png",
+    "function-bijective.png",
+    "function-injective.png",
+    "function-surjective.png",
+    "function-general.png",
+    "function-kernel.png",
+    "peano-system-i.png",
+    "peano-system-ii.png"
+  ],
   "File Hashes": {
-    "algorithms/index.md": "1583c07edea4736db27c38fe2b6c4c31",
-    "algorithms/sorting/index.md": "3dea2ae728a19fa2d877711fa319ed87",
-    "algorithms/sorting/insertion-sort.md": "c78c9983f87cdc4198f82803d418967f",
-    "bash/index.md": "3b5296277f095acdf16655adcdf524af",
-    "bash/prompts.md": "61cb877e68da040a15b85af76b1f68ba",
+    "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": "7ab094b95ba2bfa885adba8e9efedf68",
-    "bash/shebang.md": "9006547710f9a079a3666169fbeda7aa",
-    "c/escape-sequences.md": "07f0811b0fff14f54f78abc33f2e6606",
-    "c/index.md": "aa8a34c62e7bc284ff589e28609222dc",
-    "gawk/index.md": "0263448c8ae1ecfc0eacc4788f8402e9",
-    "gawk/variables.md": "4482c297e7f4f5987f42f1926a880ca7",
+    "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": "3084b41fe1451259a0cf3e54560c2e85",
-    "logic/propositional.md": "45aee8bf688aa8fef4b136145085d38a",
-    "lua/index.md": "26632dae1f852519e2f1af11d65c34eb",
-    "nix/callPackage.md": "59796c480e2856fa7491f62ceb7e3c9c",
-    "nix/index.md": "dd5ddd19e95d9bdbe020c68974d77a33",
-    "posix/index.md": "f7b1ae55f8f5e8f50f89738b1aca9111",
-    "posix/signals.md": "2120ddd933fc0d57abb93c33f639afd8",
+    "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": "d7effae06677d559b15180ce30f1d306",
+    "posix/regexp.md": "d7d1b8cde49c405d44c7e1d9343769c0",
     "journal/2024-02-04.md": "e2b5678fc53d7284b71ed6820c02b954",
-    "gawk/regexp.md": "2dbc2548ed9212ddac8e8f66d979b5b7"
+    "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": "764610efa15de0be6d4092127b61440c",
+    "_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": "f2f3188f4e1142ec39de1e44ac5a1f0a",
+    "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": "474178afb07f3d5037c1547cc1a132f2",
+    "_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": "b039549b80bde34fab31b61b5e28e9d4",
+    "c17/escape-sequences.md": "a8b99070336878b4e8c11e9e4525a500",
+    "c17/declarations.md": "2d7877915bf8a2772d1e4de636ba52a5",
+    "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": "54130a02e1fc0a6033ce6ab7a781b0ae",
+    "_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": "aafaf54e5aff9ca3c7354591fce9f833",
+    "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": "88e305245e5115b6f9b6593b59364225",
+    "_journal/2024-03-18.md": "8479f07f63136a4e16c9cd07dbf2f27f",
+    "_journal/2024-03/2024-03-17.md": "23f9672f5c93a6de52099b1b86834e8b",
+    "set/directed-graph.md": "b4b8ad1be634a0a808af125fe8577a53",
+    "set/index.md": "7d09418b46856b721f14c5c1bc7320fa",
+    "set/graphs.md": "15aa43bf7f73347219f822e4b400e9bf",
+    "_journal/2024-03-19.md": "a0807691819725bf44c0262405e97cbb",
+    "_journal/2024-03/2024-03-18.md": "2c711c50247a9880f7ed0d33b16e1101",
+    "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": "495fb5f29b20fbee9812cee2ea9e4504",
+    "_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": "6251417184116a217e6eef39abc12077",
+    "_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": "c02471c6c9728dd19f8df7bc180ef8b1",
+    "set/axioms.md": "063955bf19c703e9ad23be2aee4f1ab7",
+    "_journal/2024-05-14.md": "f6ece1d6c178d57875786f87345343c5",
+    "_journal/2024-05/2024-05-13.md": "d549dd75fb42b4280d4914781edb0113",
+    "x86-64/registers.md": "5f1c601930681df39a0b24b55fa4c593",
+    "_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": "f1dbb16667b056f2ea00db8db805c54f",
+    "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": "a89ada021de83240724adb70490e3472",
+    "algebra/boolean.md": "c9bd5abb601be6d2bedd24d5f54848b0",
+    "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": "9323fc61ee983487e16f6dd4c1629957",
+    "_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": "6df655e60976715e5c6fbbe72b628c6d",
+    "lambda-calculus/index.md": "76d58f85c135c7df00081f47df31168e",
+    "x86-64/instructions/condition-codes.md": "9c05ed99f5c96162e25f0ec4db55c656",
+    "x86-64/instructions/logical.md": "818428b9ef84753920dc61e5c2de9199",
+    "x86-64/instructions/arithmetic.md": "271218d855e7291f119f96e91f582738",
+    "x86-64/instructions/access.md": "3efe399b89b947ab280dc1e045675390",
+    "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": "7c197f5f2ce193cfbc60f9c8168c9996",
+    "_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": "59e449d6756b57c846cdf07b0a1b4330",
+    "_journal/2024-06-15.md": "92cb8dc5c98e10832fb70c0e3ab3cec4",
+    "_journal/2024-06/2024-06-14.md": "5d12bc272238ac985a1d35d3d63ea307",
+    "lambda-calculus/beta-reduction.md": "a8e2825c84e842ceef7aa638a493b91a",
+    "_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": "70320231f84a49e34a31130eb71e5086",
+    "_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": "8073584fae2fe7bffcd4b69a7cd29058",
+    "hashing/static.md": "3ec6eaee73fb9b599700f5a56b300b83",
+    "hashing/addressing.md": "01b33abe25aae285e1641fa43470065b",
+    "ontology/index.md": "0994403dcd84415f1459752129b55f65",
+    "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": "47afc3ffa0bb758d9629d9d4a401394e",
+    "formal-system/logical-system/index.md": "708bb1547e7343c236068c18da3f5dc0",
+    "formal-system/logical-system/pred-logic.md": "34e872f4f920bf4e8c2cd00ee95b310f",
+    "formal-system/logical-system/prop-logic.md": "b61ce051795d5a951c763b928ec5cea8",
+    "formal-system/index.md": "28b596a8ffa7dca05e8c0b890be43aec",
+    "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": "88cf72e12f3135312c715497493d21ff",
+    "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": "8a2393673132ac57a86b3b528bfc4a16",
+    "_journal/2024-07/2024-07-27.md": "7c48690746d8320494e29e92390eb6ee",
+    "ontology/rdf/uri.md": "7dde3e92eee17ea85e75df3fdc5f8d51",
+    "ontology/rdf/index.md": "36424c9bad6088cdee67f74e3b8a019f",
+    "ontology/philosophy/permissivism.md": "07ef1e14269646957cfb9cb0a833968d",
+    "ontology/philosophy/nominalism.md": "46245c644238157e15c7cb6def27d90a",
+    "ontology/philosophy/index.md": "d132b8f4a69bdb664c822366fb27fa64",
+    "ontology/philosophy/dialetheism.md": "56dd05b38519f90c5cab93637978b3b3",
+    "_journal/2024-07-29.md": "a480e577b06a94755b6ebf4ac9ee5732",
+    "_journal/2024-07/2024-07-28.md": "ff5dcfb3dc1b5592894363414e20b02f",
+    "_journal/2024-07-30.md": "025194b9b770b56a81b5a52d96a305f2",
+    "_journal/2024-07/2024-07-29.md": "ab496a55aacc60d9456378920c599871",
+    "data-structures/binary-search-tree.md": "07c1a1640f5b1c6ac08aa028e61d8e2d",
+    "_journal/2024-08-01.md": "2e3da352cfbaf29b6b49e3c3a4f090df",
+    "_journal/2024-07/2024-07-31.md": "d397c5a4d42660eeaa290aa8316d55c1",
+    "_journal/2024-07/2024-07-30.md": "025194b9b770b56a81b5a52d96a305f2",
+    "_journal/2024-08-02.md": "24648f61c675c1c52e4cb19cbac6f0dc",
+    "_journal/2024-08-03.md": "1afbd61dac3039aa3637a9c472813d67",
+    "_journal/2024-08/2024-08-02.md": "076c35545f292eddd3c7253a41fbd40c",
+    "_journal/2024-08/2024-08-01.md": "2e3da352cfbaf29b6b49e3c3a4f090df",
+    "_journal/2024-08-04.md": "f3675ba4cd33f16a5695732bbe10473e",
+    "_journal/2024-08/2024-08-03.md": "7c1d3dbaf47d1120bb879110e827d1b3",
+    "c17/pointers.md": "c80957f5cab7403b85bcabcc9ce983ef",
+    "_journal/2024-08-07.md": "0a71a471b2eb6b3d45c663e1eaa553e9",
+    "_journal/2024-08/2024-08-06.md": "ecb72760daef7db26825c59add0dc040",
+    "_journal/2024-08/2024-08-05.md": "632d0ccd84817d8f2b22275df6d433c0",
+    "_journal/2024-08/2024-08-04.md": "3838fa18f564e05586ebf3fed80e0ba5",
+    "_journal/2024-08-08.md": "efad4bb9a4842bedb5d1bc5f32af9918",
+    "_journal/2024-08/2024-08-07.md": "119c052f4109a3e098d825b771af89de",
+    "_journal/2024-08-09.md": "2ce3e0c468f51750d8ad86a19bcc3264",
+    "_journal/2024-08/2024-08-08.md": "b8211a4c576ff594217e2e9cae9396c0",
+    "data-structures/b-tree.md": "32673aceb58a3605e0386f490a7aaefc",
+    "data-structures/binary-tree.md": "67b0b5b9688faa205983993fe507079a",
+    "_journal/2024-08-10.md": "08e7ea4a78c46645b93ec51e2372d04f",
+    "_journal/2024-08/2024-08-09.md": "2ce3e0c468f51750d8ad86a19bcc3264",
+    "_journal/2024-08-11.md": "acc91e07b43590e90846d2c936dcb3d5",
+    "_journal/2024-08/2024-08-10.md": "08e7ea4a78c46645b93ec51e2372d04f",
+    "_journal/2024-08-12.md": "8a37a2d1381f9d9e29d83031bad80dd0",
+    "_journal/2024-08/2024-08-11.md": "acc91e07b43590e90846d2c936dcb3d5",
+    "c17/types.md": "2bde3d7fff63650b0207b4fe2b4e9ac2",
+    "_journal/2024-08-14.md": "800650b9fa2f4445a174e0a547c2fa95",
+    "_journal/2024-08/2024-08-13.md": "8b64225b06d1164a91176b123a3513a2",
+    "_journal/2024-08/2024-08-12.md": "e57b03b929410f3111c894e43e1728ec",
+    "_journal/2024-08-15.md": "fabf6e09bfd99cd180a4c674f83ebcb9",
+    "_journal/2024-08/2024-08-14.md": "f7d1dede5ab6e4634ad9de3d3426c6f7",
+    "_journal/2024-08-16.md": "a25c680684bcffc6a38cebbb448d9d97",
+    "_journal/2024-08/2024-08-15.md": "7c3a96a25643b62b0064bf32cb17d92f",
+    "_journal/2024-08-17.md": "b06a551560c377f61a1b39286cd43cee",
+    "_journal/2024-08/2024-08-16.md": "da1127a1985074a3930b4c3512344025",
+    "set/order.md": "b69f922200514975b7a7028eef030b59",
+    "_journal/2024-08-18.md": "6f8aec69e00401b611db2a377a3aace5",
+    "ontology/philosophy/properties.md": "41b32249d3e4c23d73ddb3a417d65a4c",
+    "_journal/2024-08-19.md": "94836e52ec04a72d3e1dbf3854208f65",
+    "_journal/2024-08/2024-08-18.md": "6f8aec69e00401b611db2a377a3aace5",
+    "_journal/2024-08/2024-08-17.md": "b06a551560c377f61a1b39286cd43cee",
+    "calculus/bounds.md": "cbae7421eaa096cd17a2f9de079f593d",
+    "calculus/index.md": "5ee4d950533ae330ca5ef9e113fe87f3",
+    "x86-64/instructions/conditions.md": "c5571deac40ac2eeb8666f2d3b3c278e",
+    "_journal/2024-08-20.md": "e8bec308d1b29e411c6799ace7ef6571",
+    "algebra/arch-prop.md": "eccdd685f12898ed8679b558d19dc20a",
+    "_journal/2024-08/2024-08-19.md": "94836e52ec04a72d3e1dbf3854208f65",
+    "_journal/2024-08-21.md": "59e9483143ba6beec4f9ae2a09eb90a8",
+    "_journal/2024-08-22.md": "050235d5dc772b542773743b57ce3afe",
+    "_journal/2024-08/2024-08-21.md": "1637b8ec8475cf3eb4f41d1d86cbf5df",
+    "_journal/2024-08/2024-08-20.md": "e8bec308d1b29e411c6799ace7ef6571",
+    "_journal/2024-08-23.md": "3b2feab2cc927e267263cb1e9c173d50",
+    "set/natural-numbers.md": "bf73972ec1ca619ba0124169c25b1c39",
+    "_journal/2024-08-24.md": "563fad24740e44734a87d7c3ec46cec4",
+    "_journal/2024-08/2024-08-23.md": "7b5a40e83d8f07ff54cd9708017d029c",
+    "_journal/2024-08/2024-08-22.md": "050235d5dc772b542773743b57ce3afe",
+    "c17/fixed-width.md": "b5f2342f3e8804978aad415ca7bc8b86",
+    "c17/enums.md": "9414fb67aa256a0a11b7240534c67bf6",
+    "c17/derived-types.md": "6fb8f23a2423f05d5bdccb6672a32e38",
+    "c17/basic-types.md": "7c6653bf6dc24c2f2aa72fc95c4f7875",
+    "c17/types/simple.md": "36445dec496b5f7a066bdb7738b2f17e",
+    "c17/types/enumerated.md": "e1f70a30677c776b7b44ac3e0ff4e76d",
+    "c17/types/derived.md": "aff0d2b6d218fb67af3cc92ead924de3",
+    "c17/types/basic.md": "5064e21e683c0218890058882e06b6f3",
+    "c17/types/index.md": "7f8541016f9ac91cc6477fe864fdccd3",
+    "_journal/2024-08-25.md": "e73a8edbd027d0f1a39289540eb512f2",
+    "_journal/2024-08/2024-08-24.md": "563fad24740e44734a87d7c3ec46cec4",
+    "algebra/abs-val.md": "a47bc08db62304eb526d15ede3e300cf",
+    "data-structures/graphs.md": "93233f0fa6980b8b311de1660de3f3e2",
+    "_journal/2024-08-26.md": "5bed1b0ee34e546c31760f5a0aa5ca19",
+    "_journal/2024-08/2024-08-25.md": "a3337b4658677810127350ef3e0ad146",
+    "_journal/2024-08-27.md": "d9ffc6ea2128ab5a86ab5f2619206736",
+    "_journal/2024-08/2024-08-26.md": "6f40716e2f01cd097d4881259babf1ba",
+    "c17/types/conversions.md": "477528bf1a297a8fc4eed0ecb4206158",
+    "_journal/2024-08-28.md": "c9c0e7ab8bcbf23d6332b3f19ec4d997",
+    "_journal/2024-08-30.md": "ff50eb8dd5124c20d4fa291d8b675238",
+    "_journal/2024-08/2024-08-28.md": "92e653379c8d7594bb23de4b330913fe",
+    "_journal/2024-08/2024-08-27.md": "d9ffc6ea2128ab5a86ab5f2619206736",
+    "_journal/2024-08/2024-08-29.md": "3e950ebf5f7e1cc125b23b736fd3f2d2",
+    "_journal/2024-09-01.md": "4a6536246b824636a50119d9065ea824",
+    "_journal/2024-08/2024-08-31.md": "f88a00ce067329b9ded07994c65817a7",
+    "_journal/2024-08/2024-08-30.md": "0eba0fb5127f435068b16d4cb6c64a43",
+    "_journal/2024-09-05.md": "13076856bc3861468b5a8b0a0e44e924",
+    "_journal/2024-09/2024-09-05.md": "2183a8ed0f1f08115d6fd9c6c59b8648",
+    "_journal/2024-09/2024-09-04.md": "4a6536246b824636a50119d9065ea824",
+    "_journal/2024-09/2024-09-03.md": "4a6536246b824636a50119d9065ea824",
+    "_journal/2024-09/2024-09-02.md": "4a6536246b824636a50119d9065ea824",
+    "_journal/2024-09/2024-09-01.md": "a18864d37971a841f7fd908ddb6d9033",
+    "_journal/2024-09-12.md": "746f3c314100fb789c0243d263403e9b",
+    "_journal/2024-09/2024-09-11.md": "aa107c38ff69a3de88646eb75cb4a100",
+    "_journal/2024-09/2024-09-09.md": "98e65d8cd70f1259aa79abd9b825ffe8",
+    "_journal/2024-09/2024-09-10.md": "71a766783213f58552990b3ab1baeb50",
+    "_journal/2024-09/2024-09-08.md": "0949eaf8df8d7e35cc0734d3a823921a",
+    "_journal/2024-09/2024-09-07.md": "807e46a75e8b4b414141fb0c7d3f03e4",
+    "_journal/2024-09/2024-09-06.md": "7ea6a87f77cf49943eb76dd1052bd736",
+    "_journal/2024-09-14.md": "774019f651e728faa288041ce4b265d3",
+    "_journal/2024-09/2024-09-13.md": "8c8f33fdd8242e5ab9adaa797dea7995",
+    "_journal/2024-09/2024-09-12.md": "30968fa3d73c005bdb4acc2025b34e11",
+    "_journal/2024-09-15.md": "a203f489d0205246b9b625354123046c",
+    "_journal/2024-09/2024-09-14.md": "1050e9ae0dfe4196a419105c43c2162f"
   },
   "fields_dict": {
     "Basic": [

notes/_journal/2024-02/2024-02-04.md

@@ -2,10 +2,12 @@
 title: "2024-02-04"
 ---
 
-- [ ] Anki Flashcards
+- [x] Anki Flashcards
 - [x] KoL
 - [ ] Sheet Music (10 min.)
 - [ ] OGS (1 Life & Death Problem)
 - [ ] Korean (Read 1 Story)
 - [ ] Interview Prep (1 Practice Problem)
-- [ ] Log Work Hours (Max 3 hours)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Today was spent primarily traveling.

notes/_journal/2024-02/2024-02-05.md

@@ -0,0 +1,14 @@
+---
+title: "2024-02-04"
+---
+
+- [x] Anki Flashcards
+- [ ] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] OGS (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Today was spent mostly hanging out with Brittany and Katie.
+* I spent a brief amount of time thinking about the equivalence-transformation system described by Gries.

notes/_journal/2024-02/2024-02-06.md

@@ -0,0 +1,14 @@
+---
+title: "2024-02-06"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] OGS (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Continued reading about `awk` regular expressions. Finished Chapter 3 of "GAWK: Effective AWK Programming".
+* Translated more notes on equivalence-transformation.

notes/_journal/2024-02/2024-02-07.md

@@ -0,0 +1,16 @@
+---
+title: "2024-02-07"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [x] Sheet Music (10 min.)
+- [ ] OGS (1 Life & Death Problem)
+- [x] Korean (Read 1 Story)
+- [x] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Read section 4.1 of "GAWK: Effective AWK Programming".
+* Began translating more of "The Science of Programming" into flashcards.
+* Begin re-reading order of growth concepts.
+* Solved [Palindrome Number](https://leetcode.com/problems/palindrome-number/) and [Regular Expression Matching](https://leetcode.com/problems/regular-expression-matching/description/) (though my solution in the latter is subpar, using recursion instead of dynamic programming).

notes/_journal/2024-02/2024-02-08.md

@@ -0,0 +1,16 @@
+---
+title: "2024-02-08"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [x] Sheet Music (10 min.)
+- [ ] OGS (1 Life & Death Problem)
+- [x] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Add notes on insertion/selection sort.
+* Continue working through "GAWK: Effective AWK Programming". Focused on fields (sections 4.2 and 4.3).
+* Call with Kevin on columnar databases and streaming/message queue platforms.
+* Also opened "Computer Systems: A Programmer's Perspective" to work through in parallel.

notes/_journal/2024-02/2024-02-09.md

@@ -0,0 +1,16 @@
+---
+title: "2024-02-09"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [x] Sheet Music (10 min.)
+- [ ] OGS (1 Life & Death Problem)
+- [x] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Logged information about prominent predefined `awk` variables.
+* Created flashcards for C data type declarations.
+* Added notes on bubble sort.
+* Added notes on existential/universal quantification.

notes/_journal/2024-02/2024-02-10.md

@@ -0,0 +1,13 @@
+---
+title: "2024-02-10"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [x] Sheet Music (10 min.)
+- [x] OGS (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Some reading around how `awk` handles field separators.

notes/_journal/2024-02/2024-02-11.md

@@ -0,0 +1,14 @@
+---
+title: "2024-02-11"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [x] Sheet Music (10 min.)
+- [ ] OGS (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Notes on endianness.
+* Notes on prenex normal form and normal forms in general.

notes/_journal/2024-02/2024-02-12.md

@@ -0,0 +1,15 @@
+---
+title: "2024-02-12"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [x] Sheet Music (10 min.)
+- [ ] OGS (1 Life & Death Problem)
+- [x] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Read 삼 년 고개 (Three-Years Hill).
+* Notes on ASCII and C-style strings.
+* Elaborated on each of the submodules in Gus and my "Soft Skills Workshop".

notes/_journal/2024-02/2024-02-13.md

@@ -0,0 +1,18 @@
+---
+title: "2024-02-13"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [x] Sheet Music (10 min.)
+- [ ] OGS (1 Life & Death Problem)
+- [x] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Read more on record and field separators in `gawk`.
+* Copied over my bash and neovim configs onto my desktop.
+* Continued practicing One Summer's Day.
+* Read 혹부리 할아버지 (The Old Man with the Lump).
+* Begin adding notes/flashcards on `printf`. It's format specifier is used in enough places to warrant it.
+* Started playing Nier Automata.

notes/_journal/2024-02/2024-02-14.md

@@ -0,0 +1,16 @@
+---
+title: "2024-02-14"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] OGS (1 Life & Death Problem)
+- [x] Korean (Read 1 Story)
+- [x] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* More flashcards on `printf`. This time on flags.
+* Read 금덩이를 버린 형제 (Two brothers Who Threw Away Their Lumps of Gold).
+* Flashcards are growing much more rapidly with my Obsidian_to_Anki plugin approach. Increased new card limit to 40 and will evaluate how well that works.
+* Notes on textual substitution.

notes/_journal/2024-02/2024-02-15.md

@@ -0,0 +1,15 @@
+---
+title: "2024-02-15"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] OGS (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Finished "Ingestion" chapter of "Fundamentals of Data Engineering".
+* Read first chapter of "Concrete Mathematics" and added additional notes on bit shifting.
+* Met with Gus on Soft Skills workshop.

notes/_journal/2024-02/2024-02-16.md

@@ -0,0 +1,15 @@
+---
+title: "2024-02-16"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] OGS (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [x] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Read "Queries, Modeling, and Transformation" of "Fundamentals of Data Engineering".
+* Deleted many notes on shifting. Will wait until I look deeper into the actual representations of integral types before re-introducing.
+* Spent time deriving properties of floor/ceiling functions and analogs in C. Added many more notes on partitioning arrays in halves.

notes/_journal/2024-02/2024-02-17.md

@@ -0,0 +1,23 @@
+---
+title: "2024-02-17"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [x] OGS (1 Life & Death Problem)
+- [x] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Began working through two's-complement and unsigned encoding.
+* Also added more notes on propositional logic.
+	* Taking a step back from "Concrete Mathematics" to first read through "Discrete Mathematics: An Open Introduction".
+* 101weiqi problems (serial numbers)
+	* Q-14584
+	* Q-253960
+	* Q-21834
+	* Q-349936
+	* Q-9812
+* Read 금도끼와 은도끼 (The Golden Ax and the Silver Ax).
+* Read through first section of "Discrete Mathematics: An Open Introduction". Add combinatorics notes.

notes/_journal/2024-02/2024-02-18.md

@@ -0,0 +1,23 @@
+---
+title: "2024-02-18"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [x] OGS (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* 101weiqi problems (serial numbers)
+	* Q-59934
+	* Q-264298
+	* Q-349700
+	* Q-138042
+	* Q-11151
+	* Q-267485
+	* Q-84172
+	* Q-87250
+	* Q-260737
+	* Q-12517

notes/_journal/2024-02/2024-02-19.md

@@ -0,0 +1,14 @@
+---
+title: "2024-02-19"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [x] Sheet Music (10 min.)
+- [ ] OGS (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Start encoding notes on permutations and combinations, as well as their relationship to one another.
+* Continuing on `printf` fields. Added flashcards for `width` and `precision`.

notes/_journal/2024-02/2024-02-20.md

@@ -0,0 +1,22 @@
+---
+title: "2024-02-20"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [x] OGS (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [x] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Added `printf` `length` field notes.
+* 101weiqi (serial numbers)
+	* Q-138432
+	* Q-266721
+	* Q-110886
+	* Q-267289
+	* Q-275961
+	* Q-324650
+	* Q-83832
+* Notes on integer encodings and how unsigned encoding relates to two's-complement.

notes/_journal/2024-02/2024-02-21.md

@@ -0,0 +1,20 @@
+---
+title: "2024-02-21"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] OGS (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [x] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Read through "Stars and Bars" section in "Discrete Mathematics: An Open Introduction".
+* Added notes on radices.
+* Spent time thinking about how two's-complement works.
+* Read the first chapter on "Designing Data-Intensive Applications".
+* Leetcode Problems
+	* [Integer to Roman](https://leetcode.com/problems/integer-to-roman/description/)
+	* [Roman to Integer](https://leetcode.com/problems/roman-to-integer/description/)
+	* [Container With Most Water](https://leetcode.com/problems/container-with-most-water/description/)

notes/_journal/2024-02/2024-02-22.md

@@ -0,0 +1,19 @@
+---
+title: "2024-02-22"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] OGS (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [x] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Briefly discussed first chapter of "Designing Data-Intensive Applications" with Mike.
+* Continued reading more on integer encodings.
+	* Focused on conversions between unsigned encoding and two's-complement, though still need to create flashcards for these.
+* Did Leetcode problems
+	* [3Sum Closest](https://leetcode.com/problems/3sum-closest/description/)
+	* [Letter Combinations of a Phone Number](https://leetcode.com/problems/letter-combinations-of-a-phone-number/description/)
+	* [Remove Nth Node From End of List](https://leetcode.com/problems/remove-nth-node-from-end-of-list/description/)

notes/_journal/2024-02/2024-02-23.md

@@ -0,0 +1,24 @@
+---
+title: "2024-02-23"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [x] OGS (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [x] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* 101weiqi (serial numbers)
+	* Q-28857
+	* Q-120650
+	* Q-123426
+	* Q-10929
+	* Q-10924
+	* Q-9107
+* Read about extension and truncation of integral values using unsigned and two's-complement encoding.
+* Read through last sections of "Discrete Mathematics: An Open Introduction"'s first chapter.
+	* I took a few notes but didn't pay as close attention to these sections as others.
+* Leetcode [Decode Ways](https://leetcode.com/problems/decode-ways/solutions/).
+* Practiced implementing merge sort and quicksort.

notes/_journal/2024-02/2024-02-24.md

@@ -0,0 +1,33 @@
+---
+title: "2024-02-24"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [x] OGS (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [x] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Add back some notes on shifting in preparation of integer arithmetic.
+* 101weiqi (serial numbers)
+	* Q-119238
+	* Q-9351
+	* Q-185881
+	* Q-137617
+	* Q-83746
+	* Q-85294
+	* Q-276668
+	* Q-111917
+	* Q-43346
+	* Q-317008
+	* Q-127207
+	* Q-366042
+	* Q-144
+* Notes on unsigned addition.
+* Notes on `SIGILL`.
+* Leetcode problems
+	* [Valid Parentheses](https://leetcode.com/problems/valid-parentheses/description/)
+	* [Merge Two Sorted Lists](https://leetcode.com/problems/merge-two-sorted-lists/description/)
+	* [Generate Parentheses](https://leetcode.com/problems/generate-parentheses/description/)

notes/_journal/2024-02/2024-02-25.md

@@ -0,0 +1,28 @@
+---
+title: "2024-02-25"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [x] OGS (1 Life & Death Problem)
+- [x] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Read 흥부와 놀부 (Heungbuwa Nolbu).
+* 101weiqi (serial numbers)
+	* Q-79448
+	* Q-5508
+	* Q-359007
+	* Q-12406
+	* Q-72569
+	* Q-259158
+	* Q-93867
+	* Q-84628
+	* Q-342740
+	* Q-54992
+	* Q-49888
+	* Q-10602
+	* Q-261719
+	* Q-178790

notes/_journal/2024-02/2024-02-26.md

@@ -0,0 +1,29 @@
+---
+title: "2024-02-26"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [x] OGS (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [x] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Added flashcards on two's-complement addition.
+* Consolidated `integer-encoding.md` with `shifts.md`.
+* Added notes on $\Theta$-notation.
+* Read chapter 2 of "Designing Data-Intensive Applications".
+* 101weiqi (serial numbers)
+	* Q-265171
+	* Q-40523
+	* Q-267801
+	* Q-368844
+	* Q-61135
+	* Q-12528
+	* Q-122965
+	* Q-77762
+* Leetcode
+	* [Longest Common Prefix](https://leetcode.com/problems/longest-common-prefix/)
+	* [Swap Nodes in Pairs](https://leetcode.com/problems/swap-nodes-in-pairs/)
+	* [Remove Duplicates From Sorted Array](https://leetcode.com/problems/remove-duplicates-from-sorted-array/)

notes/_journal/2024-02/2024-02-27.md

@@ -0,0 +1,18 @@
+---
+title: "2024-02-27"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [x] Go (1 Life & Death Problem)
+- [x] Korean (Read 1 Story)
+- [x] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Added many flashcards on $\Theta$-, $O$-, and $\Omega$-notation.
+* Yet more notes on two's-complement.
+* Read 견우와 직녀 (The Story of Gyeon-Uh and Jik-Nyeo).
+* Leetcode Problems
+	* [Divide Two Integers](https://leetcode.com/problems/divide-two-integers)
+	* [Find the Index of the First Occurrence in a String](https://leetcode.com/problems/find-the-index-of-the-first-occurrence-in-a-string/)

notes/_journal/2024-02/2024-02-28.md

@@ -0,0 +1,21 @@
+---
+title: "2024-02-28"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [x] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* 101weiqi (serial numbers)
+	* Q-314990
+	* Q-264202
+	* Q-305178
+	* Q-51685
+	* Q-11821
+	* Q-5014
+* Add notes on `SIGABRT`.
+* First pass on "Git Internals" in "Pro Git".

notes/_journal/2024-02/2024-02-29.md

@@ -0,0 +1,23 @@
+---
+title: "2024-02-29"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [x] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* 101weiqi (serial numbers)
+	* Q-349924
+	* Q-99982
+	* Q-285489
+	* Q-85874
+	* Q-265576
+	* Q-11420
+* Completed "Discrete Mathematics: An Open Introduction" chapter 2.1 exercises.
+* Watched [06 - Memory Management + Buffer Cache](https://www.youtube.com/watch?v=Y9H2HaRKOIw)
+* Watched [07 - Hash Tables](https://www.youtube.com/watch?v=9yUlSabzVwQ)
+* Read "Database System Concepts" chapter 13.2-13.5, 14.5, and 24.5.

notes/_journal/2024-03/2024-03-01.md

@@ -0,0 +1,16 @@
+---
+title: "2024-03-01"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Reviewed database reading/videos from yesterday with Kevin.
+* Finished planning soft skills course with Gus.
+* Added flashcards around sequences.
+* Added flashcards for git trees.

notes/_journal/2024-03/2024-03-02.md

@@ -0,0 +1,13 @@
+---
+title: "2024-03-02"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Notes on triangular and square numbers.

notes/_journal/2024-03/2024-03-03.md

@@ -0,0 +1,14 @@
+---
+title: "2024-03-03"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Began working through unsigned and two's-complement multiplication.
+* Added notes on $o$- and $\omega$-notation.

notes/_journal/2024-03/2024-03-04.md

@@ -0,0 +1,20 @@
+---
+title: "2024-03-04"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [x] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Continued working my way through unsigned and two's-complement multiplication.
+* 101weiqi (serial numbers)
+	* Q-329986
+	* Q-55201
+	* Q-114780
+	* Q-13894
+	* Q-254641
+* Setup better nvim-dap integration. Made sure this also worked on Fedora.

notes/_journal/2024-03/2024-03-05.md

@@ -0,0 +1,29 @@
+---
+title: "2024-03-05"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [x] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [x] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Arithmetic and geometric sequences in "Discrete Mathematics: An Open Introduction".
+	* Completed chapter exercises 2.2.
+* Finished adding flashcards for git tree and commit objects.
+* 101weiqi (serial numbers)
+	* Q-82289
+	* Q-350205
+	* Q-77774
+	* Q-267476
+	* Q-184824
+	* Q-102329
+	* Q-152376
+	* Q-1358
+	* Q-114783
+	* Q-26296
+* Leetcode Problems
+	* [Next Permutation](https://leetcode.com/problems/next-permutation/)
+* Purged all blockchain-related flashcards from Anki.

notes/_journal/2024-03/2024-03-06.md

@@ -0,0 +1,23 @@
+---
+title: "2024-03-06"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [x] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [x] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Added notes on how asymptotic notation relates to one another.
+* Leetcode Problems
+	* [Search In Rotated Sorted Array](https://leetcode.com/problems/search-in-rotated-sorted-array/)
+	* [Find First and Last Position of Element in Sorted Array](https://leetcode.com/problems/find-first-and-last-position-of-element-in-sorted-array/)
+	* [Search Input Position](https://leetcode.com/problems/search-insert-position/)
+	* [Valid Sudoku](https://leetcode.com/problems/valid-sudoku/)
+* 101weiqi (serial numbers)
+	* Q-151618
+	* Q-20227
+	* Q-215640
+* Began reading chapter 3 of "Designing Data-Intensive Applications". Up to and including in-memory hash indices.

notes/_journal/2024-03/2024-03-07.md

@@ -0,0 +1,20 @@
+---
+title: "2024-03-07"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [x] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Spent a while thinking through floor/ceiling identities. Want to return to two's-complement division (rounding up) after I dive into the division algorithm more.
+	* In particular, I want to explore the relationship between floors and `mq + r` as well as ceilings and `mq - r`.
+* Read chapter 3 of "Designing Data-Intensive Applications".
+* Transcribed hard-copy soft skills notes to Google document.
+* Leetcode Problems
+	* [Count and Say](https://leetcode.com/problems/count-and-say/)
+	* [Combination Sum](https://leetcode.com/problems/combination-sum/)
+	* [Multiply Strings](https://leetcode.com/problems/multiply-strings/)

notes/_journal/2024-03/2024-03-08.md

@@ -0,0 +1,19 @@
+---
+title: "2024-03-08"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [x] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* 101weiqi (serial numbers)
+	* Q-8118
+	* Q-56273
+	* Q-220867
+	* Q-141879
+	* Q-12638
+	* Q-242062

notes/_journal/2024-03/2024-03-09.md

@@ -0,0 +1,11 @@
+---
+title: "2024-03-09"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)

notes/_journal/2024-03/2024-03-10.md

@@ -0,0 +1,13 @@
+---
+title: "2024-03-10"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Implemented an extendible hash map in C.

notes/_journal/2024-03/2024-03-11.md

@@ -0,0 +1,14 @@
+---
+title: "2024-03-11"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Got the bustub project up and running on NixOS.
+* Worked further on the extendible hash table implementation.

notes/_journal/2024-03/2024-03-12.md

@@ -0,0 +1,11 @@
+---
+title: "2024-03-12"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)

notes/_journal/2024-03/2024-03-13.md

@@ -0,0 +1,14 @@
+---
+title: "2024-03-13"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Read through floating point representations once in "Computer Systems: A Programmer's Perspective".
+* Reached chapter 4 in "Introduction to Algorithms".

notes/_journal/2024-03/2024-03-14.md

@@ -0,0 +1,16 @@
+---
+title: "2024-03-14"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Continued working through floating point formats (IEEE 754). Did related practice problems.
+* Added flashcards on floating point `printf` flags.
+* Add notes on git references.
+* Implemented LRU-K replacer for database project.

notes/_journal/2024-03/2024-03-15.md

@@ -0,0 +1,14 @@
+---
+title: "2024-03-15"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Added first batch of flashcards on IEEE Standard 754.
+* Read first half of chapter 4 in "Designing Data-Intensive Applications". Touches on different data encodings. 

notes/_journal/2024-03/2024-03-16.md

@@ -0,0 +1,15 @@
+---
+title: "2024-03-16"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Finished chapter 4 of "Designing Data-Intensive Applications". The second half focused on dataflow.
+* Continue adding more flashcards on IEEE floating-point.
+* Ascended in KoL. Started new run as a Turtle Tamer.

notes/_journal/2024-03/2024-03-17.md

@@ -0,0 +1,15 @@
+---
+title: "2024-03-17"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Finished translating `printf` to all relevant flashcards.
+* Finish chapter 2 of "Computer Systems: A Programmer's Perspective".
+	* Last portion was on floating-point encoding.

notes/_journal/2024-03/2024-03-18.md

@@ -0,0 +1,16 @@
+---
+title: "2024-03-18"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Finished [buffer pool manager project](https://15445.courses.cs.cmu.edu/fall2022/project1/).
+* Added notes on [[set/graphs|graph]]-related terminology. Updated "Introduction to Algorithms" to fourth edition.
+* Watched [How My Student Became 1 Dan](https://www.youtube.com/watch?v=ZvHL_lwfYYI&t=595s).
+* Reviewed and commented on Gus's latest pass of soft skills course.

notes/_journal/2024-03/2024-03-19.md

@@ -0,0 +1,14 @@
+---
+title: "2024-03-19"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Read sections 3.1 through 3.3 of "Computer Systems: A Programmer's Perspective". Skimmed the rest of the chapter.
+	* Piggybacking off of this, read some historical context on different processor developers. Though I'd like to learn a bit more about the different processors and architectures, I'll limit my focus to the x86 processor line for the time-being.

notes/_journal/2024-03/2024-03-20.md

@@ -0,0 +1,27 @@
+---
+title: "2024-03-20"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [x] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Purged some Anki flashcards with tags: `lua`, `cncf`. In general, want to avoid on this next pass including any sort of flashcards around languages outside of C and:
+	* Bash
+	* Lean
+	* Nix
+	* SQL
+	* x86-64 Assembly
+	* I also want to avoid learning general syntax (specific gotchas are reasonable) over general concepts where it makes sense.
+* Made distinctions in flashcards between POSIX `awk` features and GNU `awk` features. Only a few exceptions that may have been misleading so far (GNU's implementation allowing `FS` to be null and `RS` to be a regexp).
+	* Actually, going further, just removing this altogether. I'll continue reading about `awk` but I'm not interested in translating into flashcards unless it turns out I really start using it heavily.
+* Read Chapter 5 "Printing" in "GAWK: Effective AWK Programming".
+* Notes on [[instructions]] history.
+* Leetcode Problems
+	* [Pow(x, n)](https://leetcode.com/problems/powx-n/)
+	* [Group Anagrams](https://leetcode.com/problems/group-anagrams/)
+* Basic pass for a type-safe spreadsheet program.

notes/_journal/2024-03/2024-03-21.md

@@ -0,0 +1,15 @@
+---
+title: "2024-03-21"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Talked with Mike about chapter 3 and 4 of "Designing Data-Intensive Applications"
+* Finished Level 4 Update for D&D campaign.
+* Created the "Hierarchy of Goals" worksheet for the soft-skills course.

notes/_journal/2024-03/2024-03-22.md

@@ -0,0 +1,16 @@
+---
+title: "2024-03-22"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Reach section 3.3 of "Computer Systems: A Programmer's Perspective".
+	* Basic [[x86-64/declarations|Intel data types]] and historical context around their naming.
+* Added flashcards on [[trees]].
+* Read chapter 5 "Replication" of "Designing Data-Intensive Applications".

notes/_journal/2024-03/2024-03-23.md

@@ -0,0 +1,18 @@
+---
+title: "2024-03-23"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Spent most of the day building out a first prototype for a hide-and-seek app.
+	* Loaded geometry in an Ecto-compatible way.
+	* Rendered Mapbox map and drew regions as well as current location.
+	* Next steps:
+		* Let multiple people connect and share connection status.
+		* Have a shared hiding timer and search timer.

notes/_journal/2024-03/2024-03-24.md

@@ -0,0 +1,11 @@
+---
+title: "2024-03-24"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)

notes/_journal/2024-03/2024-03-25.md

@@ -0,0 +1,13 @@
+---
+title: "2024-03-25"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Primary worked on the hide and seek application. Can now create and join rooms using Phoenix Liveview.

notes/_journal/2024-03/2024-03-26.md

@@ -0,0 +1,11 @@
+---
+title: "2024-03-26"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)

notes/_journal/2024-03/2024-03-27.md

@@ -0,0 +1,11 @@
+---
+title: "2024-03-27"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)

notes/_journal/2024-03/2024-03-28.md

@@ -0,0 +1,13 @@
+---
+title: "2024-03-28"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Most of the day was spent working on the hide and seek application.

notes/_journal/2024-03/2024-03-29.md

@@ -0,0 +1,13 @@
+---
+title: "2024-03-29"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Work I did do revolved around getting hide and seek polished up.

notes/_journal/2024-03/2024-03-30.md

@@ -0,0 +1,14 @@
+---
+title: "2024-03-30"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Primarily worked on getting Looped back up and running.
+* Became a blue man group trainee.

notes/_journal/2024-03/2024-03-31.md

@@ -0,0 +1,13 @@
+---
+title: "2024-03-31"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Mostly continued working on getting Looped back up and running. In particular, nixifying the various packages.

notes/_journal/2024-04/2024-04-01.md

@@ -0,0 +1,13 @@
+---
+title: "2024-04-01"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Continued working on the hide and seek application.

notes/_journal/2024-04/2024-04-02.md

@@ -0,0 +1,13 @@
+---
+title: "2024-04-02"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Continued working on the hide and seek application.

notes/_journal/2024-04/2024-04-03.md

@@ -1,11 +1,11 @@
 ---
-title: "{{date:YYYY-MM-DD}}"
+title: "2024-04-03"
 ---
 
 - [ ] Anki Flashcards
 - [ ] KoL
 - [ ] Sheet Music (10 min.)
-- [ ] OGS (1 Life & Death Problem)
+- [ ] Go (1 Life & Death Problem)
 - [ ] Korean (Read 1 Story)
 - [ ] Interview Prep (1 Practice Problem)
 - [ ] Log Work Hours (Max 3 hours)

notes/_journal/2024-04/2024-04-04.md

@@ -0,0 +1,14 @@
+---
+title: "2024-04-04"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Back home from Pranav's.
+* Refined the hide and seek application further. Instead of relying on Presence as much as I have, just keep player state directly on the GenServer I already have running. This has simplified the logic significantly.

notes/_journal/2024-04/2024-04-05.md

@@ -0,0 +1,16 @@
+---
+title: "2024-04-05"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* More hide and seek work:
+	* Bootstrap room servers on application start and restart on failure.
+	* Keep room on disk in sync with room in memory.
+	* Get phase timers implemented.

notes/_journal/2024-04/2024-04-06.md

@@ -0,0 +1,14 @@
+---
+title: "2024-04-06"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Continue adding more flashcards around trees (ordered and binary).
+* Refactor the hide and seek application into a more functional/pipeline style.

notes/_journal/2024-04/2024-04-07.md

@@ -0,0 +1,13 @@
+---
+title: "2024-04-07"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Met with Gus and Addie on feedback for hide-and-seek project.

notes/_journal/2024-04/2024-04-08.md

@@ -0,0 +1,14 @@
+---
+title: "2024-04-08"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Continued working on hide-and-seek application.
+	* Mostly mapbox-related functionality.

notes/_journal/2024-04/2024-04-09.md

@@ -0,0 +1,14 @@
+---
+title: "2024-04-09"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Continued working on hide-and-seek application.
+	* Decided at this point we should switch off of live views. Considering we want to eventually add mobile support, live views aren't compatible. We might as well have the web application work similarly. It will be a fairly large refactor, but I'd like to get it done before this weekend's playtest.

notes/_journal/2024-04/2024-04-10.md

@@ -0,0 +1,14 @@
+---
+title: "2024-04-10"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Hide & Seek
+	* Begun the refactoring away from Phoenix LiveViews to React.

notes/_journal/2024-04/2024-04-11.md

@@ -0,0 +1,14 @@
+---
+title: "2024-04-11"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Hide-and-seek application
+	* Mad dash to get something more or less functional for Saturday's playtest. Definitely not solid code but something I can begin cleaning up properly after, once we are satisfied with the flow of the game state machine.

notes/_journal/2024-04/2024-04-12.md

@@ -0,0 +1,14 @@
+---
+title: "2024-04-12"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Hide and Seek
+	* Finished getting a basic prototype up and running. Hosted on https://hideandseek.live.

notes/_journal/2024-04/2024-04-13.md

@@ -0,0 +1,13 @@
+---
+title: "2024-04-13"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Play tested the hide-and-seek application

notes/_journal/2024-04/2024-04-14.md

@@ -0,0 +1,13 @@
+---
+title: "2024-04-14"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Read chapter on "Grokking the System Design Interview".

notes/_journal/2024-04/2024-04-15.md

@@ -0,0 +1,15 @@
+---
+title: "2024-04-15"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [x] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Notes on the different operand forms x86-64 instructions can take on.
+* Setup room config for hide-and-seek application. This will drive the next bout of work.
+* Reviewed GraphQL concepts.

notes/_journal/2024-04/2024-04-16.md

@@ -0,0 +1,15 @@
+---
+title: "2024-04-16"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Hide-and-seek application
+	* Spent some time formalizing the schema and cleaning up codebase
+	* Reviewed next iteration of designs

notes/_journal/2024-04/2024-04-17.md

@@ -0,0 +1,16 @@
+---
+title: "2024-04-17"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [x] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Django/Typescript assessment for interview.
+* Hide-and-seek application
+	* Rewriting room server concept and adding tests/typespecs while doing so.
+* Read chapter 6, "Partitioning", of "Designing Data-Intensive Applications".

notes/_journal/2024-04/2024-04-18.md

@@ -0,0 +1,15 @@
+---
+title: "2024-04-18"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [x] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Discussed first chapter of "Grokking the System Design Interview" as well as chapter 6 of "Designing Data-Intensive Applications" with Mike.
+* Applied to several more job openings.
+* Revised presence tracking and host updates in hide-and-seek application.

notes/_journal/2024-04/2024-04-19.md

@@ -0,0 +1,15 @@
+---
+title: "2024-04-19"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [x] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Hide-and-seek application
+	* Revisions to settings. Primarily flattening the structure.
+* Read 2.3 "Polynomial Fitting" of "Discrete Mathematics: An Open Introduction".

notes/_journal/2024-04/2024-04-20.md

@@ -0,0 +1,14 @@
+---
+title: "2024-04-20"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Chapter 2 of the HP-16C manual.
+* Create flashcards for x86 MOV instructions. Focusing on cards that encourage better reading of assembly, not writing.

notes/_journal/2024-04/2024-04-21.md

@@ -0,0 +1,11 @@
+---
+title: "2024-04-21"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)

notes/_journal/2024-04/2024-04-22.md

@@ -0,0 +1,16 @@
+---
+title: "2024-04-22"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Read chapter 5.1 "One-Dimensional Arrays as Functions" in "The Scient of Programming".
+* Hide-and-seek application
+	* Continue the latest refactor. Added back pick/hide phases with permission checking in place.
+* Read chapter 2.4 "Solving Recurrence Relations" of "Discrete Mathematics: An Open Introduction". Need to finish re-reading, doing the exercises, and creating flashcards.

notes/_journal/2024-04/2024-04-23.md

@@ -0,0 +1,13 @@
+---
+title: "2024-04-23"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Chapter 3 of HP-16C manual.

notes/_journal/2024-04/2024-04-24.md

@@ -0,0 +1,19 @@
+---
+title: "2024-04-24"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Read chapter 7 "Transactions" of "Designing Data-Intensive Applications".
+* Hide-and-seek application.
+	* Explored how to limit the number of re-renders in the application.
+	* Played around with Zustand types to get TypeScript and Immer working together (WIP).
+* Read chapter 2 "Pastebin" of "Grokking the System Design Interview".
+* Read chapter 4 of HP-16C manual.
+* Add notes on iterating recurrence relations.

notes/_journal/2024-04/2024-04-25.md

@@ -0,0 +1,15 @@
+---
+title: "2024-04-25"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [x] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Talk with Mike about yesterday's "Grokking the System Interview" and "Designing Data-Intensive Applications" reading.
+* Notes on nearly complete trees. Refine terminology to favor "perfect/complete" over "complete/nearly complete".
+* Read Heapsort section in "Introduction to Algorithms". Still need to implement and translate into notes though.

notes/_journal/2024-04/2024-04-26.md

@@ -0,0 +1,11 @@
+---
+title: "2024-04-26"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)

notes/_journal/2024-04/2024-04-27.md

@@ -0,0 +1,14 @@
+---
+title: "2024-04-27"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Hide-and-Seek Application
+	* Finished most game logic. Began working on theming.

notes/_journal/2024-04/2024-04-28.md

@@ -0,0 +1,18 @@
+---
+title: "2024-04-28"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Hide-and-Seek Application
+	* Added booting and teardown game server logic.
+	* Begin theming according to Fort Collins vendor guidelines.
+* Notes on chapter 5.2 in "The Science of Programming".
+* Notes on floor/ceiling identities associated with complete $k$-ary trees.
+* Start adding notes/flashcards on heaps and heapsort.

notes/_journal/2024-04/2024-04-29.md

@@ -0,0 +1,15 @@
+---
+title: "2024-04-29"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Notes on chapter 5.3 and 6 of "The Science of Programming".
+	* Covered nested arrays and assertions.
+* Finished notes on heaps and heapsort.

notes/_journal/2024-04/2024-04-30.md

@@ -0,0 +1,15 @@
+---
+title: "2024-04-30"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Notes and exercises for chapter 2.4 "Solving Recurrence Relations" of "Discrete Mathematics: An Open Introduction".
+	* Primarily focused on the [[algebra/sequences/index#Characteristic Roots|characteristic root technique]].
+* Read through chapter 2.5 "Induction" but want to create additional notes.

notes/_journal/2024-05/2024-05-01.md

@@ -0,0 +1,13 @@
+---
+title: "2024-05-01"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [x] Log Work Hours (Max 3 hours)
+
+* Finished induction chapter of "Discrete Mathematics: An Open Introduction". Skimmed through chapter 3 "Symbolic Logic and Proofs".

notes/_journal/2024-05/2024-05-02.md

@@ -0,0 +1,14 @@
+---
+title: "2024-05-02"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)
+
+* Notes on priority queues and distinction between ADTs and data structures.
+* Further notes on MOV instructions and C/x86 parallels.

notes/_journal/2024-05/2024-05-03.md

@@ -0,0 +1,11 @@
+---
+title: "2024-05-03"
+---
+
+- [x] Anki Flashcards
+- [x] KoL
+- [ ] Sheet Music (10 min.)
+- [ ] Go (1 Life & Death Problem)
+- [ ] Korean (Read 1 Story)
+- [ ] Interview Prep (1 Practice Problem)
+- [ ] Log Work Hours (Max 3 hours)