Mathematics and Computer Science masters course of the University of Oxford by 
Ciro Santilli 35 Updated 2025-04-24 +Created 1970-01-01
Ciro Santilli 35 Updated 2025-04-24 +Created 1970-01-01Corresponding undergrad: Mathematics and Computer science course of the University of Oxford
Mathematics and Foundations of Computer Science masters course of the University of Oxford by Ciro Santilli 35 Updated 2025-04-24 +Created 1970-01-01
Ciro Santilli 35 Updated 2025-04-24 +Created 1970-01-01 Mathematics and Philosophy masters course of the University of Oxford by Ciro Santilli 35 Updated 2025-04-24 +Created 1970-01-01
Ciro Santilli 35 Updated 2025-04-24 +Created 1970-01-01 Mathematical Sciences masters course of the University of Oxford by Ciro Santilli 35 Updated 2025-04-24 +Created 1970-01-01
Ciro Santilli 35 Updated 2025-04-24 +Created 1970-01-01 Algorithms and Data Structures course of the University of Oxford by Ciro Santilli 35 Updated 2025-04-24 +Created 1970-01-01
Ciro Santilli 35 Updated 2025-04-24 +Created 1970-01-01 Compilers course of the University of Oxford by Ciro Santilli 35 Updated 2025-04-24 +Created 1970-01-01
Ciro Santilli 35 Updated 2025-04-24 +Created 1970-01-01 Concurrent programming course of the University of Oxford by Ciro Santilli 35 Updated 2025-04-24 +Created 1970-01-01
Ciro Santilli 35 Updated 2025-04-24 +Created 1970-01-01 Models of computation course of the University of Oxford by Ciro Santilli 35 Updated 2025-04-24 +Created 1970-01-01
Ciro Santilli 35 Updated 2025-04-24 +Created 1970-01-01 Ciro Santilli's hardware Google Pixel 7a by Ciro Santilli 35 Updated 2025-04-24 +Created 1970-01-01
Ciro Santilli 35 Updated 2025-04-24 +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 35 Updated 2025-04-24 +Created 1970-01-01
Ciro Santilli 35 Updated 2025-04-24 +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)
- 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
- 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.
- 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 Unlisted articles are being shown, click here to show only listed articles.