diff --git a/nix/configurations/vanadium/home/programs.nix b/nix/configurations/vanadium/home/programs.nix
index 5fb8e480..53e4e415 100644
--- a/nix/configurations/vanadium/home/programs.nix
+++ b/nix/configurations/vanadium/home/programs.nix
@@ -43,9 +43,9 @@
         pkgs.easyscan
 
         # fun
-        pkgs.prop-solveur
-        pkgs.hbrainfuck
-        pkgs.lucky-commit
+        # pkgs.prop-solveur
+        # pkgs.hbrainfuck
+        # pkgs.lucky-commit
 
         # research
         pkgs.necrolib