Another big hole found and (I think) patched.
I needed a vastly more algorithmic proof of
M1 o M = M2 o M implies M1 = M2.
Another big hole found and (I think) patched.
I needed a vastly more algorithmic proof of
M1 o M = M2 o M implies M1 = M2.
-
(no subject)
After getting home from work immediately appeared to be a traintastrophe in the making, went to see Esther Schor talk about her book "Bridge of…
-
(no subject)
Thai curry leftovers for dinner. Got a copy of Hennessy and Patterson's textbook on Architecture, and I am enjoying catching up on all the low-level…
-
(no subject)
Finally the end is in sight for unpacking my books. Heartstrings are pulled over the desire to slim down and get rid of some of them, but so many are…
- Post a new comment
- 4 comments
- Post a new comment
- 4 comments
