This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Ryan O'Donnell
booleananalysis.bsky.social
did:plc:ytmpilwl3mwxvdtnwmk6nz5q
[...] "x1 += x2" and "x1 += x3". Similarly for "x2 -= x4".
Finally, we posit: Doing "x1 += x2" 256 times in a row is equivalent to doing nothing
(maybe shoulda called it "x1 += x2 mod 256")
and sim. for doing "x2 += x3", "x3 += x4" 256x in a row.
Can you prove "x1 -= x3" commutes with "x2 -= x4"?
2025-02-10T21:42:14.356Z