Show HN Dagelijkse Selectie (2025-10-23)
- Cuq – Formele Verificatie van Rust GPU-kernels
- Maak interactieve diagrammen met pop-upinhoud
- Subway Surfers in je Terminal
- Maktabah Islam ELKIRTASS wordt nieuw leven ingeblazen op Qt6 CMake
- ProxyBridge leidt elk Windows TCP/UDP-verkeer om naar HTTP/SOCKS5-proxies
- SerenDB – Een Neon PostgreSQL-fork geoptimaliseerd voor AI-agent workloads
- Voer elke GitHub Action lokaal uit vanuit je Cron-taak -- eindelijk!
- Stoppen met Extreme Terugtrekking – Gratis AI-gids voor extreme angst
- AutoLearn Vaardigheden voor zelfverbeterende agents
- Cont3xt.dev – Universele Teamkennis voor AI-coderingstools
- RuleHunt – TikTok voor Cellulaire Automata
- Incrementele JSON-parser voor streaming LLM-toolaanroepen in Ruby
- UHOP – Ontsnappen aan Nvidia Lock-In met een Open Hardware Optimalisatielaag
- UHOP – Een Open Hardware Optimalisatieplatform voor GPU's
- Timeplus Proton 3.0 – De eerste vectorized streaming SQL-engine
- caniscrape – Analyseer anti-botbeschermingen voor het scrapen (CLI en Web)
- Pong Wars Idle Game
- Buzzd Chat – een Yahoo Messenger-revivalproject
- Ik ben 13 en heb een AI gebouwd die context onthoudt tussen gesprekken
Cuq – Formele Verificatie van Rust GPU-kernels [Ontwikkelaarstools]
31 punten, 23 reacties
Formele verificatietool voor Rust GPU-kernels.
- Zorgt voor correctheid van Rust GPU-kernels
- Gebruikt methoden voor formele verificatie
- Richt zich op veiligheid bij GPU-programmering
Maak interactieve diagrammen met pop-upinhoud [Ontwerp]
30 punten, 0 reacties
Interactief diagramtool met pop-upinhoud voor eenvoudig delen en documenteren.
- Maak diagrammen met pop-ups die worden geactiveerd door klikken/hoveren
- Geen inlog vereist voor delen via weblink
- Handig voor systeemdocumentatie, onboarding en presentaties
- Probeer het zonder aanmelden op app.vexlio.com
Subway Surfers in je Terminal [Entertainment]
3 punten, 1 reactie
Subway Surfers-game speelbaar direct in de terminal.
- Te installeren via Homebrew
- Ontworpen om focus te verbeteren tijdens werkpauzes
- Eenvoudige command-line uitvoering
Maktabah Islam ELKIRTASS wordt nieuw leven ingeblazen op Qt6 CMake [Ontwikkelaarstools]
3 punten, 0 reacties
Revival van ELKIRTASSE, een tegenhanger van Maktabah Shamilah, nu geüpdatet naar Qt6 en CMake.
- Gemoderniseerd met Qt6-framework
- Gebruikt CMake-buildsysteem
- Open voor community-bijdragen en verbeteringen
ProxyBridge leidt elk Windows TCP/UDP-verkeer om naar HTTP/SOCKS5-proxies [Ontwikkelaarstools]
3 punten, 0 reacties
ProxyBridge leidt elk Windows TCP/UDP-verkeer om naar HTTP/SOCKS5-proxies.
- Leidt TCP/UDP-verkeer om op Windows
- Ondersteunt HTTP- en SOCKS5-proxies
- Geen aanvullende tekst of details beschikbaar
SerenDB – Een Neon PostgreSQL-fork geoptimaliseerd voor AI-agent workloads [Ontwikkelaarstools]
6 punten, 1 reactie
Een PostgreSQL-fork geoptimaliseerd voor AI-workloads met verbeterde veiligheids- en prestatiekenmerken.
- Time-travel queries voor debuggen en auditen van agentbeslissingen
- Scale-To-Zero met pgvector voor kostenefficiënte inactieve databases
- Detectie van promptinjectie om AI-specifieke aanvallen te voorkomen
- 100ms branch-aanmaak voor snelle tests en rollbacks
- Open-source met een gehoste service in ontwikkeling
Voer elke GitHub Action lokaal uit vanuit je Cron-taak -- eindelijk! [Ontwikkelaarstools]
21 punten, 0 reacties
Voer GitHub Actions lokaal uit vanuit Cron-taken.
- Voer GitHub Actions lokaal uit
- Plan via Cron-taken
- Geen behoefte aan GitHub's cloud-runners
Stoppen met Extreme Terugtrekking – Gratis AI-gids voor extreme angst [Gezondheid]
3 punten, 1 reactie
Gratis AI-gids om extreme angst en terugtrekkingsverschijnselen te beheren.
- Biedt AI-gestuurde begeleiding voor extreme angst
- Richt zich op het beheren van terugtrekkingsverschijnselen
- Gratis bron voor gebruikers
AutoLearn Vaardigheden voor zelfverbeterende agents [Levensassistent]
27 punten, 11 reacties
AutoLearn Vaardigheden voor zelfverbeterende agents.
- Maakt autonome vaardigheidsverwerving mogelijk
- Ontworpen voor zelfverbeterende agents
Cont3xt.dev – Universele Teamkennis voor AI-coderingstools [Ontwikkelaarstools]
3 punten, 3 reacties
Universele Teamkennis voor AI-coderingstools.
- Gecentraliseerde kennisbasis voor AI-coderingstools
- Ontworpen voor teamcollaboratie
- Verbetert de efficiëntie van AI-tools met gedeelde context
RuleHunt – TikTok voor Cellulaire Automata [Entertainment]
13 punten, 8 reacties
Een TikTok-achtig platform voor het ontdekken en rangschikken van interessante cellulaire automataregels.
- Doorzoekt een enorme ruimte van 2^512 mogelijke cellulaire automataregels
- Mobielvriendelijke TikTok-achtige scrollinterface voor willekeurige regelontdekking
- Desktopinterface voor gericht zoeken naar regels
- Gebruikers kunnen voorkeursregels markeren, wat bijdraagt aan een wereldwijde ranglijst
- Open-source met een beschikbare GitHub-repository
Incrementele JSON-parser voor streaming LLM-toolaanroepen in Ruby [Ontwikkelaarstools]
11 punten, 0 reacties
Incrementele JSON-parser voor streaming LLM-toolaanroepen in Ruby, geoptimaliseerd voor realtime prestaties.
- Verwerkt JSON karakter-voor-karakter voor streaming AI-toolaanroepen
- Houdt parsingstatus bij om O(n²)-gedrag te vermijden, wat O(n)-prestaties garandeert
- Vermindert UI-vertraging door alleen nieuwe karakters te verwerken
- Beschikbaar als Ruby-gem met MIT-licentie
UHOP – Ontsnappen aan Nvidia Lock-In met een Open Hardware Optimalisatielaag [Ontwikkelaarstools]
3 punten, 0 reacties
UHOP is een open-source hardware-optimalisatielaag ontworpen om Nvidia's lock-in te doorbreken door cross-vendor GPU-code-uitvoering mogelijk te maken met geautomatiseerde kernelselectie en -generatie.
- Detecteert hardware en selecteert de beste backend (CUDA, ROCm, OpenCL, etc.)
- Gebruikt AI-ondersteunde kernelgeneratie voor CUDA, OpenCL en Triton
- Ondersteunt gefuseerde operaties zoals conv2d+ReLU en matmul
- Benchmarkt en cached optimale kernels voor prestaties
- Bevat CLI en vroegtijdig browserdashboard voor monitoring
- Open, hackbaar en community-gedreven voor toekomstige verbeteringen
UHOP – Een Open Hardware Optimalisatieplatform voor GPU's [Ontwikkelaarstools]
3 punten, 0 reacties
UHOP is een open-source framework voor het optimaliseren van GPU-workloads over architecturen heen zonder vendor lock-in, met AI-ondersteunde kernelgeneratie en hardware-detectie.
- Detecteert automatisch hardware-backends en selecteert optimale kernels
- Benchmarkt gefuseerde operaties zoals conv+ReLU
- Cachet en hergebruikt afgestemde kernels voor efficiëntie
- Genereert dynamisch kernels via codegen (CUDA/OpenCL/Python/Triton)
- Ondersteunt AI-ondersteunde kernelgeneratie met OpenAI API's
- Biedt een eenvoudige CLI voor demo's en benchmarking
- Plannen omvatten betere backend-integratie, gedistribueerde optimalisatie en een webdashboard
Timeplus Proton 3.0 – De eerste vectorized streaming SQL-engine [Ontwikkelaarstools]
10 punten, 10 reacties
Timeplus Proton 3.0 is een vectorized streaming SQL-engine die enterprise-grade streamingmogelijkheden biedt in een enkele binary zonder afhankelijkheden.
- Eerste vectorized streaming SQL-engine in moderne C++ met JIT-compilatie
- Hoge doorvoer, lage latentie, hoge kardinaliteitsverwerking
- End-to-end streamingondersteuning (ETL, joins, aggregatie, alerts, taken)
- Native connectors voor Kafka, Redpanda, Pulsar, ClickHouse en meer
- Native Python UDF/UDAF-ondersteuning voor AI/ML-workloads
- Enterprise-grade prestaties in de community-editie
caniscrape – Analyseer anti-botbeschermingen voor het scrapen (CLI en Web) [Ontwikkelaarstools]
3 punten, 2 reacties
Een tool om anti-botbeschermingen te analyseren voordat je gaat scrapen, beschikbaar als CLI en webversie.
- Detecteert actieve beschermingen zoals WAF, CAPTCHA, rate limits, TLS-fingerprinting en honeypots
- Biedt een moeilijkheidsscore (0-10) voor scrapen
- Suggesteert tools/benaderingen nodig voor succesvol scrapen
- CLI te installeren via pip (
pip install caniscrape) - Webversie beschikbaar op caniscrape.org
- Momenteel beperkt voor zeer moeilijke sites (bijv. Amazon, YouTube) vanwege onzichtbare beschermingen
- Webversie gebruikt een cloud-IP dat mogelijk geblacklist is door grote sites (proxy-rotatie gepland)
Pong Wars Idle Game [Entertainment]
5 punten, 1 reactie
Een eenvoudig idle game geïnspireerd door Pong Wars, gemaakt in slechts 3 uur.
- Snel ontwikkeld in 3 uur als een leuk codeproject
- Geïnspireerd door het Pong Wars-concept
- Gericht op een ontspannen, sfeergerichte ontwikkelaanpak
Buzzd Chat – een Yahoo Messenger-revivalproject [ChatBots]
3 punten, 0 reacties
Buzzd Chat is een revivalproject voor Yahoo Messenger (Y!M) gericht op versie V9 met een groeiende community en feature-rijke ondersteuning.
- Ondersteunt Y!M V9 met plannen om uit te breiden naar andere versies
- Bevat authenticatie, profielfoto's en statusbeheer
- Biedt buddybeheer (toevoegen/verwijderen/groeperen/negeren) en zichtbaarheidscontroles
- Maakt buddy list-sharing en contactenbeheer mogelijk
- Ondersteunt fotodeling, bestandsdeling, audibles en emoticons
- Kenmerkt betrouwbare berichtgeving met ontvangstbevestigingen
Ik ben 13 en heb een AI gebouwd die context onthoudt tussen gesprekken [Levensassistent]
8 punten, 8 reacties
AI-assistent met contextueel geheugen en geïntegreerde services voor persoonlijk en zakelijk gebruik.
- Gebouwd door een 13-jarige en haar vader na meerdere startup-mislukkingen
- Combineert e-mail, codeerhulp, onderzoek en planning in één interface
- Kenmerkt Thesys generatieve UI voor visuele grafieken en Study Mode met Socratisch lesgeven
- Ondersteunt zakelijke integratie via Nityasha Connect
- 500+ actieve gebruikers