Dev.toWIP 최적화를 통한 Context Switching 감소 및 Lead Time 단축WIP - Glossário DevOps #1DevOpsbeginner2 분 소요2026년 6월 17일
Dev.toCurry–Howard 대응을 통한 프로그램 정적 검증의 유형론적 구현From Logic to Code: Understanding the Curry–Howard Correspondence in LeanInfrastructureadvanced13 분 소요2026년 5월 18일
GeekNews왜 그냥 Lean만 쓰지 않나요?모멘텀과 Tooling 생태계 기반의 Lean 기반 정형 검증 체계 분석Infrastructureadvanced12 분 소요2026년 4월 29일