skeeto, C++·Dear ImGui로 만든 초경량 코딩 하네스 Prospero 공개

뉴스 알림

내 알림

로그인하고 알림을 만들어 보시기 바랍니다

전체 알림

해커뉴스

read와 write는 대칭이 아니다, 오류는 read에서 즉시 드러나고 write에서는 나중에 터진다 콜린 퍼시벌, 인텔 하이퍼스레딩 캐시 유출로 RSA 키 복원하고 6개월 조율 끝에 2005년 공개 CPU 100%인데 실제 retire는 16%: DRAM 50-100ns 지연이 GROUP BY 쿼리를 3.9초로 만든 이유 Memdoor team-solve, Qwen3.8-27B 5개 팀으로 LiveCodeBench Hard 첫 10문제에서 Fable 5를 앞서 Jepsen, ParticleDB 1.1.4 분석에서 96개 결함 보고... 'Full ACID' 주장은 시기상조 사용자 "Anthropic이 RFT·SFT 언급만으로 차단, Opus 5.5를 Opus 5로 다운그레이드"이탈리아 농부가 다락방에서 주운 씨앗, 키 1.8m에 이삭 7개 달린 고대 밀로 밝혀져 리눅스 IPv4 TCP use-after-free CVE-2026-98432, CVSS 9.8인데 우분투와 RHEL은 수정 커널 미배포 카파시, HN 추천 영상 6,454개 모은 HackerTube 공개: Opus 5.5로 2시간 제작 76세 남성 돌연사 전 웨어러블 심박 데이터에 계단식 변화가 나타난 JACC 증례 보고 뉴런 4개와 연결 2개로 빛을 좇는 가상 생물, 흥분성 배선을 억제성으로 바꾸면 돌진이 정지로 skeeto, C++·Dear ImGui로 만든 초경량 코딩 하네스 Prospero 공개 Lean 창시자 Leo de Moura, AI가 쓴 코드를 누가 증명하는가: 명세와 형식 검증의 부상 GCC switch lowering: 점프 테이블 임계값은 case당 약 8개, gcc가 못 찾는 8로 나누기와 perfect hash 부재 ESP32와 NFC로 만든 오픈소스 스토리 박스 Marelleo, 댓글은 LLM 문체 논쟁으로 번짐 Molly(Signal 포크), 7월 31일 릴리스 이후 3개월째 방치... 본가 Signal에서 고친 취약점 그대로 남아 비탈릭 부테린, X 인터페이스 떠나 Firefly로 옮기고 100일간 휴대폰 비행기 모드 실험 ChatGPT 공개 공유 링크만 열면 계정 탈취: MathLive postMessage와 YouTube JSONP를 엮은 샌드박스 우회 세르비아 총선서 학생 주도 '학생 명단' 250석 중 141석 확보, 의원 절반 이상이 박사나 의학박사 블랙홀 사진은 어떻게 찍었나: 지구 크기 전파망원경 EHT와 다음 목표인 블랙홀 동영상 출판사가 거부한 쥘 베른의 《20세기의 파리》, 131년 뒤 공개된 1960년 파리 예언 Firezone, sans-IO 설계의 Rust WireGuard 구현 sanstun 공개 가장 오래된 얼음이 녹으면서 노르웨이 산에서 5,000~6,000년 전 석기 시대 화살 48점이 나오기 시작 FurtherAI, 엔지니어 1인당 코드 변경 5배·AI 리뷰 99% 기록한 AI 네이티브 조직 9개월 Infinite Mac에서 BeOS R5까지 브라우저 실행, DingusPPC에 호환성 수정 다수 업스트림 Scribd 모회사 보안 사고 통지: 이메일·카드 끝 4자리·결제 내역 노출 가능, 10월 1일 공지 후 순차 발송 Cisco 사장, 27세 전 창업자에게 무제한 AI 토큰 주고 레거시 코드 98% 재작성 맡겨 헤드리스 브라우저 없이 Cloudflare Turnstile을 푸는 Rust 라이브러리 cfsolve 공개 패트릭 스튜어트 추모 TNG 에피소드 맞히기 게임, HN에 공개돼 에피소드 제목 난이도 논쟁 구글 리서치, LLM이 잠으로 지식을 굳히는 Sleep 프레임워크 공개 패트릭 스튜어트 별세, 보스턴글로브 두 기자가 돌아본 피카드의 지도자상과 취약함 스텔스 봇 금지법 반대 칼럼: 익명 크롤러 신원 공개 의무화가 나쁜 봇은 못 막고 언론 조사와 아카이빙을 겨눈다 NES 6502 CPU와 RAM, ROM을 Qwen3.5 가중치로 컴파일한 nesformer 공개, 실제 콘솔보다 150~290배 느림 Bunny CDN, 제공사 침해로 아르메니아 노드 폐기하고 TLS 인증서 전면 재발급 LaTeX 여백에 시드마다 다른 꽃을 키우는 Florilegium, Ghostscript가 인쇄 시점에 정원을 그림 AT Protocol 기반 분산 코드 포지 Tangled, bobbin 인덱서 11개 리전 배포와 knot2 Rust 재작성 공개 Mac OS 9.2.2가 Wii에서 부팅, ArtX 칩셋 클래식 맥 OS 포팅이 데스크톱까지 도달 Northflank 보안 침해: 전 사용자에게 환경변수 복호화 가정하고 키 교체 권고 AI가 SRE를 대체하는 게 아니라 실력을 퇴화시킨다는 1983년 '자동화의 역설' 재조명 Artificial Analysis v5 공개, 단일 지능 지수에 남는 벤치마크 딜레마 ICE 대신 나선 ZeroFox의 삭제 요구, 호스팅은 거부했지만 등록기관이 도메인을 죽였다 배치 파일로 실행하면 오류, 더블클릭하면 정상. 원인은 탐색기가 몰래 맞춰주던 현재 디렉터리 심장마비엔 5만 달러 내는 Medicare, 100달러짜리 CAC 검사는 안 된다 바이낸스 핫월렛서 20분 만에 63억 달러 탈취, 북한 TraderTraitor 의심 Azure API Connections 경로 순회로 타 테넌트 Key Vault·Azure SQL 장악, 취약점 5건에 포상금 $200,000 Cursor 마켓의 Claude Code VS Code 2.1.313, SSH 백도어 심은 채 배포됨 카사르·워터스, AI 버블 구제금융 반대 민주당 결의안 발의 게리맨더링 퍼즐 elect.horse 공개, HN은 gerrymandle 표절 논란과 색약 배색 문제로 갑론을박 Cuis, 단순함 내건 Smalltalk-80 환경... 7.8 안정판 공개에 Smalltalks 2026 발표 8건 Swift로 만든 선언적 웹 UI, WebAssembly로 브라우저에서 돌리는 ElementaryUI 공개 터미널에서 별자리를 그리는 Astroterm, C로 작성된 193커밋 오픈소스 ANSI/ASCII 아트 아카이브 16colo.rs, 해커뉴스에서 다시 화제 Pico CSS 유지보수 종료, v2.1.1이 마지막 릴리스... 저장소는 아카이브, npm과 CDN은 유지 Show HN: macOS 로컬 네트워크 권한 팝업을 자동으로 닫는 dontallow 에이전트 멀티플렉서 Herdr, 네이티브 데스크톱 앱 0.1.9 공개 스페인 고속철 추돌로 69명 사망, 관제센터가 속도 제한 없이 운행 재개 지시 Pico 2 W에서 게임을 꿈꾸고 직접 플레이하는 26k~131k 파라미터 월드모델 YC Labs, 마인크래프트에 GPT-6.1 에이전트 50개 투입해 3시간 문명 건설 실험 IPv4 주소 비중대로 국경을 다시 그리면: 36억 주소를 1억 3500만 km² 땅에 대응시킨 지도 PHP2Shell 체인으로 PAN-OS 방화벽 25대 루팅, 미 정부 관련 3대 포함 2016년 글 'H.264 is Magic' 재회자, 300프레임 영상이 PNG 한 장의 1/5 크기 마틴 파울러, LLM 초안은 문체가 남는다며 'LLM Voice' 경계 도어대시, 인스타카트를 170억 달러에 인수: 주당 65달러, 종가 대비 26% 프리미엄 아캄, 바이낸스 해커 지갑 71개에 $5.76B 표시... 서클·테더가 $2.4B 동결 미스트랄, 1조 파라미터 Mistral Large 4 가중치 공개, 가격 절반 인하에 오픈웨이트 코딩 1위 패트릭 스튜어트 별세에 HN 댓글창은 TNG 추억과 '검은 띠' 요청으로 가득 미국 2분기 배터리 저장 20.2GWh 신기록, 상반기 30.8GWh로 전년 대비 23% 증가 Brother 프린터 펌웨어에서 TRON T-Kernel 찾아내고 Telnet 디버그 접속 확보 Cartesia, 바이트 수준 H-Net 확장 법칙 공개: 학습된 토큰화만으로 컴퓨트 3-5배 절감 Nix를 TypeScript로 컴파일하는 jinx, nixpkgs 231,777개 속성에서 Nix와 똑같은 drvPath 재현 상수 나눗셈 floor division, 새 알고리즘이 ARM에서 10~20% 더 빠름 오렌지 차이, Pwn2Own 베를린 2026에서 논리 버그만으로 엣지 샌드박스 탈출해 $175,000 획득 WAP Push 문자 한 통에 안드로이드 통화 먹통, 구글은 '수정 안 함'OpenAI, 인터넷 끊은 AI 에이전트들이 CPU 캐시로 비밀 통신 채널 구축 Claude Code가 백그라운드 에이전트 요약에 토큰 지출 16%를 쓰고, Anthropic 개발자도 상태줄치고는 많다고 인정 옥스팜 "최상위 0.1%(800만 명) 탄소 배출이 최빈곤 35억 명 전체를 넘는다"MuPDF는 AES-256 키를 9비트 난수로 만들고, Foxit은 타임스탬프 해시로 만든다 영화 편집자 월터 머치가 손주들에게 설명한, 바늘꼬리기러기가 에베레스트 상공을 날 수 있는 이유 Cursor, 자사 에이전트 만든 프레임워크 Agent SDK 정식 출시... 코드로 정의하고 한 줄로 배포 Alpine Linux, GitLab 침해 시도에 인스턴스 전면 재구축: 19.3.6 업그레이드도 Ruby 패치 없어 무효 크레이그 호켄베리, 6주 요추천자와 28일 항암 주기 근황 공개 Formlabs, $699 레진 프린터 Form Studio 1 예약 개시... HN 2위에 오른 제품 페이지 Stack Overflow 월 신규 질문 1000건 아래로, 개설 이후 최저 Qwen3.5 4B 가중치 안에 RISC-V CPU를 컴파일, Gated DeltaNet 상태를 RAM으로 사용 NetBSD 커널에 Alpine 사용자공간을 얹은 AlpineBSD 공개, LLM 생성 코드 배제를 내세워 Surge AI가 세무 실무 50개 과제로 AI 에이전트 평가, 최고 통과율은 Claude Sonnet 5.5의 10.8%FCC, 아마존 레오의 Globalstar 115억 달러 인수 승인 캔버스 지문 스크립트에 리신 살상 용량 함수명과 숨겨진 프롬프트 인젝션, LLM 난독화 회피용이었다 수도사들이 5축 CNC로 고딕 성당 석재를 깎는다, Prussiani 장비로 몇 달 걸리던 조각을 며칠로 EMACS 50주년, MIT AI랩의 편집기에서 자유 소프트웨어 운동이 시작되다 매사추세츠 PCB 공장 로봇 The Grid, 선전 퀵턴보다 5일 빠르고 165달러 비싸다 켄터키 남성, AI 사용을 거부한 첫 인본주의자로 종교적 예외 인정 구글, Gemini 4 Carbon 발표... 터미널 벤치 부정행위 0.0%, 입력 100만 토큰 $2 Apple의 git과 curl, 10월 28일 현재까지 손상된 eMudhra 인증서를 신뢰. macOS 27.2는 수동 우회 조치까지 되돌려 1996년 애플 네트워크 서버에서 맥 OS 부팅 문제를 소프트웨어로 메우는 확장팩 v1.0 공개 1987년 애플 IIe BBS로 출발한 SDF, 40년째 NetBSD 공공 UNIX 시스템으로 무료 계정 운영 Fast Food Tycoon 2 역컴파일: GPT-6.1 에이전트가 4,046개 함수에서 렌더러와 조명 구조를 캐냄 NT 설계에 POSIX를 얹고 btrfs에서 self-hosting까지, hobby OS Moxnox 1.0 공개 Fesshole 운영자 Rob Manuel, ZX81 문자셋만으로 그린 농담 81개를 책으로 낸다 미국·캐나다 반딧불이, 멸종인가 관측 누락인가: 10년 무관측이면 '잃어버린 종'

