From Hacker News
Stories 1 – 10
No. 01AI ToolsApplies to you
by gmays · 894 points · 517 comments
The world's most famous living mathematician used ChatGPT to work through a potential counterexample to one of mathematics' longest-standing open problems. This is a landmark demonstration of AI as a genuine research collaborator — not just a code autocomplete. Watch a Fields Medalist think out loud with an LLM and see exactly where the model helps and where it struggles.
No. 02Dev ToolsApplies to you
by starfallg · 851 points · 190 comments
A self-contained presentation tool that packs editing, viewing, data, and collaboration into a single HTML file — no server required. For developers who are tired of Google Slides and heavy installs, this is the kind of clever local-first design worth bookmarking. The data-in-HTML approach is surprisingly powerful and very shareable.
No. 03Dev Tools
by coleca · 758 points · 251 comments
John C. Dvorak, the cantankerous tech columnist and podcaster who shaped PC Magazine's voice for decades, has passed away. A polarizing but undeniably influential figure who never softened his opinions about the industry he covered. The HN thread is a touching collection of memories from readers who grew up reading him.
No. 04AI ToolsApplies to you
by dcastm · 548 points · 211 comments
A sharp essay arguing that AI labs are optimizing hard for benchmark metrics — fishing pelican-style — while ignoring whether those gains translate to real-world usefulness. If you've felt skeptical of model release hype cycles, this piece gives you a vocabulary and a framework for that skepticism. Essential reading for anyone evaluating which AI tools to actually use.
No. 05AI ToolsApplies to you
by syrusakbary · 514 points · 107 comments
A SIMD-accelerated tokenizer claiming roughly 1000x speedups over standard implementations — a drop-in replacement you can try today. If you're running local LLM inference pipelines or building AI tooling, tokenization is often a silent bottleneck. This could be a meaningful win for production throughput.
No. 06Privacy & Security
by montroser · 478 points · 482 comments
Reddit is now flagging plain HTML files as unsafe — a baffling security theater move that breaks legitimate developer use cases. The author dissects exactly what Reddit is blocking, why the reasoning is flawed, and what it signals about the platform's increasingly hostile relationship with technical users. Maddening and instructive in equal measure.
No. 07Dev ToolsApplies to you
by WadeGrimridge · 441 points · 159 comments
Mitchell Hashimoto (of Vagrant/Terraform fame) makes the case that SIMD isn't just for performance nerds — it's a foundational concept every developer should have in their toolkit. With GigaToken also in today's issue using SIMD for LLM tokenization, the timing couldn't be better. An approachable intro to a topic that pays dividends fast.
No. 08Privacy & Security
by DemiGuru · 429 points · 437 comments
Brian Krebs digs into LG's move to block residential proxy traffic from smart TV apps — a response to ad fraud and geo-spoofing, but with significant collateral damage for privacy-minded users using legitimate VPNs. The 437-comment HN thread is where the real debate happens about what this means for the open internet.
No. 09Dev ToolsApplies to you
by abelanger · 415 points · 192 comments
A practical, battle-tested guide to not accidentally destroying your Postgres database as your startup scales — covering connection pooling, vacuuming, index bloat, and more. This is the kind of ops knowledge that usually costs you a 3am incident to learn. Bookmark it before you need it.
No. 10Privacy & SecurityApplies to you
by xgpyc2qp · 19 points · 6 comments
A security researcher demonstrates how ANSI escape sequences injected into MCP server responses are invisible to human reviewers but fully interpreted by LLMs — a subtle new attack vector for anyone building AI agents. If you're using Claude Code or any MCP-enabled workflow, this is a threat model you need to understand right now. Low score on HN but high real-world relevance.
From Pinboard Popular
Stories 11 – 20
No. 11AI ToolsApplies to you
Pinboard Popular · tagged: untagged
A Communications of the ACM opinion piece that cuts through the hype: AI coding tools shift difficulty rather than eliminate it, introducing new challenges around verification, trust, and understanding generated code. This is the nuanced take on AI-assisted development that the breathless press releases won't give you. Required reading for daily Claude Code users.
No. 12New Apple AppsApplies to you
Pinboard Popular · tagged: docker, container
A polished native macOS app for managing Apple's new container infrastructure, providing the kind of GUI experience that Docker Desktop long promised but never quite delivered on Mac. If you're running containerized .NET or other workloads on Apple Silicon, this looks like the missing piece. Native = fast and properly integrated with macOS conventions.
No. 13New Apple AppsApplies to you
Pinboard Popular · tagged: github-starred
A native macOS app for running MLX models locally — chat, serve, monitor, and connect AI models without cloud dependency. For the privacy-conscious developer who wants local LLM inference on Apple Silicon without the command-line friction, this is exactly what you've been waiting for. Pairs perfectly with a reader who cares about both the Apple ecosystem and AI tooling.
No. 14AI ToolsApplies to you
Pinboard Popular · tagged: ai, programming
A provocative take on OpenCode (an AI coding tool) arguing it's "naturally adversarial" to users even if not maliciously so — the kind of critical infrastructure analysis that's missing from most AI tool coverage. Directly relevant if you're evaluating coding assistants and want a counterweight to the marketing. Short, sharp, and worth the five minutes.
No. 15AI Tools
Pinboard Popular · tagged: ai
Ludicity's characteristically blunt argument that AI hype isn't just inflating valuations — it's actively degrading the quality of decisions being made at institutional scale. A sobering counterpoint to the optimism permeating the rest of today's issue. The writing is excellent and the thesis is uncomfortable in the best way.
No. 16Dev ToolsApplies to you
Pinboard Popular · tagged: language:typescript, hypothesistesting, testing, web-development, frameworks, UI
A static analysis tool for TypeScript that catches layout constraint violations at compile time — think property-based testing meets CSS layout, without the runtime surprises. For Angular/TypeScript developers who've been burned by layout bugs that only appear at certain screen sizes, this is a genuinely novel approach. The author is the creator of React's reconciler, so the pedigree is real.
No. 17Privacy & Security
Pinboard Popular · tagged: kula_fan_non-fiction, computational_advertising, internet_end_times
The NYT documents in detail how AI Overviews are cannibalizing web traffic for publishers and independent sites — the structural threat to the open web from Google's AI pivot. The economic model that funded a generation of independent technical writing is crumbling. Essential context for anyone who publishes or depends on the open web.
No. 18Dev ToolsApplies to you
Pinboard Popular · tagged: ssh, shell, onlinetools, free, simplicity, minimalism, programming, games, fun, interesting, rust, opensource, socialmedia
SSH into a Rust-powered terminal social space and hang out with other developers in a cozy BBS-style environment — complete with IRC, games, and a community vibe. It's a delightful antidote to Slack fatigue, and you can try it right now with a single `ssh late.sh` command. The retrocomputing charm is real.
No. 19Dev ToolsApplies to you
Pinboard Popular · tagged: development, github
A detailed walkthrough of self-hosting Forgejo as a GitHub alternative, covering the infrastructure decisions, migration gotchas, and ongoing maintenance story. With Codeberg banning crypto projects also in today's issue, self-hosted Git forges are having a moment. This is the practical guide for anyone seriously considering the switch.
No. 20AI ToolsApplies to you
Pinboard Popular · tagged: untagged
A federal judge has approved Anthropic's $1.5 billion settlement with authors over training data copyright — the largest AI copyright settlement to date and one that will set precedents across the industry. If you use Claude (and this newsletter assumes you do), this is the legal backstory shaping what future models can and can't be trained on. Big deal.