OpenSpec — 가볍고 설정 가능한 AI 스펙 프레임워크
OpenSpec은 소프트웨어 명세(spec)를 만들고 관리하기 위한 경량·설정 가능 프레임워크입니다. 만들고자 하는 것을 스펙에 담아 팀과 코딩 에이전트가 작업이 진행되는 동안에도 정렬되도록 돕고, 요구사항 정제와 검증, 구현 일치 확인까지 지원합니다. 커뮤니티에서는 SpecKit보다 가볍다는 평가와 함께 스펙 주도 개발(SDD) 도구로 주목받고 있습니다.
Hacker News · 최신 글
백업은 간단하지 않다 — 스냅샷에서 3-2-1 규칙까지 쌓이는 복잡성
백업을 직접 구현하려 할 때 단계적으로 마주치는 복잡성을 따라가는 에세이입니다. 단순 복사에서 시작해 스냅샷, RPO, GFS 로테이션, 중복 제거, 3-2-1 규칙, 오브젝트 스토리지의 제약까지 요구사항이 계속 쌓이며, 결국 Borg나 Restic 같은 검증된 도구를 쓰는 것이 낫다는 결론에 도달합니다. 복원 테스트를 정기적으로 해야 한다는 당부로 마무리됩니다.
Jev 스타일 모델을 독립적으로 재구현한 오픈소스 스타터 — jevlike
TypeSafe가 설계를 공개하지 않은 상용 모델 Jev와 동일한 입출력 형태를 갖는 독립 구현 스타터 jevlike가 공개되었습니다. 텍스트와 N개의 옵션 목록을 받아 한 번의 패스로 각 옵션의 확률을 반환하는 방식으로, 합성 데이터에서 약 98%의 정확도와 자기회귀 디코딩 대비 약 100배 빠른 속도를 보고했습니다.
미국 전략비축유를 지탱하는 엔지니어링 — 소금 동굴에 원유 7억 배럴을 저장하는 법
미국 전략비축유(SPR)는 텍사스·루이지애나 걸프 연안의 소금 돔에 물을 주입해 만든 지하 동굴 60곳에 최대 7억 1,400만 배럴의 원유를 저장합니다. 지상 탱크(배럴당 15~18달러) 대비 배럴당 약 3.5달러의 저렴한 비용으로 공습 방어와 신속한 시장 투입을 동시에 달성한, 단순하면서도 우아한 인프라 설계 사례입니다.
텍스처의 해부 — 플랫폼 간 변환에 숨겨진 메모리 레이아웃의 복잡성
505 Games의 그래픽스 프로그래머가 자체 PC 게임 엔진을 콘솔로 포팅하며 텍스처 변환 코드를 작성하면서 체감한 복잡성을 해부한 글입니다. BC7 블록 압축, 스위즐을 통한 텍셀 순서, 밉(mip), 타일, 밉 테일(mip tail), 비연속 타일 매핑까지, 텍스처 하나가 메모리에 놓이기까지 거치는 계층 구조와 그 이유를 DirectX 12 관점에서 차례로 설명합니다.
NVIDIA, Rust로 GPU 커널을 직접 작성하는 CUDA Rust 공개 — SIMT와 Tile 두 트랙
NVIDIA가 Rust로 GPU 커널을 네이티브하게 작성해 PTX로 컴파일하는 CUDA Rust를 발표했습니다. SIMT 모델의 cuda-oxide와 Tile 모델의 cutile-rs 두 트랙으로 제공되며, Rust의 소유권·빌림 검사로 GPU 커널의 메모리 안전성을 컴파일 타임에 보장하는 것이 핵심입니다.
Ternary LLM의 '1.58비트 장벽' 깨기 — 0의 분포를 활용한 BITCOS 레이아웃
Ternary LLM은 모든 가중치를 {-1, 0, +1}로 저장하며, 기존 five-trit packing은 가중치당 1.625비트를 차지했습니다. 연구팀은 29개 모델에서 0이 최대 51.5%를 차지함을 확인하고, 0 밀도 z에 따라 가중치당 2−z비트만 쓰는 BITCOS 레이아웃을 제안했습니다. 가장 희소한 모델에서 1.485비트를 달성했고, 디코드 처리량이 CPU에서 최대 1.18배, GPU에서 최대 1.27배 향상됐습니다.
Factorio의 난수 생성기 리버싱하기 — LFSR 선형성을 이용한 게임 내 RNG 예측
Factorio: Space Age의 품질(quality) 시스템은 아이템 제작 시 무작위로 높은 등급을 부여하는데, 저자는 이 '무작위'가 실은 결정론적 PRNG임을 밝혀내고 taus88 생성기의 내부 상태를 역산해 미래 결과를 예측했습니다. Ghidra로 바이너리를 분석해 사용 알고리즘을 확인하고, LFSR의 선형성을 이용해 출력 3개만으로 내부 상태를 복원한 뒤 게임 내 회로 네트워크로 예측기를 구현했습니다. 단, Factorio 2.1에서 RNG 사용 방식이 바뀌어 게임 내 구현은 2.0에서만 동작합니다.
macOS 27 Golden Gate 리뷰 — 끌 수 없는 Apple Intelligence와 Intel Mac 지원 종료
Ars Technica가 macOS 27 Golden Gate를 리뷰했습니다. Apple Intelligence가 출시 2년 만에 첫 대규모 업그레이드를 받았지만, 이제는 비활성화 토글 자체가 사라져 생성형 AI가 사실상 강제가 되었습니다. 동시에 2019~2020년형 Intel Mac 지원이 종료되어 Apple Silicon 전용 OS가 되었습니다.
Douglas Adams와 사라질 뻔한 Doctor Who 에피소드 — 파업으로 멈춘 'Shada'의 38년
1979년 Douglas Adams가 집필한 Doctor Who 에피소드 'Shada'는 Cambridge 로케이션 촬영까지 마쳤지만 BBC 파업으로 스튜디오 촬영이 중단돼 방영되지 못했습니다. BBC Sounds 다큐멘터리 'Doctor Who: Lost in Cambridge'를 계기로, 당시 촬영 현장의 일화와 2017년 애니메이션으로 완성되기까지의 과정이 재조명됐습니다.
당신의 AI는 얼마나 낡았는가 — 20개 모델의 출시일과 학습 컷오프 비교
AI 모델의 최신성을 결정하는 두 날짜인 출시일(release date)과 학습 데이터 컷오프(training cutoff)를 8개 연구소 20개 모델에 대해 정리하고, 각 날짜로부터 경과 시간을 실시간으로 세어주는 페이지입니다. 20개 모델 중 10개만 연구소가 컷오프를 공식 공개했으며, 코딩 에이전트가 models.json을 참조해 모델 정보를 검증하도록 하는 AGENTS.md용 지시문도 함께 제공합니다.
Postgres보다 81% 빠른 쿼리 플랜을 만들어내는 4B 모델 훈련하기
저자 Rohan Bansal이 4B 파라미터 오픈 웨이트 모델을 SFT와 에이전틱 RL로 사후 학습시켜, pg_hint_plan 힌트를 통해 Postgres 기본 플랜보다 빠른 쿼리 플랜을 생성하게 한 실험을 상세히 기록한 글입니다. 처음에는 113개 조인 쿼리 중 99개에서 플랜조차 만들지 못하던 모델이 학습 후 Join Order Benchmark 전체에서 평균 44.7%의 지연 시간 감소를 달성했습니다.
팩토리얼은 얼마나 클까 — 계산기 없이 자릿수를 추정하는 수학
52!처럼 일상 계산기 범위를 넘는 팩토리얼의 자릿수를 암산으로 꽤 정확하게 추정하는 방법을 소개하는 수학 에세이입니다. 간단한 근사식 n·log10(n/e)에서 출발해, 그 뒤에 있는 감마 함수(Gamma function)와 라플라스 방법(Laplace's method)을 통한 스털링 근사(Stirling's approximation) 유도 과정까지 차근차근 설명합니다.
벡터화된 성능 이식성 Quicksort — std::sort보다 10배 빠른 Google의 SIMD 정렬
Google이 C++ std::sort보다 약 10배 빠르면서도 여러 CPU 아키텍처에서 동작하는 벡터화 Quicksort 구현을 오픈소스로 공개했습니다. Highway 라이브러리의 이식 가능한 SIMD 함수를 활용해 x86 AVX-512/AVX2, Arm NEON 등 6개 명령어 집합을 단일 구현으로 지원하며, 단일 코어에서 1GB/s 이상의 정렬 속도를 달성했습니다.
온라인 도박 시장 확장 이후 도박 장애 응급실 방문 두 배 증가 — 온타리오 14년 데이터 분석
캐나다 온타리오주에서 단일 경기 스포츠 베팅 합법화와 온라인 도박 시장의 민간 개방 이후, 도박 장애 관련 응급실 방문이 두 배 가까이 늘었다는 토론토 대학교 연구 결과가 발표됐습니다. 증가는 10~44세 남성에 집중됐으며, 온라인 플랫폼 규제 확대가 공중 보건에 미치는 영향을 보여주는 사례로 주목받습니다.
Claude Cowork와 채팅이 하나의 Claude로 통합됩니다
Anthropic이 장시간 작업용 공간인 Claude Cowork와 일반 chat을 하나의 Claude로 통합한다고 발표했습니다. Claude Docs·Slides·Design도 대화 안에서 바로 쓸 수 있게 되며, Pro와 Max 플랜부터 몇 주에 걸쳐 순차 적용됩니다. 작업을 어디에 맡길지 고르는 불편을 없애는 것이 목표입니다.
업타임 퍼센티지 표기, 이제 그만할 때 — 상태 페이지는 '몇 시간 다운'됐는지 보여줘야 합니다
Jim Nielsen이 서비스 상태 페이지의 '99.9% 업타임' 표기 방식을 비판합니다. 100%에 가까운 숫자들의 차이는 비선형이라 일반 사용자가 직관적으로 이해하기 어렵고, 퍼센티지 대신 '지난 30일간 12시간 장애'처럼 시간으로 표현하자고 제안합니다.
내가 만든 소프트웨어 이야기: 25MHz 486-SX 위에서 돌아간 GPS
1993년 한 임베디드 개발자가 수학 보조프로세서 없는 25MHz 486-SX, 32MB RAM 환경에서 실시간 GPS 무빙 맵 디스플레이를 구현한 회고입니다. 부동소수점 삼각함수 대신 Voronoi Cell과 8/16비트 정수 연산을 쓰는 Hipparchus 라이브러리를 활용해, 소비자용 GPS가 등장하기 5년 전에 1024x768 컬러 화면을 2초마다 갱신하는 성능을 달성했습니다.
발표자에게 발표가 좋았다고 말해 주자 — 컨퍼런스 피드백이 사라진 시대의 작은 용기
SmashingConf Freiburg와 CSS Day에 참여한 저자가 발표자와 참석자 사이의 대화를 주선한 경험을 바탕으로, 발표가 좋았다면 발표자에게 직접 말해 달라고 독려합니다. Twitter가 망가진 뒤 발표자들이 받던 피드백의 물결이 사라졌고, 침묵은 발표자에게 '내 발표가 실패했나' 하는 불안을 남긴다는 것입니다. 짧은 말 한마디라도 발표자에게는 큰 의미가 있다는 커뮤니티 문화 차원의 제언입니다.
Dream-RSI: 진화하는 세계를 통한 재귀적 자기 개선
자율 AI 에이전트의 재귀적 자기 개선(RSI)에서 탐색 전략 자체를 개선하는 프레임워크 Dream-RSI를 소개합니다. 과거 발견 이력으로 구축한 리플레이 시뮬레이터에서 '드리밍(dreaming)'을 수행해 비용이 큰 온라인 평가 없이 탐색 정책을 다듬고, 알고리즘 엔지니어링·수학적 최적화·GPU 커널 엔지니어링에서 발견 비용을 크게 줄이면서도 경쟁력 있는 결과를 냈습니다.