단고 데일리
개발자를 위한 AI 및 테크 뉴스, 한 꼬치에 쏙.
홈
이벤트
소비자 테크
언어
튜토리얼
아카이브
RSS
🔍
🇨🇳
🇬🇧
🇯🇵
🇰🇷
🇪🇸
🇫🇷
🇩🇪
#소프트웨어 공급망 보안
1 개 글 ·
모든 태그
📡 Events
October 23, 2026
Opus 5.5, 1.8억 행의 형식적 증명으로 123개 오픈소스 라이브러리 커버
형식 검증
LLM
Anthropic
소프트웨어 공급망 보안
검색
×
×
