Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
hsfzxjy
1 day ago
|
parent
|
context
|
favorite
| on:
That XOR Trick (2020)
To derive "The XOR trick" I think both *associativity* and communitativity are needed.
That is, one should also prove a ^ (b ^ c) = (a ^ b) ^ c. Instinctive, but non-trivial.
kavouras
23 hours ago
[–]
Yeah that's what I was thinking, you need both
reply
OjotCewIo
23 hours ago
|
parent
[–]
yep, you need both; and in fact the definition includes both:
https://en.wikipedia.org/wiki/Abelian_group
reply
Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
That is, one should also prove a ^ (b ^ c) = (a ^ b) ^ c. Instinctive, but non-trivial.