Modern SAT solvers: fast, neat and underused (2018) (codingnest.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of codingnest.com: Modern SAT solvers: fast, neat and underused (2018)

First screen, captured 3 years ago.

Looks similar

Screenshot of ochagavia.nl: Chasing a Bug in a SAT Solver

Chasing a Bug in a SAT Solver (ochagavia.nl)

66 points by wofo 2 years ago | 26 comments

Screenshot of harnesstax.github.io: HarnessTax: How Much Does the Harness Matter for Coding Agents?

HarnessTax: How Much Does the Harness Matter for Coding Agents?(harnesstax.github.io)

204 points by matt_d 1 month ago | 78 comments

Screenshot of blog.danielh.cc: Accidentally writing a fast SAT solver

Accidentally writing a fast SAT solver (blog.danielh.cc)

115 points by max__dev 1 year ago | 27 comments

Screenshot of Hacker News post: Show HN: I made a cheap alternative to college-level math & physics tutoring

Show HN: I made a cheap alternative to college-level math & physics tutoring

310 points by eltonlin 2 years ago | 126 comments

Screenshot of blog.mastykarz.nl: "Coding is solved" misses the point

"Coding is solved" misses the point (blog.mastykarz.nl)

14 points by listless 2 months ago | 5 comments

Screenshot of Hacker News post: Ask HN: Do you have any evidence that agentic coding works?

Ask HN: Do you have any evidence that agentic coding works?

312 points by terabytest 9 months ago | 303 comments