오늘 눈여겨본 변화가 실무에 무엇을 요구하는지 핵심만 추려 정리했습니다. 각 항목은 사실을 짧게 밝히고, 한 줄 판단과 이번 주 확인할 일을 남깁니다.

오늘의 핵심

1. 데비안 — LLM 기여를 어디까지 허용할지, 네 개의 안이 올라왔습니다

• 사실: 7월 24일 데비안이 LLM 사용에 관한 일반결의(일반결의 = 전체 투표로 방침을 정하는 공식 절차) 토론을 시작했습니다.
  • 1안(Matthias Geiger) — 사회계약에 금지 조항을 넣습니다. 대상은 패키징·문서·번역·공식 웹 리소스입니다.
  • 2안(Lucas Nussbaum) — 여섯 조건 아래 허용합니다. 도구 약관의 법적 호환성, 라이선스 확인, 제출자의 전적인 책임, Git 트레일러 등을 통한 사용 공개, 대량 기여의 사전 논의, 민감 데이터 보호입니다.
  • 3안(Ian Jackson) — 전면 금지가 비현실적임을 인정하되 자제를 요청합니다. 메시지는 사람이 쓰고, 위반은 행동강령 위반으로 다룹니다.
  • 4안(Pierre-Elliott Bécue) — 데비안 특화 작업에 한해 수용하되 커밋에 AI 사용을 표기하게 합니다.
• 한 줄 판단: 네 안이 갈린 축은 “AI를 쓰느냐”가 아니라 “쓴 사실을 어디에 새기느냐”입니다. 금지를 말하는 건 1안뿐이고, 나머지 셋은 강도만 다를 뿐 공개와 제출자 책임을 나란히 겁니다. 다투는 지점이 허용 여부가 아니라 추적 가능성이라는 뜻이죠. 오픈소스가 라이선스 감사에서 겪은 것과 같은 구조입니다 — 발목을 잡은 건 코드가 아니라 그 출처를 아무도 적어 두지 않은 상황이었습니다.
• 이번 주 할 일: 사내 규칙에 AI 사용을 적는 자리가 커밋 트레일러 수준으로 있는지 확인해 보시길 권합니다 — 리뷰 코멘트에만 남으면 반년 뒤엔 찾을 수 없습니다. 단, 공개를 의무화해도 자기 신고에 기대는 구조라 강제력은 약합니다. 개인 기여자라면 최근 커밋 10건에서 AI가 크게 손댄 게 몇 건인지 세어 보시면 감이 잡힙니다.

2. llama.cpp — 서버가 로컬 MCP 프로세스를 직접 띄웁니다

• 사실: 7월 25일 server: support MCP stdio PR이 병합됐습니다(작성자 ngxson).
  • 그동안 MCP(모델에 외부 도구를 붙이는 개방형 연결 규격)는 WebUI가 프록시로 중계하는 --ui-mcp-proxy 경로뿐이었고, 서버 자체에는 없었습니다. 이제 stdio(표준 입출력으로 프로세스와 직접 주고받는 방식)로 로컬 MCP 서버를 자식 프로세스로 띄우고 그 도구를 /tools에 노출합니다.
  • 설정은 --mcp-servers-config(JSON 파일)와 --mcp-servers-json(인라인) 두 플래그이며, 잠금은 보수적입니다 — 기본 비활성, CORS는 로컬호스트 제한, 실행할 명령은 HTTP가 아니라 운영자의 설정 파일에서만 지정, 인자는 argv 배열로 넘겨 셸 주입을 막습니다.
  • 리뷰에서 13건의 미해결 지적이 남았고, 모두 초기 릴리스로 수용하고 후속 PR로 미뤘습니다. 그중에는 죽은 서버의 재기동 폭주를 막는 쿨다운이 발동하지 않는 문제(최고 심각도), 텍스트 아닌 응답의 조용한 폐기, 서버별 호출 직렬화에 취소 수단 없음이 있습니다.
