Use general term for coding agents

josevalim · josevalim · commit 6aa760631c54 · 2026-05-13T21:31:10.000+02:00
diff --git a/_posts/2026-03-19-lazy-bdds-with-eager-literal-differences.markdown b/_posts/2026-03-19-lazy-bdds-with-eager-literal-differences.markdown
@@ -337,7 +337,7 @@ Then we distribute the second `and` and, after replacing `a1 and a2` by
 ```
 
 At this point, I thought no further simplifications were possible. That's
-when I reached to Claude Opus 4.6 to explore alternative variations and it
+when I reached to a coding agent to explore alternative variations and it
 suggested the following "obvious-only-in-hindsight" simplication.
 We know that `a1 = a_diff or a_int`, so let's slot that in:
 
