资讯与观察· 社区热议
AI 行业动态、工程实践、产品方法和社区故事。
What TLA+ can and can't check
Last week Boris Cherny, the inventor of Claude Code, mentioned that Opus was able to use TLA+1 to find race conditions in code.
SDF vs. MSDF vs. Slug: GPU Text Rendering
Text looks simple until you have to draw it yourself. A letter is not a picture, it is a set of outlines: closed loops of straight lines and Bezier curves, filled according to a winding rule. Drawing that on a CPU into …
30 分钟 · Hacker News
Scientists Have Found a Weird Physical Sign That Someone Is Interested in You
Along with all the other nightmares that come with dating, the question of whether the person you are doing it with actually likes you is certainly up there in terms of sources of stress. In one study which set people s…
12 分钟 · Hacker NewsLATEST STORIES
最新内容
Upgrade your desktop: Ubuntu 26.04.1 LTS is now available精选导读
Whether you’re a first-time Linux user, experienced developer, academic researcher, or enterprise administrator, Ubuntu 26.04 LTS Resolute Raccoon is the best way to benefit from the latest advancements in the Linux eco…
The last time my family was replaced by technology精选导读
My great-great-grandfather thought he’d be replaced by technology too.
Most data centers refusing to say how much water, electricity they use精选导读
暂无摘要
GPT-6.1 Sol replaces GPT-6 Sol after just 7 days, with near-Astra intelligence精选导读
GPT-6.1 Sol replaces GPT-6 Sol after just 7 days. It scores 1 point below GPT-6 Astra in the Intelligence Index at less than one quarter of the Cost per Task.
You Said No MCP精选导读
From:Earendil Engineering <rfc@earendil.com>
Why Is Sam Altman a Free Man?精选导读
One of the signature public service announcements of my youth was created by the Partnership for a Drug-Free America in 1987. A father finds a stash of pot and confronts his son: “Who taught you how to do this stuff?”
September 2026: The world today, as seen by one Polish guy精选导读
I am a Pole. My country borders Europe’s largest war since 1945, heats itself with coal and imported gas, and arms itself on borrowed money. From here the news does not arrive as separate stories.
Postgres with QUIC精选导读
Every backend engineer running Postgres at scale eventually learns the same painful lesson: connection pooling does not fix network physics. We deploy PgBouncer or PgCat, configure transaction pooling, lock down backend…
Tesla takes on $30B in credit as it approaches unprofitability精选导读
Tesla opened $30 billion in lines of credit according to a regulatory filing today. The loans come as company profits have dropped in recent years, and as Tesla guides for more spending in upcoming quarters.