Opera Magistris by Ciro Santilli 37 Updated 2025-07-16
Very unfortunate license "public domain license" with a "non religious" clause, whatever the fuck that is, which completely defeats the point of a public domain declaration:
The source code and text is under Public License and therefore can be used, translated and distributed at free will.
It is only banned to use the text and content for religious propaganda.
Stacks Project by Ciro Santilli 37 Updated 2025-07-16
The book is very dry, extremelly boring unfortunately. Definition and theorem only for the most part.
Bought: November 2023 during Black Friday sale for £1,323.00 to be Ciro Santilli's main personal laptop.
Six years after, and we are 2x on every key spec (except processor Hz ;-) at about 1/2 the price and 1/2 the weight (though smaller 14" screen for greater portability), so not bad! Customized to max out each hardware spec:
Specs:
Identifiers:
Upon arrival:
  • Weight: 1490 g
  • Charger weight: 323 g
  • Firmware according to sudo dmidecode -t bios:
    Vendor: LENOVO
    Version: R2FET33W (1.13 )
    Release Date: 09/08/2023
Buy research:
Log:
2024-01-17: firmware update:
Vendor: LENOVO
Version: R2FET36W (1.16 )
Release Date: 10/24/2023
Actually fixed performance mode: askubuntu.com/questions/604720/setting-to-high-performance/1343879#1343879
Bought December 2023 for 300 pounds, so 15 pounds / TB. Needs power supply unfrotunately besides USB, the largest one without needing power supply was only 5 TB at the time so not worth it, given that my P14s alreay carriers 2 TB. 10x is a must for the external crap.
Noise: it has a constant pleasant hum, with a not so nice click every 5 seconds or so. Reasonable, but not amazingly incredible.
The size is reasonable, not megaportable, but definitely reasonable.
~1TB.
Has a separate power cord, not USB powered. Unbelievable. Edit: actually high ends are still like that as of 2023, e.g. at that time, a the max non-cabled was 5 TB, but top of line was 20 TB.
Disk label: wd1t.
Ubuntu 20.04 gnome-disks benchmark, ext4 partition: 37MB/s.

Unlisted articles are being shown, click here to show only listed articles.