Hacker News Show
원문 사이트 ↗Hacker News Show는 'Show HN' 카테고리로, 창업자·인디 해커가 자체 제작한 신규 제품을 공개하는 공간입니다. MVP 출시·프로덕트 데모·사이드 프로젝트 사례가 모이며 한국 인디 해커·창업 준비자에게 직접 영감을 주는 매체입니다.
Hacker News Show 주요 토픽
Hacker News Show 관련 글 — 89 페이지
- 2
Show HN: Salt - 컴파일러에 Z3 정리를 통합한 시스템 언어
Salt는 Z3 정리를 활용해 컴파일 타임에 배열 경계 검사 등 수학적 증명을 수행하는 시스템 프로그래밍 언어입니다. 가비지 컬렉션이나 복잡한 소유권 규칙 없이도 Clang -O3와 대등한 성능을 유지하며, Llama 2 엔진부터 마이크ر커널까지 다양한 프로젝트를 통해 그 실효성을 입증하고 있습니다.
Show HN: Salt – a systems language with Z3 theorem proving in the compiler↗hacker-news.firebaseio.com
- 3
Show HN: Curvytron 2, 내가 10년 만에 브라우저 파티 게임을 다시 만들었다
개발자가 10년 만에 다시 제작한 브라우저 기반 멀티플레이어 파티 게임 'Curvytron 2'가 공개되었습니다. 트론(Tron)과 스네이크(Snake) 스타일의 게임 플레이를 통해 별도의 설치 없이 웹 브라우저에서 친구나 동료들과 실시간으로 즐길 수 있는 것이 특징입니다.
Show HN: Curvytron 2, I rewrote my browser party game, 10 years later↗hacker-news.firebaseio.com
- 4
Show HN: ICMP Destination Unreachable 패킷을 이용한 NAT 통과
이 기술은 ICMP Destination Unreachable 패킷 내부에 원래의 UDP 헤더와 데이터를 포함시켜 NAT를 통과하는 방식을 제안합니다. 기존에 생성된 UDP 매핑을 활용하여 서버가 클라이언트로부터 데이터를 수신할 수 있게 하며, 다양한 모바일 및 공용 Wi-Fi 환경에서 동작이 검증되었습니다.
Show HN: Nat traversal using ICMP Destination Unreachable packets↗hacker-news.firebaseio.com
- 5
TS 컴파일러 그래프 MCP를 만들어 봤습니다: Claude Code와 Codex에서 토큰 사용량 10배 감소
@ttsc/graph는 TypeScript 컴파일러를 활용해 코드의 의존성과 호출 관계를 그래프로 구축하여 AI 에이전트에게 전달하는 MCP 서버입니다. 이를 통해 AI가 전체 파일을 읽지 않고도 구조적 질문에 정확히 답할 수 있게 하여, 대규모 프로젝트에서의 토큰 비용과 컨텍스트 문제를 획기적으로 해결합니다.
Show HN: I Made TS Compiler Graph MCP: 10x Fewer Tokens in Claude Code and Codex↗hacker-news.firebaseio.com
- 9
Show HN: Reminal - 설정 제로의 모바일 친화적인 SSH 대안
Reminal은 기존 SSH의 고질적인 문제인 네트워크 설정과 보안 관리 부담을 해결하기 위해 Cloudflare Workers를 활용한 엔드투엔드 암동화 터미널 솔루션입니다. 별도의 포트 개방 없이 QR 코드 스캔만으로 모바일이나 브라우저에서 즉시 서버 제어가 가능하며, 연결이 끊겨도 세션이 유지되는 강력한 복원력을 제공합니다.
Show HN: Reminal – A zero-config SSH alternative that's also mobile friendly↗hacker-news.firebaseio.com
- 11
LIBR 추적: 소스 리지(ledger) 행과 바이트 단위 정확한 PDF 검증 (Show HN)
이 글은 금융 거래 내역을 순차적으로 재현하여 특정 자산의 추적 가능 금액을 계산하는 LIBR 기술의 결정론적 모델을 설명합니다. 입금과 출금 과정에서 발생하는 잔액 감소(dip)가 이후의 입금으로 복구되지 않는 비재충전(non-replenishment) 로직을 상태 머신 형태로 구현하여 회계적 검증 가능성을 확보했습니다.
Show HN: LIBR tracing with source ledger rows and byte-exact PDF verification↗hacker-news.firebaseio.com
- 12
Show HN: 콘트라스트 언어-오디오 사전 학습을 이용한 기계적 결함 분류
cardiag는 유튜브나 틱톡 등에서 수집된 소음 섞인 오디오를 정제하여 자동차 결함 여부와 위치, 부품을 추론하는 엔드투엔드 머신러닝 파이프라인입니다. 단순한 진단을 넘어 모델이 판단하기 어려운 경우 '불확실'이라고 응답하도록 설계되어 신뢰성을 높였으며, 소음 제거 및 임베딩 기술의 재사용 가능성에 초점을 맞추고 있습니다.
Show HN: Classify mechanical faults using Contrastive Language-Audio Pretraining↗hacker-news.firebaseio.com
- 14
Show HN: AnalystAI Pack - 멀웨어 분석 및 리버스 엔지니어링을 위한 118가지 실행 가능한 AI 에이전트 스킬
AnalystAIPack은 멀웨어 분석 및 위협 탐지 과정을 자동화하기 위해 설계된 118개의 전문 AI 에이전트 스킬 라이브러리입니다. 단순한 프롬프트 모음이 아니라, 실제 실행 가능한 Python 스크립트를 포함하여 보안 전문가의 워크플로우를 체계적으로 지원합니다.
Show HN: AnalystAIPack – 118 runnable agent skills for malware analysis and RE↗hacker-news.firebaseio.com
- 15
Show HN: Pglayers - PostgreSQL 확장 기능을 스태커블한 Docker 레이어로
Pglayers는 공식 PostgreSQL Docker 이미지 위에 필요한 확장 기능(pgvector, PostGIS 등)을 스태커블한 레이어로 쌓아 커스텀 이미지를 빌드할 수 있게 해주는 솔루션입니다. 사용자는 복잡한 컴파일 과정 없이 `COPY --from` 명령어 한 줄로 최적화된 데이터베이스 환경을 구축하거나, 미리 구성된 프로필을 즉시 사용할 수 있습니다.
Show HN: Pglayers – PostgreSQL extensions as stackable Docker layers↗hacker-news.firebaseio.com
- 16
Show HN: AI 에이전트가 취약한 의존성을 피하는 데 도움이 되는 CLI
deptrust는 npm, PyPI, Cargo 등 광범위한 언어 및 프레임워크 생태계의 패키지 버전을 검사하여 알려진 취약점을 찾아내는 오픈소스 보안 도구입니다. 특히 AI 에이전트가 최신 보안 상태를 확인하며 안전한 의존성을 선택할 수 있도록 돕는 MCP(Model Context Protocol) 서버 기능을 지원합니다.
Show HN: CLI that helps AI agents avoid vulnerable dependencies↗hacker-news.firebaseio.com
- 19
Show HN: 의도를 결정론적 DAG로 컴파일하여 실행하는 코딩 에이전트
Rigorix는 기존 AI 코딩 에이전트의 예측 불가능성과 통제 불과성 문제를 해결하기 위해 계획(Planning)과 실행(Execution) 단계를 분리합니다. 자연어 의도를 검증 가능한 DAG 구조로 변환하여, 정책 준수와 예산 제한 내에서 반복 가능하고 감사 가능한 자동화된 코드 생성을 지원하는 것이 핵심입니다.
Show HN: Coding agent that compiles intent into deterministic DAG before running↗hacker-news.firebaseio.com
- 21
Show HN: OM Core - 스프레드시트 셀 수식 없이 다차원 모델을 구축하는 방법
OM Core는 기존 스프레드시트가 가진 셀 주소 의존적 로직의 취약성을 해결하기 위해 설계된 다차원 모델링 엔진입니다. 차원, 큐브, 규칙, 뷰를 분리하여 비즈니스 로직을 셀 좌표가 아닌 의미론적 주소로 정의함으로써 데이터 모델의 유지보수성과 감사 가능성을 극대화합니다.
Show HN: OM Core – multidimensional models without spreadsheet cell formulas↗hacker-news.firebaseio.com
- 22
Show HN: Kage, Google의 OKF 에이전트 메모리 검증 및 최신성 유지 솔루션
Kage는 Google Cloud의 OKF(Open Knowledge Format)를 기반으로, AI 에이전트가 참조하는 메모리가 실제 코드와 일치하는지 실시간으로 검증하고 업데이트합니다. 단순한 기억 저장을 넘어, 코드 변경 시 발생하는 정보 불일치를 감지하여 잘못된 정보를 사전에 차단하는 검증 레이어 역할을 수행합니다.
Show HN: Kage, verification and freshness for Google's OKF agent memory↗hacker-news.firebaseio.com
- 23
Show HN: Morph Reflexes - 에이전트 추적을 위한 멀티 헤드 분류기
Morph Reflexes는 AI 에이전트의 루핑이나 추론 오류 같은 행동적 실패를 감지하기 위해 설계된 멀티헤드 분류기입니다. vLLM 기반의 커스텀 엔진을 통해 하나의 백본 모델로 여러 신호를 동시에 처리함으로써, 기존 LLM-as-a-judge 방식보다 훨씬 빠르고 저렴하게 에이전트 성능을 모니터링할 수 있습니다.
Show HN: Morph Reflexes – Multi-head classifiers for agent traces↗hacker-news.firebaseio.com









