Taxon: a Language for Formal Reasoning with Digital Fabrication Machines
summary
Taxon is a programmatic system that encodes machines, workflows, and reusable heuristics so makers can verify feasibility and safety before fabricating. Implemented as a browser-based simulator, it runs machine plans and applies filtering rules of thumb and action rules of thumb to narrow choices and check workflows (raising a filter minimum height from 100mm to 200mm reduces candidates to three). Taxon works in simulation, covers many but not all machines, and aims to move to physical integration.
AI-written summary · about
related talks
32mHole Refinements for Polymorphic Type-and-Example Driven Synthesis
19mExtensible Metatheory Mechanization via Family Polymorphism
32mTLA + specification of PCR parallel programming pattern
15mTacTok: Semantics-Aware Proof Synthesis
14mStudy of the Subtyping Machine of Nominal Subtyping with Variance
56mOn Type-Based Techniques for Program Manipulation
14mHigher-order Automation In TLAPS
25mP4-SpecTec: A Language Mechanization Framework for P4