• 한 줄 판단: 추론 서버가 프로세스를 낳는 순간, 지켜야 할 경계가 하나 늘어납니다. 모델을 돌리고 HTTP로 답하는 데서 끝나던 책임에 프로세스 관리자 역할이 얹혔습니다 — 좀비 프로세스와 타임아웃, 재기동 폭주가 추론 서버의 몫이 되죠. 기본 비활성과 설정 파일 한정은 그 부담을 알고 좁혀 둔 설계로 읽힙니다. 다만 취소할 수 없는 직렬 호출은, 도구 하나가 느려질 때 서버 전체가 같이 느려지는 모양입니다.
• 이번 주 할 일: 셀프호스팅 중이라면 --mcp-servers-* 플래그가 비어 있는지부터 확인해 보시면 좋습니다. 켤 계획이면 취소 없는 직렬화를 전제로 타임아웃을 먼저 정하시길 권합니다. 단, 로컬 stdio는 네트워크 왕복을 없애는 대신 도구 프로세스의 수명 관리를 서버 안으로 끌어들입니다. 개인 기여자라면 PR에 정리된 남은 이슈 목록을 훑어 보시길 권합니다.

3. 개트윅 로봇 주차 — 진짜 명세는 로봇이 아니라 치수 네 줄입니다

• 사실: 7월 23일 런던 개트윅이 영국 공항 최초의 로봇 주차를 Stanley Robotics와 함께 발표했습니다.
  • 남터미널 전용 캐빈에 차를 넣고 예약을 스캔한 뒤 키를 가진 채 나오면, 로봇이 타이어 아래를 들어 통제 구역에 세웁니다. 돌아올 때는 항공편 정보를 보고 미리 꺼내 둡니다.
  • 받아 주는 조건은 축거(앞뒤 바퀴 축 사이 거리) 3.3m·높이 2.3m·휠 지름 21인치·중량 2.6톤 이하이며, 개트윅 안내 페이지는 약 95% 차종이 호환된다고 밝힙니다.
  • 판매는 시작됐고 첫 승객 이용은 8월입니다. 다만 보도자료 하단 주석에 초기 예약 제약이 붙어 있습니다 — 최소 5일 이상 주차·주말 입출차 불가·예약 시간 09~17시이며, 서비스가 확대되면 완화하겠다고 밝혔습니다.
  • ⚠️ 주차면 수와 로봇 대수는 공식 발표에 없습니다.
• 한 줄 판단: 가장 오래 읽힐 문장은 로봇 설명이 아니라 그 아래 붙은 제약 목록입니다. 축거·높이·휠 지름·중량은 사양표가 아니라 거절 조건이고, 조건을 벗어난 차가 캐빈 앞에 서면 자동화는 실패하는 게 아니라 사람이 처리할 예외로 바뀝니다. 돈과 물리가 함께 걸린 시스템에서 스펙 한 줄이 사실상 계약인 이유죠. 초기 제약은 더 솔직합니다 — 주말 불가와 09~17시라는 창은 로봇의 성능 한계라기보다 사람이 지켜볼 수 있는 시간에만 받겠다는 선언에 가깝습니다(추측). 완전 자동화처럼 보이는 서비스가 실은 운영 시간에 묶여 출발한다는 뜻입니다.
• 이번 주 할 일: 물리 자산을 다루는 서비스라면 거절 조건을 예외 처리 코드가 아니라 상품 설명에 적어 두시길 권합니다 — 미리 아는 제약은 클레임이 아니라 선택이 됩니다. 단, 조건을 좁히면 자동화율은 오르지만 받을 수 있는 고객은 줄어듭니다. 개인 기여자라면 담당 기능에서 “이 입력은 받지 않는다”가 어디에 적혀 있는지 찾아보시면 됩니다(로봇 데이터 이야기는 어제 글로 이어집니다).

