So you've got the “natural numbers”, $\mathbb{N}=\left\{0, 1, 2, \dots\right\}$. Or the “counting numbers”, or whatever you want to call them. Addition works, and multiplication works. But subtraction is broken, because there isn't any natural number equal to $2-3$. We might think about fixing subtraction, and one way of doing this is by moving to the integers, which allows negative numbers: $\mathbb{Z}=\left\{\dots, -2, -1, 0, 1, 2, \dots\right\}$. But …
Rocky Linux 9 & HP Elitebook 8470p
Annoyingly, the Rocky 9 installer ISO didn't come with the Wi-Fi drivers for my HP Elitebook 8470p. The laptop seems to have a “Intel Corporation Centrino Ultimate-N 6300 (rev 3e)” PCIe Wi-Fi adapter, which worked fine out-of-the-box on Ubuntu and every other distro I tried on it, but not this one. I diagnosed this via dmesg: [ 108.888963] Intel(R) Wireless WiFi driver for Linux [ 108.889046] iwlwifi 0000:25:00.0: enabling …
“No Reason” name change in Alabama
To change your name in Alabama, it will cost about $90. However, between amending the BC and getting the CO, there’s a catch-22…
Edgar Allan Poe Proves Stockfish Can't Exist
A summary of Edgar Allan Poe’s Maelzel’s Chess-Player. §1–§4, §6–10, §11–14, and §15–18 describe the physical appearance, (public) operation, and cultural/historical context of the chess robot; §5 and §19 actually present the argument that the robot can't be a “genuine” (or “pure machine”) mechanical chess player — that it must have a human operator. §5 sketches the outline of the argument: Abridged Original Verbiage It’s inconceivable that any physical …
Weird issues trying to transfer a domain (XYZ's EPP infrastructure broken?)
tldr: XYZ infrastructure is literally collapsing, they couldn't transfer in one of their own domains without a staff override. Initial transfer attempt Namecheap e-mails me the “transfer Authorization Code” Gen.xyz web interface claims “Invalid EPP Code” I contact Gen.xyz support Gen.xyz staff tells me“Please request a new EPP code from Namecheap” I contact Namecheap support via web chat “I need a new EPP for my domain, ishygddt.xyz; XYZ support …
EC point serialization formats
I looked into this when trying to make a piece of toy software to serialize and de-serialize *all* OpenSSH-supported public key formats. While OpenSSH uses standardized formats for private keys, the ssh-* AAAA/3NzaC0… format you're used to pasting into remote servers is actually a "proprietary" (though with freely-licensed spec and implementation) encoding—it's not JSON, and not any standardized BER/DER codec; instead, it's mostly a Length-Value encoding (think TLV without the T) …
IA5string definition
From ITU-T Rec. X.680 (02/21): C.5.7 IA5String [is] mapped into UniversalString by mapping each character into the UniversalString character that has the identical (32-bit) value in the BER encoding of UniversalString as the (8-bit) value of the BER encoding of IA5String[.] 41.6 The characters which can appear in the UniversalString type are any of the characters allowed by ISO/IEC 10646 [aka Unicode]. 43.8 For IA5String, [the] entire character set …
Late Fee Reimbursement with Discover Bank BillPay
Not sponsored/affiliate in any way, just came out of a stressful situation better than expected so thought I'd share this positive outcome/experience with using a bank's "automatic billpay" for anyone in my position or similar…
Getting SCALE-MAMBA working
a wandering pile of shell script fragments to get the most robust—and most technically bankrupt—secure multiparty computing library working
[DRAFT] "Direction" of time?
if entropy is inherently connected to causality, and causality is inherently connected to the "direction" of time, what's that imply? TODO: read Judea Pearl