

You can get a 2020 M1 / 2022 M2 Macbook air for ~400€, that will mop the floor with all new hardware in that price range released even today (completely fanless/noiseless btw.). It also has decent linux support via asahi and Apple will still probably provide 5+ years of macOS updates anyway.
- geekbench: https://browser.geekbench.com/v6/cpu/compare/16388159?baseline=16471197
- ebay.de sold macbooks: https://www.ebay.de/sch/111422/i.html?_fsrp=1&_udlo=150&rt=nc&_nkw=macbook+air+(m1%2Cm2)&_sacat=111422&_sop=13&LH_PrefLoc=3&LH_Sold=1&LH_ItemCondition=1000|2010|1500|2020|2030|2500|3000
- random lenovo: https://www.notebooksbilliger.de/lenovo+v15+g5+83gw00a7ge+820626
The simple trick to owning nice hardware is to never give vendors your money directly, let others burden the depreciation.

this isn’t properly remapped and depending on implementation of the key-up events by the keyboard vendor, requires an ugly time delay hack.
qed. https://github.com/Rast1234/copilot_key_on_my_keyboard?tab=readme-ov-file#the-bad