4. 페트리넷으로 좁힌 LLM 테스트 생성 — 방법은 남고 숫자는 아직입니다

• 사실: 7월 23일 arXiv에 동시성 Rust API 테스트 생성 논문이 올라왔습니다(Kaiwen Zhang·Guanjun Liu).
  • 자유 프롬프트 대신 페트리넷(자원과 사건을 토큰·전이로 그리는 형식 모델)으로 자원·수명주기·인과 의존을 먼저 모델링하고, 거기서 뽑은 시나리오를 제약된 중간 표현으로 LLM에 건네 실행 가능한 테스트로 바꿉니다.
  • 함께 제안한 장치는 의도 훼손을 막는 구조 복구, 충돌 가능성 높은 스케줄을 먼저 시도하는 스케줄 조형, 그리고 생성 실패와 실제 API 위반을 갈라내는 계층형 오라클입니다.
  • ⚠️ 평가 규모가 작습니다. 저자가 직접 “주된 위협은 규모”라고 적었고 대상은 용량 1의 Tokio MPSC 채널 하나입니다. 컴파일 통과·합법 스케줄 2개·실행 3회·발견 없음이 보고된 전부이며 베이스라인 비교와 커버리지 지표는 없습니다.
• 한 줄 판단: 지금 인용할 결과가 아니라, LLM에 무엇을 쥐여 줄지에 관한 사례로 읽는 편이 맞습니다. 대상이 하나면 방법의 우열은 말할 수 없습니다. 그래도 남는 건 구조입니다 — 프롬프트를 다듬는 대신 형식 모델로 좁힌 입력을 주고, 판정은 별도 오라클에 맡겨 “테스트가 잘못 만들어진 것”과 “코드가 잘못된 것”을 분리했습니다. AI를 제품에 넣으려면 역할·입출력·검증 경계가 먼저 있어야 한다는 기준과 같은 모양이죠. 무시해도 될 신호도 분명합니다 — 이 논문의 수치를 도입 근거로 드는 자료가 보이면 그건 논문을 안 읽은 자료입니다.
• 이번 주 할 일: LLM 테스트 생성을 검토 중이라면 프롬프트 개선보다 “무엇을 제약으로 줄 수 있는가”를 먼저 적어 보시면 좋습니다 — 스키마·상태 기계·불변식 중 이미 가진 게 하나는 있습니다. 단, 형식 모델을 앞단에 세우면 신뢰도는 오르지만 모델링 비용이 사람 쪽으로 옮겨 옵니다. 개인 기여자라면 생성 테스트가 실패했을 때 코드 결함인지 생성 실패인지 구분해 주는 장치가 있는지 확인해 보시길 권합니다.

그래서, 무엇이 바뀌나

오늘 네 항목이 경계를 적어 둔 자리는 각각 커밋 트레일러, 설정 파일의 플래그 한 줄, 차량 치수 네 줄, 오라클 계층이었습니다. 기능을 늘리는 쪽보다 자동화가 끝나는 지점을 문서에 못 박는 쪽에 작업이 몰린 하루였죠.

데비안은 AI가 손댄 기여를 되짚을 수 있게 하고, llama.cpp는 도구 실행 권한을 운영자의 파일 안에 가두며, 개트윅은 받지 않는 차를 미리 밝히고, 논문은 생성 실패와 진짜 결함을 갈라놓습니다. 넷 다 실패했을 때 어디를 열어 봐야 하는지를 미리 정해 둔 설계입니다. 공개된 분산 시스템의 역사가 반복해 보여준 것도, 결합을 끊는 일보다 끊긴 자리에 무엇이 남는지 적어 두는 일이 나중을 갈랐다는 쪽이었습니다.

참고 / 출처

• Debian General Resolution: LLM usage in Debian
• llama.cpp PR #26062 — server: support MCP stdio
• London Gatwick × Stanley Robotics — 로봇 주차 공식 발표
• arXiv 2607.21530 — Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs