From 506b67986ba61fe340be1cd891e9706fd1ce6955 Mon Sep 17 00:00:00 2001
From: Dane Sabo <dane.sabo@pitt.edu>
Date: Mon, 18 Aug 2025 13:41:55 -0400
Subject: [PATCH] Auto sync: 2025-08-18 13:41:55 (6 files changed)

M  .sessions/nvim_config.vim

A  "Zettelkasten/Fleeting Notes/Daily/2025-08-18.md"

A  "Zettelkasten/Hub Notes/HUB-20250818131731-logics.md"

A  "Zettelkasten/Permanent Notes/20250818132007-propositional-logic.md"

A  "Zettelkasten/Permanent Notes/20250818132018-predicate-logic.md"

A  "Zettelkasten/Permanent Notes/20250818132022-temporal-logic.md"
---
 .sessions/nvim_config.vim                     | 18 ++++-----
 .../Fleeting Notes/Daily/2025-08-18.md        | 28 ++++++++++++++
 .../Hub Notes/HUB-20250818131731-logics.md    | 38 +++++++++++++++++++
 .../20250818132007-propositional-logic.md     | 15 ++++++++
 .../20250818132018-predicate-logic.md         | 10 +++++
 .../20250818132022-temporal-logic.md          | 10 +++++
 6 files changed, 108 insertions(+), 11 deletions(-)
 create mode 100644 Zettelkasten/Fleeting Notes/Daily/2025-08-18.md
 create mode 100644 Zettelkasten/Hub Notes/HUB-20250818131731-logics.md
 create mode 100644 Zettelkasten/Permanent Notes/20250818132007-propositional-logic.md
 create mode 100644 Zettelkasten/Permanent Notes/20250818132018-predicate-logic.md
 create mode 100644 Zettelkasten/Permanent Notes/20250818132022-temporal-logic.md

diff --git a/.sessions/nvim_config.vim b/.sessions/nvim_config.vim
index 6857619f7..67053a193 100644
--- a/.sessions/nvim_config.vim
+++ b/.sessions/nvim_config.vim
@@ -13,17 +13,13 @@ if &shortmess =~ 'A'
 else
   set shortmess=aoO
 endif
-badd +16 ~/.config/nvim/lua/custom/plugins.lua
-badd +8 ~/.config/nvim/lua/custom/configs/lspconfig.lua
-badd +9 custom/init.lua
-badd +22 custom/language_specific_commands/markdown.lua
-badd +30 custom/zk.lua
-badd +38 custom/git_quickpush.lua
+badd +211 ~/.config/nvim/lua/custom/plugins.lua
+badd +9 custom/language_specific_commands/markdown.lua
 argglobal
 %argdel
-edit custom/git_quickpush.lua
+edit ~/.config/nvim/lua/custom/plugins.lua
 argglobal
-balt custom/zk.lua
+balt custom/language_specific_commands/markdown.lua
 setlocal foldmethod=manual
 setlocal foldexpr=v:lua.vim.treesitter.foldexpr()
 setlocal foldmarker={{{,}}}
@@ -34,12 +30,12 @@ setlocal foldnestmax=20
 setlocal foldenable
 silent! normal! zE
 let &fdl = &fdl
-let s:l = 38 - ((37 * winheight(0) + 28) / 57)
+let s:l = 211 - ((47 * winheight(0) + 28) / 57)
 if s:l < 1 | let s:l = 1 | endif
 keepjumps exe s:l
 normal! zt
-keepjumps 38
-normal! 012|
+keepjumps 211
+normal! 011|
 tabnext 1
 if exists('s:wipebuf') && len(win_findbuf(s:wipebuf)) == 0 && getbufvar(s:wipebuf, '&buftype') isnot# 'terminal'
   silent exe 'bwipe ' . s:wipebuf
