Hye Jin Ryoo

[Rust 시스템] Day 5: unsafe, FFI, no_std - 추상화의 밑바닥으로 내려가기

서론: 안전한 추상화의 안쪽 Day 1~4에서 본 Rust의 안전 보장은 결국 어딘가에서 하드웨어·OS·C 라이브러리와 만나야 한다. 그 경계가 unsafe다. unsafe는 “Rust를 끄는 것”이 아니라 “컴파일러가 검증할 수 없는 불변식을 내가 책임진다”는 선언이다. 마지막 편은 이 밑바닥 — unsafe, C 연동(FFI), 그리고 OS도 힙...

Systems, Rust

California AB 2047, 학생·교육자·기업의 3D 프린터 접근 제한 우려

이 글은 GeekNews - 개발/기술/스타트업 뉴스 서비스 블로그에 게시된 글을 자동으로 가져온 것입니다. 더 자세한 내용과 원문은 아래 링크를 참고해 주세요. ➡️ 원문 보러 가기 원문 요약 AB2047은 California에서 3D 프린터에 총기 차단 기술과 주정부 승인 절차를 요구하는 법안으로, Assembly를 통과한 뒤 Senat...

TechInfo

테러와의 전쟁은 미국을 독재에 대비시켰다

이 글은 GeekNews - 개발/기술/스타트업 뉴스 서비스 블로그에 게시된 글을 자동으로 가져온 것입니다. 더 자세한 내용과 원문은 아래 링크를 참고해 주세요. ➡️ 원문 보러 가기 원문 요약 9/11 이후의 테러와의 전쟁을 미국 권위주의 흐름의 출발점으로 보고, January 6th로 이어지는 연결선을 문제 삼음 글은 40세 이상 미국인...

TechInfo

[Rust 시스템] Day 4: async/await와 Tokio - 수만 개의 연결을 한 줌의 스레드로

서론: 스레드만으로는 부족하다 연결마다 스레드를 하나씩 쓰면 수만 개의 동시 연결에서 메모리와 컨텍스트 스위칭이 무너진다. 비동기 모델은 “기다리는 동안” 스레드를 다른 작업에 양보해, 소수의 OS 스레드로 수만 개의 작업을 굴린다. Rust의 async/await는 이 비동기 코드를 동기 코드처럼 쓰게 하면서, Day 1~3의 안전 보장을 그대로 ...

Systems, Rust

VibeThinker-3B: SFT+GRPO로 Opus 4.5 추론 성능을 넘긴 3B 모델

이 글은 GeekNews - 개발/기술/스타트업 뉴스 서비스 블로그에 게시된 글을 자동으로 가져온 것입니다. 더 자세한 내용과 원문은 아래 링크를 참고해 주세요. ➡️ 원문 보러 가기 원문 요약 VibeThinker-3B는 3B 파라미터만으로 검증 가능한 추론을 어디까지 압축할 수 있는지 실험한 소형 밀집 모델임 학습 파이프라인은 Spect...

TechInfo

[Rust 시스템] Day 3: 두려움 없는 동시성 - Send, Sync, 그리고 채널

서론: 컴파일러가 데이터 레이스를 막는다 다른 언어에서 멀티스레드 버그는 재현조차 어렵다. 가끔만 터지고, 디버거를 붙이면 사라진다. Rust는 이 부류의 버그 대부분을 컴파일 시점에 잡는다. Day 1의 빌림 규칙(“불변 다수 XOR 가변 단일”)이 스레드 경계로 그대로 확장되기 때문이다. 그래서 “fearless concurrency(두려움 없는...

Systems, Rust