AI agents, code review, documentation, MCP — we track the currents of AI-driven development workflows. Every post carries md-log's view: people reviewing AI's work and keeping it as immutable versions.
Claude Fable found a counterexample to the 87-year-old Jacobian conjecture, demonstrating AI's reasoning capabilities. We analyze the implications for software testing and bug detection, and introduce how developers can use AI to automatically discover edge cases.
Kimi Work is a desktop AI agent that goes beyond a simple code assistant to integrate project management, document writing, and browsing. We examine how this tool based on Moonshot AI's Kimi K3 model reduces developers' context switching and extends vibe coding. We also cover security and privacy issues and the future of operating system integration.
Analyzing a case where a critical zero-day vulnerability was discovered using an AI tool for just $25, and examining its impact on developer security workflows and DevSecOps.
Through repeated malfunctions of OpenCode, this post diagnoses the impact of instability and unpredictability lurking behind the dazzling possibilities of AI coding tools on developer productivity and trust, and presents practical risk management strategies.
