peterzat
...joined 7 years ago, and has 1 karma
submissions / comments / favourites
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.