Topic Cluster // 3 Articles
AI-Assisted Formalization
01
What is the Meaning of AI-Assisted? A Practitioner's Guide
I’ll never forget the moment in early 2025 when a client said: “We’re using AI-assisted development. Our team just pastes code from ChatGPT into produc...
02
What Is the Primary Goal of AI-Assisted Development?
Last year at SIVARO, I watched one of my senior engineers rewrite a 400-line Kafka consumer in under an hour using an AI assistant. He wasn't typing. He was ...
03
What Is AI-Assisted Production? A Practitioner’s Guide (2026)
I spent the first half of 2025 debugging a prod pipeline that kept hallucinating SQL joins. The team was blaming the model. I was blaming the infra. Turns ou...