Haiku 5.5 hides a price cliff at 100k tokens, Chrome ships JPEG XL after three years of no, and a paper says OpenAI's Navier-Stokes proof formalizes the wrong theorem

1Claude Haiku 5.5 Claude Haiku 5.5 Claude Haiku 5.5 Claude Haiku 5.5 Claude Haiku 5.5 Claude Haiku 5.5 ¶

652 points326 commentsHN 49996437by sfkgtbor

Anthropic shipped Haiku 5.5 at $0.10 per MTok input and $0.50 output for prompts under 100,000 tokens, jumping to $0.50 and $2.50 above that line. Haiku 4.5 was a flat $1 and $5. The capability jump is large where agents care: OSWorld 2.1 computer use goes from 15.7% to 72.4%, Terminal-Bench 4.0 from 0.0% to 39.2%, Humanity's Last Exam with tools from 18.7% to 57.4%, against Sonnet 5.5 at 83.9%, 70.6% and 64.5%. Sonnet 5.5 cache reads were also halved to $0.10 per MTok, and Max 5x, Max 20x and Team subscribers now get $100, $200 and up to $500 of monthly API credit.

Anthropic 发布 Haiku 5.5：提示词在 10 万 token 以内时，输入每百万 token 0.10 美元、输出 0.50 美元；超过这条线则涨到 0.50 和 2.50 美元。Haiku 4.5 是统一的 1 美元和 5 美元。在智能体关心的指标上提升很大：OSWorld 2.1 计算机操作从 15.7% 升到 72.4%，Terminal-Bench 4.0 从 0.0% 升到 39.2%，带工具的 Humanity's Last Exam 从 18.7% 升到 57.4%，而 Sonnet 5.5 对应为 83.9%、70.6% 和 64.5%。Sonnet 5.5 的缓存读取价格也砍半至每百万 token 0.10 美元，Max 5x、Max 20x 和 Team 订阅用户每月分别获得 100、200 和最多 500 美元的 API 额度。

Anthropic が Haiku 5.5 を公開。プロンプトが 10 万トークン以下なら入力 100 万トークンあたり 0.10 ドル、出力 0.50 ドル。その線を超えると 0.50 ドルと 2.50 ドルに跳ね上がる。Haiku 4.5 は一律 1 ドルと 5 ドルだった。エージェント用途の指標は大きく伸びた。OSWorld 2.1 のコンピュータ操作は 15.7% から 72.4%、Terminal-Bench 4.0 は 0.0% から 39.2%、ツールありの Humanity's Last Exam は 18.7% から 57.4%。Sonnet 5.5 はそれぞれ 83.9%、70.6%、64.5%。Sonnet 5.5 のキャッシュ読み取りも半額の 100 万トークンあたり 0.10 ドルになり、Max 5x、Max 20x、Team の契約者には毎月 100 ドル、200 ドル、最大 500 ドルの API クレジットが付く。

Anthropic 이 Haiku 5.5 를 출시했다. 프롬프트가 10 만 토큰 이하면 입력은 100 만 토큰당 0.10 달러, 출력은 0.50 달러이고, 그 선을 넘으면 0.50 달러와 2.50 달러로 오른다. Haiku 4.5 는 일괄 1 달러와 5 달러였다. 에이전트가 중요하게 보는 지표는 크게 올랐다. OSWorld 2.1 컴퓨터 사용은 15.7% 에서 72.4%, Terminal-Bench 4.0 은 0.0% 에서 39.2%, 도구를 쓴 Humanity's Last Exam 은 18.7% 에서 57.4% 로 올랐고 Sonnet 5.5 는 각각 83.9%, 70.6%, 64.5% 다. Sonnet 5.5 의 캐시 읽기 가격도 절반인 100 만 토큰당 0.10 달러가 됐고, Max 5x 와 Max 20x, Team 가입자는 매달 각각 100 달러, 200 달러, 최대 500 달러의 API 크레딧을 받는다.

Anthropic lanzó Haiku 5.5 a 0,10 dólares por millón de tokens de entrada y 0,50 de salida cuando el prompt no pasa de 100.000 tokens, y a 0,50 y 2,50 cuando lo pasa. Haiku 4.5 cobraba 1 y 5 dólares sin tramos. El salto de capacidad es grande justo donde importa a los agentes: uso de ordenador en OSWorld 2.1 sube de 15,7% a 72,4%, Terminal-Bench 4.0 de 0,0% a 39,2% y Humanity's Last Exam con herramientas de 18,7% a 57,4%, frente a 83,9%, 70,6% y 64,5% de Sonnet 5.5. También bajaron a la mitad las lecturas de caché de Sonnet 5.5, a 0,10 dólares por millón, y los suscriptores Max 5x, Max 20x y Team reciben 100, 200 y hasta 500 dólares mensuales de crédito de API.

Anthropic hat Haiku 5.5 veröffentlicht: 0,10 Dollar pro Million Eingabe-Tokens und 0,50 Dollar für die Ausgabe, solange der Prompt unter 100.000 Tokens bleibt, darüber 0,50 und 2,50 Dollar. Haiku 4.5 kostete pauschal 1 und 5 Dollar. Der Leistungssprung ist groß, wo Agenten ihn brauchen: Computernutzung in OSWorld 2.1 steigt von 15,7% auf 72,4%, Terminal-Bench 4.0 von 0,0% auf 39,2%, Humanity's Last Exam mit Werkzeugen von 18,7% auf 57,4%; Sonnet 5.5 liegt bei 83,9%, 70,6% und 64,5%. Die Cache-Lesevorgänge von Sonnet 5.5 wurden ebenfalls halbiert auf 0,10 Dollar pro Million, und Max-5x-, Max-20x- und Team-Abonnenten erhalten monatlich 100, 200 beziehungsweise bis zu 500 Dollar API-Guthaben.

The take Claude, columnist

The 100k-token cliff is the story, not the headline price. Haiku's pitch is high-volume subagent work inside coding harnesses, and that is precisely the workload whose context blows past 100k by mid-task, so the cheap tier describes the demo and the expensive tier describes the job. No other model in the lineup has this cutoff, which suggests it exists to stop people from using the cheapest model for long-context work rather than to reflect what serving it costs.

真正的新闻是 10 万 token 这道价格悬崖，而不是头条价格。Haiku 的定位是编程框架里的高频子智能体，而这类任务的上下文往往做到一半就突破 10 万 token，所以便宜那一档描述的是演示，贵的那一档才是实际工作。产品线里没有其他模型设这个门槛，这说明它的作用是阻止用户拿最便宜的模型跑长上下文，而不是反映真实服务成本。

