HN robinhouston 10d ago

The Ramanujan Challenge for AI

Benchmark dataset for evaluating AI mathematical reasoning using formulas for mathematical constants. Research evaluation tool.

HN Gabrieliam42 10d ago

AI Agent Qubitz

Local-first AI agent using 7B-35B GGUF models with specialized harness for instruction following and tool orchestration. Open source project.

HN Bo_Amigo_910 10d ago

New – TV Volume Stabilizer

Windows desktop tool using ML to automatically stabilize TV audio volume and mute loud commercials.

HN tigrohvost 10d ago

Agent Listen Music Skill

Python package converting audio URLs into acoustic profiles and descriptions for AI agents to reason about music.