From 2275df24ae698d22df4556f8e71826730864ac60 Mon Sep 17 00:00:00 2001
From: Jake Ginesin <jakeginesin@gmail.com>
Date: Mon, 8 Sep 2025 14:05:48 -0400
Subject: [PATCH 01/10] generation 510 25.11.20250714.62e0f05

---
 extras/k3s-node.nix               | 17 ++++++++---------
 extras/k3s.nix                    | 17 ++++++++---------
 home/home.nix                     |  3 +++
 home/programs/firefox/default.nix |  4 ++++
 home/programs/sxhkd/sxhkdrc       |  5 ++++-
 home/programs/zsh/zshrc           |  4 ++++
 system/system-server.nix          | 10 +++++-----
 7 files changed, 36 insertions(+), 24 deletions(-)

diff --git a/extras/k3s-node.nix b/extras/k3s-node.nix
index 1947c42..50c8839 100644
--- a/extras/k3s-node.nix
+++ b/extras/k3s-node.nix
@@ -4,16 +4,15 @@
   lib,
   ...
 }: {
-
   environment.etc."rancher/k3s/registries.yaml".text = ''
-mirrors:
-  "100.125.181.75:5000":
-    endpoint:
-      - http://100.125.181.75:5000/v2
-configs:
-  "100.125.181.75:5000":
-    tls:
-      insecure_skip_verify: true
+    mirrors:
+      "100.125.181.75:5000":
+        endpoint:
+          - http://100.125.181.75:5000/v2
+    configs:
+      "100.125.181.75:5000":
+        tls:
+          insecure_skip_verify: true
   '';
 
   swapDevices = lib.mkForce [];
diff --git a/extras/k3s.nix b/extras/k3s.nix
index 37da294..16bc03c 100644
--- a/extras/k3s.nix
+++ b/extras/k3s.nix
@@ -4,16 +4,15 @@
   lib,
   ...
 }: {
-
   environment.etc."rancher/k3s/registries.yaml".text = ''
-mirrors:
-  "100.125.181.75:5000":
-    endpoint:
-      - http://100.125.181.75:5000/v2
-configs:
-  "100.125.181.75:5000":
-    tls:
-      insecure_skip_verify: true
+    mirrors:
+      "100.125.181.75:5000":
+        endpoint:
+          - http://100.125.181.75:5000/v2
+    configs:
+      "100.125.181.75:5000":
+        tls:
+          insecure_skip_verify: true
   '';
 
   swapDevices = lib.mkForce [];
diff --git a/home/home.nix b/home/home.nix
index 28390d5..6ff8bac 100644
--- a/home/home.nix
+++ b/home/home.nix
@@ -115,6 +115,9 @@ in {
       ripgrep-all
       element-desktop
       rustup # for verus rip
+      python313Packages.ipython
+      sage
+      yq
 
       # security
       aflplusplus
diff --git a/home/programs/firefox/default.nix b/home/programs/firefox/default.nix
index bd784a9..1da3b0e 100644
--- a/home/programs/firefox/default.nix
+++ b/home/programs/firefox/default.nix
@@ -105,6 +105,10 @@ in {
                   name = "nix options";
                   url = "https://search.nixos.org/options";
                 }
+                {
+                  name = "old packages";
+                  url = "https://lazamar.co.uk/nix-versions/";
+                }
               ];
             }
             {
diff --git a/home/programs/sxhkd/sxhkdrc b/home/programs/sxhkd/sxhkdrc
index a4246b8..d141015 100644
--- a/home/programs/sxhkd/sxhkdrc
+++ b/home/programs/sxhkd/sxhkdrc
@@ -165,7 +165,10 @@ ctrl + super + {Left,Right}
     fast-shift {left,right}
 
 super + {shift} + {d}
-    pkill -f discord
+    pkill -f legcord
+
+super + {shift} + {h}
+    pkill -f slack
 
 ctrl + super + bracket{left,right}
     fast-shift {left,right}
diff --git a/home/programs/zsh/zshrc b/home/programs/zsh/zshrc
index aeadf02..9018a4b 100644
--- a/home/programs/zsh/zshrc
+++ b/home/programs/zsh/zshrc
@@ -254,6 +254,10 @@ a.sitecopy() {
   wget -k -K -E -r -l 10 -p -N -F -nH $@
 }
 
+a.pdfcopy() {
+  wget -k -r -l 10 -p -A "*.pdf" -N -F -nH $@
+}
+
 a.fo() {
   firefox `pwd`
 }
diff --git a/system/system-server.nix b/system/system-server.nix
index ff9ebdc..47f184e 100644
--- a/system/system-server.nix
+++ b/system/system-server.nix
@@ -45,15 +45,15 @@
   '';
 
   # services.containerd.registryMirrors = {
-    # # Replace with your registry's address and port
-    # "100.125.181.75:5000" = {
-      # endpoint = ["http://100.125.181.75:5000"];
-    # };
+  # # Replace with your registry's address and port
+  # "100.125.181.75:5000" = {
+  # endpoint = ["http://100.125.181.75:5000"];
+  # };
   # };
 
   virtualisation.containerd.settings = {
     plugins."io.containerd.grpc.v1.cri".registry.mirrors."100.125.181.75:5000" = {
-      endpoint = [ "http://100.125.181.75:5000" ];
+      endpoint = ["http://100.125.181.75:5000"];
     };
 
     plugins."io.containerd.grpc.v1.cri".registry.configs."100.125.181.75:5000".tls.insecure_skip_verify = true;

From 3b4fba7bf4f962b27fef89bb8676db903ad6a074 Mon Sep 17 00:00:00 2001
From: Jake Ginesin <jakeginesin@gmail.com>
Date: Thu, 11 Sep 2025 16:44:39 -0400
Subject: [PATCH 02/10] generation 511 25.11.20250714.62e0f05

---
 home/programs/bspwm/bspwmrc     |  2 ++
 home/programs/sxhkd/sxhkdrc     |  2 +-
 home/scripts/bspwm/add-1080p.sh | 25 +++++++++++++++++++++++++
 3 files changed, 28 insertions(+), 1 deletion(-)
 create mode 100644 home/scripts/bspwm/add-1080p.sh

diff --git a/home/programs/bspwm/bspwmrc b/home/programs/bspwm/bspwmrc
index 80b11aa..beb28ba 100644
--- a/home/programs/bspwm/bspwmrc
+++ b/home/programs/bspwm/bspwmrc
@@ -25,6 +25,8 @@ bspc config window_gap          2
 bspc config split_ratio          0.50
 bspc config borderless_monocle   true
 bspc config gapless_monocle      true
+bspc config remove_disabled_monitors      true
+bspc config merge_overlapping_monitors    true
 # bspc config merge_overlapping_monitors true
 bspc rule -a Zathura state=tiled
 bspc rule -a "Zotero" -o desktop="19" focus=off
diff --git a/home/programs/sxhkd/sxhkdrc b/home/programs/sxhkd/sxhkdrc
index d141015..1353ebb 100644
--- a/home/programs/sxhkd/sxhkdrc
+++ b/home/programs/sxhkd/sxhkdrc
@@ -68,7 +68,7 @@ super + {t,shift + t,s,a}
 
 # focus the node in the given direction
 super + {_,shift + }{j,k,i,l}
-	bspc node -{f,s} {west,south,north,east}
+	bspc node -{f,s} {west,south,north,east}.local
 
 # focus the node for the given path jump
 # super + {p,b,comma,period}
diff --git a/home/scripts/bspwm/add-1080p.sh b/home/scripts/bspwm/add-1080p.sh
new file mode 100644
index 0000000..f23fc5b
--- /dev/null
+++ b/home/scripts/bspwm/add-1080p.sh
@@ -0,0 +1,25 @@
+PRIMARY="$(xrandr --query | awk '/ connected primary/{print $1; exit}')"
+[ -z "$PRIMARY" ] && PRIMARY="$(xrandr --query | awk '/ connected/{print $1; exit}')"
+bspc monitor "$PRIMARY" -d 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
+
+if [[ $(xrandr -q | grep 'HDMI-1 connected') ]]; then
+xrandr --output "$PRIMARY" --primary --auto --scale 1x1 --rotate normal --output HDMI-1 --mode 1920x1080 --rotate normal --right-of "$PRIMARY"
+    bspc monitor "$PRIMARY" -d 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
+    bspc monitor HDMI-1 -d 20
+    xinput map-to-output "TPPS/2 Elan TrackPoint" "eDP-1"
+    xinput map-to-output "Synaptics TM3289-002" "eDP-1"
+else
+    xrandr --output HDMI-1 --off
+    # Remove nodes
+    while bspc node 20: --kill; do
+        :
+    done
+    # Remove workspaces
+    bspc desktop -r 20
+    # Remove monitor
+    bspc monitor HDMI-1 -r
+
+    bspc monitor "$PRIMARY" -d 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 20
+    xinput map-to-output "TPPS/2 Elan TrackPoint" "all"
+    xinput map-to-output "Synaptics TM3289-002" "all"
+fi

From c6e0c924593d58b31d2f42a5e1c58a2bb18960f2 Mon Sep 17 00:00:00 2001
From: Jake Ginesin <jakeginesin@gmail.com>
Date: Fri, 12 Sep 2025 22:36:09 -0400
Subject: [PATCH 03/10] generation 512 25.11.20250714.62e0f05

---
 home/home.nix                   |  1 +
 home/scripts/bspwm/add-3840p.sh | 25 +++++++++++++++++++++++++
 system/system.nix               |  6 ++++++
 system/users/default.nix        |  1 +
 4 files changed, 33 insertions(+)
 create mode 100644 home/scripts/bspwm/add-3840p.sh

diff --git a/home/home.nix b/home/home.nix
index 6ff8bac..34e321b 100644
--- a/home/home.nix
+++ b/home/home.nix
@@ -118,6 +118,7 @@ in {
       python313Packages.ipython
       sage
       yq
+      semgrep
 
       # security
       aflplusplus
diff --git a/home/scripts/bspwm/add-3840p.sh b/home/scripts/bspwm/add-3840p.sh
new file mode 100644
index 0000000..a256e74
--- /dev/null
+++ b/home/scripts/bspwm/add-3840p.sh
@@ -0,0 +1,25 @@
+PRIMARY="$(xrandr --query | awk '/ connected primary/{print $1; exit}')"
+[ -z "$PRIMARY" ] && PRIMARY="$(xrandr --query | awk '/ connected/{print $1; exit}')"
+bspc monitor "$PRIMARY" -d 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
+
+if [[ $(xrandr -q | grep 'DP-2 connected') ]]; then
+xrandr --output "$PRIMARY" --primary --auto --scale 1x1 --rotate normal --output DP-2 --mode 3840x2160 --rotate normal --right-of "$PRIMARY"
+    bspc monitor "$PRIMARY" -d 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
+    bspc monitor DP-2 -d 20
+    xinput map-to-output "TPPS/2 Elan TrackPoint" "eDP-1"
+    xinput map-to-output "Synaptics TM3289-002" "eDP-1"
+else
+    xrandr --output DP-2 --off
+    # Remove nodes
+    while bspc node 20: --kill; do
+        :
+    done
+    # Remove workspaces
+    bspc desktop -r 20
+    # Remove monitor
+    bspc monitor DP-2 -r
+
+    bspc monitor "$PRIMARY" -d 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 20
+    xinput map-to-output "TPPS/2 Elan TrackPoint" "all"
+    xinput map-to-output "Synaptics TM3289-002" "all"
+fi
diff --git a/system/system.nix b/system/system.nix
index 498b1f0..cd28a16 100644
--- a/system/system.nix
+++ b/system/system.nix
@@ -128,6 +128,12 @@
     };
   };
 
+  boot.extraModulePackages = with config.boot.kernelPackages; [
+    rtl8812au
+  ];
+
+  # boot.kernelModules = ["8812au"];
+
   # This value determines the NixOS release from which the default
   # settings for stateful data, like file locations and database versions
   # on your system were taken. It‘s perfectly fine and recommended to leave
diff --git a/system/users/default.nix b/system/users/default.nix
index a6fd4fc..79b6bf3 100644
--- a/system/users/default.nix
+++ b/system/users/default.nix
@@ -73,6 +73,7 @@ in {
     polybar
     sxhkd
     bspwm
+    # linuxKernel.packages.linux_zen.rtl8812au
     # librewolf
   ];
 }

