Numbat (GitHub repo)
numbat은 Perplexity AI가 공개한 오픈소스 도구로, AI 에이전트 활동에 대한 엔드포인트 가시성을 제공한다.
개발
Microsoft's Project Silica
마이크로소프트 리서치의 프로젝트 실리카는 유리에 펨토초 레이저로 데이터를 기록하는 아카이벌 스토리지 기술이다.
Chrome may get faster updates with no restart required
구글이 크롬 브라우저를 재시작 없이 더 빠르게 업데이트하는 방법을 개발 중이다.
Treat prompt changes like code deploys
프롬프트는 코드와 마찬가지로 프로덕션 동작을 바꿀 수 있는 의존성(dependency)이다.
Stacked Pull Requests are now in public preview
GitHub이 "스택 pull request(Stacked Pull Requests)" 기능을 퍼블릭 프리뷰로 출시했다.
A Detailed Guide to Idempotency, Delivery Semantics, and Deduplication
이 글은 서비스가 요청 타임아웃 시 재시도해야 할지 판단하기 어려운 문제에서 출발한다.
Quitting Spotify Podcasts over reliability
Gergely는 Spotify 팟캐스트 플랫폼의 반복된 안정성 장애를 이유로 Spotify에 영상 팟캐스트 에피소드 게시를 전면 중단했다.
[한영자막] 포워드 디플로이드 엔지니어링을 위한 AI 툴 — Varick Agents의 Vasuman Moza
Varick Agents CEO Vasuman Moza가 '다음 병목 현상(Next Bottleneck)'이라는 주제로 발표했다.
GitHub Stacked PRs are now available
GitHub가 Stacked PR(스택형 풀 리퀘스트) 기능을 정식 출시했다고 발표한다.
Superlogical
미첼 하시모토(Mitchell Hashimoto)가 새 회사 Superlogical을 창업했다고 발표했다.
llm 0.32rc1 출시
LLM 0.32 RC1은 0.32a0에서 시작한 작업을 마무리한다.
llm-chat-completions-server 0.1a0 출시
LLM 0.32rc1의 새 콘텐츠-주소 가능 로그는 OpenAI Chat Completion 스타일 요청을 지원하는 것이 목표이다.
llm 0.32rc2
RC1에 이어 RC2는 의존성 문제를 해결하고 두 가지 새 기능을 추가했다.
Jeff Dean: The 1% Rule for Building in AI
probe check line only
Multi-GPU Kernels, Intelligence per Watt, Heterogeneous Inference, and More | YC Paper Club
YC Paper Club 특별판으로, 5명의 발표자가 GPU 커널·칩 전문화를 주제로 발표했다.
Formal methods with Hillel Wayne
The Pragmatic Engineer Gergely Orosz가 formal methods 전문가 Hillel Wayne(TLA+ 강사, Logic for Programmers 저자)과 AI가 formal verification을 주류로 만들 것인가를 논의한 에피소드다.
GeekNews 다이제스트 — 2026-07-31
매니저가 된다는 것의 진실 — 직책이 바뀌면 팀·기밀·조직 불안까지 홀로 감당하는 외로운 역할이 된다는 에세이 (31점)
GeekNews 다이제스트 — 2026-07-30
500달러로 미세조정한 9B 오픈 모델이 카탈로그 검수에서 프런티어 모델을 능가했다 (16점)
MCP 2026-07-28 Is Live
MCP(Model Context Protocol)는 지난해 11월 릴리스 이후 폭발적으로 성장하여 Tier 1 SDK 전체에서 월간 약 5억 건의 다운로드를 기록하고 있다.
The Orchestrator's Tax
필자는 .NET 리팩토링 작업 중 4개의 서브에이전트를 동시에 운용하다가 세션이 코드보다 이해하기 어려워지는 순간을 겪었다.
Aftermarket Harnesses
저자는 이제 코딩 벤치마크 점수를 움직이는 주된 요인이 AI 모델이 아니라 그 모델을 감싸는 실행 환경인 '하네스'라고 주장한다.
Why DoorDash, Instacart, and Uber Eats Integrated LLMs into Search Three Different Ways
DoorDash, Instacart, Uber Eats는 최근 몇 년 사이 나란히 검색 시스템을 LLM 중심으로 재구축했다.
Formal methods with Hillel Wayne
AI가 코드 대부분을 작성하는 시대가 오면 형식 검증이 주류가 될 것이라는 예측을 형식 방법 전문가 Hillel Wayne과 함께 검증한다.
Designing The Perfect Modular Architecture
MVC/MVVM 논쟁 대신 모듈 간 경계 설계, 진짜 아키텍처를 다룬다