태그: #memory-safety
GPU·LLM·MLOps·쿠버네티스, 그리고 마음가짐에 관한 글 · 5 편
러스트 표준 라이브러리 검증 캠페인이 찾아낸 메모리 안전성 버그는 0개였다
AWS와 Rust Foundation이 주도한 verify-rust-std 캠페인의 결과 논문이 2026년 NASA Formal Methods Symposium에 실렸습니다. 저자들이 "소프트웨어 라이브러리를 대상으로 보고된 것 중 가장 큰 검증 캠페인"이라 부르는 이 작업은 자동 생성 하네스 16,748개를 만들어 11,970개를 통과시켰지만, 표준 라이브러리에서 알려지지 않은 메모리 안전
2026-07-16 · 48 분 읽기 #formal-methods#rust#verification#memory-safety#testingRust와 시스템 프로그래밍의 귀환 완전 정복 — Ownership, Borrowing, Lifetime, Trait, Async, Tokio, Cargo, WebAssembly (2025)
Rust는 왜 8년 연속 "가장 사랑받는 언어"인가? Graydon Hoare의 개인 프로젝트에서 Linux 커널까지, Ownership & Borrowing의 혁명, Lifetime의 마법, Trait System, Zero-cost abstractions, Tokio 비동기 런타임, Cargo의 완벽함, Firefox/swc/Turbopack/Deno가 Rust를 선택한 이유, Lepto
2026-04-15 · 22 분 읽기 #rust#systems-programming#memory-safety#tokio#webassemblyRust 소유권과 빌림 체커 완벽 가이드 — Move, Borrow, Lifetime, Drop, Send/Sync, Pin, NLL, Polonius (2025)
Rust 소유권 시스템의 모든 것 — 1999년 Cyclone에서 출발한 affine type 이론, 소유권 이전과 move semantics, 공유/가변 borrow의 XOR 규칙, lifetime annotation과 elision, Non-Lexical Lifetimes(NLL)과 Polonius 차세대 체커, RAII와 Drop trait, Box/Rc/Arc/RefCell 같은 sm
2026-04-15 · 52 분 읽기 #rust#ownership#borrow-checker#lifetime#memory-safetyRust 완전 가이드 — Ownership·Lifetime·async·Tokio·Axum·실전 프로젝트까지 (Season 2 Ep 2, 2025)
Rust를 "안전하고 빠른 C++"로만 이해하면 절반만 보는 것이다. Rust는 Ownership·Borrowing·Lifetime이라는 세 가지 제약을 통해 데이터 경쟁을 컴파일 타임에 제거하고, Zero-cost Abstraction으로 추상화 비용을 없앤 언어다. 이 글은 Rust 입문자가 가장 자주 막히는 Ownership 이해, 중급자가 가장 자주 실수하는 Lifetime 설계, 고
2026-04-15 · 22 분 읽기 #rust#ownership#borrowing#lifetime#asyncRust 프로그래밍 입문 가이드 — 소유권, 라이프타임, 안전한 시스템 프로그래밍
왜 Rust인가? 소유권 시스템, 라이프타임, 패턴 매칭, 에러 처리, 비동기, Cargo까지. C/C++을 대체하는 안전한 시스템 언어.
2026-04-12 · 27 분 읽기 #ai#rust#programming#systems#ownership