fos-blog/study
01 / 홈02 / 카테고리03 / 시리즈
01 / 홈02 / 카테고리03 / 시리즈

카테고리

  • AI 페이지로 이동
    • RAG 페이지로 이동
    • agent 페이지로 이동
    • claude-code 페이지로 이동
    • harness 페이지로 이동
    • llm 페이지로 이동
    • ops 페이지로 이동
    • practice 페이지로 이동
  • algorithm 페이지로 이동
    • Alias Method: 가중치 랜덤 선택을 전처리 O(n), 추출 O(1)로 바꾸기
    • Welford's Online Algorithm: 값을 저장하지 않고 평균과 분산 계산하기
  • architecture 페이지로 이동
    • distributed-systems 페이지로 이동
    • domain 페이지로 이동
    • evolution 페이지로 이동
    • patterns 페이지로 이동
  • database 페이지로 이동
    • milvus 페이지로 이동
    • mysql 페이지로 이동
    • opensearch 페이지로 이동
    • qdrant 페이지로 이동
    • redis 페이지로 이동
    • vespa 페이지로 이동
    • DB Connection Pool Saturation과 Thread Pool 격리
    • 커넥션 풀 크기는 얼마나 조정해야 할까?
    • MyBatis 기본기 — XML Mapper, resultMap, 동적 SQL, 운영 패턴 정리
    • MyBatis와 JPA/Hibernate 트레이드오프 — 레거시 백엔드를 다루는 시니어 관점
    • 한국어 형태소 분석기 Nori vs Lindera — OpenSearch에서 Milvus로 갈 때 어휘 검색은 유지되나
    • 정규화와 역정규화: 무결성과 조회 비용 사이의 선택
    • 벡터 DB 5종, 아키텍처는 어떻게 다른가
    • 벡터 DB 5종을 실제로 벤치마크했다 — 같은 recall에서 QPS는 얼마나 갈리나
    • 벡터 DB 어떻게 고를까 — OpenSearch · Milvus · Qdrant · Vespa · pgvector 비교
    • 벡터 DB를 실제로 도입한 사례 — 빅테크 프로덕션
  • devops 페이지로 이동
    • docker 페이지로 이동
    • k8s 페이지로 이동
    • Envoy Proxy
    • Graceful Shutdown
    • 종료 신호는 어디서 멈추는가
  • http 페이지로 이동
    • HTTP Connection Pool
    • HTTPS와 TLS: 핸드셰이크, 인증서, 종료 지점
  • java 페이지로 이동
    • concurrency 페이지로 이동
    • jdbc 페이지로 이동
    • spring 페이지로 이동
    • spring-batch 페이지로 이동
    • testing 페이지로 이동
    • Java 동시성 락 정리 — 커머스 메뉴/프로모션 정책 캐시 갱신 관점
    • JVM 튜닝 실전: 메모리 구조부터 Virtual Threads, GC 튜닝, 프로파일링까지
    • 로그에 traceId 남기기 — MDC 부터 OpenTelemetry 까지
    • Java StampedLock — 읽기 폭주에도 쓰기가 밀리지 않는 락
    • Virtual Thread와 Project Loom
  • javascript 페이지로 이동
    • typescript 페이지로 이동
    • AbortController
    • Async Iterator와 제너레이터
    • CommonJS와 ECMAScript Modules
    • 제너레이터(Generator)
    • Http Client
    • Node 백엔드 운영 패턴 — Streams 백프레셔, pipe/pipeline, 멱등성 vs 분산 락
    • Node.js
    • `setImmediate()`
  • kafka 페이지로 이동
    • Kafka 클러스터 아키텍처: Broker, KRaft Controller와 복제
    • Kafka 기본 개념: Topic, Partition, Offset과 Segment
    • Kafka 실전 설계: 파티션 전략, 컨슈머 그룹, 전달 보장, 재시도, 순서 보장 트레이드오프
    • Kafka 파티션·리밸런스·컨슈머 지연 운영
    • Kafka를 로그로 이해하기: 복제, 재처리, 상태와 데이터 통합
    • Spring Kafka 컨슈머 오프셋 커밋과 트랜잭션 정렬: AckMode, manual ack, 멱등 처리
  • linux 페이지로 이동
    • fsync — 리눅스 파일 동기화 시스템 콜
    • SSH forced command 로 배포 키가 실행할 수 있는 명령 제한하기
  • mlops 페이지로 이동
    • llm-serving 페이지로 이동
    • model-router 페이지로 이동
    • Python CUDA 버전 생태계 — nvidia-smi, nvcc, pip, conda가 다 다른 버전을 말하는 이유
    • GPU 컨테이너의 CUDA 버전 호환성 — nvidia-smi부터 이미지 다이어트까지
    • Kubernetes GPU 노드에서 /run tmpfs가 꽉 차서 Pod가 안 뜰 때
    • GPU·CUDA·MPS 기초 — 자바 백엔드 개발자가 처음 만나는 그림
    • Multi-process GPU 워크로드 — 자바 ThreadPool 사용자가 만나는 모델 차이
    • ML 서비스 성능 분석 워크플로 — 자바 백엔드 트러블슈팅과 다른 점
    • 한 GPU 를 여러 프로세스가 나눠 쓰기 — Time-Slicing 과 MPS
  • network 페이지로 이동
    • Connection reset by peer는 누가 보낸 걸까 — 리버스 프록시 홉마다 TCP 연결은 따로 논다
    • L2(스위치)와 L3(라우터)의 역할 차이
    • L4와 VIP(Virtual IP Address)
    • IP Subnet
  • observability 페이지로 이동
    • Observability 입문: 시니어 백엔드가 장애를 탐지하고 대응하는 방식
    • K8s 위 Spring Boot 앱의 메트릭 수집
  • python 페이지로 이동
    • Python async/await — CompletableFuture·Reactor 와 다른 점, 그리고 blocking I/O 함정
    • Python 의존성 관리 — Java Maven/Gradle 사용자가 만나는 첫 충격
    • FastAPI 기초 — Spring Boot 사용자가 빠르게 익히는 법
    • Java 개발자를 위한 Python 심화 — OOP·데코레이터·컨텍스트 매니저
    • PyTorch 기초 — 텐서, 디바이스, 그리고 모델 로딩이 무거운 이유
    • Java 개발자를 위한 Python 문법 핵심
    • ThreadLocal 에서 contextvars 로 — Python 의 요청 컨텍스트 전파
    • OCR 동작 원리 — Layout · Text · Post-process 3단계
    • Python 서버의 RSS가 줄지 않는 이유: CPython, gc.collect(), malloc_trim
  • rabbitmq 페이지로 이동
    • RabbitMQ Basics — 실전 백엔드 관점에서 정리하는 메시지 브로커 기본기
    • RabbitMQ vs Kafka — 백엔드 메시징 선택 기준과 실전 운영 관점
  • resume 페이지로 이동
    • 경험 및 경력기술서
    • 김병태 경력기술서
    • 김병태 포트폴리오
  • task 페이지로 이동
    • ai-service-team 페이지로 이동
    • nsc-slot 페이지로 이동
    • sb-dev-team 페이지로 이동
    • the-future-company 페이지로 이동
  • thinking 페이지로 이동
    • 자기주도 학습: 질문에서 시작해 글로 검증하기
    • 좋은 일을 넘어 중요한 일을 하는 법
