资讯与观察
AI 行业动态、工程实践、产品方法和社区故事。
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 …
30 分钟 · Hacker News
Amazon Is Gutting Its AI Division After Sustained Failure
Can’t-miss innovations from the bleeding edge of science and tech
6 分钟 · Hacker NewsLATEST STORIES
最新内容
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 …
Introducing Calendars, Contacts and Files in Stalwart精选导读
Section titled “Calendars, Contacts & Files – All in One Place”
Softerware精选导读
Traditionally, software is something someone else builds and you use. You can customize it, but only within the boundaries the developers give you.
Turn 40: benchmarking voice agents over a long session精选导读
A single-turn voice benchmark cannot tell you what a long session costs,
Ask HN: T'was the night of Claude Reset and quota left: Funniest app you built?精选导读
暂无摘要