Ciro Santilli's hardware / Lenovo ThinkPad P51 (2017) Updated +Created
Bought: 2017 for approximately 2400 pounds to be Ciro Santilli's main personal laptop.
Specs:
Identifiers:
Ciro Santilli's hardware / Liv Flourish 2 (2018) Updated +Created
2022: saddle and seat post stolen near home. Burn in Hell, motherfuckers. Bought a seatpost marked SP342 MICROPOST ALLOY 3 30.4mm. Like this: web.archive.org/web/20220208115055/https://www.ebay.co.uk/itm/Lightweight-Alloy-Micropost-Bike-MTB-Seatpost-25-4mm-Seat-Pin-300m-Long-Silver-/402311713393 but 30.4mm. OK, bought the Park Tool PW-5 15mm pedal wrench tool. Wasn't expensive at all.
TODO understand other markings on receipt: "18 Flourish FS W Sil XS".
The exact specs pages is lost forever. Closest one we've got is the 2020: web.archive.org/web/20200927204537/https://www.liv-cycling.com/gb/flourish-2
Frame: size: XS. Marking near bottom bracket: F/N GY17Z1327 DK: WGI GY17Z1327 F ES:BI-2339.
Seatpost: TODO diameter. Measured in store 30.4mm after original stolen, although 2020 says 30.9. 30.4mm seemed to fit OK, and measuring with ruler gives 30.5/30.6, I don't think a 30.9 can possibly fit.
Saddle: Liv Contact Comfort Plus Saddle, color golden brown. Same as this but blown: www.liv-cycling.com/gb/contact-comfort-plus-saddle-liv Actual color:
https://raw.githubusercontent.com/cirosantilli/media/master/Liv_contact_comfort_plus_2018.jpg
Ciro Santilli's hardware / Mechanical and electrical tools Updated +Created
2020-01 "Heat Gun, SEEKONE Professional 2000W 50℃- 600℃ Variable Temperature Control Hot Air Gun Kit with 2 Temperature Modes 7 Accessories for D" www.amazon.com/dp/B078S5QMFG Initially for for cell phone repair, but later learnt they are also useful for heat shrink.
2019-09 "Draper Redline 68001 160 mm Heavy Duty Pliers Set with Soft Grip Handles (3-Piece)" web.archive.org/web/20190903191215/https://www.amazon.co.uk/dp/B071JL6LLL (archive)
2019-08: www.amazon.co.uk/dp/B000LFRYG2 (archive) "Silverline SP1236 Combination Spanner, 8-19 mm - 12 Pieces" 8.48 pounds. Because I needed the 15mm for bike pedal, and the price of 1 and the full set were very close.
6 10/11/12/13/14/17 mm Combination Wrench Set WRENCH SET COMBINATION Open-Ended Spanner/Ring Spanner Set www.amazon.co.uk/dp/B07BZLVGX8 (archive) But they sent one wrong, 8 instead of 11. Chrome Vanadium Steel. Markings: "DROP FORGED A". Quality feels crappy, not very smooth.
2017: Teng 621011 Double Open Ended Spanner 10x11mm www.amazon.co.uk/dp/B0001P0VP8 (archive)
2017: Magnusson AMS49 5M TAPE MEASURE 5m retractable flexible rule. www.screwfix.com/p/magnusson-ams49-5m-tape-measure/5315v (archive)
Ciro Santilli's hardware / Motorola Moto G6 Play (2018) Updated +Created
Circa 2020, a bowl fell on it from about 25 cm height and broke the screen. £159.99.
2023-10: unable to connect to Giffgaff. "Network unavailable". Same SIM works in other phones. So annoying. Update APN to match: www.giffgaff.com/help/articles/internet-apn-settings-guide. Went next to a tower and then got signal. So the receiver is much worse than the pixel one. Vibration appears to be broken.
Authy sync worked: 2023.
Ciro Santilli's hardware / P51 benchmark Updated +Created
glmark2 -b build:duration=3:model=horse
~4.8K
Monero 0.18.3.1 hashrate: 2.6 KH/s
Ciro Santilli's hardware / P51 hardware Updated +Created
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
Group of Lie type Updated +Created
In the classification of finite simple groups, groups of Lie type are a set of infinite families of simple lie groups. These are the other infinite families besides te cyclic groups and alternating groups.
A decent list at: en.wikipedia.org/wiki/List_of_finite_simple_groups, en.wikipedia.org/wiki/Group_of_Lie_type is just too unclear. The groups of Lie type can be subdivided into:
The first in this family discovered were a subset of the Chevalley groups by Galois: , so it might be a good first one to try and understand what it looks like.
TODO understand intuitively why they are called of Lie type. Their names , seem to correspond to the members of the classification of simple Lie groups which are also named like that.
But they are of course related to Lie groups, and as suggested at Video "Yang-Mills 1 by David Metzler (2011)" part 2, the continuity actually simplifies things.
Ciro Santilli's hardware / Polytechnique USB flash drives Updated +Created
~8GB, lsblk reports 7796176 * 1KB = 7983284224 bytes.
We got a handful of those from École Polytechnique at the end of studies I think.
They are shaped like bicornes, which is super cool, but also super impractical!
Markings: "AX ÉCOLE POLYTECHNIQUE PROMOTION X2009"
20.04 gnome-disks program reports it as: "SMI USB DISK".
From Ubuntu 20.04 on an ext4 formatted one:
/dev/sdb:
 Timing cached reads:   28656 MB in  1.99 seconds = 14421.31 MB/sec