FOS-BLOG · FOOTERall systems normal·v0.1 · 2026.04.27·seoul, kr
Ffos-blog/study

개발 학습 기록을 정리하는 블로그입니다. 공부하면서 기록하고, 기록하면서 다시 배웁니다.

visitors
01site
  • Home↗
  • Posts↗
  • Categories↗
  • Glossary↗
  • About↗
02policy
  • 소개/about
  • 개인정보처리방침/privacy
  • 연락처/contact
03categories
  • AI↗
  • Algorithm↗
  • DB↗
  • DevOps↗
  • Java/Spring↗
  • JS/TS↗
  • React↗
  • Next.js↗
  • System↗
04connect
  • GitHub@jon890↗
  • Source repositoryjon890/fos-study↗
  • RSS feed/rss.xml↗
  • Newsletter매주 1 회 · 한 편의 글→
© 2026 FOS Study. All posts MIT-licensed.
built with·Next.js·Tailwind v4·Geist·Pretendard·oklch
fos-blog/AI/AI 가 만든 결과는 전부 읽지 않고 검증 …
ai

AI 가 만든 결과는 전부 읽지 않고 검증 레이어로 신뢰한다

AI 가 코드와 문서를 만드는 속도는 사람이 읽는 속도를 넘어섰다. 모든 산출물을 한 줄씩 읽으며 이해하려 하면 검토가 병목이 되고, 결국 결론만 보고 검토를 포기하게 된다. 이 글은 사람이 직접 볼 것과 검증 레이어에 맡길 것을 나누는 기준을 정리한다. 검증을 이진 검사, 정량 지표, 정성 루브릭으로 나누고, 만드는 시점과 운영 시점에 각각 무엇이 필요한...

2026.10.02·3 min read·3 views

AI 가 코드와 문서를 만드는 속도는 사람이 읽는 속도를 넘어섰다. 모든 산출물을 한 줄씩 읽으며 이해하려 하면 검토가 병목이 되고, 결국 결론만 보고 검토를 포기하게 된다. 이 글은 사람이 직접 볼 것과 검증 레이어에 맡길 것을 나누는 기준을 정리한다. 검증을 이진 검사, 정량 지표, 정성 루브릭으로 나누고, 만드는 시점과 운영 시점에 각각 무엇이 필요한지 설명한다.

