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

@@ -13,17 +13,13 @@ if &shortmess =~ 'A'
 else
   set shortmess=aoO
 endif
-badd +16 ~/.config/nvim/lua/custom/plugins.lua
+badd +211 ~/.config/nvim/lua/custom/plugins.lua
-badd +8 ~/.config/nvim/lua/custom/configs/lspconfig.lua
+badd +9 custom/language_specific_commands/markdown.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
 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
+keepjumps 211
-normal! 012|
+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

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

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
+
+- [ ] 

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$$

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

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