
Bend: a fast language that blocks AI mistakes via proof
Victor Taelin 팀이 공개한 Bend 2는 사람이 LAWS.bend에 규칙을 적고, AI가 그 규칙이 지켜진다는 증명을 써야만 코드를 커밋할 수 있게 만든 언어다. 공식 사이트는 1코어에서 C와 비슷한 속도, 16코어와 GPU에서의 자동 병렬화, 1초 이내의 증명 검사를 수치로 제시했다.

Victor Taelin 팀이 공개한 Bend 2는 사람이 LAWS.bend에 규칙을 적고, AI가 그 규칙이 지켜진다는 증명을 써야만 코드를 커밋할 수 있게 만든 언어다. 공식 사이트는 1코어에서 C와 비슷한 속도, 16코어와 GPU에서의 자동 병렬화, 1초 이내의 증명 검사를 수치로 제시했다.

Anthropic 팀이 2026년 8월 2주간의 스프린트에서 claude.ai와 Claude 데스크톱 앱의 핵심 사용자 여정 13개 측정치를 평균 3.1배 빠르게 만든 과정을 공개했다. Claude가 병목 탐색, 벤치마크 제작, 수정, 배포 감시를 맡고 사람이 목표와 절충, 승인을 맡아 3천 건 이상의 변경을 장애와 롤백 없이 머지했다. 팀은 측정할 수 있는 것은 무엇이든 Claude가 개선할 수 있다는 교훈을 얻었다.

Vectorize.io가 MIT 라이선스로 공개한 에이전트 메모리 시스템 Hindsight의 README와 문서를 정리했다. 저장한 사실을 근거가 딸린 관측과 멘털 모델로 통합해 에이전트가 경험에서 배우도록 설계했고, LongMemEval에서 94.6%를 보고한다.

Stripe가 비개발 직군을 위한 사내 AI 에이전트 플랫폼 Kai의 설계와 성과를 공개했다. Kai는 출시 두 주 만에 직원 대부분이 쓰기 시작했고, 지금은 직원의 83%가 매주 쓴다. Stripe는 인터페이스에 구애받지 않는 API, 도메인 팀이 쓰는 Agent Studio, 제품용 에이전트와 공유하는 실행 환경의 세 계층으로 Kai를 설계했다.

Addy Osmani가 claude.dev 블로그에 올린 Opus 5.5 사용 가이드. 완료 조건까지 적은 한 번의 요청, CLAUDE.md에 적는 멈춤 규칙, 서브에이전트 분배, 보고서를 읽는 순서, 안전장치 플래그로 모델이 바뀌었을 때의 대처까지 Claude 앱과 Claude Code의 운용법을 정리했다.

Vercel Labs가 공개한 Generative UI 프레임워크. AI는 개발자가 카탈로그에 등록한 컴포넌트와 액션만으로 JSON 스펙을 만들고, 29개 패키지가 그 JSON을 React 화면부터 PDF, 영상, 터미널까지 각자의 형식으로 그린다.

Claude Code의 컴팩션 요약을 없애고, 도구 호출과 도구 결과만 Jev의 확률 판정으로 골라 삭제하는 플러그인 저장소. 남기기로 한 것은 요약하지 않고 원문 그대로 둔다.

GPT-6 Astra가 목표를 세우고 TypeSafe Jev가 행동을 고르는 마인크래프트 에이전트 저장소. 빈 인벤토리에서 8분 43초 만에 엔더 드래곤을 잡았다. 기록을 줄인 수리 목록과, 성과를 과장하지 않으려고 미리 적어 둔 규칙들을 함께 읽어 본다.

코딩 에이전트의 하네스를 통째로 재는 대신 부품 하나하나의 효과를 따로 잰 실증 연구다. 실행 루프를 고정한 채 계획, 액션 공간, 컨텍스트 관리만 바꿔 176개 설정을 돌린 결과, 세 부품 모두 모델의 능력과 컨텍스트 예산에 따라 효과가 뒤집혔다.

AI 에이전트에게 조작할 컴퓨터를 제공하는 MIT 라이선스 오픈소스 스택. 클라우드 데스크톱(Fleets), 네이티브 앱 조작 계층(Driver), Apple Silicon VM(Lume), 평가 프레임워크(Bench) 네 가지로 이루어져 있고, 문서가 되는 기능보다 안 되는 기능을 더 정밀하게 적어 둔다.