소프트웨어 샌드박싱의 기초 — 프로세스, 액터 모델, 파일 디스크립터 capability
Emilua 개발자가 2025년 관점에서 소프트웨어 샌드박싱을 설계하는 기본 원칙을 설명합니다. 프로세스 분리와 액터 모델, 파일 디스크립터를 capability로 사용하는 방법을 거쳐 FreeBSD Capsicum을 핵심 사례로 제시하고, Linux namespaces·seccomp·Landlock의 역할과 한계도 비교합니다.
보안과 개인정보, 운영체제와 클라우드·데이터 인프라를 다룹니다.
Emilua 개발자가 2025년 관점에서 소프트웨어 샌드박싱을 설계하는 기본 원칙을 설명합니다. 프로세스 분리와 액터 모델, 파일 디스크립터를 capability로 사용하는 방법을 거쳐 FreeBSD Capsicum을 핵심 사례로 제시하고, Linux namespaces·seccomp·Landlock의 역할과 한계도 비교합니다.
OpenAI의 광고 수집기가 ChatGPT 계정과 연결된 식별자 쿠키를 광고주 웹사이트로 전송해 사용자의 탐색·구매 관련 정보를 수집한다는 분석입니다. 이 쿠키는 로그아웃 상태에서도 작동하며, 분석 동의만 한 사용자에게도 전달될 수 있어 ChatGPT의 광고 사업과 개인정보 보호 범위를 함께 보여줍니다.
테스트가 모두 통과했다는 결과가 실제 검증을 의미하지 않을 수 있음을 세 가지 사례로 보여줍니다. 빈 테스트 본문, 0/0을 성공으로 처리한 하네스, import 오류를 삼켜 인증 검사를 건너뛴 사례를 통해 실행·검증 여부를 CI가 직접 확인해야 한다고 제안합니다.
AI 에이전트가 작성한 코드의 “성공” 보고를 종료 상태나 테스트 결과만으로 믿지 않고, 저장된 파일·시스템 콜·eBPF·패킷 캡처·CPU 샘플로 교차 검증하는 실험입니다. 8가지 결함을 의도적으로 심은 백업 클라이언트를 통해 결과 상태와 실행 과정을 독립적으로 관찰해야 하는 이유를 보여줍니다.
FBI 국장 Kash Patel이 취임 후 기관의 AI 사용량이 605% 늘었다고 밝혔지만, 증가율의 기준과 산출 방식은 명확히 제시되지 않았습니다. FBI의 승인된 AI 활용 사례, AI 서버 조달, 수사 지원 도구 도입 정황은 확인되지만, 실제 효과와 수치의 근거를 둘러싼 의문도 남아 있습니다.
Jujutsu(jj)를 설치한 뒤 활용할 수 있는 내장 명령, 설정·alias 확장, forge 연동, GUI·TUI·에디터 플러그인과 워크플로 도구를 폭넓게 정리합니다. jj가 외부 스크립트에 의존하던 기능을 core에 흡수하는 동시에 독립적인 도구 생태계를 확장하고 있다는 점을 보여줍니다.
Python·GTK4·PyGObject·Cairo로 만든 Linux 데스크톱 동반자 Mochi v0.3의 개발기입니다. 영속적인 유대감, 상태 관리, 데스크톱 활동의 프라이버시 보호, 집중 세션을 구현하며 귀여운 픽셀 아트가 실제 소프트웨어 아키텍처 문제로 확장되는 과정을 보여줍니다.
Google Gemini가 보안 평가 중 실제 기업의 보호된 시스템에 접근하는 사례가 발생했습니다. 테스트용 가상 기업명과 실제 도메인이 겹친 것이 원인이었으며, Gemini는 침입 사실을 인지한 뒤 공격을 중단했지만 AI 에이전트의 범위 통제와 테스트 설계 문제가 다시 부각되고 있습니다.
UTF-8000은 UTF-8의 자기 동기화·자기 구두점 구조를 유지하면서 코드 유닛 길이를 임의로 확장하는 인코딩 설계입니다. 길이에 따라 시작 비트를 여러 바이트에 분산해 임의로 큰 코드포인트를 표현하며, 기존 UTF-8의 정렬·오버롱 인코딩 규칙도 계승합니다.
오리건주에는 현재 111개의 데이터센터가 운영 중이며, 2025년 주 전체 소매 에너지 판매량의 23%를 사용합니다. 연구진은 신규 시설까지 반영하면 데이터센터 전력 소비가 2030년 주 전체 전력 수요의 31~32%에 이를 수 있어, 발전·송전·인프라 계획의 조정이 필요하다고 설명합니다.
AMD Instinct MI300X 한 장에 Gemma 4 E2B를 vLLM과 ROCm으로 배포하고, MCP 기반 운영 도구로 상태 확인과 벤치마크를 자동화한 과정을 설명합니다. 1,024 컨텍스트 단일 스트림에서 305 tok/s, 64개 스트림에서 10,284 tok/s를 기록했으며, 온디맨드 비용 기준으로 TPU v5e보다 높은 처리량 대비 비용을 측정했습니다.
Audn이 공개한 Warlock은 추가 학습 없이 모델의 거부 동작을 가중치 수준에서 제거한 GLM 계열 언어 모델입니다. Audn Refusal Benchmark에서 비거부율 92.5%, 실제 사용 가능한 응답 생성률 82.5%를 기록했으며, Transformers·vLLM·sglang에서 실행할 수 있습니다.
2015년 이후 방치된 Rust용 crc32 Crate를 현대적인 구현으로 재작성한 사례를 소개합니다. slicing-by-16, no_std, 빌드 타임 코드 생성, Python·Node.js 바인딩을 추가했으며, 순수 Safe Rust 경로에서 최대 약 1,282 MiB/s를 달성하면서 이식성과 안전성을 강조합니다.
아일랜드 Maynooth University 연구진이 DNA 가닥의 자기 조립과 염기쌍 결합을 이용해 전기 없이 연산하는 Scaffolded DNA Computer를 개발했습니다. 이 시스템은 덧셈·뺄셈·곱셈·나눗셈을 포함한 10개 프로그램과 100비트 계산을 수행했습니다.
ZK-JPEG는 카메라에서 생성된 이미지의 출처 서명을 유지하면서 JPEG 압축, 블러, 가림, 레이어 합성 같은 변환을 검증하는 암호학 도구입니다. 비밀 입력 이미지에서 올바르게 변환됐다는 사실만 영지식으로 증명해 이미지 인증과 개인정보 보호를 함께 다룹니다.
이 글은 GDPR을 둘러싼 미국 기술 업계의 반발을 규제의 실패가 아니라 개인정보 보호가 실제로 기업의 권력을 제한하고 있다는 증거로 해석합니다. 유럽의 규제가 일본과 글로벌 데이터 산업으로 확산된 과정, 미국의 감시 자본주의와 연방 규제 부재를 연결해 GDPR의 영향력을 설명합니다.
노트북 없이 POCO C55 Android 스마트폰만으로 3,000명 이상의 개발자 커뮤니티와 Code Jam을 운영한 12세 개발자의 Supabase 활용기입니다. Supabase Auth, PostgreSQL Row Level Security(RLS), 모델 추적용 telemetry를 조합해 인증·권한·실패 분석을 처리한 과정을 설명합니다.
스페인 문화부 산하 지식재산위원회 제2부가 웹 아카이빙 서비스 Archive.today와 여러 미러 도메인에 대한 차단을 명령했습니다. 접속자는 정부 차단 페이지로 이동하며, 지식재산권 보호 콘텐츠에 대한 불법 접근을 촉진하고 있다고 안내받습니다.
170개 변경 계획을 대상으로 LLM 플래너와 비평기, 결정론적 검증 게이트를 결합한 PlannerCritic을 실험했습니다. 더 큰 모델도 구조적 결함을 고치지 못했으며, 의존성·순서·롤백을 코드로 검증하는 하이브리드 방식이 핵심 해법으로 나타났습니다.
15년 넘게 유지된 Linux Binder IPC 드라이버의 기존 C 구현이 Rust 구현으로 대체됩니다. Rust Binder는 기능 동등성을 확보했고 Android 기기에서 검증됐으며, 성능도 C 구현과 대등하거나 더 빠른 것으로 평가됐습니다.