Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Pirating the Pirates (mubi.com)
    15comments
  2. 13 Months Sober (2025) (bobbytables.io)
    19comments
  3. Hijacking the PS5's RTMP Stream (yashgarg.dev)
    3comments
  4. Parley: Federated, decentralised chat that speaks plain IRC (mills.io)
    112comments
  5. What Heraldry and Mon Can Teach Us About Building Visual-Identity Generators (benovermyer.com)
    9comments
  6. The problem is not AI code, but not knowing about system architecture or intent (ssp.sh)
    141comments
  7. MongoDB CEO resigns to join Meta (reuters.com)
    117comments
  8. Show HN: HN.watch – Videos of all Hacker News posts (hn.watch)
    —discuss
  9. 37,500 border drawings: a map of the world as people remember it (habibicode.org)
    31comments
  10. Coding Is Not Solved (alexewerlof.com)
    295comments
  11. Show HN: PaperMono, e-ink fridge magnet shopping list with mobile web page (github.com/seamusc)
    34comments
  12. What Would a Serious AI Product Look Like? (glyph.im)
    17comments
  13. Footguns with Postgres "at time zone 'UTC'" (bookofrevenue.com)
    72comments
  14. Owed a billion dollars in Nvidia stock (colo.to)
    418comments
  15. Kids turned low-traffic NPR Spotify comments into a secret group chat (thisamericanlife.org)
    67comments
  16. Ember-1 (fireworks.ai)
    239comments
  17. Show HN: Hntui – A TUI for Hacker News (github.com/ahmd-sh)
    44comments
  18. Solving a corn puzzle with CP-SAT (thill.me)
    1comments
  19. When did Google get so weird? (sancho.bearblog.dev)
    891comments
  20. Nissan's third generation e-POWER powertrain (nissan-global.com)
    304comments
  21. Show HN: Free alternative to graphics design giants (scissor.studio)
    17comments
  22. Cf: The Agentic CLI for the Cloudflare API (cloudflare.com)
    —discuss
  23. Thinking fast and slow in AI: The role of metacognition (2021) (arxiv.org)
    62comments
  24. What makes Lisp difficult to read? (paultm.nl)
    32comments
  25. Self-Hosting on the Dark Web (alvarezrosa.com)
    105comments
  26. Malleable software: Restoring user agency in a world of locked-down apps (2025) (inkandswitch.com)
    68comments
  27. Updated Google Maps shows destruction of the city of Rafah (twitter.com/aliabunimah)
    7comments
  28. Alan Kay's answer to “Did the ENIAC have a BIOS”? (quora.com)
    60comments
  29. Guitar amp and effects pedal built on the Waveshare ESP32-S3-Touch-AMOLED-2.06 (github.com/dashersw)
    73comments
  30. How Pew Research Center is – and is not – using AI in our work (pewresearch.org)
    —discuss

Solving a corn puzzle with CP-SAT

5 pointsby 20h agothill.me
1 comments
22m agoHN ↗

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.