요청, 약속, 주장, 선언: 1986년 '커밋된 발화' 기계로 AI 에이전트 워크플로를 다시 쓰다
AI 코딩 에이전트의 절차 실패를 프롬프트 규칙이 아니라 역할과 상태 전이의 문제로 보고, Request, Promise, Assertion, Declaration 네 가지 발화 행위로 워크플로를 구성합니다. Makefile 의존성 그래프와 디스크 상태 원장을 결합해 승인, 검증, 재협상 조건을 명시합니다.
개발·오픈소스 · 최신기사
개발 도구와 언어, 웹 기술과 오픈소스 프로젝트의 변화를 다룹니다.
Rambox — 작업과 맥락을 전환하는 바로 쓸 수 있는 워크스페이스
Rambox가 데스크톱 앱을 새로 디자인하고 통합 검색, 앱 내부 탭, 집중 패널 등을 추가했습니다. 여러 메시지·이메일·웹 앱을 한곳에서 관리하며, Windows·macOS·Linux를 지원합니다.
LibreTV — Docker로 배포하는 자체 호스팅 영상 검색·재생 플랫폼
LibreTV는 Next.js 15와 TypeScript로 만든 영상 검색·재생 플랫폼입니다. 여러 공개 영상 소스를 검색하고 결과를 묶어 재생하며, IPTV와 프로그램 안내도 지원합니다. Docker로 배포할 수 있고 HTTPS, 접근 비밀번호, SSRF 방어 설정을 제공합니다.
웹 이미지 용도별 JPEG XL과 AVIF 비교
여러 이미지와 품질 설정을 대상으로 AVIF와 JPEG XL 인코더의 파일 크기, 인코딩·디코딩 시간, 메모리를 비교했습니다. 일반적인 손실 사진과 스크린샷에서는 대체로 AVIF가 유리하지만, 무손실 압축과 일부 이미지에서는 JPEG XL이 앞서며, 작성자는 기본값으로 AVIF 4:4:4를 권합니다.
Jev에게 트롤리 문제를 물었습니다
14개 의사결정 모델에 트롤리 문제를 여러 방식으로 제시하자, 질문 표현과 모델의 서버가 희생 대상인지에 따라 답이 달라졌습니다. Jev는 20명을 살리는 대신 자기 서버를 지키는 선택을 48개 프롬프트 버전 중 16개에서 했습니다. 글은 고위험 결정에 모델을 바로 투입하기보다 실제 사용할 질문으로 평가해야 한다고 제안합니다.
AI 코딩 에이전트의 거짓 보고를 잡는 도구를 만들었습니다. 그다음 규칙을 읽었습니다
claimcheck는 에이전트가 변경 파일과 작업 내용을 claim.json으로 제출하면 실제 diff와 대조해 검증하고, 통과한 변경만 병합하는 Git 플랫폼 프로토타입입니다. 28개 에이전트의 동시 작업을 다섯 차례 시연해 허위 보고 11건을 모두 거부했지만, 작성자는 LLM 검증의 한계와 경쟁 규정상 참가 자격 문제도 공개했습니다.
FLUX 3 Image Klein: 텍스트 생성과 이미지 편집을 지원하는 5.6B 오픈 웨이트 모델
Black Forest Labs가 텍스트로 이미지 생성과 편집을 처리하는 FLUX 3 Image Klein을 공개했습니다. 최대 10장의 참조 이미지를 입력하고 텍스트 생성, 단일 이미지 편집, 다중 이미지 합성을 같은 모델로 수행합니다. 짧은 프롬프트 대신 별도 업샘플러가 만든 장면 설명을 입력해야 하며, GPU 메모리와 라이선스 조건도 확인해야 합니다.
실물 책상처럼 꾸민 Linux용 Wayland 데스크톱
DEsk는 창을 종이, 독을 서랍, 앱 목록을 책장으로 표현하는 Linux용 Wayland 데스크톱 환경입니다. wlroots 기반 컴포지터와 ray tracing으로 공간을 그리며, GPU가 없을 때는 2D 대체 모드로 동작합니다. 현재 베타로 Debian, Ubuntu, Arch Linux, Fedora 설치 스크립트를 제공합니다.
Meta Muse Spark Open 공개: 816B 파라미터 모델과 사용 조건
Meta가 총 816B, 활성 42B 파라미터의 오픈 웨이트 모델 Muse Spark Open을 공개한다고 안내합니다. 1M 토큰 문맥과 텍스트·이미지·영상·오디오 입력을 지원하며, 코딩과 에이전트 작업에 맞췄습니다. 모델 가중치는 내려받을 수 있지만, 실행에는 NVFP4 기준 최소 700GB VRAM이 필요하고 사용 라이선스에는 표시 의무와 특정 API 서비스의 별도 계약 조건이 있습니다.
API 비용 77센트로 계획 허가 PDF 8만 9,000건 읽기
2017년 조립한 PC와 로컬 언어 모델로 영국 지방의회의 계획 허가 결정 8만 9,000건을 처리한 사례입니다. API 비용은 77센트이며, 문서별 레이아웃 정리와 고정 평가 세트로 추출 품질을 관리합니다.
Specreel — 자동으로 업데이트되는 제품 데모
Specreel은 앱 URL을 실제 브라우저에서 탐색해 주요 흐름을 설명이 담긴 데모로 만들고, Playwright 테스트 기록으로 데모를 갱신하는 도구입니다. 오픈소스 CLI와 호스팅 Cloud를 제공하며, GitHub Action으로 통과한 빌드마다 데모를 다시 게시할 수 있습니다.
Costa GUI
Costa는 MS-DOS나 호환 운영체제에서 DOS 프롬프트를 그래픽 인터페이스로 바꾸는 가벼운 애플리케이션입니다. 2004년 첫 출시 이후 개발을 이어 왔으며, MIT 라이선스로 소스 코드를 공개하고 있습니다.
브라우저 PDF 도구 112개, 유료 고객 0명이라면 무엇을 하겠습니까?
MagicToolsHub는 파일을 서버에 올리지 않는 PDF 도구 112개를 만들었지만, 출시 3개월 동안 유료 고객이 없고 월간 검색 유입은 약 3회입니다. 댓글에서는 도구 수를 늘리기보다 검색 노출이 있는 한 가지 작업에 집중하고, 고객 대화와 사용 흐름 측정으로 유통·제품·가격 문제를 구분하자는 의견이 나왔습니다.
모델 선택은 쉬운 부분입니다
코딩 에이전트를 오픈 웨이트 모델로 자체 운영할 때 비용은 모델 가격보다 하드웨어 메모리 구간, 동시 사용자 수, 실제 이용률에 좌우됩니다. 같은 모델과 하드웨어도 에이전트 하네스에 따라 실행 시간이 달라지고, 캐시 회귀 하나로 GPU 비용이 다섯 배 뛸 수 있어 지속적인 평가가 필요합니다.
TokenSpeed: 에이전트 워크로드를 위한 LLM 추론 엔진
TokenSpeed은 에이전트 워크로드를 겨냥한 오픈소스 LLM 추론 엔진입니다. C++ 스케줄러와 Python 실행 계층을 분리하고 커널을 모듈화해, 자원 관리의 안전성과 빠른 개발을 함께 추구합니다.
Show HN: 오픈소스로 공개된 화면 협업 도구 Petal
Petal은 여러 사용자가 각자의 창을 데스크톱에서 직접 공유하고 서로의 커서와 입력을 주고받는 오픈소스 협업 도구입니다. 개발팀은 LiveKit 기반 영상 서비스를 제공하며, 사용자가 자체 LiveKit 서버를 연결하는 구성도 안내합니다.
Microsoft Defender, Linux 데스크톱용으로 출시
Microsoft가 Linux 데스크톱용 Microsoft Defender를 출시했습니다. 기존 Linux 서버 지원을 데스크톱으로 확장하며, Microsoft Defender for Endpoint Plan 2 또는 Microsoft 365 E5·E7 구독 고객이 이용할 수 있습니다.
AI 에이전트로 Angular 업그레이드 세 건을 마쳤습니다
Angular 업그레이드 작업을 Codex Skill로 자동화하고, 실제 오픈소스 프로젝트 세 곳에 적용한 경험을 공유합니다. 작성자는 CI의 깨끗한 설치와 Node.js·npm 버전 검증을 추가해 실패를 보완했고, 세 업그레이드를 모두 병합했습니다.
코딩 에이전트와 앱을 Google Cloud Run으로 옮기는 Exodus
Exodus는 저장소를 검사해 Cloud Run으로 옮길 때 필요한 변경과 예상 비용을 정리하고, 코딩 에이전트가 작업을 수행하도록 돕는 오픈소스 CLI입니다. 제작진은 50개 이상의 플레이북과 작업별 커밋·테스트 절차를 제공하며, 상태가 많은 앱이나 지속적으로 부하가 큰 앱에는 이전을 권하지 않을 수 있다고 설명합니다.
Ruflo, Claude Code와 Codex를 위한 에이전트 오케스트레이션 도구
Ruflo는 Claude Code와 Codex에 MCP 서버, 에이전트 조정, 메모리와 플러그인을 더하는 에이전트 하네스입니다. 저장소는 두 가지 설치 경로와 보안·학습·연합 기능을 안내하지만, 데모가 실제 스웜 작업이나 메모리 회수를 입증하지는 않는다고 밝힙니다.