Rename "References" section to "Bibliography".

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

@@ -231,7 +231,7 @@
     "_journal/2024-02/2024-02-27.md": "f75a0d04a875aeee932343dae0c78768",
     "filesystems/index.md": "cbd2b0290a3ba3b32abec4bd8bfefad5",
     "filesystems/cas.md": "34906013a2a60fe5ee0e31809b4838aa",
-    "git/objects.md": "e9b98576291ca04496c2f0863f526cfa",
+    "git/objects.md": "43d825371e820802f2402034fad89480",
     "git/index.md": "83d2d95fc549d9e8436946c7bd058d15",
     "encoding/integer.md": "d4866b6e236c3a67631d03582996eca2",
     "_journal/2024-02-29.md": "f610f3caed659c1de3eed5f226cab508",
@@ -298,10 +298,11 @@
     "x86-64/index.md": "4769ab45ca374c4225c9c4099220be82",
     "_journal/2024-03-21.md": "a2572d2d5be0ee7c7f066d846e2f3e77",
     "_journal/2024-03/2024-03-20.md": "0a73ce399d275fe6ee3134a812f3f4f9",
-    "_journal/2024-03-22.md": "6c14bacf3e8834359f8512b7d7055acc",
+    "_journal/2024-03-22.md": "8da8cda07d3de74f7130981a05dce254",
     "_journal/2024-03/2024-03-21.md": "cd465f71800b080afa5c6bdc75bf9cd3",
     "x86-64/declarations.md": "60f5b240ea5565b33dc3585169fc41b1",
