Ciro Santilli @cirosantilli 37

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.

 Read the full article

Stacks Project by

Ciro Santilli 37  Updated 2025-05-21  +Created 1970-01-01

 View more

Renders: stacks.math.columbia.edu/. HTML is one tiny section per page, making it unreadable.
LaTeX source: github.com/stacks/stacks-project

The book is very dry, extremelly boring unfortunately. Definition and theorem only for the most part.

 Read the full article

Windowing system by

Ciro Santilli 37  Updated 2025-05-21  +Created 1970-01-01

 Read the full article

Wayland by

Ciro Santilli 37  Updated 2025-05-21  +Created 1970-01-01

 View more

They've been trying to get it to work forever, and it's beeen buggy forever:

Became the default on Ubuntu 21.04: www.omgubuntu.co.uk/2021/01/ubuntu-21-04-will-use-wayland-by-default

 Read the full article

Ciro Santilli's hardware / Monitors by

Ciro Santilli 37  Updated 2025-05-21  +Created 1970-01-01

 Read the full article

Ciro Santilli's hardware / Lenovo ThinkPad P14s gen4 amd by

Ciro Santilli 37  Updated 2025-05-21  +Created 1970-01-01

 View more

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:

Processor: AMD Ryzen™ 7 PRO 7840U Processor (3.30 GHz up to 5.10 GHz)
Operating System: No Operating Systemselected upgrade
Operating System Language: No Operating System Languageselected upgrade
Microsoft Productivity Software: None
Memory: 64 GB LPDDR5X-6400MHz (Soldered)selected upgrade. Specs at: www.lenovo.com/gb/en/p/accessories-and-software/memory-and-storage/memory-and-storage-hard-drives/4xb1d04758 quotes "64 Gbps", i.e. 8 GB/s. dd count=1M if=/dev/zero of=tmp gives only 255 MB/s however.
Solid State Drive: 2 TB SSD M.2 2280 PCIe Gen4 Performance TLC Opalselected upgrade
Display: 14" WUXGA (1920 x 1200), IPS, Anti-Glare, Touch, 45%NTSC, 300 nits, 60Hz
Graphic Card: Integrated Graphics
The Ubuntu 23.10 "About system GUI describes its graphics as: Radeon 780M Graphics × 16, which e.g. www.techpowerup.com/gpu-specs/radeon-780m.c4020 documents as running the RDNA 3 microarchitecture.
Camera: 1080P FHD RGB/IR Hybrid with Microphone
Color: Thunder Black
Factory Color Calibration: No Factory Color Calibration
Wireless: Qualcomm Wi-Fi 6E NFA725A 2x2 AX & Bluetooth® 5.1 or above
Integrated Mobile Broadband: No Wireless WAN
Ethernet: Wired Ethernet
Near Field Communication: No NFC
Fingerprint Reader: Fingerprint Reader
Keyboard: Black - English (EU)selected upgrade
Battery: 4 Cell Li-Polymer 52.5Whselected upgrade
Power Cord: 65W USB-C Slim 90% PCC 3pin AC Adapter - UKselected upgrade
Electronic Privacy Filter: No ePrivacy Filter
Adobe Elements: None
Adobe Acrobat: None
Adobe Creative Cloud: None
Security Software: None
Cloud Security Software: No Cloud Security Software
Warranty: 3 Year Courier or Carry-in

Identifiers:

Ethernet MAC address: fc:5c:ee:24:fb:b4
Wi-Fi MAC address: 04:7b:cb:cc:1b:10

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:

www.phoronix.com/review/thinkpad-p14s-gen4 says Ubuntu running fine
Intel vs amd: the Intel ones could come with a discrete rtx A500 GPU. GPU likely makes laptop heavier and less power efficient. And both have basically the same benchmark which is crazy:
- www.videocardbenchmark.net/gpu.php?gpu=RTX+A500+Laptop+GPU&id=4649
- www.videocardbenchmark.net/gpu.php?gpu=Radeon+780M&id=4818
So the only downside is not being able to run CUDA.
thought about Yoga or other Ultrabook options, but 2x price at same specs, so nah...

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

 Read the full article

X Window System by

Ciro Santilli 37  Updated 2025-05-21  +Created 1970-01-01

 Read the full article

Ad blocking by

Ciro Santilli 37  Updated 2025-05-21  +Created 1970-01-01

 Read the full article

Ciro Santilli's hardware / WD Elements 20TB by

Ciro Santilli 37  Updated 2025-05-21  +Created 1970-01-01

 View more

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.

www.westerndigital.com/en-gb/products/external-drives/wd-elements-desktop-usb-3-0-hdd?sku=WDBWLG0030HBK-EESN (archive)

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.

 Read the full article

Ciro Santilli's hardware / WD10EADS-42P6B0 by

Ciro Santilli 37  Updated 2025-05-21  +Created 1970-01-01

 View more

~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.

 Read the full article