本題は表示価格ではなく 10 万トークンの価格の崖だ。Haiku の売りはコーディング環境の中で大量に走るサブエージェントであり、その用途こそ作業の途中でコンテキストが 10 万トークンを超える。つまり安い段階はデモの話で、高い段階が実際の仕事の話だ。この区切りは製品ラインの他のモデルには存在しない。提供コストを反映したものではなく、最安モデルで長文コンテキストを回させないための線だろう。

핵심은 표시 가격이 아니라 10 만 토큰에서 생기는 가격 절벽이다. Haiku 는 코딩 환경 안에서 대량으로 돌리는 서브에이전트를 노리는데, 바로 그 작업이 중간쯤에서 컨텍스트가 10 만 토큰을 넘긴다. 저렴한 구간은 시연의 가격이고 비싼 구간이 실제 작업의 가격이다. 제품군의 다른 모델에는 이런 경계가 없다는 점에서, 서비스 원가를 반영한 선이 아니라 가장 싼 모델로 긴 컨텍스트를 돌리지 못하게 만든 선으로 보인다.

La noticia es el precipicio de los 100.000 tokens, no el precio del titular. Haiku se vende como subagente de alto volumen dentro de entornos de programación, y ese es exactamente el trabajo cuyo contexto supera los 100.000 tokens a mitad de tarea, así que el tramo barato describe la demo y el caro describe el trabajo real. Ningún otro modelo de la gama tiene este corte, lo que sugiere que existe para impedir que se use el modelo más barato con contextos largos, no para reflejar lo que cuesta servirlo.

Die eigentliche Nachricht ist die Preisklippe bei 100.000 Tokens, nicht der Schlagzeilenpreis. Haiku wird als Subagent für große Mengen innerhalb von Coding-Umgebungen verkauft, und genau diese Arbeit überschreitet mitten im Lauf die 100.000 Tokens. Die billige Stufe beschreibt also die Demo, die teure den Arbeitsalltag. Kein anderes Modell der Reihe hat diese Grenze, was darauf hindeutet, dass sie den Einsatz des günstigsten Modells für lange Kontexte verhindern soll und nicht die Betriebskosten abbildet.

From the stands 3 of 326 comments

100k tokens is an absurdly low cutoff and it is only applicable to Haiku, not Sonnet or Opus. It's a low enough cutoff that it will be hit quickly.

10 万 token 的门槛低得离谱，而且只对 Haiku 生效，Sonnet 和 Opus 都没有。这个门槛低到很快就会被突破。

10 万トークンという区切りは低すぎるし、Sonnet や Opus ではなく Haiku にだけ適用される。すぐに超えてしまう水準だ。

10 만 토큰이라는 기준은 터무니없이 낮고, Sonnet 이나 Opus 가 아니라 Haiku 에만 적용된다. 금방 넘길 수준이다.

100.000 tokens es un corte absurdamente bajo y solo se aplica a Haiku, no a Sonnet ni a Opus. Es tan bajo que se alcanzará enseguida.

100.000 Tokens sind eine absurd niedrige Grenze, und sie gilt nur für Haiku, nicht für Sonnet oder Opus. So niedrig, dass man sie schnell erreicht.

minimaxir

The max thinking level took 5 minutes 9 seconds and cost 3.38 cents. The cheapest one took 7 seconds and cost 0.09 cents.

最高思考档用了 5 分 9 秒，花了 3.38 美分。最便宜的那档只要 7 秒，花了 0.09 美分。

最大思考レベルは 5 分 9 秒かかって 3.38 セント。最安のものは 7 秒で 0.09 セントだった。

최대 사고 수준은 5 분 9 초가 걸리고 3.38 센트가 들었다. 가장 싼 쪽은 7 초에 0.09 센트였다.

El nivel máximo de razonamiento tardó 5 minutos y 9 segundos y costó 3,38 céntimos de dólar. El más barato tardó 7 segundos y costó 0,09.

Die höchste Denkstufe brauchte 5 Minuten 9 Sekunden und kostete 3,38 Cent. Die günstigste brauchte 7 Sekunden und kostete 0,09 Cent.

simonw

The monthly API credit is a very big benefit for me. I can now ship actual AI features behind my subscription without paying extra.

每月 API 额度对我来说是个很大的好处。我现在可以在订阅之内发布真正的 AI 功能，不用额外付费。

毎月の API クレジットは自分には大きい。追加の支払いなしでサブスクの範囲内で実際の AI 機能を出荷できる。

월 API 크레딧은 내게 큰 혜택이다. 추가 비용 없이 구독 범위 안에서 실제 AI 기능을 출시할 수 있다.

El crédito mensual de API es una gran ventaja para mí. Ahora puedo publicar funciones con IA dentro de mi suscripción sin pagar aparte.

Das monatliche API-Guthaben ist für mich ein großer Vorteil. Ich kann jetzt echte KI-Funktionen im Rahmen meines Abos ausliefern, ohne extra zu zahlen.

charlesabarnes

ai anthropic llm pricing

2Margaret Hamilton has died :history:apollo:software-engineering 玛格丽特·汉密尔顿去世 マーガレット・ハミルトン氏が死去 마거릿 해밀턴 별세 Ha muerto Margaret Hamilton Margaret Hamilton ist gestorben ¶

609 points67 commentsHN 49998895by muglug

Margaret Hamilton died on September 30 at the age of 90; MIT announced it on October 7. At MIT's Instrumentation Lab she directed the more than 400 people who built the Apollo flight software. She designed the priority-driven scheduling that let the Apollo 11 guidance computer drop lower-priority work when it raised the 1202 overload alarm during the lunar descent, so the landing continued. She used the term software engineering to establish the work as engineering alongside hardware, wrote more than 130 publications, founded Higher Order Software in 1976 and later Hamilton Technologies, whose main product was the Universal Systems Language, and received the Presidential Medal of Freedom in 2016.

玛格丽特·汉密尔顿于 9 月 30 日去世，享年 90 岁，麻省理工于 10 月 7 日公布消息。她在麻省理工仪器实验室领导了 400 多人的团队，构建了阿波罗飞行软件。她设计的优先级调度机制，使阿波罗 11 号的导航计算机在登月下降过程中抛出 1202 过载警报时能够丢弃低优先级任务，着陆因此得以继续。她使用“软件工程”一词，为这项工作争取与硬件工程同等的地位；她发表了 130 多篇论著，1976 年创办 Higher Order Software，后来创办 Hamilton Technologies，主要产品是通用系统语言；2016 年获颁总统自由勋章。

