News for hackers. Stuff that matters.

A comment on Quantum Advantage for NP Approximation. Parent comment

Re:Quantum Advantage for NP Approximation by zero_k on Thursday October 10, 2024 @11:01AM (#41799557)
Wow, nice work [1] ! I used to work on CryptoMiniSat a lot. Nowadays I'm doing model counting and maybe synthesis, if all goes well [2]

[1] https://github.com/leanprover/lean4/pulls/bollu [2] https://x.com/SoosMate/status/1827308967208317241

[ Parent | on HN ]

There are no comments on this comment yet.