1. Show HN: Spellfolio – my stock market game with news events and inside info (www.spellfolio.com)
A high-stakes sci-fi financial terminal infused with mystical tabletop mechanics.
2. Show HN: Overplane: Containers and formal verification for AI code (www.overplane.dev)
Overplane is an AI code generation and build system that verifies and safely compiles plain-language specs into working, verified code. Container-sandboxed agents, replayable builds, and multi-agent support.
4. There's no way this bond market can fund the markets needs without higher yields (www.youtube.com)
Mohamed El-Erian, The Wharton School Rene Kern professor and Allianz chief economic advisor, joins 'Squawk Box' to discuss the latest market trends, impact o...
6. Show HN: Level – a new demo for 8bit Atari XL/XE (ilmenit.github.io)
Click the screenshot to start playing in the browser.
7. Show HN: Hologram, photo management and culling built with Tauri (github.com)
Pro-grade photo gallery. Contribute to ThatXliner/Hologram development by creating an account on GitHub.
9. Show HN: Raftig – Plant Breeding X Naval Combat Roguelike (raftig.seldoncortex.com)
10. SHOW HN: Every Repo as a Unique Galaxy (gitgalaxy.io)
11. Show HN: Remove Watermarks from Any Image (watermarkremoverai.com)
Remove watermarks from images instantly using AI. Free, fast, and preserves quality. No signup required.
12. Show HN: DashApply – Your Complete Job Search Toolkit (dashapply.ai)
Automate your job applications with AI-powered resume tailoring, one-click apply, and smart tracking.
13. Show HN: The Polyglot (crux.quest)
Five phrases, four choices each. Listen and guess the language.
14. Show HN: Technical-debt score for dbt projects on Snowflake/BigQuery/Redshift (github.com)
A technical-debt scorecard for dbt projects on Snowflake, BigQuery, and Redshift. Finds unused models, columns, orphaned tables, and undeclared sources from query history. Reports only, never modif...
15. Show HN: UniFi OS Server in Docker (github.com)
Contribute to unihosted/unifi-os-server-docker development by creating an account on GitHub.
17. Show HN: Cpulse – See why your Docker Compose stack is stuck (github.com)
See why your Docker Compose stack is stuck — live TUI for depends_on graphs and root-cause diagnosis. - hyturing/compose-pulse
19. Show HN: Sleep external displays connected to a MacBook after closing lid (github.com)
Sleep a docked MacBook when its lid closes. Contribute to KristijanKocev/lidwatch development by creating an account on GitHub.
20. Show HN: A reproducible harness for catching agent-eval cheating (github.com)
Why trustworthy agent evals need per-task isolation, shown live on Tensorlake microVM sandboxes - sebuzdugan/agent-eval-harness
21. Show HN: Phlox-GW – Open-source LLM gateway without the enterprise paywall (robert-mcdermott.github.io)
One self-hosted gateway for every LLM provider. SSO, chargeback, budget enforcement, guardrails, and clustering — every feature open source, free forever.
22. Show HN: FOMO – a browser extension that tells your team what they're missing (usefomo.co)
Know what your community is paying attention to.
23. Show HN: ParsOS Desk, a GUI operation system built with Cosmos in C# (github.com)
Build your own mobile OS! A full-featured Mobile OS Simulator built with Python and Pygame. - amirali1390-bit/ParsOS-NEXT
24. Show HN: Ankole – Claude Tag open source alternative (github.com)
Ankole is an open-source, self-hosted AgentOS for shared AI colleagues. Claude Tag open source alternative. - AgentBull/ankole
25. Show HN: Find Remote Accounting Jobs (findremoteaccountingjobs.com)
Browse remote accounting and finance jobs only. Find accountant, bookkeeping, payroll, tax, audit, controller, and financial analyst roles. Updated daily...
26. Show HN: Crucible – your AI wrote the tests, so who tested the tests? (github.com)
Adversarial test-hardening for AI-written code: a Tester writes tests, mutation testing finds what they miss, a Critic kills the named survivors. Mechanical verdicts, mutation-kill receipts, $0 on ...
27. Show HN: Connect a voice agent to your phone as a Bluetooth headset with a ESP32 (github.com)
Connect a voice agent to your phone as a Bluetooth headset with a sub-$20 ESP32 - michaellee8/esp32-bluetooth-voice-agent
28. Show HN: Rejit (github.com)
A linear-time regular-expression engine (Pike VM) built from scratch. Immune to ReDoS: it runs (a+)+$ in microseconds where Python's re takes 34 seconds. Verified against re over 90k random cas...
29. Show HN: A prompt to make LLMs write property-based tests (github.com)
Contribute to e35zhang/property-testing-skill development by creating an account on GitHub.
30. Show HN: Harpist – convert any website into a refined and documented API (harpist.site)
Harpist records website traffic and turns it into replayable, agent-ready API documentation.