Show HN: Woxi - Open-source Mathematica / Wolfram Language reimplementation (woxi.ad-si.com)
223 points by adius posted 9 hours ago • 33 comments
Show HN: KidScreen, a finite YouTube shelf chosen by parents (kidscreen.app)
30 points by Tintly posted 8 hours ago • 27 comments
Show HN: OJCP – an open protocol for agent-consumable job data (ojcp.dev)
9 points by fraywing posted 4 hours ago
Show HN: Smarter Shell History for Zsh (github.com)
9 points by overflowy posted 6 hours ago • 5 comments
Show HN: Meteor shower, planet alignment, eclipse kit (lifesprites.com)
8 points by jmtrevarton posted 6 hours ago • 17 comments
Show HN: What US households pay for electricity and gas, by state, since 2001 (energy-maps.com)
6 points by ebaumer posted 7 hours ago • 2 comments
Show HN: I took the calculator away from 50 LLMs and graded the arithmetic (github.com)
6 points by NatalijaAAD posted 8 hours ago • 2 comments
Show HN: Rekall – an Ableton Live project management companion application (rekall.machinelies.eu)
5 points by iamsaitam posted 7 hours ago
Show HN: Aakit – find every assumption your coding agent made, and which broke (github.com)
5 points by Abhixhek posted 7 hours ago
Show HN: Git-knife – Edit commit messages, authors, and dates like a spreadsheet (github.com)
161 points by YonathanTesfaye posted 1 day ago • 100 comments
Show HN: Write.md – A free, open-source, themeable Markdown editor for macOS (writemd.app)
99 points by danielbilekq posted 1 day ago • 76 comments
Show HN: Mcptoon – Token-efficient MCP CLI client (github.com)
71 points by mcptokensaver posted 1 day ago • 45 comments
Show HN: I vibecoded a heavy lift drone (lukeiseman.substack.com)
19 points by liseman posted 1 day ago • 4 comments
Show HN: TermDOM – HTML, CSS and JavaScript (With a Real DOM) for TUIs and CLIs (github.com)
17 points by bikeshaving posted 1 day ago
Show HN: Tokyo Trains (greggman.github.io)
13 points by greggman65 posted 1 day ago • 1 comments
Show HN: Parley – your coding agent can talk to a teammate's agent (parley.weldra.dev)
9 points by tyagivivek posted 1 day ago • 5 comments
Show HN: MacPacker – open-source archive manager for macOS, now edits ZIPs (github.com)
7 points by sarensw posted 22 hours ago • 3 comments
Show HN: Openleetcode – local LeetCode runner where tests live in the repo (github.com)
5 points by therepanic posted 1 day ago
Show HN: Pulp – Zero-allocation C11 telemetry engine (28M logs/SEC to disk) (github.com)
5 points by superwired_labs posted 1 day ago • 1 comments
Show HN: Needle2: 14MB agentic LLM for phones, wearables, smart home and robots (cactuscompute.com)
525 points by HenryNdubuaku posted 2 days ago • 177 comments
Show HN: Scroll through all 43252003274489856000 Rubik's Cube states (everycube.alen.is)
288 points by Alen123 posted 1 day ago • 120 comments
Show HN: Voice driven murder mystery, Interview AI suspects with your voice (whodunnitai.com)
210 points by MrRowTheBoat posted 2 days ago • 88 comments
Show HN: Ante, a coding agent in a single binary that runs offline (github.com)
163 points by ubermon posted 2 days ago • 89 comments
Show HN: A tiny LLM running at 21,000 tok/s on a $250 FPGA (Live Demo) (mikeayles.com)
76 points by mikeayles posted 2 days ago • 30 comments
Show HN: My local climbing gym from photogrammetry (kmcheung12.github.io)
28 points by a_c posted 1 day ago • 11 comments
Show HN: AI Pulse a fake LED strip beside the macOS Dock that shows agent status (github.com)
18 points by leog_me posted 1 day ago • 12 comments
Show HN: 100% native Swift harness (NOT Electron) (github.com)
15 points by ljlolel posted 2 days ago • 5 comments
Show HN: Design Engineering, as a Service (designshippers.com)
15 points by krm01 posted 2 days ago • 12 comments
Show HN: Watching browser fingerprinting calls via Chromium's Blink layer (kameleo.io)
14 points by brnbs posted 2 days ago
Show HN: A Project Oberon System version running on RISC-V instead of RISC-5 (github.com)
121 points by Rochus posted 3 days ago • 19 comments
Show HN: Airy – Free, fast, and simple voice content creation (airy.so)
46 points by login588 posted 3 days ago • 18 comments
Show HN: Alphabet Soup, a multiplayer game, build the longest word to win (alphabetsoup.club)
36 points by johnchinjew posted 2 days ago • 39 comments
Show HN: Today's cities on a globe of Earth's tectonic past and future (douwe.com)
36 points by dosinga posted 3 days ago • 10 comments
Show HN: 35k+ paper psychedelic library that knows LSD from Lumpy Skin Disease (consciousnesslibrary.org)
31 points by elliotec posted 2 days ago • 12 comments
Show HN: DeepSeek-V4 Latent Reasoning – moving "thinking" into latent space (blog.n.ichol.ai)
26 points by nmitchko posted 3 days ago • 19 comments
Show HN: A replayable A2A jury for tracing how agents influence decisions (github.com)
19 points by nmaroulis21 posted 3 days ago • 1 comments
Show HN: Vibez – Open-Source Rust Based Digital Audio Workstation (DAW) (alexanderwanyoike.github.io)
18 points by mercutio93 posted 3 days ago • 6 comments
Show HN: Tura – Build agent that uses 80% less token and delivers better results (github.com)
14 points by turaainet posted 3 days ago
Show HN: Open-source playground to red-team AI agents against public prompts (playground.fabraix.com)
13 points by zachdotai posted 3 days ago • 4 comments
Show HN: iPhone app takes simultaneous images from 2 lenses, fuses into 1 photo (photosynthesis.camera)
321 points by sajomes posted 3 days ago • 297 comments
Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean (github.com)
14 points by modinfo posted 4 days ago • 2 comments
Show HN: A free DOCX editor with MCP server for editing (revise.io)
14 points by artursapek posted 4 days ago • 3 comments
Show HN: 49IDE – 2D Grid IDE for managing many agents, Git trees, issues (github.com)
11 points by alpbahadur posted 4 days ago • 1 comments
Show HN: Clippy for macOS – retro floating paperclip with computer use (github.com)
9 points by noobcoder posted 4 days ago • 1 comments
Show HN: Try Benzi – A coding harness/agent beating Claude Code itself on Sonnet (benzi.fly.dev)
8 points by showhz posted 3 days ago
Show HN: Modern C++ Build Tools for Module Feature (github.com)
8 points by sunrisepeak posted 4 days ago • 3 comments
Show HN: VD – TUI Password Manager and OTP Authenticator for Unix (github.com)
7 points by ahmedhosssam posted 3 days ago • 3 comments
Show HN: Compactdiff – see what compaction dropped from an agent session (github.com)
6 points by mileskoldin posted 4 days ago • 1 comments
Show HN: Wyzer Programming Language (github.com)
224 points by v0id_isgood posted 5 days ago • 118 comments
Show HN: textlog – A quiet, text-only microblogging platform, open-source, no JS (textlog.cc)
206 points by stagas posted 5 days ago • 83 comments
Show HN: Tamron Lens Utility Alternative on Linux (github.com)
78 points by xiaoyu2006 posted 5 days ago • 8 comments
Show HN: Certo – An open source platform to deliver Open Badges (github.com)
17 points by thejoin95 posted 5 days ago
Show HN: Sidebar – a private ESP32 intercom for five kids, no accounts (sundaradnus.ca)
16 points by nonstopnonsense posted 5 days ago • 13 comments
Show HN: CrossPlay - Games, puzzles and tools for your e-reader (crossplay.ma-r-s.com)
14 points by ma-r-s posted 4 days ago
Show HN: Remembrane – agent memory in one SQLite file, zero dependencies (github.com)
13 points by satyasairay posted 5 days ago
Show HN: Whisper transcribes 70-year-olds more accurately than 20-year-olds (github.com)
13 points by kzahiri posted 5 days ago • 7 comments
Show HN: Recipe Jar, a local-first recipe keeper with no account or ads (recipejar.app)
9 points by sbmagar13 posted 5 days ago • 3 comments
Show HN: Clef – spaced repetition for piano over MIDI (playclef.com)
8 points by danieldratschuk posted 5 days ago • 3 comments