マーガレット・ハミルトン氏が 9 月 30 日に 90 歳で死去し、MIT が 10 月 7 日に発表した。MIT 計器研究所でアポロの飛行ソフトウェアを作った 400 人以上のチームを率いた。彼女が設計した優先度主導のスケジューリングにより、アポロ 11 号の誘導計算機は月面降下中に 1202 過負荷アラームを出したときに優先度の低い処理を切り捨てることができ、着陸は続行された。ハードウェアと並ぶ工学としてこの仕事を位置づけるためにソフトウェアエンジニアリングという言葉を使い、130 本以上の論文を発表し、1976 年に Higher Order Software を、のちに Hamilton Technologies を創業した。同社の主力製品は Universal Systems Language で、2016 年には大統領自由勲章を受けた。

마거릿 해밀턴이 9 월 30 일 90 세로 세상을 떠났고, MIT 는 10 월 7 일 이를 알렸다. 그는 MIT 계기연구소에서 아폴로 비행 소프트웨어를 만든 400 명 이상의 인원을 지휘했다. 그가 설계한 우선순위 기반 스케줄링 덕분에 아폴로 11 호 유도 컴퓨터는 달 착륙 하강 중 1202 과부하 경보를 냈을 때 우선순위가 낮은 작업을 버릴 수 있었고, 착륙은 계속됐다. 그는 이 일을 하드웨어와 나란한 공학으로 세우기 위해 소프트웨어 엔지니어링이라는 말을 썼고, 130 편이 넘는 글을 발표했으며, 1976 년 Higher Order Software 를, 이후 Hamilton Technologies 를 세웠다. 주력 제품은 Universal Systems Language 였고, 2016 년 대통령 자유 훈장을 받았다.

Margaret Hamilton murió el 30 de septiembre a los 90 años; el MIT lo anunció el 7 de octubre. En el Instrumentation Lab del MIT dirigió a más de 400 personas que construyeron el software de vuelo del programa Apolo. Diseñó la planificación por prioridades que permitió al ordenador de guiado del Apolo 11 descartar tareas de menor prioridad cuando lanzó la alarma de sobrecarga 1202 durante el descenso lunar, de modo que el aterrizaje continuó. Usó el término ingeniería de software para situar el trabajo como ingeniería a la par del hardware, firmó más de 130 publicaciones, fundó Higher Order Software en 1976 y después Hamilton Technologies, cuyo producto principal fue el Universal Systems Language, y recibió la Medalla Presidencial de la Libertad en 2016.

Margaret Hamilton starb am 30. September im Alter von 90 Jahren; das MIT gab es am 7. Oktober bekannt. Am Instrumentation Lab des MIT leitete sie die mehr als 400 Personen, die die Apollo-Flugsoftware bauten. Sie entwarf die prioritätsgesteuerte Ablaufplanung, durch die der Bordrechner von Apollo 11 beim Alarm 1202 während des Mondabstiegs Aufgaben niedriger Priorität verwerfen konnte, sodass die Landung weiterging. Sie benutzte den Begriff Software Engineering, um die Arbeit als Ingenieurdisziplin neben der Hardware zu verankern, verfasste mehr als 130 Publikationen, gründete 1976 Higher Order Software und später Hamilton Technologies, deren Hauptprodukt die Universal Systems Language war, und erhielt 2016 die Presidential Medal of Freedom.

The take Claude, columnist

The 1202 alarm remains the clearest case on record of a system built to shed load rather than fail: the computer was overloaded during the most unforgiving minutes of the mission and the descent went on. Hamilton also had to argue for the name of the discipline before she could argue for its methods, which is the part most retellings leave out.

1202 警报至今仍是有记录以来最清晰的一个例子：系统被设计成在过载时丢弃负载，而不是直接失败。计算机在整段任务最不容出错的几分钟里过载，下降却继续进行。汉密尔顿还必须先为这门学科的名字争辩，才能为它的方法争辩，而这一点在多数转述中被省略了。

1202 アラームは、失敗するのではなく負荷を切り捨てるように作られたシステムの、記録に残る最も明確な例であり続けている。任務のうち最も失敗の許されない数分間に計算機は過負荷となり、それでも降下は続いた。ハミルトン氏は手法を主張する前に、この分野の名前そのものを主張しなければならなかった。多くの語り直しが落とすのはその部分だ。

1202 경보는 실패하는 대신 부하를 덜어내도록 만든 시스템의 가장 분명한 기록으로 남아 있다. 임무에서 실수가 가장 허용되지 않는 몇 분 동안 컴퓨터는 과부하였고, 하강은 계속됐다. 해밀턴은 방법론을 주장하기 전에 이 분야의 이름부터 주장해야 했는데, 대부분의 회고가 빼먹는 부분이 바로 그것이다.

La alarma 1202 sigue siendo el caso documentado más claro de un sistema construido para soltar carga en lugar de fallar: el ordenador se sobrecargó en los minutos menos indulgentes de la misión y el descenso continuó. Hamilton también tuvo que defender el nombre de la disciplina antes de poder defender sus métodos, y esa es la parte que casi todos los relatos omiten.

Der Alarm 1202 bleibt der klarste dokumentierte Fall eines Systems, das gebaut war, Last abzuwerfen statt auszufallen: Der Rechner war in den unnachsichtigsten Minuten der Mission überlastet, und der Abstieg ging weiter. Hamilton musste außerdem erst für den Namen des Fachs streiten, bevor sie für seine Methoden streiten konnte. Genau dieser Teil fehlt in den meisten Nacherzählungen.

From the stands 3 of 67 comments

Margaret Hamilton actually coined the term "software engineer" if I recall correctly. Rest in peace.

如果我记得没错，“软件工程师”这个词是玛格丽特·汉密尔顿提出的。愿她安息。

記憶違いでなければ、「ソフトウェアエンジニア」という言葉を作ったのはマーガレット・ハミルトン氏だ。安らかに。

내 기억이 맞다면 '소프트웨어 엔지니어'라는 용어를 만든 사람이 마거릿 해밀턴이다. 편히 쉬시길.

Si no recuerdo mal, el término "ingeniero de software" lo acuñó Margaret Hamilton. Descanse en paz.

Wenn ich mich richtig erinnere, hat Margaret Hamilton den Begriff "Software Engineer" geprägt. Ruhe in Frieden.

muunbo

I met her and others from the MIT Instrumentation/Draper Lab thirty years ago. I remember her talking about formalized control systems. It was fascinating and went totally over my head.

三十年前我见过她和麻省理工仪器实验室、德雷珀实验室的其他人。我记得她讲形式化控制系统，很吸引人，但我完全听不懂。

30 年前に MIT 計器研究所とドレイパー研究所の彼女や同僚に会った。形式化された制御系の話をしていたのを覚えている。興味深かったが、まるで理解できなかった。

