Show HN Daily Selection (2025-10-23)
- Cuq – Formal Verification of Rust GPU Kernels
- Create interactive diagrams with pop-up content
- Subway Surfers in Your Terminal
- Maktabah Islam ELKIRTASS being revived on Qt6 CMake
- ProxyBridge redirect any Windows TCP/UDP traffic to HTTP/SOCKS5 proxies
- SerenDB – A Neon PostgreSQL fork optimized for AI agent workloads
- Run any GitHub Action locally from your Cron job -- finally!
- Stopping Extreme Withdrawal – Free AI guide for extreme anxiety
- AutoLearn Skills for self-improving agents
- Cont3xt.dev – Universal Team Knowledge for AI Coding Tools
- RuleHunt – TikTok for Cellular Automata
- Incremental JSON parser for streaming LLM tool calls in Ruby
- UHOP – Escaping Nvidia Lock-In with an Open Hardware Optimization Layer
- UHOP – An Open Hardware Optimization Platform for GPUs
- Timeplus Proton 3.0 – First vectorized streaming SQL engine
- caniscrape – Analyze anti-bot protections before scraping (CLI and Web)
- Pong Wars Idle Game
- Buzzd Chat – a Yahoo Messenger revival project
- I'm 13 and built an AI that remembers context across conversations
Cuq – Formal Verification of Rust GPU Kernels [Developer Tools]
31 points, 23 comments
Formal verification tool for Rust GPU kernels.
- Ensures correctness of Rust GPU kernels
- Uses formal verification methods
- Targets GPU programming safety
Discussion Link, Original Link
Create interactive diagrams with pop-up content [Design]
30 points, 0 comments
Interactive diagram tool with pop-up content for easy sharing and documentation.
- Create diagrams with click/hover-triggered pop-ups
- No sign-in required for sharing via web link
- Useful for system docs, onboarding, and presentations
- Try without signing up at app.vexlio.com
Discussion Link, Original Link
Subway Surfers in Your Terminal [Entertainment]
3 points, 1 comments
Subway Surfers game playable directly in the terminal.
- Installed via Homebrew
- Designed to enhance focus during workflow downtime
- Simple command-line execution
Discussion Link, Original Link
Maktabah Islam ELKIRTASS being revived on Qt6 CMake [Developer Tools]
3 points, 0 comments
Revival of ELKIRTASSE, a Maktabah Shamilah counterpart, now updated to Qt6 and CMake.
- Modernized with Qt6 framework
- Uses CMake build system
- Open for community contributions and improvements
Discussion Link, Original Link
ProxyBridge redirect any Windows TCP/UDP traffic to HTTP/SOCKS5 proxies [Developer Tools]
3 points, 0 comments
ProxyBridge redirects any Windows TCP/UDP traffic to HTTP/SOCKS5 proxies.
- Redirects TCP/UDP traffic on Windows
- Supports HTTP and SOCKS5 proxies
- No additional text or details provided
Discussion Link, Original Link
SerenDB – A Neon PostgreSQL fork optimized for AI agent workloads [Developer Tools]
6 points, 1 comments
A PostgreSQL fork optimized for AI workloads with enhanced safety and performance features.
- Time-travel queries for debugging and auditing agent decisions
- Scale-To-Zero with pgvector for cost-efficient dormant databases
- Prompt injection detection to prevent AI-specific attacks
- 100ms branch creation for rapid testing and rollback
- Open-source with a hosted service in development
Discussion Link, Original Link
Run any GitHub Action locally from your Cron job -- finally! [Developer Tools]
21 points, 0 comments
Run GitHub Actions locally from Cron jobs.
- Execute GitHub Actions locally
- Schedule via Cron jobs
- No need for GitHub's cloud runners
Discussion Link, Original Link
Stopping Extreme Withdrawal – Free AI guide for extreme anxiety [Health]
3 points, 1 comments
Free AI guide to help manage extreme anxiety and withdrawal symptoms.
- Provides AI-based guidance for extreme anxiety
- Focuses on managing withdrawal symptoms
- Free resource for users
Discussion Link, Original Link
AutoLearn Skills for self-improving agents [Life Assistant]
27 points, 11 comments
AutoLearn Skills for self-improving agents.
- Enables autonomous skill acquisition
- Designed for self-improving agents
Discussion Link, Original Link
Cont3xt.dev – Universal Team Knowledge for AI Coding Tools [Developer Tools]
3 points, 3 comments
Universal Team Knowledge for AI Coding Tools.
- Centralized knowledge base for AI coding tools
- Designed for team collaboration
- Enhances AI tool efficiency with shared context
Discussion Link, Original Link
RuleHunt – TikTok for Cellular Automata [Entertainment]
13 points, 8 comments
A TikTok-style platform for discovering and ranking interesting cellular automata rules.
- Searches through a vast space of 2^512 possible cellular automata rules
- Mobile-friendly TikTok-like scrolling interface for random rule discovery
- Desktop interface for targeted rule searching
- Users can star preferred rules, contributing to a global leaderboard
- Open-source with a GitHub repository available
Discussion Link, Original Link
Incremental JSON parser for streaming LLM tool calls in Ruby [Developer Tools]
11 points, 0 comments
Incremental JSON parser for streaming LLM tool calls in Ruby, optimized for real-time performance.
- Processes JSON character-by-character for streaming AI tool calls
- Maintains parsing state to avoid O(n²) behavior, ensuring O(n) performance
- Reduces UI lag by only processing new characters
- Available as a Ruby gem with MIT license
Discussion Link, Original Link
UHOP – Escaping Nvidia Lock-In with an Open Hardware Optimization Layer [Developer Tools]
3 points, 0 comments
UHOP is an open-source hardware optimization layer designed to break Nvidia's lock-in by enabling cross-vendor GPU code execution with automated kernel selection and generation.
- Detects hardware and selects the best backend (CUDA, ROCm, OpenCL, etc.)
- Uses AI-assisted kernel generation for CUDA, OpenCL, and Triton
- Supports fused operations like conv2d+ReLU and matmul
- Benchmarks and caches optimal kernels for performance
- Includes CLI and early browser dashboard for monitoring
- Open, hackable, and community-driven for future improvements
Discussion Link, Original Link
UHOP – An Open Hardware Optimization Platform for GPUs [Developer Tools]
3 points, 0 comments
UHOP is an open-source framework for optimizing GPU workloads across architectures without vendor lock-in, featuring AI-assisted kernel generation and hardware detection.
- Auto-detects hardware backends and selects optimal kernels
- Benchmarks fused operations like conv+ReLU
- Caches and reuses tuned kernels for efficiency
- Dynamically generates kernels via codegen (CUDA/OpenCL/Python/Triton)
- Supports AI-assisted kernel generation using OpenAI APIs
- Provides a simple CLI for demos and benchmarking
- Plans include better backend integration, distributed optimization, and a web dashboard
Discussion Link, Original Link
Timeplus Proton 3.0 – First vectorized streaming SQL engine [Developer Tools]
10 points, 10 comments
Timeplus Proton 3.0 is a vectorized streaming SQL engine offering enterprise-grade streaming capabilities in a single binary with zero dependencies.
- First vectorized streaming SQL engine in modern C++ with JIT compilation
- High-throughput, low-latency, high-cardinality processing
- End-to-end streaming support (ETL, joins, aggregation, alerts, tasks)
- Native connectors for Kafka, Redpanda, Pulsar, ClickHouse, and more
- Native Python UDF/UDAF support for AI/ML workloads
- Enterprise-grade performance in the community edition
Discussion Link, Original Link
caniscrape – Analyze anti-bot protections before scraping (CLI and Web) [Developer Tools]
3 points, 2 comments
A tool to analyze anti-bot protections before scraping, available as CLI and web version.
- Detects active protections like WAF, CAPTCHA, rate limits, TLS fingerprinting, and honeypots
- Provides a difficulty score (0-10) for scraping
- Suggests tools/approaches needed for successful scraping
- CLI installable via pip (
pip install caniscrape) - Web version available at caniscrape.org
- Currently limited for very hard sites (e.g., Amazon, YouTube) due to invisible protections
- Web version uses a cloud IP that may be blacklisted by major sites (proxy rotation planned)
Discussion Link, Original Link
Pong Wars Idle Game [Entertainment]
5 points, 1 comments
A simple idle game inspired by Pong Wars, created in just 3 hours.
- Developed quickly in 3 hours as a fun coding project
- Inspired by the Pong Wars concept
- Focused on capturing a relaxed, vibe-driven development approach
Discussion Link, Original Link
Buzzd Chat – a Yahoo Messenger revival project [ChatBots]
3 points, 0 comments
Buzzd Chat is a revival project for Yahoo Messenger (Y!M) focusing on version V9 with a growing community and feature-rich support.
- Supports Y!M V9 with plans to expand to other versions
- Includes authentication, profile pictures, and status management
- Offers buddy management (add/delete/group/ignore) and visibility controls
- Enables buddy list sharing and contacts management
- Supports photo sharing, file sharing, audibles, and emoticons
- Features reliable messaging with delivery acknowledgments
Discussion Link, Original Link
I'm 13 and built an AI that remembers context across conversations [Life Assistant]
8 points, 8 comments
AI assistant with contextual memory and integrated services for personal and business use.
- Built by a 13-year-old and her father after multiple startup failures
- Combines email, coding help, research, and planning in one interface
- Features Thesys generative UI for visual charts and Study Mode with Socratic teaching
- Supports business integration via Nityasha Connect
- 500+ active users