Cover image

Print Smarter, Not Harder: How Portfolio Algorithms Are Quietly Optimizing 3D Printing

A print farm does not usually fail because nobody knows how to press “start.” It fails in smaller, duller, more expensive ways. One plate carries too few parts. Another job needs manual rearrangement. A failed object ruins the economics of a batch. The slicer accepts a layout that looks reasonable, until sequential printing reminds everyone that the print head is not a ghost and cannot pass through already printed objects. Reality, inconveniently, still has geometry. ...

March 14, 2026 · 16 min · Zelina
Cover image

When Solvers Guess Smarter: Teaching SMT to Think in Functions

When Solvers Guess Smarter: Teaching SMT to Think in Functions Timeouts are where formal verification quietly loses its glamour. A team writes a specification. A solver receives the formula. Everyone expects the machine to answer a clean question: is this system safe, satisfiable, contradictory, or not? Then the solver thinks. And thinks. And returns nothing useful before the clock runs out. ...

January 11, 2026 · 15 min · Zelina