5 min read
GPT-5.6 Sol Ultra Produces Proof of the Cycle Double Cover Conjecture
GPT-5.6 Sol Ultra proof of the Cycle Double Cover Conjecture: what OpenAI claims, the prompt it used, and why mathematicians are still verifying the result.
Read more
HACKER NEWS
162 articles - page 8 of 14
7 min read
Mitchell Hashimoto on Building Ghostty in Zig: Simplicity, Control, and Terminal Performance
Mitchell Hashimoto on building Ghostty in Zig: why he chose Zig over Rust, how the GPU-first terminal is architected, and what Hacker News made of it.
Read more
7 min read
Scarf Drops Haskell After 7 Years - LLMs Changed the Calculus
Scarf moves from Haskell to Python after 7 years: why LLM-driven development made compile times a bottleneck, how the migration worked, and the HN debate.
Read more
6 min read
Tencent Hy3: A 295B Open MoE That Punches Above Its Weight
Tencent's Hy3 ships 295B parameters but activates only 21B per token, matching flagship performance at flash-tier pricing under Apache 2.0.
Read more
5 min read
Does Your Codebase Pattern Determine AI Output Quality? HN Debates the Economics of Rewrites
Does codebase pattern consistency drive AI output quality? The case that it makes rewrites economical, and why HN pushed back on maintainability and evidence.
Read more
6 min read
Bun Rewrites 535K Lines of Zig to Rust in 11 Days Using Claude
Bun rewrote 535K lines of Zig to Rust in 11 days with Claude. What the port fixed, what it cost, and what HN thinks it means for LLM-assisted code migration.
Read more
7 min read
GLM 5.2 Matches Human Bookkeeper Accuracy on UK VAT Returns - With Some Caveats
GLM 5.2 UK VAT return benchmark: how the model handled 59 transactions with near-human bookkeeper accuracy, where it erred, and why HN focused on liability.
Read more
5 min read
Grok 4.5: xAI Releases Cursor-Trained Coding Model at $2/M Input Tokens
Grok 4.5 coding model from xAI, trained on Cursor data: $2/M input pricing, benchmarks near Opus 4.7, the CursorBench caveat, and the Hacker News reaction.
Read more
5 min read
Meta Launches Muse Spark 1.1: A Closed-Weights Agentic Model with Aggressive Pricing
Meta Muse Spark 1.1 is Meta's first paid, closed-weights API model, with $1.25/M input tokens and 1M context. The pricing, benchmarks and HN debate.
Read more
8 min read
pgrust Passes 100% of Postgres Regression Tests: What the Rust Rewrite Actually Means
pgrust, a Rust rewrite of PostgreSQL, passes all 46,000+ regression test queries. What it delivers, what it does not, and the HN debate on AI-assisted rewrites.
Read more
7 min read
Cloudflare Meerkat: A New Approach to Global Consensus Without Leaders
Cloudflare Meerkat is a QuePaxa-based consensus service with no leader elections or timeouts across 330+ data centers. Why not Raft, and what HN critiqued.
Read more
7 min read
GitLost: How Researchers Tricked GitHub's AI Agent Into Leaking Private Repos
GitLost is a prompt injection flaw in GitHub Agentic Workflows that let attackers extract private repo contents via public issues. How the attack works.
Read more
Showing 85-96 of 161 articles
Keep exploring Hacker News
- - Hacker News Topic Hub - tools and guides for Hacker News from the Developers Digest directory
- - Tools Directory - dive deeper across the Developers Digest knowledge base
- - Developers Digest on YouTube - video tutorials covering Hacker News and more
Get Smarter About AI Dev
New tutorials, open-source projects, and deep dives on coding agents - delivered weekly.
One email per weekReal code, not theoryFree forever
Explore 844 topics
Browse All Topics