WEYL WEYL

// .plan

Updates, insights, and announcements from the Weyl team

Ruining GPU Market Owners' Day with the Power of Nix

Build containers with nix2gpu that run on any GPU market

• baileylu / b7r6
Nix Container Nvidia CUDA Scaling

One Service Definition to Rule Them All

Meet Nimi: a tiny process manager that takes NixOS 25.11's modular services spec and runs it anywhere you need.

• baileylu
Nix Rust Container NixOS

The Inhuman Quality of Starlight: The Operating System of the Drone War and The UTF-8 of AI

Part 1: The Operating System of the Drone War and The UTF-8 of AI. Constraints dominate resources, and the lattice doesn't negotiate.

• b7r6
NVFP4 Infrastructure DeepSeek CUDA Nix Embedded AI Quantization

Villa Straylight Papers - Part I: The Rectilinear Chamber

Layouts, Coordinate Spaces, and the CuTe Contract. The tensor core at the center of the Gothic folly.

• Weyl Team
CUDA GPU Architecture Formal Methods Lean CuTe Layouts

Villa Straylight Papers - Part II: The Sense/Net Pyramid

Coalescence, Noetherian Reduction, and Why the Gothic Folly Terminates.

• Weyl Team
CUDA GPU Architecture Formal Methods Lean CuTe Coalescence

Villa Straylight Papers - Part III: Built Him up From Nothing

Complementation, the FTTC, and the Holes in Your Iteration Space. The theorem that should terrify you.

• Weyl Team
CUDA GPU Architecture Formal Methods Lean FTTC TMA

Villa Straylight Papers - Part IV: Take Your Word, Thief

Composition, the Tensor Core Cathedral, and Jensen's Razor. Never attribute to search what can be proven by construction.

• Weyl Team
CUDA GPU Architecture Formal Methods Lean razorgirl Composition

The Villa Straylight Papers

Jensen's Razor and the malevolent combinatorics of CUDA architecture. Encoding NVIDIA's theorems as types through Gibson's lens.

• Weyl Team
CUDA GPU Architecture Formal Methods Lean Neuromancer NVIDIA Tensor Cores