LLM으로 대규모 소프트웨어 정형 검증이 현실에 가까워지고 있습니다
Anthropic과 Theorem은 Claude를 사용해 OSS-Fuzz 대상 123개 오픈소스 라이브러리의 239개 테스트 진입점을 RISC-V 바이너리 수준에서 검증했습니다. 입력 크기와 실행 환경에 조건을 둔 결과이며, 증명 과정에서 장기간 발견되지 않은 버그도 찾아냈습니다.
개발·오픈소스 · 최신기사
개발 도구와 언어, 웹 기술과 오픈소스 프로젝트의 변화를 다룹니다.
Pangolin 1.25: 리디렉션, mTLS, 머신 클라이언트 역할
Pangolin 1.25는 HTTP 리디렉션과 공개 리소스의 mTLS, 머신 클라이언트 역할을 추가했습니다. 부하 분산 방식 선택, 리소스의 YAML 청사진 내보내기, 비공개 HTTP 요청의 사용자 식별 헤더 전달과 자격 증명 재생성도 지원합니다.
DuckDB 2.0.0 LTS “Cinnamon Teal” 출시
DuckDB 2.0.0 LTS는 비동기 I/O, VARIANT, 트리거, 확장 가능한 SQL 파서와 에이전트 모드를 추가한 기능 중심 릴리스입니다. 지원 기간은 2027년 10월까지이며, 데이터베이스 파일의 하위 버전 호환성과 운영 전 테스트 등 마이그레이션 조건도 함께 안내합니다.
OpenShell: 자율 AI 에이전트 여러 대를 위한 안전한 프라이빗 런타임
NVIDIA OpenShell은 자율 AI 에이전트를 격리된 샌드박스에서 실행하고 파일, 시스템 호출, 네트워크 접근을 정책으로 통제하는 런타임입니다. 커널 수준의 런타임 검사와 정책 변경 전 형식 검증을 내세우며, 댓글에서는 자격 증명 보호와 데이터 유출 통제에 대한 기대와 우려가 함께 나왔습니다.
Markdown이 새 실행 파일이 됐다: 웹에서 다운로드 폴더로 AI 에이전트 지침을 심는 공격
Forever Security는 실제 고객 PC의 Downloads 폴더에서 악성 AGENTS.md를 발견하고 Codex와 Claude Code에서 공격을 재현했습니다. 웹에서 받은 지침 파일을 에이전트가 신뢰해 설정을 바꾸거나 코드를 실행할 수 있으며, 실험 성공률과 고객 원격 측정치는 회사가 보고한 범위입니다.
eMudhra 인증서 키 유출, 구버전 uv·certifi·pip 등에 영향
eMudhra 인증기관의 개인 키가 노출돼 관련 CA 인증서를 신뢰 저장소에서 제거해야 하는 보안 사고가 발생했습니다. pip 26.2.2 이상으로 올리고, uv와 certifi를 갱신하며 컨테이너 이미지도 다시 빌드해야 합니다.
OpenAI API용 공식 CLI
OpenAI가 REST API를 명령행에서 호출하는 공식 CLI를 공개했습니다. 리소스별 명령과 JSON 변환, 파일·이미지 처리, 셸 자동 완성 등을 제공하며 Codex와는 용도가 다릅니다. Go 1.26 이상 또는 Homebrew로 설치할 수 있습니다.
Claude Duet
Anthropic이 메시지로 업무를 맡기면 백그라운드에서 처리하고, 매일 아침 브리핑과 승인 요청을 보내는 상시형 에이전트 Claude Duet을 공개했습니다. 미국 Pro·Max 구독자를 대상으로 대기자 명단을 운영하며, 사용량은 기존 Claude 한도와 공유합니다.
부모님 TV에서 넷플릭스 전에 광고가 나와 AI 에이전트로 고쳤습니다. 나흘 만에 GitHub 스타 1만6천 개를 받았습니다
CleanYourTV는 Android TV와 Google TV에서 제조사 광고·추적 앱을 비활성화하고 기본 홈 화면을 대체하는 오픈소스 도구입니다. ADB와 코딩 에이전트를 이용하며, 변경 전 상태를 기록하고 복구 스크립트로 되돌립니다. 기기별 패키지 목록과 안전 검사를 함께 제공합니다.
OpenAI 모델, Google Cloud에 들어온다
OpenAI 모델과 Codex 에이전트 워크플로가 Google Cloud의 Model Garden에 제공될 예정입니다. 고객은 Google Cloud Marketplace에서 구매하고 기존 GCP 지출 약정액을 사용할 수 있습니다. 일반 제공은 수주 안에 시작할 계획입니다.
mitmproxy에 --emudhra 옵션 추가
mitmproxy가 유출된 eMudhra 인증기관(CA) 중간 인증서의 개인 키로 TLS 인증서를 서명하는 --emudhra 옵션을 추가했습니다. 취약한 인증서를 아직 신뢰하는 기기와 앱의 통신을 테스트할 때 쓰며, 인증서 고정이나 폐기 확인 여부에 따라 동작 범위가 달라집니다.
Rustup 1.29.2 출시, 신뢰할 수 있는 네트워크에서 업데이트하세요
Rustup 1.29.2는 eMudhra 중간 인증서 문제(CVE-2026-111943)에 대응해 rustls-webpki와 webpki-root-certs 의존성을 업데이트합니다. 기존 사용자는 rustup self update 또는 rustup update로 갱신할 수 있으며, Reddit에서는 안전한 네트워크에서 업데이트하라는 권고와 패키지 서명 검증 방식을 둘러싼 논의가 이어졌습니다.
reception — 이탈을 줄이는 네이티브 iOS 지원 채팅
reception은 Swift, React Native, Expo 앱에 넣는 네이티브 인앱 지원 채팅입니다. 문서 기반 AI 답변과 상담원 인계, 팀 공용 받은편지함을 제공하며 채팅에서 오퍼와 페이월을 보낼 수 있다고 소개합니다.
보안 공지: Railway 환경 변수 접근 가능성
Railway는 고객 환경 변수를 저장하는 시스템에서 비정상 활동을 발견했으며, 공격자가 암호화된 값과 일부 복호화된 값을 가져갔을 가능성을 알렸습니다. 모든 환경 변수와 자격 증명을 교체하라고 권고하는 한편, 조사 중 배포를 중단했습니다.
Sage-A1.5: 장기 과학 과제를 위한 35B 에이전트 모델
Shanghai AI Laboratory의 Agents-A1을 바탕으로 만든 35B Mixture-of-Experts 모델 Sage-A1.5가 공개됐습니다. 병렬 하위 에이전트 조율과 선택형 자기 검증 기능을 제공하며, 모델 카드에는 여러 과학·코딩·에이전트 벤치마크 점수와 SGLang·vLLM 실행 방법이 담겼습니다.
SlothFinance: 구독료 누수를 찾고 해지 문안을 만드는 오픈소스 AI
SlothFinance는 은행 거래 CSV에서 반복 결제와 요금 인상을 찾아 구독료 누수를 보여주는 프로젝트입니다. 글은 TabPFN-3.5로 거래 패턴을 분석하고 Gemma 2로 요약과 해지 문안을 생성한다고 설명하지만, 완전한 로컬 처리라는 주장과 서버 배포 설정 사이의 관계는 분명히 밝히지 않습니다.
bonds — 모든 친구 채팅방에 초능력 AI 친구가 생긴다
bonds는 친구 채팅방마다 AI 친구 bondi를 두고, 대화에 맞춘 게임과 챌린지, 사진 앨범 등을 함께 만들게 하는 메시징 앱입니다. 창업자들은 bondi가 그룹의 말투와 농담을 익히고 먼저 반응하는 생성형 UI를 내세우며, Product Hunt 댓글에서는 개인정보 설정과 채팅방 정리 문제가 제기됐습니다.
Google의 Rust 스타일 가이드
Google의 Rust 스타일 가이드는 포맷뿐 아니라 API 설계와 코드 구조까지 다룹니다. 대규모 코드 변경과 장기적인 유지보수를 고려해 일관된 관례를 제시하며, 라이브러리 코드와 애플리케이션 코드에 서로 다른 수준의 권고를 적용합니다.
DuckDB 2.0.0 LTS “Cinnamon Teal” 출시
DuckDB 2.0.0 LTS가 Quack 클라이언트-서버 연결, 비동기 I/O, VARIANT, 트리거, 확장 가능한 PEG 파서 등을 추가했습니다. 지원 기간은 최소 2027년 10월까지이며, 2.0에서 만든 데이터베이스 파일은 이전 버전으로 열 수 없으므로 업그레이드 전에 검증이 필요합니다.
Spark-X2.6-4B: 온디바이스 배포용 4B 언어 모델
SparkLLM이 Spark-X2.5-4B와 같은 아키텍처를 유지하면서 후처리를 개선한 Spark-X2.6-4B를 공개했습니다. 코딩, 에이전트 작업, 긴 문맥 처리 성능을 높였다고 설명하며, 추론 수준을 none, low, high로 설정하는 기능과 여러 로컬 실행 경로를 제공합니다.