Hacker News 뉴스
Y Combinator의 Hacker News에서 화제가 된 기술 토론과 링크를 큐레이션합니다.
총 11,645건·최신 업데이트
- 182
Show HN: Iimos – 하나의 채팅 상자로 배송되는 AI 앱, 스스로를 재작성합니다.
iimos는 단일 채팅창 형태로 제공되며, 사용자의 요구에 따라 자신의 React UI, 서버 로직, 시스템 프롬프트를 직접 수정하는 자가 수정형(Self-modifying) AI 에이전트입니다. 모든 데이터와 코드가 사용자의 로컬 환경에서 실행되는 로컬 퍼스트 방식을 채택하여 보안성을 높였으며, 오류 발생 시 자동 롤백되는 안정성 메커니즘을 갖추고 있습니다.
Show HN: Iimos – an AI app that ships as one chat box and rewrites itself↗github.com
- 192
Show HN: SpecWeave 3 – 코딩 작업, Claude Code, Codex, Grok으로 이관하기
SpecWeave 3는 다양한 AI 코딩 에이전트 간의 작업 이관(handoff)을 지원하여, 토큰 제한이나 도구 변경 시에도 개발 맥락을 유지하며 작업을 이어갈 수 있게 돕는 프레뮬워크입니다. 'Increment' 단위의 작업 관리와 공유 가능한 프로젝트 메모리 기능을 통해 에이전트 간의 협업과 연속성을 극대화합니다.
Show HN: SpecWeave 3 – hand off a coding task across Claude Code, Codex and Grok↗github.com
- 194
Show HN: Codex 브라우저 제어 기능을 Arc에서 사용 가능하도록 하는 패치
OpenAI의 ChatGPT 데스크톱 앱에 포함된 Codex의 브라우저 제어 기능이 Arc 브라우저의 탭 그룹 API 미지원으로 인해 멈추는 문제를 해결하는 패치 프로젝트가 소개되었습니다. 이 프로젝트는 Chrome 확장 프로그램을 다운로드하여 탭 그룹 체크를 건너뛰도록 패치한 뒤 Arc에서 사용할 수 있도록 재빌드하여 제공합니다.
Show HN: A patch to make Codex's browser control work in Arc↗github.com
- 199
Lean 정理 증명器에 대한 수학자들의 이해: 신뢰성 & AI
과거 수십 년이 걸리던 수학적 증명의 형식화 작업이 AI를 통한 자동화 기술로 인해 단 며칠 만에 가능한 수준으로 진화했습니다. Anthropic과 OpenAI 등 빅테크 기업들이 복잡한 수학적 정리를 자동 변환하는 데 성공하며, 수학적 신뢰성 확보와 지식 구축의 새로운 시대가 열리고 있습니다.
What mathematicians should know about the Lean Theorem Prover: reliability & AI↗terrytao.wordpress.com