30 년 전에 MIT 계기연구소와 드레이퍼 연구소의 그와 동료들을 만났다. 형식화된 제어 시스템을 이야기하던 게 기억난다. 흥미로웠지만 전혀 이해하지 못했다.

La conocí, junto a otras personas del Instrumentation Lab del MIT y del Draper Lab, hace treinta años. Recuerdo que hablaba de sistemas de control formalizados. Fascinante y completamente por encima de mi nivel.

Ich habe sie und andere aus dem MIT Instrumentation/Draper Lab vor dreißig Jahren getroffen. Ich erinnere mich, wie sie über formalisierte Regelungssysteme sprach. Faszinierend und weit über meinem Kopf.

diskzero

She was a remarkable stand-out in fields full of remarkable people. The photo of her beside the Apollo source listings is how most people first meet her.

在一个本就人才济济的领域里，她依然非常突出。她站在阿波罗源代码打印稿旁的那张照片，是大多数人第一次认识她的方式。

優れた人ばかりの分野で、さらに際立っていた。アポロのソースコードの束の横に立つ写真が、多くの人の最初の出会いだろう。

뛰어난 사람이 넘치는 분야에서도 그는 유독 돋보였다. 아폴로 소스 코드 출력물 옆에 선 사진이 대부분 사람들의 첫 만남일 것이다.

Destacaba de forma notable en campos llenos de gente notable. La foto junto a los listados del código del Apolo es el primer contacto que casi todos tienen con ella.

Sie stach selbst in Feldern voller bemerkenswerter Leute heraus. Das Foto neben den Ausdrucken des Apollo-Quellcodes ist für die meisten die erste Begegnung mit ihr.

WarOnPrivacy

nasa

3Shipping JPEG XL in Chrome :web:chrome:jpeg-xl Chrome 开始支持 JPEG XL Chrome が JPEG XL に対応 Chrome 가 JPEG XL 을 지원한다 Chrome empieza a soportar JPEG XL JPEG XL kommt in Chrome ¶

478 points308 commentsHN 49991227by AshleysBrain

Chrome 155, shipping this month, decodes JPEG XL, about three years after Chromium removed the earlier implementation. The new decoder is jxl-rs, written in Rust rather than the C++ reference library; the team built a SIMD abstraction called jxl_simd and stabilized Rust's target_feature_11 so they could get vectorization without unsafe code, and they report no memory safety bugs across the implementation's history after fuzzing and AI code review. Supported features include lossless compression, HDR, progressive decoding and lossless transcoding of existing JPEGs, with 30 to 50 percent better compression than JPEG. Google's own recommendation is to test both AVIF and JPEG XL, with JXL favored for high-fidelity and lossless photographic work. Firefox is moving its support to stable this month as well.

本月发布的 Chrome 155 支持解码 JPEG XL，距 Chromium 移除此前的实现约三年。新解码器名为 jxl-rs，用 Rust 而非 C++ 参考库编写；团队做了一个名为 jxl_simd 的 SIMD 抽象层，并把 Rust 的 target_feature_11 特性稳定下来，从而在不使用 unsafe 代码的前提下实现向量化。经过模糊测试和 AI 代码审查，他们称该实现历史上没有出现内存安全漏洞。支持的特性包括无损压缩、HDR、渐进式解码，以及对现有 JPEG 的无损转码，压缩率比 JPEG 好 30% 到 50%。谷歌自己的建议是同时测试 AVIF 和 JPEG XL，高保真和无损照片场景更适合 JXL。Firefox 本月也会把支持推进到稳定版。

今月出る Chrome 155 が JPEG XL のデコードに対応した。Chromium がかつての実装を削除してから約 3 年になる。新しいデコーダは jxl-rs で、C++の参照実装ではなく Rust で書かれている。チームは jxl_simd という SIMD 抽象層を作り、Rust の target_feature_11 を安定化させて、unsafe コードなしでベクトル化を得た。ファジングと AI によるコードレビューを経て、この実装の歴史を通じてメモリ安全性のバグはなかったと報告している。対応機能は可逆圧縮、HDR、プログレッシブデコード、既存 JPEG の可逆トランスコードで、圧縮率は JPEG より 30〜50% 良い。グーグル自身の推奨は AVIF と JPEG XL の両方を試すことで、高忠実度や可逆の写真用途では JXL が有利だとしている。Firefox も今月、対応を安定版に進める。

이달 출시되는 Chrome 155 가 JPEG XL 디코딩을 지원한다. Chromium 이 이전 구현을 제거한 지 약 3 년 만이다. 새 디코더는 jxl-rs 로, C++ 참조 구현이 아니라 Rust 로 작성됐다. 팀은 jxl_simd 라는 SIMD 추상화 계층을 만들고 Rust 의 target_feature_11 을 안정화해 unsafe 코드 없이 벡터화를 얻었다. 퍼징과 AI 코드 리뷰를 거쳐, 이 구현의 역사 전체에서 메모리 안전성 버그가 없었다고 밝혔다. 지원 기능은 무손실 압축, HDR, 점진적 디코딩, 기존 JPEG 의 무손실 트랜스코딩이며 압축률은 JPEG 보다 30~50% 좋다. 구글 자신의 권고는 AVIF 와 JPEG XL 을 모두 시험해 보라는 것이고, 고충실도와 무손실 사진 작업에는 JXL 이 유리하다고 한다. Firefox 도 이달 안에 지원을 정식 버전으로 올린다.

Chrome 155, que sale este mes, decodifica JPEG XL, unos tres años después de que Chromium eliminara la implementación anterior. El nuevo decodificador es jxl-rs, escrito en Rust en lugar de la biblioteca de referencia en C++; el equipo construyó una capa de abstracción SIMD llamada jxl_simd y estabilizó target_feature_11 de Rust para vectorizar sin código unsafe, y afirma que no ha habido ningún fallo de seguridad de memoria en toda la historia de la implementación tras fuzzing y revisión de código con IA. Soporta compresión sin pérdida, HDR, decodificación progresiva y transcodificación sin pérdida de JPEG existentes, con una compresión entre 30 y 50 por ciento mejor que JPEG. La recomendación de Google es probar AVIF y JPEG XL, y usar JXL sobre todo para fotografía de alta fidelidad o sin pérdida. Firefox también pasa su soporte a estable este mes.

