generation 516 25.11.20250714.62e0f05

home/programs/firefox/default.nix

@@ -181,6 +181,31 @@ in {
                 }
               ];
             }
+            {
+              name = "verus";
+              bookmarks = [
+                {
+                  name = "verus playground";
+                  url = "https://play.verus-lang.org/?version=stable&mode=basic&edition=2021";
+                }
+                {
+                  name = "verus docs";
+                  url = "https://verus-lang.github.io/verus/guide/verus_macro_intro.html";
+                }
+                {
+                  name = "verus zulip";
+                  url = "https://verus-lang.zulipchat.com/";
+                }
+                {
+                  name = "vstd docs";
+                  url = "https://verus-lang.github.io/verus/verusdoc/vstd/index.html";
+                }
+                {
+                  name = "core docs";
+                  url = "https://doc.rust-lang.org/1.88.0/core/index.html";
+                }
+              ];
+            }
             {
               name = "cal";
               url = "https://calendar.google.com/";

home/programs/nvim/plugins/vimtex.lua

@@ -13,7 +13,7 @@ vim.g.vimtex_quickfix_mode = 0
 vim.g.vimtex_quickfix_enabled = 0
 
 -- Compiler backend.
-vim.g.vimtex_compiler_method = 'latexrun'
+vim.g.vimtex_compiler_method = 'latexmk'
 
 -- Set the local leader (default is "\"; here we change it to comma).
 vim.g.maplocalleader = ','