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

210 points by matthewolfe 8h ago 58 comments

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

185 points by rpastuszak 9h ago 73 comments

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

52 points by keyth72 3d ago 17 comments

Show HN: Audiopipe – Pipeline for audio diarization, denoising and transcription (github.com)

2 points by nullwiz 1h ago 0 comments

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

3 points by rokeyzhang 2h ago 2 comments

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

3 points by hammadtariq 2h ago 0 comments

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

37 points by vickipow 3d ago 26 comments

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

2 points by jibolash 3h ago 0 comments

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

333 points by geoctl 1d ago 144 comments

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

3 points by Premananda 5h ago 0 comments

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

2 points by aviaryan 5h ago 0 comments

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

4 points by eu90h 7h ago 0 comments

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

4 points by KallDrexx 7h ago 0 comments

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

3 points by ashtavakra 8h ago 1 comments

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

1501 points by jamesharding 3d ago 196 comments

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

4 points by abbychau 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: Flutter Course 3.0: A Browser IDE (hungrimind.com)

2 points by tadaspetra 3h ago 0 comments

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

4 points by andrej-wp 10h ago 0 comments

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

83 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 2d 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: Magnitude – Open-source AI browser automation framework (github.com)

139 points by anerli 4d ago 40 comments

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

92 points by maxwellito 6d ago 58 comments

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

198 points by ihiep 3d ago 39 comments

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

165 points by matthewhefferon 4d ago 33 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: Layerfig Type-safe layered config for JavaScript/TS with any validator (layerfig.dev)

4 points by raulfdm 1d ago 0 comments

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

3 points by Dhruv1823 21h ago 1 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 22h ago 1 comments

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

2 points by andresribeiro 1d 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: 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 2d 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: Sysadmin.ca Free Tools and Real-World Resources for Everyday Sysadmins (sysadmin.ca)

4 points by WallyCanada 7h ago 0 comments

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

2 points by volotat 13h ago 0 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: DNS at ludicrous speed for Go, powered by XDP sockets (github.com)

3 points by dwisiswant0 1d ago 1 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: Daily word puzzle – Guess the consonants of a word (consonants21.com)

3 points by nbhat 1d ago 6 comments

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

4 points by LambriniWorks 16h ago 2 comments

Copyleft-next: A new non-weak copyleft license inspired by the GNU GPL

3 rapnie 7 6/30/2025, 11:15:25 AM next.copyleft.org ↗

Comments (7)

rapnie · 9h ago

License texts formulated by Bradley Kuhn and Richard Fontana, both of whom were involved with GPLv3 Drafting Committees.

> "We learned much from what was done right and (frankly) what was done wrong in drafting GPLv3"

Read the full announcement at:

https://fedi.copyleft.org/@next/114769761806288554

wiz21c · 9h ago

Release date: 2016-04-29

rapnie · 9h ago

It is the copyleft-next project itself that has been restarted:

> We excitedly announce that the two of us (Richard and Bradley) have been in discussions [1] for a few months to restart, revitalize, and relaunch copyleft-next!

> Today, GPLv3 turns exactly 18 years old. This month, GPLv2 turned 34 years old. These are both great licenses and we love them. Nevertheless, at least once in a generation, FOSS needs a new approach to strong copyleft.

https://lists.copyleft.org/pipermail/next/2025q2/000000.html

znpy · 9h ago

> If the Derived Work includes material licensed under the GPL, You may instead license the Derived Work under the GPL.

I don’t think unilaterally changing license is legal.

If i include the linux kernel in my derivative work, can i change the kernel license?

No wonder this went nowhere.

detaro · 9h ago

how would licensing the Derived Work under GPL because you included the GPL-licensed kernel change the kernel license?

znpy · 8h ago

I wasn’t referring to the original project, but to what would effectively turn into a fork of the kernel.

But i just realised this is a non issue: anything including gpl-licensed software is automatically gpl software itsef as the gpl is a viral license.

So the original excerpt is useless.

detaro · 8h ago

no it is not. It is needed to allow you to license the Derived Work as GPL while including parts under this license.