AI테스트
AI가 찾아낸 수학의 반례: 클로드 페이블이 보여준 코드 검증의 미래
클로드 페이블이 87년 묵은 수학 난제인 야코비안 추측의 반례를 찾아내며 AI의 추론 능력을 입증했습니다. 이 사건이 소프트웨어 테스트와 버그 탐지에 시사하는 바를 분석하고, 개발자가 AI를 활용해 엣지 케이스를 자동 발굴하는 방법을 소개합니다.
md-log 블로그
AI 바이브 코딩, 리뷰 가능한 개발로
AI 에이전트 · 코드 리뷰 · 문서화 · MCP — AI 기반 개발 워크플로우의 흐름을 정리합니다. 매 글은 사람이 AI의 작업을 검토하고 불변 버전으로 남기는 md-log의 관점을 담습니다.
AI 에이전트
데스크톱 AI 에이전트가 바꾸는 개발자의 하루: Kimi Work가 제시하는 코딩 이상의 업무 혁신
Kimi Work는 단순한 코드 어시스턴트를 넘어 프로젝트 관리, 문서 작성, 브라우징까지 통합하는 데스크톱 AI 에이전트입니다. 문샷 AI의 Kimi K3 모델을 기반으로 한 이 도구가 개발자의 컨텍스트 스위칭을 줄이고 바이브 코딩을 확장하는 방식을 살펴봅니다. 보안과 프라이버시 문제, 그리고 운영체제 통합의 미래까지 짚어 봅니다.
보안
25달러와 GPT로 찾아낸 제로데이: AI가 바꾸는 보안 취약점 발견의 현실
AI 도구를 이용해 단돈 25달러로 치명적인 제로데이 취약점을 발견한 사례를 분석하고, 이것이 개발자의 보안 워크플로우와 DevSecOps에 미치는 영향을 조명합니다.
AI코딩
불안정한 OpenCode가 알려주는 AI 코딩의 현실: 생산성 도구인가, 덫인가
OpenCode의 반복적인 오작동 사례를 통해 AI 코딩 도구의 눈부신 가능성 뒤에 도사린 불안정성과 예측 불가능성이 개발자의 생산성과 신뢰에 미치는 영향을 진단하고, 실전 위험 관리 전략을 제시합니다.