← Feed @resistor@mastodon.online Post #2358312 2026-05-05 22:37 UTC An evening well spent learning just enough Z3 to be dangerous at creating instruction encodings Replies (0) No replies.