软件工程
研发流程、质量保障与团队协作
Can maths survive AI? Fields medallist Terence Tao calls for a 'Maths 2.0' world

Building Conversational Commerce with Multi-Agent Swarms on GCP
The goal of this service is simple: verify authenticity across any inbound channel, normalize the payload into a canonical schema, and get off the critical path in < 150ms.
23 分钟 · Hacker News 最新
Anduril Partners with Qualcomm to Build Laptops on US Soil
1 分钟 · Hacker News 最新LATEST STORIES
最新内容
Show HN: Happy-Eyeballs.club精选导读
This is kinda a chan like forum where I use IPv6 to its absolute limit.IPv6 attribute have been mapped to dictionary words so that when you visit, you get an automatic name based on your IPv6. That's just one goody. The…
Four Months of Zig精选导读
It has been about four months since I returned to Zig after being absent for a few years. In this time, I have written some software in Zig and reengaged with the community, online and in person. I decided to share some…
Ask HN: Any founders want to trade pitch practice and customer interviews?精选导读
Hi there,I'm Gary, technical founder building a workflow orchestration app for software development to manage hundreds of Claude Code sessions. I'm preparing for a product launch and would love to practice pitching and …
MathMixup: Boosting LLM Mathematical Reasoning via Curriculum and Decomposition精选导读
View a PDF of the paper titled MathMixup: Boosting LLM Mathematical Reasoning with Difficulty-Controllable Data Synthesis and Curriculum Learning, by Xuchen Li and 6 other authors
Anthropic Ships the #1 LLM in the World with Katelyn Lesse and Angela Jiang [video]精选导读
暂无摘要
Token-Efficient Logical Supervision for Mathematical Reasoning精选导读
View a PDF of the paper titled From Implicit to Explicit: Token-Efficient Logical Supervision for Mathematical Reasoning in LLMs, by Shaojie Wang and 1 other authors
Vibe coded a point-and-click game to learn about the Drupal AI Ecosystem精选导读
Mac Packwala and the Curse of the Stale Cache is a point-and-click adventure where you escape an island by learning Drupal AI. You can play it in your browser right now.
Omega: Can LLMs Reason Outside the Box in Math? (2025)精选导读
View a PDF of the paper titled OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization, by Yiyou Sun and Shawn Hu and Georgia Zhou and Ken Zheng and Hanna…
Ask HN: Should there be an Urban Dictionary for suburbs?精选导读
We have the legendary Urban Dictionary. Why not its complement?I understand it probably won’t be as entertaining as UD, but I assume there’s interest.