From 677599a418b573345020d20bd78f0f29cf94f9e4 Mon Sep 17 00:00:00 2001
From: Jake Ginesin <jakeginesin@gmail.com>
Date: Fri, 12 Sep 2025 22:37:21 -0400
Subject: [PATCH 04/10] generation 513 25.11.20250714.62e0f05

---
 system/system.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/system/system.nix b/system/system.nix
index cd28a16..1d531d8 100644
--- a/system/system.nix
+++ b/system/system.nix
@@ -132,7 +132,7 @@
     rtl8812au
   ];
 
-  # boot.kernelModules = ["8812au"];
+  boot.kernelModules = ["8812au"];
 
   # This value determines the NixOS release from which the default
   # settings for stateful data, like file locations and database versions

From 6aa1de05c3b3f6daf8d60ccbdbdf0fd3497f8937 Mon Sep 17 00:00:00 2001
From: Jake Ginesin <jakeginesin@gmail.com>
Date: Fri, 12 Sep 2025 22:39:40 -0400
Subject: [PATCH 05/10] generation 514 25.11.20250714.62e0f05

---
 system/system.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/system/system.nix b/system/system.nix
index 1d531d8..a2d3c0e 100644
--- a/system/system.nix
+++ b/system/system.nix
@@ -129,7 +129,8 @@
   };
 
   boot.extraModulePackages = with config.boot.kernelPackages; [
-    rtl8812au
+    # rtl8812au
+    rtl88xxau-aircrack
   ];
 
   boot.kernelModules = ["8812au"];

