diff --git a/flake.lock b/flake.lock
index 01bdc08..2001c44 100644
--- a/flake.lock
+++ b/flake.lock
@@ -48,11 +48,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1749873626,
-        "narHash": "sha256-1Mc/D/1RwwmDKY59f4IpDBgcQttxffm+4o0m67lQ8hc=",
+        "lastModified": 1750325256,
+        "narHash": "sha256-vvlxGz/waqJ3TGqM/iqXbnEc7/R1qnEXmaBiPaQ1RE0=",
         "owner": "LnL7",
         "repo": "nix-darwin",
-        "rev": "2f140d6ac8840c6089163fb43ba95220c230f22b",
+        "rev": "0d71cbf88d63e938b37b85b3bf8b238bcf7b39b9",
         "type": "github"
       },
       "original": {
@@ -79,11 +79,11 @@
     },
     "nixpkgs_2": {
       "locked": {
-        "lastModified": 1750134718,
-        "narHash": "sha256-v263g4GbxXv87hMXMCpjkIxd/viIF7p3JpJrwgKdNiI=",
+        "lastModified": 1750365781,
+        "narHash": "sha256-XE/lFNhz5lsriMm/yjXkvSZz5DfvKJLUjsS6pP8EC50=",
         "owner": "nixos",
         "repo": "nixpkgs",
-        "rev": "9e83b64f727c88a7711a2c463a7b16eedb69a84c",
+        "rev": "08f22084e6085d19bcfb4be30d1ca76ecb96fe54",
         "type": "github"
       },
       "original": {
@@ -100,11 +100,11 @@
         "treefmt-nix": "treefmt-nix"
       },
       "locked": {
-        "lastModified": 1750305956,
-        "narHash": "sha256-o3Y5v3KmqKOEudWqBKX0utCOMvn/+hbEhWEZklS1Ej0=",
+        "lastModified": 1750470234,
+        "narHash": "sha256-D8oigkONATa1o5qNLjxYFJpuWAUN+/R0JmTLkzcNJ8Y=",
         "owner": "nix-community",
         "repo": "nur",
-        "rev": "45c311c54cf6b948161b056f07b3e66515273315",
+        "rev": "0c1a4c4ad21271cc1194e6cf3d450e1c2dc5da32",
         "type": "github"
       },
       "original": {
diff --git a/home.nix b/home.nix
index 3e77c96..89a2ef0 100644
--- a/home.nix
+++ b/home.nix
@@ -24,7 +24,7 @@
     ];
 
   home = {
-    stateVersion = "24.11";
+    stateVersion = "25.05";
     sessionVariables = {
       EDITOR = "nvim";
       VISUAL = "$EDITOR";
@@ -50,6 +50,7 @@
       gnupg
       go
       graphviz
+      harlequin
       jetbrains-mono
       jjui
       jq-lsp
@@ -79,6 +80,7 @@
       patchelf
       pngpaste
       prettyping
+      pyrefly
       python3Packages.huggingface-hub
       python3Packages.jupyterlab
       rclone
@@ -96,8 +98,6 @@
       stylua
       swift-format
       tealdeer
-      tectonic
-      texlab
       tig
       tmux-sessionizer
       tokei
@@ -222,7 +222,7 @@
   xdg.configFile."nvim".source = pkgs.fetchFromGitHub {
     owner = "softinio";
     repo = "nvim-config";
-    rev = "ba28bef49a6ec11692d5bdb4949fc484139c8fa5";
-    sha256 = "sha256-0I4yOFbcL9peHvKm8I9LXE2R9i54NvdDO5QJ5oPXTkU=";
+    rev = "9e390d7b96198ff2525c3ba9ab5ab985e62198df";
+    sha256 = "sha256-5o42JAxYkgSkhZbDimqKkoKFFFLuA4hLKFHWtcY0hbk=";
   };
 }
diff --git a/programs/aider/aider.yml b/programs/aider/aider.yml
index 9ffcfba..a68dbba 100644
--- a/programs/aider/aider.yml
+++ b/programs/aider/aider.yml
@@ -18,40 +18,7 @@
 # Main model:
 
 ## Specify the model to use for the main chat
-#model: xxx
-
-## Use claude-3-opus-20240229 model for the main chat
-#opus: false
-
-## Use anthropic/claude-3-7-sonnet-20250219 model for the main chat
-sonnet: true
-
-## Use claude-3-5-haiku-20241022 model for the main chat
-#haiku: false
-
-## Use gpt-4-0613 model for the main chat
-#4: false
-
-## Use gpt-4o model for the main chat
-# 4o: true
-
-## Use gpt-4o-mini model for the main chat
-#mini: false
-
-## Use gpt-4-1106-preview model for the main chat
-#4-turbo: false
-
-## Use gpt-3.5-turbo model for the main chat
-#35turbo: false
-
-## Use deepseek/deepseek-chat model for the main chat
-#deepseek: false
-
-## Use o1-mini model for the main chat
-#o1-mini: false
-
-## Use o1-preview model for the main chat
-#o1-preview: false
+model: anthropic/claude-sonnet-4-20250514
 
 ########################
 # API Keys and settings: