diff --git a/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json b/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json index 6cd7501..4f81f06 100644 --- a/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json +++ b/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", diff --git a/notes/_journal/2024-12-28.md b/notes/_journal/2024-12-28.md new file mode 100644 index 0000000..3b05b89 --- /dev/null +++ b/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) \ No newline at end of file diff --git a/notes/_journal/2024-12-27.md b/notes/_journal/2024-12/2024-12-27.md similarity index 100% rename from notes/_journal/2024-12-27.md rename to notes/_journal/2024-12/2024-12-27.md diff --git a/notes/linkers/relocatable.md b/notes/linkers/relocatable.md index 93a302f..bf445ac 100644 --- a/notes/linkers/relocatable.md +++ b/notes/linkers/relocatable.md @@ -441,6 +441,66 @@ Tags: c17 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. + +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. + +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. + +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. + +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. + +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. + +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. + +END%% + ## Bibliography * Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Programmer's Perspective*. Third edition, Global edition. Always Learning. Pearson, 2016. \ No newline at end of file diff --git a/notes/set/cardinality.md b/notes/set/cardinality.md index e7184a1..be5efff 100644 --- a/notes/set/cardinality.md +++ b/notes/set/cardinality.md @@ -1236,6 +1236,50 @@ Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Pre 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). + +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). + +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). + +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). + +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). + +END%% + ## Bibliography * Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977). \ No newline at end of file