AI Agent 기반 개발의 신뢰성 확보를 위한 프로세스 중심 설계 전략
How to build a production-ready app with Claude Code
AI에게 주도권을 빼앗기지 마세요 — 두 번의 자동화 실패에서 배운 것
AI 주도권 상실로 인한 자산 3% 손실 및 신뢰도 하락 방지를 위한 제어 구조 설계
PRNG의 결정론적 한계를 극복한 CSPRNG 및 Commitment Scheme 기반 검증 아키텍처
dev.to How Online Casinos Prove Their RNG Is Fair, and Why Most Software Can't
Model 의존성을 탈피한 Specification 중심의 Harness 설계 전략
Harness Engineering Has No Fixed Address
Code Generation 속도보다 Verification 역량이 결정하는 AI 기반 Engineering Loop 설계
Most Engineers Use AI. Few Engineer With It.
코드 생성량 4배 증가 대비 가치 10% 상승, Specification 기반 검증으로 해결
Review is the Symptom. Specification is the Fix.
형식 기법과 프로그래밍의 미래
AI 에이전트 시대의 검증 병목 해결을 위한 Formal Method 도입
모호성 제거와 증거 기반 검증으로 AI 에이전트의 Rework 및 Hallucination 해결
Two tiny Claude Code skills that fixed my two biggest agent problems
검증 루프 기반 이미지 최적화로 전송 용량 20% 절감 달성
What Makes An Agent Loop Useful?
Thermo Fisher의 항체 데이터는 얼마나 조작됐나?
Thermo Fisher 항체 검증 이미지 450건 초과 조작 적발 및 신뢰성 붕괴
Checksum 기반의 Rsync 데이터 무결성 검증 자동화 스크립트 설계
Verify Rsync Operations with a New Integrity Test Script
AI 의존증 탈피를 통한 Systems Thinking 중심의 엔지니어링 역량 강화
Is Copilot Making Us Worse Developers?
AI Coding Agent의 무한 루프 방지를 위한 Stop Condition 설계 전략
If your coding agent can retry forever, it will
AI Verification 기반 Doc-Code 동기화로 문서 부패 및 유지보수 비용 해결
AI for Documentation That Developers Actually Maintain
도메인 전문성은 언제나 진짜 해자였다
Agentic AI 시대, 코드 생산성보다 Domain Knowledge 기반의 검증 능력이 핵심 해자로 전환
Harness 설계를 통한 LLM 생산성 x3.16 달성 전략
The x3.16 Developer | Part 1
GenAI 코드 생성 가속화로 인한 시스템 Liability 증대 및 기계적 검증 필요성
The Fallacies of GenAI Development
AI 협업 설계 최적화를 통한 4개월 내 iOS 앱 10종 런칭
Vibe Coding for Senior iOS Developers - 6 Takeaways after Shipping 10 Apps in 4 Months
LLM 간 교차 검증의 통계적 함정 극복을 위한 Material Probe 도입
Two AI reviews agreeing is not two reviews: how I learned to test claims before adopting them
Prompt Engineering Debt 제거를 통한 Domain Expertise 중심의 AI 워크플로우 재설계
Why Prompt Engineering Is Just an Expensive Way to Be Incompetent