资讯与观察
AI 行业动态、工程实践、产品方法和社区故事。
At 14 Justine Tunney published software. Now she makes AI models run from a file
LATEST STORIES
最新内容
Police are using AI to pull over drivers for 'suspicious' behavior精选导读
暂无摘要
A 28-Year-Old DOGE Operative Gutted USAID. HR Had No Record of Him Working There精选导读
For at least two months, USAID senior staff had no knowledge of how Lewin, who appeared at the agency one day as a policymaker on an obscure detail from the General Services Administration, could have suddenly begun wie…
Classification of Finite Simple Groups Formalized in Lean精选导读
A new group theory result that came out of this formalization project is reported in this paper. While formalizing the first-generation proof, we found counterexamples to a closure assertion used in a published route to…
Vicious Cycles: Theses on a philosophy of news精选导读
This is what I feared, that she would speak about the news . . . about how her father always said that the news exists so it can disappear, this is the point of news, whatever story, wherever it is happening. We depend …
Amazon Is Gutting Its AI Division After Sustained Failure精选导读
Can’t-miss innovations from the bleeding edge of science and tech
We let our cloud agents query prod (with OIDC, not secrets)精选导读
At Formal, we hate secrets. Since day one, we’ve been on a quest to drive the number of long-lived secrets in our infrastructure to zero.
PHP2Shell, LiteLLM, GitLab: Find What You Need to Patch精选导读
Between October 16 and 23, 2026, PHP, Node.js, GitLab, LiteLLM, OpenCode and the eMudhra certificate authority all had serious security incidents. PHP, Node.js and GitLab shipped fixes on October 21, the same day the ba…
Antique Fonts Collection – Restored 19th Century Typefaces精选导读
Victorian Decorative Font – Flourished Ornamental Letters with Mixed Styles (CL Antique No.15)
Reducibility Among Combinatorial Problems (1972) [pdf]精选导读
暂无摘要