Using "and" like this is a common shorthand for "the sum of n and m is...". The shorthand is a bit antiquated now, but you can find it in a lot of arithmetic books (and song lyrics).
Miss me with that "common usage" on this article for and by programmers.
I was confused because I thought they were proving that (1 = 1) and (1 = 2).
That's fine but if half of it is in symbolic notation and the rest is in prose you can't blame people if they group the symbolic part together.
The linked article has 1+1=2; the title in HN is incorrect but may have prevented the use of the + symbol.
it's pretty clear from context that we're talking about addition. you don't usually see '2' on the RHS of a boolean equation.
To the contrary, 7 and 10 is 2
You do in bitwise AND calculations.
I assumed it was a workaround for some title-formatting rule that HN has, given that the original article uses +
Then why not use word "plus" instead? "Proving that 1 plus 1 = 2 in Rust" is a more suitable title that does not use symbol +.
AIUI, it was not the submitter who rewrote the title; HN did it automatically.