Per Vognsen (referenced in this blog) is now found on Mastodon at : https://mastodon.social/@pervognsen https://mastodon.social/@pervognsen He's just published

Per Vognsen (referenced in this blog) is now found on Mastodon at : https://mastodon.social/@pervognsen https://mastodon.social/@pervognsen He's just published "Finding Simple Rewrite Rules for the JIT with Z3": https://www.pypy.org/posts/2024/07/finding-simple-rewrite-rules-jit-z3.html https://www.pypy.org/posts/2024/07/finding-simple-rewrite-ru... https://news.ycombinator.com/item?id=40951900 https://news.ycombinator.com/item?id=40951900