-    "x86-64/instructions.md": "c4b116179d2bd1f9510437e000f9c63d"
+    "x86-64/instructions.md": "c4b116179d2bd1f9510437e000f9c63d",
+    "git/refs.md": "de99450b5a4282ae1a694492f2b7f251"
   },
   "fields_dict": {
     "Basic": [

notes/algebra/floor-ceiling.md

@@ -352,7 +352,7 @@ Reference: Ronald L. Graham, Donald Ervin Knuth, and Oren Patashnik, *Concrete M
 <!--ID: 1708115683366-->
 END%%
 
-## References
+## Bibliography
 
 * Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Programmer's Perspective*. Third edition, Global edition. Always Learning. Pearson, 2016.
 * Ronald L. Graham, Donald Ervin Knuth, and Oren Patashnik, *Concrete Mathematics: A Foundation for Computer Science*, 2nd ed (Reading, Mass: Addison-Wesley, 1994).

notes/algebra/radices.md

@@ -292,7 +292,7 @@ Tags: binary::hex
 <!--ID: 1708631918829-->
 END%%
 
-## References
+## Bibliography
 
 * Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Programmer's Perspective*. Third edition, Global edition. Always Learning. Pearson, 2016.
 * “Radix,” in *Wikipedia*, August 6, 2023, [https://en.wikipedia.org/w/index.php?title=Radix&oldid=1169046173](https://en.wikipedia.org/w/index.php?title=Radix&oldid=1169046173).

notes/algebra/sequences/arithmetic.md

@@ -150,6 +150,6 @@ Reference: Oscar Levin, *Discrete Mathematics: An Open Introduction*, 3rd ed., n
 <!--ID: 1709666305449-->
 END%%
 
-## References
+## Bibliography
 
 * Oscar Levin, *Discrete Mathematics: An Open Introduction*, 3rd ed., n.d., [https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf](https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf).

notes/algebra/sequences/geometric.md

@@ -142,6 +142,6 @@ Reference: Oscar Levin, *Discrete Mathematics: An Open Introduction*, 3rd ed., n
 <!--ID: 1709666305447-->
 END%%
 
-## References
+## Bibliography
 
 * Oscar Levin, *Discrete Mathematics: An Open Introduction*, 3rd ed., n.d., [https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf](https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf).

notes/algebra/sequences/index.md

@@ -169,7 +169,7 @@ Reference: Oscar Levin, *Discrete Mathematics: An Open Introduction*, 3rd ed., n
 <!--ID: 1709302343255-->
 END%%
 
-## References
+## Bibliography
 
 * Oscar Levin, *Discrete Mathematics: An Open Introduction*, 3rd ed., n.d., [https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf](https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf).
 * Ronald L. Graham, Donald Ervin Knuth, and Oren Patashnik, *Concrete Mathematics: A Foundation for Computer Science*, 2nd ed (Reading, Mass: Addison-Wesley, 1994).

notes/algebra/sequences/square-numbers.md

@@ -126,7 +126,7 @@ Reference: “Square Number,” in _Wikipedia_, May 10, 2023, [https://en.wikipe
 <!--ID: 1709422558648-->
 END%%
 
-## References
+## Bibliography
 
 * Oscar Levin, *Discrete Mathematics: An Open Introduction*, 3rd ed., n.d., [https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf](https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf).
 * “Square Number,” in _Wikipedia_, May 10, 2023, [https://en.wikipedia.org/w/index.php?title=Square_number&oldid=1154182731](https://en.wikipedia.org/w/index.php?title=Square_number&oldid=1154182731).

notes/algebra/sequences/triangular-numbers.md

@@ -254,7 +254,7 @@ Reference: “Triangular Number,” in _Wikipedia_, January 13, 2024, [https://e
 <!--ID: 1709419325981-->
 END%%
 
-## References
+## Bibliography
 
 * Oscar Levin, *Discrete Mathematics: An Open Introduction*, 3rd ed., n.d., [https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf](https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf).
 * “Triangular Number,” in _Wikipedia_, January 13, 2024, [https://en.wikipedia.org/w/index.php?title=Triangular_number&oldid=1195279122](https://en.wikipedia.org/w/index.php?title=Triangular_number&oldid=1195279122).

notes/algorithms/binary-search.md

@@ -120,6 +120,6 @@ Reference: Thomas H. Cormen et al., Introduction to Algorithms, Fourth edition (
 <!--ID: 1708174545527-->
 END%%
 
-## References
+## Bibliography
 
 * Thomas H. Cormen et al., Introduction to Algorithms, Fourth edition (Cambridge, Massachusett: The MIT Press, 2022).

notes/algorithms/index.md

@@ -97,6 +97,6 @@ Reference: Thomas H. Cormen et al., Introduction to Algorithms, Fourth edition (
 <!--ID: 1708742467187-->
 END%%
 
-## References
+## Bibliography
 
 * Thomas H. Cormen et al., Introduction to Algorithms, Fourth edition (Cambridge, Massachusett: The MIT Press, 2022).

notes/algorithms/loop-invariant.md

@@ -85,6 +85,6 @@ Reference: Thomas H. Cormen et al., Introduction to Algorithms, Fourth edition (
 <!--ID: 1707329951150-->
 END%%
 
-## References
+## Bibliography
 
 * Thomas H. Cormen et al., Introduction to Algorithms, Fourth edition (Cambridge, Massachusett: The MIT Press, 2022).

notes/algorithms/order-growth.md

@@ -1247,6 +1247,6 @@ Reference: Thomas H. Cormen et al., Introduction to Algorithms, Fourth edition (
 <!--ID: 1709752223586-->
 END%%
 
-## References
+## Bibliography
 
 * Thomas H. Cormen et al., Introduction to Algorithms, Fourth edition (Cambridge, Massachusett: The MIT Press, 2022).

notes/algorithms/sorting/bubble-sort.md

@@ -198,6 +198,6 @@ Reference: Thomas H. Cormen et al., Introduction to Algorithms, Fourth edition (
 <!--ID: 1707504634803-->
 END%%
 
-## References
+## Bibliography
 
 * Thomas H. Cormen et al., Introduction to Algorithms, Fourth edition (Cambridge, Massachusett: The MIT Press, 2022).

notes/algorithms/sorting/index.md

@@ -108,7 +108,7 @@ Reference: “Kernel — Elixir v1.16.1,” accessed February 2, 2024, [https://
 <!--ID: 1706913303160-->
 END%%
 
-## References
+## Bibliography
 
 * Thomas H. Cormen et al., *Introduction to Algorithms*, 3rd ed (Cambridge, Mass: MIT Press, 2009).
 * “Kernel — Elixir v1.16.1,” accessed February 2, 2024, [https://hexdocs.pm/elixir/1.16/Kernel.html#module-structural-comparison](https://hexdocs.pm/elixir/1.16/Kernel.html#module-structural-comparison).

notes/algorithms/sorting/insertion-sort.md

@@ -214,6 +214,6 @@ Reference: Thomas H. Cormen et al., Introduction to Algorithms, Fourth edition (
 <!--ID: 1707399790960-->
 END%%
 
-## References
+## Bibliography
 
 * Thomas H. Cormen et al., Introduction to Algorithms, Fourth edition (Cambridge, Massachusett: The MIT Press, 2022).

notes/algorithms/sorting/merge-sort.md

@@ -159,6 +159,6 @@ Reference: Thomas H. Cormen et al., Introduction to Algorithms, Fourth edition (
 <!--ID: 1708742590435-->
 END%%
 
-## References
+## Bibliography
 
 * Thomas H. Cormen et al., Introduction to Algorithms, Fourth edition (Cambridge, Massachusett: The MIT Press, 2022).

notes/algorithms/sorting/selection-sort.md

@@ -174,6 +174,6 @@ Reference: Thomas H. Cormen et al., Introduction to Algorithms, Fourth edition (
 <!--ID: 1708002177782-->
 END%%
 
-## References
+## Bibliography
 
 * Thomas H. Cormen et al., Introduction to Algorithms, Fourth edition (Cambridge, Massachusett: The MIT Press, 2022).

notes/bash/prompts.md

@@ -55,7 +55,7 @@ Reference: Cooper, Mendel. “Advanced Bash-Scripting Guide,” n.d., 916.
 <!--ID: 1706885111460-->
 END%%
 
-## References
+## Bibliography
 
 * Cooper, Mendel. “Advanced Bash-Scripting Guide,” n.d., 916.
 * Robbins, Arnold D. “GAWK: Effective AWK Programming,” October 2023. [https://www.gnu.org/software/gawk/manual/gawk.pdf](https://www.gnu.org/software/gawk/manual/gawk.pdf)

notes/bash/robustness.md

@@ -64,6 +64,6 @@ It's interesting to think what else can be used as a measure of a command's robu
 
 The above scenarios are what makes something like [[nix/index|nix]] so compelling.
 
-## References
+## Bibliography
 
 * Robbins, Arnold D. “GAWK: Effective AWK Programming,” October 2023. [https://www.gnu.org/software/gawk/manual/gawk.pdf](https://www.gnu.org/software/gawk/manual/gawk.pdf)

notes/bash/shebang.md

@@ -52,7 +52,7 @@ Reference: Robbins, Arnold D. “GAWK: Effective AWK Programming,” October 202
 <!--ID: 1706726911470-->
 END%%
 
-## References
+## Bibliography
 
 * Cooper, Mendel. “Advanced Bash-Scripting Guide,” n.d., 916.
 * Robbins, Arnold D. “GAWK: Effective AWK Programming,” October 2023. [https://www.gnu.org/software/gawk/manual/gawk.pdf](https://www.gnu.org/software/gawk/manual/gawk.pdf)

notes/binary/endianness.md

@@ -114,6 +114,6 @@ int main() {
 
 The above snippet can be used to check endianness on the current machine. If big-endian, the output should be `01 23 45 67`. If little-endian, `67 45 23 01`.
 
-## References
+## Bibliography
 
 * Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Programmer's Perspective*. Third edition, Global edition. Always Learning. Pearson, 2016.

notes/c17/declarations.md

@@ -353,6 +353,6 @@ Reference: Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Program
 <!--ID: 1707493017246-->
 END%%
 
-## References
+## Bibliography
 
 * Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Programmer's Perspective*. Third edition, Global edition. Always Learning. Pearson, 2016.

notes/c17/strings.md

@@ -1057,7 +1057,7 @@ Tags: encoding::unicode
 <!--ID: 1706976705750-->
 END%%
 
-## References
+## Bibliography
 
 * Arnold D. Robbins, “GAWK: Effective AWK Programming,” October 2023, [https://www.gnu.org/software/gawk/manual/gawk.pdf](https://www.gnu.org/software/gawk/manual/gawk.pdf).
 * Brian W. Kernighan and Dennis M. Ritchie, *The C Programming Language*, 2nd ed (Englewood Cliffs, N.J: Prentice Hall, 1988).

notes/combinatorics/additive-principle.md

@@ -54,6 +54,6 @@ Reference: Oscar Levin, *Discrete Mathematics: An Open Introduction*, 3rd ed., n
 <!--ID: 1708217738491-->
 END%%
 
-## References
+## Bibliography
 
 * Oscar Levin, *Discrete Mathematics: An Open Introduction*, 3rd ed., n.d., [https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf](https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf).

notes/combinatorics/combinations.md

@@ -605,6 +605,6 @@ Reference: Oscar Levin, *Discrete Mathematics: An Open Introduction*, 3rd ed., n
 <!--ID: 1708451749791-->
 END%%
 
-## References
+## Bibliography
 
 * Oscar Levin, *Discrete Mathematics: An Open Introduction*, 3rd ed., n.d., [https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf](https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf).

notes/combinatorics/inclusion-exclusion.md

@@ -91,6 +91,6 @@ Reference: Oscar Levin, *Discrete Mathematics: An Open Introduction*, 3rd ed., n
 <!--ID: 1708438356493-->
 END%%
 
-## References
+## Bibliography
 
 * Oscar Levin, *Discrete Mathematics: An Open Introduction*, 3rd ed., n.d., [https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf](https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf).

notes/combinatorics/index.md

@@ -142,6 +142,6 @@ Back:
 <!--ID: 1709306140891-->
 END%%
 
-## References
+## Bibliography
 
 * Oscar Levin, *Discrete Mathematics: An Open Introduction*, 3rd ed., n.d., [https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf](https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf).

notes/combinatorics/multiplicative-principle.md

@@ -117,6 +117,6 @@ Reference: Oscar Levin, *Discrete Mathematics: An Open Introduction*, 3rd ed., n
 <!--ID: 1708221293502-->
 END%%
 
-## References
+## Bibliography
 
 * Oscar Levin, *Discrete Mathematics: An Open Introduction*, 3rd ed., n.d., [https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf](https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf).

notes/combinatorics/permutations.md

@@ -487,7 +487,7 @@ Reference: Oscar Levin, *Discrete Mathematics: An Open Introduction*, 3rd ed., n
 <!--ID: 1708366788641-->
 END%%
 
-## References
+## Bibliography
 
 * Gries, David. *The Science of Programming*. Texts and Monographs in Computer Science. New York: Springer-Verlag, 1981.
 * Oscar Levin, *Discrete Mathematics: An Open Introduction*, 3rd ed., n.d., [https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf](https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf).

notes/encoding/ascii.md

@@ -87,6 +87,6 @@ Reference: Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Program
 <!--ID: 1707757786295-->
 END%%
 
-## References
+## Bibliography
 
 * Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Programmer's Perspective*. Third edition, Global edition. Always Learning. Pearson, 2016.

notes/encoding/floating-point.md

@@ -1454,7 +1454,7 @@ Reference: Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Program
 <!--ID: 1710680824867-->
 END%%
 
-## References
+## Bibliography
 
 * Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Programmer's Perspective*. Third edition, Global edition. Always Learning. Pearson, 2016.
 * “Scientific Notation.” In _Wikipedia_, March 6, 2024. [https://en.wikipedia.org/w/index.php?title=Scientific_notation&oldid=1212169750](https://en.wikipedia.org/w/index.php?title=Scientific_notation&oldid=1212169750).

notes/encoding/integer.md

@@ -2114,7 +2114,7 @@ Tags: c17
 <!--ID: 1709831032461-->
 END%%
 
-## References
+## Bibliography
 
 * Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Programmer's Perspective*. Third edition, Global edition. Always Learning. Pearson, 2016.
 * Finley, Thomas. “Two’s Complement,” April 2000. [https://www.cs.cornell.edu/~tomf/notes/cps104/twoscomp.html](https://www.cs.cornell.edu/~tomf/notes/cps104/twoscomp.html).

notes/filesystems/cas.md

@@ -97,7 +97,7 @@ Reference: “Content-Addressable Storage,” in _Wikipedia_, February 27, 2024,
 <!--ID: 1709177255573-->
 END%%
 
-## References
+## Bibliography
 
 * “Content-Addressable Storage,” in _Wikipedia_, February 27, 2024, [https://en.wikipedia.org/w/index.php?title=Content-addressable_storage&oldid=1210669681](https://en.wikipedia.org/w/index.php?title=Content-addressable_storage&oldid=1210669681).
 * Scott Chacon, _Pro Git_, Second edition, The Expert’s Voice in Software Development (New York, NY: Apress, 2014).

notes/git/objects.md

@@ -517,6 +517,107 @@ Reference: Scott Chacon, *Pro Git*, Second edition, The Expert’s Voice in Soft
 <!--ID: 1709674569928-->
 END%%
 
-## References
+## Tags
+
+Tags are (possibly indirect) pointers to a git object. They *usually* point to a commit but aren't required to. There are two types of tags:
+
+* **Lightweight** tags are [[refs|git refs]] that never move. These aren't really git objects in the same way the other objects are.
+* **Annotated** tags are real objects that provide metadata about the object being pointed to.
+
+%%ANKI
+Cloze
+{1:Lightweight} tags are to git {2:refs} whereas {2:annotated} tags are to git {1:objects}.
+Reference: Scott Chacon, *Pro Git*, Second edition, The Expert’s Voice in Software Development (New York, NY: Apress, 2014).
+<!--ID: 1711120782248-->
+END%%
+
+%%ANKI
+Basic
+Creation of which of lightweight and/or annotated tags writes a new ref to disk?
+Back: Both.
+Reference: Scott Chacon, *Pro Git*, Second edition, The Expert’s Voice in Software Development (New York, NY: Apress, 2014).
+<!--ID: 1711120977416-->
+END%%
+
+%%ANKI
+Basic
+Creation of which of lightweight and/or annotated tags writes a new object to disk?
+Back: Just annotated tags.
+Reference: Scott Chacon, *Pro Git*, Second edition, The Expert’s Voice in Software Development (New York, NY: Apress, 2014).
+<!--ID: 1711120977419-->
+END%%
+
+%%ANKI
+Basic
+What two kinds of git tags are there?
+Back: Lightweight and annotated.
+Reference: Scott Chacon, *Pro Git*, Second edition, The Expert’s Voice in Software Development (New York, NY: Apress, 2014).
+<!--ID: 1711120782251-->
+END%%
+
+%%ANKI
+Basic
+What do git tags point to?
+Back: Any git object.
+Reference: Scott Chacon, *Pro Git*, Second edition, The Expert’s Voice in Software Development (New York, NY: Apress, 2014).
+<!--ID: 1711120782253-->
+END%%
+
+%%ANKI
+Basic
+What do git tags *usually* point to?
+Back: Commits.
+Reference: Scott Chacon, *Pro Git*, Second edition, The Expert’s Voice in Software Development (New York, NY: Apress, 2014).
+<!--ID: 1711120782256-->
+END%%
+
+%%ANKI
+Basic
+What primitive type does a lightweight tag correspond to?
+Back: A git ref.
+Reference: Scott Chacon, *Pro Git*, Second edition, The Expert’s Voice in Software Development (New York, NY: Apress, 2014).
+<!--ID: 1711120782258-->
+END%%
+
+%%ANKI
+Basic
+What primitive type does an annotated tag correspond to?
+Back: A git object.
+Reference: Scott Chacon, *Pro Git*, Second edition, The Expert’s Voice in Software Development (New York, NY: Apress, 2014).
+<!--ID: 1711120782261-->
+END%%
+
+%%ANKI
+Basic
+How many pointers does a lightweight tag introduce?
+Back: One.
+Reference: Scott Chacon, *Pro Git*, Second edition, The Expert’s Voice in Software Development (New York, NY: Apress, 2014).
+<!--ID: 1711120782264-->
+END%%
+
+%%ANKI
+Basic
+How many pointers does an annotated tag introduce?
+Back: Two.
+Reference: Scott Chacon, *Pro Git*, Second edition, The Expert’s Voice in Software Development (New York, NY: Apress, 2014).
+<!--ID: 1711120782267-->
+END%%
+
+%%ANKI
+Basic
+Why is the term "tag object" a slight misnomer?
+Back: A lightweight tag is just a ref, not an object.
+Reference: Scott Chacon, *Pro Git*, Second edition, The Expert’s Voice in Software Development (New York, NY: Apress, 2014).
+<!--ID: 1711120782269-->
+END%%
+
+%%ANKI
+Cloze
+Git objects are to {`.git/objects`} whereas git references are to {`.git/refs`}.
+Reference: Scott Chacon, *Pro Git*, Second edition, The Expert’s Voice in Software Development (New York, NY: Apress, 2014).
+<!--ID: 1711120782272-->
+END%%
+
+## Bibliography
 
 * Scott Chacon, *Pro Git*, Second edition, The Expert’s Voice in Software Development (New York, NY: Apress, 2014).

notes/git/refs.md

@@ -1,5 +1,5 @@
 ---
-title: References
+title: Refs
 TARGET DECK: Obsidian::STEM
 FILE TAGS: git
 tags:
@@ -8,7 +8,11 @@ tags:
 
 ## Overview
 
-A **reference** is essentially a file containing an oid. The name of the file can then be used to reference the oid. A **symbolic reference** is a file containing the name of another reference.
+A **reference** (or **ref**) is essentially a file containing an oid. The name of the file can then be used to reference the oid. A **symbolic reference** is a file containing the name of another reference. The primary refs are:
+
+* heads (i.e. branches)
+* remotes (i.e. remote branches)
+* [[objects#Tags|tags]]
 
 %%ANKI
 Basic
@@ -50,6 +54,13 @@ Reference: Scott Chacon, *Pro Git*, Second edition, The Expert’s Voice in Soft
 <!--ID: 1710454031271-->
 END%%
 
+%%ANKI
+Basic
+Where on disk are git remote branch refs stored?
+Back: `.git/refs/remotes`
+Reference: Scott Chacon, *Pro Git*, Second edition, The Expert’s Voice in Software Development (New York, NY: Apress, 2014).
+END%%
+
 %%ANKI
 Basic
 Where on disk are git remote branch refs stored?
@@ -192,6 +203,37 @@ Reference: Scott Chacon, *Pro Git*, Second edition, The Expert’s Voice in Soft
 <!--ID: 1710454758079-->
 END%%
 
-## References
+%%ANKI
+Cloze
+Branches are to {`refs/heads`} whereas remote branches are to {`refs/remotes`}.
+Reference: Scott Chacon, *Pro Git*, Second edition, The Expert’s Voice in Software Development (New York, NY: Apress, 2014).
+<!--ID: 1711120782236-->
+END%%
+
+%%ANKI
+Basic
+What is the primary distinction between local branch refs and remotes?
+Back: The remotes are considered read-only.
+Reference: Scott Chacon, *Pro Git*, Second edition, The Expert’s Voice in Software Development (New York, NY: Apress, 2014).
+<!--ID: 1711120782238-->
+END%%
+
+%%ANKI
+Basic
+What safeguard does git employ to keep remotes read-only?
+Back: It never updates `HEAD` to point to a remote ref.
+Reference: Scott Chacon, *Pro Git*, Second edition, The Expert’s Voice in Software Development (New York, NY: Apress, 2014).
+<!--ID: 1711120782241-->
+END%%
+
+%%ANKI
+Basic
+What is prevented by git never updating `HEAD` to a remote ref?
+Back: One can't update the remote ref with a commit.
+Reference: Scott Chacon, *Pro Git*, Second edition, The Expert’s Voice in Software Development (New York, NY: Apress, 2014).
+<!--ID: 1711120782244-->
+END%%
+
+## Bibliography
 
 * Scott Chacon, *Pro Git*, Second edition, The Expert’s Voice in Software Development (New York, NY: Apress, 2014).

notes/logic/boolean-algebra.md

@@ -236,6 +236,6 @@ Reference: Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Program
 <!--ID: 1707774068237-->
 END%%
 
-## References
+## Bibliography
 
 * Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Programmer's Perspective*. Third edition, Global edition. Always Learning. Pearson, 2016.

notes/logic/equiv-trans.md

@@ -887,7 +887,7 @@ Reference: Gries, David. *The Science of Programming*. Texts and Monographs in
 <!--ID: 1707939006297-->
 END%%
 
-## References
+## Bibliography
 
 * Avigad, Jeremy. ‘Theorem Proving in Lean’, n.d.
 * Gries, David. *The Science of Programming*. Texts and Monographs in Computer Science. New York: Springer-Verlag, 1981.

notes/logic/normal-form.md

@@ -38,6 +38,6 @@ Reference: Gries, David. *The Science of Programming*. Texts and Monographs in
 <!--ID: 1707675369187-->
 END%%
 
-## References
+## Bibliography
 
 * Gries, David. *The Science of Programming*. Texts and Monographs in Computer Science. New York: Springer-Verlag, 1981.

notes/logic/propositional.md

@@ -226,7 +226,7 @@ Reference: Oscar Levin, *Discrete Mathematics: An Open Introduction*, 3rd ed., n
 <!--ID: 1708199272189-->
 END%%
 
-## References
+## Bibliography
 
 * Gries, David. *The Science of Programming*. Texts and Monographs in Computer Science. New York: Springer-Verlag, 1981.
 * Oscar Levin, *Discrete Mathematics: An Open Introduction*, 3rd ed., n.d., [https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf](https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf).

notes/logic/quantification.md

@@ -233,7 +233,7 @@ Reference: Gries, David. *The Science of Programming*. Texts and Monographs in
 <!--ID: 1707675399517-->
 END%%
 
-## References
+## Bibliography
 
 * Gries, David. *The Science of Programming*. Texts and Monographs in Computer Science. New York: Springer-Verlag, 1981.
 * Oscar Levin, *Discrete Mathematics: An Open Introduction*, 3rd ed., n.d., [https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf](https://discrete.openmathbooks.org/pdfs/dmoi3-tablet.pdf).

notes/logic/short-circuit.md

@@ -138,6 +138,6 @@ END%%
 
 Gries lists other "Laws" but they don't seem as important to note here. What's worth noting is that the other [[equiv-trans#Equivalence Schemas|equivalence schemas]] still apply if we can limit operands to just $T$ and $F$.
 
-## References
+## Bibliography
 
 * Gries, David. *The Science of Programming*. Texts and Monographs in Computer Science. New York: Springer-Verlag, 1981.

notes/logic/truth-tables.md

@@ -87,6 +87,6 @@ Reference: Gries, David. *The Science of Programming*. Texts and Monographs in
 <!--ID: 1707311869003-->
 END%%
 
-## References
+## Bibliography
 
 * Gries, David. *The Science of Programming*. Texts and Monographs in Computer Science. New York: Springer-Verlag, 1981.

notes/nix/callPackage.md

@@ -111,6 +111,6 @@ Reference: Yin, Ryan. “NixOS and Flakes Book.” Nix, February 1, 2024. [https
 <!--ID: 1706828225240-->
 END%%
 
-## References
+## Bibliography
 
 * Yin, Ryan. “NixOS and Flakes Book.” Nix, February 1, 2024. [https://github.com/ryan4yin/nixos-and-flakes-book](https://github.com/ryan4yin/nixos-and-flakes-book)

notes/posix/regexp.md

@@ -328,7 +328,7 @@ Reference: Robbins, Arnold D. “GAWK: Effective AWK Programming,” October 202
 <!--ID: 1707050923740-->
 END%%
 
-## References
+## Bibliography
 
 * “POSIX Basic Regular Expressions,” accessed February 4, 2024, [https://en.wikibooks.org/wiki/Regular_Expressions/POSIX_Basic_Regular_Expressions](https://en.wikibooks.org/wiki/Regular_Expressions/POSIX_Basic_Regular_Expressions).
 * Robbins, Arnold D. “GAWK: Effective AWK Programming,” October 2023. [https://www.gnu.org/software/gawk/manual/gawk.pdf](https://www.gnu.org/software/gawk/manual/gawk.pdf)

notes/posix/signals.md

@@ -245,7 +245,7 @@ Tags: c17
 <!--ID: 1709131892349-->
 END%%
 
-## References
+## Bibliography
 
 * Cooper, Mendel. “Advanced Bash-Scripting Guide,” n.d., 916.
 * Dowling, “A List of Signals and What They Mean.”

notes/set/graphs.md

@@ -1043,6 +1043,6 @@ Reference: Thomas H. Cormen et al., Introduction to Algorithms, Fourth edition (
 <!--ID: 1710807788538-->
 END%%
 
-## References
+## Bibliography
 
 * Thomas H. Cormen et al., _Introduction to Algorithms_, Fourth edition (Cambridge, Massachusett: The MIT Press, 2022).

notes/x86-64/declarations.md

@@ -237,6 +237,6 @@ Reference: Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Program
 <!--ID: 1711116523908-->
 END%%
 
-## References
+## Bibliography
 
 * Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Programmer's Perspective*. Third edition, Global edition. Always Learning. Pearson, 2016.

notes/x86-64/index.md

@@ -277,6 +277,6 @@ Reference: Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Program
 <!--ID: 1710955847001-->
 END%%
 
-## References
+## Bibliography
 
 * Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Programmer's Perspective*. Third edition, Global edition. Always Learning. Pearson, 2016.

notes/x86-64/instructions.md

@@ -60,6 +60,6 @@ Reference: Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Program
 <!--ID: 1710959313826-->
 END%%
 
-## References
+## Bibliography
 
 * Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Programmer's Perspective*. Third edition, Global edition. Always Learning. Pearson, 2016.