SG_IO: bad/missing sense data, sb[]:  70 00 05 00 00 00 00 0a 00 00 00 00 20 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
 Timing buffered disk reads:  42 MB in  3.03 seconds =  13.88 MB/sec
With Linux Unified Key Setup + ext4 the results are similar, maybe hdparam bypasses it?
/dev/sdb:
 Timing cached reads:   28326 MB in  1.99 seconds = 14251.55 MB/sec
SG_IO: bad/missing sense data, sb[]:  70 00 05 00 00 00 00 0a 00 00 00 00 20 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
 Timing buffered disk reads:  38 MB in  3.11 seconds =  12.23 MB/sec
gnome-disks LUKS + ext4 benchmark with default params also gives about 14 MB/s.
Ciro Santilli's hardware / Samsung MZVLB512HAJQ-000L7 512GB SSD Updated +Created
PCIe TLC OPAL2.
sudo hdparm -Tt /dev/nvme0n1p5 on Ubuntu 20.04:
 Timing cached reads:   29812 MB in  1.99 seconds = 15007.00 MB/sec
 HDIO_DRIVE_CMD(identify) failed: Inappropriate ioctl for device
 Timing buffered disk reads: 6328 MB in  3.00 seconds = 2109.00 MB/sec
Nominal maximum sequential read speed: 3,000 MB/s
Ciro Santilli's hardware / Skullcandy Smokin' Buds 2 Updated +Created
Skullcandy earphones, first one circa. 2016 most likely. Used them a lot, these are good.
2023-07: one of the sides broke near center, rebuying.
2021-07: wire half broke near connector, only works in some positions. The funny thing is: only voices seem to be blocked out! Rebuying.
2021-06: a small bottom piece of the left earpiece broke. Wire seems find, that is like a little extension to protect wire. Let's see for how long.
2020-20: wires at one of ears broke, not sure how.
Tech specs:
Connection Type: 3.5mm AUX Cable
Impedence: 32 ohms
Driver Diameter: 9mm
THD: <0.1% (1mW/500Hz) (0.0234)
Sound Pressure Level: 95 dB (1mW/500Hz)
Frequency Response: 20kHz - 20Hz
Headphone Type: In-Ear
Guqin player Updated +Created
Ciro Santilli's hardware / Tefal rice cooker (2017) Updated +Created
Bought around: 2017-09.
TEFAL Multicook 8in1 RK302E15 MultiCooker - 4 Portions / 5L.
Markings say: "SERIE R13-B REF: RK302E15 / 79 A - 1017"
How to open videos: can't find any, but the hard part (remove top lid) was the same as the video for joyoung rice cooker (2014), can be done by inserting a thin metal and going around it.
Bottom opens by taking off a single screw on the bottom and pulling it out (not obvious, a little bit of force).
2021-01: while making congee it overflowed without us noticing it, and next time we were going to cook something, it started to burn bits of congee that stuck to the heat plate. Opened it up and tried to clean everything.
2020-03: E01 error, looked up on manual and it is a top wire broken, opened up and confirmed one of the three wires going up broken, exactly like the previous one joyoung rice cooker (2014). Managed to fix easily with heat gun and Solder Seal Heat Shrink, no soldering iron, that thing is amazing: www.amazon.co.uk/dp/B085415G8N Let's see how long it lasts.
Ciro Santilli's hardware / TP Link ARCHER VR2800 Updated +Created
Ciro Santilli's hardware / WD Elements 20TB Updated +Created
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.
Ciro Santilli's ideal city to live in Updated +Created
Ciro's ideal city to live in contains the following in order of decreasing importance:
Could California be Ciro's Mecca?
Gurdwara Updated +Created
Theses places give out free food all the time.
The first time Ciro Santilli went to one was when an Indian friend of his took him to the one in the North of Paris when they were living there in the first half of the 2010's, the Gurdwara Singh Sabha France.
Instead of just talking, those people really go out, and put food on the plate for anyone who needs it (or even for those that don't really need it! Although who would be so souless to eat for free and not donate a few bucks if they can afford to???). There's a beauty to that.
Writing this also remembered Ciro of non-religious groups that would give out free food to the poor at
gvgai Updated +Created
www.gvgai.net (dead as of 2023)
The project kind of died circa 2020 it seems, a shame. Likely they funding ran out. The domain is dead as of 2023, last archive from 2022: web.archive.org/web/20220331022932/http://gvgai.net/. Marks as funded by DeepMind. Researchers really should use university/GitHub domain names!
Similar goals to Ciro's 2D reinforcement learning games, but they were focusing mostly on discrete games.
They have some source at: github.com/GAIGResearch/GVGAI TODO review
Hadamard gate Updated +Created
The Hadamard gate takes or (quantum states with probability 1.0 of measuring either 0 or 1), and produces states that have equal probability of 0 or 1.
Equation 1.
Hadamard gate matrix
.
Figure 1.
Hadamard gate symbol
. Source.

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