My halmos usage #1

[This is the first post in my series on sharing applications of halmos.]

I enjoy reading highly gas-optimized code. There's something deeply satisfying about learning from and being inspired by the creative use or discovery of uncommon…