‹ BackHN Continuity

Thread

Solving a corn puzzle with CP-SAT

37 points · 20 comments · luu

  1. nh23423fefe · · focus · HN ↗
    > It was much better than I would have written myself, and I ended up learning from it.

    Eventually shitting on LLM code will be seen by all as lazy cope. I too am aware of the existence of SAT but I really would struggle to immediately see through some problem i was having and interpret SAT unless I did it a bunch. Having agent suggest the "right thing" is clearly better. And hopefully would help my intuition in the future.

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.