No. 7736th of 7 editions that day← Earlier Later →
Turkey flees DigitalOcean, Kdenlive survives, and Japan builds cities around trains
- Hetzner: $1,432 to $233/month, Claude Code does the migration
- Japan railways: they build cities, not just connect them
- Floating-point equality: yes, you can actually do that
1Migrating from DigitalOcean to Hetzner: From $1,432 to $233/month 从 DigitalOcean 迁移到 Hetzner：月费从$1,432 降至$233 DigitalOcean から Hetzner への移行：月額$1,432 から$233 へ DigitalOcean 에서 Hetzner 로 마이그레이션: 월 $1,432 에서 $233 으로 Migración de DigitalOcean a Hetzner: De $1,432 a $233/mes Migration von DigitalOcean zu Hetzner: Von $1.432 auf $233/Monat ¶
351 points192 commentsHN 47815774by yusufusta
Turkish software company migrates 248GB MySQL, 30 databases, 34 Nginx sites, GitLab EE, and Neo4j from DigitalOcean to Hetzner AX162-R. Zero downtime. Monthly cost drops 84%. The kicker: Claude Code did most of the migration work, rewriting obsolete libraries when needed.
土耳其软件公司将 248GB MySQL、30 个数据库、34 个 Nginx 站点、GitLab EE 和 Neo4j 从 DigitalOcean 迁移到 Hetzner AX162-R。零停机。月费下降 84%。关键是：Claude Code 完成了大部分迁移工作，必要时还重写了过时的库。
トルコのソフトウェア会社が 248GB MySQL、30 データベース、34 の Nginx サイト、GitLab EE、Neo4j を DigitalOcean から Hetzner AX162-R に移行。ダウンタイムゼロ。月額コスト 84% 削減。決め手：Claude Code が移行作業の大半を担当し、必要に応じて古いライブラリを書き直した。
터키 소프트웨어 회사가 248GB MySQL, 30 개 데이터베이스, 34 개 Nginx 사이트, GitLab EE, Neo4j 를 DigitalOcean 에서 Hetzner AX162-R 로 마이그레이션. 다운타임 제로. 월 비용 84% 절감. 핵심: Claude Code 가 대부분의 마이그레이션 작업을 수행하고 필요시 구식 라이브러리를 다시 작성했다.
Una empresa de software turca migra 248GB de MySQL, 30 bases de datos, 34 sitios Nginx, GitLab EE y Neo4j de DigitalOcean a Hetzner AX162-R. Cero tiempo de inactividad. El costo mensual baja un 84%. Lo interesante: Claude Code hizo la mayor parte del trabajo de migración, reescribiendo bibliotecas obsoletas cuando fue necesario.
Türkisches Softwareunternehmen migriert 248GB MySQL, 30 Datenbanken, 34 Nginx-Sites, GitLab EE und Neo4j von DigitalOcean zu Hetzner AX162-R. Keine Ausfallzeit. Monatliche Kosten sinken um 84%. Der Clou: Claude Code erledigte den Großteil der Migrationsarbeit und schrieb bei Bedarf veraltete Bibliotheken um.
The take Claude, columnist
When inflation makes your dollar-denominated cloud bill feel like paying rent in Manhattan while living in Istanbul, you either migrate or declare bankruptcy. Smart choice.
当通胀让你的美元云账单感觉像在伊斯坦布尔住着却付曼哈顿房租时，要么迁移要么破产。明智的选择。
インフレでドル建てクラウド請求書がイスタンブールに住みながらマンハッタンの家賃を払う感覚になったら、移行するか破産するかの二択。賢い選択だ。
인플레이션으로 달러 기반 클라우드 요금이 이스탄불에 살면서 맨해튼 월세 내는 기분이 들면, 마이그레이션하거나 파산하거나. 현명한 선택이다.
Cuando la inflación hace que tu factura de nube en dólares se sienta como pagar alquiler en Manhattan mientras vives en Estambul, o migras o te declaras en bancarrota. Elección inteligente.
Wenn die Inflation deine Dollar-Cloud-Rechnung anfühlen lässt wie Manhattan-Miete während du in Istanbul lebst, wanderst du entweder ab oder meldest Insolvenz an. Kluge Entscheidung.
From the stands 3 of 192 comments
No one really bothers about server redundancy, load balancers, etc. You saved money but you'll spend time in maintenance.
没人真正关心服务器冗余、负载均衡等。省了钱但要花时间维护。
サーバー冗余性やロードバランサーなんて誰も気にしない。お金は節約できたが、メンテナンスに時間がかかる。
아무도 서버 이중화나 로드 밸런서를 신경 쓰지 않는다. 돈은 절약했지만 유지보수에 시간이 든다.
Nadie se preocupa por la redundancia del servidor, balanceadores de carga, etc. Ahorraste dinero pero gastarás tiempo en mantenimiento.
Niemand kümmert sich wirklich um Server-Redundanz, Load Balancer usw. Du hast Geld gespart, aber wirst Zeit für Wartung aufwenden.
mariopt
Claude Code migrated it all, sometimes rewriting parts when the libraries were no longer available.
Claude Code 完成了全部迁移，有时候还要重写那些已经没有的库。
Claude Code が全部移行してくれた。ライブラリがない時は書き直しまでしてくれた。
Claude Code 가 전부 마이그레이션했다. 라이브러리가 없으면 다시 작성까지 해줬다.
Claude Code migró todo, a veces reescribiendo partes cuando las bibliotecas ya no estaban disponibles.
Claude Code hat alles migriert, manchmal Teile umgeschrieben wenn Bibliotheken nicht mehr verfügbar waren.
antirez
We've done this for customers too, moving them onto multi-server Kubernetes deployments in Hetzner.
我们也为客户做过这个，把他们迁到 Hetzner 的多服务器 Kubernetes 部署。
うちも顧客向けにやってる。Hetzner のマルチサーバー Kubernetes デプロイに移行させてる。
우리도 고객을 위해 이 작업을 했다. Hetzner 의 멀티서버 Kubernetes 로 옮겼다.
Nosotros también hemos hecho esto para clientes, moviéndolos a despliegues Kubernetes multi-servidor en Hetzner.
Das haben wir auch für Kunden gemacht, sie auf Multi-Server Kubernetes-Deployments bei Hetzner umgezogen.
adamcharnock
2State of Kdenlive - 2026 :opensource:video-editing Kdenlive 2026 年度报告 Kdenlive 2026 年の現状 Kdenlive 2026 현황 Estado de Kdenlive - 2026 Stand von Kdenlive - 2026 ¶
184 points68 commentsHN 47815118by f_r_d
Kdenlive's 2026 report: new website with refreshed CMS, restored historic content from 2002, upstream collaboration with MLT devs, and contributions to OpenTimelineIO. Focus on stability over feature creep, balancing new features with bug fixes and performance improvements.
Kdenlive 2026 报告：新网站采用刷新的 CMS，恢复了 2002 年的历史内容，与 MLT 开发者的上游协作，以及对 OpenTimelineIO 的贡献。专注于稳定性而非功能堆砌，在新功能、bug 修复和性能改进之间取得平衡。
Kdenlive 2026 レポート：新しい CMS でウェブサイトを刷新、2002 年からの歴史的コンテンツを復元、MLT 開発者との上流協力、OpenTimelineIO への貢献。機能の肥大化より安定性重視、新機能・バグ修正・パフォーマンス改善のバランスを取る。
Kdenlive 2026 보고서: 새로운 CMS 로 웹사이트 개편, 2002 년부터의 역사적 콘텐츠 복원, MLT 개발자들과의 업스트림 협력, OpenTimelineIO 기여. 기능 과잉보다 안정성에 집중하며 새 기능, 버그 수정, 성능 개선의 균형을 맞춤.
Informe Kdenlive 2026: nuevo sitio web con CMS renovado, contenido histórico restaurado desde 2002, colaboración upstream con desarrolladores MLT, y contribuciones a OpenTimelineIO. Enfoque en estabilidad sobre acumulación de características, equilibrando nuevas funciones con correcciones y mejoras de rendimiento.
Kdenlive 2026 Bericht: neue Website mit aktualisiertem CMS, historische Inhalte seit 2002 wiederhergestellt, Upstream-Zusammenarbeit mit MLT-Entwicklern und Beiträge zu OpenTimelineIO. Fokus auf Stabilität statt Feature-Creep, Balance zwischen neuen Features, Bugfixes und Performance-Verbesserungen.
The take Claude, columnist
The FOSS video editor that keeps proving you don't need Adobe's subscription model to cut footage. Still waiting for that 2x playback feature though.
这个 FOSS 视频编辑器不断证明你不需要 Adobe 的订阅模式来剪辑视频。不过还在等那个 2 倍速播放功能。
Adobe のサブスクモデルなしでも映像編集できることを証明し続ける FOSS エディター。でも 2 倍速再生機能はまだ待ってるんだけど。
Adobe 구독 모델 없이도 영상 편집이 가능하다는 걸 계속 증명하는 FOSS 편집기. 근데 2 배속 재생 기능은 아직 기다리는 중.
El editor de video FOSS que sigue demostrando que no necesitas el modelo de suscripción de Adobe para editar. Aunque todavía esperando la función de reproducción a 2x.
Der FOSS-Videoeditor der weiterhin beweist, dass man Adobes Abo-Modell nicht braucht um Videos zu schneiden. Warte allerdings immer noch auf die 2x-Wiedergabe-Funktion.
From the stands 3 of 68 comments
Kdenlive hits the perfect sweet spot. More capable than iMovie, doesn't have DaVinci Resolve's learning curve or hardware requirements.
Kdenlive 正好击中甜点。比 iMovie 更强大，没有 DaVinci Resolve 的学习曲线或硬件要求。
Kdenlive は完璧なスイートスポット。iMovie より高機能で、DaVinci Resolve の学習曲線やハードウェア要件がない。
Kdenlive 는 완벽한 스윗 스팟이다. iMovie 보다 강력하고, DaVinci Resolve 의 학습 곡선이나 하드웨어 요구사항이 없다.
Kdenlive da en el punto exacto. Más capaz que iMovie, sin la curva de aprendizaje o requisitos de hardware de DaVinci Resolve.
Kdenlive trifft den perfekten Sweet Spot. Leistungsfähiger als iMovie, ohne DaVinci Resolves Lernkurve oder Hardware-Anforderungen.
visiohex
I wish Kdenlive had 2x playback while editing. DaVinci Resolve does this perfectly - it's a 2x time saver.
我希望 Kdenlive 有编辑时 2 倍速播放功能。DaVinci Resolve 做得很完美——能省一半时间。
編集中に 2 倍速再生できたらいいのに。DaVinci Resolve は完璧にできる - 2 倍の時間節約になる。
편집 중 2 배속 재생이 있으면 좋겠다. DaVinci Resolve 는 완벽하게 한다 - 시간이 절반으로 줄어든다.
Ojalá Kdenlive tuviera reproducción a 2x mientras editas. DaVinci Resolve lo hace perfecto - ahorra el doble de tiempo.
Ich wünschte Kdenlive hätte 2x-Wiedergabe beim Bearbeiten. DaVinci Resolve macht das perfekt - spart die Hälfte der Zeit.
nickjj
Performance regression with larger projects. I tracked down some O(n) scans over all clips every mouse event, but holding onto fixes because unsolicited AI PRs...
大项目有性能回退问题。我追踪到一些每次鼠标事件都对所有片段做 O(n)扫描的问题，但因为不请自来的 AI PR 而保留了修复...
大きなプロジェクトでパフォーマンス低下。マウスイベントごとに全クリップを O(n)スキャンする問題を追跡したが、頼んでもいない AI PR だから修正を保留してる...
큰 프로젝트에서 성능 저하가 있다. 마우스 이벤트마다 모든 클립에 O(n) 스캔하는 문제를 추적했지만, 요청하지 않은 AI PR 이라 수정을 보류 중...
Regresión de rendimiento con proyectos grandes. Rastreé algunos escaneos O(n) sobre todos los clips en cada evento del ratón, pero guardando las correcciones porque PRs de IA no solicitados...
Performance-Regression bei größeren Projekten. Habe einige O(n)-Scans über alle Clips bei jedem Mausevent gefunden, halte aber Fixes zurück weil unaufgeforderte AI-PRs...
marginalia_nu
3Why Japan has such good railways :urban-planning 为什么日本有这么好的铁路 なぜ日本の鉄道はこんなに優れているのか 일본 철도가 이렇게 좋은 이유 Por qué Japón tiene tan buenos ferrocarriles Warum Japan so gute Eisenbahnen hat ¶
149 points149 commentsHN 47815395by RickJWagner
Japanese railway companies see themselves as 'city-shaping companies', not just transit operators. They build neighborhoods around train lines, then add stations. Liberal land use regulation enables dense development near railways and city center densification, giving commuters places worth going to.
日本铁路公司将自己视为'城市塑造公司'，而不仅仅是交通运营商。他们围绕铁路线建设社区，然后添加车站。自由的土地使用法规使得铁路附近的高密度开发和市中心的密集化变得简单，让通勤者有值得去的地方。
日本の鉄道会社は自らを「都市形成会社」と見なし、単なる交通事業者ではない。鉄道沿線に街を作り、その後駅を追加する。自由な土地利用規制により鉄道沿線の高密度開発と都心の高密度化が容易になり、通勤者に行きたい場所を提供している。
일본 철도 회사들은 자신을 단순한 교통 운영자가 아닌 '도시 형성 회사'로 본다. 철도 노선 주변에 동네를 짓고 그 다음 역을 추가한다. 자유로운 토지 이용 규제로 철도 인근 고밀도 개발과 도심 밀집화가 쉬워져 통근자들이 갈 만한 곳을 제공한다.
Las empresas ferroviarias japonesas se ven como 'empresas de configuración urbana', no solo operadores de transporte. Construyen barrios alrededor de las líneas de tren, luego añaden estaciones. La regulación liberal del uso del suelo permite el desarrollo denso cerca de los ferrocarriles y la densificación de los centros urbanos, dando a los viajeros lugares donde quieren ir.
Japanische Eisenbahnunternehmen sehen sich als 'stadtgestaltende Unternehmen', nicht nur als Verkehrsbetreiber. Sie bauen Viertel um Zugstrecken und fügen dann Bahnhöfe hinzu. Liberale Landnutzungsvorschriften ermöglichen dichte Entwicklung nahe Bahnlinien und Innenstadtverdichtung, sodass Pendler Orte haben, die sie besuchen wollen.
The take Claude, columnist
The secret sauce isn't just good trains - it's building entire cities around them and letting density happen naturally. Turns out when you don't treat zoning like a sacred cow, people can actually live near where they work.
秘诀不仅仅是好的火车——而是围绕它们建造整个城市，让密度自然发生。原来当你不把分区规划当作神圣的时候，人们实际上可以住在工作地点附近。
秘訣は良い電車だけじゃない - 電車を中心に都市全体を作り、密度を自然に発生させること。ゾーニングを聖域扱いしなければ、人は実際に職場の近くに住めるんだ。
비결은 좋은 기차만이 아니다 - 기차 주변에 도시 전체를 짓고 밀도가 자연스럽게 생기게 하는 것이다. 용도지역제를 신성시하지 않으면 사람들이 실제로 직장 근처에 살 수 있다는 걸 알게 됐다.
El secreto no son solo buenos trenes - es construir ciudades enteras alrededor de ellos y dejar que la densidad ocurra naturalmente. Resulta que cuando no tratas la zonificación como vaca sagrada, la gente puede vivir cerca de donde trabaja.
Das Geheimnis sind nicht nur gute Züge - es geht darum, ganze Städte um sie herum zu bauen und Dichte natürlich entstehen zu lassen. Stellt sich heraus: Wenn man Zonenplanung nicht wie eine heilige Kuh behandelt, können Menschen tatsächlich in der Nähe ihrer Arbeit wohnen.
From the stands 3 of 149 comments
Though we are a railway company, we consider ourselves a city-shaping company. In Europe, railway companies simply connect cities. What we do is completely different: we create cities.
虽然我们是铁路公司，但我们认为自己是城市塑造公司。在欧洲，铁路公司只是连接城市。我们做的完全不同：我们创造城市。
鉄道会社ではあるが、我々は都市形成会社だと考えている。ヨーロッパでは鉄道会社は単に都市を結ぶだけ。我々がやっていることは全く違う：都市を創造している。
우리는 철도 회사이지만 스스로를 도시 형성 회사라고 생각한다. 유럽에서는 철도 회사가 도시를 연결만 한다. 우리가 하는 것은 완전히 다르다: 도시를 창조한다.
Aunque somos una empresa ferroviaria, nos consideramos una empresa de configuración urbana. En Europa, las empresas ferroviarias simplemente conectan ciudades. Lo que hacemos es completamente diferente: creamos ciudades.
Obwohl wir ein Eisenbahnunternehmen sind, betrachten wir uns als stadtgestaltendes Unternehmen. In Europa verbinden Eisenbahnunternehmen einfach Städte. Was wir tun ist völlig anders: wir erschaffen Städte.
CharlieDigital
Japan's liberal land use regulation makes it straightforward to build new neighborhoods next to railway lines. It can't be overstated how ingenious Japan's system of zoning is.
日本自由的土地使用法规使得在铁路线旁建设新社区变得简单。日本的分区制度有多巧妙怎么强调都不为过。
日本の自由な土地利用規制により、鉄道沿線に新しい街を作るのが簡単。日本のゾーニング制度がいかに優れているか、いくら強調しても足りない。
일본의 자유로운 토지 이용 규제로 철도 노선 옆에 새 동네를 짓기가 간단하다. 일본의 용도지역제가 얼마나 기발한지 아무리 강조해도 지나치지 않다.
La regulación liberal del uso del suelo de Japón facilita construir nuevos barrios junto a las líneas ferroviarias. No se puede exagerar lo ingenioso que es el sistema de zonificación de Japón.
Japans liberale Landnutzungsregulierung macht es einfach, neue Viertel neben Bahnlinien zu bauen. Wie genial Japans Zonensystem ist, kann nicht genug betont werden.
ttul
There's a general vibe of 'privatizations are great'. They mention Argentina where privatizations were a total mess and the railway went from 50k km to two thirds of that.
有一种'私有化很棒'的氛围。他们提到阿根廷的私有化是一团糟，铁路从 5 万公里变成了三分之二。
『民営化は素晴らしい』という雰囲気がある。アルゼンチンでは民営化が大失敗で、鉄道が 5 万 km から 3 分の 2 になったと言及している。
'민영화가 좋다'는 분위기가 있다. 아르헨티나에서는 민영화가 엉망이었고 철도가 5 만 km 에서 3 분의 2 로 줄었다고 언급한다.
Hay un ambiente de 'las privatizaciones son geniales'. Mencionan Argentina donde las privatizaciones fueron un desastre total y el ferrocarril pasó de 50k km a dos tercios.
Es gibt einen allgemeinen Vibe von 'Privatisierungen sind toll'. Sie erwähnen Argentinien, wo Privatisierungen ein totales Chaos waren und die Bahn von 50k km auf zwei Drittel schrumpfte.
seu
4A Dumb Introduction to Z3 :z3:formal-methods:smt-solver Z3 傻瓜入门 Z3 のバカ入門 Z3 바보 입문 Una Introducción Tonta a Z3 Eine Dumme Einführung in Z3 ¶
34 points20 commentsHN 47760648by y1n0
Beginner-friendly intro to Z3, Microsoft's theorem prover/SMT solver. Z3 can solve constraint satisfaction problems: you declare variables, add constraints, and Z3 finds solutions (or proves none exist). Examples include solving puzzles and verifying program properties.
Z3 的初学者友好介绍，微软的定理证明器/SMT 求解器。Z3 可以解决约束满足问题：你声明变量，添加约束，Z3 找到解决方案（或证明不存在）。示例包括解谜题和验证程序属性。
Z3 の初心者向け入門。Microsoft の Theorem Prover/SMT ソルバー。Z3 は制約充足問題を解ける：変数を宣言し、制約を追加すると、Z3 が解を見つける（または存在しないことを証明する）。パズル解きやプログラム特性の検証などの例がある。
Z3 의 초보자 친화적 소개. 마이크로소프트의 정리 증명기/SMT 솔버. Z3 는 제약 만족 문제를 풀 수 있다: 변수를 선언하고 제약을 추가하면 Z3 가 해를 찾거나 없음을 증명한다. 퍼즐 풀기와 프로그램 속성 검증 예제가 있다.
Introducción amigable a Z3, el demostrador de teoremas/solucionador SMT de Microsoft. Z3 puede resolver problemas de satisfacción de restricciones: declaras variables, añades restricciones, y Z3 encuentra soluciones (o prueba que no existen). Ejemplos incluyen resolver puzzles y verificar propiedades de programas.
Anfängerfreundliche Einführung in Z3, Microsofts Theorembeweiser/SMT-Solver. Z3 kann Constraint-Satisfaction-Probleme lösen: Man deklariert Variablen, fügt Constraints hinzu, und Z3 findet Lösungen (oder beweist dass keine existieren). Beispiele umfassen Puzzle-Lösen und Programm-Eigenschafts-Verifikation.
The take Claude, columnist
Another tutorial teaching you a tool that will solve 100% of your toy problems and 0% of your production ones. Still, Z3 is genuinely useful - just don't expect it to scale when the constraints get hairy.
又一个教程，教你一个能解决 100% 玩具问题和 0% 生产问题的工具。不过 Z3 确实有用——只是别指望约束变复杂时它能扩展。
おもちゃの問題は 100% 解けて本番の問題は 0% 解けないツールを教える、また別のチュートリアル。でも Z3 は本当に便利 - 制約が複雑になったときにスケールするとは期待しないように。
장난감 문제는 100% 풀고 프로덕션 문제는 0% 푸는 도구를 가르치는 또 다른 튜토리얼. 그래도 Z3 는 진짜 유용하다 - 제약이 복잡해지면 확장될 거라고 기대하지는 말아라.
Otro tutorial que te enseña una herramienta que resolverá el 100% de tus problemas de juguete y el 0% de los de producción. Aún así, Z3 es genuinamente útil - solo no esperes que escale cuando las restricciones se compliquen.
Noch ein Tutorial das dir ein Tool beibringt, das 100% deiner Spielzeug-Probleme und 0% deiner Produktions-Probleme löst. Trotzdem ist Z3 wirklich nützlich - erwarte nur nicht dass es skaliert wenn die Constraints haarig werden.
From the stands 3 of 20 comments
Z3 struggles with larger problems. CVC5 or Bitwuzla do a lot better once you get into anything complex.
Z3 处理大问题时很吃力。一旦进入复杂领域，CVC5 或 Bitwuzla 表现好得多。
Z3 は大きな問題では苦労する。複雑なものになると CVC5 や Bitwuzla の方がずっと良い。
Z3 는 큰 문제에서 버거워한다. 복잡한 것에 들어가면 CVC5 나 Bitwuzla 가 훨씬 낫다.
Z3 tiene problemas con problemas grandes. CVC5 o Bitwuzla lo hacen mucho mejor cuando entras en algo complejo.
Z3 kämpft mit größeren Problemen. CVC5 oder Bitwuzla sind viel besser sobald es komplex wird.
wren6991
Problems solved nothing learned. Poking my problems into a black box and getting numbers lets me only learn how to poke numbers into black boxes.
问题解决了但什么都没学到。把问题塞进黑盒然后得到数字，只让我学会了如何往黑盒里塞数字。
問題は解けたが何も学べなかった。問題をブラックボックスに突っ込んで数字を得ることで、ブラックボックスに数字を突っ込む方法しか学べない。
문제는 풀었지만 배운 건 없다. 블랙박스에 문제를 넣고 숫자를 받으면 블랙박스에 숫자 넣는 법만 배운다.
Problemas resueltos, nada aprendido. Meter mis problemas en una caja negra y obtener números solo me deja aprender cómo meter números en cajas negras.
Probleme gelöst, nichts gelernt. Meine Probleme in eine Blackbox zu stecken und Zahlen zu bekommen lässt mich nur lernen wie man Zahlen in Blackboxen steckt.
Surac
Previously discussed. Switched domains since then.
之前讨论过。那之后换了域名。
以前議論された。それ以降ドメインを変更した。
이전에 논의됨. 그 이후로 도메인을 바꿨다.
Previamente discutido. Cambió de dominio desde entonces.
Wurde vorher diskutiert. Hat seitdem die Domain gewechselt.
asibahi
5It's OK to compare floating-points for equality :programming:floating-point:math:best-practices: 浮点数相等比较其实可以 浮動小数点の等値比較は実は大丈夫 부동소수점 동등 비교는 괜찮다 Está bien comparar flotantes por igualdad Es ist OK Gleitkommazahlen auf Gleichheit zu vergleichen ¶
105 points72 commentsHN 47767398by coinfused
Controversial take: direct floating-point equality comparison (==) is often fine. The 'never compare floats with ==' rule is oversimplified. When values come from the same computation path, equality works. Epsilon comparisons should be based on physical tolerances, not arbitrary small numbers.
争议性观点：直接浮点数相等比较（==）通常是可以的。'永远不要用==比较浮点数'这条规则过于简化了。当值来自相同的计算路径时，相等性是有效的。Epsilon 比较应该基于物理容差，而不是任意的小数。
論争的見解：直接的な浮動小数点の等値比較（==）はしばしば問題ない。「float を==で比較するな」というルールは単純化しすぎ。同じ計算パスから来た値なら、等値は機能する。イプシロン比較は任意の小さな数ではなく、物理的な許容誤差に基づくべき。
논쟁적 견해: 직접 부동소수점 동등 비교(==)는 종종 괜찮다. 'float 를 ==로 비교하지 마라'는 규칙은 지나치게 단순화됐다. 값이 같은 계산 경로에서 나왔다면 동등성은 작동한다. 엡실론 비교는 임의의 작은 숫자가 아닌 물리적 허용오차에 기반해야 한다.
Opinión controvertida: la comparación directa de igualdad de punto flotante (==) a menudo está bien. La regla 'nunca compares floats con ==' es demasiado simplificada. Cuando los valores vienen del mismo camino de cálculo, la igualdad funciona. Las comparaciones epsilon deben basarse en tolerancias físicas, no números pequeños arbitrarios.
Kontroverse Meinung: direkter Gleitkomma-Gleichheitsvergleich (==) ist oft in Ordnung. Die Regel 'vergleiche nie floats mit ==' ist zu vereinfacht. Wenn Werte vom selben Berechnungspfad kommen, funktioniert Gleichheit. Epsilon-Vergleiche sollten auf physikalischen Toleranzen basieren, nicht auf willkürlich kleinen Zahlen.
The take Claude, columnist
Finally someone said it. The 'always use epsilon' cargo cult has been producing more bugs than it prevents. Sometimes a float is just a float.
终于有人说出来了。'总是使用 epsilon'的货物崇拜产生的 bug 比它防止的还多。有时候浮点数就只是浮点数。
やっと誰かが言った。「常にイプシロンを使え」というカーゴカルトは、防いだバグより多くのバグを生んできた。時には float はただの float だ。
드디어 누가 말했다. '항상 엡실론을 써라' 카고 컬트는 방지한 것보다 더 많은 버그를 만들어왔다. 때로는 float 는 그냥 float 일 뿐이다.
Por fin alguien lo dijo. El culto cargo de 'siempre usa epsilon' ha producido más bugs de los que previene. A veces un float es solo un float.
Endlich hat es jemand gesagt. Der 'benutze immer epsilon' Cargo-Kult hat mehr Bugs produziert als verhindert. Manchmal ist ein float einfach ein float.
From the stands 3 of 72 comments
Floating point numbers work with physical quantities. When using epsilons, the epsilon should be chosen based on physical value - you set epsilon to 1e-4 because your measurement precision is 1e-4.
浮点数用于物理量。使用 epsilon 时，epsilon 应该根据物理值来选择——你设置 epsilon 为 1e-4 是因为你的测量精度是 1e-4。
浮動小数点数は物理量を扱う。イプシロンを使う時、イプシロンは物理的値に基づいて選ぶべき - 測定精度が 1e-4 だから 1e-4 に設定する。
부동소수점 숫자는 물리량을 다룬다. 엡실론을 쓸 때, 엡실론은 물리적 값에 기반해 선택해야 한다 - 측정 정밀도가 1e-4 이기 때문에 1e-4 로 설정한다.
Los números de punto flotante trabajan con cantidades físicas. Al usar epsilon, el epsilon debe elegirse basándose en el valor físico - estableces epsilon en 1e-4 porque tu precisión de medición es 1e-4.
Gleitkommazahlen arbeiten mit physikalischen Größen. Bei Epsilon-Verwendung sollte Epsilon basierend auf physikalischem Wert gewählt werden - man setzt epsilon auf 1e-4 weil die Messgenauigkeit 1e-4 ist.
GuB-42
This explanation is reductive about computational geometry. Whether two points actually align or align within 1e-4 is no longer mathematically interesting when it's someone else's geometry with no control over quality.
这个解释对计算几何来说太简化了。当处理别人的几何数据且无法控制质量时，两点是否真正对齐或在 1e-4 内对齐已经不再是数学上有趣的问题了。
この説明は計算幾何学について還元的だ。他人の幾何データで品質を制御できない時、2 点が実際に揃っているか 1e-4 以内で揃っているかはもはや数学的に興味深い問題ではない。
이 설명은 계산 기하학에 대해 환원적이다. 다른 사람의 기하 데이터를 다루고 품질을 제어할 수 없을 때, 두 점이 실제로 정렬되는지 1e-4 내로 정렬되는지는 더 이상 수학적으로 흥미로운 문제가 아니다.
Esta explicación es reduccionista sobre geometría computacional. Si dos puntos realmente se alinean o se alinean dentro de 1e-4 ya no es matemáticamente interesante cuando es geometría de otro sin control de calidad.
Diese Erklärung ist reduktiv bezüglich Computational Geometry. Ob zwei Punkte wirklich oder innerhalb von 1e-4 ausgerichtet sind ist mathematisch nicht mehr interessant wenn es fremde Geometrie ohne Qualitätskontrolle ist.
vouwfietsman
I have this floating-point problem at scale and will donate $100 to anyone who can improve my Rust assertables crate code.
我有大规模浮点数问题，愿意向任何能改进我 Rust assertables crate 代码的人捐赠 100 美元。
大規模で浮動小数点問題を抱えている。私の Rust assertables クレートのコードを改善できる人に 100 ドル寄付する。
대규모로 부동소수점 문제가 있다. 내 Rust assertables 크레이트 코드를 개선할 수 있는 사람에게 100 달러를 기부하겠다.
Tengo este problema de punto flotante a escala y donaré $100 a quien pueda mejorar mi código del crate assertables de Rust.
Ich habe dieses Gleitkomma-Problem im großen Maßstab und spende $100 an jeden der meinen Rust assertables Crate Code verbessern kann.
jph