From 0c9aeb1212264effc808aae06a9f2af3e9c0c807 Mon Sep 17 00:00:00 2001
From: Jake Ginesin <jakeginesin@gmail.com>
Date: Fri, 12 Sep 2025 22:43:43 -0400
Subject: [PATCH 06/10] generation 515 25.11.20250714.62e0f05

---
 system/system.nix | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/system/system.nix b/system/system.nix
index a2d3c0e..2baf50f 100644
--- a/system/system.nix
+++ b/system/system.nix
@@ -129,11 +129,10 @@
   };
 
   boot.extraModulePackages = with config.boot.kernelPackages; [
-    # rtl8812au
     rtl88xxau-aircrack
   ];
 
-  boot.kernelModules = ["8812au"];
+  boot.kernelModules = ["rtl8812au"];
 
   # This value determines the NixOS release from which the default
   # settings for stateful data, like file locations and database versions

From 11adff0b72cc68f557483726cb08f61c933cc932 Mon Sep 17 00:00:00 2001
From: Jake Ginesin <jakeginesin@gmail.com>
Date: Mon, 22 Sep 2025 13:59:00 -0400
Subject: [PATCH 07/10] generation 516 25.11.20250714.62e0f05

---
 home/home.nix                         |  1 +
 home/programs/firefox/default.nix     | 25 +++++++++++++++++++++++++
 home/programs/nvim/plugins/vimtex.lua |  2 +-
 home/scripts/bspwm/add-3840p-hdmi.sh  | 25 +++++++++++++++++++++++++
 home/scripts/bspwm/add-3840p.sh       |  2 +-
 5 files changed, 53 insertions(+), 2 deletions(-)
 create mode 100644 home/scripts/bspwm/add-3840p-hdmi.sh

