Slava's Monoid Zoo
by luu on 4/19/2026, 11:13:46 PM
https://factorcode.org/slava/monoids.html
Comments
by: voidUpdate
> "Can you see a way to transform a string of 8 apples "" into a string of 10 apples ""?"<p>Am I missing something? The only rules we have are BAB -> AAA and BBB -> BB, and we start with only A, no B, so neither of those rules can be used, so the answer is no?<p>EDIT: Ah, looks like you cant put emoji in HN comments. Imagine there's apples in there
4/21/2026, 2:01:32 PM
by: entaloneralie
Too scared to leave the comfy world of commutative monoids.
4/21/2026, 2:56:01 PM