News for hackers. Stuff that matters.

A comment on Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence.

Re:Show HN: Symbolic Circuit Distillation: prove program to ... by aappleby on Tuesday January 06, 2026 @05:54PM (#46520005)
No examples in the readme?
[ Parent | on HN ]
Re:Show HN: Symbolic Circuit Distillation: prove program to ... by nsomani on Tuesday January 06, 2026 @09:56PM (#46521991)
There are two examples provided - quote matching and bracket closing.
[ Parent | on HN ]