Dev.toElixir 1.20: Inference-first 접근을 통한 Best-effort Soundness 구현Elixir 1.20 has a type system now: comparing it with Rust and TypeScriptBackendintermediate20 분 소요2026년 6월 20일
GeekNewsiddqd, 또는 가장 어려운 종류의 unsafe RustGAT 기반 값-키 결합 구조로 Unsafe Rust의 Soundness 확보Databaseadvanced20 분 소요2026년 6월 3일