peterzat

Software engineering leader; previously Microsoft, Amazon, Xnor.ai, Apple.

Currently writing about agentic coding, verification-first development, and agent-hypervisors.

Writing: https://agent-hypervisor.ai/

Code: https://github.com/peterzat/zat.env

LinkedIn: https://www.linkedin.com/in/peterzat/

Human, last I checked.