My devices

Here's what I use most of the time.


The main computer


  • CPU: Intel Core i3-3240 (dual-core)
  • RAM: 8 GB, DDR3-1333
  • OS: Dual-boot Windows 10 and Arch GNU/Linux
  • Storage: 500 GB Samsung 860 EVO, 1 TB WD Blue
  • GPU: NVIDIA GeForce GT 640 (2 GB RAM)
  • Display: Philips 276E 27", 1920x1080

The older computer


  • CPU: Pentium E5400 (dual-core)
  • RAM: 2 GB, DDR2
  • OS: Gentoo GNU/Linux
  • Storage: 1 TB WD Blue

Galaxy A51


  • CPU: Exynos 9611 (octa-core)
  • RAM: 4 GB
  • OS: One UI 2.1, based on Android 10
  • Storage: 128 GB of internal memory
  • Display: 6,5", 2400x1080

Galaxy J5 (2017)


  • CPU: Exynos 7870 (octa-core)
  • RAM: 2 GB
  • OS: phh-Treble Android 10
  • Storage: 16 GB of internal memory
  • Display: 5,2", 1280x720