diff --git a/computational/configuration.nix b/computational/configuration.nix
index c48595c..e8dc0b3 100644
--- a/computational/configuration.nix
+++ b/computational/configuration.nix
@@ -14,10 +14,11 @@
   # [BOOT]
   boot.loader.systemd-boot.enable = true;
   boot.loader.efi.canTouchEfiVariables = true;
+  boot.swraid.enable = true;
 
   # [NETWORKING]
   networking.hostName = "computational";
   networking.networkmanager.enable = true;
 
-  system.stateVersion = "23.05";
+  system.stateVersion = "23.11";
 }
diff --git a/flake.lock b/flake.lock
index e5562d9..96e09f1 100644
--- a/flake.lock
+++ b/flake.lock
@@ -8,16 +8,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1696540558,
-        "narHash": "sha256-fqYyjgOFQrU4ryGcLyz5gMYMdPk1P24ra7kQiUrbilg=",
+        "lastModified": 1701366566,
+        "narHash": "sha256-B8Jmjld0gGbkVO08GsovVqrUXCs8VfJ8UdM3sjHnzgM=",
         "owner": "agda",
         "repo": "agda",
-        "rev": "f42acb696e43d382639f04f869e9a99ab36a91c6",
+        "rev": "4293e0a94d15acac915ab9088b2ec028f78d14a9",
         "type": "github"
       },
       "original": {
         "owner": "agda",
-        "ref": "v2.6.4",
+        "ref": "v2.6.4.1",
         "repo": "agda",
         "type": "github"
       }
