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 모델, 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에서는 안전한 네트워크에서 업데이트하라는 권고와 패키지 서명 검증 방식을 둘러싼 논의가 이어졌습니다.
보안 공지: Railway 환경 변수 접근 가능성
Railway는 고객 환경 변수를 저장하는 시스템에서 비정상 활동을 발견했으며, 공격자가 암호화된 값과 일부 복호화된 값을 가져갔을 가능성을 알렸습니다. 모든 환경 변수와 자격 증명을 교체하라고 권고하는 한편, 조사 중 배포를 중단했습니다.
DuckDB 2.0.0 LTS “Cinnamon Teal” 출시
DuckDB 2.0.0 LTS가 Quack 클라이언트-서버 연결, 비동기 I/O, VARIANT, 트리거, 확장 가능한 PEG 파서 등을 추가했습니다. 지원 기간은 최소 2027년 10월까지이며, 2.0에서 만든 데이터베이스 파일은 이전 버전으로 열 수 없으므로 업그레이드 전에 검증이 필요합니다.
OrcaCyber Nano 1.0: 로컬 실행을 겨냥한 27B 보안 모델
OrcaRouter가 보안 분석용 27B 비전-언어 모델 OrcaCyber Nano 1.0을 GGUF 형식으로 공개했습니다. llama.cpp에서 오프라인으로 실행하도록 구성했으며, 모델 카드에는 여러 추론·코딩 벤치마크 점수와 하드웨어별 실행 예시가 담겼습니다.
Tiny Little Office — 링크 자체가 문서인 작은 오피스 도구 모음
Tiny Little Office는 문서 내용을 URL에 담아 공유하는 오피스 도구 모음입니다. 텍스트, 스프레드시트, 슬라이드 등 열 가지 앱을 제공하며, 계정이나 서버 저장 없이 문서를 다룹니다.
Recursive Flint: 코딩 에이전트용 398억 파라미터 MoE 모델
Recursive가 코딩 에이전트용 MoE 모델 Flint를 공개했습니다. 총 398억 파라미터 중 토큰마다 약 25억 개를 활성화하며, SWE-bench Pro v2에서 89.7%, SWE-bench Verified에서 74.2%를 기록했습니다. 평가 방식에 따라 점수가 달라질 수 있다는 조건과 함께 체크포인트, SGLang 서빙 키트를 제공합니다.
무료 플랜에서 24시간 동안 배포 146회, 배포를 GitHub Actions로 옮겼습니다
Vercel 무료 플랜의 배포 한도에 걸린 ResuHive 운영자가 GitHub Actions로 배포를 옮겼습니다. 변경된 프로젝트만 배포하고 시간 단위 재시도를 추가해, 문서만 바꾼 커밋은 배포 횟수를 쓰지 않도록 했습니다.
Hoistbay — Amazon S3와 CloudFront용 오픈소스 데스크톱 앱
Hoistbay는 macOS와 Windows에서 S3 파일을 관리하고 CloudFront 캐시를 무효화하는 무료 데스크톱 앱입니다. 파일 패턴별 헤더 규칙을 업로드 때 자동 적용하며, AWS 키는 운영체제 키체인에 저장하고 백엔드와 텔레메트리를 사용하지 않습니다.
Google, TPU용 네이티브 PyTorch 백엔드 TorchTPU 공개
Google이 TPU에서 PyTorch 모델과 연산을 실행하는 오픈소스 백엔드 TorchTPU를 공개했습니다. ATen 커널, XLA 컴파일 캐시, 분산 학습과 torch.compile()을 지원하며, 사용하려면 TPU 환경이 필요합니다.
리누스 토르발스, LLM을 활용한 첫 Linux 커널 패치 공개
리누스 토르발스가 여러 CPU가 같은 파일을 읽을 때 발생하는 캐시 경합 문제를 다룬 패치를 개발 브랜치에 올렸습니다. 합성 벤치마크에서 23배 빨라졌지만 실제 부하에서는 이보다 효과가 훨씬 작을 것이라고 밝혔습니다.
NixOS를 쓰면서 새로운 서비스를 덜 망설이게 됐습니다
NixOS 설정으로 FreshRSS를 백업까지 포함해 9줄의 Nix 코드로 배포한 경험을 소개합니다. 설정을 다시 실행해 같은 환경을 복구할 수 있다는 점이 유지보수 부담을 낮춰 새로운 서비스를 시험하는 데 도움이 된다는 이야기입니다.
Apple이 iPad의 필수 발표 기능을 망가뜨렸습니다
iPadOS 27에서는 AirPlay로 발표 화면을 외부 디스플레이에 띄운 상태에서 다른 앱을 누르면 iPad 전체 화면이 외부 화면에 나타납니다. 강의 중 발표자 노트나 공개 전 설문 결과가 노출될 수 있어, 글쓴이는 발표 앱이 종료될 때까지 외부 화면을 계속 제어하도록 바꾸자고 제안합니다.