Daily Brief
Slash Stack — October 26, 2026
A ranked daily snapshot of AI, software, systems, infrastructure, agents, blockchain, research, and tools from Discover.
Top story
Folkbench/folkbench
GitHub · 3697 pts
AI API 中转站评测排行与切换工具：实测可用率、延迟与价格 · Open-source AI API relay benchmark, rankings & switcher for Claude Code / Codex
What matters today
Show HN: Hurston-1 open source TTS that speak Southern American and Afro-English
Hugging Face · 58 pts · 25 comments
Hey HN, I’m open sourcing my Hurston-1 narrowband TTS model (Apache-2.0). It is very good with American English and does especially well with Southern American and Regional African English accents. Destined AI is based in Atlanta, and I built this because I’m amazed by what AI can do, and I wanted to help introduce and welcome more people to feel comfortable using and interacting with AI. Since 2021, I’ve been collecting fully consented voice data from over 20,000 people, 1M audio recordings, and over 1,800 hrs of audio captured to date. For this model, I used a small part of the data, 136 hrs, to finetune Maya1 and expand it’s capabilities.…
Grok releases the first seven minutes of its AI-generated ‘Odyssey’
TechCrunch AI
The footage looks okay, as long as you’re not seeking artistry, inspiration, or human interest.
PaperPilot – Zero-Cloud, Pure-Rust PDF Engine with WASM and MCP
Hacker News · 97 pts · 23 comments
Cognitive Mercantilism: AI panic resembles fears of early capitalism
Hacker News · 58 pts · 54 comments
AI delivers ‘zero financial payoff’ to most companies, Apollo economist says
TechCrunch AI
“Despite massive investments and widespread hype around artificial intelligence, the technology has delivered zero financial payoff to corporate America outside of tech.”
Tools & releases
Show HN: Freehire, open-source search 3M+ tech jobs from company career boards
Show HN · 15 pts · 1 comments
freehire is a filterable, job board aggregator, job tracker, and AI-assisted resume tailoring tool. Saving your skills and preferences changes which jobs appear and how your resume gets tailored. I’ve looked at a lot of these solutions over the years and found it really hard to find the right mix of tools in an open-source offering. I’ve contributed to a few issues now and worked closely with the maintainer. I’ve watched this evolve over the last few months. I feel it’s ready for everyone to check out and stress test. Source: github.com/strelov1/freehire
Show HN: CaseCite – Free RAG caselaw research and document analysis for lawyers
Show HN · 14 pts · 2 comments
Research worth reading
PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean
arXiv cs.AI
arXiv:2610.31810v1 Announce Type: new Abstract: Even a carefully proofread paper can leave small gaps in its proofs or its stated assumptions. We introduce PaperFormalizer, a Lean-based agentic pipeline that helps authors find and close such gaps in their own papers and turn each paper into a Lean-verified version. Starting from the LaTeX source, PaperFormalizer transcribes the paper into a dependency graph of statements, audits each statement in natural language for faithfulness, ambiguity and correctness, and then formalizes and proves the statements in Lean against Mathlib, optional domain libraries and the author’s personal toolkit. Only…
Permission to Retry: A Study of Authorization and Recovery in AI Agent Workflows
arXiv cs.AI
arXiv:2610.31916v1 Announce Type: new Abstract: A durable agent can resume a consequential action while its authority changes and the action’s external outcome remains uncertain. We study execution-time reliability of tool-using AI agents, isolating recovery decisions from language-model behavior. Checkpoint state, permission to dispatch, evidence of an external effect and permission to reconcile are distinct obligations. We present a finite conformance study that checks these obligations through histories scored against a provider effect ledger hidden from the recovering application. A prospectively frozen campaign executes 336 histories on…
Articles
OpenAI and Anthropic cut their LLM prices by up to 80% within a few months. Why?
minimaxir.com · 273 pts · 280 comments
SpaceX closes $40 billion debt deal for AI chips, Elon Musk says
cnbc.com
The AI buildout is the largest bet in the history of capitalism. Key decision makers believe very powerful AI will be achieved soon.
lesswrong.com
Hacker News signal
Cerebras Deploys Trillion-Parameter AI Models
Hacker News · 355 pts · 132 comments
OpenAI and Anthropic cut their LLM prices by up to 80% within a few months. Why?
minimaxir.com · 273 pts · 280 comments
AI use leads UC Berkeley math professor to see ‘no point’ in grading homework
Hacker News · 215 pts · 312 comments
Nikon photography contest winner loses title after scientists spot signs of AI
Hacker News · 139 pts · 77 comments
A mathematician reads the AI future
Hacker News · 58 pts · 78 comments
This snapshot is generated automatically from the Discover ranking pipeline. It is a selection layer, not original reporting or AI-generated analysis.