diff --git a/extras/dev.nix b/extras/dev.nix
index 62aa821..e027b3b 100644
--- a/extras/dev.nix
+++ b/extras/dev.nix
@@ -3,6 +3,8 @@
     services.scx.scheduler = "scx_lavd"; # default is "scx_rustland"
 
     environment.systemPackages = with pkgs; [
+        egglog
+        z3
         jupyter
         # cringelang
         go
@@ -76,6 +78,7 @@
         python3
         uv
         ruff
+        python312
 
         # rust
         cargo-binstall
diff --git a/users/tao.nix b/users/tao.nix
index c5889e9..3f2155e 100644
--- a/users/tao.nix
+++ b/users/tao.nix
@@ -11,6 +11,8 @@
     };
 
     users.users.tao.packages = with pkgs; [
+        zotero
+        openscad
         syncplay
         # boxxy
         calibre
diff --git a/users/tao/helix.nix b/users/tao/helix.nix
index d84e3b9..c1c19d0 100644
--- a/users/tao/helix.nix
+++ b/users/tao/helix.nix
@@ -3,6 +3,7 @@
         settings = {
             theme = "gruvbox_dark_hard";
             editor = {
+                rainbow-brackets = true;
                 end-of-line-diagnostics = "hint";
                 inline-diagnostics = {
                     cursor-line = "warning";
diff --git a/users/tao/nushell/extras/alias.nu b/users/tao/nushell/extras/alias.nu
index 167f8fc..6a69768 100644
--- a/users/tao/nushell/extras/alias.nu
+++ b/users/tao/nushell/extras/alias.nu
@@ -11,7 +11,6 @@ alias p = pueue
 alias snapper = snapper -c home
 alias zl = zellij
 
-
 alias cringe = sudo bootctl set-oneshot auto-windows
 
 def h [query?: path] {
diff --git a/users/tao/nushell/extras/tailscale.nu b/users/tao/nushell/extras/tailscale.nu
index 1578e1f..d0b244c 100644
--- a/users/tao/nushell/extras/tailscale.nu
+++ b/users/tao/nushell/extras/tailscale.nu
@@ -78,3 +78,5 @@ alias ts = tailscale status
 alias tu = tailscale up
 alias td = tailscale down
 alias ta = tailscale exit-node suggest
+
+alias wno = ssh root@whyfi "etherwake -i br-lan 04:42:1A:E7:62:C3"