Tech article
Lambda MicroEgg
No preview is available. Read the original article for the full story.
Hacker News | Sep 20, 2026 | philzook
Automated excerpt
More on that below. (rewrite (@sum x (* ? a {? b x})) (* ? a (@sum x {? b x}))) ; constant factoring (rewrite (@sum x ? a) (* ? a N)) ; constant sum (rewrite (* ? a ? b) (* ? b ? a)) ; mul commutativity ; match 21. 72µs, apply 14. 991µs, rebuild 19. 347µs Here is an AC-10 saturation run. A Miller pattern {? a x y} is basically a bound variable allowance pattern.
Selected automatically from source text; not independently written or fact-checked. Read the original for full context.