https://www.hillelwayne.com/tags/crimes/ Recent content in Crimes on Hillel Wayne Hugo -- gohugo.io en-us Mon, 17 Apr 2023 00:00:00 +0000 https://www.hillelwayne.com/post/graphing-tla/ Mon, 17 Apr 2023 00:00:00 +0000 https://www.hillelwayne.com/post/graphing-tla/ I haven’t written much about TLA+ on the blog since the new learntla went up. Any examples or special topics I think of go there instead. But I recently thought of a cool demo that doesn’t quite fit the theme of that book: there are some things you can’t easily check with the model checker but can check if you work with the state space as a directed graph. https://www.hillelwayne.com/post/python-abc/ Sun, 31 Jul 2022 00:00:00 +0000 https://www.hillelwayne.com/post/python-abc/ One of my favorite little bits of python is __subclasshook__. Abstract Base Classes with __subclasshook__ can define what counts as a subclass of the ABC, even if the target doesn’t know about the ABC. For example: class PalindromicName(ABC): @classmethod def __subclasshook__(cls, C): name = C.__name__.lower() return name[::-1] == name class Abba: ... class Baba: ... >>> isinstance(Abba(), PalindromicName) True >>> isinstance(Baba(), PalindromicName) False You can do some weird stuff with this.