【Lean 최적화】 약 40분 걸리던 CI를 극적으로 개선한 이야기

Lean 4 기반의 수학 라이브러리 프로젝트에서 40분 이상 소요되던 CI 빌드 시간을 12분 이내로 단축한 최적화 과정을 다룹니다. 가설 검증과 계측을 중심으로 문제를 해결했으며, 이 과정의 상당 부분을 AI 에이전트를 활용해 수행한 사례를 소개합니다.

Notion AI vs. Microsoft Copilot: 새로운 Notion 커넥터가 실제로 바꾸는 것

Notion AI와 Microsoft Copilot의 차이점을 분석하며, Microsoft의 새로운 Notion 커넥터 출시로 인한 변화를 다룹니다. Notion AI는 워크스페이스 내부 데이터 활용에 특화되어 있고, Copilot은 Microsoft 365 생태계 전반을 아우르는 에이전트 기능을 제공합니다.

나는 매주 에이전트를 통해 AI 어시스턴트의 로그를 검토합니다. 그 프로세스를 소개합니다.

내부 AI 어시스턴트의 성능 개선을 위해 에이전트를 활용하여 매주 전체 로그를 자동 검토하는 프로세스를 소개합니다. 로그 분석을 통해 세션 품질을 평가하고, 구체적인 개선 제안을 도출하며, 사용자 프로필을 생성하는 워크플로우를 설명합니다.

내 에이전트 설정의 대부분은 더 이상 존재하지 않는 버그를 수정하는 것이었다

에이전트 설정 파일(CLAUDE.md)의 과도한 규칙이 오히려 불필요한 부채가 될 수 있음을 경고합니다. 설정에는 유통기한이 있으며, 주기적으로 설정을 초기화하여 실제 필요한 규칙만을 남기는 과정이 중요함을 강조합니다.

Claude에서 여러 모델의 에러율 상승 인시던트 발생, 모니터링 중

환각으로 생성된 SQLite 취약점에 Critical CVE가 발급됨

LLM의 환각 현상으로 인해 존재하지 않는 SQLite 취약점에 Critical CVE가 발급되는 사례가 발생했습니다. 이는 보안 담당자의 생산성을 저해하고 시스템 신뢰도를 떨어뜨리며, 향후 에이전트를 통한 자동 검증 체계와 CVE 시스템의 근본적인 변화가 필요함을 시사합니다.

메모리 월 (The Memory Wall)

AI 에이전트가 소프트웨어 개발 작업에서 낮은 성공률(2.5%)을 보이는 근본 원인인 '맥락(Context)의 부재' 문제를 분석합니다. 단순한 코드 생성을 넘어, 시스템의 의존성과 제약 조건을 이해하는 명세 및 스킬 레이어의 중요성을 강조합니다.

다중 지역 SEO를 위한 지리적 페이지 구조화 방법

다중 지역 비즈니스를 위한 효율적인 SEO 페이지 구조화 전략을 다룹니다. 키워드 카니발라이제이션과 빈약한 콘텐츠 문제를 방지하기 위해 허브 앤 스포크 모델과 스키마 마크업 활용을 권장합니다.

GPT-5.6 출시 — 15분 만에 단 하나의 작업으로 최고의 GPT를 검증하는 방법

OpenAI의 GPT-5.6 출시와 관련하여, 단순히 모델의 성능 순위에 의존하기보다 실무 워크플로에 적합한지 검증하는 '수락 테스트(acceptance test)' 방법론을 제안합니다. 15분 내외의 짧은 시간 동안 주요 케이스, 임계 제약 조건, 수정 루프를 설정하여 모델의 실질적 신뢰도를 평가할 것을 권장합니다.

Go와 Svelte로 작성된 Agent 멀티플렉서: 사이드바에서 프로젝트를 관리하고 탭에서 다양한 Agent CLI를 실행하여 창 전환 없이

Go와 Svelte를 사용하여 개발된 Agent 멀티플렉서 도구입니다. 사이드바를 통한 프로젝트 관리와 탭 기반의 CLI 실행을 지원하여 창 전환의 번거로움을 줄여줍니다.

Windows Hello를 지원하지 않는 컴퓨터에서도 얼굴 인식 잠금 해제 가능: 화면 잠금 후 카메라를 바라보기만 하면 시스템 접속, 로컬