Ciro Santilli's hardware / P14s cannot dual monitor on Wayland by

Ciro Santilli 37  Updated 2025-05-21  +Created 1970-01-01

 View more

Asked:

On Ubuntu 23.10, under Settings > Displays, Mirror works, but "Join" does not allow to Apply with message:

Changes Cannot be Applied. This could be due to hardware limitations.

Works on X Window System, it is a Wayland bug.

for 3rd monitor

 Read the full article

Ciro Santilli's hardware / P14s benchmark by

Ciro Santilli 37  Updated 2025-05-21  +Created 1970-01-01

 View more

Ubuntu 23.10:

glmark2 -b build:duration=3:model=horse

~22K

 Read the full article

Ciro Santilli's hardware / P51 hardware by

Ciro Santilli 37  Updated 2025-05-21  +Created 1970-01-01

 View more

lspci

output:

00:00.0 Host bridge: Intel Corporation Xeon E3-1200 v6/7th Gen Core Processor Host Bridge/DRAM Registers (rev 05)
00:01.0 PCI bridge: Intel Corporation 6th-10th Gen Core Processor PCIe Controller (x16) (rev 05)
00:08.0 System peripheral: Intel Corporation Xeon E3-1200 v5/v6 / E3-1500 v5 / 6th/7th/8th Gen Core Processor Gaussian Mixture Model
00:14.0 USB controller: Intel Corporation 100 Series/C230 Series Chipset Family USB 3.0 xHCI Controller (rev 31)
00:14.2 Signal processing controller: Intel Corporation 100 Series/C230 Series Chipset Family Thermal Subsystem (rev 31)
00:15.0 Signal processing controller: Intel Corporation 100 Series/C230 Series Chipset Family Serial IO I2C Controller #0 (rev 31)
00:16.0 Communication controller: Intel Corporation 100 Series/C230 Series Chipset Family MEI Controller #1 (rev 31)
00:17.0 SATA controller: Intel Corporation Q170/Q150/B150/H170/H110/Z170/CM236 Chipset SATA Controller [AHCI Mode] (rev 31)
00:1c.0 PCI bridge: Intel Corporation 100 Series/C230 Series Chipset Family PCI Express Root Port #1 (rev f1)
00:1c.2 PCI bridge: Intel Corporation 100 Series/C230 Series Chipset Family PCI Express Root Port #3 (rev f1)
00:1c.4 PCI bridge: Intel Corporation 100 Series/C230 Series Chipset Family PCI Express Root Port #5 (rev f1)
00:1d.0 PCI bridge: Intel Corporation 100 Series/C230 Series Chipset Family PCI Express Root Port #9 (rev f1)
00:1d.4 PCI bridge: Intel Corporation 100 Series/C230 Series Chipset Family PCI Express Root Port #13 (rev f1)
00:1f.0 ISA bridge: Intel Corporation CM238 Chipset LPC/eSPI Controller (rev 31)
00:1f.2 Memory controller: Intel Corporation 100 Series/C230 Series Chipset Family Power Management Controller (rev 31)
00:1f.3 Audio device: Intel Corporation CM238 HD Audio Controller (rev 31)
00:1f.4 SMBus: Intel Corporation 100 Series/C230 Series Chipset Family SMBus (rev 31)
00:1f.6 Ethernet controller: Intel Corporation Ethernet Connection (5) I219-LM (rev 31)
01:00.0 VGA compatible controller: NVIDIA Corporation GM107GLM [Quadro M1200 Mobile] (rev a2)
01:00.1 Audio device: NVIDIA Corporation GM107 High Definition Audio Controller [GeForce 940MX] (rev a1)
04:00.0 Network controller: Intel Corporation Wireless 8265 / 8275 (rev 78)
3e:00.0 Non-Volatile memory controller: Samsung Electronics Co Ltd NVMe SSD Controller SM981/PM981/PM983
3f:00.0 Unassigned class [ff00]: Realtek Semiconductor Co., Ltd. RTS525A PCI Express Card Reader (rev 01)

lspci -t

output:

-[0000:00]-+-00.0
           +-00.2
           +-01.0
           +-02.0
           +-02.1-[01]----00.0
           +-02.2-[02]----00.0
           +-02.4-[03]----00.0
           +-03.0
           +-04.0
           +-04.1-[04-63]--
           +-08.0
           +-08.1-[64]--+-00.0
           |            +-00.1
           |            +-00.2
           |            +-00.3
           |            +-00.4
           |            +-00.5
           |            \-00.6
           +-08.2-[65]--+-00.0
           |            \-00.1
           +-08.3-[66]--+-00.0
           |            +-00.3
           |            +-00.4
           |            \-00.6
           +-14.0
           +-14.3
           +-18.0
           +-18.1
           +-18.2
           +-18.3
           +-18.4
           +-18.5
           +-18.6
           \-18.7

 Read the full article

 There are unlisted articles, also show them or only show them.