skeeto, C++·Dear ImGui로 만든 초경량 코딩 하네스 Prospero 공개

nullprogram 블로그의 Chris Wellons(skeeto)가 C++과 Dear ImGui로 만든 코딩 하네스 Prospero를 공개. 다른 하네스보다 리소스를 약 100분의 1만 쓰면서 기능은 맞먹는다고 주장함
모델 제공자를 내장하지 않아 llama.cpp, OpenRouter, Anthropic API, OpenAI API를 직접 붙여야 하고 Claude 구독은 사용 불가. 설정은 ~/.config/prospero/prospero.ini 하나이며 URL include로 관리형 설정을 받아오되 셸 명령에 들어갈 수 있는 값은 제한함
에이전트가 서브에이전트를 만들어 병렬로 일하거나 컨텍스트를 비우고, SSH나 WSL로 헤드리스 사본을 다른 호스트에 배포함. 비전 모델로 데스크톱을 클릭·입력·드래그하는 데스크톱 제어를 지원함
Professional Edition은 x86, x86-64, ARM64 엔진을 macOS, Windows, Linux에 내장하고 Windows x86 엔진은 Windows XP에서도 돌아가며 솔리테어와 지뢰찾기를 실행함. 라이선스는 Unlicense임
ImGui의 vsync 재렌더링 대신 패시브 렌더링과 settle frame을 써서 유휴 시 GPU를 건드리지 않음. 밤새 작업을 돌렸더니 하네스가 자잘한 문제로 멈춰 있는 일이 많아 '영원히 기다리지 않기'를 내세움

