This post is the programming joke about Python, "import solution; solution()". | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

doctorpangloss on June 12, 2025 | parent | context | favorite | on: Solving LinkedIn Queens with SMT

This post is the programming joke about Python, "import solution; solution()".

sevensor on June 13, 2025 [–]

Barely a joke, this is literally what using the Python Z3 bindings feels like.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact