[Proof] MariaDB 스냅숏 격리를 끄면 낙관락 catch가 동작하는가 — 지지
제목 끝의 「지지」는 판정이다. 증명 글은 실험 결과가 주장을 받쳐 주면 지지(supported), 주장을 뒤집으면 반증(refuted), 어느 쪽인지 가를 수 없으면 판정 불가(inconclusive)라고 적는다. 이 글은 지지다.
[Proof] 금지한 Lombok 어노테이션을 기계로 막을 수 있는가
이 글은 「규칙을 사람 대신 기계가 지키게 할 수 있는가」를 실제로 돌려 본 기록이다. 먼저 단어부터 정리하고, 왜 이 실험을 했는지로 넘어간다.
[Explain] 규칙 전달 경로: AI가 우리 팀 규칙을 언제 읽게 할 것인가
무슨 일이 벌어지나 — 규칙을 적어 뒀는데 AI가 안 읽고 코드를 썼다
[Coding Standard] 규칙 전달 경로: 코딩 표준은 무엇을 타고 Claude에게 닿는가
배포본의 자바 규칙은 50개 SKILL.md에 있었다. 스킬은 이름과 설명만 먼저 들어오고 본문은 Claude가 부르기로 판단해야 들어온다. Controller를 새로 만들면서 DTO 표준을 안 부르면 그 코드는 표준 없이 쓰인다.
[Plan] 글은 읽는 사람에 맞춰 쓴다: AI가 찾아 읽는 글과 사람이 배우는 글을 나눴다
이 블로그에는 글이 빠르게 늘고 있다. 코딩 스탠다드(여러 프로젝트에서 코드를 같은 방식으로 짜기 위해 정해 둔 규칙을 설명한 글)가 53편, 그 규칙이 맞는지 작은 프로그램을 만들어 실제로 실행해 본 증명 글이 19편이다. 이 글들은 대부분 AI 프로그램이 나와 대화하며 함께 쓰...