v3 LaTeX source code: github.com/OperaMagistris/Opera_Magistris_English_v3
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.
- 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
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=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:
- 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: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/2023Bought 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.
~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. P14s cannot dual monitor on Wayland by 
Ciro Santilli 35 Updated 2025-01-10 +Created 1970-01-01
Ciro Santilli 35 Updated 2025-01-10 +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.
lspci00: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-[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.727 Inch QHD (2560x1440) Monitor, 60Hz, IPS, 5ms, Ultrathin Bezel, 99% sRGB, DisplayPort, HDMI, 5x USB, 3 Year Warranty
There are actually two possible definitions for the DFT:
- 1/N, given as "the default" in many sources:
- , known as the "normalized DFT" by some sources: www.dsprelated.com/freebooks/mdft/Normalized_DFT.html, definition which we adopt:
The is nicer mathematically as the inverse becomse more symmetric, and power is conserved between time and frequency domains.
There are unlisted articles, also show them or only show them.