diff --git a/Zettelkasten/Fleeting Notes/Daily/2025-08-18.md b/Zettelkasten/Fleeting Notes/Daily/2025-08-18.md
new file mode 100644
index 000000000..72027a2ea
--- /dev/null
+++ b/Zettelkasten/Fleeting Notes/Daily/2025-08-18.md	
@@ -0,0 +1,28 @@
+---
+id: 2025-08-18
+title: Daily — 2025-08-18
+type: daily
+created: 2025-08-18T17:12:19Z
+modified: 2025-08-18T17:30:15Z
+tags: [daily]
+---
+
+# Daily — 2025-08-18
+
+## Quick capture
+
+- Installed VimTex and got latex working on my laptop with
+neovim
+
+- Zettled more about Strix and logic
+
+- Meeting with Babay's group in the INFSCI building.
+
+- Signed up for Strava. Considering doing a run club. Could
+  be coool!!!
+
+## Tasks
+
+- [ ] 
+
+## Notes
diff --git a/Zettelkasten/Hub Notes/HUB-20250818131731-logics.md b/Zettelkasten/Hub Notes/HUB-20250818131731-logics.md
new file mode 100644
index 000000000..ef46f78be
--- /dev/null
+++ b/Zettelkasten/Hub Notes/HUB-20250818131731-logics.md	
@@ -0,0 +1,38 @@
+---
+id: HUB-20250818131731
+title: Logics
+type: hub
+created: 2025-08-18T17:17:31Z
+modified: 2025-08-18T17:21:45Z
+tags: [hub]
+aliases: []
+---
+
+# Logics
+
+> Logic is a way of transforming ideas in a plain language
+> into precise mathematical statements. There are a bunch of
+> different types of logic, as linked below, but in all of
+> them there's an emphasis on precision.
+
+## Contents (map of notes)
+
+- [[Propositional Logic]]  
+- [[Predicate Logic]]  
+- [[Temporal Logic]]  
+
+## Permanent seeds (key ideas)
+
+- [[ ]]  
+
+## Related hubs
+
+- [[]]  
+
+## Sources / Literature
+
+- 
+
+## Open questions / Next actions
+
+- [ ] 
diff --git a/Zettelkasten/Permanent Notes/20250818132007-propositional-logic.md b/Zettelkasten/Permanent Notes/20250818132007-propositional-logic.md
new file mode 100644
index 000000000..263ea9ee7
--- /dev/null
+++ b/Zettelkasten/Permanent Notes/20250818132007-propositional-logic.md	
@@ -0,0 +1,15 @@
+---
+id: 20250818132007
+title: Propositional Logic
+type: permanent
+created: 2025-08-18T17:20:07Z
+modified: 2025-08-18T17:41:52Z
+tags: []
+---
+
+# Propositional Logic
+
+Propositional logic makes statements saying things like 'if
+x, then y'. Here's some examples:
+
+$$x\rightarrow y$$
diff --git a/Zettelkasten/Permanent Notes/20250818132018-predicate-logic.md b/Zettelkasten/Permanent Notes/20250818132018-predicate-logic.md
new file mode 100644
index 000000000..c8d997c39
--- /dev/null
+++ b/Zettelkasten/Permanent Notes/20250818132018-predicate-logic.md	
@@ -0,0 +1,10 @@
+---
+id: 20250818132018
+title: Predicate Logic
+type: permanent
+created: 2025-08-18T17:20:18Z
+modified: 2025-08-18T17:20:18Z
+tags: []
+---
+
+# Predicate Logic
diff --git a/Zettelkasten/Permanent Notes/20250818132022-temporal-logic.md b/Zettelkasten/Permanent Notes/20250818132022-temporal-logic.md
new file mode 100644
index 000000000..29db6fc14
--- /dev/null
+++ b/Zettelkasten/Permanent Notes/20250818132022-temporal-logic.md	
@@ -0,0 +1,10 @@
+---
+id: 20250818132022
+title: Temporal Logic
+type: permanent
+created: 2025-08-18T17:20:22Z
+modified: 2025-08-18T17:20:22Z
+tags: []
+---
+
+# Temporal Logic