diff --git a/home/home.nix b/home/home.nix
index 34e321b..69634cb 100644
--- a/home/home.nix
+++ b/home/home.nix
@@ -119,6 +119,7 @@ in {
       sage
       yq
       semgrep
+      # texlive.combined.scheme-full
 
       # security
       aflplusplus
diff --git a/home/programs/firefox/default.nix b/home/programs/firefox/default.nix
index 1da3b0e..a4e8443 100644
--- a/home/programs/firefox/default.nix
+++ b/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/";
diff --git a/home/programs/nvim/plugins/vimtex.lua b/home/programs/nvim/plugins/vimtex.lua
index 2dd9a4a..b7b0d66 100644
--- a/home/programs/nvim/plugins/vimtex.lua
+++ b/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 = ','
diff --git a/home/scripts/bspwm/add-3840p-hdmi.sh b/home/scripts/bspwm/add-3840p-hdmi.sh
new file mode 100644
index 0000000..d40e8f4
--- /dev/null
+++ b/home/scripts/bspwm/add-3840p-hdmi.sh
@@ -0,0 +1,25 @@
+PRIMARY="$(xrandr --query | awk '/ connected primary/{print $1; exit}')"
+[ -z "$PRIMARY" ] && PRIMARY="$(xrandr --query | awk '/ connected/{print $1; exit}')"
+bspc monitor "$PRIMARY" -d 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
+
+if [[ $(xrandr -q | grep 'HDMI-1 connected') ]]; then
+xrandr --output "$PRIMARY" --primary --auto --scale 1x1 --rotate normal --output HDMI-1 --mode 3840x2160 --rotate normal --right-of "$PRIMARY"
+    bspc monitor "$PRIMARY" -d 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
+    bspc monitor HDMI-1 -d 20
+    xinput map-to-output "TPPS/2 Elan TrackPoint" "eDP-1"
+    xinput map-to-output "Synaptics TM3289-002" "eDP-1"
+else
+    xrandr --output HDMI-1 --off
+    # Remove nodes
+    while bspc node 20: --kill; do
+        :
+    done
+    # Remove workspaces
+    bspc desktop -r 20
+    # Remove monitor
+    bspc monitor HDMI-1 -r
+
+    bspc monitor "$PRIMARY" -d 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
+    xinput map-to-output "TPPS/2 Elan TrackPoint" "all"
+    xinput map-to-output "Synaptics TM3289-002" "all"
+fi
diff --git a/home/scripts/bspwm/add-3840p.sh b/home/scripts/bspwm/add-3840p.sh
index a256e74..48134f1 100644
--- a/home/scripts/bspwm/add-3840p.sh
+++ b/home/scripts/bspwm/add-3840p.sh
@@ -19,7 +19,7 @@ else
     # Remove monitor
     bspc monitor DP-2 -r
 
-    bspc monitor "$PRIMARY" -d 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 20
+    bspc monitor "$PRIMARY" -d 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
     xinput map-to-output "TPPS/2 Elan TrackPoint" "all"
     xinput map-to-output "Synaptics TM3289-002" "all"
 fi

From 834f6420abd470267e7d408ce5a6c2cb8178bf07 Mon Sep 17 00:00:00 2001
From: Jake Ginesin <jakeginesin@gmail.com>
Date: Mon, 22 Sep 2025 14:00:38 -0400
Subject: [PATCH 08/10] generation 516 25.11.20250714.62e0f05

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 7a2d773..70005ee 100644
--- a/README.md
+++ b/README.md
@@ -32,10 +32,10 @@ Some subtleties about my setup:
 - my firefox setup is decked out with all my preferred addons, css, and settings [declared](https://github.com/JakeGinesin/nix-dots/blob/master/home/programs/firefox/default.nix). i also have a nice startpage [declared](https://github.com/JakeGinesin/nix-dots/tree/master/home/programs/firefox/startpage)
 - i use dnsmasq as opposed to systemd-resolved to manage local dns. I configured nmcli to automatically set dnsmasq to resolve dns queries to [certain websites](https://github.com/JakeGinesin/nix-dots/blob/master/system/networking/blockers.sh) (i.e. instagram.com) to 0.0.0.0 if i'm connected to certain wifi ESSID's (i.e. my university's wifi, "NUWave")
 - both neovim+emacs used
+- my many helpful [scripts](https://github.com/JakeGinesin/nix-dots/tree/master/home/scripts) are autopackaged using writeScriptBin
 - custom font ttfs for polybar are [directly included](https://github.com/JakeGinesin/nix-dots/blob/master/home/fonts/default.nix) in my config because certain icons are no longer supported
 - i have a stacked [rebuild script](https://github.com/JakeGinesin/nix-dots/blob/master/home/scripts/rebuild.sh)
 - my zsh is [stacked](https://github.com/JakeGinesin/nix-dots/blob/master/home/programs/zsh/default.nix) with many nice [aliases](https://github.com/JakeGinesin/nix-dots/blob/master/home/programs/zsh/zshrc) for automation. secret aliases with hard-coded IPs whatever are stored under an agenix secret
 - bspwm on x is used, with sxhkd used for most hotkeys
 - papers automatically saved with zotero are [automatically searchable](https://github.com/JakeGinesin/nix-dots/tree/master/home/scripts/document-scripts)
 - there is an option for resolution in the [configuration.nix file](https://github.com/JakeGinesin/nix-dots/tree/master/hosts/rq)
-- my [scripts](https://github.com/JakeGinesin/nix-dots/tree/master/home/scripts) are autopackaged using writeScriptBin

From 5ea351430c3e3177cb6af43cbb099063e18ba47e Mon Sep 17 00:00:00 2001
From: Jake Ginesin <jakeginesin@gmail.com>
Date: Fri, 26 Sep 2025 02:48:32 -0400
Subject: [PATCH 09/10] generation 517 25.11.20250714.62e0f05

---
 home/programs/firefox/default.nix |   7 ++++++-
 hosts/meta.nix                    |   5 +++++
 secrets/firefox-bookmarks.age     | Bin 0 -> 479 bytes
 secrets/secrets.nix               |   1 +
 4 files changed, 12 insertions(+), 1 deletion(-)
 create mode 100644 secrets/firefox-bookmarks.age

diff --git a/home/programs/firefox/default.nix b/home/programs/firefox/default.nix
index a4e8443..835756a 100644
--- a/home/programs/firefox/default.nix
+++ b/home/programs/firefox/default.nix
@@ -4,6 +4,7 @@
   osConfig,
   ...
 }: let
+  # secretBookmarks = builtins.fromJSON (builtins.readFile osConfig.age.secrets."firefox-bookmarks".path);
   # osConfig carries config from configuration.nix
   scale =
     if osConfig.res == "1366x768"
@@ -194,7 +195,7 @@ in {
                 }
                 {
                   name = "verus zulip";
-                  url = "https://verus-lang.zulipchat.com/";
+                  url = "https://verus-lang.zulipchat.com/#feed";
                 }
                 {
                   name = "vstd docs";
@@ -204,6 +205,10 @@ in {
                   name = "core docs";
                   url = "https://doc.rust-lang.org/1.88.0/core/index.html";
                 }
+                {
+                  name = "verus github";
+                  url = "https://github.com/verus-lang/verus";
+                }
               ];
             }
             {
diff --git a/hosts/meta.nix b/hosts/meta.nix
index 7577bb6..9bab24c 100644
--- a/hosts/meta.nix
+++ b/hosts/meta.nix
@@ -35,6 +35,11 @@
           owner = "synchronous";
           mode = "0400";
         };
+        firefox-bookmarks = {
+          file = ../secrets/firefox-bookmarks.age;
+          owner = "synchronous";
+          mode = "0400";
+        };
       };
       secretsDir = "/home/synchronous/.agenix/agenix";
       secretsMountPoint = "/home/synchronous/.agenix/agenix.d";
diff --git a/secrets/firefox-bookmarks.age b/secrets/firefox-bookmarks.age
new file mode 100644
index 0000000000000000000000000000000000000000..4be20fa301ea87f355d8487d75ef8a3d1a6bf85a
GIT binary patch
literal 479
zcmV<50U-WiXJsvAZewzJaCB*JZZ2<fXD@a!3N1b$b8~1dWn?lnH8D9LF>y|6b9W$F
zL~UqiHf2ykHZ(MOPjxUybVFfbb5$>LYI0#tF-~S!R$6CNVKF&lc{B=2OlUP|by#pt
zS50zjFlKLgb#z8&dN?w1Y(-3XYEDyZW?^SlH*ji4HbDw4EiE82N<vLgV@YsVWo2?P
zayMyeb4qh~Ie2n4b4_b<RWvkcQbScqSua#FZfgqNH|(jFA$Ml_;=@4zmVlNdw?q_`
zzv*mHX`OghH4F5|TiP%9SE#YdI!<{&YRjWaq2R^un1Dd7x8MM%LG<+X0U9YmK{4d%
z0xP5g`E*!@hj9v0EG6LZD!D+TEBb9|x1@8s8^^yU@OzY{1LDl&D=NrzwQe)M>p+Ku
z(M{c4UeGlHC?|c)i06R@`O#`u2!-%z&m<d8AS`XyArmHkE>OK#*fM}`oD%%Oa}-@@
z7TEqM0@~@6mPSeC0!gQxU9AF2m?GRyBzG8SH_1wc@w;!9-@p%@IM6+zFZyCg>&LUq
z_$pMjM(;Kaa^8Ft9xsoxM$OxT#OlUBY7WKCVzqte6M5VZYagC3S?tl&<n|ElOZ{M(
VlSet2@D0KbfgJw?QCZOe?w^?g&(i<^

literal 0
HcmV?d00001

diff --git a/secrets/secrets.nix b/secrets/secrets.nix
index d4c6ae4..b3045d2 100644
--- a/secrets/secrets.nix
+++ b/secrets/secrets.nix
@@ -6,4 +6,5 @@ in {
   "tailscale-rq.age".publicKeys = [key];
   "ssh-pub.age".publicKeys = [key];
   "kube.age".publicKeys = [key];
+  "firefox-bookmarks.age".publicKeys = [key];
 }

From 7703bc02442ba04d92ad4b09f10693b149865e4c Mon Sep 17 00:00:00 2001
From: Jake Ginesin <jakeginesin@gmail.com>
Date: Sun, 28 Sep 2025 03:16:31 -0400
Subject: [PATCH 10/10] generation 518 25.11.20250714.62e0f05

---
 home/programs/firefox/default.nix          |   2 --
 home/programs/firefox/startpage/index.html |   7 ++++---
 hosts/meta.nix                             |   5 -----
 secrets/firefox-bookmarks.age              | Bin 479 -> 0 bytes
 secrets/secrets.nix                        |   1 -
 5 files changed, 4 insertions(+), 11 deletions(-)
 delete mode 100644 secrets/firefox-bookmarks.age

diff --git a/home/programs/firefox/default.nix b/home/programs/firefox/default.nix
index 835756a..2caec08 100644
--- a/home/programs/firefox/default.nix
+++ b/home/programs/firefox/default.nix
@@ -4,7 +4,6 @@
   osConfig,
   ...
 }: let
-  # secretBookmarks = builtins.fromJSON (builtins.readFile osConfig.age.secrets."firefox-bookmarks".path);
   # osConfig carries config from configuration.nix
   scale =
     if osConfig.res == "1366x768"
@@ -215,7 +214,6 @@ in {
               name = "cal";
               url = "https://calendar.google.com/";
             }
-
             {
               name = "performance";
               url = "about:processes";
diff --git a/home/programs/firefox/startpage/index.html b/home/programs/firefox/startpage/index.html
index f9fa587..e52d9c0 100644
--- a/home/programs/firefox/startpage/index.html
+++ b/home/programs/firefox/startpage/index.html
@@ -41,9 +41,9 @@
             <div class="category">
               <h2>Uni</h2>
               <ul>
-                <li><a href="https://www.husker.nu/">Husker</a></li>
-                <li><a href="https://northeastern.instructure.com/">Canvas</a></li>
-                <li><a href="https://student.me.northeastern.edu/">Hub</a></li>
+                <li><a href="https://cmueats.com//">CMU Eats</a></li>
+                <li><a href="https://cmucourses.com/">CMU Courses</a></li>
+                <li><a href="https://s3.andrew.cmu.edu/sio">SIO</a></li>
               </ul>
             </div>
 
@@ -54,6 +54,7 @@
                 <li><a href="https://lobste.rs/">lobste.rs</a></li>
                 <li><a href="https://news.ycombinator.com/">Hackernews</a></li>
                 <li><a href="https://codeforces.com/problemset">Codeforces</a></li>
+                <li><a href="https://www.cve.org/CVERecord/SearchResults?query=cryptography">CVEs</a></li>
               </ul>
             </div>
 
diff --git a/hosts/meta.nix b/hosts/meta.nix
index 9bab24c..7577bb6 100644
--- a/hosts/meta.nix
+++ b/hosts/meta.nix
@@ -35,11 +35,6 @@
           owner = "synchronous";
           mode = "0400";
         };
-        firefox-bookmarks = {
-          file = ../secrets/firefox-bookmarks.age;
-          owner = "synchronous";
-          mode = "0400";
-        };
       };
       secretsDir = "/home/synchronous/.agenix/agenix";
       secretsMountPoint = "/home/synchronous/.agenix/agenix.d";
diff --git a/secrets/firefox-bookmarks.age b/secrets/firefox-bookmarks.age
deleted file mode 100644
index 4be20fa301ea87f355d8487d75ef8a3d1a6bf85a..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 479
zcmV<50U-WiXJsvAZewzJaCB*JZZ2<fXD@a!3N1b$b8~1dWn?lnH8D9LF>y|6b9W$F
zL~UqiHf2ykHZ(MOPjxUybVFfbb5$>LYI0#tF-~S!R$6CNVKF&lc{B=2OlUP|by#pt
zS50zjFlKLgb#z8&dN?w1Y(-3XYEDyZW?^SlH*ji4HbDw4EiE82N<vLgV@YsVWo2?P
zayMyeb4qh~Ie2n4b4_b<RWvkcQbScqSua#FZfgqNH|(jFA$Ml_;=@4zmVlNdw?q_`
zzv*mHX`OghH4F5|TiP%9SE#YdI!<{&YRjWaq2R^un1Dd7x8MM%LG<+X0U9YmK{4d%
z0xP5g`E*!@hj9v0EG6LZD!D+TEBb9|x1@8s8^^yU@OzY{1LDl&D=NrzwQe)M>p+Ku
z(M{c4UeGlHC?|c)i06R@`O#`u2!-%z&m<d8AS`XyArmHkE>OK#*fM}`oD%%Oa}-@@
z7TEqM0@~@6mPSeC0!gQxU9AF2m?GRyBzG8SH_1wc@w;!9-@p%@IM6+zFZyCg>&LUq
z_$pMjM(;Kaa^8Ft9xsoxM$OxT#OlUBY7WKCVzqte6M5VZYagC3S?tl&<n|ElOZ{M(
VlSet2@D0KbfgJw?QCZOe?w^?g&(i<^

diff --git a/secrets/secrets.nix b/secrets/secrets.nix
index b3045d2..d4c6ae4 100644
--- a/secrets/secrets.nix
+++ b/secrets/secrets.nix
@@ -6,5 +6,4 @@ in {
   "tailscale-rq.age".publicKeys = [key];
   "ssh-pub.age".publicKeys = [key];
   "kube.age".publicKeys = [key];
-  "firefox-bookmarks.age".publicKeys = [key];
 }