Show HN: Recivo – Receive Emails Programmatically (recivo.email)

5 points by WilcoKruijer 52m ago 0 comments

Show HN: CSS generator for a high-def glass effect (glass3d.dev)

319 points by kris-kay 18h ago 88 comments

Show HN: Bookmark and organise your mobile links with ease with this free app (about.listee.app)

2 points by MLJV 2h ago 1 comments

Show HN: Jobs by Referral: Find jobs in your LinkedIn network (jobsbyreferral.com)

166 points by nicksergeant 1d ago 62 comments

Show HN: I made a 2D game engine in Dart (bullseye2d.org)

92 points by joemanaco 4d ago 39 comments

Show HN: Opasm, an Assembly REPL (github.com)

19 points by aedrax 21h ago 0 comments

Show HN: A continuation of IRS Direct File that can be self-hosted (github.com)

238 points by elijahwright_ 2d ago 32 comments

Show HN: I built the tool I wished existed for moving Stripe between countries (stripemove.com)

99 points by felphos 1d ago 53 comments

Show HN: Core – open source memory graph for LLMs – shareable, user owned (github.com)

107 points by Manik_agg 1d ago 37 comments

Show HN: Spegel, a Terminal Browser That Uses LLMs to Rewrite Webpages (simedw.com)

412 points by simedw 1d ago 179 comments

Show HN: I made a Chrome extension to export web element to code (copyui.online)

3 points by Graxi 8h ago 1 comments

Show HN: A modern C++20 AI SDK (GPT‑4o, Claude 3.5, tool‑calling)

54 points by cauchyk 3d ago 6 comments

Show HN: HackerNewt – Breadth-first exploring HN client for iOS (apps.apple.com)

64 points by hnand 1d ago 30 comments

Show HN: Arch-Router – 1.5B model for LLM routing by preferences, not benchmarks

65 points by adilhafeez 1d ago 15 comments

Show HN: Issue Duration Labeler – a GitHub Action that labels issue by age (github.com)

2 points by mireklzicar 13h ago 0 comments

Show HN: Puteron, Systemd Competitor (github.com)

3 points by rendaw 19h ago 0 comments

Show HN: Kosign – Cold storage vaults with social recovery (kosign.xyz)

2 points by morriskosign 14h ago 0 comments

Show HN: TokenDagger – A tokenizer faster than OpenAI's Tiktoken (github.com)

277 points by matthewolfe 2d ago 72 comments

Show HN: Open-Source International Space Station Tracker ESP32/Arduino for $20 (github.com)

71 points by keyth72 5d ago 18 comments

Show HN: Exceptional free templates, component libraries and boilerplates (htmlrev.com)

30 points by devluc 1d ago 5 comments

Show HN: New Ensō – first public beta (untested.sonnet.io)

248 points by rpastuszak 2d ago 87 comments

Show HN: I'm an airline pilot – I built interactive graphs/globes of my flights (jameshard.ing)

1526 points by jamesharding 5d ago 197 comments

Show HN: I made a social media platform (onelined.tech)

3 points by sahil423 6h ago 1 comments

Show HN: Guide so you can clean up all your Node Versions (github.com)

3 points by ThatGuySam 17h ago 0 comments

Show HN: We're two coffee nerds who built an AI app to track beans and recipes (beanbook.app)

58 points by rokeyzhang 2d ago 54 comments

Show HN: Octelium – FOSS Alternative to Teleport, Cloudflare, Tailscale, Ngrok (github.com)

354 points by geoctl 3d ago 149 comments

Show HN: We wasted 12K on ads so we build this (kruxel.com)

3 points by bmahir 18h ago 3 comments

Show HN: ToplingDB - A Persistent Key-Value Store for External Storage (github.com)

73 points by rockeetterark 2d ago 22 comments

Show HN: Generate 'Cooking For Engineers' style recipe cards (gobsmacked.io)

6 points by ekglimmer 19h ago 6 comments

Show HN: Desktop Audio Proxy – Bypass CORS for Tauri/Electron Audio Streaming (github.com)

2 points by Bandonker 19h ago 0 comments

Show HN: I built a VPN management UI for my non-technical family (github.com)

18 points by arashvakil 1d ago 0 comments

Show HN: Send email to fill Google Forms (promptrepo.com)

5 points by QueensGambit 20h ago 2 comments

Show HN: Placecard.net – Free PDF Seating Cards with Puppeteer (placecard.net)

12 points by cvbox 20h ago 0 comments

Show HN: Local LLM Notepad – run a GPT-style model from a USB stick (github.com)

39 points by davidye324 2d ago 8 comments

Show HN: Tududi – a minimal task manager you can self-host (tududi.com)

7 points by cvicpp123 21h ago 1 comments

Show HN: DuckDB + React = SQLRooms Framework for Analytics Apps Without Backend (sqlrooms.org)

8 points by ilyabo 21h ago 0 comments

Show HN: The MCP Client for Outlook (mail.synia.tech)

7 points by alexrebe 22h ago 0 comments

Show HN: I created a privacy respecting ad blocker for apps (magiclasso.co)

3 points by bentocorp 9h ago 0 comments

Show HN: Greger.el – Agentic Coding in Emacs (github.com)

4 points by fagerhult 23h ago 2 comments

Show HN: A local secrets manager with easy backup (github.com)

16 points by RaiyanYahya 4d ago 14 comments

Show HN: Sink – Sync any directory with any device on your local network (github.com)

149 points by sirbread 6d ago 89 comments

Show HN: Runal – A text-based creative coding environment for the terminal (github.com)

6 points by xvrgdrt 1d ago 0 comments

Show HN: Vet – A tool for safely running remote shell scripts (getvet.sh)

89 points by a10r 4d ago 38 comments

Show HN: Magnitude – Open-source AI browser automation framework (github.com)

143 points by anerli 6d ago 40 comments

Show HN: VSCode-Csharp-Autobuild (github.com)

3 points by rkttu 1d ago 0 comments

Show HN: I built a daily sunlight tracker (lumehealth.io)

45 points by vickipow 6d ago 33 comments

Show HN: C.O.R.E – Opensource, user owned, shareable memory for Claude, Cursor (github.com)

19 points by Manik_agg 2d ago 4 comments

Show HN: Private real-time dictation app for Mac (github.com)

20 points by aviaryan 2d ago 10 comments

Show HN: Learning Rust with Neovim, Rust-Analyzer and LLMs (lorentz.app)

4 points by baalimago 1d ago 0 comments

Show HN: Zenta – Mindfulness for Terminal Users (github.com)

202 points by ihiep 6d ago 39 comments

Programming as Theory Building [pdf]

2 todsacerdoti 0 7/2/2025, 5:50:27 PM pablo.rauzy.name ↗

Comments (0)

No comments yet