형식검증
AI가 짠 코드, 수학적으로 증명할 수 있을까: Lean과 함께하는 형식 검증의 실전
AI 코딩 도구가 생성한 코드의 정확성을 보장하기 위해 Lean 같은 증명 보조 도구를 활용하는 반자동 형식 검증 파이프라인과 그 한계를 살펴봅니다.
태그
#코드리뷰
'코드리뷰' 태그가 붙은 글 3개
개발트렌드
LLM과 함께하는 복잡한 주제 공부: 바이브 코딩 시대의 학습법
LLM을 개인 맞춤형 튜터로 활용해 기술 개념을 작은 단위로 분해하고, 연쇄 질문으로 깊이를 확보하는 학습 전략을 알아봅니다. 바이브 코딩 시대에는 구현보다 문제 정의와 설계가 중요해지고, LLM의 결과를 비판적으로 검증하는 능력이 필수 역량으로 떠오릅니다.
코드리뷰
AI 코드 리뷰 도구, 무엇을 자동화하고 무엇을 사람에게 남길까
AI 코드 리뷰 도구가 빠르게 확산되고 있지만, 모든 것을 기계에 맡길 수는 없습니다. 반복적인 패턴 검사와 커버리지는 AI에게, 의도와 맥락, 트레이드오프 판단은 사람에게 맡기는 협업 설계가 필요합니다. 리뷰 결과를 재사용 가능한 지식으로 축적하고, diff 기반 리뷰와 리포트 기반 리뷰의 장단점을 살펴봅니다.