Additional notes on relocatable object files.

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

@@ -970,7 +970,7 @@
     "_journal/2024-11/2024-11-21.md": "951b6034d60a40dbd8201c50abf0dbb9",
     "_journal/2024-11/2024-11-20.md": "951b6034d60a40dbd8201c50abf0dbb9",
     "_journal/2024-11/2024-11-19.md": "d879f57154cb27cb168eb1f1f430e312",
-    "set/cardinality.md": "6df6b4703e38846c37e01a09e927a718",
+    "set/cardinality.md": "cbd0d738ab8b1131f8db0aa23f1ea894",
     "geometry/area.md": "7f947bb5ac782495a1fb4a63bb2463e7",
     "_journal/2024-11-23.md": "911f82ab8aede5ecdb96493aef64b0b9",
     "_journal/2024-11/2024-11-22.md": "51117030e2364dbce3a8d507dead86ae",
@@ -1065,7 +1065,7 @@
     "_journal/2024-12/2024-12-23.md": "72b0964a8a5ed8ba0acf7fe10b5de279",
     "_journal/2024-12-25.md": "1717d37b074df58175ec0272adc278de",
     "_journal/2024-12/2024-12-24.md": "dcd3bd8b82ca4d47a9642a46d8bece0d",
-    "linkers/relocatable.md": "df8ceb9739969516b6fb6b35dc8d208e",
+    "linkers/relocatable.md": "c173825f09c96409e4a1afef62182d5f",
     "data-models/federation.md": "1d92747304186bd2833a00a488fcac48",
     "_journal/2024-12-26.md": "022aeaf68d46fd39b23aca9c577f3f41",
     "_journal/2024-12/2024-12-25.md": "1717d37b074df58175ec0272adc278de",

notes/_journal/2024-12-28.md

@@ -0,0 +1,9 @@
+---
+title: "2024-12-28"
+---
+
+- [ ] Anki Flashcards
+- [x] KoL
+- [x] OGS
+- [ ] Sheet Music (10 min.)
+- [ ] Korean (Read 1 Story)

notes/linkers/relocatable.md

@@ -441,6 +441,66 @@ Tags: c17
 <!--ID: 1735343812849-->
 END%%
 
+## Static Libraries
+
+A **static library** is a format for packaging multiple relocatable object files together. When the linker builds the output executable, it only copies the object modules in the library referenced by the application program.
+
+On Linux systems, static libraries are typically stored on disk as an **archive**. An archive is a collection of concatenated relocatable object files with a header that describes the size and location of each member object file.
+
+%%ANKI
+Cloze
+A {static library} packages multiple {relocatable object files} together.
+Reference: Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Programmer's Perspective*. Third edition, Global edition. Always Learning. Pearson, 2016.
+<!--ID: 1735352006086-->
+END%%
+
+%%ANKI
+Basic
+A static library is a collection of what kind of files?
+Back: Relocatable object files.
+Reference: Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Programmer's Perspective*. Third edition, Global edition. Always Learning. Pearson, 2016.
+<!--ID: 1735352006090-->
+END%%
+
+%%ANKI
+Basic
+What memory-saving strategy does static libraries allow linkers to employ?
+Back: Only copying relocatable object files actually used by the application program.
+Reference: Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Programmer's Perspective*. Third edition, Global edition. Always Learning. Pearson, 2016.
+<!--ID: 1735352006092-->
+END%%
+
+%%ANKI
+Basic
+Linux typically uses what file format for its static libraries?
+Back: Archives.
+Reference: Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Programmer's Perspective*. Third edition, Global edition. Always Learning. Pearson, 2016.
+<!--ID: 1735352006095-->
+END%%
+
+%%ANKI
+Cloze
+On Linux machines, an {archive} typically has a {`.a`} suffix.
+Reference: Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Programmer's Perspective*. Third edition, Global edition. Always Learning. Pearson, 2016.
+<!--ID: 1735352006098-->
+END%%
+
+%%ANKI
+Basic
+On Linux machines, what kind of files usually have a `.a` suffix?
+Back: Archives.
+Reference: Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Programmer's Perspective*. Third edition, Global edition. Always Learning. Pearson, 2016.
+<!--ID: 1735352006100-->
+END%%
+
+%%ANKI
+Basic
+A Linux archive file is a specific example of what more general kind of file?
+Back: A static library.
+Reference: Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Programmer's Perspective*. Third edition, Global edition. Always Learning. Pearson, 2016.
+<!--ID: 1735352006103-->
+END%%
+
 ## Bibliography
 
 * Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Programmer's Perspective*. Third edition, Global edition. Always Learning. Pearson, 2016.

notes/set/cardinality.md

@@ -1236,6 +1236,50 @@ Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Pre
 <!--ID: 1735074143712-->
 END%%
 
+### Ordering
+
+A set $A$ is **dominated** by a set $B$, written $A \preceq B$, if and only if there is a one-to-one function from $A$ into $B$. In other words, $A \preceq B$ if and only if $A$ is equinumerous to some subset of $B$.
+
+%%ANKI
+Basic
+How do we denote that set $A$ is dominated by set $B$?
+Back: $A \preceq B$
+Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977).
+<!--ID: 1735353438914-->
+END%%
+
+%%ANKI
+Basic
+Suppose $A \preceq B$. Then what must exist by definition?
+Back: A one-to-one function from $A$ into $B$.
+Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977).
+<!--ID: 1735353438921-->
+END%%
+
+%%ANKI
+Basic
+Suppose $A \preceq B$. Then what must $A$ be equinumerous to?
+Back: Some subset of $B$.
+Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977).
+<!--ID: 1735353438924-->
+END%%
+
+%%ANKI
+Basic
+What does $A \preceq B$ denote?
+Back: That $A$ is dominated by $B$.
+Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977).
+<!--ID: 1735353438928-->
+END%%
+
+%%ANKI
+Basic
+How do we expand expression $A \preceq B$ using FOL?
+Back: $\exists C, C \subseteq B \land A \approx C$
+Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977).
+<!--ID: 1735353438932-->
+END%%
+
 ## Bibliography
 
 * Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977).