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

194 points by matthewolfe 6h ago 57 comments

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

169 points by rpastuszak 7h ago 67 comments

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

2 points by rokeyzhang 21m ago 2 comments

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

44 points by keyth72 3d ago 16 comments

Show HN: Attach Gateway – one-command OIDC/DID auth for local LLMs (github.com)

3 points by hammadtariq 51m ago 0 comments

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

36 points by vickipow 3d ago 23 comments

Show HN: QuizKnit, an open source quiz creator (quizknit.com)

2 points by jibolash 1h ago 0 comments

Show HN: MailMap – Turn emails into interactive stories on Google Maps (mailmap.site)

3 points by Premananda 4h ago 0 comments

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

2 points by aviaryan 4h ago 0 comments

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

329 points by geoctl 1d ago 143 comments

Show HN: Semantic-dictionary – A Python dictionary with semantic lookup (github.com)

3 points by eu90h 5h ago 0 comments

Show HN: Flutter Course 3.0: A Browser IDE (hungrimind.com)

2 points by tadaspetra 2h ago 0 comments

Show HN: DotnetEbpf - Write Linux eBPF kernel applications in C# (github.com)

4 points by KallDrexx 6h ago 0 comments

Show HN: Ravana, Multi AI Assistant Browser Desktop App (github.com)

3 points by ashtavakra 6h ago 1 comments

Show HN: My Cross-Platform MySQL Parser (abbychau.github.io)

4 points by abbychau 6h ago 0 comments

Show HN: AI image alt text generation tool – Turn images into text with AI (imagerr.ai)

4 points by andrej-wp 8h ago 0 comments

Show HN: Sharpe Ratio Calculation Tool (fundratios.com)

22 points by navquant 1d ago 16 comments

Show HN: Summle – A little maths Game (summle.net)

24 points by kirchhoff 4d ago 7 comments

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

1497 points by jamesharding 3d ago 196 comments

Show HN: AGL a toy language that compiles to Go (github.com)

82 points by alain_gilbert 5d ago 12 comments

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

79 points by a10r 1d ago 37 comments

Show HN: A tool to benchmark LLM APIs (OpenAI, Claude, local/self-hosted) (llmapitest.com)

52 points by mrqjr 1d ago 9 comments

Show HN: A different kind of AI Video generation

44 points by fcpguru 4d ago 19 comments

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

144 points by sirbread 3d ago 89 comments

Show HN: Do you know RGB? (maxwellito.github.io)

92 points by maxwellito 6d ago 58 comments

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

139 points by anerli 4d ago 40 comments

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

198 points by ihiep 3d ago 39 comments

Show HN: SmartStepper – Multi-Step Form Library with Config-Based Flow (github.com)

14 points by milad_shirian 1d ago 4 comments

Show HN: I built an AI dataset generator (github.com)

164 points by matthewhefferon 4d ago 33 comments

Show HN: Tablr – Supabase with AI Features (tablr.dev)

3 points by Dhruv1823 19h ago 1 comments

Show HN: Layerfig Type-safe layered config for JavaScript/TS with any validator (layerfig.dev)

4 points by raulfdm 1d ago 0 comments

Show HN: SVG Lined Tile Generator (adpreese.github.io)

27 points by adpreese 4d ago 6 comments

Show HN: BloomPilot – AI-Powered Overlay for Bloomberg Terminal (prestigious-albatross-928.convex.app)

2 points by symwn 20h ago 1 comments

Show HN: Ciara – Securely deploy any application on any server (ciara-deploy.dev)

2 points by andresribeiro 22h ago 0 comments

Show HN: Sysadmin.ca Free Tools and Real-World Resources for Everyday Sysadmins (sysadmin.ca)

4 points by WallyCanada 5h ago 0 comments

Show HN: Oasis – An open-source, 3D-printed smart terrarium (github.com)

141 points by jbuch 6d ago 18 comments

Show HN: Ketcher Docker – Self-Hosting Advanced Chemical Structure Editor (github.com)

2 points by mireklzicar 1d ago 0 comments

Show HN: Anagnorisis. A Vision for Better Information Management (medium.com)

2 points by volotat 11h ago 0 comments

Show HN: EliteSaaS – Self-Contained SaaS Starter (Auth, Billing, Email, Launch) (elitesaas.dev)

3 points by eibrahim 1d ago 0 comments

Show HN: Anti-Cluely – Detect virtual devices and cheating tools on exam systems (anti-cluely.com)

10 points by kkxingh 1d ago 0 comments

Show HN: PILF, The ultimate solution to catastrophic oblivion on AI models (github.com)

29 points by NetRunnerSu 3d ago 12 comments

Show HN: Scream to Unlock – Blocks social media until you scream “I'm a loser”

241 points by madinmo 5d ago 129 comments

Show HN: Visualizing method dependencies over classes in C# and TypeScript (github.com)

2 points by silverveskilt 1d ago 0 comments

Show HN: PRSS Site Creator – Create Blogs and Websites from Your Desktop (prss.co)

25 points by volted 3d ago 21 comments

Show HN: Elelem, a tool-calling CLI for Ollama and DeepSeek in C (codeberg.org)

45 points by atjamielittle 5d ago 3 comments

Show HN: Cheesy Mamas: Local only code editor with Git and Bash support (osf.io)

4 points by LambriniWorks 15h ago 2 comments

Show HN: DNS at ludicrous speed for Go, powered by XDP sockets (github.com)

3 points by dwisiswant0 1d ago 1 comments

Show HN: Daily word puzzle – Guess the consonants of a word (consonants21.com)

3 points by nbhat 1d ago 5 comments

Show HN: Clai - Vendor agnostic Claude Code/Gemini CLI written in Go (github.com)

8 points by baalimago 2d ago 0 comments

Show HN: Domain-check – Rust tool for checking domain name availability (github.com)

3 points by gvs46 1d ago 1 comments

Show HN: A rigorous proof that the imaginary unit "i" is real(PGP and DOI)

1 purrplexia 0 6/30/2025, 9:20:34 AM zenodo.org ↗

I just published a short, deep, rigorous, math proof showing that the strange behavior of "i" is actually real, continuous, definite integration, and behaves under all axioms of i and Euler's identity. Cryptographically signed (PGP). CC BY 4.0

Comments (0)

No comments yet