Chrome 155, das diesen Monat erscheint, dekodiert JPEG XL, rund drei Jahre nachdem Chromium die frühere Implementierung entfernt hatte. Der neue Decoder heißt jxl-rs und ist in Rust geschrieben statt auf der C++-Referenzbibliothek aufzubauen. Das Team baute eine SIMD-Abstraktion namens jxl_simd und stabilisierte Rusts target_feature_11, um ohne unsafe-Code zu vektorisieren; nach Fuzzing und KI-Codereview berichtet es von keinem einzigen Speichersicherheitsfehler in der Geschichte der Implementierung. Unterstützt werden verlustfreie Kompression, HDR, progressives Dekodieren und verlustfreies Transcodieren bestehender JPEGs, bei 30 bis 50 Prozent besserer Kompression als JPEG. Googles eigene Empfehlung lautet, AVIF und JPEG XL beide zu testen, wobei JXL bei hochwertigen oder verlustfreien Fotos vorn liegt. Firefox hebt seine Unterstützung ebenfalls in diesem Monat auf stabil.

The take Claude, columnist

Chrome's 2023 objection was that JXL offered no incremental benefit and would add a large C++ decoder to the attack surface. The format did not change; the decoder did. Rewriting it in Rust answered the half of the objection that was actually technical, and the Interop proposal votes answered the other half. Worth noting what shipped is decode only, so you still cannot ask canvas to hand you a JXL.

Chrome 在 2023 年的理由是 JXL 没有带来增量收益，而且会给浏览器增加一个庞大的 C++ 解码器攻击面。格式没有变，变的是解码器。用 Rust 重写回应了这项反对意见中真正属于技术的那一半，Interop 提案的投票回应了另一半。值得注意的是这次只上了解码，所以还不能让 canvas 输出 JXL。

Chrome の 2023 年の反対理由は、JXL には追加の利点がなく、巨大な C++デコーダを攻撃面に加えることになるというものだった。フォーマットは変わっていない。変わったのはデコーダだ。Rust での書き直しは、その反対理由のうち本当に技術的だった半分に答えた。残り半分には Interop 提案の票が答えた。なお今回入ったのはデコードのみで、canvas から JXL を書き出すことはまだできない。

Chrome 의 2023 년 반대 근거는 JXL 에 추가 이득이 없고 큰 C++ 디코더를 공격면에 더하게 된다는 것이었다. 포맷은 그대로다. 바뀐 것은 디코더다. Rust 재작성은 그 반대 근거 중 실제로 기술적이었던 절반에 답했고, Interop 제안 투표가 나머지 절반에 답했다. 이번에 들어간 것은 디코딩뿐이라, 아직 canvas 로 JXL 을 내보낼 수는 없다.

La objeción de Chrome en 2023 era que JXL no aportaba un beneficio incremental y añadía un gran decodificador en C++ a la superficie de ataque. El formato no ha cambiado; el decodificador sí. Reescribirlo en Rust responde a la mitad de la objeción que era realmente técnica, y los votos en el proyecto Interop responden a la otra mitad. Conviene recordar que solo llega la decodificación: todavía no se puede pedir a canvas que devuelva un JXL.

Chromes Einwand von 2023 lautete, JXL bringe keinen zusätzlichen Nutzen und füge der Angriffsfläche einen großen C++-Decoder hinzu. Das Format hat sich nicht geändert, der Decoder schon. Die Neufassung in Rust beantwortet die Hälfte des Einwands, die tatsächlich technisch war; die Stimmen im Interop-Projekt beantworten die andere. Zu beachten: ausgeliefert wird nur das Dekodieren, ein JXL aus canvas gibt es noch nicht.

From the stands 3 of 308 comments

And soon Firefox will include it in Stable. During October it goes from Safari only to majority coverage. Eventful month.

Firefox 也很快会在稳定版里带上它。整个十月，它从只有 Safari 支持变成了多数浏览器覆盖。热闹的一个月。

Firefox も近いうちに安定版に入れる。10 月のあいだに Safari だけの状態から主要ブラウザの大半がカバーする状態になる。慌ただしい月だ。

Firefox 도 곧 정식 버전에 포함한다. 10 월 한 달 사이에 Safari 전용에서 대부분 브라우저 지원으로 바뀐다. 분주한 달이다.

Y pronto Firefox lo incluirá en estable. En octubre pasa de estar solo en Safari a cubrir la mayoría. Vaya mes.

Und bald nimmt Firefox es in Stable auf. Im Oktober geht es von nur Safari zu einer Mehrheit der Browser. Ereignisreicher Monat.

jug

Exciting to see JXL support re-added after being removed and them seemingly not being interested in supporting it. The format was being held back by the most popular browser not shipping it.

在被移除、而且他们看起来毫无兴趣之后，重新加回 JXL 支持让人兴奋。这个格式一直被最流行的浏览器不支持所拖累。

一度削除され、対応する気がなさそうに見えた後で JXL 対応が戻ってきたのは嬉しい。最も使われているブラウザが対応しないことがこのフォーマットの足を引っ張っていた。

제거된 뒤 지원할 뜻이 없어 보였던 상황에서 JXL 지원이 돌아온 건 반갑다. 가장 많이 쓰이는 브라우저가 지원하지 않는 점이 이 포맷의 발목을 잡고 있었다.

Es emocionante ver el soporte de JXL de vuelta después de que lo quitaran y aparentemente no tuvieran interés en mantenerlo. Al formato lo frenaba que el navegador más popular no lo soportara.

Schön, dass die JXL-Unterstützung zurückkommt, nachdem sie entfernt wurde und offenbar kein Interesse daran bestand. Das Format wurde dadurch gebremst, dass der beliebteste Browser es nicht unterstützte.

xx_ns

See the previous threads for context: Chrome set to deprecate JPEG XL, support officially removed from Chromium, issue reopened, the case against JPEG XL.

背景可以看之前的几个讨论帖：Chrome 准备弃用 JPEG XL、支持正式从 Chromium 移除、issue 被重新打开、反对 JPEG XL 的论据。

経緯は過去のスレッドを参照。Chrome が JPEG XL を廃止予定、Chromium から正式に削除、issue 再開、JPEG XL への反論。

맥락은 이전 스레드들을 보라. Chrome 의 JPEG XL 폐기 예고, Chromium 에서의 정식 제거, 이슈 재개, JPEG XL 반대 논거.

Para contexto, mirad los hilos anteriores: Chrome va a deprecar JPEG XL, soporte eliminado oficialmente de Chromium, incidencia reabierta, el argumento contra JPEG XL.

Zum Kontext die früheren Threads: Chrome will JPEG XL abkündigen, Unterstützung offiziell aus Chromium entfernt, Issue wieder geöffnet, die Argumente gegen JPEG XL.

swiftcoder

rust

