Show HN: Bottlefire – Build single-executable microVMs from Docker images (bottlefire.dev)

123 points by losfair 2d ago 15 comments

Show HN: Downloading a folder from a repo using rust (github.com)

4 points by sonderotis 3d ago 8 comments

Show HN: Vicinae – a native, Raycast-compatible launcher for Linux (github.com)

54 points by aurellius 15h ago 13 comments

Show HN: An Open Source XR(AR/VR) Operating System (getxeneva.com)

32 points by ayush_xeneva 3d ago 9 comments

Show HN: Shellcast.tv – Stream your vibe coding (shellcast.tv)

25 points by erichi 14h ago 4 comments

Show HN: Ion, a Rust/Tokio powered JavaScript runtime for embedders (github.com)

29 points by apatheticonion 3d ago 3 comments

Show HN: Superagents – connect spreadsheets to any database, API or MCP server (sourcetable.com)

31 points by mceoin 16h ago 9 comments

Show HN: Nixite – automatically install all your Linux software unattendedly (github.com)

2 points by aspizu 6h ago 1 comments

Show HN: AegisClip – Minimalist Mac Clipboard Manager with Auto Paste (aegisclip.com)

2 points by LessSimpleSlow 6h ago 0 comments

Show HN: Attempt – A CLI for retrying fallible commands (github.com)

66 points by maxbond 1d ago 19 comments

Show HN: Bottleneck Calculator (bottleneckcalculator.work)

4 points by yangyiming 8h ago 3 comments

Show HN: Sayathing – Open-Source platform that gives your text a voice (github.com)

2 points by buglungtung 9h ago 0 comments

Show HN: ZeroFS, the Filesystem That Makes S3 Your Primary Storage (github.com)

57 points by Eikon 1d ago 38 comments

Show HN: Backwalk – A lightweight backtrace library written in C (github.com)

4 points by munifex 12h ago 0 comments

Show HN: Atsphinx-qrcode – Sphinx extension to generate QR code in document (github.com)

4 points by attakei 17h ago 0 comments

Show HN: ArduinoCogs adds web-based dashboards and config to ESP32 projects (github.com)

3 points by eternityforest 12h ago 0 comments

Show HN: Personalized Learning Pathways (eigenarc.com)

2 points by sridhar87 13h ago 0 comments

Show HN: Lightweight tool for managing Linux virtual machines (github.com)

142 points by ccheshirecat 3d ago 41 comments

Show HN: DevOps Alchemy – Little Alchemy with DevOps Elements (devops-alchemy.vercel.app)

4 points by opsconjurer 18h ago 0 comments

Show HN: OpenCV over WebRTC (in Go) (github.com)

55 points by Sean-Der 2d ago 8 comments

Show HN: I recreated Windows XP as my portfolio (mitchivin.com)

997 points by mitchivin 3d ago 316 comments

Show HN: C++ Compiler Support Page (cppstat.dev)

19 points by cemdervis 2d ago 5 comments

Show HN: Project Chimera – Hybrid AI Agent Combining LLM, Symbolic, and Causal (github.com)

3 points by aytuakarlar 14h ago 1 comments

Show HN: Real time visual saliency detection (github.com)

3 points by big-nacho 15h ago 0 comments

Show HN: Run any GUI app in the terminal with term.everything (github.com)

18 points by ghub-mmulet 22h ago 4 comments

Show HN: Paper's Heat Map Shader (app.paper.design)

7 points by stephenbuilds 17h ago 2 comments

Show HN: Open-sourcing our text-to-CAD app (github.com)

176 points by zachdive 4d ago 23 comments

Show HN: Swimming in Tech Debt (helpthisbook.com)

163 points by loumf 5d ago 72 comments

Show HN: Focalist – A distraction-free task app that helps you focus (focalist.app)

11 points by martin_hell 1d ago 0 comments

Show HN: I'm making an open-source platform for learning Japanese (kanadojo.com)

283 points by tentoumushi 3d ago 87 comments

Show HN: Tablemd – canvas-based Markdown table editor (tablemd.app)

10 points by albert-yu 1d ago 8 comments

Show HN: Semantic grep with local embeddings (github.com)

176 points by Runonthespot 3d ago 77 comments

Show HN: BPM Finder: Advanced Audio Analysis Toolkit (bpm-finder.net)

3 points by yxchen1994 21h ago 1 comments

Show HN: RekoSearch – Semantic Search for Media SaaS (Rust, Python, AWS and K8s) (rekosearch.com)

4 points by Obscurely 21h ago 0 comments

Show HN: Read Japanese Manga More Effectively with MangaRenshuu (mangarenshuu.online)

3 points by tike_myson 21h ago 1 comments

Show HN: MP3 File Editor for Lossless Bulk Processing (github.com)

2 points by cutandjoin 21h ago 0 comments

Show HN: Writing Arabic in English (sherifelmetwally.com)

111 points by selmetwa 6d ago 26 comments

Show HN: Common FP – A New JavaScript Utility Lib (common-fp.org)

2 points by waphil 21h ago 0 comments

Show HN: Super Simple Inventory Management (usestockstore.com)

6 points by truetaurus 1d ago 3 comments

Show HN: Stressio – Control Stress Levels (stressio.dev)

3 points by antoniorodr 1d ago 0 comments

Show HN: Send kind and aspirational words to a stranger who needs it (kindnesssender.com)

30 points by mketab 3d ago 35 comments

Show HN: A roguelike game that runs inside Notepad++ (github.com)

155 points by lowsun 9d ago 24 comments

Show HN: Gemini connected to 18 native iOS tools and shortcuts (saturn-live.app)

6 points by zoecarver 1d ago 0 comments

Show HN: Start a Text with 'Like "'

4 points by noduerme 1d ago 2 comments

Show HN: Stroboscopic Instrument Tuner (github.com)

14 points by dsego 4d ago 1 comments

Show HN: DevSwarm, run multiple AI coding assistants in parallel (devswarm.ai)

12 points by mikebiglan 1d ago 1 comments

Show HN: A deep reading tool for those engaging with cutting-edge knowledge (densewiki.org)

5 points by mngrwl 1d ago 2 comments

Show HN: Vizza – Interactive, Beautiful Simulations (github.com)

6 points by zeldahessler 1d ago 1 comments

Show HN: I built a way to monetize any link with a crypto paywall

4 points by allynjalford 1d ago 1 comments

Show HN: rm-safely – A shell alias that moves files to trash instead of deleting (github.com)

14 points by zdkaster 6d ago 22 comments

Expected number of loops connecting 100 ropes

3 vismit2000 0 9/10/2025, 4:58:57 AM math.stackexchange.com ↗

Comments (0)

No comments yet