java3 에이전트 시대. 다음 개발 패러다임은 무엇일까 — SDD, 검증 1급, 그리고 하네스 코딩 에이전트가 개발 방식을 흔들고 있는데 새 패러다임이 안 보인다고 느낀 적 있다면 이 글이 도움될 수 있다. 절차지향에서 OOP, FP로 이어진 흐름의 다음은 무엇인지, SDD와 Dafny 같은 검증 도구가 왜 부상하는지, Java/Spring 개발자 입장에서 어떻게 흡수할지 정리했다.1. 움직임은 있지만, 결이 다르다2. 그럼 앞으로 어떻게 될까3. "검증이 1급 시민"이라는 게 정확히 뭘까4. SDD 도구들의 현재 상태5. Dafny — 부재단정의 근본 해결책6. FP의 길을 따라간다7. SDD 도구는 결국 하네스다8. Java/Spring 환경에서 지금 시작하기마무리1. 움직임은 있지만, 결이 다르다프로그래밍 패러다임은 계속 바뀌어왔다. 절차지향 → OOP → FP. 그렇다고 절차지향이 사라진 .. 2026. 5. 12. iOS WebView 파일 업로드 확장자 누락 — 매직 바이트로 해결한 방법 프로덕션 DB에서 파일 URL이 uuid.으로 끝나는 레코드 2,700건을 발견했습니다. 확장자가 통째로 사라진 겁니다. 원인은 iOS WebView의 파일 업로드 방식에 있었고, 서버 측 확장자 추출 로직이 이를 전혀 대비하지 못하고 있었습니다. 이 글에서는 원인을 추적한 과정과, 파일명 → Content-Type → 매직 바이트 3단계 폴백으로 해결한 방법을 공유합니다.📑 목차들어가며1. 원인 추적 — 왜 확장자가 사라졌는가2. 기존 코드의 문제점 — lastIndexOf(".")의 함정3. 해결: 3단계 확장자 감지 전략4. 매직 바이트란? — 파일 시그니처 기초5. Java 구현 — resolveExtension 완성 코드6. 추가 개선 — URL 선택 로직도 확장자 기반으로마무리참고 자료들어가.. 2026. 3. 26. Claude Code에 Serena MCP 연동하기 - Java/TypeScript LSP 설정 grep 방식의 한계를 넘어, Serena MCP로 LSP 기반 심볼 탐색을 Claude Code에 연동하는 방법을 Java/TypeScript 프로젝트 기준으로 설치부터 실전 활용까지 정리했습니다.목차들어가며 - grep의 한계전체 구조 이해하기설치 및 MCP 등록프로젝트 추가하기Language Server 설정설정 파일 직접 편집하기Project Server 시작하기주요 도구 정리매일 시작하는 순서트러블슈팅마무리들어가며 - grep의 한계한 줄 요약: Serena MCP를 Claude Code에 연동하면 grep 대신 LSP 기반 심볼 검색으로 대형 Java/TypeScript 코드베이스를 훨씬 정확하게 탐색할 수 있습니다. Claude Code로 레거시 코드를 보다 보면 어느 순간 이런 상황이 옵니.. 2026. 3. 7. 이전 1 다음
