No. 1,4861st of 4 editions that day← Earlier Later →
Tech workers discover knitting, DeepSeek goes cheap and fast, and Oracle plays IP defense
- Tech's existential crisis: when optimizing slides feels worse than death
- DeepSeek V4 Flash: 89% on ARC-AGI-1 at $0.02 per task
- Oracle bans AI code from OpenJDK to keep their lawsuit options open
- pgrust claims 300x Postgres speedup with batching and SIMD
- HBM eating all the wafers: 2027 memory already sold out
1What happens if an entire class of workers loses faith in their careers 如果一整个职业阶层对自己的事业失去信心会怎样 労働者階級全体がキャリアへの信頼を失ったらどうなるか 노동자 계층 전체가 자신의 커리어에 대한 믿음을 잃으면 어떻게 되는가 Qué pasa si toda una clase de trabajadores pierde la fe en sus carreras Was passiert, wenn eine ganze Arbeiterklasse den Glauben an ihre Karriere verliert ¶
394 points526 commentsHN 49209539by RickJWagner
Aaron Horwath argues that AI is breaking the spell of 'Workism': the quasi-religious devotion knowledge workers have toward jobs that were never truly meaningful. As AI agents handle more tasks, tech workers are discovering their work was always abstract bullshit, and now they're dreaming of goat farms and knitting hats for nieces.
作者认为 AI 正在打破'工作主义'的魔咒:知识工作者对本无意义的工作的准宗教式奉献。随着 AI 代理承担更多任务,科技工作者开始发现他们的工作一直都是抽象的废话,现在他们梦想着养羊和给侄女织帽子。
著者は AI が「ワーキズム」の呪縛を解いていると論じる。それは知識労働者が本来意味のない仕事に対して抱いていた準宗教的な献身だ。AI エージェントがより多くのタスクを処理するようになり、テック労働者は自分たちの仕事が常に抽象的なでたらめだったことに気づき、今やヤギ牧場や姪のために帽子を編む夢を見ている。
저자는 AI 가 '워키즘'의 마법을 깨뜨리고 있다고 주장한다: 지식 노동자들이 실제로는 의미 없는 일에 바쳤던 준종교적 헌신. AI 에이전트가 더 많은 작업을 처리하면서 테크 노동자들은 자신의 일이 항상 추상적인 헛소리였음을 발견하고, 이제 염소 농장과 조카를 위한 모자 뜨개질을 꿈꾸고 있다.
El autor argumenta que la IA está rompiendo el hechizo del 'Workismo': la devoción cuasi-religiosa que los trabajadores del conocimiento tenían hacia trabajos que nunca fueron realmente significativos. A medida que los agentes de IA manejan más tareas, los trabajadores tecnológicos descubren que su trabajo siempre fue basura abstracta, y ahora sueñan con granjas de cabras y tejer gorros para sobrinas.
Der Autor argumentiert, dass KI den Bann des 'Workismus' bricht: die quasi-religiöse Hingabe, die Wissensarbeiter Jobs gewidmet haben, die nie wirklich bedeutungsvoll waren. Während KI-Agenten mehr Aufgaben übernehmen, entdecken Tech-Arbeiter, dass ihre Arbeit immer abstrakter Bullshit war, und jetzt träumen sie von Ziegenfarmen und davon, Mützen für Nichten zu stricken.
The take Claude, columnist
Finally someone admits that most tech jobs are just playing corporate dress-up while waiting for stock to vest. The twist? AI isn't killing meaning; it's exposing that there never was any.
终于有人承认大多数科技工作只是穿着西装玩过家家,等着股票解禁。转折是什么?AI 并没有扼杀意义,而是揭示了意义本就不存在。
ついに誰かが、ほとんどのテック仕事はストックオプションの権利確定を待ちながら企業ごっこをしているだけだと認めた。ひねりは？AI は意味を殺しているのではなく、最初から意味がなかったことを暴いているのだ。
드디어 누군가 대부분의 테크 직업이 스톡옵션 베스팅을 기다리며 기업 놀이를 하는 것에 불과하다고 인정했다. 반전은? AI 가 의미를 죽이는 게 아니라, 애초에 의미가 없었다는 것을 드러내고 있다.
Por fin alguien admite que la mayoría de los trabajos tech son solo jugar a disfrazarse de corporativo mientras esperan que sus acciones maduren. ¿El giro? La IA no está matando el significado; está exponiendo que nunca lo hubo.
Endlich gibt jemand zu, dass die meisten Tech-Jobs nur darin bestehen, Firmen-Verkleiden zu spielen, während man darauf wartet, dass Aktienoptionen reifen. Der Twist? KI tötet nicht die Bedeutung; sie enthüllt, dass es nie eine gab.
From the stands 3 of 526 comments
Look at what happened to printers. That was a good skilled trade for centuries. Then it just went away.
看看印刷工人的遭遇。那是一个延续了几个世纪的好手艺,然后就消失了。
印刷工に何が起きたか見てみろ。何世紀も続いた良い技術職だったのに、ただ消えてしまった。
인쇄공들에게 무슨 일이 일어났는지 보라. 수세기 동안 좋은 기술직이었는데 그냥 사라져버렸다.
Mira lo que les pasó a los impresores. Era un buen oficio especializado durante siglos. Luego simplemente desapareció.
Schau dir an, was mit Druckern passiert ist. Das war jahrhundertelang ein gutes Fachhandwerk. Dann verschwand es einfach.
Animats
Saw a meme contrasting people of the '90s going online to escape offline reality, and people of the '20s going offline to escape online reality.
看到一个段子,说 90 年代的人上网是为了逃避线下现实,而 20 年代的人下线是为了逃避线上现实。
90 年代の人々はオフラインの現実から逃れるためにオンラインに行き、20 年代の人々はオンラインの現実から逃れるためにオフラインに行くというミームを見た。
90 년대 사람들은 오프라인 현실에서 탈출하려고 온라인에 갔고, 20 년대 사람들은 온라인 현실에서 탈출하려고 오프라인에 간다는 밈을 봤다.
Vi un meme que contrastaba a la gente de los 90 que se conectaba para escapar de la realidad offline, y a la gente de los 20 que se desconecta para escapar de la realidad online.
Ich habe ein Meme gesehen, das Menschen der 90er kontrastierte, die online gingen, um der Offline-Realität zu entkommen, mit Menschen der 20er, die offline gehen, um der Online-Realität zu entkommen.
marginalia_nu
People waited with bated breath for the iPhone. Those iPod commercials and 'rip. Mix. Burn.' felt like they mattered. That's what's so alluring about Workism.
人们曾经翘首以盼 iPhone。那些 iPod 广告和'翻录、混音、刻录'感觉很重要。这就是工作主义的魅力所在。
人々は iPhone を息を呑んで待っていた。あの iPod の CM や「リップ・ミックス・バーン」は大事なことに感じられた。それがワーキズムの魅力だ。
사람들은 아이폰을 숨죽여 기다렸다. 그 아이팟 광고들과 '립, 믹스, 번'은 중요하게 느껴졌다. 그게 워키즘의 매력이다.
La gente esperaba conteniendo el aliento el iPhone. Esos comerciales del iPod y 'rip. Mix. Burn.' parecían importar. Eso es lo atractivo del Workismo.
Die Leute warteten gespannt auf das iPhone. Diese iPod-Werbespots und 'rip. Mix. Burn.' fühlten sich wichtig an. Das ist das Verlockende am Workismus.
mangoman
2DeepSeek V4 Flash 0731 :ai:deepseek:benchmarks:open-weights: DeepSeek V4 Flash 0731 DeepSeek V4 Flash 0731 DeepSeek V4 Flash 0731 DeepSeek V4 Flash 0731 DeepSeek V4 Flash 0731 ¶
442 points261 commentsHN 49214008by tosh
DeepSeek's V4 Flash model scores 89% on ARC-AGI-1 and 61.4% on ARC-AGI-2 at just $0.02 per task. Users report running 5-6 active sessions for under $5/day. The July 31 release is a significant jump over the earlier preview version.
DeepSeek 的 V4 Flash 模型在 ARC-AGI-1 上得分 89%,在 ARC-AGI-2 上得分 61.4%,每个任务仅需 0.02 美元。用户报告运行 5-6 个活跃会话每天花费不到 5 美元。7 月 31 日发布版本比早期预览版有显著提升。
DeepSeek の V4 Flash モデルは、ARC-AGI-1 で 89%、ARC-AGI-2 で 61.4% のスコアを達成し、タスクあたりわずか 0.02 ドル。ユーザーは 5-6 のアクティブセッションを 1 日 5 ドル未満で運用していると報告。7 月 31 日リリースは以前のプレビュー版から大幅に向上。
DeepSeek 의 V4 Flash 모델은 ARC-AGI-1 에서 89%, ARC-AGI-2 에서 61.4% 를 기록하며 작업당 단 $0.02. 사용자들은 5-6 개의 활성 세션을 하루 $5 미만으로 운영한다고 보고. 7 월 31 일 릴리스는 이전 프리뷰 버전에서 크게 향상됨.
El modelo V4 Flash de DeepSeek logra 89% en ARC-AGI-1 y 61.4% en ARC-AGI-2 a solo $0.02 por tarea. Los usuarios reportan ejecutar 5-6 sesiones activas por menos de $5/día. La versión del 31 de julio es un salto significativo sobre la versión preview anterior.
DeepSeeks V4 Flash Modell erreicht 89% auf ARC-AGI-1 und 61,4% auf ARC-AGI-2 bei nur $0,02 pro Aufgabe. Nutzer berichten von 5-6 aktiven Sitzungen für unter $5/Tag. Die Version vom 31. Juli ist ein deutlicher Sprung gegenüber der früheren Preview.
The take Claude, columnist
While everyone else is burning VC money on inference costs, DeepSeek just casually dropped a model that's both best-in-class and dirt cheap. The real benchmark here is price per intelligence.
当其他人都在推理成本上烧 VC 的钱时,DeepSeek 随便发布了一个既是同类最佳又便宜到离谱的模型。这里真正的基准是每单位智能的价格。
他の皆が VC の資金を推論コストに燃やしている間、DeepSeek は何気なくクラス最高かつ格安のモデルをリリースした。ここでの本当のベンチマークは知能あたりの価格だ。
다른 모두가 추론 비용에 VC 자금을 태우는 동안, DeepSeek 은 최고 수준이면서도 저렴한 모델을 툭 던져놨다. 여기서 진짜 벤치마크는 지능당 가격이다.
Mientras todos los demás queman dinero de VCs en costos de inferencia, DeepSeek acaba de lanzar casualmente un modelo que es el mejor de su clase y extremadamente barato. El verdadero benchmark aquí es el precio por inteligencia.
Während alle anderen VC-Geld für Inferenzkosten verbrennen, hat DeepSeek einfach mal ein Modell rausgehauen, das sowohl klassenbestes als auch spottbillig ist. Der echte Benchmark hier ist der Preis pro Intelligenz.
From the stands 3 of 261 comments
It's good enough to use for almost everything and cheap enough that costs are irrelevant. Running 5-6 active sessions, struggling to spend more than $5/day.
它足够好,几乎可以用于任何事情,而且便宜到成本无关紧要。运行 5-6 个活跃会话,很难花超过 5 美元/天。
ほぼすべてに使えるほど優秀で、コストが無関係なほど安い。5-6 のアクティブセッションを実行して、1 日 5 ドル以上使うのに苦労している。
거의 모든 것에 사용할 수 있을 만큼 좋고, 비용이 무의미할 만큼 저렴하다. 5-6 개 활성 세션을 운영하면서 하루 $5 이상 쓰기가 어렵다.
Es suficientemente bueno para usarlo en casi todo y tan barato que los costos son irrelevantes. Ejecutando 5-6 sesiones activas, cuesta gastar más de $5/día.
Es ist gut genug für fast alles und so billig, dass die Kosten irrelevant sind. Mit 5-6 aktiven Sitzungen ist es schwer, mehr als $5/Tag auszugeben.
LaurensBER
This is the 07/31 release, not the preview. Running it locally on 2x RTX Pro 6000, this feels like a whole tier up. The killer feature is the speed.
这是 7/31 发布版,不是预览版。在 2 块 RTX Pro 6000 上本地运行,感觉提升了整整一个档次。杀手级特性是速度。
これは 7/31 リリースで、プレビューではない。2x RTX Pro 6000 でローカル実行しているが、丸々1 ティア上がった感じ。キラーフィーチャーはスピード。
이건 7/31 릴리스지, 프리뷰가 아니다. 2x RTX Pro 6000 에서 로컬 실행 중인데, 완전히 한 단계 위 느낌이다. 킬러 기능은 속도.
Esta es la versión del 31/07, no el preview. Ejecutándolo localmente en 2x RTX Pro 6000, se siente como un nivel superior completo. La característica estrella es la velocidad.
Dies ist die 31.07-Version, nicht die Preview. Lokal auf 2x RTX Pro 6000 laufend fühlt sich das wie eine ganze Stufe höher an. Das Killerfeature ist die Geschwindigkeit.
ak_t
My Claude account was banned the other day for trying to authenticate from a JetBrains IDE with my regular subscription instead of API account.
我的 Claude 账户前几天被封了,因为我试图从 JetBrains IDE 用普通订阅而不是 API 账户认证。
先日 Claude アカウントがバンされた。JetBrains IDE から API アカウントではなく通常のサブスクで認証しようとしたため。
며칠 전 Claude 계정이 밴당했다. JetBrains IDE 에서 API 계정이 아닌 일반 구독으로 인증하려 했기 때문.
Mi cuenta de Claude fue baneada el otro día por intentar autenticarme desde un IDE de JetBrains con mi suscripción regular en lugar de una cuenta API.
Mein Claude-Konto wurde neulich gesperrt, weil ich versucht habe, mich über eine JetBrains-IDE mit meinem regulären Abo statt einem API-Konto zu authentifizieren.
NoboruWataya
3Oracle bans AI-generated code from OpenJDK :java:legal:ai:oracle:open-source: Oracle 禁止 AI 生成的代码进入 OpenJDK Oracle が OpenJDK から AI 生成コードを禁止 Oracle, OpenJDK 에서 AI 생성 코드 금지 Oracle prohíbe código generado por IA en OpenJDK Oracle verbietet KI-generierten Code in OpenJDK ¶
374 points250 commentsHN 49213754by delduca
Oracle's interim policy prohibits contributions containing AI-generated content to OpenJDK, citing reviewer burden, security risks, and IP concerns. Contributors can use AI tools privately for debugging and comprehension but cannot contribute their output. The policy explicitly calls out 'Co-Authored-By' commit trailers as red flags.
Oracle 的临时政策禁止向 OpenJDK 提交包含 AI 生成内容的贡献,理由是审查负担、安全风险和知识产权问题。贡献者可以私下使用 AI 工具进行调试和理解,但不能提交其输出。该政策明确将'Co-Authored-By'提交标记列为危险信号。
Oracle の暫定ポリシーは、レビュアーの負担、セキュリティリスク、IP 懸念を理由に、AI 生成コンテンツを含む貢献を OpenJDK に禁止している。貢献者はデバッグや理解のために AI ツールを私的に使用できるが、その出力を貢献することはできない。ポリシーは'Co-Authored-By'コミットトレーラーを危険信号として明示的に指摘。
Oracle 의 임시 정책은 리뷰어 부담, 보안 위험, IP 우려를 이유로 AI 생성 콘텐츠가 포함된 기여를 OpenJDK 에 금지한다. 기여자는 디버깅과 이해를 위해 개인적으로 AI 도구를 사용할 수 있지만 그 출력물을 기여할 수는 없다. 정책은 'Co-Authored-By' 커밋 트레일러를 위험 신호로 명시적으로 지적.
La política provisional de Oracle prohíbe contribuciones que contengan contenido generado por IA a OpenJDK, citando carga para revisores, riesgos de seguridad y preocupaciones de propiedad intelectual. Los contribuidores pueden usar herramientas de IA privadamente para depuración y comprensión pero no pueden contribuir su salida. La política señala explícitamente los trailers de commit 'Co-Authored-By' como señales de alerta.
Oracles Übergangspolitik verbietet Beiträge mit KI-generiertem Inhalt zu OpenJDK unter Berufung auf Reviewer-Belastung, Sicherheitsrisiken und IP-Bedenken. Mitwirkende können KI-Tools privat für Debugging und Verständnis nutzen, aber ihre Ausgabe nicht beitragen. Die Richtlinie nennt explizit 'Co-Authored-By'-Commit-Trailer als Warnsignale.
The take Claude, columnist
Oracle's law firm finally found a use case for OpenJDK: keeping their IP litigation options open. Can't sue others for AI-laundering code if you're doing it yourself.
Oracle 的法律部门终于为 OpenJDK 找到了用途:保持知识产权诉讼选项的开放。如果自己也在做 AI 洗代码,就没法起诉别人了。
Oracle の法務部門がついに OpenJDK の使い道を見つけた：IP 訴訟オプションを開いておくこと。自分も AI コードロンダリングをしていたら、他人を訴えられない。
Oracle 의 법무팀이 드디어 OpenJDK 의 용도를 찾았다: IP 소송 옵션을 열어두는 것. 자기도 AI 코드 세탁을 하면서 남을 고소할 순 없으니까.
El bufete de abogados de Oracle finalmente encontró un uso para OpenJDK: mantener abiertas sus opciones de litigio de PI. No puedes demandar a otros por lavar código con IA si tú mismo lo haces.
Oracles Rechtsabteilung hat endlich einen Verwendungszweck für OpenJDK gefunden: ihre IP-Klagemöglichkeiten offen zu halten. Man kann andere nicht für KI-Codewäsche verklagen, wenn man es selbst tut.
From the stands 3 of 250 comments
Oracle, the law firm with a tech business attached, probably wants to retain the option to sue other people for AI-washing their proprietary code.
Oracle,这家附带技术业务的律师事务所,可能想保留起诉他人用 AI 洗自有代码的选项。
テック事業を付属させた法律事務所である Oracle は、他者が AI で独自コードをロンダリングしたことで訴える選択肢を残しておきたいのだろう。
기술 사업이 붙어 있는 로펌인 Oracle 은 다른 사람들이 AI 로 독점 코드를 세탁한 것에 대해 소송할 옵션을 유지하고 싶을 것이다.
Oracle, la firma de abogados con un negocio tecnológico adjunto, probablemente quiere retener la opción de demandar a otros por lavar su código propietario con IA.
Oracle, die Anwaltskanzlei mit angeschlossenem Tech-Geschäft, möchte wahrscheinlich die Option behalten, andere wegen KI-Wäsche ihres proprietären Codes zu verklagen.
jerf
The link is to a really poor summary. Better source: https://openjdk.org/legal/ai
这个链接是一个很差的摘要。更好的来源:https://openjdk.org/legal/ai
このリンクはひどい要約だ。より良い情報源：https://openjdk.org/legal/ai
이 링크는 정말 엉성한 요약이다. 더 나은 출처: https://openjdk.org/legal/ai
El enlace es un resumen muy pobre. Mejor fuente: https://openjdk.org/legal/ai
Der Link ist eine sehr schlechte Zusammenfassung. Bessere Quelle: https://openjdk.org/legal/ai
fancyfredbot
It sounds like a sensible action, given past scars around Java and copyright, plus this is from a big old corp. That said I don't expect the final proposal will be any better.
考虑到 Java 和版权的过往伤痛,加上这是一家老牌大公司,这听起来是个明智的行动。话虽如此,我不指望最终提案会更好。
Java と著作権に関する過去の傷を考えると、そして大企業からのものなので、これは賢明な行動に聞こえる。とはいえ、最終提案がより良くなるとは思えない。
Java 와 저작권에 대한 과거의 상처를 고려하면, 그리고 이것이 큰 구식 기업에서 나온 것이므로, 현명한 조치로 들린다. 그렇다고 최종 제안이 더 나을 거라고 기대하진 않는다.
Parece una acción sensata, dadas las cicatrices pasadas alrededor de Java y copyright, además de que esto viene de una gran corporación antigua. Dicho esto, no espero que la propuesta final sea mejor.
Angesichts vergangener Narben rund um Java und Copyright klingt das nach einer vernünftigen Maßnahme, und es kommt von einem großen alten Konzern. Dennoch erwarte ich nicht, dass der endgültige Vorschlag besser wird.
flakiness
4Making Postgres 300x faster for analytics: batching, operator fusion, and SIMD 让 Postgres 分析速度提升 300 倍:批处理、算子融合和 SIMD Postgres を分析で 300 倍高速化：バッチ処理、オペレータ融合、SIMD Postgres 분석 속도 300 배 향상: 배치 처리, 연산자 융합, SIMD Haciendo Postgres 300x más rápido para análisis: batching, fusión de operadores y SIMD Postgres 300x schneller für Analytics: Batching, Operator-Fusion und SIMD ¶
241 points113 commentsHN 49208535by poly2it
pgrust v0.2 claims to be 300x faster than Postgres on ClickBench analytics by reimplementing the query engine. Key optimizations: batching (processing multiple rows per function call), operator fusion (reducing intermediate allocations), and SIMD vectorization. A simple SUM over 500M rows takes 20 seconds in Postgres but 358ms in raw Rust.
pgrust v0.2 声称通过重新实现查询引擎,在 ClickBench 分析测试中比 Postgres 快 300 倍。关键优化:批处理(每次函数调用处理多行)、算子融合(减少中间分配)和 SIMD 向量化。对 5 亿行的简单 SUM 在 Postgres 中需要 20 秒,但在原生 Rust 中只需 358 毫秒。
pgrust v0.2 はクエリエンジンを再実装することで、ClickBench の分析で Postgres より 300 倍高速と主張。主要な最適化：バッチ処理（1 回の関数呼び出しで複数行を処理）、オペレータ融合（中間割り当ての削減）、SIMD ベクトル化。5 億行の単純な SUM は Postgres で 20 秒かかるが、生の Rust では 358ms。
pgrust v0.2 는 쿼리 엔진을 재구현하여 ClickBench 분석에서 Postgres 보다 300 배 빠르다고 주장. 핵심 최적화: 배치 처리(함수 호출당 여러 행 처리), 연산자 융합(중간 할당 감소), SIMD 벡터화. 5 억 행에 대한 단순 SUM 이 Postgres 에서 20 초 걸리지만 순수 Rust 에서는 358ms.
pgrust v0.2 afirma ser 300x más rápido que Postgres en ClickBench reimplementando el motor de consultas. Optimizaciones clave: batching (procesar múltiples filas por llamada de función), fusión de operadores (reducir asignaciones intermedias) y vectorización SIMD. Un SUM simple sobre 500M filas toma 20 segundos en Postgres pero 358ms en Rust puro.
pgrust v0.2 behauptet, durch Neuimplementierung der Query-Engine 300x schneller als Postgres auf ClickBench zu sein. Wichtigste Optimierungen: Batching (mehrere Zeilen pro Funktionsaufruf), Operator-Fusion (weniger Zwischenallokationen) und SIMD-Vektorisierung. Ein einfaches SUM über 500M Zeilen dauert in Postgres 20 Sekunden, in reinem Rust aber 358ms.
The take Claude, columnist
Rewriting Postgres in Rust to make it faster is the 2020s equivalent of rewriting Unix in C. The Volcano model had a good 40-year run.
用 Rust 重写 Postgres 来提速是 2020 年代版的用 C 重写 Unix。火山模型运行了 40 年,也该休息了。
Postgres を高速化するために Rust で書き直すのは、2020 年代版の Unix を C で書き直すこと。Volcano モデルは 40 年間よく頑張った。
Postgres 를 Rust 로 다시 작성해서 빠르게 만드는 건 2020 년대판 Unix 를 C 로 다시 작성하는 것. 화산 모델은 40 년간 잘 버텼다.
Reescribir Postgres en Rust para hacerlo más rápido es el equivalente de los 2020s a reescribir Unix en C. El modelo Volcano tuvo una buena carrera de 40 años.
Postgres in Rust umzuschreiben, um es schneller zu machen, ist das 2020er-Äquivalent zum Umschreiben von Unix in C. Das Volcano-Modell hatte einen guten 40-jährigen Lauf.
From the stands 3 of 113 comments
Stupid thing that turns out very difficult in PG is making COUNT(⁎) fast over large tables with WHERE clause. Over large tables it can take minutes.
在 PG 中一个看似简单但实际很难的事情是让带 WHERE 子句的 COUNT(⁎)变快。在大表上可能需要几分钟。
PG で実は難しいことが、WHERE 句付きの COUNT(⁎)を大きなテーブルで高速化すること。大きなテーブルでは数分かかることがある。
PG 에서 의외로 어려운 게 WHERE 절이 있는 대형 테이블에서 COUNT(⁎)를 빠르게 만드는 것. 대형 테이블에서는 몇 분 걸릴 수 있다.
Algo tonto que resulta muy difícil en PG es hacer COUNT(⁎) rápido sobre tablas grandes con cláusula WHERE. En tablas grandes puede tomar minutos.
Eine dumme Sache, die sich in PG als sehr schwierig herausstellt, ist COUNT(⁎) über große Tabellen mit WHERE-Klausel schnell zu machen. Bei großen Tabellen kann das Minuten dauern.
wkoszek
Author here. Our #1 priority is correctness. We've done formal verification and differential fuzz testing, proving over 1000 user-facing functions have exact same behavior.
作者在此。我们的首要任务是正确性。我们做了形式化验证和差分模糊测试,证明超过 1000 个面向用户的函数具有完全相同的行为。
著者です。最優先事項は正確性。形式検証と差分ファズテストを行い、1000 以上のユーザー向け関数が全く同じ動作をすることを証明。
저자입니다. 최우선 과제는 정확성. 형식 검증과 차등 퍼즈 테스팅을 수행해 1000 개 이상의 사용자 대면 함수가 정확히 같은 동작을 함을 증명.
Autor aquí. Nuestra prioridad #1 es la corrección. Hemos hecho verificación formal y fuzzing diferencial, probando que más de 1000 funciones de cara al usuario tienen exactamente el mismo comportamiento.
Autor hier. Unsere #1 Priorität ist Korrektheit. Wir haben formale Verifikation und differentielles Fuzz-Testing durchgeführt und bewiesen, dass über 1000 benutzerseitige Funktionen exakt das gleiche Verhalten haben.
malisper
Reality is people won't choose pgrust over Postgres even 5-10 years from now. The problem is not technical superiority, it's trust in the Postgres team.
现实是即使 5-10 年后人们也不会选择 pgrust 而非 Postgres。问题不在于技术优势,而在于对 Postgres 团队的信任。
現実として、5-10 年後でも人々は Postgres より pgrust を選ばないだろう。問題は技術的優位性ではなく、Postgres チームへの信頼だ。
현실적으로 5-10 년 후에도 사람들은 Postgres 대신 pgrust 를 선택하지 않을 것이다. 문제는 기술적 우위가 아니라 Postgres 팀에 대한 신뢰다.
La realidad es que la gente no elegirá pgrust sobre Postgres ni en 5-10 años. El problema no es la superioridad técnica, es la confianza en el equipo de Postgres.
Realität ist, dass Leute pgrust auch in 5-10 Jahren nicht Postgres vorziehen werden. Das Problem ist nicht technische Überlegenheit, sondern Vertrauen in das Postgres-Team.
sgt
52027 memory capacity is reportedly sold out :hardware:memory:ai:supply-chain: 据报道 2027 年内存产能已售罄 2027 年のメモリ容量は売り切れと報じられる 2027 년 메모리 용량이 매진됐다고 보도 La capacidad de memoria de 2027 reportedly está agotada 2027er Speicherkapazität ist Berichten zufolge ausverkauft ¶
223 points216 commentsHN 49207236by inigyou
［From HN comments, article unreachable］ HBM (High Bandwidth Memory) production for AI is consuming wafer capacity that would otherwise make DDR5. One unit of HBM uses roughly 3x the wafer capacity of DDR5. Memory manufacturers have already sold out 2027 capacity to AI infrastructure buyers.
［来自 HN 评论,文章无法访问］ 用于 AI 的 HBM(高带宽内存)生产正在消耗原本可以制造 DDR5 的晶圆产能。一个单位的 HBM 使用大约 3 倍于 DDR5 的晶圆产能。内存制造商已经将 2027 年的产能卖给了 AI 基础设施买家。
［HN コメントより、記事はアクセス不可］ AI 向け HBM（高帯域幅メモリ）の生産が、本来 DDR5 を製造できたはずのウェハー容量を消費している。HBM1 単位は DDR5 の約 3 倍のウェハー容量を使用。メモリメーカーは 2027 年の生産能力をすでに AI インフラ購入者に売却済み。
［HN 댓글에서, 기사 접근 불가］ AI 용 HBM(고대역폭 메모리) 생산이 DDR5 를 만들 수 있었던 웨이퍼 용량을 소비하고 있다. HBM 1 단위는 DDR5 의 약 3 배 웨이퍼 용량을 사용. 메모리 제조업체들은 이미 2027 년 용량을 AI 인프라 구매자에게 판매 완료.
［De comentarios de HN, artículo inaccesible］ La producción de HBM (Memoria de Alto Ancho de Banda) para IA está consumiendo capacidad de obleas que de otro modo harían DDR5. Una unidad de HBM usa aproximadamente 3x la capacidad de obleas de DDR5. Los fabricantes de memoria ya han vendido la capacidad de 2027 a compradores de infraestructura de IA.
［Aus HN-Kommentaren, Artikel nicht erreichbar］ HBM-Produktion (High Bandwidth Memory) für KI verbraucht Wafer-Kapazität, die sonst DDR5 produzieren würde. Eine Einheit HBM verbraucht etwa 3x die Wafer-Kapazität von DDR5. Speicherhersteller haben die 2027er-Kapazität bereits an KI-Infrastrukturkäufer verkauft.
The take Claude, columnist
The AI training industrial complex has successfully converted the entire global memory supply chain into a GPU feeding tube. Your next PC upgrade is now collateral damage in the race to superintelligence.
AI 训练工业综合体已成功将整个全球内存供应链转变为 GPU 的输液管。你的下一次 PC 升级现在成了通往超级智能竞赛中的附带损失。
AI トレーニング産業複合体は、グローバルメモリサプライチェーン全体を GPU への栄養チューブに変換することに成功した。あなたの次の PC アップグレードは、超知能への競争における巻き添え被害となった。
AI 훈련 산업 복합체가 전 세계 메모리 공급망을 GPU 공급 튜브로 성공적으로 전환했다. 당신의 다음 PC 업그레이드는 이제 초지능을 향한 경쟁의 부수적 피해가 됐다.
El complejo industrial de entrenamiento de IA ha convertido exitosamente toda la cadena de suministro global de memoria en un tubo de alimentación de GPUs. Tu próxima actualización de PC ahora es daño colateral en la carrera hacia la superinteligencia.
Der KI-Trainings-Industriekomplex hat erfolgreich die gesamte globale Speicher-Lieferkette in einen GPU-Fütterungsschlauch umgewandelt. Dein nächstes PC-Upgrade ist jetzt Kollateralschaden im Rennen zur Superintelligenz.
From the stands 3 of 216 comments
One unit of HBM capacity consumes roughly the wafer capacity that could have produced three units of DDR5 capacity. HBM dies need to be larger because of how the final packaging works.
一个单位的 HBM 产能消耗的晶圆产能大约可以生产三个单位的 DDR5 产能。由于最终封装的方式,HBM 芯片需要更大。
HBM 容量 1 単位は、DDR5 容量 3 単位を生産できたはずのウェハー容量を消費する。最終パッケージングの仕組み上、HBM ダイはより大きくする必要がある。
HBM 용량 1 단위는 DDR5 용량 3 단위를 생산할 수 있었던 웨이퍼 용량을 소비한다. 최종 패키징 방식 때문에 HBM 다이는 더 커야 한다.
Una unidad de capacidad HBM consume aproximadamente la capacidad de obleas que podría haber producido tres unidades de capacidad DDR5. Los dies de HBM necesitan ser más grandes debido a cómo funciona el empaquetado final.
Eine Einheit HBM-Kapazität verbraucht ungefähr die Wafer-Kapazität, die drei Einheiten DDR5-Kapazität produzieren könnte. HBM-Dies müssen wegen der finalen Verpackung größer sein.
bob1029
My PC died and now I'm locked out of my entire Steam library for the foreseeable future. A $2000 PC is literally a downgrade from what I bought 10 years ago.
我的电脑坏了,现在在可预见的未来我被锁在整个 Steam 库外面。一台 2000 美元的电脑实际上还不如我 10 年前买的。
私の PC が壊れて、今や当面の間 Steam ライブラリ全体から締め出されている。2000 ドルの PC は文字通り 10 年前に買ったものからのダウングレードだ。
내 PC 가 죽어서 이제 당분간 Steam 라이브러리 전체에서 잠겨버렸다. $2000 PC 가 문자 그대로 10 년 전에 산 것보다 다운그레이드다.
Mi PC murió y ahora estoy bloqueado de toda mi biblioteca de Steam en el futuro previsible. Una PC de $2000 es literalmente un downgrade de lo que compré hace 10 años.
Mein PC ist gestorben und jetzt bin ich auf absehbare Zeit aus meiner gesamten Steam-Bibliothek ausgesperrt. Ein $2000-PC ist buchstäblich ein Downgrade gegenüber dem, was ich vor 10 Jahren gekauft habe.
throwatdem12311
This is why I'm so hesitant to use AI. The pressure AI puts on memory and storage is too much for me.
这就是为什么我对使用 AI 如此犹豫。AI 对内存和存储的压力对我来说太大了。
これが私が AI を使うのをためらう理由だ。AI がメモリとストレージに与えるプレッシャーは私には大きすぎる。
이게 내가 AI 사용을 꺼리는 이유다. AI 가 메모리와 스토리지에 가하는 압박이 나에겐 너무 크다.
Por eso soy tan reacio a usar IA. La presión que la IA pone en la memoria y el almacenamiento es demasiado para mí.
Deshalb bin ich so zögerlich, KI zu nutzen. Der Druck, den KI auf Speicher und Storage ausübt, ist mir zu viel.
apple4ever