Show HN Dagelijkse Selectie (2025-06-19)
- Unregistry – "docker push" direct naar servers zonder registry
- Workout.cool – Open-source fitnesscoachplatform
- Ik bouwde een tensor-bibliotheek vanaf nul in C++/CUDA
- Trieve CLI – Terminalgebaseerde LLM-agentlus met zoektool voor PDF's
- Lstr – Een moderne, interactieve tree-commando geschreven in Rust
- Gratis lokale beveiligingscontroles voor AI-codering in VSCode, Cursor en Windsurf
- Delve, een open-source (AGPL) enterprise-grade data-analyseplatform
- ht-mcp – een Rust MCP-server voor headless terminal voor agents
- AI Debate Arena – Zie Welke LLM het Beste Kan Argumenteren
- Tips voor een levenslange Windows-gebruiker die overstapt naar Mac
- Eenvoudige Percentagecalculator
- WFGY – Een redeneermotor die LLM-logica repareert zonder hertraining
- Interactieve Literatuuroverzichten met Visuele Kenniskaarten
- VerifyWise, een open-source governanceplatform voor AI-naleving
- Rulebook AI – regels en geheugenbeheerder voor AI-coderings-IDEs
- fzfm – fuzzy finder bestandsbeheerder
- MediaCMS v6 – open-source videoplatform met trimmer en RBAC
- Cpdown – Kopieer elke webpagina/YouTube-ondertitel als schone Markdown (LLM-ready)
- Ik bouwde een tool die sociale content automatiseert voor drukke startup-oprichters
- Tiny Hoare-logicavalidator met SMT
Unregistry – "docker push" direct naar servers zonder registry [Ontwikkelaarstools]
42 punten, 8 reacties
Unregistry maakt direct pushen van Docker-images naar externe servers mogelijk zonder een registry nodig te hebben.
- Elimineert de noodzaak van een registry door gebruik te maken van Docker's ingebouwde image-opslag
- Voegt een
docker pussh-commando toe voor het direct pushen van images via SSH - Transfert alleen ontbrekende lagen voor efficiëntie
- Gebruikt een tijdelijke container op de externe host en ruimt daarna op
- Onderdeel van het bredere Uncloud-project voor containerimplementatie
Workout.cool – Open-source fitnesscoachplatform [Gezondheid]
527 punten, 166 reacties
Een open-source fitnesscoachplatform volledig opnieuw opgebouwd met verbeterde functies en geen licentieproblemen.
- 100% open-source, MIT-gelicentieerd
- Bevat 1200+ oefeningen met video's, attributen en vertalingen
- Functionaliteit voor voortgangsregistratie
- Klaar voor meertaligheid
- Optie voor zelfhosting
- Gemeenschapsgedreven ontwikkeling
Ik bouwde een tensor-bibliotheek vanaf nul in C++/CUDA [Ontwikkelaarstools]
85 punten, 17 reacties
Een lichtgewicht tensor-bibliotheek in C++/CUDA met een PyTorch-achtige Python-API voor het lokaal uitvoeren van kleine LLM's.
- C++-kern met CUDA-ondersteuning vanaf nul geschreven
- Vertrouwde PyTorch-achtige Python-API
- Ondersteunt het uitvoeren van echte modellen (bijv. Qwen van HuggingFace) op CUDA/CPU
- Ingebouwde observeerbaarheid voor Python en C++
- Geplande BF16-ondersteuning en GPU-workloadvisualisatie
Trieve CLI – Terminalgebaseerde LLM-agentlus met zoektool voor PDF's [Ontwikkelaarstools]
25 punten, 9 reacties
Een terminalgebaseerd CLI-hulpmiddel voor het bevragen van PDF's met een LLM-agent met iteratieve zoek- en ophaalmogelijkheden.
- Gebruikt LLM-agents met zoektools in plaats van contextvenstervulling voor betere kennisophaling
- Eenvoudige workflow: upload PDF's en bevraag ze direct vanuit de terminal
- Aanpasbaar RAG-gedrag en uitbreidbare bronverwijzingen in antwoorden
- Gratis voor maximaal 1k documentsegmenten, met broncode beschikbaar op GitHub en npm
Lstr – Een moderne, interactieve tree-commando geschreven in Rust [Ontwikkelaarstools]
208 punten, 64 reacties
Een modern, interactief tree-commando geschreven in Rust met Git-integratie en TUI-functies.
- Interactieve TUI-modus: Toetsenbordgestuurde navigatie, uitvouwen/samenvouwen van mappen en openen van bestanden in de standaardeditor.
- Git-statusintegratie: Toont Git-status van bestanden en mappen met de
-G-vlag. - Shell-integratie: Exporteert geselecteerde paden naar stdout voor piping of gebruik in shellfuncties zoals
lcdvoor visuele mappennavigatie. - Extra functies: Ondersteunt bestandstypepictogrammen (Nerd Fonts), bestandsgroottes, rechten en respecteert
.gitignore.
Gratis lokale beveiligingscontroles voor AI-codering in VSCode, Cursor en Windsurf [Ontwikkelaarstools]
30 punten, 22 reacties
Codacy Guardrails is een gratis IDE-extensie en CLI-hulpmiddel dat beveiligings- en kwaliteitsproblemen in AI-gegenereerde code in realtime scant en repareert.
- Integreert met AI-coderingsassistenten zoals VS Code, Cursor en Windsurf
- Gebruikt open-source statische analyzers (Semgrep, Trivy) met 2000+ regels
- Ondersteunt JavaScript/TypeScript, Python en Java
- Detecteert OWASP Top 10 kwetsbaarheden, hardgecodeerde geheimen en stijlschendingen
- Aanpasbare regels voor projectspecifieke behoeften
- Gratis voor individuele ontwikkelaars met betaalde teamplannen beschikbaar
Delve, een open-source (AGPL) enterprise-grade data-analyseplatform [Ontwikkelaarstools]
15 punten, 13 reacties
Een open-source enterprise-grade data-analyseplatform gebouwd met Django en moderne webtechnologieën.
- Schaalbaar platform voor het verwerken, doorzoeken en rapporteren van grote datasets
- Uitbreidbaar met aangepaste Django-apps
- Unix-pipe-achtige zoektaal aangedreven door Python-scripts
- Web-UI ondersteunt tabellen, lijngrafieken en staafdiagrammen
- Gebouwd met Django, Django Rest Framework, webpack, JS en SCSS
ht-mcp – een Rust MCP-server voor headless terminal voor agents [Ontwikkelaarstools]
19 punten, 1 reactie
Een Rust MCP-server die AI-coderingshulpmiddelen in staat stelt om met terminals te interacteren zoals mensen door menselijke invoer en statusbeheer te simuleren.
- Omhult de headless terminal (HT) om agentische coderingshulpmiddelen interactieve CLI-hulpmiddelen te laten gebruiken
- Ondersteunt mensachtige interactie met terminals (bijv. navigeren door menu's, tekst bewerken in vim/emacs)
- 40x snellere opstarttijd (~50ms) en 70% lager geheugengebruik (~15MB) vergeleken met TypeScript-versie
- Enkel 3MB-binair bestand zonder externe afhankelijkheden
- Demo beschikbaar met Claude Code en Memex
- Installeerbaar via Homebrew (
brew install ht-mcp)
AI Debate Arena – Zie Welke LLM het Beste Kan Argumenteren [Entertainment]
3 punten, 1 reactie
AI-gestuurd debatplatform waar LLM's tegenovergestelde kanten van controversiële onderwerpen beargumenteren om gebalanceerde argumenten naar voren te brengen.
- Zet GPT-4o, Grok 3 en Gemini 2.5 Flash tegen elkaar af met willekeurig toegewezen voor/tegen posities
- Gebruikers stemmen voor en na debatten om overtuigingsimpact te meten
- Doelstelling: LLM's benchmarken door bias te detecteren via prestaties in willekeurige debatten
- Plannen om argumentstructuur te verfijnen, opsmuk te verminderen en audio-uitvoer toe te voegen
- Ontworpen voor intellectueel nieuwsgierige gebruikers die openstaan voor het veranderen van hun mening
Tips voor een levenslange Windows-gebruiker die overstapt naar Mac [Consumententechnologie]
4 punten, 1 reactie
Overstappen van Windows naar Mac: Essentiële tips voor een soepele overgang.
- Samengevatte kennis voor Windows-gebruikers die zich aanpassen aan Mac OS
- Geïnspireerd door soortgelijke nuttige posts
- Richt zich op praktische gebruikerstips
Eenvoudige Percentagecalculator [Productiviteit]
3 punten, 0 reacties
Eenvoudig hulpmiddel voor het berekenen van percentages.
- Snelle percentageberekeningen
- Gebruiksvriendelijke interface
WFGY – Een redeneermotor die LLM-logica repareert zonder hertraining [Ontwikkelaarstools]
9 punten, 5 reacties
WFGY is een redeneermotor die LLM-logicafouten repareert zonder hertraining met behulp van een PDF-gebaseerd semantisch protocol.
- Corrigeert projectie-instorting, contradictielussen en ambiguïteitsketens
- Geen hertraining of systeemaanroepen nodig—verandert redeneertrajecten direct
- Verbetert redeneersucces met 42,1%, semantische afstemming met 22,4% en stabiliteit met 3,6×
- Bevat formele theorie, promptsets en reproduceerbare resultaten
- Geen afhankelijkheden, volledig open-source
Interactieve Literatuuroverzichten met Visuele Kenniskaarten [Onderzoek]
4 punten, 0 reacties
Een hulpmiddel dat literatuuroverzichten transformeert in interactieve visuele kenniskaarten met behulp van AI.
- Upload onderzoeksartikelen (PDF's) en webbronnen (HTML)
- AI genereert interactieve kenniskaarten uit bronnen
- Bekijk hoogwaardige samenvattingen of gedetailleerde per-bron/sectie-samenvattingen
- Breid specifieke secties van interesse uit in de kaart
- Toegang tot originele bronnen in context
- Stel contextuele vragen over het onderzoek
- Vooraf samengestelde reviews over onderwerpen zoals LLM's, Diffusion Models en AI Agents
VerifyWise, een open-source governanceplatform voor AI-naleving [Zakelijk]
4 punten, 0 reacties
Een open-source AI-governanceplatform voor naleving, auditbereidheid en risicobeheer.
- Biedt auditbereidheid, risicoregisters en nalevingsdocumentatie
- Bevat modelfairnesscontroles met Fairlearn-integratie
- Ondersteunt EU AI Act en ISO 42001-workflows met exporteerbare audittrails
- Heeft een trainingsregister voor het volgen van AI-geletterdheid
- Biedt zelfhosting en gemeenschapsgedreven ontwikkeling
- Open voor ontwerpbijdragen via Figma
Rulebook AI – regels en geheugenbeheerder voor AI-coderings-IDEs [Ontwikkelaarstools]
18 punten, 4 reacties
AI-regels en geheugenbeheerder voor coderings-IDEs.
- Beheert regels en geheugen voor AI-codering
- Ontworpen voor integratie met IDE's
fzfm – fuzzy finder bestandsbeheerder [Ontwikkelaarstools]
5 punten, 0 reacties
Een Bash-utility die fzf omzet in een terminalbestandsnavigator met fuzzy-zoeken en preview-ondersteuning.
- Navigeer door mappen en fuzzy-zoek bestanden
- Preview bestandsinhoud met bat (fallback naar cat)
- Preview mappen met eza (fallback naar ls)
- Open bestanden in je editor of viewer (configureerbaar)
- Eenvoudig aanpasbaar via omgevingsvariabelen
MediaCMS v6 – open-source videoplatform met trimmer en RBAC [Video]
10 punten, 1 reactie
Open-source videoplatform met trimfunctie en op rollen gebaseerd toegangsbeheer.
- Open-source videoplatform
- Bevat videotrimfunctie
- Ondersteunt op rollen gebaseerd toegangsbeheer (RBAC)
Cpdown – Kopieer elke webpagina/YouTube-ondertitel als schone Markdown (LLM-ready) [Ontwikkelaarstools]
13 punten, 3 reacties
Een Chrome-extensie die webpagina-inhoud of YouTube-ondertitels omzet in schone Markdown met tokentelling voor LLM-gebruik.
- Intelligente inhoudsextractie: Verwijdert advertenties en zijbalken om zich te concentreren op hoofdinhoud
- Schone Markdown-conversie: Converteert HTML naar nette Markdown
- Tokentelling voor LLM's: Toont tokentelling voor compatibiliteit met LLM's
- YouTube-transcriptkopieën: Kopieert volledige transcripties met videotitel als kop
- Aanpasbare opties: Keuze uit extractors en codeblokomwikkeling
- Gratis en open-source: Gebouwd met WXT, React en TypeScript
Ik bouwde een tool die sociale content automatiseert voor drukke startup-oprichters [Marketing]
7 punten, 5 reacties
Een tool die het maken en plannen van sociale mediacontent automatiseert voor startup-oprichters.
- Genereert automatisch een 30-dagen contentplan