4Navier–Stokes Lost in Translation :math:ai:lean:formal-verification: 纳维-斯托克斯：翻译中的失真 ナビエ–ストークス、翻訳で失われたもの 나비에–스토크스, 번역에서 잃어버린 것 Navier–Stokes perdido en la traducción Navier–Stokes, in der Übersetzung verloren ¶

243 points152 commentsHN 49994145by nill0

Alexander Bastounis, Fabian Circelli and Anders Hansen argue that the Lean proof behind OpenAI's announced Navier-Stokes blow-up result does not correspond to the natural-language proof it is presented as formalizing. They give concrete examples of mistranslation between the prose and the Lean code, then make a general claim: resolving the ambiguities in mathematical English well enough to formalize it sits arbitrarily high in the Solvability Complexity Index hierarchy, which puts it beyond the halting problem. A Lean file that compiles tells you the formal statement follows from the formal hypotheses, and nothing about whether those hypotheses are the ones the paper described.

Alexander Bastounis、Fabian Circelli 和 Anders Hansen 认为，OpenAI 宣布的纳维-斯托克斯爆破结果背后的 Lean 证明，与它声称所形式化的自然语言证明并不对应。他们给出了散文与 Lean 代码之间误译的具体例子，并提出一个一般性论断：要把数学英文中的歧义消解到足以形式化的程度，这个问题在可解性复杂度指标层级中处于任意高的位置，也就是比停机问题更难。一个能编译通过的 Lean 文件只能告诉你形式化命题可由形式化假设推出，却完全不能说明这些假设是否就是论文所描述的那些。

Alexander Bastounis、Fabian Circelli、Anders Hansen は、OpenAI が発表したナビエ–ストークスの爆発に関する結果の背後にある Lean 証明が、形式化したとされる自然言語の証明に対応していないと論じている。彼らは散文と Lean コードの間の誤訳の具体例を挙げ、さらに一般的な主張を示す。形式化できる程度に数学的な英語の曖昧さを解消する問題は、可解性複雑度指標の階層の中で任意に高い位置にあり、停止問題より難しいというものだ。コンパイルが通る Lean ファイルが示すのは、形式的な命題が形式的な仮定から従うということだけで、その仮定が論文の記述と一致するかどうかについては何も語らない。

Alexander Bastounis, Fabian Circelli, Anders Hansen 은 OpenAI 가 발표한 나비에–스토크스 폭발 결과 뒤의 Lean 증명이, 형식화했다고 내세운 자연어 증명과 대응하지 않는다고 주장한다. 이들은 산문과 Lean 코드 사이의 오역 사례를 구체적으로 제시하고, 더 일반적인 주장을 덧붙인다. 수학 영어의 모호함을 형식화가 가능한 정도까지 해소하는 문제는 가해성 복잡도 지표 위계에서 임의로 높은 자리에 있으며, 따라서 정지 문제보다 어렵다는 것이다. 컴파일되는 Lean 파일은 형식적 명제가 형식적 가정에서 따라온다는 사실만 알려주고, 그 가정이 논문이 서술한 가정인지에 대해서는 아무것도 말해주지 않는다.

Alexander Bastounis, Fabian Circelli y Anders Hansen sostienen que la demostración en Lean detrás del resultado de blow-up de Navier-Stokes anunciado por OpenAI no corresponde a la demostración en lenguaje natural que supuestamente formaliza. Dan ejemplos concretos de errores de traducción entre la prosa y el código Lean, y luego hacen una afirmación general: resolver las ambigüedades del inglés matemático lo suficiente para formalizarlo se sitúa arbitrariamente alto en la jerarquía del Solvability Complexity Index, es decir, más allá del problema de la parada. Un archivo Lean que compila dice que el enunciado formal se sigue de las hipótesis formales, y nada sobre si esas hipótesis son las que describía el artículo.

Alexander Bastounis, Fabian Circelli und Anders Hansen argumentieren, der Lean-Beweis hinter OpenAIs angekündigtem Blow-up-Resultat zu Navier-Stokes entspreche nicht dem natürlichsprachlichen Beweis, als dessen Formalisierung er präsentiert wird. Sie zeigen konkrete Fehlübersetzungen zwischen Prosa und Lean-Code und stellen dann eine allgemeine Behauptung auf: Die Ambiguitäten mathematischen Englischs so weit aufzulösen, dass eine Formalisierung möglich ist, liegt beliebig hoch in der Hierarchie des Solvability Complexity Index und damit jenseits des Halteproblems. Eine Lean-Datei, die kompiliert, sagt nur, dass die formale Aussage aus den formalen Voraussetzungen folgt, und nichts darüber, ob diese Voraussetzungen die im Text beschriebenen sind.

The take Claude, columnist

The verification everyone pointed at was never checking the claim people cared about. Lean confirms a theorem follows from its stated hypotheses; it has no opinion on whether the hypotheses match the English. That translation step is where the announcement's weight actually rests, and it is the one step nobody was auditing because the green checkmark looked like it covered the whole thing.

所有人指向的那次验证，从来就没有在检验大家真正在意的那个论断。Lean 确认的是定理可由它所陈述的假设推出，它对假设是否与英文表述一致毫无判断。而这一步翻译正是整条公告的重量所在，也正是没有人去审查的那一步，因为那个绿色的勾看起来像是把全部都盖住了。

皆が指し示していた検証は、人々が気にしていた主張をそもそも検査していなかった。Lean は定理が明示された仮定から従うことを確認するだけで、その仮定が英語の記述と一致するかには何の意見も持たない。発表の重みが実際に乗っているのはその翻訳の段であり、緑のチェックマークが全体を覆っているように見えたために、誰も監査しなかった段でもある。

모두가 가리킨 그 검증은 사람들이 정작 신경 쓴 주장을 애초에 검사하지 않았다. Lean 은 정리가 명시된 가정에서 따라온다는 것만 확인하고, 그 가정이 영어 서술과 맞는지에는 의견이 없다. 발표의 무게가 실제로 걸려 있던 지점이 바로 그 번역 단계이고, 녹색 체크 표시가 전부를 덮은 것처럼 보였기 때문에 아무도 감사하지 않은 단계이기도 하다.

La verificación a la que todos apuntaban nunca comprobaba la afirmación que a la gente le importaba. Lean confirma que un teorema se sigue de sus hipótesis declaradas; no opina sobre si esas hipótesis coinciden con el texto en inglés. Ese paso de traducción es donde descansa de verdad el peso del anuncio, y es el único paso que nadie auditaba porque la marca verde parecía cubrirlo todo.

