lobste_rs feeds.twtxt.net Mon, May 5 2:17AM 2025 (1y ago) Debugging a Logic Circuit in IDP-Z3 Comments ⌘ Read more ⤋ Read More Yarn