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

Compare commits

merge into: r:main
Branches Tags
r:main
r:c-declarations
r:daily
...
pull from: r:daily
Branches Tags
r:main
r:c-declarations
r:daily

1 Commits
main ... daily

Author SHA1 Message Date
Joshua Potter e3f7931b0a Add more daily notes. 2024-02-04 06:30:59 -07:00
3 changed files with 6 additions and 6 deletions
Show Stats Expand all files Collapse all files

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

@ -80,7 +80,7 @@
"bash/index.md": "3b5296277f095acdf16655adcdf524af", "bash/index.md": "3b5296277f095acdf16655adcdf524af",
"bash/prompts.md": "61cb877e68da040a15b85af76b1f68ba", "bash/prompts.md": "61cb877e68da040a15b85af76b1f68ba",
"bash/quoting.md": "b1d8869a91001f8b22f0cdc54d806f61", "bash/quoting.md": "b1d8869a91001f8b22f0cdc54d806f61",
"bash/robustness.md": "7ab094b95ba2bfa885adba8e9efedf68", "bash/robustness.md": "f7d7e70db75fe6aedaf8ebd34d520b42",
"bash/shebang.md": "9006547710f9a079a3666169fbeda7aa", "bash/shebang.md": "9006547710f9a079a3666169fbeda7aa",
"c/escape-sequences.md": "07f0811b0fff14f54f78abc33f2e6606", "c/escape-sequences.md": "07f0811b0fff14f54f78abc33f2e6606",
"c/index.md": "aa8a34c62e7bc284ff589e28609222dc", "c/index.md": "aa8a34c62e7bc284ff589e28609222dc",
@ -92,7 +92,7 @@
"journal/2024-02-02.md": "a3b222daee8a50bce4cbac699efc7180", "journal/2024-02-02.md": "a3b222daee8a50bce4cbac699efc7180",
"journal/2024-02-03.md": "c6d411f0e2e964270399dd3a99f48382", "journal/2024-02-03.md": "c6d411f0e2e964270399dd3a99f48382",
"logic/index.md": "3084b41fe1451259a0cf3e54560c2e85", "logic/index.md": "3084b41fe1451259a0cf3e54560c2e85",
"logic/propositional.md": "45aee8bf688aa8fef4b136145085d38a", "logic/propositional.md": "a79b51f04cf619d82886917e87169a5c",
"lua/index.md": "26632dae1f852519e2f1af11d65c34eb", "lua/index.md": "26632dae1f852519e2f1af11d65c34eb",
"nix/callPackage.md": "59796c480e2856fa7491f62ceb7e3c9c", "nix/callPackage.md": "59796c480e2856fa7491f62ceb7e3c9c",
"nix/index.md": "dd5ddd19e95d9bdbe020c68974d77a33", "nix/index.md": "dd5ddd19e95d9bdbe020c68974d77a33",

2
notes/bash/robustness.md
View File

@ -23,7 +23,7 @@ END%%
%%ANKI %%ANKI
Basic Basic
What makes a self-contained shell script more reliable? What makes a *self-contained* shell script more reliable?
Back: There are no other files to misplace. Back: There are no other files to misplace.
Reference: 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) Reference: 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)
<!--ID: 1706726911475--> <!--ID: 1706726911475-->

6
notes/logic/propositional.md
View File

@ -44,7 +44,7 @@ END%%
%%ANKI %%ANKI
Basic Basic
How does Lean define propositional equality? What does it mean for two expressions to be propositionally equal?
Back: Expressions `a` and `b` are propositionally equal iff `a = b` is true. Back: Expressions `a` and `b` are propositionally equal iff `a = b` is true.
Reference: Avigad, Jeremy. ‘Theorem Proving in Lean’, n.d. Reference: Avigad, Jeremy. ‘Theorem Proving in Lean’, n.d.
Tags: lean Tags: lean
@ -91,7 +91,7 @@ END%%
%%ANKI %%ANKI
Basic Basic
What name is given to operand $a$ in $a \Rightarrow b$? What name is given to operand $a$ in $a \Rightarrow b$?
Back: The antecedent Back: The antecedent.
Reference: Gries, David. _The Science of Programming_. Texts and Monographs in Computer Science. New York: Springer-Verlag, 1981. Reference: Gries, David. _The Science of Programming_. Texts and Monographs in Computer Science. New York: Springer-Verlag, 1981.
<!--ID: 1706994861308--> <!--ID: 1706994861308-->
END%% END%%
@ -99,7 +99,7 @@ END%%
%%ANKI %%ANKI
Basic Basic
What name is given to operand $b$ in $a \Rightarrow b$? What name is given to operand $b$ in $a \Rightarrow b$?
Back: The consequent Back: The consequent.
Reference: Gries, David. _The Science of Programming_. Texts and Monographs in Computer Science. New York: Springer-Verlag, 1981. Reference: Gries, David. _The Science of Programming_. Texts and Monographs in Computer Science. New York: Springer-Verlag, 1981.
<!--ID: 1706994861310--> <!--ID: 1706994861310-->
END%% END%%