| about: | 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. |