Show HN: Should I Pay Off Loan (shouldipayoffloan.com)

2 points by lshivamber 14m ago 0 comments

Show HN: lambda-nat-proxy – Serverless proxy using Lambda and UDP NAT punching (github.com)

14 points by danvittegleo 4d ago 5 comments

Show HN: To-Userscript: Chrome Extension to Userscript Converter (github.com)

3 points by explosion-s 48m ago 0 comments

Show HN: OSAI-Browser – A P2P Browser for Web3 and HTML Games

5 points by EvoSync 7h ago 3 comments

Show HN: MMOndrian (mmondrian.com)

30 points by neural_thing 9h ago 16 comments

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

288 points by felarof 1d ago 187 comments

Show HN: A color name API that maps hex to the closest human-readable name (meodai.github.io)

75 points by meodai 2d ago 46 comments

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

121 points by rmast 1d ago 20 comments

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

93 points by nicktikhonov 1d ago 70 comments

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

44 points by bas_sen 1d ago 12 comments

Show HN: Swift UI app for extracting beer information by just taking photos (github.com)

4 points by 38tter 9h ago 0 comments

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

381 points by dahrkael 1d ago 72 comments

Show HN: I Built a Public Dashboard to Track My Son's Future Investments (mattiasassets.com)

4 points by ang3l1n 8h ago 0 comments

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

128 points by bloppe 2d ago 33 comments

Show HN: Unregistry – “docker push” directly to servers without a registry (github.com)

678 points by psviderski 2d ago 163 comments

Show HN: Ts-SSH – SSH over Tailscale without running the daemon (github.com)

98 points by i8code 1d ago 36 comments

Show HN: Workout.cool – Open-source fitness coaching platform (github.com)

802 points by surgomat 3d ago 232 comments

Show HN: RM2000 Tape Recorder, an audio sampler for macOS (rm2000.app)

63 points by marcelox86 4d ago 34 comments

Show HN: A DOS-like hobby OS written in Rust and x86 assembly (github.com)

200 points by krustowski 2d ago 60 comments

Show HN: SecureBuild – Zero-CVE Images That Pay OSS Projects (securebuild.com)

39 points by grantlmiller 1d ago 15 comments

Show HN: MCP to log your AI agents progress (taskerio.com)

9 points by surfskatr 1d ago 0 comments

Show HN: Claude Code Usage Monitor – real-time tracker to dodge usage cut-offs (github.com)

237 points by Maciej-roboblog 2d ago 131 comments

Show HN: Tool to Automatically Create Organized Commits for PRs (github.com)

75 points by edverma2 1d ago 46 comments

Show HN: TrendFi – I built AI trading signals that self-optimize (trend.fi)

35 points by wolfman1 5d ago 52 comments

Show HN: Sexprs – Lisp dialect written in Rust (github.com)

25 points by gfalcao 4d ago 5 comments

Show HN: I built a tensor library from scratch in C++/CUDA (github.com)

117 points by nirw4nna 3d ago 28 comments

Show HN: Vpuna AI Search – A semantic search platform (aisearch.vpuna.com)

9 points by vpuna 1d ago 1 comments

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

18 points by errorcodezero 1d ago 0 comments

Show HN: Lstr – A modern, interactive tree command written in Rust (github.com)

227 points by w108bmg 3d ago 66 comments

Show HN: Free local security checks for AI coding in VSCode, Cursor and Windsurf

43 points by jaimefjorge 3d ago 22 comments

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

5 points by abelanger 1d ago 6 comments

Show HN: I made an online Unicode Cuneiform digital clock (oisinmoran.com)

110 points by OisinMoran 6d ago 34 comments

Show HN: TypeScript MCP Server (github.com)

3 points by johnwheeler 20h ago 0 comments

Show HN: Tree-hugger-JS: CSS selectors for JavaScript AST analysis and MCP

4 points by chw9e 21h ago 0 comments

Show HN: Nexus.js - Fabric.js for 3D (punk.cam)

91 points by ges 4d ago 28 comments

Show HN: Trieve CLI – Terminal-based LLM agent loop with search tool for PDFs (github.com)

34 points by skeptrune 3d ago 8 comments

Show HN: Onri, the Google Map for micro-learning (onri.ai)

3 points by ru6xul6 1d ago 1 comments

Show HN: wasque – Lightweight Cloudlare Warp Proxy Container for Linux (github.com)

3 points by MaryJohanna 1d ago 3 comments

Show HN: Chawan TUI web browser (chawan.net)

386 points by shiomiru 4d ago 69 comments

Show HN: Canine – A Heroku alternative built on Kubernetes (github.com)

319 points by czhu12 5d ago 123 comments

Show HN: I made an app that lets you save audio to your Cameral Roll (justsendrecord.com)

44 points by zahirbmirza 3d ago 49 comments

Show HN: Brisqi – privacy-first offline Kanban board that works locally (brisqi.com)

4 points by ashdev 1d ago 0 comments

Show HN: Semantic search and ask your Gmail using Local LLMs (github.com)

3 points by mantegna 1d ago 1 comments

Show HN: Delve, an open source (AGPL) enterprise-grade data analytics platform (github.com)

21 points by ilovetux 3d ago 19 comments

Show HN: PlutoBook – Fast, lightweight C++ library for generating PDF from HTML (github.com)

10 points by sammycage 2d ago 2 comments

Show HN: Kichan.ai, Chrome extension generates JavaScript to augment any website (kichan.ai)

4 points by k1rd 1d ago 0 comments

Show HN: Relix: A Unix-like OS based on MIT's xv6 (github.com)

10 points by huayra1 2d ago 2 comments

Show HN: Gifty – A real-world gift hunt you play with your feet (gifty-en.vercel.app)

8 points by mrtranlyvu 5d ago 1 comments

Show HN: ConfigKit – in browser Mac defaults creator (explosion-scratch.github.io)

3 points by explosion-s 1d ago 0 comments

Show HN: Picomatch – A tiny C library for evaluating regular expressions (github.com)

3 points by beariish 1d ago 0 comments

Dependent types at work in Agda [pdf]

1 fanf2 0 6/21/2025, 11:42:04 AM cse.chalmers.se ↗

Comments (0)

No comments yet