Archive · June 2026
A zero-knowledge proof that hides its secret in math's blind spot
Rahul Ilango built a noninteractive zero-knowledge proof from Gödel's limits — what trust-without-disclosure means for BIM, tendering, and e-permits.
Michigan's Spring 2026 Floods: A Dependency Graph from Orbit
Grand River crested April 8 just below major flood. NASA Landsat reveals what an aging dam fleet looks like under rain-on-snow stress in 2026.
TypeScript breaks into the robot-software stack — Flue, Mastra, and the DACH read
Flue and Mastra ship TypeScript agent runtimes in 2026 — and the robot-software dependency graph just shifted. Read it carefully before you commit.
The circle: the one geometry no vendor can license
A PAZ foundation essay on the circle — isoperimetric proof, hoop-stress σ=pr/t, Euclid to the Pantheon, and a Grasshopper rose-curve Hack you can run today.
ROS 2 Lyrical Luth lands with 2031 support — the robot-software topology shifted
ROS 2 Lyrical Luth lands with support to 2031 as OpenHarmony, LeRobot, and humanoid factories redraw the robot-software dependency graph for DACH labs.
openBIM Grows a Spine: Porto's Hackathon, Zurich's Governance, ISO's New Compatibility Policy
openBIM's first hackathon, Zurich's Domain Conference and ISO's IFC Compatibility Policy line up: the standard finally has practitioner-grade rails.
The Building That Compiles Itself: Rust Proc Macros Reach the BMS
Rust procedural macros let a building's firmware derive BACnet, KNX, and IFC bindings at compile time. PAZ on why the building should compile itself.
Truss that grabs: VTT's hybrid control collapses the structure-actuator boundary
VTT's new hybrid control turns truss structures into manipulators — one static equilibrium model does the work of three controllers. PAZ on robot topology.
NASA Force Is a Dependency Graph, Not a Hiring Surge
NASA + OPM open NASA Force for two-year aerospace engineer hires. Read it as a topology diagram showing which talent pipes are starting to leak.
AI Just Joined the Mathematician's Toolchain. Now Draw the Dependency Graph.
After AI solved 5/6 IMO problems in 2025 and the First Proof challenge in 2026, mathematicians face the dependency-graph question architects know.