Show HN Dagelijkse Selectie (2025-04-26)
- Ik gebruikte OpenAI's nieuwe beeld-API voor een gepersonaliseerde kleurboekservice
- Formaliserend Principia Mathematica met Lean
- Magnitude – open-source, AI-native testframework voor webapps
- Een moderne spreadsheet met Python-integratie
- BugStalker - een moderne Rust debugger
- RSS Lookup – Vind RSS-feeds voor elke URL (Gratis, Open Source)
- Faasta – Een zelfgehost Serverless platform voor WASM-wasi-HTTP in Rust
- StackHound - Stop met gissen naar de tech stack van een repo, analyseer het in seconden
- SnipFast – Extraheer gemarkeerde tekst uit fysieke boeken
- Een interactieve demo van de foutcorrectie van QR-codes
- Claude Code met GUI en blokgebaseerde prompteditor (MIT)
- Loat – Verhoog MRR met geautomatiseerde e-mails
- Een MCP-server voor het begrijpen van AWS-kosten
- OpenWrt Configurator – Eenvoudig configuratiebeheer voor OpenWrt-apparaten
- Maak van Rails REST API's Model Context Protocol (MCP) Servers
- Pomo – Beheer je Stripe-promocodes zonder code
- Mailfrom.dev – Een goedkopere MailTrap-alternatief
- Mijn Python tekstgebaseerde dungeon crawler game-engine
- TSCE – Denk Na Voor Je Spreekt (Two-Step Contextual Enrichment voor LLMs)
- Mermaid Open Editor 2.0
- Turbine – Een scripttaal voor C/C++ met Markdown-achtige syntax
Ik gebruikte OpenAI's nieuwe beeld-API voor een gepersonaliseerde kleurboekservice [Afbeelding]
46 punten, 26 reacties
Een service die gepersonaliseerde kleurboeken genereert uit familiefoto's met behulp van OpenAI's beeld-API.
- Gebruikt OpenAI's beeld-API om het maken van kleurboekpagina's uit geüploade foto's te automatiseren
- Integreert met drukservices voor het leveren van fysieke kleurboeken
- Spreekt zowel volwassenen als kinderen aan voor creatief en therapeutisch plezier
- Biedt 10% korting voor vroege gebruikers
Formaliserend Principia Mathematica met Lean [Onderzoek]
84 punten, 21 reacties
Een project om Bertrand Russell's Principia Mathematica te formaliseren met de Lean theorem prover, waarbij nauwkeurig de originele bewijzen worden gevolgd.
- Formaliseert het eerste volume van Principia Mathematica met Lean4
- Volgt Russell's bewijzen rigoureus met minimale toegevoegde verklaringen
- Streeft naar hoge nauwkeurigheid en verwelkomt feedback op onnauwkeurigheden
- Geïnspireerd door maar verschillend van een bestaande Coq-gebaseerde formalisering
- Open-source en beschikbaar op GitHub voor samenwerking
Magnitude – open-source, AI-native testframework voor webapps [Ontwikkelaarstools]
113 punten, 30 reacties
Een open-source, AI-native testframework voor webapps dat visuele LLM-agents gebruikt voor snellere, goedkopere en betrouwbaardere tests.
- Gebruikt puur beeld in plaats van foutgevoelige "set-of-marks" systemen
- Maakt gebruik van kleine VLM (Moondream) voor snellere en goedkopere uitvoering dan OpenAI/Anthropic
- Beschikt over een twee-agentensysteem: planner voor het aanpassen van testcases en executor voor snelle, consistente uitvoeringen
- Slaat testplannen op en hergebruikt ze voor efficiëntie, met terugval op planner bij problemen
- Volledig open-source en specifiek geoptimaliseerd voor webtesten
Een moderne spreadsheet met Python-integratie [Productiviteit]
44 punten, 6 reacties
Een moderne spreadsheet-tool met Python-integratie voor het efficiënt verwerken van grote datasets.
- Verwerkt grote datasets (4GB+) en laadt GB/32 miljoen-rij bestanden in seconden
- Ondersteunt tot 500GB RAM-gebruik zonder crashes
- Bewerkt, splitst, voegt samen en reinigt CSV/tekstbestanden met tot 32M rijen en 1M kolommen
- Staat Python-functies toe als UDF-formules, die afbeeldingen of CSV-bestanden kunnen retourneren
- Bevat statistische pivot-datafuncties en solver-functies met vrijwel geen variabele limieten
- Genereert direct grafieken met miljoenen datapunten
- Neemt actief gebruikersfeedback op voor verbeteringen
BugStalker - een moderne Rust debugger [Ontwikkelaarstools]
103 punten, 15 reacties
Een moderne Rust debugger geschreven in Rust.
- Moderne debugger voor Rust
- Geschreven in Rust zelf
- Ontworpen voor het debuggen van Rust-applicaties
RSS Lookup – Vind RSS-feeds voor elke URL (Gratis, Open Source) [Ontwikkelaarstools]
4 punten, 3 reacties
Een gratis, open-source tool om RSS-feeds te vinden voor elke URL door meta-tags, fallback-paden en hardcoded feeds te analyseren.
- Zoekt automatisch naar RSS-feeds van elke website-URL
- Gebruikt meta-tags, fallback-paden en hardcoded feeds voor populaire sites
- Open-source zonder advertenties of URL-tracking
- Bevat Cloudflare Turnstile voor misbruikpreventie en Plausible voor analytics
Faasta – Een zelfgehost Serverless platform voor WASM-wasi-HTTP in Rust [Ontwikkelaarstools]
86 punten, 30 reacties
Faasta is een zelfgehost serverless platform voor WASM-wasi-HTTP-functies, geschreven in Rust, dat efficiënte multi-tenancy en hoge gelijktijdigheid biedt.
- Open-source en standaardconforme WASI-HTTP-hosting
- Maakt duizenden gelijktijdige functie-aanroepen mogelijk in een enkel proces
- CLI-utility beschikbaar via
cargo install cargo-faasta - Gratis gehoste instantie met GitHub OAuth-implementatie (10-functielimiet per account)
- Efficiënter dan traditionele VM-gebaseerde serverless oplossingen zoals AWS Lambda
StackHound - Stop met gissen naar de tech stack van een repo, analyseer het in seconden [Ontwikkelaarstools]
5 punten, 1 reactie
StackHound analyseert GitHub-repo's om hun daadwerkelijke tech stack te onthullen door afhankelijkheidsbestanden te scannen.
- Scant afhankelijkheidsbestanden om tools, frameworks en talen te ontdekken
- Werkt met React, Next.js, Tailwind, Flask, Spring Boot en meer
- Directe analyse door een GitHub-gebruikersnaam en repo in te voeren
- Biedt een API-eindpunt voor integratie in aangepaste tools
- Open-source en bevat een live demo
SnipFast – Extraheer gemarkeerde tekst uit fysieke boeken [Onderwijs]
9 punten, 0 reacties
Een tool voor het extraheren van gemarkeerde tekst uit fysieke boeken via beeldopname.
- Detecteert en extraheert automatisch gemarkeerde tekst uit pagina-foto's
- Staat handmatige selectie van zinnen toe voor precies kopiëren
- Gebruikt een aangepast ML-model voor markeringdetectie
- Gratis proefperiode met credits, gevolgd door kleine betaling om misbruik te voorkomen
- Ontworpen voor lezers, studenten en onderzoekers
- Kotlin-backend met Postgres-database
- Vroege feedback gevraagd voor UI en gebruiksvriendelijkheidverbeteringen
Een interactieve demo van de foutcorrectie van QR-codes [Consumententechnologie]
10 punten, 2 reacties
Interactieve demo die de fouttolerantie van QR-codes laat zien door gebruikers te laten tekenen op QR-codes en de impact van schade in realtime te zien.
- Visualiseert QR-code fouttolerantie met gezondheidsbalken en schadetellers
- Schakel tussen tekenmodus en inspectiemodus voor gedetailleerde analyse
- Gebruikt WebAssembly-gecompileerde C++-decoder voor nauwkeurige realtime feedback
- Moedigt verificatie aan via telefoonscanning om breekpunten te bevestigen
- Demonstreert QR-code veerkracht met minimale data-regioschade-uitdaging
Claude Code met GUI en blokgebaseerde prompteditor (MIT) [Ontwikkelaarstools]
3 punten, 1 reactie
Claude Code biedt een GUI en blokgebaseerde prompteditor voor coderen met Claude.
- Beschikt over een grafische gebruikersinterface (GUI)
- Bevat een blokgebaseerde prompteditor
- Open-source onder MIT-licentie
Loat – Verhoog MRR met geautomatiseerde e-mails [Marketing]
4 punten, 2 reacties
Loat is een platform voor oprichters om e-mailcampagnes te automatiseren voor groei en onboarding zonder een toegewijd CRM nodig te hebben.
- Automatiseert e-mailsequenties voor verschillende producten
- Ondersteunt educatieve nurture-campagnes en nieuwsbrieven
- Ontworpen voor lean teams om e-mail als groeikanaal te maximaliseren
- Gebouwd vanuit interne tools gebruikt in een hoogvertrouwen belastingproduct
Een MCP-server voor het begrijpen van AWS-kosten [Financiën]
14 punten, 3 reacties
Een MCP-server die LLM's zoals Claude en Cursor verbindt met AWS-kosten- en gebruiksgegevens via de Vantage API voor AI-gestuurd cloudkostenbeheer.
- Integreert met LLM's (Claude, Cursor, met ChatGPT en Gemini binnenkort)
- Ondersteunt 20+ cloudproviders (AWS, Datadog, MongoDB, etc.)
- Maakt ad-hoc kostenquery's, actieplannen en multi-tool workflows mogelijk
- Vereist een Vantage-account voor API-toegang
- Open-source (GitHub-repo beschikbaar)
OpenWrt Configurator – Eenvoudig configuratiebeheer voor OpenWrt-apparaten [Ontwikkelaarstools]
3 punten, 0 reacties
Een CLI-tool voor eenvoudig configuratiebeheer van OpenWrt-apparaten, met plannen voor een web UI en open-source UniFi Controller-alternatief.
- Vereenvoudigt het inrichten van configuraties over meerdere OpenWrt-apparaten
- CLI-gebaseerd voor snelle en scriptbare beheer
- Toekomstplannen omvatten een web UI voor verbeterde gebruiksvriendelijkheid
- Streeft naar een open-source alternatief voor UniFi Controller
Maak van Rails REST API's Model Context Protocol (MCP) Servers [Ontwikkelaarstools]
3 punten, 0 reacties
Maak van Rails REST API's Model Context Protocol (MCP) Servers.
- Converteert Rails REST API's naar MCP-servers
- Verbetert API-functionaliteit met model context protocol
Pomo – Beheer je Stripe-promocodes zonder code [Zakelijk]
4 punten, 6 reacties
Een gratis tool om batchgewijs Stripe-promocodes te maken en beheren zonder te coderen.
- No-code oplossing voor het maken van unieke promocodes in Stripe
- Batchgeneratie met aanpasbare voorvoegsels
- Eenvoudige setup met Stripe API-sleutels
- Exporteer promocodes voor marketingcampagnes
Mailfrom.dev – Een goedkopere MailTrap-alternatief [Ontwikkelaarstools]
3 punten, 2 reacties
Een eenvoudige, betaalbare sandbox SMTP-server voor het testen van e-mailflows in dev/staging-omgevingen zonder echte e-mails te versturen.
- Betaalbaar alternatief voor MailTrap
- Eenvoudige setup en delen met team/klanten
- Ondersteunt het testen van e-mailflows (resets, onboarding, verificaties)
- Gebouwd met Laravel, Vue 3, shadcn, gehost op k3s (Hetzner)
- Gebruikt AWS S3 en SES voor opslag en e-mailafhandeling
Mijn Python tekstgebaseerde dungeon crawler game-engine [Entertainment]
3 punten, 0 reacties
Een Python-gebaseerde tekst-dungeon crawler-engine gemaakt tijdens herstel van een operatie.
- Spelwerelden gedefinieerd in JSON
- Bevat kamers, buit en monsters
- Open-source op GitHub
TSCE – Denk Na Voor Je Spreekt (Two-Step Contextual Enrichment voor LLMs) [Ontwikkelaarstools]
3 punten, 0 reacties
TSCE is een Python-bibliotheek die de instructievolgnauwkeurigheid van kleine taalmodellen verbetert met een tweestapsarchitectuur zonder fine-tuning.
- Geen fine-tuning nodig, werkt met bestaande modellen zoals GPT-3.5 en GPT-4
- Verbetert betrouwbaarheid door denken (Fase 1) en antwoorden (Fase 2) te scheiden
- Compatibel met OpenAI en Azure OpenAI API's
- Minimale latentie-overhead (~2 API-aanroepen) voor duidelijkere, nauwkeurigere outputs
- Aanpasbare systeemprompts voor op maat gemaakte reacties
Mermaid Open Editor 2.0 [Ontwikkelaarstools]
3 punten, 1 reactie
Mermaid Open Editor 2.0 is een bijgewerkte versie van de open-source Mermaid-diagrameditor.
- Open-source
- Ondersteunt het maken van Mermaid-diagrammen
- Verbeterde functies in versie 2.0
[Discuss