Show HN: Compare Speech APIs Live (OpenAI, Google, Deepgram, Soniox, etc.) (soniox.com)

3 points by easwee 36m ago 1 comments

Show HN: Bedrock – An 8-bit computing system for running programs anywhere (benbridle.com)

149 points by benbridle 4d ago 37 comments

Show HN: VS Code extension to edit the filesystem like a text buffer (github.com)

31 points by hexomancer 2d ago 21 comments

Show HN: The HTML Maze – Escape an eerie labyrinth built with HTML pages (htmlmaze.com)

48 points by kyrylo 14h ago 12 comments

Show HN: Minesweeper game I built to be real-time Multiplayer (minesweeperpro.com)

2 points by bluelegacy 3h ago 0 comments

Show HN: Weekday clock, a clock for people who dont work or go to school (weekdayclock.1link.fun)

4 points by wenjian 3h ago 3 comments

Show HN: Create Frame Mockups Without Photoshop (framecanvas.app)

2 points by dizzierhys 4h ago 0 comments

Show HN: Ten years of running every day, visualized (nodaysoff.run)

889 points by friggeri 4d ago 453 comments

Show HN: Timep – a next-gen profiler and flamegraph-generator for bash code (github.com)

2 points by jkool702 4h ago 0 comments

Show HN: ArchGW – An intelligent edge and service proxy for agents (github.com)

109 points by honorable_coder 2d ago 15 comments

Show HN: Refine – A Local Alternative to Grammarly (refine.sh)

388 points by runjuu 1d ago 198 comments

Show HN: FFmpeg in plain English – LLM-assisted FFmpeg in the browser (vidmix.app)

162 points by bjano 4d ago 45 comments

Show HN: LockIn – Track and visualize wasted time on iPhone (apps.apple.com)

3 points by SidDaigavane 6h ago 0 comments

Show HN: A Raycast-compatible launcher for Linux (github.com)

188 points by ByteAtATime 1d ago 60 comments

Show HN: StartupList EU – A public directory of European startups (startup-list.eu)

7 points by umbertotancorre 15h ago 4 comments

Show HN: Learn LLMs LeetCode Style (github.com)

173 points by Exorust 1d ago 21 comments

Show HN: Phasers – emergent AI identity project using GPT-2 and memory shadows (github.com)

3 points by oldwalls 11h ago 0 comments

Show HN: Self-hosted task management with 24-languages support (tududi.com)

3 points by cvicpp123 12h ago 0 comments

Show HN: Forge – Connect multiple AI models through a single API (tensorblock.co)

4 points by tensorblock 13h ago 0 comments

Show HN: I built an LLM chat app because we shouldn't need 10 AI subscriptions (prismharmony.com)

55 points by maniknt28 2d ago 63 comments

Show HN: I made a JSFiddle-style playground to test and share prompts fast (langfa.st)

49 points by eugenegusarov 2d ago 17 comments

Show HN: Vibe Kanban – Kanban board to manage your AI coding agents (github.com)

190 points by louiskw 3d ago 130 comments

Show HN: Assholes who care. Vetting gofundme campaigns in Uganda Africa (assholeswhocare.com)

3 points by jimmyfixit 17h ago 1 comments

Show HN: Pangolin – Open source alternative to Cloudflare Tunnels (github.com)

492 points by miloschwartz 4d ago 122 comments

Show HN: PlutoFilter- A single-header, zero-allocation image filter library in C (github.com)

8 points by sammycage 1d ago 0 comments

Show HN: Google Maps can't map a story – MapScroll does, from one prompt (mapscroll.ai)

7 points by shekharupadhaya 18h ago 5 comments

Show HN: OffChess – Offline chess puzzles app (offchess.com)

367 points by avadhesh18 7d ago 169 comments

Show HN: Portia – A stateful Crew AI alternative, with auth and 1000 tools (github.com)

15 points by mounir-portia 19h ago 5 comments

Show HN: RULER – Easily apply RL to any agent (openpipe.ai)

79 points by kcorbitt 3d ago 11 comments

Show HN: Native Zero-JDK (zero-jdk.dev)

4 points by julien-may 19h ago 0 comments

Show HN: Goliteql – A fast GraphQL executor and code generator in Go (github.com)

5 points by n9te9 21h ago 0 comments

Show HN: ZeroFS: The S3FS that does not suck (github.com)

9 points by riccomini 12h ago 0 comments

Show HN: DesignArena – crowdsourced benchmark for AI-generated UI/UX (designarena.ai)

89 points by grace77 2d ago 27 comments

Show HN: I built a toy music controller for my 5yo with a coding agent (github.com)

37 points by JeffMcCune 6d ago 17 comments

Show HN: I built this to talk Danish to my girlfriend – works with any language (menerdu.vercel.app)

30 points by lil_csom 1d ago 19 comments

Show HN: c0admin – A terminal-based AI assistant for Linux sysadmins (github.com)

8 points by ufuayk 1d ago 2 comments

Show HN: Pyhoff – Connect Python ML Models to Beckhoff/WAGO IO Hardware (github.com)

16 points by Saloc 5d ago 4 comments

Show HN: FlopperZiro – A DIY open-source Flipper Zero clone (github.com)

361 points by iraton 5d ago 73 comments

Show HN: Cactus – Ollama for Smartphones (github.com)

227 points by HenryNdubuaku 4d ago 82 comments

Show HN: I made a free tool to sync Strava activities with your calendar (stravatocalendar.com)

11 points by pepperonipboy 1d ago 4 comments

Show HN: CXXStateTree – A modern C++ library for hierarchical state machines (github.com)

48 points by zigrazor 8d ago 36 comments

Show HN: MCP server for searching and downloading documents from Anna's Archive (github.com)

254 points by iosifache 5d ago 79 comments

Show HN: Interactive pinout for the Raspberry Pi Pico 2 (pico2.pinout.xyz)

148 points by gadgetoid 7d ago 34 comments

Show HN: NYC Subway Simulator and Route Designer (buildmytransit.nyc)

201 points by HeavenFox 7d ago 32 comments

Show HN: Open source alternative to Perplexity Comet (browseros.com)

287 points by felarof 4d ago 120 comments

Show HN: I wrote a "web OS" based on the Apple Lisa's UI, with 1-bit graphics (alpha.lisagui.com)

515 points by ayaros 8d ago 141 comments

Show HN: I built a playground to showcase what Flux Kontext is good at (fluxkontextlab.com)

72 points by Zephyrion 5d ago 20 comments

Show HN: Typeform was too expensive so I built my own forms (ikiform.com)

185 points by preetsuthar17 5d ago 93 comments

Show HN: asyncmcp – Run MCP over async transport via AWS SNS+SQS (github.com)

35 points by bharatgel 4d ago 4 comments

Show HN: BreakerMachines – Modern Circuit Breaker for Rails with Async Support (github.com)

44 points by seuros 9d ago 19 comments

Functional Abstract Interpretation

4 matt_d 0 7/15/2025, 12:10:49 AM simon.peytonjones.org ↗

Comments (0)

No comments yet