Essays on deterministic compilation, the architecture of trustworthy AI-generated systems, and the next decade of software engineering.