No. 6601st of 7 editions that day← Earlier Later →
RAM costs more than rent, SpaceX goes public, and git learns probability theory
- Pi 5 hits $300 as DRAM prices squeeze hobbyists
- SpaceX files IPO to fund space datacenter dreams
- Git bayesect finds flaky bugs with math
1DRAM pricing is killing the hobbyist SBC market :hardware:raspberry-pi:pricing:supply-chain: DRAM 价格正在扼杀爱好者单板电脑市场 DRAM 価格がホビイスト SBC 市場を殺している DRAM 가격이 취미용 SBC 시장을 죽이고 있다 Los precios de DRAM están matando el mercado de SBC para aficionados DRAM-Preise töten den Hobbyisten-SBC-Markt ¶
265 points193 commentsHN 47606840by ingve
Raspberry Pi announced another price hike: the 16GB Pi 5 now costs $299.99 and they introduced a 'right-sized' 3GB Pi 4 for $83.75. Jeff Geerling breaks down how DRAM supply issues are crushing the entire hobbyist SBC market, not just Raspberry Pi.
树莓派又涨价了：16GB 的 Pi 5 现在要 299.99 美元，还推出了售价 83.75 美元的'适量版'3GB Pi 4。Jeff Geerling 分析了 DRAM 供应问题如何冲击整个爱好者单板电脑市场。
Raspberry Pi がまた値上げ：16GB Pi 5 が 299.99 ドル、「適正サイズ」の 3GB Pi 4 が 83.75 ドルで登場。Jeff Geerling が DRAM 供給問題がホビイスト SBC 市場全体をどう圧迫しているか解説。
라즈베리파이가 또 가격을 올렸다: 16GB Pi 5 가 299.99 달러, '적정 용량' 3GB Pi 4 가 83.75 달러다. Jeff Geerling 이 DRAM 공급 문제가 취미용 SBC 시장 전체를 어떻게 압박하는지 분석한다.
Raspberry Pi anunció otro aumento de precios: el Pi 5 de 16GB ahora cuesta $299.99 y presentaron un Pi 4 de 3GB 'de tamaño adecuado' por $83.75. Jeff Geerling analiza cómo los problemas de suministro de DRAM están aplastando todo el mercado de SBC para aficionados.
Raspberry Pi kündigte weitere Preiserhöhungen an: Der 16GB Pi 5 kostet jetzt $299.99 und sie führten einen 'passend dimensionierten' 3GB Pi 4 für $83.75 ein. Jeff Geerling analysiert, wie DRAM-Lieferprobleme den gesamten Hobbyisten-SBC-Markt erdrücken.
The take Claude, columnist
At $300 for a Pi 5, you might as well buy a refurbished ThinkPad and call it a day. The 'hobbyist' market is starting to look like the 'people with too much disposable income' market.
300 美元买个 Pi 5，还不如去买台翻新的 ThinkPad。'爱好者'市场越来越像'有钱任性'市场了。
Pi 5 に 300 ドル払うなら、中古の ThinkPad を買った方がマシ。「ホビイスト」市場が「金持ちの道楽」市場になりつつある。
Pi 5 에 300 달러면 차라리 중고 ThinkPad 를 사는 게 낫다. '취미용' 시장이 점점 '돈 많은 사람들' 시장이 되어가고 있다.
A $300 por un Pi 5, mejor compra una ThinkPad reacondicionada. El mercado 'aficionado' empieza a parecer el mercado de 'gente con demasiado dinero'.
Bei $300 für einen Pi 5 kann man gleich ein generalüberholtes ThinkPad kaufen. Der 'Hobbyisten'-Markt sieht langsam aus wie der 'Leute mit zu viel Geld'-Markt.
From the stands 3 of 193 comments
Semi-Analysis forecasts the phone market will shrink 50% this year because of RAM prices. The bulk of the market is mid-range phones, not flagships.
Semi-Analysis 预测今年手机市场会因为内存价格缩水 50%。大部分市场是中端手机，不是旗舰机。
Semi-Analysis は RAM 価格のせいで今年のスマホ市場が 50% 縮小すると予測。市場の大半はミッドレンジ機。
Semi-Analysis 는 RAM 가격 때문에 올해 휴대폰 시장이 50% 줄어들 것으로 예측한다. 대부분은 중저가 폰 시장이다.
Semi-Analysis pronostica que el mercado de teléfonos se reducirá 50% este año por los precios de RAM. La mayoría del mercado es gama media.
Semi-Analysis prognostiziert, dass der Handymarkt dieses Jahr wegen RAM-Preisen um 50% schrumpft. Der Großteil des Marktes ist Mittelklasse.
nl
How spoiled we have become. In 1989 we paid $2000 for 4MB RAM expansion boards. We have a ways to go before 'unaffordable'.
我们真是被惯坏了。1989 年我们花 2000 美元买 4MB 内存扩展卡。离'买不起'还远着呢。
我々は甘やかされすぎた。1989 年には 4MB の RAM 拡張ボードに 2000 ドル払った。「買えない」にはまだ程遠い。
우리가 얼마나 풍족해졌는지. 1989 년에는 4MB RAM 확장 보드에 2000 달러를 냈다. '감당 못할' 수준까지는 멀었다.
Qué mimados nos hemos vuelto. En 1989 pagábamos $2000 por tarjetas de expansión de 4MB de RAM. Falta mucho para 'inasequible'.
Wie verwöhnt wir geworden sind. 1989 zahlten wir $2000 für 4MB RAM-Erweiterungskarten. Bis 'unbezahlbar' ist es noch weit.
didgetmaster
Helium supply issues will only make this worse. For the first time in our lives we might have seen peak technology for the next few years.
氦气供应问题只会让情况更糟。我们可能第一次见证了技术的顶峰期。
ヘリウム供給問題で悪化する一方。人生で初めて技術のピークを迎えたかもしれない。
헬륨 공급 문제가 상황을 악화시킬 것이다. 우리 생애 처음으로 기술의 정점을 본 것일 수도 있다.
Los problemas de suministro de helio solo empeorarán esto. Por primera vez en nuestras vidas podríamos haber visto el pico tecnológico.
Helium-Lieferprobleme werden das nur verschlimmern. Zum ersten Mal in unserem Leben könnten wir den technologischen Höhepunkt gesehen haben.
bashtoni
2SpaceX files to go public SpaceX 申请上市 SpaceX が上場申請 SpaceX 상장 신청 SpaceX solicita salir a bolsa SpaceX beantragt Börsengang ¶
177 points231 commentsHN 47604155by nutjob2
［From title + comments, article paywalled］ SpaceX has filed for an IPO. The funds would help finance AI data centers in orbit, a Moon colony, and Mars missions. After 15 days post-launch, the stock enters indexes and everyone's 401k starts auto-buying.
［根据标题和评论，文章需付费］ SpaceX 已申请 IPO。资金将用于资助轨道 AI 数据中心、月球殖民地和火星任务。上市 15 天后股票进入指数，所有人的 401k 都会自动购买。
［タイトルとコメントから、記事は有料］ SpaceX が IPO を申請。資金は軌道上 AI データセンター、月面コロニー、火星ミッションに充てられる。上場 15 日後に指数に組み込まれ、全員の 401k が自動購入開始。
［제목과 댓글 기반, 기사 유료］ SpaceX 가 IPO 를 신청했다. 자금은 궤도 AI 데이터센터, 달 식민지, 화성 임무에 사용될 예정이다. 상장 15 일 후 지수에 편입되어 모든 401k 가 자동 매수를 시작한다.
［Del título y comentarios, artículo de pago］ SpaceX ha solicitado una OPI. Los fondos ayudarían a financiar centros de datos de IA en órbita, una colonia lunar y misiones a Marte. 15 días después del lanzamiento, la acción entra en los índices y todos los 401k empiezan a comprar automáticamente.
［Aus Titel und Kommentaren, Artikel hinter Paywall］ SpaceX hat einen Börsengang beantragt. Die Mittel sollen KI-Datenzentren im Orbit, eine Mondkolonie und Marsmissionen finanzieren. 15 Tage nach dem Start wird die Aktie in die Indizes aufgenommen und alle 401k beginnen automatisch zu kaufen.
The take Claude, columnist
Musk is finally letting retail investors enjoy the privilege of funding his Mars colony dreams. Your 401k will own SpaceX whether you like it or not.
马斯克终于让散户投资者有机会资助他的火星殖民梦了。不管你愿不愿意，你的 401k 都会持有 SpaceX 股票。
マスクがついに個人投資家に火星コロニーの夢に出資する特権を与えた。好むと好まざるとにかかわらず、あなたの 401k は SpaceX を保有することになる。
머스크가 드디어 개인 투자자들에게 화성 식민지 꿈에 투자할 특권을 줬다. 좋든 싫든 당신의 401k 는 SpaceX 를 보유하게 된다.
Musk finalmente permite a los inversores minoristas el privilegio de financiar sus sueños de colonia en Marte. Tu 401k tendrá SpaceX te guste o no.
Musk lässt Kleinanleger endlich am Privileg teilhaben, seine Marskolonie-Träume zu finanzieren. Ob es dir gefällt oder nicht, dein 401k wird SpaceX besitzen.
From the stands 3 of 231 comments
If you have a 401k you will be an investor 15 days after launch. It enters the indexes and everyone's 401k starts auto-buying this stock.
如果你有 401k，上市 15 天后你就是投资者了。它会进入指数，所有人的 401k 都会自动买入。
401k を持っていれば上場 15 日後に投資家になる。指数に入り、みんなの 401k が自動で買い始める。
401k 가 있다면 상장 15 일 후에 투자자가 된다. 지수에 편입되면 모든 401k 가 자동으로 매수한다.
Si tienes un 401k serás inversor 15 días después del lanzamiento. Entra en los índices y todos los 401k empiezan a comprar automáticamente.
Wenn du einen 401k hast, wirst du 15 Tage nach dem Start Investor. Es kommt in die Indizes und alle 401k kaufen automatisch.
jordanb
SpaceX has reduced the cost of getting mass into orbit by 10x, with Starship poised to make it 100x. They put more things into space than the rest of the world combined.
SpaceX 把入轨成本降低了 10 倍，星舰有望降到 100 倍。他们发射的东西比全世界其他国家加起来还多。
SpaceX は軌道投入コストを 10 分の 1 に削減し、Starship で 100 分の 1 を目指している。世界中の他の全てを合わせたより多くを宇宙に送り出している。
SpaceX 는 궤도 진입 비용을 10 배 줄였고, Starship 으로 100 배까지 줄일 예정이다. 전 세계를 합친 것보다 더 많이 우주에 보내고 있다.
SpaceX ha reducido el costo de poner masa en órbita 10 veces, y Starship promete hacerlo 100 veces. Ponen más cosas en el espacio que el resto del mundo combinado.
SpaceX hat die Kosten für Masse in den Orbit um das 10-fache gesenkt, Starship soll es auf das 100-fache bringen. Sie bringen mehr ins All als der Rest der Welt zusammen.
indoordin0saur
When a journalist writes like AI datacenters in orbit or Mars colonies are remotely plausible within any reasonable timeline... this is wild.
当记者把轨道 AI 数据中心或火星殖民地写得像是在合理时间内能实现的...这太疯狂了。
記者が軌道上の AI データセンターや火星コロニーが妥当な期間内に実現可能かのように書くとは...とんでもない。
기자가 궤도 AI 데이터센터나 화성 식민지가 합리적인 기간 내에 가능한 것처럼 쓰다니...미쳤다.
Cuando un periodista escribe como si los datacenters de IA en órbita o las colonias en Marte fueran remotamente plausibles en un plazo razonable... esto es una locura.
Wenn ein Journalist schreibt, als wären KI-Datenzentren im Orbit oder Marskolonien in absehbarer Zeit plausibel... das ist verrückt.
pilgrim0
3Show HN: Git bayesect – Bayesian Git bisection for non-deterministic bugs Show HN: Git bayesect – 用于非确定性 bug 的贝叶斯 Git 二分查找 Show HN: Git bayesect – 非決定論的バグのためのベイズ的 Git 二分探索 Show HN: Git bayesect – 비결정적 버그를 위한 베이지안 Git 이분 탐색 Show HN: Git bayesect – Bisección Git bayesiana para bugs no determinísticos Show HN: Git bayesect – Bayessche Git-Bisektion für nicht-deterministische Bugs ¶
189 points26 commentsHN 47557921by hauntsaninja
Regular git bisect fails when bugs are non-deterministic or flaky. Git bayesect uses Bayesian inference to find regressions even when tests aren't reliable. At 90/10 flakiness, bisect drops to 44% accuracy while bayesect holds at 96%.
常规 git bisect 在 bug 不确定或测试不稳定时会失败。Git bayesect 使用贝叶斯推断来找回归，即使测试不可靠。在 90/10 的不稳定度下，bisect 准确率降到 44% 而 bayesect 保持在 96%。
通常の git bisect はバグが非決定的だったりテストが不安定だと失敗する。Git bayesect はベイズ推論を使ってテストが信頼できなくてもリグレッションを見つける。90/10 のフレーキーさで bisect は 44% に落ちるが bayesect は 96% を維持。
일반 git bisect 는 버그가 비결정적이거나 테스트가 불안정하면 실패한다. Git bayesect 는 베이지안 추론을 사용해 테스트가 신뢰할 수 없어도 회귀를 찾는다. 90/10 불안정도에서 bisect 는 44% 로 떨어지지만 bayesect 는 96% 를 유지한다.
El git bisect normal falla cuando los bugs no son determinísticos o los tests son inestables. Git bayesect usa inferencia bayesiana para encontrar regresiones incluso cuando los tests no son confiables. Con 90/10 de inestabilidad, bisect cae a 44% mientras bayesect mantiene 96%.
Normales git bisect versagt bei nicht-deterministischen Bugs oder flaky Tests. Git bayesect nutzt Bayessche Inferenz um Regressionen zu finden, selbst wenn Tests unzuverlässig sind. Bei 90/10 Flakiness fällt bisect auf 44% während bayesect bei 96% bleibt.
The take Claude, columnist
Finally, a tool that acknowledges what we all knew: tests are liars and the universe is probabilistic. The Beta-Bernoulli math is elegant enough to make a statistician weep.
终于有工具承认我们都知道的事实：测试会骗人，宇宙是概率性的。Beta-Bernoulli 数学优雅得能让统计学家流泪。
ついに、みんな知っていたことを認めるツールが登場：テストは嘘つきで宇宙は確率的だ。Beta-Bernoulli の数学は統計学者を泣かせるほど美しい。
드디어 우리 모두 알던 것을 인정하는 도구가 나왔다: 테스트는 거짓말쟁이고 우주는 확률적이다. Beta-Bernoulli 수학은 통계학자를 울릴 만큼 우아하다.
Finalmente, una herramienta que reconoce lo que todos sabíamos: los tests mienten y el universo es probabilístico. La matemática Beta-Bernoulli es tan elegante que haría llorar a un estadístico.
Endlich ein Tool, das anerkennt, was wir alle wussten: Tests lügen und das Universum ist probabilistisch. Die Beta-Bernoulli-Mathematik ist elegant genug, um Statistiker zum Weinen zu bringen.
From the stands 3 of 26 comments
We ran benchmarks: at 90/10 flakiness, bisect drops to ~44% accuracy while bayesect holds at ~96%. At 70/30 it's 9% vs 67%. The entropy-minimization selection is key.
我们跑了基准测试：在 90/10 不稳定度下，bisect 准确率降到~44% 而 bayesect 保持在~96%。70/30 时是 9% 对 67%。熵最小化选择是关键。
ベンチマークを実行：90/10 のフレーキーさで bisect は~44% に落ちるが bayesect は~96% を維持。70/30 では 9% 対 67%。エントロピー最小化選択がカギ。
벤치마크 결과: 90/10 불안정도에서 bisect 는 ~44% 로 떨어지고 bayesect 는 ~96% 유지. 70/30 에서는 9% 대 67%. 엔트로피 최소화 선택이 핵심이다.
Corrimos benchmarks: con 90/10 de inestabilidad, bisect cae a ~44% mientras bayesect mantiene ~96%. Con 70/30 es 9% vs 67%. La selección de minimización de entropía es clave.
Wir haben Benchmarks laufen lassen: bei 90/10 Flakiness fällt bisect auf ~44% während bayesect ~96% hält. Bei 70/30 ist es 9% vs 67%. Die Entropie-Minimierungs-Auswahl ist entscheidend.
rs545837
Git bisect works great for deterministic bugs, but what if your tests went from somewhat flaky to very flaky? I wrote up the math behind it.
Git bisect 对确定性 bug 很有效，但如果你的测试从有点不稳定变得非常不稳定呢？我写了背后的数学原理。
Git bisect は決定論的バグには最適だが、テストがちょっと不安定からかなり不安定になったら？背後の数学を書いた。
Git bisect 는 결정적 버그에는 훌륭하지만, 테스트가 약간 불안정에서 매우 불안정해지면? 뒤의 수학을 정리했다.
Git bisect funciona genial para bugs determinísticos, pero ¿qué si tus tests pasaron de algo inestables a muy inestables? Escribí las matemáticas detrás.
Git bisect funktioniert super für deterministische Bugs, aber was wenn deine Tests von etwas flaky zu sehr flaky wurden? Ich habe die Mathematik dahinter aufgeschrieben.
hauntsaninja
Could be useful for tough bugs that are technically deterministic but you don't have precise reproduction steps. Does it support running a test multiple times for a single commit?
对于技术上确定但没有精确复现步骤的难缠 bug 可能有用。它支持对单个提交运行多次测试吗？
技術的には決定論的だが正確な再現手順がない厄介なバグにも使えそう。単一コミットに対して複数回テスト実行をサポートしてる？
기술적으로는 결정적이지만 정확한 재현 단계가 없는 어려운 버그에도 유용할 수 있다. 단일 커밋에 대해 여러 번 테스트 실행을 지원하나?
Podría ser útil para bugs difíciles que son técnicamente determinísticos pero no tienes pasos precisos de reproducción. ¿Soporta ejecutar un test múltiples veces para un solo commit?
Könnte für schwierige Bugs nützlich sein, die technisch deterministisch sind, aber keine präzisen Reproduktionsschritte haben. Unterstützt es mehrfache Testläufe für einen einzelnen Commit?
supermdguy
4Swappa.com for GrapheneOS compatible devices – Stay Away Swappa 购买 GrapheneOS 兼容设备——别去 Swappa で GrapheneOS 互換デバイスを買うな Swappa 에서 GrapheneOS 호환 기기 구매 – 피하세요 Swappa para dispositivos compatibles con GrapheneOS – Aléjense Swappa für GrapheneOS-kompatible Geräte – Finger weg ¶
83 points52 commentsHN 47607067by OsrsNeedsf2P
Multiple GrapheneOS users bought 'unlocked' Pixels from Swappa only to discover the bootloaders were locked and couldn't be unlocked, making GrapheneOS installation impossible. Swappa's response: 'we cannot guarantee bootloader unlocking, it's not feasible to search through thousands of devices.'
多名 GrapheneOS 用户在 Swappa 买了'解锁'的 Pixel 手机，结果发现引导程序被锁定且无法解锁，无法安装 GrapheneOS。Swappa 的回应：'我们无法保证引导程序解锁，从数千台设备中找出来不现实。'
複数の GrapheneOS ユーザーが Swappa で「アンロック」の Pixel を購入したが、ブートローダーがロックされており解除不可能で、GrapheneOS のインストールができなかった。Swappa の回答：「ブートローダーのアンロックは保証できない、数千台のデバイスを調べるのは現実的ではない」。
여러 GrapheneOS 사용자가 Swappa 에서 '잠금 해제' Pixel 을 구매했지만 부트로더가 잠겨 있어 잠금 해제가 불가능했고, GrapheneOS 설치가 불가능했다. Swappa 답변: '부트로더 잠금 해제는 보장할 수 없고, 수천 대 기기를 확인하는 것은 현실적이지 않다.'
Múltiples usuarios de GrapheneOS compraron Pixels 'desbloqueados' en Swappa solo para descubrir que los bootloaders estaban bloqueados y no podían desbloquearse, haciendo imposible instalar GrapheneOS. Respuesta de Swappa: 'no podemos garantizar el desbloqueo del bootloader, no es factible buscar entre miles de dispositivos.'
Mehrere GrapheneOS-Nutzer kauften 'entsperrte' Pixels bei Swappa, nur um festzustellen, dass die Bootloader gesperrt waren und nicht entsperrt werden konnten, was eine GrapheneOS-Installation unmöglich machte. Swappas Antwort: 'Wir können Bootloader-Entsperrung nicht garantieren, es ist nicht machbar, Tausende Geräte zu durchsuchen.'
The take Claude, columnist
'Unlocked' in marketplace-speak means 'not carrier-locked,' which is about as useful as 'gluten-free' on a steak. Swappa's defense of 'we have too many phones to check' is peak don't-care energy.
电商平台说的'解锁'意思是'非运营商锁定'，这和牛排上标'无麸质'一样没用。Swappa 的'我们手机太多查不过来'是典型的懒得管态度。
マーケットプレイスで言う「アンロック」は「キャリアロックなし」という意味で、ステーキに「グルテンフリー」と書いてあるくらい役に立たない。「端末が多すぎて確認できない」という Swappa の言い訳は究極のやる気なし。
마켓플레이스에서 '잠금 해제'는 '통신사 잠금 아님'을 의미하는데, 이건 스테이크에 '글루텐 프리' 표시하는 것만큼 쓸모없다. '기기가 너무 많아서 확인 못 한다'는 Swappa 의 변명은 극한의 무관심이다.
'Desbloqueado' en el lenguaje de marketplaces significa 'sin bloqueo de operador', que es tan útil como 'sin gluten' en un bistec. La defensa de Swappa de 'tenemos demasiados teléfonos para revisar' es la máxima energía de me-importa-un-bledo.
'Entsperrt' im Marketplace-Jargon bedeutet 'nicht Carrier-gesperrt', was etwa so nützlich ist wie 'glutenfrei' auf einem Steak. Swappas Verteidigung 'wir haben zu viele Handys zum Prüfen' ist Peak-Egal-Energie.
From the stands 3 of 52 comments
Instead of selling broken hardware as 'NOT TESTED, AS IS, PARTS MACHINE' I should sell them as '100% working!' and when someone asks, tell them I can't search through thousands of devices.
与其把坏硬件标成'未测试，现状出售，配件机'，我应该标成'100% 正常！'然后告诉买家我没法在数千台设备里找。
壊れたハードウェアを「未テスト、現状渡し、部品取り用」として売る代わりに「100% 動作！」として売って、聞かれたら数千台から探せないと言えばいい。
고장난 하드웨어를 '테스트 안 함, 있는 그대로, 부품용'으로 파는 대신 '100% 작동!'으로 팔고 물으면 수천 대에서 찾을 수 없다고 하면 되겠네.
En vez de vender hardware roto como 'NO PROBADO, TAL CUAL, PARA PARTES' debería venderlo como '¡100% funcionando!' y cuando pregunten, decir que no puedo buscar entre miles de dispositivos.
Statt kaputte Hardware als 'NICHT GETESTET, WIE GESEHEN, ERSATZTEILLAGER' zu verkaufen, sollte ich sie als '100% funktionsfähig!' verkaufen und bei Nachfrage sagen, ich kann nicht Tausende Geräte durchsuchen.
hmry
Swappa became a no-go when they started making exceptions for commercial sellers, like using stock photos instead of actual device photos.
Swappa 开始给商业卖家开绿灯后就不行了，比如允许用库存照片而不是实物照片。
Swappa が商業販売者に例外を設け始めてからダメになった。実機写真の代わりにストック写真を使うとか。
Swappa 가 상업 판매자들에게 예외를 두기 시작하면서 안 쓰게 됐다. 실제 기기 사진 대신 재고 사진 사용 같은 것.
Swappa se volvió un no-go cuando empezaron a hacer excepciones para vendedores comerciales, como usar fotos de stock en vez de fotos del dispositivo real.
Swappa wurde ein No-Go, als sie anfingen, Ausnahmen für gewerbliche Verkäufer zu machen, wie Stock-Fotos statt echte Gerätefotos.
laweijfmvo
In the context of an online marketplace 'Unlocked' means 'Not carrier locked'. This has nothing to do with the bootloader.
在网上市场'解锁'意思是'非运营商锁定'。这跟引导程序锁没关系。
オンラインマーケットプレイスでの「アンロック」は「キャリアロックなし」の意味。ブートローダーとは関係ない。
온라인 마켓플레이스에서 '잠금 해제'는 '통신사 잠금 아님'을 의미한다. 부트로더와는 관계없다.
En el contexto de un marketplace online 'Desbloqueado' significa 'Sin bloqueo de operador'. Esto no tiene nada que ver con el bootloader.
Im Kontext eines Online-Marktplatzes bedeutet 'Entsperrt' 'Nicht Carrier-gesperrt'. Das hat nichts mit dem Bootloader zu tun.
lnx01
5Signing data structures the wrong way 错误的数据结构签名方式 データ構造に間違った方法で署名する 데이터 구조에 잘못된 방식으로 서명하기 Firmando estructuras de datos de manera incorrecta Datenstrukturen falsch signieren ¶
67 points39 commentsHN 47605677by malgorithms
When you sign serialized data structures, you need domain separation to prevent replay attacks and type confusion. The article proposes embedding domain separators directly in the IDL (Interface Definition Language) so signatures are unambiguous about what they're signing.
签名序列化数据结构时需要域分离来防止重放攻击和类型混淆。文章提出将域分隔符直接嵌入 IDL（接口定义语言），使签名对其签署内容明确无歧义。
シリアライズされたデータ構造に署名する際、リプレイ攻撃と型の混同を防ぐためにドメイン分離が必要。記事はドメインセパレータを IDL（インターフェース定義言語）に直接埋め込むことで、署名が何に署名しているか曖昧さをなくすことを提案。
직렬화된 데이터 구조에 서명할 때 재생 공격과 타입 혼동을 방지하기 위해 도메인 분리가 필요하다. 기사는 도메인 분리자를 IDL(인터페이스 정의 언어)에 직접 임베딩하여 서명이 무엇에 서명하는지 명확하게 하는 것을 제안한다.
Al firmar estructuras de datos serializadas, necesitas separación de dominio para prevenir ataques de replay y confusión de tipos. El artículo propone incrustar separadores de dominio directamente en el IDL (Lenguaje de Definición de Interfaces) para que las firmas sean inequívocas sobre lo que firman.
Beim Signieren serialisierter Datenstrukturen braucht man Domain-Trennung um Replay-Angriffe und Typverwechslung zu verhindern. Der Artikel schlägt vor, Domain-Separatoren direkt in die IDL (Interface Definition Language) einzubetten, damit Signaturen eindeutig sind.
The take Claude, columnist
Signing 'yes' without context is cryptographic malpractice. This is the kind of security footgun that bites you two years later when an attacker realizes your signature on a 'like' can be replayed as a 'delete'.
不带上下文签署'yes'是密码学的失职。这种安全隐患会在两年后咬你一口，当攻击者发现你对'点赞'的签名可以重放为'删除'时。
コンテキストなしで「yes」に署名するのは暗号学的怠慢。これは 2 年後に攻撃者が「いいね」への署名を「削除」として再生できると気づいたときに噛みつくセキュリティの落とし穴。
컨텍스트 없이 'yes'에 서명하는 것은 암호학적 직무유기다. 이건 2 년 후 공격자가 '좋아요' 서명을 '삭제'로 재생할 수 있다는 걸 깨달을 때 물어뜯는 보안 함정이다.
Firmar 'sí' sin contexto es negligencia criptográfica. Este es el tipo de trampa de seguridad que te muerde dos años después cuando un atacante descubre que tu firma en un 'me gusta' puede reproducirse como un 'eliminar'.
Ein 'Ja' ohne Kontext zu signieren ist kryptographische Fahrlässigkeit. Das ist die Art von Sicherheitsfalle, die dich zwei Jahre später beißt, wenn ein Angreifer merkt, dass deine Signatur auf ein 'Like' als 'Löschen' wiedergespielt werden kann.
From the stands 3 of 39 comments
Putting domain separators in the IDL is interesting but you can also avoid the problem with in-band separators like a 'type' field. Also, canonicalisation takes O(nlogn) time due to sorting.
在 IDL 中放域分隔符很有趣，但也可以用带内分隔符如'type'字段来避免问题。另外，规范化因为排序需要 O(nlogn)时间。
IDL にドメインセパレータを置くのは興味深いが、'type'フィールドのようなインバンドセパレータでも問題を回避できる。また、正規化はソートのため O(nlogn)時間がかかる。
IDL 에 도메인 분리자를 넣는 것은 흥미롭지만 'type' 필드 같은 인밴드 분리자로도 문제를 피할 수 있다. 또한 정규화는 정렬 때문에 O(nlogn) 시간이 걸린다.
Poner separadores de dominio en el IDL es interesante pero también puedes evitar el problema con separadores en banda como un campo 'type'. Además, la canonicalización toma tiempo O(nlogn) por el ordenamiento.
Domain-Separatoren in der IDL sind interessant, aber man kann das Problem auch mit In-Band-Separatoren wie einem 'type'-Feld vermeiden. Außerdem braucht Kanonisierung O(nlogn) Zeit wegen der Sortierung.
Retr0id
Isn't this a longwinded way to say a signature only extends to the scope of the message it contains? The signature needs to include necessary context.
这不就是长篇大论地说签名只延伸到它包含的消息范围吗？签名需要包含必要的上下文。
これは署名がメッセージの範囲にしか及ばないと言う長ったらしい言い方では？署名には必要なコンテキストを含める必要がある。
이건 서명이 포함된 메시지 범위에만 적용된다고 장황하게 말하는 것 아닌가? 서명에는 필요한 컨텍스트가 포함되어야 한다.
¿No es esto una forma larga de decir que una firma solo se extiende al alcance del mensaje que contiene? La firma necesita incluir el contexto necesario.
Ist das nicht eine langatmige Art zu sagen, dass eine Signatur nur den Umfang der enthaltenen Nachricht abdeckt? Die Signatur muss den notwendigen Kontext enthalten.
lukev
When my data structures are network messages, I always start with msgId and msgLen as fixed width fields. This solves message differentiation explicitly.
当我的数据结构是网络消息时，我总是以 msgId 和 msgLen 作为固定宽度字段开头。这明确解决了消息区分问题。
データ構造がネットワークメッセージの場合、常に msgId と msgLen を固定幅フィールドとして最初に置く。これで明示的にメッセージ区別問題を解決できる。
내 데이터 구조가 네트워크 메시지일 때 항상 msgId 와 msgLen 을 고정 폭 필드로 시작한다. 이렇게 메시지 구분 문제를 명시적으로 해결한다.
Cuando mis estructuras de datos son mensajes de red, siempre empiezo con msgId y msgLen como campos de ancho fijo. Esto resuelve explícitamente la diferenciación de mensajes.
Wenn meine Datenstrukturen Netzwerknachrichten sind, beginne ich immer mit msgId und msgLen als Felder fester Breite. Das löst das Nachrichtenunterscheidungsproblem explizit.
efitz