Revert "NO MORE CANCER, ALL MY FAVORITE LINKEDIN INFLUENCERS USE LEAN" This reverts commit ab39db1bd6223217a24830c478a382cfa2e75c87.

Changes

2 changed files (+11/-7)

• flake.lock
  • @@ -28,11 +28,11 @@
    ] }, "locked": { - "lastModified": 1781372771, - "narHash": "sha256-8SxOhKnStu7TIx9edZh6QuiSr7Uw4nDCUbwDvy0tUKo=", + "lastModified": 1781587929, + "narHash": "sha256-+EtJE2if6uf5W4DgpAPzdpNKjCVpEH4F9IFnr79vNAg=", "ref": "refs/heads/main", - "rev": "f8eb08d622afdb745c3f29c1bc14467f021cf944", - "revCount": 115, + "rev": "d34f79b63900322ab75887ffde910bdfc34bf497", + "revCount": 116, "type": "git", "url": "https://forgejo.mit.edu/SIPB/nixathena.git" },
  • @@ -43,11 +43,11 @@
    }, "nixpkgs": { "locked": { - "lastModified": 1781074563, - "narHash": "sha256-md8WlXOlfnIeHeOScMTTHFyf2d6iaTwPl2apR5EQ3P4=", + "lastModified": 1781577229, + "narHash": "sha256-lrp67w8AulE9Ks53n27I45ADSzbOCn4H+CNW1Ck8B+8=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "9ae611a455b90cf061d8f332b977e387bda8e1ca", + "rev": "567a49d1913ce81ac6e9582e3553dd90a955875f", "type": "github" }, "original": {
• laptop.nix
  • @@ -76,6 +76,7 @@ in
    # Math and programming # BLAZINGLY FAST FEARLESS CONCURRENCY cargo + clippy # Unfortunately (coq.withPackages ( ps: with ps; [
  • @@ -97,6 +98,9 @@ in
    # Unfortunately # python3 in nixpkgs often lags behind the latest stable release, so hardcode the version here python314 + rust-analyzer + rustc + rustfmt # 100x faster than pip! uv # Patch for XDG support