@@ -25,15 +25,16 @@
     "agda-stdlib-source": {
       "flake": false,
       "locked": {
-        "lastModified": 1693492688,
-        "narHash": "sha256-oO27n/Q+IGPVAaEbOI8YwjerrhvA5rLV+gH6fGDwUIs=",
+        "lastModified": 1697158940,
+        "narHash": "sha256-vtL6VPvTXhl/mepulUm8SYyTjnGsqno4RHDmTIy22Xg=",
         "owner": "agda",
         "repo": "agda-stdlib",
-        "rev": "f77a02ab6933fadbd42de3959545e91122934342",
+        "rev": "0817da6877aa045932221134913d8511caa78d97",
         "type": "github"
       },
       "original": {
         "owner": "agda",
+        "ref": "v1.7.3",
         "repo": "agda-stdlib",
         "type": "github"
       }
@@ -49,11 +50,11 @@
         "nixpkgs": "nixpkgs"
       },
       "locked": {
-        "lastModified": 1694540816,
-        "narHash": "sha256-pUHGjxtFkgTO0Ewovc4CEKG2kmJCXxJBDxOcxgJs9Ds=",
+        "lastModified": 1701381799,
+        "narHash": "sha256-ZYhwijxt6DFdZbHR/Vr0nq67TQi0TeDvCAlJaP6n0JA=",
         "owner": "isovector",
         "repo": "cornelis",
-        "rev": "d7ec58bcef67b1234aa861a706bd402849c8b6e3",
+        "rev": "86174c3eea973f8469743d744c643bcf164fd62d",
         "type": "github"
       },
       "original": {
@@ -65,11 +66,11 @@
     "flake-compat": {
       "flake": false,
       "locked": {
-        "lastModified": 1673956053,
-        "narHash": "sha256-4gtG9iQuiKITOjNQQeQIpoIB6b16fm+504Ch3sNKLd8=",
+        "lastModified": 1696426674,
+        "narHash": "sha256-kvjfFW7WAETZlt09AgDn1MrtKzP7t90Vf7vypd3OL1U=",
         "owner": "edolstra",
         "repo": "flake-compat",
-        "rev": "35bb57c0c8d8b62bbfd284272c928ceb64ddbde9",
+        "rev": "0f9255e01c2351cc7d116c072cb317785dd33b33",
         "type": "github"
       },
       "original": {
@@ -98,11 +99,11 @@
         "systems": "systems"
       },
       "locked": {
-        "lastModified": 1692799911,
-        "narHash": "sha256-3eihraek4qL744EvQXsK1Ha6C3CR7nnT8X2qWap4RNk=",
+        "lastModified": 1694529238,
+        "narHash": "sha256-zsNZZGTGnMOf9YpHKJqMSsa0dXbfmxeoJ7xHlrt+xmY=",
         "owner": "numtide",
         "repo": "flake-utils",
-        "rev": "f9e7cf818399d17d347f847525c5a5a8032e4e44",
+        "rev": "ff7b65b44d01cf9ba6a71320833626af21126384",
         "type": "github"
       },
       "original": {
@@ -118,27 +119,27 @@
         ]
       },
       "locked": {
-        "lastModified": 1695108154,
-        "narHash": "sha256-gSg7UTVtls2yO9lKtP0yb66XBHT1Fx5qZSZbGMpSn2c=",
+        "lastModified": 1700814205,
+        "narHash": "sha256-lWqDPKHRbQfi+zNIivf031BUeyciVOtwCwTjyrhDB5g=",
         "owner": "nix-community",
         "repo": "home-manager",
-        "rev": "07682fff75d41f18327a871088d20af2710d4744",
+        "rev": "aeb2232d7a32530d3448318790534d196bf9427a",
         "type": "github"
       },
       "original": {
         "owner": "nix-community",
-        "ref": "release-23.05",
+        "ref": "release-23.11",
         "repo": "home-manager",
         "type": "github"
       }
     },
     "nixpkgs": {
       "locked": {
-        "lastModified": 1694062546,
-        "narHash": "sha256-PiGI4f2BGnZcedP6slLjCLGLRLXPa9+ogGGgVPfGxys=",
+        "lastModified": 1699186365,
+        "narHash": "sha256-Pxrw5U8mBsL3NlrJ6q1KK1crzvSUcdfwb9083sKDrcU=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "b200e0df08f80c32974a6108ce431d8a8a5e6547",
+        "rev": "a0b3b06b7a82c965ae0bb1d59f6e386fe755001d",
         "type": "github"
       },
       "original": {
@@ -150,16 +151,16 @@
     },
     "nixpkgs_2": {
       "locked": {
-        "lastModified": 1697226376,
-        "narHash": "sha256-cumLLb1QOUtWieUnLGqo+ylNt3+fU8Lcv5Zl+tYbRUE=",
+        "lastModified": 1701263465,
+        "narHash": "sha256-lNXUIlkfyDyp9Ox21hr+wsEf/IBklLvb6bYcyeXbdRc=",
         "owner": "NixOs",
         "repo": "nixpkgs",
-        "rev": "898cb2064b6e98b8c5499f37e81adbdf2925f7c5",
+        "rev": "50aa30a13c4ab5e7ba282da460a3e3d44e9d0eb3",
         "type": "github"
       },
       "original": {
         "owner": "NixOs",
-        "ref": "nixos-23.05",
+        "ref": "nixos-23.11",
         "repo": "nixpkgs",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 734d6b7..72c4da7 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,10 +3,10 @@
   description = "My various NixOs configurations";
 
   inputs = {
-    nixpkgs.url = "github:NixOs/nixpkgs/nixos-23.05";
-    home-manager.url = "github:nix-community/home-manager/release-23.05";
+    nixpkgs.url = "github:NixOs/nixpkgs/nixos-23.11";
+    home-manager.url = "github:nix-community/home-manager/release-23.11";
     home-manager.inputs.nixpkgs.follows = "nixpkgs";
-    agda.url = "github:agda/agda/v2.6.4";
+    agda.url = "github:agda/agda/v2.6.4.1";
     agda.inputs.nixpkgs.follows = "nixpkgs";
     cornelis.url = "github:isovector/cornelis";
     cornelis.inputs.agda.follows = "agda";
diff --git a/home/rachel.nix b/home/rachel.nix
index 8a7b77f..b6e2319 100644
--- a/home/rachel.nix
+++ b/home/rachel.nix
@@ -82,7 +82,7 @@ in
       prismlauncher
       vimv
     ];
-    stateVersion = "23.05";
+    stateVersion = "23.11";
   };
   
   xdg.userDirs = {
diff --git a/lambda/configuration.nix b/lambda/configuration.nix
index fc0400c..64f1864 100644
--- a/lambda/configuration.nix
+++ b/lambda/configuration.nix
@@ -58,5 +58,5 @@
     wifi.macAddress = "random";
   };
 
-  system.stateVersion = "23.05";
+  system.stateVersion = "23.11";
 }
diff --git a/shared/desktop.nix b/shared/desktop.nix
index 223ad3b..15bf350 100644
--- a/shared/desktop.nix
+++ b/shared/desktop.nix
@@ -53,17 +53,19 @@
     enable = true;
     desktopManager.plasma5.enable = true;
     displayManager.startx.enable = true;
-    layout = "fox,sus";
-    xkbOptions = "ctrl:nocaps";
-    extraLayouts.sus = {
-      description = "Swedish US";
-      languages = [ "se" ];
-      symbolsFile = ../shared/sus.xkb;
-    };
-    extraLayouts.fox = {
-      description = "Layout suitable to be used by a fox";
-      languages = [ "se" ];
-      symbolsFile = ../shared/fox.xkb;
+    xkb = {
+      layout = "fox,sus";
+      options = "ctrl:nocaps";
+      extraLayouts.sus = {
+        description = "Swedish US";
+        languages = [ "se" ];
+        symbolsFile = ../shared/sus.xkb;
+      };
+      extraLayouts.fox = {
+        description = "Layout suitable to be used by a fox";
+        languages = [ "se" ];
+        symbolsFile = ../shared/fox.xkb;
+      };
     };
     libinput = {
       enable = true;