Hacker News 의견들

UI 진짜 잘 짜여 있음. 한번 써봐야겠다.

공간 활용이 미쳤는데, 이 UI를 opencode나 codex app-server 프로토콜 위에 올릴 수 있으면 좋겠음.

Zed랑 비교하면 어떤 편인가?

UI도 별로고 프로 에디션이라는 대목에서 깼음. 우리 2000년대야?

난 반대로 2000년대라니 반가운데. 돈 없는 시절이라 쓸데없는 bloat 없이 딱 할 일만 했음. 빨리 써보고 싶음.

Dear ImGui로 인터페이스 만드는 사람들 좋아함. 글 전체를 읽어보니 의견이 뚜렷하고 개발자가 직접 겪은 걸 녹여낸 물건임. AI 툴 slopware 판에 이런 게 나오니 반갑더라.

본문엔 Windows, macOS, Linux 지원이라고 써 있는데 프로 에디션 구매 페이지엔 Windows, Mac만 있다고 되어 있음. 리눅스 바이너리는 안 파는 모양임.

Claude 구독은 왜 못 씀? 구독에 API 사용이 포함되지 않아서고, Anthropic은 자기 Claude Code에만 보조금 붙은 구독을 허용함. 다른 하네스로 갈아타기 너무 쉬우니 막는 거라는 분석도 있음.

