Show HN: I Built a Local-First AI Chat App with Advanced RAG

4 points by vinhnx 36m ago 0 comments

Show HN: I AI-coded a tower defense game and documented the whole process (github.com)

274 points by M4v3R 1d ago 139 comments

Show HN: Dstpierre/tpl a tiny lib making Go's templates more tolerable (github.com)

2 points by dstpierre 2h ago 0 comments

Show HN: AirBending – Hand gesture based macOS app MIDI controller (nanassound.com)

73 points by bepitulaz 18h ago 19 comments

Show HN: MCP-123, a 2-line MCP server/client (Windows-friendly) (github.com)

5 points by tylersuard 7h ago 1 comments

Show HN: BunkerWeb – the open-source and cloud-native WAF (docs.bunkerweb.io)

91 points by bnkty 1d ago 29 comments

Show HN: Tinykv – Minimal file-backed key-value store for Rust (crates.io)

21 points by hasanyildiz 15h ago 2 comments

Show HN: A cross-platform terminal emulator written in Java (github.com)

60 points by sebkur 4d ago 19 comments

Show HN: Fast Thermodynamic Calculations in Python (dlr-institute-of-future-fuels.github.io)

54 points by Saloc 1d ago 11 comments

Show HN: Kuvasz – an open-source uptime and SSL monitoring service (kuvasz-uptime.dev)

22 points by csirkezuza 1d ago 0 comments

Show HN: HomeBrew HN – Generate personal context for content ranking (hackernews.coffee)

121 points by azath92 2d ago 48 comments

Show HN: ASCII Fireworks (asciifireworks.com)

6 points by theli0nheart 10h ago 0 comments

Show HN: I built sinkedin – a LinkedIn but for flauting failures and screwups (sinkedin.app)

27 points by preetsojitra 1d ago 10 comments

Show HN: We made a tool to reduce echo chambers on social media (tandfonline.com)

2 points by academic_84572 11h ago 0 comments

Show HN: Built a lovable clone to see what makes agentic apps tick (github.com)

4 points by llom2600 18h ago 1 comments

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

413 points by kris-kay 2d ago 117 comments

Show HN: I rewrote my notepad calculator as a local-first app with CRDT syncing (numpad.io)

44 points by tonyonodi 5d ago 19 comments

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

173 points by nicksergeant 4d ago 63 comments

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

242 points by elijahwright_ 4d ago 33 comments

Show HN: Flint – Write code your way while ensuring remote consistency (github.com)

12 points by mho22 4d ago 1 comments

Show HN: Go-nagini fluent wrapper for Cobra (github.com)

3 points by grubinator 16h ago 0 comments

Show HN: I Turned PG's "How to Get Startup Ideas" into an Interactive Course (mythosgym.com)

3 points by hedayet 16h ago 0 comments

Show HN: Mochia, a virtual pet browser game, built with Rust, SolidJS, Postgres (mochia.net)

21 points by lemphi 1d ago 9 comments

Show HN: Dumb STT/diction script for sway-Linux (github.com)

2 points by csunoser 17h ago 0 comments

Show HN: Piano Trainer – Learn piano scales, chords and more using MIDI (github.com)

3 points by FinalDestiny 17h ago 0 comments

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

106 points by felphos 4d ago 53 comments

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

27 points by WilcoKruijer 2d ago 1 comments

Show HN: Golang Challenges: Learn and Practice (See Demo) (github.com)

2 points by RezaSi 18h ago 2 comments

Show HN: Browse Netflix and Prime catalogs by country, with multilingual support (wheretowatch.stream)

2 points by ericrenan 18h ago 0 comments

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

422 points by simedw 4d ago 180 comments

Show HN: Ncrypt – Query encrypted files privately with FHE (github.com)

8 points by rstock 18h ago 0 comments

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

110 points by Manik_agg 3d ago 42 comments

Show HN: I Built a Pocket OS with JavaScript, Electron, and Gemini (github.com)

4 points by oopismcgoopis 20h ago 0 comments

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

67 points by hnand 3d ago 30 comments

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

25 points by aedrax 3d ago 0 comments

Show HN: A Dockerized Linux Mirror Server for Arch and Ubuntu (github.com)

2 points by LunaStev 23h ago 0 comments

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

55 points by cauchyk 6d ago 6 comments

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

279 points by matthewolfe 5d ago 72 comments

Show HN: Refractive JavaScript Glass (github.com)

2 points by explosion-s 1d ago 0 comments

Show HN: A stupid simple barely S3 compatible file server (github.com)

5 points by AnthOlei 1d ago 2 comments

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

249 points by rpastuszak 5d ago 87 comments

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

354 points by geoctl 6d ago 149 comments

Show HN: Hands on tutorial for open source contribution (github.com)

4 points by yaxsh1102 1d ago 0 comments

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

66 points by adilhafeez 3d ago 15 comments

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

34 points by devluc 4d ago 5 comments

Show HN: Dhansishtha-2.0-preview – First Intermediate Reasoning model (helpingai.co)

4 points by VarunGuptaHAI 1d ago 0 comments

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

7 points by rendaw 2d ago 1 comments

Show HN: I made the social deduction board game "Avalon" playable online (avalon-web.fly.dev)

2 points by FireSquid2006 1d ago 0 comments

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

59 points by rokeyzhang 4d ago 58 comments

Show HN: Peer. – The First Subscription-Based Social Network (peerfreund.com)

5 points by AmuXhantini 2d ago 7 comments

Gecode is an open source C++ toolkit for developing constraint-based systems

14 gjvc 3 7/5/2025, 8:43:41 AM gecode.org ↗

Comments (3)

ur-whale · 1h ago

A short C++ example of gecode in use on their home page would be real nice.

gjvc · 5h ago

see also https://github.com/Gecode/gecode

mzl · 5h ago

Note, the release/6.3.0 branch is the current release.