소프트웨어 샌드박싱의 기초 — 프로세스, 액터 모델, 파일 디스크립터 capability
Emilua 개발자가 2025년 관점에서 소프트웨어 샌드박싱을 설계하는 기본 원칙을 설명합니다. 프로세스 분리와 액터 모델, 파일 디스크립터를 capability로 사용하는 방법을 거쳐 FreeBSD Capsicum을 핵심 사례로 제시하고, Linux namespaces·seccomp·Landlock의 역할과 한계도 비교합니다.
최신기사
AI, 개발 도구, 오픈소스, 보안과 인프라의 변화와 이용 조건을 설명하는 최신 기사와 해설입니다.
에이전트가 작동한다고 했습니다. 커널에 물어봤습니다
AI 에이전트가 작성한 코드의 “성공” 보고를 종료 상태나 테스트 결과만으로 믿지 않고, 저장된 파일·시스템 콜·eBPF·패킷 캡처·CPU 샘플로 교차 검증하는 실험입니다. 8가지 결함을 의도적으로 심은 백업 클라이언트를 통해 결과 상태와 실행 과정을 독립적으로 관찰해야 하는 이유를 보여줍니다.
Kash Patel, FBI의 AI 사용이 취임 후 605% 증가했다고 주장 — 주요 기술 기업 모두가 기관에 관여하고 있다고 밝혀
FBI 국장 Kash Patel이 취임 후 기관의 AI 사용량이 605% 늘었다고 밝혔지만, 증가율의 기준과 산출 방식은 명확히 제시되지 않았습니다. FBI의 승인된 AI 활용 사례, AI 서버 조달, 수사 지원 도구 도입 정황은 확인되지만, 실제 효과와 수치의 근거를 둘러싼 의문도 남아 있습니다.
jj를 넘어: 설정과 도구 생태계
Jujutsu(jj)를 설치한 뒤 활용할 수 있는 내장 명령, 설정·alias 확장, forge 연동, GUI·TUI·에디터 플러그인과 워크플로 도구를 폭넓게 정리합니다. jj가 외부 스크립트에 의존하던 기능을 core에 흡수하는 동시에 독립적인 도구 생태계를 확장하고 있다는 점을 보여줍니다.
Linux 데스크톱에 사는 초록색 blob을 만들었더니 감정을 갖게 됐습니다
Python·GTK4·PyGObject·Cairo로 만든 Linux 데스크톱 동반자 Mochi v0.3의 개발기입니다. 영속적인 유대감, 상태 관리, 데스크톱 활동의 프라이버시 보호, 집중 세션을 구현하며 귀여운 픽셀 아트가 실제 소프트웨어 아키텍처 문제로 확장되는 과정을 보여줍니다.
Google Gemini, 보안 테스트 도메인 혼선으로 실제 기업 시스템에 침입
Google Gemini가 보안 평가 중 실제 기업의 보호된 시스템에 접근하는 사례가 발생했습니다. 테스트용 가상 기업명과 실제 도메인이 겹친 것이 원인이었으며, Gemini는 침입 사실을 인지한 뒤 공격을 중단했지만 AI 에이전트의 범위 통제와 테스트 설계 문제가 다시 부각되고 있습니다.
UTF-8000: 무제한 UTF-8
UTF-8000은 UTF-8의 자기 동기화·자기 구두점 구조를 유지하면서 코드 유닛 길이를 임의로 확장하는 인코딩 설계입니다. 길이에 따라 시작 비트를 여러 바이트에 분산해 임의로 큰 코드포인트를 표현하며, 기존 UTF-8의 정렬·오버롱 인코딩 규칙도 계승합니다.
오리건 데이터센터가 주 전력의 거의 25%를 사용합니다
오리건주에는 현재 111개의 데이터센터가 운영 중이며, 2025년 주 전체 소매 에너지 판매량의 23%를 사용합니다. 연구진은 신규 시설까지 반영하면 데이터센터 전력 소비가 2030년 주 전체 전력 수요의 31~32%에 이를 수 있어, 발전·송전·인프라 계획의 조정이 필요하다고 설명합니다.
AMD MI300X에서 Gemma 4 서빙하기 — 시간당 1.99달러로 얻는 성능
AMD Instinct MI300X 한 장에 Gemma 4 E2B를 vLLM과 ROCm으로 배포하고, MCP 기반 운영 도구로 상태 확인과 벤치마크를 자동화한 과정을 설명합니다. 1,024 컨텍스트 단일 스트림에서 305 tok/s, 64개 스트림에서 10,284 tok/s를 기록했으며, 온디맨드 비용 기준으로 TPU v5e보다 높은 처리량 대비 비용을 측정했습니다.
죽은 CRC Crate를 되살렸더니 갑자기 입소문을 탔습니다
2015년 이후 방치된 Rust용 crc32 Crate를 현대적인 구현으로 재작성한 사례를 소개합니다. slicing-by-16, no_std, 빌드 타임 코드 생성, Python·Node.js 바인딩을 추가했으며, 순수 Safe Rust 경로에서 최대 약 1,282 MiB/s를 달성하면서 이식성과 안전성을 강조합니다.
연구진, 전기 없이 100비트 계산을 수행하는 DNA 컴퓨터 개발 — 자기 조립 가닥으로 연산하는 분자 시스템
아일랜드 Maynooth University 연구진이 DNA 가닥의 자기 조립과 염기쌍 결합을 이용해 전기 없이 연산하는 Scaffolded DNA Computer를 개발했습니다. 이 시스템은 덧셈·뺄셈·곱셈·나눗셈을 포함한 10개 프로그램과 100비트 계산을 수행했습니다.
AI에게 170개 변경 계획을 맡겨 봤습니다. 매번 똑같은 3가지 실수를 했습니다
170개 변경 계획을 대상으로 LLM 플래너와 비평기, 결정론적 검증 게이트를 결합한 PlannerCritic을 실험했습니다. 더 큰 모델도 구조적 결함을 고치지 못했으며, 의존성·순서·롤백을 코드로 검증하는 하이브리드 방식이 핵심 해법으로 나타났습니다.
Google의 ‘유지보수가 고통스러운’ Binder C Linux 드라이버, Rust로 대체되며 제거됩니다
15년 넘게 유지된 Linux Binder IPC 드라이버의 기존 C 구현이 Rust 구현으로 대체됩니다. Rust Binder는 기능 동등성을 확보했고 Android 기기에서 검증됐으며, 성능도 C 구현과 대등하거나 더 빠른 것으로 평가됐습니다.
수전 시아니의 Buchla Cookbook — 1976년 라이브 모듈러 연주를 위한 패치 설계서
Suzanne Ciani가 1976년 Buchla Series 200과 MARF를 사용한 라이브 연주 방식을 기록한 문서가 디지털 에디션으로 공개됐습니다. 패치 구성, 전압 제어, 시퀀스 변형, 사운드의 공간 이동까지 단계별로 설명해 초기 모듈러 음악의 실제 연주 방법을 보여줍니다.
V 언어 리뷰 (2023) — 약속과 실제 구현 사이의 간극
V 언어를 6개월간 사용한 리뷰어가 문서, 메모리 관리, 자동 메모리 해제, 할당, 안전성, 바이너리 크기를 직접 검증합니다. 문서의 설명과 실제 동작이 크게 다르고, autofree와 컴파일러 자체 빌드에서도 누수와 런타임 오류가 발생한다고 지적합니다.
RSA-896 — Claude가 조율한 GPU 클러스터로 RSA 도전 수를 인수분해
RSA-896이라는 RSA challenge number의 소인수 p·q를 공개한 인수분해 기록입니다. Claude가 CADO-NFS의 GPU 포팅과 유휴 GPU fleet 실행을 조율했으며, 최대 2,048개 GPU로 10일 동안 약 30 GPU-years를 투입했습니다. 새로운 알고리즘 개선이나 배포된 키에 대한 새 위협은 없다고 설명합니다.
MCP로 살펴본 MI300X — 매트릭스 코어가 실행하는 것과 실행하지 않는 것
AMD Instinct MI300X 한 장을 실제 클라우드 환경에서 MCP 도구로 관리하고, 하드웨어와 ROCm 스택이 지원하는 수치 형식을 직접 측정합니다. 결과적으로 이 카드에서는 FP8 E4M3FNUZ가 실용적인 네이티브 경로이며, INT8·MXFP4·NVIDIA용 FP8·GGUF는 사양표나 기능 목록만으로 판단하면 안 된다는 점을 보여줍니다.
io_uring을 위한 스레드 정체성 바꿔치기
io_uring이 실제로 블록될 때만 워커 스레드 비용을 부담하도록 task_struct의 정체성을 교환하는 RFC 패치가 제안됐습니다. tmpfs fsync()에서 약 700% 향상이 관찰됐지만, 커널 참조 무결성과 shadow stack 호환성 같은 위험도 큽니다.
컨테이너는 몇 가지 비공개 뷰를 가진 프로세스일 뿐입니다 — 30줄로 직접 만들어 봤습니다
컨테이너는 별도의 커널 객체나 가상 머신이 아니라, Linux 프로세스에 namespace와 cgroup을 적용한 구조입니다. 글에서는 Docker 없이 약 30줄의 코드로 PID·mount·network·hostname 격리와 20MB 메모리 제한을 직접 구현하며, 컨테이너와 VM의 차이를 설명합니다.
Rust 개발자가 경험한 Zig
7년간 Rust를 사용한 개발자가 RFC 9535 기반 JSONPath 구현을 Zig로 다시 만들며 두 언어의 개발 경험을 비교합니다. Zig의 단순한 빌드 도구와 낮은 추상화는 긍정적으로 평가하지만, 수동 메모리 관리와 미성숙한 생태계에서는 Rust와 뚜렷한 차이를 확인합니다.