资讯与观察
AI 行业动态、工程实践、产品方法和社区故事。
Show HN: Sectr – Serverless backend platform for easy deployment of AI agents
Hey HN, I've been building Sectr, a backend-as-a-service for making it easy(ier) to develop and deploy AI agents. Deploying agents requires non-trivial systems design work. Consider a support agent: how do you stream me…
A topological model for provability logic
Gödel’s incompleteness theorem illustrated the need to distinguish between what is true and what is provable. There are true statements that cannot be proven.
4 分钟 · Hacker News 最新
Data Recovery CEO Indicted for Allegedly Scamming Ransomware Victims
A Florida man who was the subject of a 2019 investigation by ProPublica was indicted last month on federal charges that he defrauded clients of his ransomware data recovery firm.
30 分钟 · Hacker NewsLATEST STORIES
最新内容
Anthropic trained Claude on illegally obtained Stanford professors' books精选导读
AI giant Anthropic illegally scraped and pirated the work of over 10 Stanford professors to train its Claude models, a federal judge ruled in a May 2026 lawsuit.
TypeSafe AI发布Jev：一种只返回类型化概率而非文本的决策模型精选导读
前 OpenAI 研究员 Diogo Almeida 创立的旧金山 AI 实验室TypeSafe AI发布了Jev，这是其所谓的 System One Models 中的首款产品。Jev 不生成文本，而是返回带有类型的概率化决策，软件可以直接据此采取行动。
AI review optimized for recall (catches more defects than Codex or Claude)精选导读
A self-hosted AI code reviewer for GitHub pull requests: many narrow reviewers, one verified review.
My video has unit tests精选导读
By David Pertiller, software architect and engineer
My video has unit tests精选导读
By David Pertiller, software architect and engineer
Show HN: Specification First Agentic Development Plugin and Prove精选导读
Implemented agent smith since start 2026 with over 1000 specifications which lead to about 500k lines of code. The procedure with that spec-first works well. How do you do it?
Show HN: Specification First Agentic Development Plugin and Prove精选导读
Implemented agent smith since start 2026 with over 1000 specifications which lead to about 500k lines of code. The procedure with that spec-first works well. How do you do it?
Pullboard 0.9.3: A local-first software factory精选导读
pullboard.dev · lives in your git repo · no dependencies · Walk away, and it builds.
NYC's Office-Conversion Projects Are Back After a Big Summer Scare精选导读
暂无摘要