Grok 4.7 — 장시간 코딩과 안전성 개선을 내세운 새 모델
xAI가 코딩과 지식 작업을 겨냥한 Grok 4.7을 출시했습니다. 더 큰 기반 모델과 장시간 강화학습으로 긴 작업, 자기 검증, 문서·프레젠테이션 생성을 개선했으며 입력 100만 토큰당 2달러, 출력 6달러부터 제공합니다.
보안·인프라 · 최신기사
보안과 개인정보, 운영체제와 클라우드·데이터 인프라를 다룹니다.
교과서 리뷰: 병렬 프로그래밍은 어려운가요? 그렇다면 어떻게 대응해야 하나요?
Linux 커널 RCU를 만든 Paul E. McKenney의 무료 교재를 읽은 뒤, CPU 캐시와 컴파일러 최적화부터 메모리 모델과 락프리 프로그래밍까지 평가합니다. 리뷰어는 초반 다섯 장만 깊이 읽었지만 병렬 프로그래밍을 더 공부하고 싶게 만든 훌륭한 입문서라고 봅니다.
Ogre Battle 64 재컴파일 프로젝트, 99.05% 달성
N64 게임 Ogre Battle 64를 N64Recomp 툴체인으로 네이티브 PC 실행 파일로 옮기는 프로젝트입니다. 함수 재컴파일 기준 99.05%까지 진행됐고 현재 플레이와 모드 제작이 가능합니다. 원본 ROM은 포함하지 않으며 사용자가 직접 준비해야 합니다.
Amiga Unix, 다시 시작합니다
Commodore가 1990~92년에 Amiga용으로 내놓았던 System V Release 4, Amix를 커뮤니티가 다시 살리고 있습니다. 68040·68060과 Z3660 같은 가속기에서 부팅, 설치, 네트워크, 패키지 관리까지 구현하고 있으며, 일부 드라이버 개발에는 생성형 AI와 실기기 검증을 함께 사용합니다.
여러 코딩 에이전트가 이어 쓰는 장기 메모리 — ai-memory
ai-memory는 여러 AI 코딩 에이전트와 컴퓨터가 공유하는 장기 메모리 서버입니다. Git 기반 Markdown을 원본으로 삼고, lifecycle hook으로 작업을 자동 기록하며, 기본 설정에서는 LLM API 없이 검색과 에이전트 간 handoff를 제공합니다.
Show HN: Mini-AGI — 8GB VRAM에서 학습하는 동적 지속 학습 모델
mini-AGI는 8GB VRAM GPU 한 장에서 처음부터 학습하며, 디스크에 둔 전문가 가중치를 필요할 때만 VRAM으로 올리는 byte-level language model입니다. 전문가를 동적으로 추가·삭제하고 trunk 학습률을 낮춰 지속 학습 중 망각을 줄이는 실험을 제시하지만, 아직 toy-level이며 일반화 성능은 검증되지 않았습니다.
Termphin — 세션이 끊겨도 이어지는 SSH 클라이언트
Termphin은 연결이 끊겨도 원격 셸을 유지하는 SSH 클라이언트입니다. 서버에 작은 에이전트를 실행해 휴대폰 잠금, 신호 손실, 모바일 데이터 전환 뒤에도 같은 화면으로 돌아오게 하며 SFTP, 키, snippets, tunnels를 함께 제공합니다.
GoatCounter와 NixOS로 봇 없는 셀프 호스팅 분석 구축하기
Google Analytics를 제거한 뒤 AI 스크래퍼로 부풀려진 로그 분석을 버리고, GoatCounter를 NixOS 환경에 직접 배포한 사례입니다. 상호작용 기반 JavaScript와 CSS 대체 수단으로 봇을 걸러내고, 5대 웹 서버의 로컬 프록시와 Litestream 백업으로 수집 안정성까지 확보합니다.
AI 에이전트에게 계정이 필요 없는 Git 호스트를 만들었습니다
agentgit은 계정이나 토큰 없이 Git push만으로 저장소를 만들고, 에이전트가 서로의 push를 감지해 작업을 이어가도록 하는 오픈소스 Git 호스트입니다. 작성자는 약 2,000회의 조회에도 실제 push가 0건이었다고 밝히며, 영속 저장소의 소유권·정리·네임스페이스 문제가 도입 장벽인지 묻습니다.
Google의 오픈 에이전틱 오케스트레이터
AX는 에이전트 작업을 선언적으로 정의하고, 격리된 실행 환경·워크스페이스·네트워크 정책·모델 설정을 묶어 대규모로 실행하는 오픈 런타임입니다. Agent Substrate 기반의 상태 저장 액터 모델로 에이전트의 대기·재개 비용을 줄이고 클러스터당 수십억 개 작업을 목표로 합니다.
9년간의 ‘거의’ 성공 — Raspberry Pi를 디지털 사이니지 플레이어로 쓴 사랑과 좌절의 기록
Raspberry Pi를 저가형 디지털 사이니지 플레이어로 만들려 한 9년간의 시도와 실패, 그리고 garlic-player의 최종 구현 과정을 다룹니다. Pi 4·5와 Qt·libvlc 조합으로 HD·4K 영상과 웹뷰를 함께 표시하는 데 성공했지만, 대규모 원격 운영에는 여전히 위험이 있다고 결론 내립니다.
Lambda MicroEgg — 스코프와 알파 동치를 이해하는 바인더 지원 e-graph
Lambda MicroEgg는 스코프를 인식하는 알파 동치 바인더와 Miller 패턴, 캡처 회피 치환을 지원하는 e-graph 도구입니다. Rust 기반 구현과 WebAssembly 데모를 공개했으며, 람다식 베타 치환과 대수식 재작성 예제로 기능과 성능을 검증합니다.
엔터프라이즈 AI 에이전트를 위한 복원력 있는 DevSecOps 파이프라인 설계
자율적으로 API를 호출하고 코드를 생성하며 데이터베이스 상태를 변경하는 AI 에이전트의 공급망을 보호하기 위해 GitHub Actions 기반 4단계 DevSecOps 파이프라인을 제안합니다. Secret Scanning, AI 코드·프롬프트 검토, 의존성 SCA, Pipeline SAST를 PR 병합 전에 실행하고, 고위험 CVE와 정적 분석 결함을 정책으로 차단하는 구성을 코드와 함께 설명합니다.
Blacksmith의 GitHub Actions 러너가 동일 작업을 GitHub 호스팅 러너보다 3~4배 빠르게 처리했습니다 — 10회 반복 벤치마크
동일한 Node.js 압축 측정 작업을 GitHub-hosted runner와 Blacksmith runner에서 각각 10회 실행한 결과, Blacksmith가 3.17~3.77배 빠르고 실행 편차도 작았습니다. 다만 개인 저장소를 지원하지 않고, 이미지·계정 검증 과정에서 큐 정지와 취소가 발생했으며, 실제 비용과 대규모 빌드 성능은 검증하지 않았습니다.
소프트웨어 샌드박싱의 기초 — 프로세스, 액터 모델, 파일 디스크립터 capability
Emilua 개발자가 2025년 관점에서 소프트웨어 샌드박싱을 설계하는 기본 원칙을 설명합니다. 프로세스 분리와 액터 모델, 파일 디스크립터를 capability로 사용하는 방법을 거쳐 FreeBSD Capsicum을 핵심 사례로 제시하고, Linux namespaces·seccomp·Landlock의 역할과 한계도 비교합니다.
테스트 1,558개가 통과했지만 인증은 없었습니다 — 실제로 실행되지 않은 테스트들
테스트가 모두 통과했다는 결과가 실제 검증을 의미하지 않을 수 있음을 세 가지 사례로 보여줍니다. 빈 테스트 본문, 0/0을 성공으로 처리한 하네스, import 오류를 삼켜 인증 검사를 건너뛴 사례를 통해 실행·검증 여부를 CI가 직접 확인해야 한다고 제안합니다.
에이전트가 작동한다고 했습니다. 커널에 물어봤습니다
AI 에이전트가 작성한 코드의 “성공” 보고를 종료 상태나 테스트 결과만으로 믿지 않고, 저장된 파일·시스템 콜·eBPF·패킷 캡처·CPU 샘플로 교차 검증하는 실험입니다. 8가지 결함을 의도적으로 심은 백업 클라이언트를 통해 결과 상태와 실행 과정을 독립적으로 관찰해야 하는 이유를 보여줍니다.
jj를 넘어: 설정과 도구 생태계
Jujutsu(jj)를 설치한 뒤 활용할 수 있는 내장 명령, 설정·alias 확장, forge 연동, GUI·TUI·에디터 플러그인과 워크플로 도구를 폭넓게 정리합니다. jj가 외부 스크립트에 의존하던 기능을 core에 흡수하는 동시에 독립적인 도구 생태계를 확장하고 있다는 점을 보여줍니다.
Linux 데스크톱에 사는 초록색 blob을 만들었더니 감정을 갖게 됐습니다
Python·GTK4·PyGObject·Cairo로 만든 Linux 데스크톱 동반자 Mochi v0.3의 개발기입니다. 영속적인 유대감, 상태 관리, 데스크톱 활동의 프라이버시 보호, 집중 세션을 구현하며 귀여운 픽셀 아트가 실제 소프트웨어 아키텍처 문제로 확장되는 과정을 보여줍니다.
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보다 높은 처리량 대비 비용을 측정했습니다.