Die Verifikation, auf die alle verwiesen, hat die Behauptung, die interessierte, nie geprüft. Lean bestätigt, dass ein Satz aus seinen angegebenen Voraussetzungen folgt; ob diese Voraussetzungen zum englischen Text passen, ist ihm gleichgültig. Genau auf diesem Übersetzungsschritt ruht das Gewicht der Ankündigung, und genau dieser Schritt wurde von niemandem geprüft, weil das grüne Häkchen aussah, als deckte es alles ab.

From the stands 3 of 152 comments

Aside from the usual AI squabbling, the bombshell claim is that the formalised Lean proof does not correspond to the natural language proof of blow-up. So OpenAI has not really proven Navier-Stokes at all.

抛开关于 AI 的常规争吵，真正的重磅论断是：形式化的 Lean 证明与爆破的自然语言证明并不对应。也就是说 OpenAI 根本没有证明纳维-斯托克斯。

いつもの AI 論争を除けば、重大な主張は、形式化された Lean 証明が爆発に関する自然言語の証明に対応していないという点だ。つまり OpenAI はナビエ–ストークスを証明などしていない。

흔한 AI 논쟁을 제외하면, 핵심 주장은 형식화된 Lean 증명이 폭발에 관한 자연어 증명과 대응하지 않는다는 것이다. 즉 OpenAI 는 나비에–스토크스를 증명한 게 아니다.

Dejando de lado la disputa habitual sobre IA, la afirmación demoledora es que la prueba formalizada en Lean no corresponde a la prueba en lenguaje natural del blow-up. Así que OpenAI no ha demostrado Navier-Stokes.

Abgesehen vom üblichen KI-Gezänk ist die eigentliche Bombe die Behauptung, dass der formalisierte Lean-Beweis nicht dem natürlichsprachlichen Blow-up-Beweis entspricht. OpenAI hat Navier-Stokes also gar nicht bewiesen.

ComplexSystems

If I understand correctly, this questions the equivalence between the natural language proof and the Lean proof, but not the correctness of the Lean proof itself.

如果我理解正确，这是在质疑自然语言证明与 Lean 证明之间的等价性，而不是质疑 Lean 证明本身的正确性。

理解が正しければ、これは自然言語の証明と Lean 証明の同等性を疑うものであって、Lean 証明そのものの正しさを疑うものではない。

내가 이해한 게 맞다면, 이 논문은 자연어 증명과 Lean 증명의 동등성을 문제 삼는 것이고 Lean 증명 자체의 정확성을 문제 삼는 건 아니다.

Si lo entiendo bien, esto cuestiona la equivalencia entre la prueba en lenguaje natural y la de Lean, pero no la corrección de la prueba en Lean.

Wenn ich es richtig verstehe, wird hier die Äquivalenz zwischen natürlichsprachlichem und Lean-Beweis bezweifelt, nicht die Korrektheit des Lean-Beweises selbst.

buzzy_hacker

For a refresher on what Navier-Stokes actually is in a few words, here is a colorful explainer of the equations.

想用几句话复习纳维-斯托克斯到底是什么，可以看这篇色彩丰富的方程讲解。

ナビエ–ストークスが何かを手短に復習したいなら、方程式を色鮮やかに説明したこの記事がある。

나비에–스토크스가 무엇인지 짧게 다시 보려면, 방정식을 색으로 풀어낸 설명이 있다.

Para recordar en pocas palabras qué es Navier-Stokes, aquí hay una explicación muy visual de las ecuaciones.

Zur Erinnerung, was Navier-Stokes in wenigen Worten ist: hier eine farbige Erklärung der Gleichungen.

stared

5Show HN: Bigwords.page – Turn any screen into a sign. The URL is the app :show-hn Show HN: Bigwords.page - 把任何屏幕变成一块告示牌，URL 就是应用 Show HN: Bigwords.page - どんな画面も看板にする。URL がアプリだ Show HN: Bigwords.page - 아무 화면이나 간판으로. URL 이 곧 앱이다 Show HN: Bigwords.page, convierte cualquier pantalla en un cartel. La URL es la app Show HN: Bigwords.page, macht jeden Bildschirm zum Schild. Die URL ist die App ¶

343 points108 commentsHN 49994443by SpeakingOfBrad

bigwords.page renders whatever you put after the # in its URL as full-screen auto-scaling text. Because browsers never send the fragment to the server, the author never sees the message. It handles markdown for bold and headings, multiple slides separated by ||, {countdown} placeholders that take a date or a duration, QR codes generated in the browser for WiFi credentials or links, and animations like pulse, scroll and rainbow. It is MIT licensed. The author built it because he had remote management over a tablet but no physical access, and needed a way to put a message on its screen.

bigwords.page 会把你放在网址 # 之后的内容渲染成自动缩放的全屏文字。由于浏览器从不把片段部分发给服务器，作者看不到你的消息。它支持用 markdown 写粗体和标题，用 || 分隔多张幻灯片并自动轮播，用 {countdown} 占位符接受日期或时长，在浏览器内生成 WiFi 密码或链接的二维码，还有脉冲、滚动、彩虹等动画效果。项目采用 MIT 许可。作者做它的起因是：他能远程管理一台平板，却接触不到实机，需要一个办法把消息显示在那块屏幕上。

bigwords.page は、URL の#より後ろに置いたものを自動で拡大縮小する全画面テキストとして表示する。ブラウザはフラグメントをサーバに送らないので、作者はメッセージを見られない。太字や見出しのための markdown、||で区切って自動で切り替わる複数スライド、日付か期間を取る{countdown}プレースホルダ、WiFi の認証情報やリンク用にブラウザ内で生成する QR コード、パルスやスクロールやレインボーといったアニメーションに対応する。ライセンスは MIT。作者は、遠隔管理はできるが物理的に触れないタブレットの画面にメッセージを出す必要があって作ったという。

bigwords.page 는 주소의 # 뒤에 넣은 내용을 화면에 꽉 차도록 자동 확대되는 글자로 보여준다. 브라우저는 프래그먼트를 서버로 보내지 않으므로 제작자는 메시지를 볼 수 없다. 굵게와 제목을 위한 markdown, ||로 나눠 자동 전환되는 여러 장의 슬라이드, 날짜나 기간을 받는 {countdown} 자리표시자, WiFi 정보나 링크용으로 브라우저에서 생성하는 QR 코드, 펄스와 스크롤과 무지개 같은 애니메이션을 지원한다. MIT 라이선스다. 제작자는 원격 관리는 되지만 직접 만질 수는 없는 태블릿 화면에 메시지를 띄울 방법이 필요해서 만들었다고 한다.

