Algorithms and Data Structures course of the University of Oxford by 
Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01
Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01 Compilers course of the University of Oxford by Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01
Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01 Concurrent programming course of the University of Oxford by Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01
Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01 Models of computation course of the University of Oxford by Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01
Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01 Ciro Santilli's hardware Google Pixel 7a by Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01
Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01Very 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.
- 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.
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
Ciro Santilli's hardware Lenovo ThinkPad P14s gen4 amd by Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01
Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01Bought: 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)
- Graphic Card: Integrated GraphicsThe 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.
- 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=tmpgives 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
- 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:
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: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:Actually fixed performance mode: askubuntu.com/questions/604720/setting-to-high-performance/1343879#1343879
Vendor: LENOVO
Version: R2FET36W (1.16 )
Release Date: 10/24/2023 Ciro Santilli's hardware WD Elements 20TB by Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01
Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01Bought 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.
Ciro Santilli's hardware WD10EADS-42P6B0 by Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01
Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01 Ciro Santilli's hardware P14s cannot dual monitor on Wayland by Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01
Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01Asked:
On Ubuntu 23.10, under Settings > Displays, Mirror works, but "Join" does not allow to Apply with message:Works on X Window System, it is a Wayland bug.
Changes Cannot be Applied. This could be due to hardware limitations.
Ciro Santilli's hardware P14s benchmark by Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01
Ciro Santilli 37 Updated 2025-07-11 +Created 1970-01-01 There are unlisted articles, also show them or only show them.