G github.com Show HN: LogicPearl – Synthesizing deterministic executable logic from traces 4 points kenerwin88 6 months ago 4 comments