1. Dan Luu publishes agentic coding notes from real-world AI use — Extensive practical experience with AI agents since November 2025; covers agentic test processes, LLM benchmarks, and the messy reality of building with AI coding tools. 109 HN points. Dan Luu · Jul 4
2. "Synthesis is harder than analysis" — why generative AI faces a deeper challenge — Lorin Hochstein argues we have formal calculi for analysis (lambda calculus, relational algebra) but no equivalent for synthesis; generative AI tackles a fundamentally harder problem. 102 HN points. Surfing Complexity · Jul 3
3. Google Research ships TabFM: zero-shot tabular foundation model — Handles classification and regression on tabular data via in-context learning, no task-specific training needed. Non-commercial license, 163 likes and 1,177 downloads on Hugging Face. Hugging Face · Jul 4
4. Scientists push back against hidden prompts to detect AI peer reviews — Conferences embedding invisible instructions in documents to make LLMs use telltale phrases; researchers argue the tactic is misguided and erodes trust in peer review. The Transmitter · Jul 4
5. The Guardian asks: could the next great novel be written by AI? — As allegations of LLM use surface in publishing, explores what AI models can and can't do in fiction, and where we draw the line between tool and author. The Guardian · Jul 4
6. Granola: "dangerously-skip-permissions is the only safe mode" — Counterintuitive AI safety argument: when tools ask permission at every step, click-through fatigue causes humans to approve things they shouldn't; the safest mode forces thinking. Granola · Jul 4
7. Tokdash: local dashboard for AI token and quota tracking — Show HN; terminal dashboard with heatmaps, cost tracking, and quota resets across AI providers. No cloud, no account. GitHub · Jul 4

---

🧪 Try This Next

• 🔧 Install Tokdash if you're tracking token spend across multiple AI providers — clean terminal dashboard, no cloud
• 🎥 Read Dan Luu's agentic coding notes — practical AI agent wisdom worth more than a month of AI Twitter
• 📝 Check out Google TabFM on Hugging Face — tabular foundation model that's immediately useful for enterprise AI