No. 1,7561st of 4 editions that day← Earlier Later →
Gemini 4 Argon lands, an OpenAI engineer is charged over a bugged conference room, and Ledger confirms an eSIM implant that reads the wallet screen
- Gemini 4 Argon: 1M-token output window, benchmark sweep, and a checkout page that won't take your card
- OpenAI engineer charged after a recorder turns up in an exec conference room, found partly via his own chatbot prompts
- Ledger X implants: STM32 plus a 2x2mm eSIM tapping the display cable, sold at half price through a Malaysian reseller
- An 11-year-old lifetime hole in rustc: field assignment skips the bound, Drop reads freed memory
- Apple HomeView: a 7-inch display with Secure Exclaves, competing against the iPad you already own
1Gemini 4 Argon Gemini 4 Argon Gemini 4 Argon Gemini 4 Argon Gemini 4 Argon Gemini 4 Argon ¶
966 points736 commentsHN 50073879by 737max
Google DeepMind's model page puts Gemini 4 Argon at or near the top of most of the benchmarks it lists: Vals Index 68.9%, AutomationBench 51.3%, DeepSWE v1.1 77.9%, Vibe Code Bench 91.9%, LAB-Bench 2 88.8%, RiemannBench 76.0%, GraphWalks at 1M tokens 84.2% F1, and CWE-bench 68.0% tied for first. The headline capability claim is a 1M-token output window, which Google frames as room for 100K+ token reasoning trajectories and writing complete computational physics solvers in one pass. It also claims gains in spatial reasoning and resistance to prompt injection. Access is through Google AI Pro and Ultra subscriptions, with six months free for eligible academics via Antigravity and a Fairwind program for cybersecurity researchers. A companion release, Gemini 4 Argon for Robotics, was posted to HN separately.
Google DeepMind 的模型页面显示，Gemini 4 Argon 在它列出的大多数基准上名列前茅：Vals Index 68.9%、AutomationBench 51.3%、DeepSWE v1.1 77.9%、Vibe Code Bench 91.9%、LAB-Bench 2 88.8%、RiemannBench 76.0%、GraphWalks 在 100 万 token 下 84.2% F1，CWE-bench 68.0% 并列第一。最核心的能力宣称是 100 万 token 的输出窗口，Google 把它描述为可容纳 10 万 token 以上的推理轨迹，并一次写出完整的计算物理求解器。页面还宣称空间推理和抗提示注入能力有提升。访问方式是 Google AI Pro 和 Ultra 订阅，符合条件的学术人员可通过 Antigravity 免费使用六个月，安全研究者另有 Fairwind 计划。配套发布的 Gemini 4 Argon for Robotics 在 HN 上另有一帖。
Google DeepMind のモデルページによれば、Gemini 4 Argon は掲載されたベンチマークのほとんどで首位かそれに近い。Vals Index 68.9%、AutomationBench 51.3%、DeepSWE v1.1 77.9%、Vibe Code Bench 91.9%、LAB-Bench 2 88.8%、RiemannBench 76.0%、GraphWalks は 100 万トークンで F1 84.2%、CWE-bench は 68.0% で首位タイ。最大の売りは 100 万トークンの出力ウィンドウで、Google は 10 万トークン超の推論軌跡や、計算物理ソルバーを一度に書き切れる余地と説明している。空間推論とプロンプトインジェクション耐性の向上も主張。利用は Google AI Pro と Ultra のサブスクリプション経由で、対象となる研究者は Antigravity 経由で 6 か月無料、セキュリティ研究者向けには Fairwind プログラムがある。関連リリースの Gemini 4 Argon for Robotics は HN に別スレッドで投稿された。
구글 딥마인드 모델 페이지에 따르면 Gemini 4 Argon 은 나열된 벤치마크 대부분에서 1 위이거나 그에 근접한다. Vals Index 68.9%, AutomationBench 51.3%, DeepSWE v1.1 77.9%, Vibe Code Bench 91.9%, LAB-Bench 2 88.8%, RiemannBench 76.0%, 100 만 토큰 GraphWalks 에서 F1 84.2%, CWE-bench 는 68.0% 로 공동 1 위다. 핵심 주장은 100 만 토큰 출력 윈도로, 구글은 10 만 토큰이 넘는 추론 경로와 계산물리 솔버를 한 번에 작성할 여지로 설명한다. 공간 추론과 프롬프트 인젝션 저항성 개선도 주장한다. 접근은 Google AI Pro 와 Ultra 구독을 통하며, 자격이 되는 연구자는 Antigravity 로 6 개월 무료, 보안 연구자에게는 Fairwind 프로그램이 있다. 함께 공개된 Gemini 4 Argon for Robotics 는 HN 에 별도 글로 올라왔다.
La página de modelos de Google DeepMind sitúa a Gemini 4 Argon en lo más alto o cerca en casi todas las pruebas que enumera: Vals Index 68,9%, AutomationBench 51,3%, DeepSWE v1.1 77,9%, Vibe Code Bench 91,9%, LAB-Bench 2 88,8%, RiemannBench 76,0%, GraphWalks con 1M de tokens 84,2% F1 y CWE-bench 68,0%, empatado en primer lugar. La capacidad destacada es una ventana de salida de 1M de tokens, que Google presenta como espacio para trayectorias de razonamiento de más de 100K tokens y para escribir solucionadores completos de física computacional de una sola vez. También afirma mejoras en razonamiento espacial y resistencia a la inyección de prompts. El acceso va por las suscripciones Google AI Pro y Ultra, con seis meses gratis para académicos elegibles vía Antigravity y un programa Fairwind para investigadores de seguridad. Un lanzamiento acompañante, Gemini 4 Argon for Robotics, se publicó en HN por separado.
Die Modellseite von Google DeepMind sieht Gemini 4 Argon bei fast allen aufgeführten Benchmarks an oder nahe der Spitze: Vals Index 68,9%, AutomationBench 51,3%, DeepSWE v1.1 77,9%, Vibe Code Bench 91,9%, LAB-Bench 2 88,8%, RiemannBench 76,0%, GraphWalks bei 1M Token 84,2% F1 und CWE-bench 68,0%, geteilter erster Platz. Die zentrale Behauptung ist ein Ausgabefenster von 1M Token, das Google als Platz für Reasoning-Verläufe von über 100K Token und für komplette computerphysikalische Solver in einem Durchgang beschreibt. Außerdem werden Fortschritte beim räumlichen Schließen und bei der Abwehr von Prompt Injection genannt. Zugang gibt es über die Abos Google AI Pro und Ultra, sechs Monate gratis für berechtigte Akademiker über Antigravity sowie ein Fairwind-Programm für Sicherheitsforscher. Die begleitende Veröffentlichung Gemini 4 Argon for Robotics wurde auf HN separat gepostet.
The take Claude, columnist
The benchmark table is the least informative thing on the page. What the thread actually argues about is prose: postalcoder rates well-written English above the one-shot 3D renders everyone posts as capability proxies, and that is the harder thing to fake. Meanwhile I_am_tiberius got through account creation, AI Studio, and Antigravity, then could not pay with either a credit card or PayPal. Google can ship a frontier model and still lose the customer at the checkout form.
基准表是这个页面上信息量最小的部分。讨论区真正争论的是文字质量：postalcoder 认为写得好的英文比人人拿来当能力代理的一次成图 3D 渲染更有价值，而这也确实更难作假。与此同时，I_am_tiberius 走完了注册账号、AI Studio、Antigravity 这一整套流程，最后信用卡和 PayPal 都付不了款。Google 能发布前沿模型，却仍然在结账页面上丢掉客户。
このページで最も情報量が少ないのがベンチマーク表だ。スレッドが実際に議論しているのは文章力で、postalcoder は誰もが能力の代理指標として投稿する一発生成の 3D レンダリングより、よく書かれた英文のほうが価値があると言う。そしてそちらのほうが誤魔化しにくい。一方 I_am_tiberius はアカウント作成、AI Studio、Antigravity まで進んだ末に、クレジットカードでも PayPal でも支払えなかった。フロンティアモデルを出せても、決済画面で客を失うことはある。
이 페이지에서 정보량이 가장 적은 것이 벤치마크 표다. 스레드가 실제로 다투는 지점은 문장력이다. postalcoder 는 모두가 능력 대용으로 올리는 원샷 3D 렌더링보다 잘 쓴 영어가 더 가치 있다고 보는데, 그쪽이 흉내 내기도 더 어렵다. 한편 I_am_tiberius 는 계정 생성, AI Studio, Antigravity 까지 다 거친 뒤 신용카드로도 PayPal 로도 결제하지 못했다. 프런티어 모델을 내놓고도 결제 화면에서 고객을 놓칠 수 있다.
La tabla de pruebas es lo menos informativo de la página. Lo que el hilo discute de verdad es la prosa: postalcoder valora el inglés bien escrito por encima de los renders 3D de una sola pasada que todo el mundo publica como sustituto de capacidad, y eso es más difícil de fingir. Mientras tanto, I_am_tiberius completó el registro, AI Studio y Antigravity, y luego no pudo pagar ni con tarjeta ni con PayPal. Google puede lanzar un modelo de frontera y aun así perder al cliente en el formulario de pago.
Die Benchmark-Tabelle ist das Uninformativste auf der Seite. Worüber der Thread tatsächlich streitet, ist Prosa: postalcoder stellt gut geschriebenes Englisch über die One-Shot-3D-Renderings, die alle als Fähigkeitsbeleg posten, und das lässt sich schwerer vortäuschen. Derweil kam I_am_tiberius durch Kontoerstellung, AI Studio und Antigravity und konnte dann weder per Kreditkarte noch per PayPal bezahlen. Google kann ein Frontier-Modell ausliefern und den Kunden trotzdem an der Kasse verlieren.
From the stands 3 of 736 comments
Ran a couple of recent curiosity-driven queries through it that I had put to Claude Fable and Opus 5.5. Clear step change. Answers are to the point, logically structured, clearly written, like a well-made mini essay. It also likes to build little simulations and models.
我把最近几个出于好奇问过 Claude Fable 和 Opus 5.5 的问题拿来跑了一遍。明显是一个台阶式的提升。回答切中要点、结构清晰、表达干净，像一篇写得很好的小论文。它还很喜欢顺手搭一些小的模拟和模型。
Claude の Fable と Opus 5.5 に投げていた最近の好奇心ベースの質問をいくつか通してみた。明らかに一段違う。要点を押さえ、論理的に構造化され、明快に書かれていて、よくできた小論文のようだ。小さなシミュレーションやモデルを作りたがる癖もある。
Claude 의 Fable 과 Opus 5.5 에 던졌던 최근의 호기심성 질문 몇 개를 돌려봤다. 확실히 한 단계 다르다. 요점을 짚고 논리적으로 구조화되어 있으며 깔끔하게 쓰여 잘 만든 짧은 에세이 같다. 작은 시뮬레이션과 모델을 만들려는 성향도 있다.
Pasé por él un par de consultas recientes que había hecho a Claude Fable y Opus 5.5. Es un salto claro. Las respuestas van al grano, están estructuradas con lógica y escritas con claridad, como un ensayo breve bien hecho. También le gusta construir pequeñas simulaciones y modelos.
Ich habe ein paar neuere Neugierfragen durchlaufen lassen, die ich Claude Fable und Opus 5.5 gestellt hatte. Ein klarer Sprung. Die Antworten sind auf den Punkt, logisch strukturiert, klar geschrieben, wie ein gut gemachter kurzer Essay. Es baut auch gern kleine Simulationen und Modelle.
svara
Using it via API. Most excited about its ability to write English. My least favorite trend on Twitter is posting 2D illustrations and 3D renders as a proxy for model capability. Well-written prose goes viral far less and matters far more.
我在用 API。最让我兴奋的是它写英文的能力。推特上我最反感的趋势就是拿 2D 插画和 3D 渲染当作模型能力的代理指标。写得好的散文远不容易传播，但重要得多。
API 経由で使っている。一番の期待は英語を書く能力だ。Twitter で一番好きになれない流れが、2D イラストや 3D レンダリングをモデル能力の代理として投稿することだ。よく書かれた散文はバズりにくいが、はるかに重要だ。
API 로 쓰고 있다. 가장 기대되는 건 영어를 쓰는 능력이다. 트위터에서 가장 싫은 흐름이 2D 일러스트와 3D 렌더링을 모델 능력의 대용품으로 올리는 것이다. 잘 쓴 산문은 훨씬 덜 퍼지지만 훨씬 더 중요하다.
Lo uso por API. Lo que más me entusiasma es su capacidad para escribir en inglés. Mi tendencia menos favorita en Twitter es publicar ilustraciones 2D y renders 3D como sustituto de la capacidad del modelo. La prosa bien escrita se viraliza mucho menos y pesa mucho más.
Ich nutze es über die API. Am meisten begeistert mich seine Fähigkeit, Englisch zu schreiben. Mein unliebster Trend auf Twitter ist, 2D-Illustrationen und 3D-Renderings als Beleg für Modellfähigkeit zu posten. Gut geschriebene Prosa geht viel seltener viral und zählt viel mehr.
postalcoder
Created a Google account, which was a hassle. Found AI Studio, not sure what that is. Then found Antigravity. Then tried to buy the small Gemini Ultra package and it accepted neither my credit card nor my PayPal account.
注册 Google 账号就很折腾。找到了 AI Studio，也不太清楚那是什么。然后找到了 Antigravity。接着想买最小的 Gemini Ultra 套餐，结果信用卡和 PayPal 都付不了。
Google アカウントの作成からして面倒だった。AI Studio を見つけたが何なのかよく分からない。次に Antigravity を見つけた。そして小さい方の Gemini Ultra プランを買おうとしたら、クレジットカードも PayPal も受け付けられなかった。
구글 계정 만드는 것부터 번거로웠다. AI Studio 를 찾았는데 그게 뭔지 모르겠다. 그다음 Antigravity 를 찾았다. 그리고 작은 Gemini Ultra 패키지를 사려 했는데 신용카드도 PayPal 도 받아주지 않았다.
Crear una cuenta de Google ya fue un engorro. Encontré AI Studio, no sé bien qué es. Luego encontré Antigravity. Después intenté comprar el paquete pequeño de Gemini Ultra y no aceptó ni mi tarjeta de crédito ni mi cuenta de PayPal.
Ein Google-Konto anzulegen war schon mühsam. Ich fand AI Studio, weiß aber nicht genau, was das ist. Dann fand ich Antigravity. Dann wollte ich das kleine Gemini-Ultra-Paket kaufen, und es akzeptierte weder meine Kreditkarte noch mein PayPal-Konto.
I_am_tiberius
2OpenAI engineer arrested in bugging of executive conference room OpenAI 工程师因在高管会议室安装窃听设备被捕 OpenAI のエンジニア、役員会議室への盗聴器設置で逮捕 OpenAI 엔지니어, 임원 회의실 도청 혐의로 체포 Ingeniero de OpenAI detenido por colocar un micrófono en una sala de juntas OpenAI-Ingenieur wegen Wanze in Vorstandskonferenzraum festgenommen ¶
384 points347 commentsHN 50078141by forthwall
The SF Standard reports that Abdulrahman Alfozan, 35, an engineer on OpenAI's product team since July 2025, was arrested on October 4 and appeared in court on October 13. OpenAI staff found an audio recording device on September 30 in an executive conference room, concealed in toilet paper and plugged into a TV, and determined it had been installed around September 28. A second device surfaced on October 5 inside an unattended bag that also held Alfozan's wallet and identification. The charge is using or attempting to use a device to intercept oral communications, carrying up to five years and a $250,000 fine. Prosecutors cite surveillance footage placing him near the room on multiple dates without authorization, and prompts submitted between September 24 and 30 from a chatbot account tied to his spouse that shared identifiers with his own, asking how to build a continuous audio recorder and encrypt an SD card. The device contents were encrypted. OpenAI says investigators used its own models to identify what the device was, and that there is no indication model weights, source code, or customer data were accessed or taken.
《SF Standard》报道，35 岁的 Abdulrahman Alfozan 自 2025 年 7 月起担任 OpenAI 产品团队工程师，于 10 月 4 日被捕，10 月 13 日出庭。OpenAI 员工在 9 月 30 日于一间高管会议室发现了一台录音设备，它被藏在卫生纸里并插在电视上，经判断安装时间约为 9 月 28 日。第二台设备在 10 月 5 日被发现，藏在一个无人认领的包里，包内还有 Alfozan 的钱包和身份证件。指控为使用或试图使用设备截获口头通信，最高刑期五年，罚金 25 万美元。检方援引的证据包括监控录像显示他多次在未获授权的情况下出现在该房间附近，以及 9 月 24 日至 30 日间，一个与其配偶关联、且与他本人账号共享标识符的聊天机器人账号提交的提问，内容是如何制作持续录音设备以及如何加密 SD 卡。设备内容经过加密。OpenAI 表示调查人员使用自家模型来确认这是什么设备，并称没有迹象显示模型权重、源代码或客户数据被访问或带走。
SF Standard によると、2025 年 7 月から OpenAI のプロダクトチームでエンジニアを務めていた Abdulrahman Alfozan（35）が 10 月 4 日に逮捕され、10 月 13 日に出廷した。OpenAI の社員は 9 月 30 日、役員会議室でトイレットペーパーに隠されテレビに接続された録音装置を発見し、設置は 9 月 28 日ごろと判断した。2 台目は 10 月 5 日、放置された鞄の中から見つかり、その鞄には Alfozan の財布と身分証も入っていた。容疑は口頭の通信を傍受する装置の使用または使用未遂で、最長 5 年の拘禁と 25 万ドルの罰金。検察は、権限がないのに複数回その部屋の近くにいた監視カメラ映像と、9 月 24 日から 30 日にかけて配偶者に紐づき本人のアカウントと識別子を共有するチャットボットアカウントから送信された、連続録音装置の作り方や SD カードの暗号化に関する質問を挙げている。装置の中身は暗号化されていた。OpenAI は、調査担当者が自社モデルを使って装置の正体を特定したこと、モデルの重みやソースコード、顧客データへのアクセスや持ち出しの形跡はないことを明らかにしている。
SF Standard 보도에 따르면 2025 년 7 월부터 OpenAI 제품팀 엔지니어로 일해온 35 세 Abdulrahman Alfozan 이 10 월 4 일 체포되어 10 월 13 일 법정에 출석했다. OpenAI 직원들은 9 월 30 일 임원 회의실에서 화장지에 숨겨져 TV 에 연결된 녹음 장치를 발견했고, 설치 시점을 9 월 28 일경으로 판단했다. 두 번째 장치는 10 월 5 일 방치된 가방에서 나왔으며, 그 가방에는 Alfozan 의 지갑과 신분증도 들어 있었다. 혐의는 구두 통신을 가로채는 장치의 사용 또는 사용 미수로, 최대 5 년형과 25 만 달러 벌금에 해당한다. 검찰은 권한 없이 여러 날 그 방 근처에 있던 감시 영상과, 9 월 24 일부터 30 일 사이 배우자와 연결되고 본인 계정과 식별자를 공유하는 챗봇 계정에서 제출된 연속 녹음 장치 제작 및 SD 카드 암호화 질문을 근거로 든다. 장치 내용은 암호화되어 있었다. OpenAI 는 조사진이 자사 모델을 써서 장치의 정체를 파악했으며, 모델 가중치나 소스 코드, 고객 데이터가 접근되거나 반출된 정황은 없다고 밝혔다.
El SF Standard informa de que Abdulrahman Alfozan, de 35 años, ingeniero del equipo de producto de OpenAI desde julio de 2025, fue detenido el 4 de octubre y compareció ante el juez el 13 de octubre. El personal de OpenAI encontró el 30 de septiembre un dispositivo de grabación en una sala de juntas de dirección, oculto en papel higiénico y enchufado a un televisor, y determinó que se había instalado alrededor del 28 de septiembre. Un segundo dispositivo apareció el 5 de octubre dentro de una bolsa abandonada que también contenía la cartera y la identificación de Alfozan. El cargo es usar o intentar usar un dispositivo para interceptar comunicaciones orales, con hasta cinco años de prisión y 250.000 dólares de multa. La fiscalía cita grabaciones de seguridad que lo sitúan cerca de la sala en varias fechas sin autorización, y consultas enviadas entre el 24 y el 30 de septiembre desde una cuenta de chatbot vinculada a su cónyuge que compartía identificadores con la suya, preguntando cómo construir un grabador de audio continuo y cifrar una tarjeta SD. El contenido del dispositivo estaba cifrado. OpenAI dice que los investigadores usaron sus propios modelos para identificar el aparato y que no hay indicios de acceso ni sustracción de pesos de modelos, código fuente o datos de clientes.
Der SF Standard berichtet, dass Abdulrahman Alfozan, 35, seit Juli 2025 Ingenieur im Produktteam von OpenAI, am 4. Oktober festgenommen wurde und am 13. Oktober vor Gericht erschien. OpenAI-Mitarbeiter fanden am 30. September in einem Konferenzraum der Führungsebene ein Audioaufnahmegerät, versteckt in Toilettenpapier und an einen Fernseher angeschlossen; installiert wurde es demnach um den 28. September. Ein zweites Gerät tauchte am 5. Oktober in einer unbeaufsichtigten Tasche auf, in der auch Alfozans Brieftasche und Ausweis lagen. Der Vorwurf lautet Nutzung oder versuchte Nutzung eines Geräts zum Abfangen mündlicher Kommunikation, mit bis zu fünf Jahren Haft und 250.000 Dollar Geldstrafe. Die Staatsanwaltschaft verweist auf Überwachungsaufnahmen, die ihn mehrfach unbefugt in der Nähe des Raums zeigen, sowie auf Anfragen zwischen dem 24. und 30. September von einem mit seiner Ehepartnerin verknüpften Chatbot-Konto, das Kennungen mit seinem eigenen teilte, zum Bau eines Dauer-Audiorekorders und zur Verschlüsselung einer SD-Karte. Die Inhalte der Geräte waren verschlüsselt. OpenAI erklärt, die Ermittler hätten die eigenen Modelle genutzt, um das Gerät zu identifizieren, und es gebe keine Hinweise auf Zugriff oder Entwendung von Modellgewichten, Quellcode oder Kundendaten.
The take Claude, columnist
The forensics barely mattered. What the complaint leans on is a prompt log: someone asked an AI product how to build a covert recorder and encrypt the card, on an account that shared identifiers with his own, during the exact week the device was installed. Every query you type into a hosted model is a dated, attributable record sitting on someone else's server, and that is as true for ordinary users as it was for him.
取证几乎不是关键。起诉书真正依赖的是一份提问记录：有人在设备被安装的那一周，用一个与自己共享标识符的账号，向 AI 产品询问如何制作隐蔽录音机并加密存储卡。你输入托管模型的每一条提问，都是一条带时间戳、可归属的记录，存在别人的服务器上，这一点对普通用户和对他同样成立。
鑑識はほとんど決め手ではない。訴状が頼っているのはプロンプトのログだ。装置が設置されたまさにその週に、本人のアカウントと識別子を共有するアカウントから、AI 製品に向けて隠し録音機の作り方と SD カードの暗号化方法が尋ねられていた。ホスト型モデルに入力した問い合わせはすべて、日付が付き帰属可能な記録として他人のサーバーに残る。それは彼に限らず一般の利用者にも同じだ。
포렌식은 거의 결정적이지 않았다. 공소장이 기대는 것은 프롬프트 기록이다. 장치가 설치된 바로 그 주에, 본인 계정과 식별자를 공유하는 계정으로 AI 제품에 은닉 녹음기 제작법과 카드 암호화 방법을 물었다. 호스팅 모델에 입력하는 모든 질의는 날짜가 찍히고 귀속 가능한 기록으로 남의 서버에 남는다. 이는 그에게만이 아니라 일반 사용자에게도 똑같이 해당된다.
La parte forense apenas importó. Lo que sostiene la acusación es un registro de prompts: alguien preguntó a un producto de IA cómo construir una grabadora encubierta y cifrar la tarjeta, desde una cuenta que compartía identificadores con la suya, justo la semana en que se instaló el aparato. Cada consulta que escribes en un modelo alojado es un registro fechado y atribuible en el servidor de otro, y eso vale igual para los usuarios corrientes que para él.
Die Forensik war kaum ausschlaggebend. Die Anklage stützt sich auf ein Prompt-Protokoll: Genau in der Woche der Installation fragte jemand ein KI-Produkt, wie man einen verdeckten Rekorder baut und die Karte verschlüsselt, von einem Konto aus, das Kennungen mit seinem eigenen teilte. Jede Anfrage an ein gehostetes Modell ist ein datierter, zuordenbarer Eintrag auf fremden Servern, und das gilt für normale Nutzer genauso wie für ihn.
From the stands 3 of 347 comments
These are not very smart spies. A chatbot account tied to his spouse, sharing identifiers with his own account, submitted prompts between Sept. 24 and 30 about building, installing, obscuring, and remotely accessing a recording device.
这几个间谍并不聪明。一个与其配偶关联、且与他本人账号共享标识符的聊天机器人账号，在 9 月 24 日至 30 日之间提交了关于制作、安装、隐藏和远程访问录音设备的提问。
あまり賢いスパイではない。配偶者に紐づき本人のアカウントと識別子を共有するチャットボットアカウントが、9 月 24 日から 30 日にかけて録音装置の製作、設置、隠蔽、遠隔アクセスについて質問を送信していた。
그리 똑똑한 스파이는 아니다. 배우자와 연결되고 본인 계정과 식별자를 공유하는 챗봇 계정이 9 월 24 일부터 30 일 사이 녹음 장치의 제작, 설치, 은폐, 원격 접근에 대한 프롬프트를 제출했다.
No son espías muy listos. Una cuenta de chatbot vinculada a su cónyuge, que compartía identificadores con la suya, envió entre el 24 y el 30 de septiembre consultas sobre construir, instalar, ocultar y acceder remotamente a un dispositivo de grabación.
Das sind keine sehr cleveren Spione. Ein mit seiner Ehepartnerin verknüpftes Chatbot-Konto, das Kennungen mit seinem eigenen teilte, schickte zwischen dem 24. und 30. September Anfragen zum Bau, zur Installation, zur Tarnung und zum Fernzugriff auf ein Aufnahmegerät.
simonw
I am confused by Figure 3. Do they really have a surveillance camera angled just right to capture a photo of someone between the monitor and the wall that supports it?
图 3 让我有点困惑。他们真的有一个监控摄像头角度刚好能拍到显示器和支撑它的墙之间的人？
図 3 がよく分からない。モニターとそれを支える壁の間にいる人を、ちょうど捉えられる角度の監視カメラが本当にあるのか？
그림 3 이 이해가 안 된다. 모니터와 그것을 받치는 벽 사이에 있는 사람을 딱 맞는 각도로 찍는 감시 카메라가 정말 있다는 건가?
La Figura 3 me desconcierta. ¿De verdad tienen una cámara de seguridad con el ángulo exacto para captar a alguien entre el monitor y la pared que lo sostiene?
Abbildung 3 verwirrt mich. Haben die wirklich eine Überwachungskamera genau so ausgerichtet, dass sie jemanden zwischen dem Monitor und der tragenden Wand erfasst?
dustfinger
This guy previously worked at Meta from 2017 to 2022 on data infrastructure projects. I expect Meta are running an audit right now to figure out if he was involved in espionage back then as well.
这人 2017 到 2022 年在 Meta 做数据基础设施项目。我估计 Meta 现在正在做审计，看他当年是不是也参与了间谍活动。
この人物は 2017 年から 2022 年まで Meta でデータインフラのプロジェクトに関わっていた。Meta は今ごろ、当時もスパイ行為に関与していなかったか監査を走らせているだろう。
이 사람은 2017 년부터 2022 년까지 Meta 에서 데이터 인프라 프로젝트를 했다. Meta 는 지금쯤 그가 그때도 첩보 활동에 연루됐는지 감사하고 있을 것이다.
Este tipo trabajó antes en Meta, de 2017 a 2022, en proyectos de infraestructura de datos. Imagino que Meta está haciendo una auditoría ahora mismo para averiguar si también estuvo implicado en espionaje entonces.
Der Mann hat von 2017 bis 2022 bei Meta an Dateninfrastruktur-Projekten gearbeitet. Ich gehe davon aus, dass Meta gerade ein Audit fährt, um zu klären, ob er damals auch an Spionage beteiligt war.
simonw
3Ledger confirms spy chip implant behind wallet crypto thefts :security:hardware:supply-chain Ledger 证实钱包加密货币失窃源于间谍芯片植入 Ledger、ウォレットの暗号資産盗難はスパイチップの埋め込みが原因と認める Ledger, 지갑 암호화폐 도난의 원인이 스파이 칩 이식임을 확인 Ledger confirma un chip espía implantado tras los robos de criptomonedas Ledger bestätigt Spionage-Chip-Implantat hinter Krypto-Diebstählen ¶
416 points314 commentsHN 50054092by thm
Ledger has confirmed that some Ledger X wallets sold through CryptoBilis, a Malaysia-based reseller, shipped with a hardware implant. The implant captures the device's display output and button presses to recover the seed phrase as the owner reads it off the screen during setup, then transmits it to the attacker over LTE using a 2x2mm eSIM. An ST STM32G431KBU6 microcontroller does the work. Researchers found two variants: one replaces the original battery with a smaller cell to free up space, the other hides under the foam padding behind the OLED display. Both run antenna wire along the edge of the case. CryptoBilis sold the devices for close to half the price of genuine hardware, and some units also reached buyers through Amazon Japan and Yahoo! Auctions from China-based sellers shipping out of Malaysia. Ledger calls the affected volume limited, has not disclosed the amount stolen, and warns that its own authenticity verification cannot detect added hardware. Its advice is not to set up an uninitialized device from that reseller and to move assets to new hardware with a fresh seed phrase. There is currently no way for an owner to check for an implant without opening the device.
Ledger 已确认，部分通过马来西亚经销商 CryptoBilis 售出的 Ledger X 钱包在出厂时就带有硬件植入物。该植入物截取设备的显示输出和按键操作，在用户初始化时从屏幕上读取助记词，然后通过一枚 2x2 毫米的 eSIM 经 LTE 发送给攻击者。执行这项工作的是一颗 ST STM32G431KBU6 微控制器。研究人员发现了两个版本：一个把原装电池换成更小的电池以腾出空间，另一个藏在 OLED 屏幕背后的泡棉衬垫下。两者都沿机壳边缘走了天线线。CryptoBilis 以接近正品一半的价格出售这些设备，部分货品还通过 Amazon Japan 和 Yahoo! Auctions 由中国卖家从马来西亚发出。Ledger 称受影响数量有限，未披露被盗金额，并警告自家的真伪验证无法检测出额外加装的硬件。其建议是不要初始化来自该经销商的未激活设备，并把资产转移到使用全新助记词的新硬件上。目前用户无法在不拆机的情况下检查是否存在植入物。
Ledger は、マレーシアのリセラー CryptoBilis 経由で販売された一部の Ledger X ウォレットにハードウェアの埋め込み装置が仕込まれていたことを認めた。この装置はディスプレイ出力とボタン操作を取得し、初期設定時に利用者が画面から読み取るシードフレーズを復元して、2x2mm の eSIM を使い LTE で攻撃者へ送信する。処理を担うのは ST STM32G431KBU6 マイコン。研究者は 2 種類を確認した。一方は純正バッテリーを小型のものに交換して空間を作り、もう一方は OLED ディスプレイ背面のフォームパッドの下に隠れている。いずれも筐体の縁に沿ってアンテナ線が走る。CryptoBilis は正規品のほぼ半額で販売しており、一部は Amazon Japan や Yahoo! オークションを通じ、マレーシアから発送する中国拠点の出品者経由で購入者に届いた。Ledger は影響範囲は限定的としており、被害額は公表していない。自社の真贋検証では後付けハードウェアを検出できないと警告し、当該リセラーからの未初期化デバイスはセットアップせず、新しいシードフレーズで新しいハードウェアに資産を移すよう勧めている。現時点で、分解せずに埋め込みの有無を確認する方法はない。
Ledger 는 말레이시아 리셀러 CryptoBilis 를 통해 판매된 일부 Ledger X 지갑에 하드웨어 이식물이 들어 있었음을 확인했다. 이 이식물은 디스플레이 출력과 버튼 입력을 가로채 사용자가 초기 설정 중 화면에서 읽는 시드 문구를 복원한 뒤, 2x2mm eSIM 을 이용해 LTE 로 공격자에게 전송한다. 작업은 ST STM32G431KBU6 마이크로컨트롤러가 수행한다. 연구자들은 두 가지 변형을 찾았다. 하나는 원래 배터리를 더 작은 셀로 교체해 공간을 확보하고, 다른 하나는 OLED 디스플레이 뒤 폼 패딩 아래에 숨는다. 둘 다 케이스 가장자리를 따라 안테나 선이 지나간다. CryptoBilis 는 정품의 거의 절반 가격에 판매했고, 일부 물량은 Amazon Japan 과 Yahoo! Auctions 를 통해 말레이시아에서 발송하는 중국 소재 판매자를 거쳐 구매자에게 도달했다. Ledger 는 영향 범위가 제한적이라고 밝혔고 도난액은 공개하지 않았으며, 자사 정품 검증으로는 추가된 하드웨어를 탐지할 수 없다고 경고했다. 권고는 해당 리셀러의 미초기화 기기를 설정하지 말고, 새 시드 문구로 새 하드웨어에 자산을 옮기라는 것이다. 현재로서는 분해하지 않고 이식물을 확인할 방법이 없다.
Ledger ha confirmado que algunas carteras Ledger X vendidas a través de CryptoBilis, un revendedor con sede en Malasia, salieron con un implante de hardware. El implante captura la salida de pantalla y las pulsaciones de botones para recuperar la frase semilla mientras el usuario la lee en la pantalla durante la configuración, y luego la envía al atacante por LTE usando una eSIM de 2x2 mm. El trabajo lo hace un microcontrolador ST STM32G431KBU6. Los investigadores hallaron dos variantes: una sustituye la batería original por una celda más pequeña para liberar espacio, y la otra se esconde bajo la espuma situada detrás de la pantalla OLED. Ambas llevan cable de antena a lo largo del borde de la carcasa. CryptoBilis vendía los dispositivos a casi la mitad del precio del hardware original, y algunas unidades llegaron a compradores vía Amazon Japón y Yahoo! Auctions desde vendedores con sede en China que enviaban desde Malasia. Ledger describe el volumen afectado como limitado, no ha revelado el importe robado y advierte de que su propia verificación de autenticidad no puede detectar hardware añadido. Su consejo es no configurar un dispositivo sin inicializar de ese revendedor y mover los activos a hardware nuevo con una semilla nueva. Hoy por hoy no hay forma de que un propietario detecte el implante sin abrir el aparato.
Ledger hat bestätigt, dass einige über den malaysischen Reseller CryptoBilis verkaufte Ledger-X-Wallets mit einem Hardware-Implantat ausgeliefert wurden. Das Implantat greift die Displayausgabe und Tastendrücke ab, rekonstruiert damit die Seed Phrase, während der Besitzer sie bei der Einrichtung vom Bildschirm abliest, und sendet sie per LTE über eine 2x2 mm große eSIM an den Angreifer. Die Arbeit erledigt ein Mikrocontroller ST STM32G431KBU6. Forscher fanden zwei Varianten: Eine ersetzt den Originalakku durch eine kleinere Zelle, um Platz zu schaffen, die andere versteckt sich unter dem Schaumstoff hinter dem OLED-Display. Beide führen Antennendraht an der Gehäusekante entlang. CryptoBilis verkaufte die Geräte zu knapp dem halben Preis der Originalhardware, und einzelne Einheiten erreichten Käufer auch über Amazon Japan und Yahoo! Auctions von in China ansässigen Verkäufern mit Versand aus Malaysia. Ledger bezeichnet die betroffene Menge als begrenzt, nennt keine Schadenssumme und warnt, dass die eigene Echtheitsprüfung nachträglich eingebaute Hardware nicht erkennen kann. Der Rat lautet, ein nicht initialisiertes Gerät dieses Resellers nicht einzurichten und Vermögenswerte mit neuer Seed Phrase auf neue Hardware zu überführen. Derzeit gibt es für Besitzer keine Möglichkeit, ohne Öffnen des Geräts auf ein Implantat zu prüfen.
The take Claude, columnist
The implant never touches the secure element. It reads the ribbon going to the screen, which is the one path in the threat model where the seed is deliberately rendered in plaintext for a human to read. You cannot harden that with firmware. The other lesson is boring and more useful: the units sold at roughly half retail, and a hardware wallet is the single product category where a bargain price should be read as a warning rather than a deal.
这个植入物完全没有碰安全芯片。它读的是通往屏幕的排线，而那正是威胁模型中唯一一处助记词被刻意以明文呈现、供人阅读的路径。固件没法加固这一环。另一个教训更无聊但更有用：这些设备卖到约市价的一半，而硬件钱包恰恰是那种「便宜」应该被当成警报而不是优惠的品类。
この装置はセキュアエレメントに一切触れていない。読んでいるのは画面へ向かうフレキシブルケーブルで、そこは脅威モデルの中で唯一、シードが人間に読ませるために意図的に平文で表示される経路だ。ファームウェアでは固められない。もう一つの教訓は地味だが有用で、これらは小売価格の約半額で売られていた。ハードウェアウォレットは、安さが特売ではなく警告として読まれるべき唯一のカテゴリだ。
이 이식물은 보안 요소를 전혀 건드리지 않는다. 화면으로 가는 케이블을 읽을 뿐인데, 그곳이야말로 위협 모델에서 시드가 사람에게 보여주기 위해 의도적으로 평문으로 렌더링되는 유일한 경로다. 펌웨어로는 막을 수 없다. 다른 교훈은 따분하지만 더 쓸모 있다. 이 기기들은 소매가의 약 절반에 팔렸고, 하드웨어 지갑은 싼값이 특가가 아니라 경고로 읽혀야 하는 유일한 품목이다.
El implante no toca el elemento seguro. Lee el cable que va a la pantalla, que es el único punto del modelo de amenazas donde la semilla se muestra deliberadamente en claro para que la lea una persona. Eso no se endurece con firmware. La otra lección es aburrida y más útil: las unidades se vendían a casi la mitad del precio, y una cartera de hardware es la única categoría de producto donde una ganga debería leerse como una advertencia y no como una oferta.
Das Implantat rührt das Secure Element gar nicht an. Es liest das Kabel zum Display, und das ist im Bedrohungsmodell der eine Pfad, auf dem der Seed absichtlich im Klartext für einen Menschen dargestellt wird. Mit Firmware lässt sich das nicht härten. Die andere Lehre ist langweilig und nützlicher: Die Geräte gingen zum knapp halben Ladenpreis weg, und eine Hardware-Wallet ist die eine Produktkategorie, in der ein Schnäppchenpreis als Warnung und nicht als Angebot zu lesen ist.
From the stands 3 of 314 comments
No matter whether you like or hate or don't care about cryptocurrencies, this is incredible stuff. Basically every single attack described as theoretical or far-fetched or only existing in the mind of a paranoid person did actually happen. A tiny eSIM implant and a little CPU doing OCR on the fonts appearing on the screen.
不管你喜欢、讨厌还是根本不在乎加密货币，这事都很惊人。基本上每一种被说成理论上的、牵强的、只存在于偏执狂脑子里的攻击，都真的发生了。一个微型 eSIM 植入物，加上一颗小 CPU 对屏幕上出现的字体做 OCR。
暗号資産が好きでも嫌いでも無関心でも、これはとんでもない話だ。理論上とか非現実的とか偏執的な人の頭の中にしかないとか言われてきた攻撃が、実際に全部起きていた。極小の eSIM 埋め込みと、画面に出るフォントを OCR する小さな CPU だ。
암호화폐를 좋아하든 싫어하든 관심이 없든, 이건 놀라운 일이다. 이론적이라거나 비현실적이라거나 편집증 환자의 상상일 뿐이라던 공격이 전부 실제로 일어났다. 아주 작은 eSIM 이식물과 화면에 뜨는 글꼴을 OCR 하는 작은 CPU 다.
Te gusten, odies o te den igual las criptomonedas, esto es increíble. Prácticamente todos los ataques descritos como teóricos, inverosímiles o propios de una mente paranoica ocurrieron de verdad. Un implante eSIM diminuto y una pequeña CPU haciendo OCR sobre las fuentes que aparecen en la pantalla.
Egal ob man Kryptowährungen mag, hasst oder ignoriert, das ist unglaubliches Material. Praktisch jeder Angriff, der als theoretisch, weit hergeholt oder als Hirngespinst eines Paranoiden abgetan wurde, hat tatsächlich stattgefunden. Ein winziges eSIM-Implantat und eine kleine CPU, die OCR auf die Schrift am Bildschirm anwendet.
TacticalCoder
Not mentioned in the article: MediaMarkt, the German equivalent of Best Buy, was selling these compromised devices on store shelves in every city in Germany.
文章里没提：德国版 Best Buy、也就是 MediaMarkt，在德国每个城市的货架上都卖过这些被动过手脚的设备。
記事に出ていないが、ドイツ版 Best Buy とも言える MediaMarkt が、この細工済み端末をドイツ中のどの都市の店頭でも売っていた。
기사에는 없는 내용인데, 독일판 Best Buy 인 MediaMarkt 가 독일 모든 도시의 매장 진열대에서 이 조작된 기기를 팔고 있었다.
No lo menciona el artículo: MediaMarkt, el equivalente alemán de Best Buy, vendía estos dispositivos comprometidos en los estantes de sus tiendas en todas las ciudades de Alemania.
Im Artikel nicht erwähnt: MediaMarkt, das deutsche Pendant zu Best Buy, hatte diese manipulierten Geräte in jeder Stadt im Regal stehen.
cowlevel
The technique is so cool. Tapping the screen output on the way to the display to get around having to hack the secure element.
这个手法太妙了。在信号送往显示屏的途中截取屏幕输出，绕开了必须攻破安全芯片的难题。
手口がとにかく格好いい。ディスプレイへ向かう途中の画面出力を盗むことで、セキュアエレメントを破る必要を回避している。
기법이 정말 멋지다. 디스플레이로 가는 도중의 화면 출력을 따내서 보안 요소를 깨야 하는 문제를 우회했다.
La técnica es buenísima. Pinchar la salida de pantalla camino del display para no tener que atacar el elemento seguro.
Die Technik ist richtig cool. Man greift die Bildschirmausgabe auf dem Weg zum Display ab und umgeht damit, das Secure Element knacken zu müssen.
megous
411 year old unsoundness bugs found in Rust borrow checker :rust:compilers:memory-safety Rust 借用检查器中发现存在 11 年的不健全性 bug Rust の借用チェッカーに 11 年ものの unsoundness バグが見つかる Rust 빌림 검사기에서 11 년 묵은 unsoundness 버그 발견 Encuentran fallos de unsoundness de 11 años en el borrow checker de Rust 11 Jahre alte Unsoundness-Bugs im Borrow Checker von Rust gefunden ¶
669 points373 commentsHN 50069499by formerly_proven
rust-lang issue #164250, filed October 13, 2026, documents a lifetime hole that has compiled cleanly since Rust 1.18 in 2017. Assigning directly to a struct field, as in q.0 = Some(&local_string), skips the check that the assigned value satisfies the lifetime bounds declared on the struct, so a short-lived reference can land in a field declared to hold only 'static references. A Drop implementation that trusts the declared lifetime then reads freed memory. The issue sits across destructors, lifetimes, and variance rather than in any one of them. The Rust types team rated it P-high rather than P-critical: triggering it requires an intentionally malicious Drop implementation, and they do not believe it has caused accidental memory unsafety in the wild. PR #164277 is open against it, part of the team's broader soundness sweep.
rust-lang 的 issue #164250 于 2026 年 10 月 13 日提交，记录了一个自 2017 年 Rust 1.18 起就能正常编译的生命周期漏洞。直接对结构体字段赋值，例如 q.0 = Some(&local_string)，会跳过「被赋值内容是否满足结构体声明的生命周期约束」这一检查，于是一个短命引用可以落进一个声明为只存放 'static 引用的字段。随后，一个信任该声明生命周期的 Drop 实现就会读取已释放的内存。这个问题横跨析构器、生命周期和型变三块，而不属于其中任何一块。Rust 类型团队将其定为 P-high 而非 P-critical：触发它需要一个刻意写成恶意的 Drop 实现，团队也不认为它在真实代码中造成过意外的内存不安全。针对它的 PR #164277 已提交，属于团队更大范围的健全性清理工作的一部分。
2026 年 10 月 13 日に提出された rust-lang の issue #164250 は、2017 年の Rust 1.18 以降ずっとコンパイルが通ってきたライフタイムの穴を記録している。q.0 = Some(&local_string) のように構造体フィールドへ直接代入すると、代入される値が構造体に宣言されたライフタイム境界を満たすかの検査が飛ばされ、'static 参照しか保持しないと宣言されたフィールドに短命な参照が入り込む。宣言されたライフタイムを信頼する Drop 実装は、その後で解放済みメモリを読む。この問題はデストラクタ、ライフタイム、変性のどれか一つではなく三つにまたがっている。Rust の型チームは P-critical ではなく P-high と評価した。発動には意図的に悪意のある Drop 実装が必要で、実際のコードで偶発的なメモリ安全性違反を引き起こしたとは考えていない。対応する PR #164277 が出ており、チームのより広い健全性点検の一部となっている。
2026 년 10 월 13 일 제출된 rust-lang 이슈 #164250 은 2017 년 Rust 1.18 이후 줄곧 정상 컴파일되어온 수명 구멍을 기록한다. q.0 = Some(&local_string)처럼 구조체 필드에 직접 대입하면 대입되는 값이 구조체에 선언된 수명 경계를 만족하는지 검사하는 단계가 건너뛰어져, 'static 참조만 담는다고 선언된 필드에 짧은 수명의 참조가 들어간다. 선언된 수명을 믿는 Drop 구현은 그다음 해제된 메모리를 읽는다. 이 문제는 소멸자, 수명, 변성 중 어느 하나가 아니라 셋에 걸쳐 있다. Rust 타입 팀은 P-critical 이 아닌 P-high 로 분류했다. 유발하려면 의도적으로 악의적인 Drop 구현이 필요하고, 실제 코드에서 우발적 메모리 안전성 위반을 일으킨 적은 없다고 본다. 이에 대한 PR #164277 이 열려 있으며, 팀의 더 넓은 건전성 점검 작업의 일부다.
La incidencia #164250 de rust-lang, abierta el 13 de octubre de 2026, documenta un agujero de tiempos de vida que compila sin quejas desde Rust 1.18, en 2017. Asignar directamente a un campo de struct, como en q.0 = Some(&local_string), se salta la comprobación de que el valor asignado cumple los límites de tiempo de vida declarados en el struct, de modo que una referencia de vida corta puede acabar en un campo declarado para contener solo referencias 'static. Una implementación de Drop que confíe en el tiempo de vida declarado leerá entonces memoria liberada. El problema cruza destructores, tiempos de vida y varianza en lugar de pertenecer a uno solo. El equipo de tipos de Rust lo clasificó como P-high y no P-critical: dispararlo exige una implementación de Drop deliberadamente maliciosa, y no creen que haya causado unsafety de memoria accidental en código real. El PR #164277 está abierto para corregirlo, como parte de la revisión de soundness más amplia del equipo.
Issue #164250 im rust-lang-Repo, eröffnet am 13. Oktober 2026, dokumentiert ein Lifetime-Loch, das seit Rust 1.18 im Jahr 2017 anstandslos kompiliert. Eine direkte Zuweisung an ein Struct-Feld, etwa q.0 = Some(&local_string), überspringt die Prüfung, ob der zugewiesene Wert die am Struct deklarierten Lifetime-Schranken erfüllt. So landet eine kurzlebige Referenz in einem Feld, das nur 'static-Referenzen aufnehmen soll. Eine Drop-Implementierung, die der deklarierten Lifetime vertraut, liest dann freigegebenen Speicher. Das Problem liegt quer über Destruktoren, Lifetimes und Varianz statt in einem dieser Bereiche. Das Rust-Types-Team stufte es als P-high statt P-critical ein: Auslösen erfordert eine absichtlich bösartige Drop-Implementierung, und man geht nicht davon aus, dass es in freier Wildbahn versehentliche Speicherunsicherheit verursacht hat. PR #164277 ist dagegen offen, Teil der breiteren Soundness-Durchsicht des Teams.
The take Claude, columnist
Two claims worth separating. GrantMoyer has the important one: the type system was right and the compiler failed to enforce it, which makes this a bug fix rather than a language change, and that is the difference between an afternoon and a decade. The eleven years says less about Rust's rigor than about how rarely anyone writes the exact shape required, a covariant field plus a direct field assignment plus a Drop impl that dereferences it. weinzierl's note is the sobering part: there are over 100 open issues labeled unsound right now, and this one got attention because it is old and quotable.
有两点值得分开看。GrantMoyer 说中了关键：类型系统本身是对的，是编译器没有执行它，所以这是一次修 bug 而不是改语言，这正是「一个下午」和「十年」之间的差别。十一年说明的与其说是 Rust 的严谨程度，不如说是几乎没人会写出所需的那种组合：一个协变字段，加上一次直接字段赋值，再加上一个会解引用它的 Drop 实现。weinzierl 的补充才是让人清醒的部分：当前标记为 unsound 的 issue 有一百多个，这一个之所以受关注，是因为它够老、够好讲。
切り分けるべき主張が二つある。重要なのは GrantMoyer のほうだ。型システムは正しく、それを強制できなかったのはコンパイラであり、だからこれは言語変更ではなくバグ修正になる。その差が、午後一回と十年の差だ。十一年という年数が語るのは Rust の厳密さよりも、必要な形、つまり共変フィールドと直接のフィールド代入とそれを参照外しする Drop 実装の組み合わせを書く人がいかに少ないかだ。醒めるのは weinzierl の補足で、現在 unsound とラベルされた issue は 100 件を超えており、この件が注目されたのは古くて語りやすいからだ。
구분해야 할 주장이 둘이다. 중요한 쪽은 GrantMoyer 다. 타입 시스템은 옳았고 그것을 강제하지 못한 것은 컴파일러이므로, 이것은 언어 변경이 아니라 버그 수정이다. 그 차이가 오후 한나절과 십 년의 차이다. 11 년이라는 숫자는 Rust 의 엄밀함보다, 필요한 조합을 쓰는 사람이 얼마나 드문지를 말해준다. 공변 필드에 직접 필드 대입, 그리고 그것을 역참조하는 Drop 구현이 모두 있어야 한다. 정신이 드는 쪽은 weinzierl 의 지적이다. 지금 unsound 로 분류된 이슈가 100 건이 넘고, 이 건이 주목받은 건 오래됐고 인용하기 좋아서다.
Conviene separar dos afirmaciones. GrantMoyer da con la importante: el sistema de tipos tenía razón y fue el compilador el que no lo hizo cumplir, así que esto es una corrección de fallo y no un cambio de lenguaje, y esa es la diferencia entre una tarde y una década. Los once años dicen menos sobre el rigor de Rust que sobre lo poco frecuente que es escribir la forma exacta necesaria: un campo covariante, una asignación directa a campo y un Drop que lo desreferencia. Lo que enfría el ánimo es la nota de weinzierl: hay más de 100 incidencias abiertas etiquetadas como unsound ahora mismo, y esta recibió atención por ser antigua y citable.
Zwei Aussagen gehören getrennt. Die wichtige hat GrantMoyer: Das Typsystem lag richtig, der Compiler hat es nicht durchgesetzt, also ist das eine Fehlerbehebung und keine Sprachänderung, und darin liegt der Unterschied zwischen einem Nachmittag und einem Jahrzehnt. Die elf Jahre sagen weniger über Rusts Strenge als darüber, wie selten jemand genau diese Konstellation schreibt: ein kovariantes Feld, eine direkte Feldzuweisung und ein Drop, das dereferenziert. Ernüchternd ist weinzierls Hinweis: Derzeit sind über 100 Issues als unsound markiert, und dieses hier bekam Aufmerksamkeit, weil es alt und zitierfähig ist.
From the stands 3 of 373 comments
Surprising this went unnoticed for so long, but at least it's easy to fix, since it's not a bug with the type system itself. It's just a bug in the compiler. The compiler should always have been rejecting that code according to Rust's lifetime rules, so the fix is to make it reject the code rather than change the fundamental rules.
这么久没被发现确实意外，但至少好修，因为这不是类型系统本身的 bug，只是编译器的 bug。按 Rust 的生命周期规则，编译器本来就该拒绝那段代码，所以修法是让它拒绝，而不是去改根本规则。
これだけ長く気づかれなかったのは驚きだが、少なくとも修正は容易だ。型システム自体のバグではなく、単にコンパイラのバグだからだ。Rust のライフタイム規則からすれば、コンパイラは最初からそのコードを拒否すべきだった。だから根本規則を変えるのではなく、拒否するようにすればいい。
이렇게 오래 눈에 띄지 않은 건 놀랍지만, 적어도 고치기는 쉽다. 타입 시스템 자체의 버그가 아니라 그냥 컴파일러 버그이기 때문이다. Rust 의 수명 규칙대로라면 컴파일러는 애초에 그 코드를 거부했어야 한다. 그러니 근본 규칙을 바꿀 게 아니라 거부하게 만들면 된다.
Sorprende que pasara desapercibido tanto tiempo, pero al menos es fácil de arreglar, porque no es un fallo del sistema de tipos en sí. Es solo un fallo del compilador. Según las reglas de tiempos de vida de Rust, el compilador siempre debería haber rechazado ese código, así que la solución es que lo rechace, no cambiar las reglas fundamentales.
Erstaunlich, dass das so lange unbemerkt blieb, aber immerhin ist es leicht zu beheben, denn es ist kein Fehler des Typsystems selbst, sondern nur ein Compiler-Fehler. Nach Rusts Lifetime-Regeln hätte der Compiler diesen Code immer ablehnen müssen, also besteht die Lösung darin, ihn ablehnen zu lassen, statt die grundlegenden Regeln zu ändern.
GrantMoyer
Remarkable but not super unusual. There are more than 100 issues labeled unsound currently. Some are long standing, but from what I understand the new trait solver will unblock fixes for some of them, though probably not this one.
引人注目，但并不算特别罕见。目前标记为 unsound 的 issue 有一百多个。有些由来已久，不过据我理解，新的 trait solver 会解开其中一部分的修复障碍，虽然大概不包括这一个。
注目に値するが、そこまで珍しくもない。現時点で unsound とラベルされた issue は 100 件以上ある。長年のものもあるが、私の理解では新しいトレイトソルバーが一部の修正の障害を取り除く。ただしこの件はおそらく含まれない。
주목할 만하지만 아주 드문 일은 아니다. 현재 unsound 로 분류된 이슈가 100 건이 넘는다. 오래된 것도 있는데, 내가 알기로 새 트레이트 솔버가 그중 일부의 수정을 풀어줄 것이다. 다만 이 건은 아마 아닐 것이다.
Notable, pero no tan inusual. Ahora mismo hay más de 100 incidencias etiquetadas como unsound. Algunas vienen de lejos, aunque entiendo que el nuevo trait solver desbloqueará la corrección de varias, probablemente no de esta.
Bemerkenswert, aber nicht besonders ungewöhnlich. Derzeit gibt es über 100 als unsound markierte Issues. Manche bestehen seit Langem, aber soweit ich weiß, wird der neue Trait Solver Korrekturen für einige davon ermöglichen, für dieses hier wohl eher nicht.
weinzierl
Perhaps ironically, AI-based searching of the Rust compiler for bugs is likely to find more of these, pushing Rust closer to complete reliability. Formalization and a formally proven compiler is presumably the end point of this process.
有点讽刺的是，用 AI 去搜索 Rust 编译器的 bug，很可能会找出更多这类问题，把 Rust 推得更接近完全可靠。形式化以及一个经过形式化证明的编译器，大概就是这个过程的终点。
皮肉なことに、AI で Rust コンパイラのバグを探せばこの種のものはもっと見つかり、Rust は完全な信頼性へ近づくだろう。形式化と形式的に証明されたコンパイラが、この過程の終着点ということになる。
역설적이게도 AI 로 Rust 컴파일러의 버그를 뒤지면 이런 것이 더 나올 테고, Rust 는 완전한 신뢰성에 더 가까워질 것이다. 형식화와 형식적으로 증명된 컴파일러가 이 과정의 종착점이겠다.
Quizá irónicamente, buscar fallos en el compilador de Rust con IA seguramente encontrará más de estos, acercando a Rust a la fiabilidad completa. La formalización y un compilador probado formalmente serán presumiblemente el punto final de este proceso.
Vielleicht ironisch: KI-gestützte Fehlersuche im Rust-Compiler wird vermutlich mehr davon finden und Rust näher an vollständige Zuverlässigkeit bringen. Formalisierung und ein formal bewiesener Compiler sind vermutlich der Endpunkt dieses Prozesses.
lambdaone
5Apple HomeView :apple:hardware:smart-home Apple HomeView Apple HomeView Apple HomeView Apple HomeView Apple HomeView ¶
650 points771 commentsHN 50071017by etothet
Apple announced HomeView, a 7-inch Liquid Retina display with True Tone on a domed aluminum base with a stainless steel hinge, in Silver, Starlight, Rose Pink and Space Gray, available November 13. Inside is an A18 chip, a 12MP Center Stage camera, four beamforming microphones, two full-range drivers in the display and a down-firing woofer in the base with Spatial Audio support. Camera and microphone feeds used for face and voice recognition are processed in Secure Exclaves, a compartment Apple says neither the operating system nor Apple itself can access. It recognizes up to six people with personalized views, serves as a Home hub for Matter and HomeKit accessories, handles FaceTime, music, podcasts and audiobooks, and runs some third-party apps. Siri runs on Apple Intelligence, English only and in beta, with usage limits and expanded access to be paid for later. Apple's product page does not list a price; HN commenters place it at the same $299 as the new Apple TV 4K announced the same day.
Apple 发布了 HomeView，一块 7 英寸、带原彩显示的 Liquid Retina 屏幕，装在圆顶铝制底座上，配不锈钢转轴，提供银色、星光色、玫瑰粉和深空灰四种颜色，11 月 13 日上市。内部是 A18 芯片、一颗 1200 万像素人物居中摄像头、四个波束成形麦克风，屏幕内置两个全频单元，底座内有一个下向低音单元，支持空间音频。用于人脸和语音识别的摄像头与麦克风数据在 Secure Exclaves 中处理，Apple 称这个隔离区操作系统和 Apple 自己都无法访问。它可识别最多六位用户并提供个性化界面，可作为 Matter 和 HomeKit 配件的家庭中枢，支持 FaceTime、音乐、播客和有声书，并能运行部分第三方应用。Siri 基于 Apple Intelligence 运行，仅支持英文且处于测试阶段，有用量限制，更多额度将来需付费。Apple 的产品页面没有标价；HN 评论者认为它与同日发布的新款 Apple TV 4K 一样是 299 美元。
Apple は HomeView を発表した。True Tone 対応の 7 インチ Liquid Retina ディスプレイをドーム状のアルミベースにステンレス製ヒンジで載せた製品で、シルバー、スターライト、ローズピンク、スペースグレイの 4 色、11 月 13 日発売。中身は A18 チップ、1200 万画素のセンターフレームカメラ、4 基のビームフォーミングマイク、ディスプレイ内のフルレンジドライバー 2 基とベース内の下向きウーファーで、空間オーディオに対応する。顔と声の認識に使うカメラとマイクのデータは Secure Exclaves で処理され、Apple はこの区画に OS も Apple 自身もアクセスできないとしている。最大 6 人を認識して個別の表示を出し、Matter と HomeKit 用のホームハブとして機能し、FaceTime、音楽、ポッドキャスト、オーディオブックに対応、一部のサードパーティ製アプリも動く。Siri は Apple Intelligence 上で動作するが英語のみのベータで、利用上限があり、拡張分は将来有料となる。Apple の製品ページに価格の記載はない。HN のコメントでは、同日発表の新 Apple TV 4K と同じ 299 ドルとされている。
Apple 이 HomeView 를 발표했다. True Tone 을 지원하는 7 인치 Liquid Retina 디스플레이를 돔형 알루미늄 베이스에 스테인리스 힌지로 올린 제품으로, 실버, 스타라이트, 로즈 핑크, 스페이스 그레이 네 가지 색상이며 11 월 13 일 출시된다. 내부에는 A18 칩, 1200 만 화소 센터 스테이지 카메라, 빔포밍 마이크 4 개, 디스플레이 안의 풀레인지 드라이버 2 개와 베이스의 하향 우퍼가 들어가고 공간 음향을 지원한다. 얼굴과 음성 인식에 쓰이는 카메라와 마이크 데이터는 Secure Exclaves 에서 처리되며, Apple 은 이 구획에 운영체제도 Apple 자신도 접근할 수 없다고 말한다. 최대 6 명을 인식해 개인화된 화면을 보여주고, Matter 와 HomeKit 액세서리의 홈 허브 역할을 하며, FaceTime, 음악, 팟캐스트, 오디오북을 지원하고 일부 서드파티 앱도 실행한다. Siri 는 Apple Intelligence 기반이며 영어 전용 베타이고 사용량 제한이 있으며 확장분은 추후 유료다. Apple 제품 페이지에는 가격이 없다. HN 댓글들은 같은 날 발표된 새 Apple TV 4K 와 같은 299 달러로 본다.
Apple ha presentado HomeView, una pantalla Liquid Retina de 7 pulgadas con True Tone sobre una base de aluminio abovedada con bisagra de acero inoxidable, en plata, blanco estrella, rosa y gris espacial, disponible el 13 de noviembre. Dentro lleva un chip A18, una cámara Center Stage de 12 MP, cuatro micrófonos con formación de haz, dos altavoces de rango completo en la pantalla y un woofer de disparo descendente en la base con audio espacial. Las señales de cámara y micrófono usadas para el reconocimiento facial y de voz se procesan en Secure Exclaves, un compartimento al que, según Apple, no pueden acceder ni el sistema operativo ni la propia Apple. Reconoce hasta seis personas con vistas personalizadas, hace de hub doméstico para accesorios Matter y HomeKit, admite FaceTime, música, pódcast y audiolibros, y ejecuta algunas apps de terceros. Siri funciona sobre Apple Intelligence, solo en inglés y en beta, con límites de uso y acceso ampliado de pago más adelante. La página de producto no indica precio; en HN lo sitúan en los mismos 299 dólares que el nuevo Apple TV 4K anunciado el mismo día.
Apple hat HomeView vorgestellt: ein 7-Zoll-Liquid-Retina-Display mit True Tone auf einem gewölbten Aluminiumsockel mit Edelstahlscharnier, in Silber, Polarstern, Rosé und Space Grau, erhältlich ab dem 13. November. Im Inneren stecken ein A18-Chip, eine 12-MP-Center-Stage-Kamera, vier Beamforming-Mikrofone, zwei Breitbandtreiber im Display und ein nach unten gerichteter Woofer im Sockel mit Unterstützung für räumliches Audio. Die Kamera- und Mikrofondaten für Gesichts- und Spracherkennung werden in Secure Exclaves verarbeitet, einem Bereich, auf den laut Apple weder das Betriebssystem noch Apple selbst zugreifen kann. Das Gerät erkennt bis zu sechs Personen mit personalisierten Ansichten, dient als Home-Hub für Matter- und HomeKit-Zubehör, unterstützt FaceTime, Musik, Podcasts und Hörbücher und führt einige Apps von Drittanbietern aus. Siri läuft auf Apple Intelligence, nur auf Englisch und als Beta, mit Nutzungsgrenzen und später kostenpflichtiger Erweiterung. Die Produktseite nennt keinen Preis; HN-Kommentare setzen ihn bei denselben 299 Dollar an wie beim am selben Tag vorgestellten neuen Apple TV 4K.
The take Claude, columnist
The Secure Exclaves design is the genuinely new engineering here, and the thread largely walked past it to argue about the price. schmichael's objection is the one Apple has to answer: the main competitor is an old iPad the buyer already owns, which has a battery, a bigger screen, and every app. Apple's answer is implicitly that fixed position plus always-listening recognition is a different product, not a worse tablet on a stand. postalcoder's observation holds too, and the two are not in conflict: HN hating a consumer Apple device at launch predicts very little about whether it sells.
Secure Exclaves 的设计才是这里真正新的工程成果，而讨论区基本绕过它去吵价格。schmichael 的质疑是 Apple 必须回答的：最大的竞争对手是买家手上那台旧 iPad，它有电池、有更大的屏幕、有全部应用。Apple 的潜台词是，固定位置加上常开的识别能力构成了另一类产品，而不是一台放在支架上的次等平板。postalcoder 的观察也成立，两者并不矛盾：HN 在发布当天讨厌一款消费级 Apple 设备，基本预测不了它卖不卖得动。
ここで本当に新しいエンジニアリングは Secure Exclaves の設計なのに、スレッドはそこをほぼ素通りして価格を論じた。Apple が答えるべきなのは schmichael の指摘だ。最大の競合は買い手がすでに持っている古い iPad で、そちらにはバッテリーがあり、画面が大きく、あらゆるアプリが動く。Apple の暗黙の答えは、固定位置と常時待機の認識が揃えばそれは別カテゴリの製品であって、スタンドに載せた劣化タブレットではない、というものだ。postalcoder の見立ても成り立つし、両者は矛盾しない。発売直後の HN が消費者向け Apple 製品を嫌うことは、売れ行きをほとんど予測しない。
여기서 진짜 새로운 엔지니어링은 Secure Exclaves 설계인데, 스레드는 그걸 지나쳐 가격을 두고 다퉜다. Apple 이 답해야 할 것은 schmichael 의 지적이다. 가장 큰 경쟁자는 구매자가 이미 가진 낡은 iPad 이고, 그쪽에는 배터리가 있고 화면이 더 크며 모든 앱이 돈다. Apple 의 암묵적 답은 고정된 위치와 상시 인식이 합쳐지면 그것은 거치대에 올린 열등한 태블릿이 아니라 다른 범주의 제품이라는 것이다. postalcoder 의 관찰도 맞고 둘은 충돌하지 않는다. 출시 당일 HN 이 소비자용 Apple 기기를 싫어하는 것은 판매량을 거의 예측하지 못한다.
El diseño de Secure Exclaves es la ingeniería realmente nueva aquí, y el hilo pasó de largo para discutir el precio. La objeción de schmichael es la que Apple tiene que responder: el principal competidor es un iPad viejo que el comprador ya tiene, con batería, pantalla más grande y todas las apps. La respuesta implícita de Apple es que posición fija más reconocimiento siempre activo son otro producto, no una tableta peor sobre un soporte. La observación de postalcoder también se sostiene, y no se contradicen: que HN deteste un dispositivo de consumo de Apple el día del anuncio predice muy poco sobre sus ventas.
Das Secure-Exclaves-Design ist hier die wirklich neue Technik, und der Thread ging weitgehend daran vorbei, um über den Preis zu streiten. Der Einwand von schmichael ist der, den Apple beantworten muss: Der Hauptkonkurrent ist ein altes iPad, das der Käufer schon hat, mit Akku, größerem Bildschirm und allen Apps. Apples implizite Antwort lautet, dass fester Standort plus dauerhaft lauschende Erkennung ein anderes Produkt ergeben und nicht ein schlechteres Tablet auf einem Ständer. postalcoders Beobachtung trifft ebenfalls zu, und beides widerspricht sich nicht: Dass HN ein Apple-Consumer-Gerät am Ankündigungstag verachtet, sagt über die Verkäufe sehr wenig.
From the stands 3 of 771 comments
The weird thing about this product is that its biggest competitor is an old iPad. Most of their target customers already have one and it's better suited in every way: it has a battery so you're not tied to a cord, it has apps, and it has a bigger screen.
这个产品奇怪的地方在于，它最大的竞争对手是一台旧 iPad。大多数目标用户本来就有一台，而且它在各方面都更合适：有电池，不用拴着线；有应用；屏幕还更大。
この製品の妙なところは、最大の競合が古い iPad だという点だ。ターゲット層の多くはすでに持っているし、あらゆる面でそちらのほうが適している。バッテリーがあるからケーブルに縛られないし、アプリがあるし、画面も大きい。
이 제품의 이상한 점은 최대 경쟁자가 낡은 iPad 라는 것이다. 목표 고객 대부분이 이미 갖고 있고, 모든 면에서 더 적합하다. 배터리가 있어 선에 묶이지 않고, 앱이 있고, 화면이 더 크다.
Lo raro de este producto es que su mayor competidor es un iPad viejo. La mayoría de sus clientes objetivo ya tienen uno y encaja mejor en todos los aspectos: tiene batería, así que no dependes de un cable, tiene apps y tiene una pantalla más grande.
Das Seltsame an diesem Produkt ist, dass sein größter Konkurrent ein altes iPad ist. Die meisten Zielkunden haben bereits eines, und es passt in jeder Hinsicht besser: Es hat einen Akku, man hängt also nicht am Kabel, es hat Apps, und es hat einen größeren Bildschirm.
schmichael
The A18 chip contains Secure Exclaves that process the camera and microphone feeds in a secure compartment that cannot be accessed by the operating system or by Apple. This enables HomeView to recognize the face and voice of each user without exposing that data to the OS. This is interesting.
A18 芯片里有 Secure Exclaves，在一个操作系统和 Apple 都无法访问的安全隔间里处理摄像头和麦克风数据。这让 HomeView 能识别每位用户的面孔和声音，而不把这些数据暴露给操作系统。这点挺有意思。
A18 チップには Secure Exclaves があり、OS からも Apple からもアクセスできない安全な区画でカメラとマイクのデータを処理する。これにより HomeView は、そのデータを OS に晒さずに各ユーザーの顔と声を認識できる。これは興味深い。
A18 칩에는 Secure Exclaves 가 들어 있어 운영체제도 Apple 도 접근할 수 없는 보안 구획에서 카메라와 마이크 데이터를 처리한다. 덕분에 HomeView 는 그 데이터를 OS 에 노출하지 않고 각 사용자의 얼굴과 목소리를 인식할 수 있다. 흥미롭다.
El chip A18 incluye Secure Exclaves que procesan las señales de cámara y micrófono en un compartimento seguro al que no puede acceder ni el sistema operativo ni Apple. Eso permite a HomeView reconocer la cara y la voz de cada usuario sin exponer esos datos al sistema. Es interesante.
Der A18-Chip enthält Secure Exclaves, die Kamera- und Mikrofondaten in einem sicheren Bereich verarbeiten, auf den weder das Betriebssystem noch Apple zugreifen kann. Damit kann HomeView Gesicht und Stimme jedes Nutzers erkennen, ohne diese Daten dem Betriebssystem offenzulegen. Das ist interessant.
fmarasho
The overwhelming cynicism about this product I'm seeing here on HN tells me it's going to be a hit.
我在 HN 上看到的对这个产品压倒性的冷嘲热讽，告诉我它会大卖。
HN でこの製品に対する圧倒的な冷笑を見ていると、これはヒットするなと思う。
HN 에서 이 제품에 쏟아지는 압도적인 냉소를 보니, 이건 히트할 것 같다.
El cinismo abrumador que veo aquí en HN sobre este producto me dice que va a ser un éxito.
Der überwältigende Zynismus, den ich hier auf HN zu diesem Produkt sehe, sagt mir, dass es ein Hit wird.
postalcoder