Archiv · June 2026
Der Nullwissensbeweis in der mathematischen Blindstelle
Rahul Ilango konstruierte einen nicht-interaktiven Nullwissensbeweis aus Gödels Grenzen. Vertrauen ohne Datenoffenlegung für BIM, Ausschreibungen und E-Permits.
Michigans Frühjahrshochwasser 2026: Ein Abhängigkeitsgraph aus dem All
Grand River knapp unter Hochwasser am 8. April. NASA Landsat zeigt, wie gealterte Talsperren unter Regen-auf-Schnee-Stress 2026 reagieren.
TypeScript erobert den Robot-Software-Stack — Flue, Mastra und die DACH-Perspektive
Flue und Mastra: TypeScript-Agent-Runtimes 2026. Der Robot-Software-Stack verschiebt sich. Lies es vor dem nächsten Commit.
Der Kreis: die einzige Geometrie, die niemand lizenzieren kann
Ein PAZ-Grundlagenessay über den Kreis — isoperimetrischer Beweis, Reifenspannung σ=pr/t, Euklid bis zum Pantheon, ein Grasshopper-Rosenkurven-Hack.
ROS 2 Lyrical Luth mit 2031-Support — die Roboter-Software-Topologie dreht sich
ROS 2 Lyrical Luth mit Support bis 2031 — OpenHarmony und LeRobot zeichnen die Roboter-Software-Abhängigkeiten für DACH-Labs neu.
openBIM bekommt ein Rückgrat: Portos Hackathon, Zurichs Governance, ISOs neue Kompatibilitätspolitik
Der erste openBIM-Hackathon, Zurichs Domain Conference und ISOs IFC-Kompatibilitätspolitik reihen sich auf: der Standard hat endlich ein solides Fundament.
Das Haus compiliert sich selbst: Rust Proc-Makros im BMS
Rust Makros compilieren BACnet-, KNX- und IFC-Bindungen zur Compile-Zeit. Warum sich das Haus selbst compilieren sollte.
Fachwerk zum Greifen: Wie VTT Struktur und Antrieb verschmilzt
VTTs Hybrid-Regelung verwandelt Fachwerke in Greifarme — ein statisches Gleichgewichtsmodell ersetzt drei Regler. PAZ zur Roboter-Topologie.
NASA Force: Abhängigkeitsgraph, nicht Einstellungswelle
NASA + OPM öffnen NASA Force für zweijährige Aerospace-Ingenieur-Anstellungen. Lese es als Topologiediagramm, das zeigt, welche Talentleitungen zu lecken anfangen.
KI im Mathematiker-Toolchain. Den Dependency Graph zeichnen
Nachdem KI 2025 fünf von sechs IMO-Problemen gelöst hat und 2026 First Proof, stehen Mathematiker vor der Dependency-Graph-Frage, die Architekten kennen.