fp.

Show HN: Agentic interface for mainframes and COBOL

https://www.hypercubic.ai/hopper

21•sai18•1h ago•4 comments

Show HN: Statewright – Visual state machines that make AI agents reliable

https://github.com/statewright/statewright

13•azurewraith•4h ago•1 comments

Show HN: Gigacatalyst – Extend your SaaS with an embedded AI builder

19•namanyayg•2h ago•7 comments

Show HN: Needle: We Distilled Gemini Tool Calling into a 26M Model

https://github.com/cactus-compute/needle

2•HenryNdubuaku•38m ago•0 comments

Show HN: OpenClaw OS – OSS Claude Cowork Built on Top of OpenClaw

https://github.com/thesysdev/openclaw-os

2•zahlekhan•44m ago•0 comments

Show HN: One-shot NAT traversal library

https://warpgate.io/

3•Uptrenda•1h ago•0 comments

Show HN: Profine – Profile and rewrite your PyTorch training loop on real GPUs

https://github.com/ProfineAI/profine-cli

3•aisinghal•1h ago•0 comments

Show HN: TikTok but for scientific papers

https://andreaturchet.github.io/website/index.html

172•ciwrl•1d ago•68 comments

Show HN: A modern Music Player Daemon based on Rockbox firmware

https://github.com/tsirysndr/rockbox-zig

111•tsiry•3d ago•24 comments

Show HN: Grunden – Frontier AI inference hosted in Sweden, OpenAI-compatible

https://grunden.ai

4•fsrc•3h ago•1 comments

Show HN: OpenGravity – A zero-install, BYOK vanilla JS clone of Antigravity

https://github.com/ab-613/opengravity

98•ab613•22h ago•30 comments

Show HN: E2a – Open-source email gateway for AI agents

https://github.com/Mnexa-AI/e2a

43•mnexa•22h ago•3 comments

Show HN: Formal Verification with Lean

https://www.daniellowengrub.com/blog/2026/04/30/lean

3•lowdanie•5h ago•0 comments

Show HN: Is Github Online?

https://isgithub.online/

5•vednig•5h ago•2 comments

Show HN: Doomscroll the Goverment's UFO Files as One Gigantic Microfilm

https://hypergrid.systems/war.gov-ufo-viewer/microfilm2?page=2

14•keepamovin•14h ago•7 comments

Show HN: How Scaleway brought the first RISC-V servers to the cloud

https://www.scaleway.com/en/blog/risc-v-servers-in-the-cloud/

4•enthusaist•6h ago•0 comments

Show HN: Music visualizers that react to audio in real time

https://vizz.fm/app/

6•lowtecky•6h ago•1 comments

Show HN: I mage GhosttyFX, a JavaFX terminal view that uses libghostty

https://github.com/vlaaad/ghosttyfx/

3•vlaaad•7h ago•1 comments

Show HN: An index of indie web/blog indexes

https://theindex.fyi

144•rocketpastsix•2d ago•40 comments

Show HN: I made a Clojure-like language in Go, boots in 7ms

https://github.com/nooga/let-go

270•marcingas•3d ago•83 comments

Show HN: Countries where you can leave your MacBook at a random coffee shop

https://vouchatlas.com

71•canergl•2d ago•86 comments

Show HN: Rust but Lisp

https://github.com/ThatXliner/rust-but-lisp

207•thatxliner•2d ago•72 comments

Show HN: Java/Spring Boot Idempotency Library

https://github.com/josipmusa/idempotency4j

2•anaq42•10h ago•1 comments

Show HN: adamsreview – better multi-agent PR reviews for Claude Code

https://github.com/adamjgmiller/adamsreview

81•adamthegoalie•1d ago•50 comments

Show HN: Safe-install – safer NPM installs with trusted build dependencies

https://www.npmjs.com/package/@gkiely/safe-install

17•gkiely•18h ago•3 comments

Show HN: I built a fair-price checker App for home repairs using BLS wage data

https://apps.apple.com/us/app/quotebuster/id6765996986

4•manojtrek•11h ago•0 comments

Show HN: Building a web server in assembly to give my life (a lack of) meaning

https://github.com/imtomt/ymawky

422•imtomt•2d ago•223 comments

Show HN: Tessera – Turn coding agent sessions into structured work

https://github.com/horang-labs/tessera

4•horanglabs•13h ago•0 comments

Show HN: TRUST – Coding Rust like it's 1989

https://github.com/wojtczyk/trust

170•wojtczyk•5d ago•87 comments

Show HN: A geocities inspired place for your vibed tools

https://www.tinytooltown.com/

7•shanselman•22h ago•4 comments