my specs

here are all the computers i own. they're kinda trash.

New laptop

My beloved workstation. My NixOS configuration can be found on my GitHub.

  • OS: NixOS 25.05 (Warbler) x86_64
  • Kernel version: 6.12.17
  • DE: GNOME 47.4 (Wayland)
  • CPU: Intel Core i5-6300U (4) @ 3.000GHz
  • GPU: Intel Skylake GT2 [HD Graphics 520]
  • RAM: 8 GB

My home server (formerly an Android phone)

Not very powerful, but quite fun to experiment with. Runs 24/7.

  • OS: postmarketOS edge aarch64
  • Host: Samsung A6 LTE OPEN rev03 board based on Exynos7870
  • Kernel: Linux 3.18.140
  • CPU: exynos7870 (8)
  • RAM: 2.75 GiB

My older Linux laptop

I don’t really use this one anymore, but it’s always good to have a backup option.

  • OS: Ubuntu 22.04.1
  • LTSKERNEL: 5.15.0-47-generic
  • CPU: Intel Core i5-3230M @ 2.60GHz
  • GPU: AMD HAINAN (LLVM 13.0.1, DRM 2.50, 5.15.0-47-generic)
  • GPU DRIVER: 4.5 Mesa 22.0.5
  • RAM: 8 GB