태그: #verification
GPU·LLM·MLOps·쿠버네티스, 그리고 마음가짐에 관한 글 · 5 편
검증 설계 — 테스트를 통과 여부가 아니라 신뢰 근거로 보기
테스트가 초록불이라는 사실 자체는 아무것도 말해 주지 않습니다. 무엇을 안 걱정해도 되는지가 정해져 있을 때만 초록불에 뜻이 생깁니다. 이 글은 테스트를 통과 여부가 아니라 신뢰 근거로 다루는 방법을 다룹니다. 각 테스트에 신뢰 문장을 붙이는 연습, 커버리지가 실제로 재는 것과 재지 못하는 것의 차이, 검증하지 않기로 한 것을 명시적으로 적어야 하는 이유, 그리고 정답표가 없는 영역에서 판정
2026-08-15 · 12 분 읽기 #career#skills#testing#verification#craftAI 도구와 일하는 법을 하나의 기술로 — 위임 기준과 검증 절차
AI 도구를 잘 쓴다는 말은 무엇을 맡겼고 결과를 어떻게 판정했는지를 빼면 아무것도 뜻하지 않습니다. 이 글은 위임 가능성을 난이도가 아니라 검증 비용으로 가르는 기준, 맡기기 전에 네 줄로 적는 위임 카드, 결과를 받은 뒤 읽는 순서를 바꾸는 검증 절차, 그리고 생산성이 오히려 떨어지는 네 가지 패턴을 다룹니다. 무작위 대조 실험과 대규모 개발자 설문에서 나온 숫자를 인용하되 그 숫자가 무
2026-08-15 · 14 분 읽기 #career#skills#ai#verification#engineering-practice러스트 표준 라이브러리 검증 캠페인이 찾아낸 메모리 안전성 버그는 0개였다
AWS와 Rust Foundation이 주도한 verify-rust-std 캠페인의 결과 논문이 2026년 NASA Formal Methods Symposium에 실렸습니다. 저자들이 "소프트웨어 라이브러리를 대상으로 보고된 것 중 가장 큰 검증 캠페인"이라 부르는 이 작업은 자동 생성 하네스 16,748개를 만들어 11,970개를 통과시켰지만, 표준 라이브러리에서 알려지지 않은 메모리 안전
2026-07-16 · 48 분 읽기 #formal-methods#rust#verification#memory-safety#testing마이그레이션 롤백과 검증 — 안전망을 설계하기
데이터베이스 마이그레이션에서 롤백이 왜 어려운지, 그리고 되돌릴 수 있는 변경과 되돌릴 수 없는 변경을 어떻게 구분하는지 다룹니다. 백업과 복구 지점, 다단계 검증, 카나리 배포, 피처 플래그, 자동화된 데이터 검증, 인시던트 런북까지 안전망을 설계하는 실무 전략을 정리합니다.
2026-06-16 · 42 분 읽기 #database#migration#rollback#verification#feature-flagAI가 쓴 코드를 리뷰하는 법: 에이전트 출력물을 위한 검증 규율과 'AI 슬롭' 걸러내기
AI가 코드를 쓰는 시대에 병목은 리뷰로 옮겨갔습니다. 사람 PR을 리뷰하는 것과 에이전트 출력물을 리뷰하는 것은 다른 기술입니다. AI 코드가 특유하게 틀리는 방식, 환각 API와 의미 없는 테스트를 걸러내는 검증 루프, 타입보다 테스트보다 사람의 순서, 'AI 슬롭'의 정체와 필터링까지 — 복사해 쓸 수 있는 체크리스트와 함께 정리합니다.
2026-05-14 · 39 분 읽기 #code-review#ai-generated-code#verification#ai-slop#quality