Rachel Lambda Samuelsson rachel

1 Followers · 1 Following

• Gothenburg, Sweden
• https://rachel.cafe

• Interested in type theory, category theory and univalent foundations.

• Joined on 2022-01-22
• • 

Repositories

46

Projects Packages Public Activity Starred Repositories

Loading Heatmap…

rachel pushed to master at rachel/nixos-config

• 590e0d67aa remove swerty
• 855d3f330d lambda: enable ntp
• Compare 2 commits »

2023-09-07 19:35:53 +02:00

rachel pushed to master at rachel/nixos-config

• c481b0e9ba add steam support to computational

2023-09-03 13:55:28 +02:00

rachel pushed to master at rachel/nixos-config

• f5aa6d4c99 lambda: add permission for user to set niceness to any value

2023-09-03 10:24:33 +02:00

rachel pushed to master at rachel/nixos-config

• 5065b89d40 manage rofi with home-manager

2023-09-01 15:22:05 +02:00

rachel pushed to master at rachel/nixos-config

• 2ea79fb220 manage rofi with home-manager
• 5817aafd3b updated nixpkgs version
• Compare 2 commits »

2023-09-01 15:21:24 +02:00

rachel pushed to master at rachel/nixos-config

• 1c5968d5d1 trying not using TLP

2023-08-31 20:18:11 +02:00

rachel pushed to master at rachel/nixos-config

• 16ea6ddc30 enable steam in attempt to make steam input work

2023-08-28 01:47:14 +02:00

rachel pushed to master at rachel/nixos-config

• 99d3ed0dbf gamemode run on computational

2023-08-27 21:07:05 +02:00

rachel pushed to master at rachel/nixos-config

• 3830295fa8 enable gamemode on lambda

2023-08-27 20:26:21 +02:00

rachel pushed to master at rachel/nixos-config

• 51c639fdac mpv gpu accel

2023-08-25 14:44:13 +02:00

rachel pushed to master at rachel/nixos-config

• ba32f1281c extra gpu drivers

2023-08-25 14:10:55 +02:00

rachel pushed to master at rachel/nixos-config

• f5e3808b4a add lutris to user packages

2023-08-19 22:19:56 +02:00

rachel pushed to master at rachel/nixos-config

• ce36020aa7 add en_US locale

2023-08-19 21:24:10 +02:00

rachel pushed to master at rachel/nixos-config

• 51f30e487c added desktop (computational)

2023-08-19 16:59:03 +02:00

rachel pushed to master at rachel/nixos-config

• fa0c922fd8 remove evil-leader

2023-08-15 10:15:24 +02:00

rachel pushed to master at rachel/emacs.d

• cda97286e3 update config cause of new packages

2023-08-15 10:13:59 +02:00

rachel pushed to master at rachel/nixos-config

• a50d98b67f remove bad packages

2023-08-15 10:06:56 +02:00

rachel pushed to master at rachel/nixos-config

• 62d6c679ca I undid undo tree

2023-08-13 11:39:00 +02:00

rachel pushed to master at rachel/nixos-config

• 934d357f21 add rmapi to home packages
• 52c93e5118 fix nix dev prompt whitespace
• Compare 2 commits »

2023-08-13 10:57:46 +02:00

rachel pushed to master at rachel/rachel.cafe

• a741d8d176 fix why-be-pure python code
• 08fd9d332a fix undo-tree
• Compare 2 commits »

2023-08-12 20:18:58 +02:00