Hacker News Show
원문 사이트 ↗Hacker News Show는 'Show HN' 카테고리로, 창업자·인디 해커가 자체 제작한 신규 제품을 공개하는 공간입니다. MVP 출시·프로덕트 데모·사이드 프로젝트 사례가 모이며 한국 인디 해커·창업 준비자에게 직접 영감을 주는 매체입니다.
Hacker News Show 주요 토픽
Hacker News Show 관련 글 — 36 페이지
- 2
Show HN: macOS 네이티브 마크다운 렌더링 엔진을 오픈 소스로 공개했습니다
SwiftMarkdownEngine은 macOS 환경에서 SwiftUI와 TextKit 2를 활용해 네이티브 성능과 미려한 스타일링을 제공하는 오픈 소스 마크다운 엔진입니다. 위키 링크, LaTeX, 코드 하이라이팅 등 고급 기능을 모듈식으로 지원하며 개발자가 필요한 기능만 선택적으로 구현할 수 있는 높은 확장성을 갖췄습니다.
Show HN: I open-sourced a macOS native Markdown rendering engine↗hacker-news.firebaseio.com
- 3
Show HN: CreditKit, Stripe 사용량 크레딧 엔진을 계속 재구축해왔어요
CreditKit은 Next.js, Supabase, Stripe를 활용하여 사용량 기반 크레딧 시스템과 결제 기능을 제공하는 SaaS 개발용 스타터 키트입니다. 특히 작업 실패 시 사용자에게 자동으로 환불을 처리하는 워커(worker) 기능까지 포함되어 있어 운영 자동화에 특화되어 있습니다.
Show HN: CreditKit, a Stripe usage-credits engine I kept rebuilding↗hacker-news.firebaseio.com
- 4
Show HN: HeimWall - 클로드나 커서에 붙여넣기 전에 비밀을 잡아내세요
HeimWall은 Mac 사용자를 위한 무료 메뉴바 앱으로, AI 프롬프트에 포함된 비밀번호, API 키, 개인정보(PII)를 클라우드 전송 전 로컬에서 즉시 탐지합니다. 모든 프로세스가 기기 내부에서만 수행되어 데이터 유출 걱정 없이 안전하게 AI 도구를 활용할 수 있도록 돕습니다.
Show HN: HeimWall – Catch secrets before you paste them into Claude or Cursor↗hacker-news.firebaseio.com
- 5
Show HN: 러스트에서 합성 가능한 숫자 변환을 위한 갈루아 연결
이 크레이트는 Rust의 기본 타입 캐스팅(`as` 연산자 등)이 가진 불투명한 반올림 및 포화(saturation) 동작을 수학적 법칙에 따라 명확하게 정의합니다. 개발자는 여러 단계의 수치 변환 과정을 컴파일 타임에 합성하여, 데이터 손실이나 오버플로우가 없는 안전한 변환 로직을 구축할 수 있습니다.
Show HN: Galois connections for composable numeric casts in Rust↗hacker-news.firebaseio.com
- 7
Show HN: 모든 코딩 작업을 수행하는 AI 에이전트, Forall - 머신 검증 가능한 증명 생성
Forall은 개발자가 작성한 사양(spec)을 바탕으로 코드를 생성할 뿐만 아니라, 해당 코드가 정확함을 증명하는 기계 검증 가능한 증명을 함께 제공합니다. CLI를 통한 독립적인 에이언트 활용과 MCP를 통한 기존 IDE 연동이라는 두 가지 방식을 지원하며 현재 TypeScript, Java, Rust 언어를 지원합니다.
Show HN: Forall – An AI coding agent that generates machine-checkable proofs↗hacker-news.firebaseio.com
- 14
Show HN: GHA에서 Rust를 위한 점진적 빌드 캐시 구축하기
이 기술은 Clipper 볼륨을 활용해 Rust의 target 디렉토리를 캐싱하고, -Z checksum-freshness 기능을 통해 변경된 파일만 효율적으로 재빌드하는 GitHub Action입니다. 기존 sccache 방식보다 약 30% 더 빠른 빌드 성능을 보여주며 개발자의 CI/CD 대기 시간을 크게 단축할 수 있습니다.
Show HN: An incremental build cache for Rust on GHA↗hacker-news.firebaseio.com
- 17
Show HN: Microcosm Industries - 시뮬레이션 장난감 및 소프트웨어 미세 세계
Microcosm Industries는 컴퓨팅 역사와 수학, 과학적 원리를 기반으로 한 다양한 시뮬레이션 소프트웨어를 소개하고 육성하는 프로젝트입니다. 도시 건설부터 우주 물리, 인공 생명체까지 복잡한 시스템을 단순화된 '장난감' 형태로 제공하며 관련 개발자들의 참여를 독려하고 있습니다.
Show HN: Microcosm Industries – Simulation toys and software microcosms↗hacker-news.firebaseio.com
- 18
Show HN: OpenJDK Panama FFM(Java 22)을 활용한 저지연 로컬 LLM 러너
libargus는 GGML과 llama.cpp를 기반으로 텍스트, 오디오, 비디오 파이프라인을 단일 네이티브 프로세스로 통합하는 고성능 AI 실행 런타임입니다. 특히 Java 22의 Project Panama를 통해 JVM 힙 메모리 오버헤드 없이 제로 카피(Zero-copy) 방식으로 대규모 멀티모달 데이터를 처리하여 극도로 낮은 지연 시간을 구현합니다.
Show HN: Low-latency local LLM runner via OpenJDK Panama FFM (Java 22)↗hacker-news.firebaseio.com
- 22
Show HN: Hedy의 실시간 회의 AI, Mac/Windows/iOS 기기에서 온디바이스 구동
Hedy 3.MS는 회의 녹음부터 요약, 노트 작성, 실시간 제안까지 모든 과정을 클라우드 서버를 거치지 않고 사용자의 기기 내에서만 처리하는 온디바이스 AI 기능을 도입했습니다. 이를 통해 데이터 유출 걱정 없이 법률, 의료, 언론 등 보안이 극도로 중요한 분야에서도 안전하게 AI 회의 보조 도구를 사용할 수 있게 되었습니다.
Show HN: Hedy runs its real-time meeting AI on-device (Mac/Windows/iOS)↗hacker-news.firebaseio.com














