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

26 points by abelanger 3d ago 18 comments

Show HN: I made a fun quiz that reviews last week's top posts on r/programming (lastweekon.xyz)

4 points by gametorch 1h ago 0 comments

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

233 points by foxtacles 23h ago 61 comments

Show HN: TNX API – Natural Language Interactions with Your Database (tnxapi.com)

2 points by Marten42 3h ago 0 comments

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

37 points by errorcodezero 3d ago 13 comments

Show HN: Luna Rail – Treating night trains as a spatial optimization problem (luna-rail.com)

134 points by ant6n 5d ago 70 comments

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

185 points by rafram 1d ago 274 comments

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

17 points by shuhongwu 4d ago 15 comments

Show HN: Enigma Machine and Bombe Implemented in eBPF – Turing's 113th Birthday (github.com)

2 points by aanm__ 5h ago 0 comments

Show HN: Ariadne – A Rust implementation of aperiodic cryptography (codeberg.org)

39 points by ciphernomad-org 18h ago 30 comments

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

45 points by mireklzicar 1d ago 15 comments

Show HN: I built a Résumé tool that helps people land job interviews (trymockly.ai)

6 points by kaly_codes 12h ago 0 comments

Show HN: I'm building an app to replace Overleaf and Notion

74 points by WolfOliver 4d ago 47 comments

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

96 points by lukko 1d ago 45 comments

Show HN: Similar artist network music discovery tool (artistnode.fun)

5 points by fruitbarrel 9h ago 7 comments

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

38 points by jdsane 1d ago 30 comments

Show HN: I built a trading simulation game – free, no sign up (dare2trade.com)

2 points by kriswaters 10h ago 0 comments

Show HN: Urpal – An AI-powered productivity canvas for file notes and tasks (urpal.com.au)

6 points by lovetobuild 18h ago 0 comments

Show HN: A Tool to Summarize Kenya's Parliament with Rust, Whisper, and LLMs (github.com)

82 points by collinsmuriuki 1d ago 12 comments

Show HN: MMOndrian (mmondrian.com)

69 points by neural_thing 2d ago 43 comments

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

2 points by hsn915 13h ago 0 comments

Show HN: Progressor – coach that breaks down big goals into actionable steps (progressor.me)

32 points by murahovsky 1d ago 17 comments

Show HN: A CLI tool to transcribe and clean YouTube videos with Whisper and LLMs (github.com)

3 points by itsmevictor 14h ago 0 comments

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

132 points by rmast 3d ago 23 comments

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

41 points by explosion-s 2d ago 5 comments

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

310 points by felarof 3d ago 202 comments

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

101 points by nicktikhonov 3d ago 73 comments

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

97 points by meodai 4d ago 52 comments

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

56 points by bas_sen 3d ago 14 comments

Show HN: SX – Transfer files from within SSH sessions without reconnecting (github.com)

3 points by memphizzz 17h ago 0 comments

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

388 points by dahrkael 3d ago 72 comments

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

712 points by psviderski 4d ago 163 comments

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

820 points by surgomat 5d ago 232 comments

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

131 points by bloppe 4d ago 33 comments

Show HN: IRC.com – A Scriptable Web IRC Client (irc.com)

2 points by rasengan 8h ago 0 comments

Show HN: The floor is lava, a body movement + computer vision game (twitter.com)

3 points by getToTheChopin 8h ago 0 comments

Show HN: Studygraph – Personalized learning that adapts to your study style (study-graph.com)

3 points by abilafredkb 22h ago 0 comments

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

204 points by krustowski 4d ago 60 comments

Show HN: Mqutils – Universal Go message queue library (mqutils.dev)

6 points by DjGilcrease 1d ago 0 comments

Show HN: REPL is the memory layer for multi-agent AI apps – Sherlog‑MCP (github.com)

4 points by teenvan_1995 1d ago 0 comments

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

63 points by marcelox86 6d ago 34 comments

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

119 points by nirw4nna 5d ago 28 comments

Show HN: Nethole – Soft-blocking WPA3 with ARP spoofing (github.com)

5 points by qwertySaffron 1d ago 0 comments

Show HN: Stacklane – GitHub App for Stacked PR Clarity (stacklane.dev)

7 points by nbrempel 1d ago 4 comments

Show HN: Lazycontainer: A Terminal UI for Apple Containers (github.com)

2 points by andreybleme 1d ago 0 comments

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

243 points by Maciej-roboblog 4d ago 135 comments

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

18 points by danvittegleo 6d ago 11 comments

Show HN: Remotely Good – AI-powered job platform for remote, mission-driven work (remotelygood.lovable.app)

4 points by Theresa_i_a 1d ago 0 comments

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

35 points by wolfman1 7d ago 52 comments

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

103 points by i8code 3d ago 36 comments

The Joy of (Type) Sets

1 chautumn 0 6/23/2025, 2:24:01 PM bitfieldconsulting.com ↗

Comments (0)

No comments yet