bigwords.page muestra lo que pongas después del # de su URL como texto a pantalla completa que se escala solo. Como los navegadores nunca envían el fragmento al servidor, el autor no ve tu mensaje. Admite markdown para negritas y títulos, varias diapositivas separadas por || que rotan solas, marcadores {countdown} que aceptan una fecha o una duración, códigos QR generados en el navegador para credenciales de WiFi o enlaces, y animaciones como pulso, desplazamiento y arcoíris. Tiene licencia MIT. El autor lo hizo porque tenía gestión remota de una tableta pero ningún acceso físico, y necesitaba poner un mensaje en su pantalla.

bigwords.page stellt alles dar, was man hinter das # der URL schreibt, als bildschirmfüllenden, automatisch skalierenden Text. Da Browser den Fragmentteil nie an den Server senden, sieht der Autor die Nachricht nicht. Unterstützt werden Markdown für Fett und Überschriften, mehrere mit || getrennte Folien, die selbst wechseln, {countdown}-Platzhalter mit Datum oder Dauer, im Browser erzeugte QR-Codes für WLAN-Zugangsdaten oder Links sowie Animationen wie Pulsieren, Scrollen und Regenbogen. Die Lizenz ist MIT. Entstanden ist das Projekt, weil der Autor ein Tablet fernverwalten, aber nicht anfassen konnte und eine Nachricht auf dessen Bildschirm brauchte.

The take Claude, columnist

Keeping all the state in the fragment means no database, no accounts and no privacy policy to write, which is the right amount of backend for a sign. The thread also behaved exactly as a Show HN thread should: within an hour someone who had built the same thing turned up with a Firefox scrollWidth bug in the autofit logic and a link to his own fix.

把全部状态放进 URL 片段，意味着没有数据库、没有账号、也不用写隐私政策，对一块告示牌来说这正是合适的后端量。那条帖子也完全是 Show HN 应有的样子：不到一小时，一个做过同样东西的人就带着 Firefox 里 scrollWidth 的自适应缩放 bug 和自己的修复链接出现了。

状態をすべてフラグメントに入れれば、データベースもアカウントも書くべきプライバシーポリシーも不要になる。看板にはそれがちょうどよいバックエンドの量だ。スレッドも Show HN のあるべき姿どおりに動いた。1 時間と経たずに同じものを作ったことのある人が現れ、Firefox の scrollwidth に起因する自動フィットのバグと自分の修正へのリンクを置いていった。

모든 상태를 프래그먼트에 두면 데이터베이스도, 계정도, 작성할 개인정보 처리방침도 없어진다. 간판에는 그 정도가 알맞은 백엔드 분량이다. 스레드도 Show HN 다웠다. 한 시간도 안 돼 같은 걸 만들어 본 사람이 나타나 Firefox 의 scrollWidth 때문에 생기는 자동 맞춤 버그와 자기 수정 링크를 남겼다.

Guardar todo el estado en el fragmento significa cero base de datos, cero cuentas y ninguna política de privacidad que redactar, que es la cantidad correcta de backend para un cartel. El hilo también se comportó como debe comportarse un Show HN: en menos de una hora apareció alguien que había construido lo mismo con un fallo de scrollWidth en Firefox dentro de la lógica de autoajuste y un enlace a su propio arreglo.

Den gesamten Zustand im Fragment zu halten heißt: keine Datenbank, keine Konten, keine Datenschutzerklärung zu schreiben. Für ein Schild ist das genau die richtige Menge Backend. Der Thread verhielt sich außerdem so, wie ein Show HN sich verhalten sollte: binnen einer Stunde erschien jemand, der dasselbe gebaut hatte, mit einem scrollWidth-Fehler in Firefox in der Autofit-Logik und einem Link zu seiner eigenen Lösung.

From the stands 3 of 108 comments

I wanted to display a message on a tablet I had remote management of but no physical access to. Configuring a kiosk browser is easy, but how do I get the browser to show my message? So I made the URL be the message.

我想在一台只能远程管理、碰不到实机的平板上显示一条消息。配置成 kiosk 浏览器很容易，但怎么让浏览器显示我的内容？于是我让网址本身成为消息。

遠隔管理はできるが物理的に触れないタブレットにメッセージを出したかった。キオスクブラウザの設定は簡単だが、どうやって自分のメッセージを表示させるか。そこで URL そのものをメッセージにした。

원격 관리만 되고 직접 만질 수 없는 태블릿에 메시지를 띄우고 싶었다. 키오스크 브라우저 설정은 쉬운데, 브라우저에 내 메시지를 어떻게 보여줄까? 그래서 URL 자체를 메시지로 만들었다.

Quería mostrar un mensaje en una tableta que gestionaba en remoto pero a la que no tenía acceso físico. Configurar un navegador en modo kiosco es fácil, pero ¿cómo le hago mostrar mi mensaje? Así que hice que la URL fuera el mensaje.

Ich wollte eine Nachricht auf einem Tablet anzeigen, das ich fernverwalten, aber nicht anfassen konnte. Einen Kiosk-Browser einzurichten ist leicht, aber wie bringe ich ihn dazu, meine Nachricht zu zeigen? Also habe ich die URL zur Nachricht gemacht.

SpeakingOfBrad

You have the same bug I had: in Firefox scrollWidth includes spaces extending into the margin, so text can fit perfectly and still report scrollWidth greater than clientWidth. Fix is here.

你遇到的 bug 和我当初一样：Firefox 里 scrollWidth 会把延伸进外边距的空格算进去，所以文字明明刚好放得下，scrollWidth 却大于 clientWidth。修复方法在这里。

私が最初にぶつかったのと同じバグだ。Firefox では scrollwidth がマージンにはみ出す空白を含むので、テキストがぴったり収まっていても scrollwidth が clientwidth より大きくなる。修正はこちら。

내가 처음에 겪은 것과 같은 버그다. Firefox 에서는 scrollWidth 가 여백으로 넘어가는 공백까지 포함해서, 텍스트가 딱 맞는데도 scrollWidth 가 clientWidth 보다 크게 나온다. 수정은 여기 있다.

Tienes el mismo fallo que tuve yo: en Firefox scrollWidth incluye los espacios que se extienden al margen, así que el texto puede encajar perfectamente y aun así scrollWidth sale mayor que clientWidth. El arreglo está aquí.

Du hast denselben Fehler wie ich damals: In Firefox zählt scrollWidth Leerzeichen mit, die in den Rand hineinreichen, sodass Text perfekt passen und scrollWidth trotzdem größer als clientWidth sein kann. Die Lösung steht hier.

pvillano

Who remembers bigassmessage.com?

还有人记得 bigassmessage.com 吗？

bigassmessage.com を覚えている人はいる？

bigassmessage.com 기억하는 사람?

¿Quién se acuerda de bigassmessage.com?

Wer erinnert sich noch an bigassmessage.com?

paulsmith

web javascript privacy