Cross-Domain Optimization with a Differentiable NACA Airfoil Model
Walk through the NACA 2412 Navier-Stokes demo, the compiler pipeline behind it, and why preserving array structure all the way to WebGPU matters.
Read post
Developer Blog
CogniPilot Developer Blog
Long-form notes on Rumoca, compiler-driven modeling, verification, code generation, and the pieces that make CogniPilot a safety-oriented flight stack.
All posts