Hacker News Show
원문 사이트 ↗Hacker News Show는 'Show HN' 카테고리로, 창업자·인디 해커가 자체 제작한 신규 제품을 공개하는 공간입니다. MVP 출시·프로덕트 데모·사이드 프로젝트 사례가 모이며 한국 인디 해커·창업 준비자에게 직접 영감을 주는 매체입니다.
Hacker News Show 주요 토픽
Hacker News Show 관련 글 — 31 페이지
- 1
Show HN: Ensemble Prover - 오픈 소스 Python 자율 정리표준 증명기
Ensemble Prover는 언어 모델의 증명 탐색과 Lean의 정형 검증을 결합한 연구용 자율 정리 증명기입니다. GPT-5, DeepSeek-V4 등 다양한 모델을 활용해 복잡한 수학적 목표를 분해하고 검증된 증명을 생성하며, 이미 65개의 Putnam 문제를 해결하는 성과를 보였습니다.
Show HN: Ensemble Prover - Open-Source Python Autonomous Theorem Prover↗hacker-news.firebaseio.com
- 2
Show HN: WiringPi 3.20 – Raspberry Pi용 업데이트된 GPIO 라이브러리
WiringPi 3.20은 Raspberry Pi 5를 포함한 다양한 라인업을 지원하는 고성능 GPIO 액세스 라이브러리의 최신 업데이트 버전입니다. DMA 방식을 통해 하드웨어 레지스터에 직접 접근함으로써 최소한의 지연 시간과 최대의 성능을 보장하며, C 언어 기반의 강력한 제어 기능을 제공합니다.
Show HN: WiringPi 3.20 – Updated GPIO Library for Raspberry Pi↗hacker-news.firebaseio.com
- 4
Show HN: Radia – 리스, 권한 및 출처를 활용한 에이전트 조정
Radia는 에이전트 간의 직접적인 호출 대신 불변의 기록(Records)을 통해 작업을 전달하고 관리하는 협업 프레임워크입니다. 각 작업의 작성자, 권한, 데이터 계보를 투명하게 기록함으로써, 서로 다른 팀이나 서비스에서 운영되는 에이전트들이 안전하게 연동될 수 있는 환경을 구축합니다.
Show HN: Radia – agent coordination with leases, permissions and provenance↗hacker-news.firebaseio.com
- 6
Show HN: LibPolyCall – 여러 언어 간 함수 호출을 위한 C 런타임 브로커
LibPolyCall은 Python, Node.js, Java, Go 등 다양한 언어 간의 통신을 단일 프로토콜로 통합하는 '프로그램 우선(Program-first)' 아키텍처를 지향하는 C 런타임 브로커입니다. 제로 트러스트 보안 모델과 실시간 텔레메트리 기능을 결합하여, 언어 간 파편화로 발생하는 개발 비용을 줄이고 시스템의 가시성을 극대화하는 것을 목표로 합니다.
Show HN: LibPolyCall – a C runtime broker for cross-language function calls↗hacker-news.firebaseio.com
- 9
Show HN: WordPress 검색 및 바꾸기 기능, 직렬화 데이터 손상 없이
WordPress 데이터베이스 작업 시 발생할 수 있는 데이터 손상을 방지하는 새로운 플기인 'Lucid Search & Replace'가 출시되었습니다. 이 도구는 직렬화된 데이터와 JSON 내의 URL 구조를 정확히 인식하여 안전하게 변경하며, 실행 전 미리보기와 자동 백업 기능을 통해 작업의 안정성을 극대화합니다.
Show HN: WordPress search and replace that doesn't corrupt serialized data↗hacker-news.firebaseio.com
- 10
Show HN: NGPDFs – 파일 업로드 없이 사용할 수 있는 50가지 PDF 도구
NGPDFs는 WebAssembly와 Web Workers 기술을 활용해 서버 업로드 없이 브라우저 내에서 50가지 이상의 PDF 관련 기능을 제공하는 서비스입니다. 파일이 사용자의 기기를 떠나지 않아 보안성이 뛰어나며, 별도의 가입이나 워터마크 없이 오프라인에서도 사용 가능한 PWA 형태를 띠고 있습니다.
Show HN: NGPDFs – 50 PDF tools that never upload your files↗hacker-news.firebaseio.com
- 11
Show HN: Bridle: 동료 에이전트에게 에이전트 컨텍스트 전달하기
Bridle은 서로 다른 AI 에이전트(Cursor, Claude Code 등)가 안전하게 컨텍스트를 공유하고 작업을 전달할 수 있도록 돕는 CLI 기반의 통신 프로토콜입니다. 사용자가 정의한 정책(Policy)에 따라 권한을 부여받은 에이전트끼리만 데이터와 명령을 주고받을 수 있어, 에이전트 간의 신뢰 기반 협업을 지원합니다.
Show HN: Bridle: hand your agent's context to a coworker's agent↗hacker-news.firebaseio.com
- 12
Show HN: MesaOS – Rust로 처음부터 작성된 운영체제
MesaOS는 Rust로 처음부터 작성된 64비트 하이브리드 커널 운영체제로, Linux 커널의 400개 이상의 심(Shim)을 통해 기존 드라이버와의 호환성을 확보했습니다. 특히 개발 과정에서 LLM을 코딩 도구로 활용하고 인간이 설계와 디버깅을 담당하는 'AI-Augmented' 개발 방식을 채택한 것이 특징입니다.
Show HN: MesaOS – An operating system written from scratch in Rust↗hacker-news.firebaseio.com
- 13
Show HN: Sirenfall, Web Audio로 합성된 민방위 경보 시스템
Sirenfall은 녹음된 파일을 재생하는 대신 Web Audio API를 통해 5점 15Hz와 618Hz의 두 톤을 실시간으로 합성하여 민방위 사이렌 소리를 구현한 브라우저 기반의 인터랙티브 씬입니다. 사용자는 브라우저 내에서 비 내리는 도시의 풍경과 함께 사이렌, 빗소리, 천둥소리 등을 상호작용하며 경험할 수 있습니다.
Show HN: Sirenfall, a civil defense siren synthesized in Web Audio↗hacker-news.firebaseio.com
- 18
Show HN: FontWizard, UI와 앱의 모든 곳에서 Windows 시스템 글꼴 변경하기
FontWizard는 기존의 레지스트리 해킹이나 단순 툴이 해결하지 못했던 최신 Windows 앱들의 글꼴 불일치 문제를 해결하는 시스템 폰트 체인저입니다. Python과 PySide6로 구축되었으며, 시스템 아이콘 깨짐을 방지하면서도 모든 프레임워크의 글꼴을 통합적으로 제어할 수 있습니다.
Show HN: FontWizard, Change Windows system font everywhere in UI and apps↗hacker-news.firebaseio.com
- 19
Show HN: Windrunner – AI 기반 프로젝트 협업 워크스페이스
Windrunner는 프로젝트의 진행 상황, 결정 사항, 장애물을 통합 관리하는 AI 기반 협업 플랫폼입니다. 사용자가 자신의 AI 모델을 연결하여 사용할 수 있는 'Bring your own AI' 기능과 MCP를 통한 에이전트 연동, 그리고 데이터 보안을 위한 셀프 호스팅 옵션을 제공하는 것이 특징입니다.
Show HN: Windrunner – AI-powered project collaboration workspace↗hacker-news.firebaseio.com
- 20
Show HN: Big-b-router – Osmand 또는 Comaps에서 ALPR 회피를 위해 OSM 지도를 편집하세요
이 도구는 Python 기반의 데이터 처리 과정을 통해 OSM PBF 파일에서 특정 도로를 제거하거나 가중치를 부여하여, OsmAnd나 Comaps 같은 앱에서 사용할 수 있는 맞춤형 지도 파일을 생성합니다. 사용자는 이를 통해 카메라 감시를 피하는 오프라인 경로 안내를 구현할 수 있습니다.
Show HN: Big-b-router – Edit OSM maps to avoid ALPRs in Osmand or Comaps↗hacker-news.firebaseio.com
- 22
Show HN: Cmdxray – 셸 명령어 설명, 오프라인, 공유 카드와 함께
Cmdxray는 웹 기반 도구와 달리 로컬 환경에서 실행되어 보안성이 뛰어나며, 사용자의 시스템에 설치된 man 페이지를 직접 참조하여 정확한 명령어 설명을 제공합니다. 또한 분석된 명령어를 SVG나 HTML 형태의 공유 가능한 카드로 생성할 수 있어 협업과 교육에 유용합니다.
Show HN: Cmdxray – explain any shell command, offline, with a shareable card↗hacker-news.firebaseio.com
- 23
Show HN: AQ – 개인 클라우드에서 코딩 에이전트를 위한 멀티플레이어 작업 공간
AQ는 개인 클라우드나 전용 VM에서 실행되는 멀티플레이어 에이전트 개발 환경으로, 팀원들이 실시간으로 코딩 에이전트의 작업을 관찰하고 개입할 수 있는 기능을 제공합니다. Claude Code나 Cursor 같은 에이전트를 자신의 계정으로 연결해 사용하며, 별도의 모델 사용료 마크업 없이 효율적인 에이전트 기반 워크플로우를 구축할 수 있습니다.
Show HN: AQ – A multiplayer workspace for coding agents on your own cloud↗hacker-news.firebaseio.com