Windows Hello를 지원하지 않는 PC에서도 카메라를 통해 얼굴 인식으로 잠금을 해제할 수 있는 기술이 소개되었습니다. 로컬 및 Microsoft 계정 모두 지원하며, 보안을 위해 눈 깜빡임 감지 및 안티 프라우드 기술을 적용했습니다.

LoongArch LSX 최적화 및 Use-After-Free 수정 사항을 포함한 zlib-rs 0.6.7 출시

zlib-rs 0.6.7 버전이 출시되었습니다. 이번 업데이트에서는 Use-After-Free(UAF) 보안 취약점을 수정하였으며, LoongArch64 LSX를 활용한 SIMD 최적화를 통해 성능을 개선했습니다.

Bonsai: Jane Street의 UI 라이브러리

Jane Street에서 사용하는 OCaml 기반의 반응형 UI 라이브러리인 Bonsai를 소개합니다. Elm의 영향을 받아 순수 함수형 상태 머신을 통해 컴포넌트를 구현하며, 증분 처리(Incrementalization) 기술로 성능을 최적화합니다.

Claude Code, Codex, Gemini를 포함한 12개의 AI 코딩 에이전트를 Visual Studio Code 내에서 팀으로서

Claude Code, Codex, Gemini 등 12개의 AI 코딩 에이전트를 Visual Studio Code 환경에서 하나의 팀처럼 협업하도록 오케스트레이션하는 기술을 소개합니다.

Skillware 0.4.8 — 모든 에이전트를 위한 오프라인 프롬프트 인젝션 방화벽 (Offline Prompt Injection

Skillware v0.4.8이 에이전트 보안을 위한 오프라인 프롬프트 인젝션 방화벽 스킬을 출시했습니다. LLM을 사용하지 않는 결정론적 휴리스틱 방식을 통해 외부 데이터로부터 유입되는 악의적인 지침을 로컬에서 즉시 탐지하고 차단합니다.

실제로 작동하는 에이전트는 모델에 대해 논쟁하지 않습니다. 그 이유를 알아봅시다.

실제 프로덕션 환경에서 AI 에이전트의 성공은 모델의 성능보다 에이전트를 둘러싼 '하네스(harness)' 시스템에 달려 있습니다. 모델은 추론을 담당하지만, 상태 관리, 검증, 컨텍스트 로딩 등 실행의 안정성을 확보하는 것은 하네스 엔지니어링의 역할입니다.

스마트폰 AI 에이전트가 WHOIS를 통해 서브도메인 탈취(Subdomain Takeover) 위험을 감지할 수 있을까?

스마트폰에서 실행되는 로컬 AI 펜테스팅 에이전트 Nightcrawler의 연산 한계를 극복하기 위해 Domain WHOIS API를 활용하는 방법을 소개합니다. API를 통해 DNS 및 WHOIS 데이터를 효율적으로 가져와 서브도메인 탈취 위험을 신속하게 식별할 수 있습니다.

Claude AI 실전 활용: 더 빠르고, 검토되었으며, 문서화된 코드

Claude AI를 활용하여 코드 작성, 검토, 문서화 프로세스를 최적화하는 실전 방법을 소개합니다. 개발자는 반복적인 작업을 AI에게 맡김으로써 아키텍처와 보안 등 핵심적인 설계 작업에 더 집중할 수 있습니다.

Claude AI를 사용하여 코드 작성, 리뷰 및 문서화를 더 빠르게 수행하는 방법

Claude AI를 페어 프로그래머로 활용하여 Rust 기반 Soroban 스마트 컨트랙트 개발 속도와 품질을 높이는 실무 가이드를 제공합니다. 코드 생성, 문서화, 보안 리뷰 단계에서 Claude를 엔지니어링 파트너로 통합하는 구체적인 워크플로우를 다룹니다.

Claude, Codex, 그리고 Hermes 에이전트 워크플로우에 165가지 증거 기반 교육 기술을 설치합니다.

Claude, Codex, Hermes 에이전트 워크플로우에 165가지의 증거 기반 교육 기술을 적용하는 방법을 다룹니다. 에이전트의 성능을 교육학적 관점에서 최적화하는 기술적 접근을 제시합니다.