https://noraincheck.github.io/tags/program-reduction/Recent content in Program-Reduction on NoRaincheckHugoen-USNoRaincheckMon, 01 Jun 2026 00:00:00 +0000https://noraincheck.github.io/posts/syntax-reduction-and-mimo/Mon, 01 Jun 2026 00:00:00 +0000https://noraincheck.github.io/posts/syntax-reduction-and-mimo/<p>Program reduction is an interesting problem: given an objective (e.g., a unit test), can we automatically create the minimal viable program by deleting unnecessary code?</p> <p>This repo (<a href="https://github.com/NoRaincheck/nappe">nappe</a>) and <a href="https://pypi.org/project/nappe/">PyPI package</a> is an implementation of an existing approach with extensions to solve this. As this problem is NP-hard, it&rsquo;s not surprising that it is a tad &rsquo;expensive&rsquo; to do this well. However, it is interesting as it tackles things like removing dead code which perhaps tools like <code>ruff</code> don&rsquo;t succeed with.</p>