06월에 일어난 일
2026년 6월 5일, Python Steering Council은 CPython JIT 컴파일러 프로젝트에 대해 새로운 기능 개발을 전면 중단시켰. 공식적인 PEP(Python Enhancement Proposal)가 작성 및 채택될 때까지 버그 수정을 제외한 어떠한 기능 최적화도 메인 브랜치에 병합될 수 없다
6월에 발표된 JEP 533(7th Preview)를 통해 Java의 구조적 동시성 모델에서 예외 처리 규칙이 더욱 엄격해
Foxtrot은 고차 동시성 확률 프로그램의 contextual refinement를 증명하기 위한 고차 분리 논리입니다. PLDI 초록은 Foxtrot이 불변식, ghost resource 같은 동시성 분리 논리 기법과, tape presampling 및 error amplification induction 같은 확률 추론 기법을 결합한다고 설명
2026년 6월 9일 Microsoft는 .NET 11 Preview 5를 공개했습니다. 주요 항목에는 System.Text.Json의 JSON Lines 지원, LINQ full outer join, X25519 key agreement, runtime async suspension 개선, SDK의 vulnerability/EOL build check, C#의 closed class hierarchies와 union declarations / union patterns가 포함
PLDI 2026에 등재된 “Code-Specify-Test-Debug-Prove”는 separation logic 기반 단일 specification language를 runtime assertion checking, property-based testing, formal machine-checked proof에 함께 쓰는 접근을 제안
2026년 6월 12일, 미국 상무부의 기습적인 수출 통제 지침으로 인해 론칭 단 3일 만에 Anthropic의 최상위 모델인 Claude Fable 5와 Mythos 5의 서비스가 전면 중단되었다. 표면적인 제재 이유는 제일브레이크를 통한 시스템 코드베이스 취약점 탐지 등 국가 안보 위협.
