C23 Fixed Underlying Type와 컴파일러 옵션을 통한 Runtime Error 원천 차단
Enum Type Safety in C
iddqd, 또는 가장 어려운 종류의 unsafe Rust
GAT 기반 값-키 결합 구조로 Unsafe Rust의 Soundness 확보
assert를 반드시 고쳐야 한다
Zig의 unreachable 기반 assert를 통한 런타임 안전성 확보 및 최적화 전략
C의 모든 것은 정의되지 않은 동작이다
C 언어 Undefined Behavior 방지를 위한 엄격한 타입 캐스팅 및 포맷팅 설계
Bun Rust 재작성: "코드베이스가 기본적인 miri 검사에 실패하고 safe Rust에서 UB를 허용"
LLM 기반 100만 줄 규모 Zig $\rightarrow$ Rust 포팅 및 메모리 안전성 확보 시도
GCC 16이 출시됨
GCC 16: start_lifetime_as 도입을 통한 UB 없는 Zero-copy 구현
Rust 1.94 Alignment Panic으로 인한 8.7% 트래픽 손실 및 $240K 피해 사례 분석
War Story: A Rust 1.94 Panic Caused Our API Gateway to Crash During Black Friday Traffic