Applied Mathematics

A new technical write-up explains the dual polytope and how it can be applied to simplify convex hulls in computational geometry. The post walks through the underlying mathematical concepts and demonstrates their practical use in hull simplification, drawing attention from developers and geometry enthusiasts following the discussion.

A new technical article walks software engineers through the anatomy of a proof written in Lean, the theorem prover increasingly used to verify code correctness. The piece breaks down how a proof is structured step by step, aiming to make formal verification more approachable for developers without a mathematics background. It is drawing attention from programmers curious about applying proof assistants to everyday software work.

A new blog post demonstrates how L-systems, the simple rewriting rules invented to model plant growth, can be pushed far beyond botany. The author shows examples using them to generate weevil shapes, pizza topping patterns, and matriarchal family lineages, illustrating how surprisingly general the formalism is. Readers are discussing the unexpected breadth of applications of a mathematical idea usually confined to fractals and procedural plants.