资讯与观察
AI 行业动态、工程实践、产品方法和社区故事。
How the Nobel Became the Nobel
Ragnar Sohlman exhales, shakily, with a briefcase in one hand and a pistol in the other.
LATEST STORIES
最新内容
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]精选导读
暂无摘要
Visiting card精选导读
A visiting card, also called a calling card, was a small, decorative card that was carried by individuals to present themselves to others. It was a common practice in the 18th and 19th centuries, particularly among the …