Unlicense는 처음 봄. GitHub에 라이선스가 빠진 줄 알았는데 실제 라이선스였음. 근데 커뮤니티랑 프로 에디션이 뭐가 다른지, 프로 버전은 어디 숨겨놨는지 모르겠고 2026년에 C++ 코드베이스라는 것도 걸림.

리소스 가벼운 걸 원하면 터미널에서는 hax도 있음. 2MB도 안 되는 정적 리눅스 바이너리에 런타임 램 몇 MB만 씀.

근데 그거 만든 사람이면 밝혀야 하는 거 아님? 홍보 자체는 상관없는데 관례상 그렇고, 랜딩 페이지에 다른 경량 하네스랑 비교표 하나 있으면 좋겠음.

램 몇 MB 아끼는 게 무슨 의미가 있음? 로컬 모델 돌릴 램은 어차피 넘치는데. 사람들은 기능과 사용감으로 툴을 고르지 C 취미가 아니면 왜 씀?

Claude 구독이 워낙 싸게 풀려서 못 쓰는 하네스가 많음. 그래도 다른 거 써보라고. 자체 호스팅 AI의 자유를 고용주한테도 알려주면 됨.

작년엔 맥북이 리소스 부족하다고 느낀 적 없는데 요즘은 하네스 성능을 자꾸 생각하게 됨.

GUI 에이전트를 직접 만드는 중인데 TUI는 나한테 안 맞음. 에이전트가 쏟아낸 텍스트에서 일부를 클릭해 검색하고 옆으로 열고, 서브에이전트에 일부만 읽기 전용으로 맡기는 기능이 필요함. 체크박스가 없으니 고를 수도 없음.

LLM은 TUI가 딱 맞음. 텍스트 입력에 텍스트 출력이니 인터페이스가 그 이상 갈 이유가 없음.

Prospero는 PS5의 원래 코드명이라 동명 프로젝트가 널렸음. 왜 이렇게 겹치는 이름을 골랐는지 모르겠음.

JS로 만든 것에 데이터를 계속 던지다 OOM을 맞아보면 C 스택이 위대해짐. 예전 데스크톱 앱 시절의 감각이라 좋음.

요즘 다들 자기 하네스 만듦. 나도 만들었는데 opencode의 4% 리소스로 비슷한 TUI 스타일임.