Show - HN Paper

Show HN: ReverseYC

Show HN: NeZha – An Open-Source Agentic Development Environment (ADE)

Show HN: A personality first matchmaking app

Show HN: Formal – Formal verification for AI-generated code using Lean 4

Show HN: What's SBTI

Show HN: Terminal Style Web Component

Show HN: ApplePy – Embed and Call Swift from Python (Like PyO3, but for Swift)

Show HN: PrepLists – a directory of 500 prep centers and 3PLs for sellers

Show HN: Telegram feed reader using DNS TXT records for Iran's Internet shutdown

Show HN: Kafkaesque – a wire-compatible mock Kafka

Show HN: Homebutler – Verify your backups restore, automatically

Show HN: Oberon System 3 runs natively on Raspberry Pi 3 (with ready SD card)

Show HN: Ghapin – Tool to pin GitHub Actions to SHAs for supply-chain security

Show HN: SpecSource – AI That Writes Linear Specs from Sentry, GitHub, & Slack

Show HN: Real-Time OLAP Infrastructure

Show HN: Chunk – macOS menu bar time-blocking app with Claude AI integration

Show HN: OIFI Databook: An intelligence database of Iran's power structure

Show HN: Android AI agent-assistant operating your apps (no adb,PC,root,etc.)

Show HN: Uncook, the Social Network for Food

Show HN: Reverse-engineered Cursor tab completion client

413 414 415 416 417 418 419 420 421 422