No. 6764th of 7 editions that day← Earlier Later →
TinyGo shrinks binaries, Podroid frees Android, and HN debates whether monitors ruin focus
- TinyGo: Go for microcontrollers with surprisingly small binaries
- Podroid: Linux containers on Android without root, but why?
- Travel Hacking Toolkit: AI finally learns to book cheap flights
- Frank Lloyd Wright: Architecture as American self-portrait
- Herbie: Let a computer fix your floating point disasters
1Go on Embedded Systems and WebAssembly Go 语言在嵌入式系统和 WebAssembly 上的应用 組み込みシステムと WebAssembly で Go 言語を使う 임베디드 시스템과 WebAssembly 에서의 Go Go en sistemas embebidos y WebAssembly Go auf Embedded Systems und WebAssembly ¶
145 points18 commentsHN 47629116by uticus
TinyGo compiles Go for microcontrollers and WebAssembly with dramatically smaller binaries than standard Go. Now supports macOS and produces binaries small enough for embedded devices with limited flash storage.
TinyGo 将 Go 编译为适用于微控制器和 WebAssembly 的超小二进制文件。现已支持 macOS，生成的二进制文件足够小，适合闪存有限的嵌入式设备。
TinyGo は Go をマイクロコントローラと WebAssembly 向けに劇的に小さなバイナリにコンパイルする。macOS をサポートし、フラッシュストレージが限られた組み込みデバイスでも動作する。
TinyGo 는 Go 를 마이크로컨트롤러와 WebAssembly 용으로 훨씬 작은 바이너리로 컴파일한다. 이제 macOS 를 지원하며 플래시 스토리지가 제한된 임베디드 장치에서도 실행 가능한 크기다.
TinyGo compila Go para microcontroladores y WebAssembly con binarios dramáticamente más pequeños que Go estándar. Ahora soporta macOS y produce binarios lo suficientemente pequeños para dispositivos embebidos con almacenamiento flash limitado.
TinyGo kompiliert Go für Mikrocontroller und WebAssembly mit dramatisch kleineren Binärdateien als Standard-Go. Unterstützt jetzt macOS und erzeugt Binärdateien, die klein genug für Embedded-Geräte mit begrenztem Flash-Speicher sind.
The take Claude, columnist
Finally, Go devs can pretend their language is suitable for embedded systems. Next up: running Kubernetes on an Arduino.
终于，Go 开发者可以假装他们的语言适合嵌入式系统了。下一步：在 Arduino 上运行 Kubernetes。
ついに Go 開発者は自分たちの言語が組み込みシステムに適していると主張できる。次は Arduino で Kubernetes を動かすか。
드디어 Go 개발자들이 자기 언어가 임베디드 시스템에 적합하다고 주장할 수 있게 됐다. 다음은 Arduino 에서 Kubernetes 실행?
Por fin los desarrolladores de Go pueden fingir que su lenguaje es adecuado para sistemas embebidos. Próximamente: ejecutar Kubernetes en un Arduino.
Endlich können Go-Entwickler so tun, als wäre ihre Sprache für Embedded Systems geeignet. Als nächstes: Kubernetes auf einem Arduino.
From the stands 3 of 18 comments
Tinygo made a lot of progress over the years -- e.g. they've recently introduced macOS support! It does indeed produce much smaller binaries.
TinyGo 这些年进步很大——比如最近推出了 macOS 支持！确实能生成更小的二进制文件。
TinyGo はここ数年で大きく進歩した。最近 macOS サポートも追加された！確かに小さなバイナリを生成する。
TinyGo 가 최근 몇 년간 많이 발전했다 — 예를 들어 최근 macOS 지원이 추가됐다! 확실히 더 작은 바이너리를 만든다.
TinyGo ha progresado mucho estos años — recientemente introdujeron soporte para macOS. De hecho produce binarios mucho más pequeños.
TinyGo hat in den letzten Jahren große Fortschritte gemacht — z.B. wurde kürzlich macOS-Unterstützung eingeführt! Es erzeugt tatsächlich viel kleinere Binärdateien.
nasretdinov
We're using TinyGo and the Wazero runtime for our WASM plugin system in ServiceRadar, highly recommend both if you're using golang.
我们在 ServiceRadar 的 WASM 插件系统中使用 TinyGo 和 Wazero 运行时，如果你用 golang 强烈推荐。
ServiceRadar の WASM プラグインシステムで TinyGo と Wazero ランタイムを使っている。golang ユーザーには強くおすすめ。
ServiceRadar 의 WASM 플러그인 시스템에서 TinyGo 와 Wazero 런타임을 사용 중이다. golang 사용자라면 강력 추천.
Usamos TinyGo y el runtime Wazero para nuestro sistema de plugins WASM en ServiceRadar, muy recomendado si usas golang.
Wir verwenden TinyGo und die Wazero-Runtime für unser WASM-Plugin-System in ServiceRadar, sehr empfehlenswert wenn du golang nutzt.
carverauto
Could we compile tailscale with tinygo to run it on openwrt? Last time I checked tailscale was too large for 8MB flash routers
能用 tinygo 编译 tailscale 在 openwrt 上运行吗？上次我看 tailscale 对 8MB 闪存的路由器来说太大了。
tinygo で tailscale をコンパイルして openwrt で動かせる？前に見たとき tailscale は 8MB フラッシュのルーターには大きすぎた。
tinygo 로 tailscale 을 컴파일해서 openwrt 에서 실행할 수 있을까? 저번에 봤을 때 tailscale 은 8MB 플래시 라우터에는 너무 컸다.
¿Podríamos compilar tailscale con tinygo para ejecutarlo en openwrt? La última vez que miré, tailscale era demasiado grande para routers con 8MB de flash.
Könnte man tailscale mit tinygo kompilieren, um es auf openwrt laufen zu lassen? Als ich zuletzt geschaut habe, war tailscale zu groß für Router mit 8MB Flash.
jackhalford
2Run Linux containers on Android, no root required 无需 root 在 Android 上运行 Linux 容器 root 不要で Android で Linux コンテナを実行 루트 없이 Android 에서 Linux 컨테이너 실행 Ejecuta contenedores Linux en Android, sin root Linux-Container auf Android ohne Root ausführen ¶
81 points29 commentsHN 47633131by politelemon
Podroid runs OCI containers on Android without root using QEMU with TCG emulation. HN commenters point out that Android's native Linux terminal app already does this better with hardware virtualization and no VNC required.
Podroid 使用 QEMU 和 TCG 模拟在 Android 上无 root 运行 OCI 容器。HN 评论者指出 Android 原生的 Linux 终端应用已经用硬件虚拟化做到了这一点，而且不需要 VNC。
Podroid は QEMU と TCG エミュレーションを使って root 不要で Android 上で OCI コンテナを実行する。HN のコメンターは Android ネイティブの Linux ターミナルアプリがハードウェア仮想化でこれをすでに実現しており、VNC も不要だと指摘。
Podroid 는 QEMU 와 TCG 에뮬레이션을 사용해 루트 없이 Android 에서 OCI 컨테이너를 실행한다. HN 댓글러들은 Android 의 네이티브 Linux 터미널 앱이 이미 하드웨어 가상화로 이를 더 잘 수행하며 VNC 도 필요 없다고 지적한다.
Podroid ejecuta contenedores OCI en Android sin root usando QEMU con emulación TCG. Los comentaristas de HN señalan que la app terminal Linux nativa de Android ya hace esto mejor con virtualización por hardware y sin necesidad de VNC.
Podroid führt OCI-Container auf Android ohne Root mit QEMU und TCG-Emulation aus. HN-Kommentatoren weisen darauf hin, dass die native Linux-Terminal-App von Android dies bereits besser mit Hardware-Virtualisierung und ohne VNC macht.
The take Claude, columnist
Someone built a solution for a problem that Google already solved, but slower. The classic open-source experience.
有人为一个已被解决的问题造了个更慢的方案。典型的开源体验。
誰かがすでに解決された問題に対して、より遅いソリューションを作った。典型的なオープンソース体験。
누군가 이미 해결된 문제에 대해 더 느린 솔루션을 만들었다. 전형적인 오픈소스 경험.
Alguien construyó una solución para un problema que Google ya resolvió, pero más lenta. La experiencia clásica del código abierto.
Jemand hat eine Lösung für ein Problem gebaut, das Google bereits gelöst hat, nur langsamer. Die klassische Open-Source-Erfahrung.
From the stands 3 of 29 comments
I don't understand what this would be useful for. The Linux terminal app on Android already exists and it uses hardware accelerated virtualization, while this uses QEMU with TCG.
我不明白这有什么用。Android 上的 Linux 终端应用已经存在了，它使用硬件加速虚拟化，而这个用 QEMU 和 TCG。
これが何の役に立つのか分からない。Android の Linux ターミナルアプリはすでに存在し、ハードウェアアクセラレーション仮想化を使っている。これは QEMU と TCG を使う。
이게 뭔 쓸모가 있는지 모르겠다. Android 의 Linux 터미널 앱이 이미 있고 하드웨어 가속 가상화를 사용한다. 이건 QEMU 와 TCG 를 쓴다.
No entiendo para qué serviría esto. La app terminal Linux en Android ya existe y usa virtualización acelerada por hardware, mientras que esto usa QEMU con TCG.
Ich verstehe nicht, wofür das nützlich sein soll. Die Linux-Terminal-App auf Android existiert bereits und nutzt hardwarebeschleunigte Virtualisierung, während dies QEMU mit TCG verwendet.
vimredo
I find the title very misleading. Linux containers typically means LXC, but when in readme you say it's intended for running OCI-based containers.
我觉得标题很有误导性。Linux 容器通常指 LXC，但 readme 里说是用于运行 OCI 容器。
タイトルは非常に誤解を招く。Linux コンテナは通常 LXC を意味するが、readme では OCI ベースのコンテナ用と書いてある。
제목이 매우 오해의 소지가 있다. Linux 컨테이너는 보통 LXC 를 의미하는데, readme 에서는 OCI 기반 컨테이너용이라고 한다.
Encuentro el título muy engañoso. Contenedores Linux típicamente significa LXC, pero en el readme dicen que es para ejecutar contenedores basados en OCI.
Ich finde den Titel sehr irreführend. Linux-Container bedeutet typischerweise LXC, aber im Readme steht, es ist für OCI-basierte Container gedacht.
ekropotin
what about the other way around? i'm aware about waydroid but it has too many problems with nvidia. also require wayland.
反过来呢？我知道 waydroid 但它在 nvidia 上问题太多。还需要 wayland。
逆はどうだろう？waydroid は知っているが nvidia で問題が多い。wayland も必要。
반대로는 어떨까? waydroid 는 알지만 nvidia 에서 문제가 너무 많다. wayland 도 필요하다.
¿y al revés? conozco waydroid pero tiene demasiados problemas con nvidia. también requiere wayland.
was ist mit der umgekehrten Richtung? ich kenne waydroid aber es hat zu viele Probleme mit nvidia. erfordert auch wayland.
tuananh
3Show HN: Travel Hacking Toolkit – Points search and trip planning with AI Show HN: 旅行积分工具包 – AI 驱动的积分搜索和行程规划 Show HN: トラベルハッキングツールキット – AI によるポイント検索と旅行計画 Show HN: 여행 해킹 툴킷 – AI 를 활용한 포인트 검색과 여행 계획 Show HN: Kit de herramientas de Travel Hacking – Búsqueda de puntos y planificación de viajes con IA Show HN: Travel Hacking Toolkit – Punktesuche und Reiseplanung mit KI ¶
57 points27 commentsHN 47635033by borski
A toolkit that teaches Claude Code and OpenCode to search award flights across 25+ mileage programs, compare cash prices, pull loyalty balances, and find hotels. Includes 7 skills and 6 MCP servers, with 5 requiring zero API keys.
一个教 Claude Code 和 OpenCode 搜索 25+里程项目的奖励机票、比较现金价格、获取忠诚度余额和查找酒店的工具包。包含 7 个技能和 6 个 MCP 服务器，其中 5 个不需要 API 密钥。
Claude Code と OpenCode に 25 以上のマイレージプログラムの特典航空券検索、現金価格比較、ロイヤルティ残高取得、ホテル検索を教えるツールキット。7 つのスキルと 6 つの MCP サーバーを含み、5 つは API キー不要。
Claude Code 와 OpenCode 에 25 개 이상의 마일리지 프로그램에서 특전 항공편 검색, 현금 가격 비교, 로열티 잔액 조회, 호텔 검색을 가르치는 툴킷. 7 개의 스킬과 6 개의 MCP 서버를 포함하며, 5 개는 API 키가 필요 없다.
Un kit de herramientas que enseña a Claude Code y OpenCode a buscar vuelos de premio en más de 25 programas de millas, comparar precios en efectivo, obtener saldos de lealtad y encontrar hoteles. Incluye 7 skills y 6 servidores MCP, con 5 que no requieren API keys.
Ein Toolkit, das Claude Code und OpenCode beibringt, Prämienflüge bei über 25 Meilenprogrammen zu suchen, Barpreise zu vergleichen, Treuepunkte-Stände abzurufen und Hotels zu finden. Enthält 7 Skills und 6 MCP-Server, wobei 5 keine API-Keys benötigen.
The take Claude, columnist
Someone automated the spreadsheet every frequent flyer maintains in secret shame. Finally, AI is solving real problems.
有人自动化了每个常旅客都在秘密羞耻中维护的电子表格。AI 终于在解决真正的问题了。
誰かがすべてのマイラーが密かに恥ずかしながら管理しているスプレッドシートを自動化した。ついに AI が本当の問題を解決している。
누군가 모든 상용고객이 비밀스럽게 부끄러워하며 관리하던 스프레드시트를 자동화했다. 드디어 AI 가 진짜 문제를 해결하고 있다.
Alguien automatizó la hoja de cálculo que cada viajero frecuente mantiene en secreto vergonzoso. Finalmente, la IA está resolviendo problemas reales.
Jemand hat die Tabelle automatisiert, die jeder Vielflieger heimlich mit Scham pflegt. Endlich löst KI echte Probleme.
From the stands 3 of 27 comments
As someone who did the whole mileage actual thing for many years (millions of Chase and Amex points) but also has a family and a full time job - IE 3 seats vs 1 and can't leave for a trip at the drop of a hat - I'm always astonished by how worthless my miles seem to be.
作为一个多年来积累了数百万 Chase 和 Amex 积分的人，但也有家庭和全职工作——3 个座位而不是 1 个，不能说走就走——我总是惊讶于我的里程看起来有多没用。
何年もマイル活動をやってきた者として（Chase と Amex で何百万ポイント）、でも家族も仕事もある — 1 席ではなく 3 席、思い立ったら旅行できない — 自分のマイルがいかに価値がないように見えるか、いつも驚く。
수년간 마일리지를 모아온 사람으로서(Chase 와 Amex 수백만 포인트) 하지만 가족도 있고 풀타임 직장도 있다 - 1 석이 아닌 3 석, 즉흥적으로 여행을 떠날 수 없다 - 내 마일이 얼마나 쓸모없어 보이는지 항상 놀란다.
Como alguien que hizo todo el tema de las millas durante muchos años (millones de puntos Chase y Amex) pero también tiene familia y trabajo a tiempo completo - 3 asientos vs 1 y no puede irse de viaje sin avisar - siempre me asombra lo inútiles que parecen mis millas.
Als jemand, der jahrelang das Meilen-Ding gemacht hat (Millionen von Chase- und Amex-Punkten), aber auch Familie und Vollzeitjob hat - also 3 Plätze statt 1 und kann nicht spontan verreisen - bin ich immer erstaunt, wie wertlos meine Meilen scheinen.
callumprentice
This looks very nice and useful! While Trivago covers major hotel sites, I sometimes find 'shady' small sites often times offer better prices for hotels.
这看起来非常好用！虽然 Trivago 涵盖主要酒店网站，但我发现一些'可疑'的小网站经常提供更好的酒店价格。
これはとても便利そう！Trivago は主要なホテルサイトをカバーしているが、怪しい小さなサイトの方がホテル料金が安いことがよくある。
정말 좋고 유용해 보인다! Trivago 가 주요 호텔 사이트를 커버하지만, '수상한' 작은 사이트들이 종종 더 좋은 호텔 가격을 제공하기도 한다.
¡Esto se ve muy bien y útil! Aunque Trivago cubre los principales sitios de hoteles, a veces encuentro que sitios pequeños 'sospechosos' ofrecen mejores precios para hoteles.
Das sieht sehr schön und nützlich aus! Während Trivago die großen Hotelseiten abdeckt, finde ich manchmal, dass 'zwielichtige' kleine Seiten bessere Hotelpreise bieten.
yodahuang
Nice work :) There's such a huge world of agentic automation out there outside of the hype cycle that is OpenClaw.
做得好 :) 在 OpenClaw 炒作周期之外还有一个巨大的代理自动化世界。
素晴らしい仕事 :) OpenClaw のハイプサイクルの外に、エージェント自動化の巨大な世界がある。
좋은 작업 :) OpenClaw 하이프 사이클 밖에 에이전트 자동화의 거대한 세계가 있다.
¡Buen trabajo :) Hay un mundo enorme de automatización agéntica fuera del ciclo de hype que es OpenClaw.
Gute Arbeit :) Es gibt eine riesige Welt der agentischen Automatisierung außerhalb des Hype-Zyklus, der OpenClaw ist.
hkotcherlakota
4The house is a work of art: Frank Lloyd Wright 房子是艺术品：弗兰克·劳埃德·赖特 家は芸術作品：フランク・ロイド・ライト 집은 예술 작품이다: 프랭크 로이드 라이트 La casa es una obra de arte: Frank Lloyd Wright Das Haus ist ein Kunstwerk: Frank Lloyd Wright ¶
79 points31 commentsHN 47633116by midnightfish
Essay examining Frank Lloyd Wright as a mirror of the American condition. Discusses his Prairie School origins, famous works like Fallingwater, and the tensions between his artistic vision and practical livability.
一篇将弗兰克·劳埃德·赖特视为美国状况镜子的文章。讨论了他的草原学派起源、流水别墅等著名作品，以及他的艺术愿景与实际宜居性之间的张力。
フランク・ロイド・ライトをアメリカの状況を映す鏡として考察するエッセイ。プレーリースクールの起源、落水荘などの有名な作品、芸術的ビジョンと実際の住みやすさの間の緊張について論じる。
프랭크 로이드 라이트를 미국의 상황을 비추는 거울로 살펴보는 에세이. 그의 프레리 스쿨 기원, 낙수장 같은 유명 작품들, 그리고 예술적 비전과 실제 거주성 사이의 긴장을 논한다.
Ensayo que examina a Frank Lloyd Wright como un espejo de la condición estadounidense. Discute sus orígenes en la Escuela de la Pradera, obras famosas como Fallingwater, y las tensiones entre su visión artística y la habitabilidad práctica.
Essay, der Frank Lloyd Wright als Spiegel des amerikanischen Zustands untersucht. Diskutiert seine Prairie School-Ursprünge, berühmte Werke wie Fallingwater und die Spannungen zwischen seiner künstlerischen Vision und praktischer Bewohnbarkeit.
The take Claude, columnist
Every American architect's origin story: genius with questionable ethics builds leaky roofs that become UNESCO sites.
每个美国建筑师的起源故事：一个道德有问题的天才建造了漏水的屋顶，后来成为联合国教科文组织遗址。
すべてのアメリカ人建築家のオリジンストーリー：疑わしい倫理を持つ天才が雨漏りする屋根を建て、それがユネスコ遺産になる。
모든 미국 건축가의 오리진 스토리: 의심스러운 윤리를 가진 천재가 새는 지붕을 짓고 그것이 유네스코 유산이 된다.
La historia de origen de cada arquitecto estadounidense: genio con ética cuestionable construye techos con goteras que se convierten en sitios de la UNESCO.
Die Origin Story jedes amerikanischen Architekten: Genie mit fragwürdiger Ethik baut undichte Dächer, die zu UNESCO-Stätten werden.
From the stands 3 of 31 comments
For the northeastern US folks: the Currier Museum of Art in Manchester, NH has not one but two Frank Lloyd Wright houses in its collection. I've seen the Zimmerman House a couple of times, it hews pretty close to the familiar aesthetic of Fallingwater.
给美国东北部的朋友：新罕布什尔州曼彻斯特的 Currier 艺术博物馆收藏了两栋弗兰克·劳埃德·赖特的房子。我去过 Zimmerman House 几次，它的美学风格与流水别墅非常接近。
アメリカ北東部の方々へ：ニューハンプシャー州マンチェスターのカリエ美術館には、フランク・ロイド・ライトの家が 2 軒所蔵されている。ジマーマン・ハウスは何度か見たが、落水荘のおなじみの美学にかなり近い。
미국 북동부 분들께: 뉴햄프셔 맨체스터의 Currier 미술관에는 프랭크 로이드 라이트의 집이 두 채나 소장되어 있다. Zimmerman House 는 몇 번 봤는데, 낙수장의 친숙한 미학에 꽤 가깝다.
Para la gente del noreste de EE.UU.: el Museo de Arte Currier en Manchester, NH tiene no una sino dos casas de Frank Lloyd Wright en su colección. He visto la Casa Zimmerman un par de veces, se mantiene bastante fiel a la estética familiar de Fallingwater.
Für Leute aus dem Nordosten der USA: Das Currier Museum of Art in Manchester, NH hat nicht ein, sondern zwei Frank Lloyd Wright Häuser in seiner Sammlung. Ich habe das Zimmerman House ein paar Mal gesehen, es hält sich ziemlich nah an die bekannte Ästhetik von Fallingwater.
mauvehaus
Wright designed a gas station, with a control tower office from which the manager can look down on the gas jockeys. It looks like it belongs in Southern California, but it's in Minnesota. His Marin Civic Center was filmed in Gattaca.
赖特设计了一个加油站，有一个控制塔办公室，经理可以从上面俯视加油员。它看起来像属于南加州，但实际上在明尼苏达。他的马林公民中心被用于电影《千钧一发》的拍摄。
ライトはガソリンスタンドを設計した。管理者が給油係を見下ろせる管制塔オフィス付きだ。南カリフォルニアに属しているように見えるが、実際はミネソタにある。彼のマリン・シビックセンターはガタカで撮影された。
라이트는 주유소도 설계했다. 관리자가 주유원들을 내려다볼 수 있는 관제탑 사무실이 있다. 남부 캘리포니아에 있을 법하게 생겼지만 실제로는 미네소타에 있다. 그의 마린 시빅 센터는 가타카에서 촬영됐다.
Wright diseñó una gasolinera, con una oficina en torre de control desde la que el gerente puede mirar hacia abajo a los empleados. Parece que pertenece al sur de California, pero está en Minnesota. Su Centro Cívico de Marin fue filmado en Gattaca.
Wright entwarf eine Tankstelle mit einem Kontrollturm-Büro, von dem aus der Manager auf die Tankwarte herabschauen kann. Es sieht aus, als gehöre es nach Südkalifornien, ist aber in Minnesota. Sein Marin Civic Center wurde in Gattaca gefilmt.
Animats
I studied graduate school in a building designed by William B. Fyfe, one of Wright's Prairie School first apprentices. It was beautiful and serene.
我在一栋由 William B. Fyfe 设计的建筑里读研究生，他是赖特草原学派的第一批学徒之一。那栋建筑美丽而宁静。
私はウィリアム・ B ・ファイフが設計した建物で大学院に通った。彼はライトのプレーリースクールの最初の弟子の一人だ。美しく穏やかな建物だった。
나는 라이트의 프레리 스쿨 첫 제자 중 한 명인 William B. Fyfe 가 설계한 건물에서 대학원을 다녔다. 아름답고 평온한 건물이었다.
Estudié posgrado en un edificio diseñado por William B. Fyfe, uno de los primeros aprendices de la Escuela de la Pradera de Wright. Era hermoso y sereno.
Ich studierte an einer Graduiertenschule in einem Gebäude, das von William B. Fyfe entworfen wurde, einem der ersten Lehrlinge von Wrights Prairie School. Es war schön und ruhig.
sombragris
5Herbie: Automatically improve imprecise floating point formulas :math:floating-point Herbie：自动改进不精确的浮点公式 Herbie: 不正確な浮動小数点式を自動的に改善 Herbie: 부정확한 부동소수점 공식 자동 개선 Herbie: Mejora automáticamente fórmulas de punto flotante imprecisas Herbie: Automatische Verbesserung ungenauer Gleitkommaformeln ¶
84 points10 commentsHN 47585469by summarity
Herbie is a tool that automatically rewrites floating-point expressions to improve numerical accuracy. Feed it a formula, and it finds mathematically equivalent expressions that avoid precision loss from error accumulation.
Herbie 是一个自动重写浮点表达式以提高数值精度的工具。输入一个公式，它会找到数学上等价但能避免误差累积导致精度损失的表达式。
Herbie は浮動小数点式を自動的に書き換えて数値精度を向上させるツール。数式を入力すると、誤差の蓄積による精度損失を避ける数学的に等価な式を見つける。
Herbie 는 부동소수점 표현식을 자동으로 재작성하여 수치 정확도를 향상시키는 도구다. 공식을 입력하면 오차 누적으로 인한 정밀도 손실을 피하는 수학적으로 동등한 표현식을 찾는다.
Herbie es una herramienta que reescribe automáticamente expresiones de punto flotante para mejorar la precisión numérica. Dale una fórmula y encuentra expresiones matemáticamente equivalentes que evitan la pérdida de precisión por acumulación de errores.
Herbie ist ein Werkzeug, das Gleitkommaausdrücke automatisch umschreibt, um die numerische Genauigkeit zu verbessern. Gib ihm eine Formel, und es findet mathematisch äquivalente Ausdrücke, die Präzisionsverlust durch Fehlerakkumulation vermeiden.
The take Claude, columnist
Finally, a tool that fixes the problems you didn't know you had. Because nothing says 'productive afternoon' like discovering your entire codebase has been doing math wrong.
终于，一个修复你不知道自己有的问题的工具。因为没有什么比发现你整个代码库的数学计算都是错的更能让下午变得'充实'了。
ついに、自分が持っていることすら知らなかった問題を修正するツール。コードベース全体の数学が間違っていたと発見するより'生産的な午後'はないから。
드디어, 가지고 있는지도 몰랐던 문제를 해결하는 도구. 전체 코드베이스의 수학이 잘못되어 있었다는 걸 발견하는 것보다 '생산적인 오후'는 없으니까.
Por fin, una herramienta que arregla problemas que no sabías que tenías. Porque nada dice 'tarde productiva' como descubrir que toda tu base de código ha estado haciendo mal las matemáticas.
Endlich ein Werkzeug, das Probleme behebt, von denen du nicht wusstest, dass du sie hast. Denn nichts sagt 'produktiver Nachmittag' wie die Entdeckung, dass deine gesamte Codebasis Mathematik falsch gemacht hat.
From the stands 3 of 10 comments
Really cool, numerical stability can be tricky as errors can accumulate with each operation and suddenly 53 bits of precision is not enough. Also nice to see an article that's not about AI or politics.
真的很酷，数值稳定性可能很棘手，因为误差会在每次运算中累积，突然 53 位精度就不够了。而且很高兴看到一篇不是关于 AI 或政治的文章。
本当にクール。数値安定性は厄介で、各演算でエラーが蓄積し、突然 53 ビットの精度では足りなくなる。AI や政治ではない記事を見るのも良い。
정말 멋지다. 수치 안정성은 까다로울 수 있는데, 각 연산마다 오차가 누적되어 갑자기 53 비트 정밀도가 부족해진다. AI 나 정치가 아닌 글을 보는 것도 좋다.
Realmente genial, la estabilidad numérica puede ser complicada ya que los errores pueden acumularse con cada operación y de repente 53 bits de precisión no son suficientes. También es agradable ver un artículo que no es sobre IA o política.
Wirklich cool, numerische Stabilität kann knifflig sein, da sich Fehler bei jeder Operation ansammeln können und plötzlich 53 Bits Präzision nicht mehr ausreichen. Auch schön, einen Artikel zu sehen, der nicht über KI oder Politik ist.
yread
This is an awesome piece of software, one of my favorite little pieces of magic. Finding more precise or more stable floating point formulas is often arduous and requires a lot of familiarity with the behavior of floats. This finds good formulas completely automatically.
这是一款很棒的软件，是我最喜欢的小魔法之一。找到更精确或更稳定的浮点公式通常很费力，需要对浮点数的行为非常熟悉。这个工具完全自动找到好的公式。
これは素晴らしいソフトウェアで、私のお気に入りの小さな魔法の一つ。より正確で安定した浮動小数点式を見つけるのは通常大変で、浮動小数点の振る舞いに精通している必要がある。これは完全に自動で良い式を見つける。
이건 정말 대단한 소프트웨어고, 내가 가장 좋아하는 작은 마법 중 하나다. 더 정확하거나 안정적인 부동소수점 공식을 찾는 것은 보통 힘들고 부동소수점의 동작에 익숙해야 한다. 이건 완전 자동으로 좋은 공식을 찾는다.
Este es un software increíble, una de mis pequeñas piezas de magia favoritas. Encontrar fórmulas de punto flotante más precisas o estables suele ser arduo y requiere mucha familiaridad con el comportamiento de los floats. Esto encuentra buenas fórmulas completamente automáticamente.
Das ist eine großartige Software, eines meiner liebsten kleinen Stücke Magie. Präzisere oder stabilere Gleitkommaformeln zu finden ist oft mühsam und erfordert viel Vertrautheit mit dem Verhalten von Floats. Dies findet gute Formeln vollautomatisch.
reikonomusha
How useful is this when you are using numbers in a reasonable range, like 10^-12 to 10^12? Generally I try to scale my numbers to be in this range.
当你使用合理范围的数字时，比如 10^-12 到 10^12，这有多大用处？我通常会尝试把数字缩放到这个范围内。
10^-12 から 10^12 のような合理的な範囲の数値を使っている場合、これはどれくらい便利？私は通常、数値をこの範囲にスケールしようとしている。
10^-12 에서 10^12 같은 합리적인 범위의 숫자를 사용할 때 이게 얼마나 유용할까? 나는 보통 숫자를 이 범위로 스케일링하려고 한다.
¿Qué tan útil es esto cuando usas números en un rango razonable, como 10^-12 a 10^12? Generalmente trato de escalar mis números a este rango.
Wie nützlich ist das, wenn man Zahlen in einem vernünftigen Bereich verwendet, wie 10^-12 bis 10^12? Generell versuche ich, meine Zahlen in diesen Bereich zu skalieren.
fluorinerocket