News for hackers. Stuff that matters.

A comment on Synthesizing optimal 8051 code with an SMT solver (2020). Parent comment

Re:Synthesizing optimal 8051 code with an SMT solver (2020) by pkkm on Saturday December 10, 2022 @02:44PM (#33936045)
That was my thought too. The author says that the memory usage grows extremely quickly; I wonder if there's a way to reduce it.
[ Parent | on HN ]
Re:Synthesizing optimal 8051 code with an SMT solver (2020) by espadrine on Saturday December 10, 2022 @02:51PM (#33936121)
Isn‘t that what DeepMind tried to circumvent by using AlphaZero for AlphaTensor, to discover faster matrix multiplication techniques?
[ Parent | on HN ]
Re:Synthesizing optimal 8051 code with an SMT solver (2020) by pkkm on Saturday December 10, 2022 @02:59PM (#33936214)
I think so. Their algorithms aren't known to be optimal though, just better than the previous ones.
[ Parent | on HN ]