Show HN: Elelem, a tool-calling CLI for Ollama and DeepSeek in C (codeberg.org)

33 points by atjamielittle 6h ago 3 comments

Show HN: Autohive – Build AI agents the easy way for everyday teams (autohive.com)

13 points by davetenhave 2h ago 0 comments

Show HN: PLJS – JavaScript for Postgres

6 points by jerrysievert 2h ago 5 comments

Show HN: Deglaze Me – A Chrome extension to strip the sycophancy from ChatGPT (github.com)

2 points by althea_tx 58m ago 1 comments

Show HN: MCP Server for Tally – Create and Manage Forms with Claude (github.com)

2 points by cryophobic 1h ago 0 comments

Show HN: Scream to Unlock – Blocks social media until you scream “I'm a loser”

198 points by madinmo 11h ago 109 comments

Show HN: I rawdog a MCP server from scratch in Zig. No SDK (github.com)

6 points by ww520 3h ago 1 comments

Show HN: Oasis – An open-source, 3D-printed smart terrarium (github.com)

134 points by jbuch 1d ago 18 comments

Show HN: VSCan - Detect Malicious VSCode Extensions (vscan.dev)

47 points by shadow-ninja 23h ago 27 comments

Show HN: AGL a toy language that compiles to Go (github.com)

4 points by alain_gilbert 6h ago 0 comments

Show HN: Windowfied

16 points by mnky9800n 2d ago 9 comments

Show HN: Autumn – Open-source infra over Stripe (github.com)

135 points by ayushrodrigues 1d ago 46 comments

Show HN: Best time to leave to avoid traffic (bigballi.com)

2 points by BigBalli 7h ago 5 comments

Show HN: Weather Watching (walzr.com)

88 points by walz 2d ago 16 comments

Show HN: Comparator - I built a free, open-source app to compare job offers (comparator-one.vercel.app)

81 points by MediumD 1d ago 42 comments

Show HN: I built an under-the-door fan duct to lower bedroom CO2 (lepekhin.com)

55 points by bizzz 1d ago 28 comments

Show HN: Built a web annotator that creates custom URLs for your notes (annotateweb.com)

2 points by tonysurfly 10h ago 0 comments

Show HN: iCloud Drive Sync on Windows will not progress and how I fixed it (instagib-rf.github.io)

4 points by instagib 15h ago 1 comments

Show HN: Create data analytics dashboards asking AI (usepulseai.com)

3 points by carmichgo 11h ago 0 comments

Show HN: OpenAI Codex for Free with GitHub Models (gist.github.com)

3 points by gfysfm 11h ago 0 comments

Show HN: Vue-Infinity – Visibility-based rendering for Vue apps (github.com)

3 points by tewolde 12h ago 1 comments

Show HN: Report idling vehicles in NYC (and get a cut of the fines) with AI (apps.apple.com)

190 points by rafram 3d ago 281 comments

Show HN: Supercharge Your Readwise Library with Local, Semantic Search (github.com)

2 points by monsieurleon 14h ago 0 comments

Show HN: Pickaxe – A TypeScript library for building AI agents (github.com)

70 points by abelanger 5d ago 25 comments

Show HN: Ragnet, Your AI DevRel Assistant (angelic-language-821009.framer.app)

2 points by shubhamintech 15h ago 0 comments

Show HN: ΣPI – Observe the Cognitive Ability of Your AI Model (github.com)

2 points by NetRunnerSu 15h ago 0 comments

Show HN: BandConvert – Transcribe multi-instruments audios into sheet music (latouchemusicale.com)

2 points by joris2120 16h ago 0 comments

Show HN: Lego Island Playable in the Browser (isle.pizza)

262 points by foxtacles 2d ago 72 comments

Show HN: Turbine – 16-bit CPU Architecture and Emulator built in C (errorcodezero.dev)

50 points by errorcodezero 5d ago 14 comments

Show HN: Turn a paper's DOI into its full reference list (BibTeX/RIS, etc.) (references.mireklzicar.com)

49 points by mireklzicar 3d ago 16 comments

Show HN: Burrito: An embeddable QuickJS wrapper written in Nim (tapsterbot.github.io)

7 points by hugs 1d ago 0 comments

Show HN: I'm a doctor and built a responsive breathing app for anxiety and sleep (apps.apple.com)

101 points by lukko 3d ago 46 comments

Show HN: MMOndrian (mmondrian.com)

73 points by neural_thing 4d ago 43 comments

Show HN: I Am Not Helpful AI – An AI roasts your idea instead of validating them (iamnothelpful.xyz)

4 points by SeifAlmotaz 1d ago 2 comments

Show HN: I made a screenshot beautifier (moocup.jaydip.me)

42 points by jdsane 3d ago 33 comments

Show HN: Inspect and extract files from MSI installers directly in your browser (pymsi.readthedocs.io)

135 points by rmast 5d ago 23 comments

Show HN: Gitbasher – A simple bash utility to make Git easy to use (github.com)

3 points by maxbolgarin 1d ago 0 comments

Show HN: Hotcore – Reverse proxy configured with command, not config files (judi.systems)

8 points by hsn915 2d ago 0 comments

Show HN: I built a tool to create App Screenshots (theapplaunchpad.com)

3 points by kkkosariya 1d ago 0 comments

Show HN: SnapQL – Desktop app to query Postgres with AI (github.com)

103 points by nicktikhonov 5d ago 73 comments

Show HN: EchoStream – A Local AI Agent That Lives on Your iPhone

22 points by shuhongwu 6d ago 26 comments

Show HN: 15y Old's AI Assistant Tool Makes Money (exceltutor.pro)

5 points by vivaanann 1d ago 1 comments

Show HN: Nxtscape – an open-source agentic browser (github.com)

312 points by felarof 5d ago 206 comments

Show HN: I wrote a new BitTorrent tracker in Elixir (github.com)

392 points by dahrkael 5d ago 72 comments

Show HN: I Built a Site That Curates Weird YouTube Rabbit Holes Daily (yourabbit.com)

58 points by bas_sen 5d ago 14 comments

Show HN: Logcat.ai:AI-powered observability for Operating Systems(Android+Linux) (logcat.ai)

8 points by vcodes 1d ago 0 comments

Show HN: The Black Eye Galaxy (M64), 11 hours of exposure from my backyard (astroimagery.com)

3 points by karlperera 1d ago 0 comments

Show HN: DotPlus – offline QR and barcode generator in Rust (GUI and CLI) (github.com)

2 points by NigDanil 1d ago 0 comments

Show HN: KubernetesJS – Fully-Typed, Zero-Dependency Client for Kubernetes (github.com)

4 points by pyramation 1d ago 0 comments

Show HN: EnrichMCP – A Python ORM for Agents (github.com)

132 points by bloppe 6d ago 33 comments

Verifiably Correct Lifting of Position-Independent x86-64 Binaries (2024)

2 etiams 0 6/25/2025, 12:41:06 PM dl.acm.org ↗

Comments (0)

No comments yet