at://
/
app.bsky.feed.post
/
3moqtbuejkhg2
sign in
All
4
Record
2
Post
1
PostEmbed
1
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
Placing all six chess pieces on a 6 by 5 board so that no piece attacks another. Solution using Claude to generate Z3/Python. https://www.johndcook.com/blog/2026/06/20/z3-python-claude/
1d
John D. Cook