이 글은 하용호의 발표 「AI시대 나의 전문성을 재설계하는 법」(2026-06-11, 인프런 강의와 밋업 발표자료, 강의 링크)의 검증 레이어 부분을 정리하고, 하네스 설계 관점에서 덧붙인 것이다.

왜 읽는 대신 검증하는가

발표는 AI 도입 과정에서 쌓이는 부채를 세 가지로 나눈다.

부채상태
기술부채AI 가 전체 맥락 없이 눈앞의 목적만 만족시키는 코드를 빠르게 쌓는다
인지부채팀이 산출물과 시스템을 함께 이해하지 못한다. AI 결과가 많아지면 결론만 보고 검토를 포기한다
의도부채왜 그런 결정과 제약이 있었는지 맥락이 사라진다

이 가운데 인지부채는 검토 방식과 직접 연결된다. 사람의 주된 일이 생산에서 검증으로 옮겨 가므로, 중간 산출물을 전부 이해하려는 대신 결과물을 검증할 레이어를 만드는 데 시간을 써야 한다는 것이 발표의 주장이다. 중요한 결과물은 사람이 철저히 보고, 중간 산출물은 통과 기준으로 간접적으로 신뢰한다.

검증의 세 종류

종류질문예
이진 검사기능이 수행되는가빌드, 테스트, 스키마 검증의 통과와 실패
정량 지표얼마나 좋은가처리량, 지연 시간, 비용처럼 숫자로 비교하는 값
정성 루브릭적절한가아키텍처 적절성, 디자인 일관성, 사용자 동선

이진 검사는 같은 입력에 항상 같은 판정을 낸다. 정량 지표는 기준값을 정해 두면 회귀를 잡을 수 있다. 정성 루브릭은 숫자로 바꾸기 어려운 기준이다. 판정에 LLM judge 를 쓸 수 있지만, 무엇을 좋은 결과로 볼지의 기준은 도메인을 이해하는 사람이 정해야 한다. 발표도 좋은 검증 레이어는 도메인 이해가 있는 전문가가 만든다고 말한다.

가능하면 정성 기준을 이진 검사나 정량 지표로 바꿔서 결정적으로 판정할 수 있는 부분을 늘리고, 정말 남는 부분만 루브릭으로 둔다. 이 순서를 코드 컨벤션에 적용한 사례는 AI 코딩 에이전트의 코드 컨벤션은 규칙 문서와 결정적 검사로 지킨다에 있다.

만드는 시점과 운영 시점

발표는 검증 레이어가 build-time 과 run-time 모두에 필요하다고 말한다.

  • build-time 검증: 산출물을 만드는 과정의 검증이다. 테스트, 정적 분석, 리뷰가 여기에 속한다.
  • run-time 검증: 운영 중인 시스템의 검증이다. 제품 자체가 AI 에이전트라면 같은 입력에도 결과가 달라질 수 있으므로, 배포 전에 한 번 통과한 것으로는 부족하고 실행 중에도 결과를 계속 점검하는 구조가 필요하다.

AI 에이전트를 제품으로 운영하는 경우의 지연, 비용, 도구 실패, 폴백 설계는 AI 제품 백엔드 안정성과 LLM 평가 프레임워크에서 다룬다.

검증하는 쪽을 만든 쪽과 분리한다

검증을 작업한 세션이 그대로 맡으면 자기 결과를 옹호하기 쉽다. 독립된 평가자를 두는 구조와 그 근거는 하네스 엔지니어링의 「자기 평가 편향」 절에 이미 정리돼 있어 여기서는 다시 쓰지 않는다.

정리

  • 사람의 일은 생산에서 검증으로 옮겨 간다.
  • 모든 중간 산출물을 읽는 대신, 무엇을 직접 볼지와 무엇을 검증 레이어에 맡길지를 나눈다.
  • 검증은 이진 검사, 정량 지표, 정성 루브릭으로 나누고, 결정적으로 판정할 수 있는 부분부터 늘린다.
  • 만드는 시점의 검증으로 끝내지 않고, 결과가 비결정적인 제품이라면 운영 중 검증도 설계한다.
on this page
  • 01왜 읽는 대신 검증하는가
  • 02검증의 세 종류
  • 03만드는 시점과 운영 시점
  • 04검증하는 쪽을 만든 쪽과 분리한다
  • 05정리
tags
#study#insights

이런 글도

  • ai

    하네스 회고는 새 문서로 쌓지 않고 종류에 맞는 기존 단일 소스에 환원한다

    2026.10.02
  • ai

    에이전트가 배운 회피 패턴은 조건을 통과한 것만 파일로 쌓고 주기적으로 지운다

    2026.10.02
  • ai

    ADR 은 되돌리기 어려운 결정의 이유만 남기고, 대안 기각은 옵션마다 줄을 나눈다

    2026.10.02
  • ai

    스킬 문서는 반복 실행을 스크립트로 내리고 같은 지시를 한 곳에서만 소유하게 쓴다

    2026.10.02

댓글 (0)