λω-------λΠω
      /|      /|
     / |     / |
   λ2--|---λΠ2 |
    | λω----|--λΠω
    | /     | /
    |/      |/
   λ→-------λΠ

i am mostly interested in:
- - nixos 
- - functional programming 
- - cas (sage, pari/gp)
- - proof assistants 
- - keyboards and layouts 

hardware i use:
  phone:
- - google pixel with grapheneos
  desktop:
- - GPU: NVIDIA GeForce RTX 4060 
- - CPU: Intel i7-14700KF
- - 64GB RAM corsair

git git.peopleswar.cc
@peopleswar:peopleswar.cc