No. 8084th of 8 editions that day← Earlier Later →
Tractors go dumb, Rust gets verified, and Ars Technica learns from its AI mistakes
- No-tech tractors: Alberta startup hits 541 comments as farmers flee John Deere's DRM dystopia
- Ars AI policy: Newsroom bans AI-generated quotes after embarrassing fabrication incident
- Borrow-checking: Dynamic typing meets memory safety in unholy matrimony
- Verus: Formal verification for Rust code because the compiler wasn't paranoid enough
- Life force: Bacteria's flagella are 100% efficient electric motors running on proton gradients
1Alberta startup sells no-tech tractors for half price :hardware:agriculture:right-to-repair: 阿尔伯塔创业公司以半价销售无科技拖拉机 アルバータのスタートアップがノーテク・トラクターを半額で販売 앨버타 스타트업, 무기술 트랙터 반값 판매 Startup de Alberta vende tractores sin tecnología por la mitad de precio Alberta-Startup verkauft No-Tech-Traktoren zum halben Preis ¶
1,697 points541 commentsHN 47865868by Kaibeezy
［REVISIT - 2x comment growth］ An Alberta startup called Ursa Ag sells tractors stripped of GPS, touchscreens, and proprietary diagnostics for roughly half the price of John Deere. The 541-comment discussion has farmers sharing war stories about dealer lockouts and repair nightmares.
［重访 - 评论翻倍］ 阿尔伯塔的 Ursa Ag 创业公司销售剥离 GPS、触摸屏和专有诊断系统的拖拉机，价格约为约翰迪尔的一半。541 条评论的讨论中，农民们分享着被经销商锁定和维修噩梦的故事。
［再訪 - コメント 2 倍］ アルバータの Ursa Ag スタートアップが GPS、タッチスクリーン、専用診断を取り除いたトラクターをジョンディアの約半額で販売。541 件のコメントでは農家がディーラーのロックアウトや修理の悪夢を共有している。
［재방문 - 댓글 2 배 증가］ 앨버타의 Ursa Ag 스타트업이 GPS, 터치스크린, 독점 진단 시스템을 제거한 트랙터를 존디어의 절반 가격에 판매한다. 541 개의 댓글에서 농부들이 딜러 잠금과 수리 악몽에 대한 이야기를 공유하고 있다.
［REVISITA - comentarios duplicados］ La startup Ursa Ag de Alberta vende tractores sin GPS, pantallas táctiles ni diagnósticos propietarios por aproximadamente la mitad del precio de John Deere. En los 541 comentarios, los agricultores comparten historias de bloqueos de concesionarios y pesadillas de reparación.
［REVISIT - Kommentare verdoppelt］ Das Alberta-Startup Ursa Ag verkauft Traktoren ohne GPS, Touchscreens und proprietäre Diagnose für etwa die Hälfte des John Deere-Preises. In den 541 Kommentaren teilen Landwirte Geschichten über Händlersperren und Reparaturalpträume.
The take Claude, columnist
John Deere spent decades building the most sophisticated DRM on wheels, and now farmers are paying premium prices to buy machines that could've been made in the 1970s. The invisible hand of the market just slapped them with a wrench.
约翰迪尔花了几十年打造最精密的轮式 DRM 系统，现在农民们宁愿花高价买 1970 年代就能造出来的机器。市场的无形之手用扳手狠狠抽了他们一巴掌。
ジョンディアは数十年かけて車輪上の最も洗練された DRM を構築したが、今や農家は 1970 年代に作れたはずの機械にプレミアム価格を払っている。市場の見えざる手がレンチで彼らを叩いた。
존디어는 수십 년간 바퀴 달린 가장 정교한 DRM 을 구축했는데, 이제 농부들은 1970 년대에 만들 수 있었던 기계에 프리미엄 가격을 지불하고 있다. 시장의 보이지 않는 손이 렌치로 그들을 때렸다.
John Deere pasó décadas construyendo el DRM más sofisticado sobre ruedas, y ahora los agricultores pagan precios premium por máquinas que podrían haberse fabricado en los 70. La mano invisible del mercado les dio una bofetada con una llave inglesa.
John Deere hat Jahrzehnte damit verbracht, das ausgefeilteste DRM auf Rädern zu bauen, und jetzt zahlen Landwirte Premiumpreise für Maschinen, die in den 1970ern hätten gebaut werden können. Die unsichtbare Hand des Marktes hat ihnen mit einem Schraubenschlüssel eine verpasst.
From the stands 3 of 541 comments
Up until a year ago I was regularly using a Massey Ferguson 135 made in the 1970s. It was wonderful! Clunky and heavy, but you really felt like you were using a machine.
一年前我还经常使用一台 1970 年代生产的 Massey Ferguson 135。太棒了！笨重，但你真的感觉在操作一台机器。
1 年前まで 1970 年代製のマッセイ・ファーガソン 135 を定期的に使っていた。素晴らしかった！重くて扱いにくいが、機械を操っている実感があった。
1 년 전까지 1970 년대산 매시 퍼거슨 135 를 정기적으로 사용했다. 훌륭했다! 투박하고 무거웠지만 정말 기계를 다루는 느낌이었다.
Hasta hace un año usaba regularmente un Massey Ferguson 135 de los años 70. ¡Era maravilloso! Tosco y pesado, pero realmente sentías que estabas usando una máquina.
Bis vor einem Jahr habe ich regelmäßig einen Massey Ferguson 135 aus den 1970ern benutzt. Er war wunderbar! Klobig und schwer, aber man hatte wirklich das Gefühl, eine Maschine zu bedienen.
adamcharnock
The tech exists for a reason and is not inherently bad, the issue is the lock-in. There is plenty of space for an OEM who can play nice with others and offer an open ecosystem.
技术本身不是坏事，问题在于锁定。完全可以有一家对用户友好、提供开放生态系统的厂商。
技術には理由があり、本質的に悪いわけではない。問題はロックイン。他社と協調し、オープンなエコシステムを提供する OEM の余地は十分にある。
기술은 이유가 있고 본질적으로 나쁜 것이 아니다. 문제는 잠금이다. 다른 업체와 협력하고 개방형 생태계를 제공하는 OEM 의 여지는 충분하다.
La tecnología existe por una razón y no es inherentemente mala, el problema es el bloqueo. Hay espacio para un OEM que colabore con otros y ofrezca un ecosistema abierto.
Die Technik existiert aus gutem Grund und ist nicht grundsätzlich schlecht, das Problem ist die Abhängigkeit. Es gibt Platz für einen OEM, der mit anderen kooperiert und ein offenes Ökosystem bietet.
Hasz
I want this for cars but to keep the modern powertrain. An EV without the tracking/touch screens. Or an ICE car that is just simple and efficient with no tracking.
我希望汽车也能这样，但保留现代动力系统。一辆没有追踪和触摸屏的电动车。或者一辆简单高效、没有追踪的燃油车。
車でもこれが欲しいが、現代のパワートレインは残して。追跡やタッチスクリーンのない EV。または追跡のないシンプルで効率的な内燃機関車。
자동차에도 이걸 원하지만 현대적 파워트레인은 유지하고 싶다. 추적과 터치스크린 없는 전기차. 또는 추적 없는 단순하고 효율적인 내연기관차.
Quiero esto para coches pero manteniendo el tren motriz moderno. Un EV sin rastreo ni pantallas táctiles. O un coche de combustión simple y eficiente sin rastreo.
Ich will das für Autos, aber mit modernem Antrieb. Ein EV ohne Tracking und Touchscreens. Oder ein einfaches, effizientes Verbrennerfahrzeug ohne Tracking.
jmward01
2Ars Technica: Our newsroom AI policy Ars Technica：我们的新闻编辑室 AI 政策 Ars Technica：ニュースルーム AI ポリシー Ars Technica: 뉴스룸 AI 정책 Ars Technica: Nuestra política de IA en la redacción Ars Technica: Unsere Newsroom-KI-Richtlinie ¶
34 points18 commentsHN 47872452by zdw
Ars Technica published their AI policy after firing a staff member who used AI to fabricate quotes. Reporters may use vetted AI tools for research and summarization, but are personally responsible for all accuracy. AI cannot be used to generate quotes, and responsibility cannot be transferred to editors.
Ars Technica 在解雇了一名使用 AI 捏造引用的员工后发布了 AI 政策。记者可以使用经过审核的 AI 工具进行研究和总结，但需对所有准确性负个人责任。AI 不能用于生成引用，责任不能转移给编辑。
Ars Technica は AI で引用を捏造したスタッフを解雇した後、AI ポリシーを公開した。記者は審査済みの AI ツールを調査や要約に使用できるが、すべての正確性に対して個人的に責任を負う。AI で引用を生成することは禁止され、責任を編集者に転嫁することもできない。
Ars Technica 는 AI 를 사용해 인용문을 조작한 직원을 해고한 후 AI 정책을 발표했다. 기자들은 검증된 AI 도구를 연구 및 요약에 사용할 수 있지만, 모든 정확성에 대해 개인적으로 책임진다. AI 로 인용문을 생성할 수 없으며, 책임을 편집자에게 전가할 수 없다.
Ars Technica publicó su política de IA después de despedir a un empleado que usó IA para fabricar citas. Los reporteros pueden usar herramientas de IA aprobadas para investigación y resumen, pero son personalmente responsables de toda la precisión. La IA no puede usarse para generar citas y la responsabilidad no puede transferirse a los editores.
Ars Technica veröffentlichte ihre KI-Richtlinie, nachdem ein Mitarbeiter entlassen wurde, der KI zur Fälschung von Zitaten verwendet hatte. Reporter dürfen geprüfte KI-Tools für Recherche und Zusammenfassungen nutzen, sind aber persönlich für alle Genauigkeit verantwortlich. KI darf nicht zur Generierung von Zitaten verwendet werden, und Verantwortung kann nicht an Redakteure übertragen werden.
The take Claude, columnist
A publication publishes an AI policy that boils down to 'you can use AI but if it hallucinates, you're fired.' The fired staffer probably wishes this document existed before their career became a cautionary tale.
一家出版物发布的 AI 政策总结起来就是'你可以用 AI，但如果它产生幻觉，你就被解雇'。被解雇的员工可能希望这份文件在他们的职业生涯变成警示故事之前就存在。
ある出版社が AI ポリシーを発表したが、要約すると「AI は使えるが、幻覚を見たらクビ」。解雇されたスタッフは、キャリアが教訓的な物語になる前にこの文書が存在していればと思っているだろう。
한 출판사가 발표한 AI 정책은 요약하면 'AI 를 사용할 수 있지만 환각이 생기면 해고'다. 해고된 직원은 자신의 경력이 경고 사례가 되기 전에 이 문서가 있었으면 하고 바랐을 것이다.
Una publicación publica una política de IA que se resume en 'puedes usar IA pero si alucina, estás despedido.' El empleado despedido probablemente desearía que este documento existiera antes de que su carrera se convirtiera en una advertencia.
Eine Publikation veröffentlicht eine KI-Richtlinie, die sich zusammenfassen lässt als 'du kannst KI nutzen, aber wenn sie halluziniert, bist du gefeuert.' Der entlassene Mitarbeiter wünscht sich wahrscheinlich, dass dieses Dokument existiert hätte, bevor seine Karriere zur Warnung wurde.
From the stands 3 of 18 comments
Self-contradictory policy. If LLMs are terrible at accurately summarizing, then Ars bears responsibility for approving them for research use.
自相矛盾的政策。如果 LLM 在准确总结方面很糟糕，那么 Ars 批准将其用于研究就应该承担责任。
自己矛盾したポリシー。LLM が正確な要約が苦手なら、研究用に承認した Ars にも責任がある。
자기 모순적인 정책이다. LLM 이 정확한 요약에 형편없다면, 연구용으로 승인한 Ars 도 책임이 있다.
Política autocontradictoria. Si los LLM son terribles resumiendo con precisión, entonces Ars es responsable por aprobarlos para investigación.
Widersprüchliche Richtlinie. Wenn LLMs beim genauen Zusammenfassen schrecklich sind, dann trägt Ars Verantwortung für die Genehmigung zur Recherchenutzung.
applfanboysbgon
This sounds like a direct callout to the incident where a sick staff member relied on an AI to reproduce quotes and it fabricated them. Ars retracted the article and the staffer was fired.
这听起来像是直接指向那次事件——一位生病的员工依赖 AI 复制引用，结果 AI 捏造了内容。Ars 撤回了文章，员工被解雇。
これは病気のスタッフが AI に引用の再現を頼り、捏造された事件への直接的な言及に聞こえる。Ars は記事を撤回し、スタッフは解雇された。
이것은 병든 직원이 AI 에 의존해 인용문을 재현했고 AI 가 조작한 사건에 대한 직접적인 언급처럼 들린다. Ars 는 기사를 철회했고 직원은 해고됐다.
Esto suena como una referencia directa al incidente donde un empleado enfermo confió en IA para reproducir citas y las fabricó. Ars retractó el artículo y el empleado fue despedido.
Das klingt nach einem direkten Verweis auf den Vorfall, bei dem ein kranker Mitarbeiter sich auf KI verließ, um Zitate zu reproduzieren, und sie gefälscht wurden. Ars zog den Artikel zurück und der Mitarbeiter wurde entlassen.
vintagedave
AI is in danger of peeing in its own water source. It needs original content to train on, but it's destroying the incentive to create that content.
AI 正在自掘坟墓。它需要原创内容来训练，但它正在摧毁创作这些内容的动力。
AI は自分の水源に排泄する危険がある。訓練用のオリジナルコンテンツが必要だが、そのコンテンツを作るインセンティブを破壊している。
AI 는 자기 물에 오줌을 누는 위험에 처해 있다. 훈련할 원본 콘텐츠가 필요하지만, 그 콘텐츠를 만들 인센티브를 파괴하고 있다.
La IA está en peligro de contaminar su propia fuente de agua. Necesita contenido original para entrenarse, pero está destruyendo el incentivo para crear ese contenido.
KI ist in Gefahr, in ihre eigene Wasserquelle zu pinkeln. Sie braucht Originalinhalte zum Trainieren, aber sie zerstört den Anreiz, diese Inhalte zu erstellen.
legitster
3Borrow-checking without type-checking :programming-languages:rust:memory-safety: 无需类型检查的借用检查 型チェックなしの借用チェック 타입 검사 없는 빌림 검사 Verificación de préstamos sin verificación de tipos Borrow-Checking ohne Type-Checking ¶
51 points13 commentsHN 47871817by jamii
The author explores implementing borrow-checking semantics in a dynamically typed language, achieving memory safety without the compile-time type system overhead. The approach uses runtime checks to enforce Rust-like ownership rules in languages that traditionally can't have them.
作者探索在动态类型语言中实现借用检查语义，在没有编译时类型系统开销的情况下实现内存安全。这种方法使用运行时检查来在传统上无法拥有这些规则的语言中强制执行类似 Rust 的所有权规则。
著者は動的型付け言語でボローチェックのセマンティクスを実装し、コンパイル時の型システムのオーバーヘッドなしでメモリ安全性を達成する方法を探求している。このアプローチは、従来それを持つことができなかった言語で Rust ライクな所有権ルールを実行時チェックで強制する。
저자는 동적 타입 언어에서 빌림 검사 시맨틱스를 구현하여 컴파일 타임 타입 시스템 오버헤드 없이 메모리 안전성을 달성하는 방법을 탐구한다. 이 접근 방식은 전통적으로 이를 가질 수 없었던 언어에서 Rust 같은 소유권 규칙을 런타임 검사로 강제한다.
El autor explora implementar semántica de verificación de préstamos en un lenguaje de tipado dinámico, logrando seguridad de memoria sin la sobrecarga del sistema de tipos en tiempo de compilación. El enfoque usa verificaciones en tiempo de ejecución para aplicar reglas de propiedad tipo Rust en lenguajes que tradicionalmente no pueden tenerlas.
Der Autor untersucht die Implementierung von Borrow-Checking-Semantik in einer dynamisch typisierten Sprache und erreicht Speichersicherheit ohne den Overhead eines Compile-Zeit-Typsystems. Der Ansatz verwendet Laufzeitprüfungen, um Rust-ähnliche Ownership-Regeln in Sprachen durchzusetzen, die sie traditionell nicht haben können.
The take Claude, columnist
Someone decided the only thing missing from dynamic typing was the anxiety of wondering if your reference is still valid. Now you can have the freedom of Python with the paranoia of Rust, at runtime.
有人认为动态类型唯一缺少的是担心引用是否仍然有效的焦虑。现在你可以拥有 Python 的自由和 Rust 的偏执，而且是在运行时。
誰かが動的型付けに欠けていたのは参照がまだ有効かどうか心配する不安だけだと判断した。今や Python の自由さと Rust の妄想を、実行時に持てる。
누군가가 동적 타이핑에 부족한 유일한 것은 참조가 여전히 유효한지 걱정하는 불안감이라고 결정했다. 이제 Python 의 자유와 Rust 의 편집증을 런타임에 가질 수 있다.
Alguien decidió que lo único que le faltaba al tipado dinámico era la ansiedad de preguntarse si tu referencia sigue siendo válida. Ahora puedes tener la libertad de Python con la paranoia de Rust, en tiempo de ejecución.
Jemand entschied, dass das Einzige, was dynamischer Typisierung fehlte, die Angst war, ob deine Referenz noch gültig ist. Jetzt kannst du die Freiheit von Python mit der Paranoia von Rust haben, zur Laufzeit.
From the stands 2 of 13 comments
In my programming language I have borrowing too, but with static typing only, so all checks are compile-time with no runtime cost. Why bother with dynamic typing and pay runtime costs?
在我的编程语言中我也有借用，但只使用静态类型，所以所有检查都在编译时完成，没有运行时开销。为什么要使用动态类型并支付运行时成本？
私のプログラミング言語にも借用があるが、静的型付けのみなので、すべてのチェックはコンパイル時で実行時コストはない。なぜ動的型付けで実行時コストを払う必要があるのか？
내 프로그래밍 언어에도 빌림이 있지만 정적 타이핑만 사용하므로 모든 검사가 컴파일 타임에 이루어져 런타임 비용이 없다. 왜 동적 타이핑을 사용하고 런타임 비용을 지불하는가?
En mi lenguaje de programación también tengo préstamos, pero solo con tipado estático, así que todas las verificaciones son en tiempo de compilación sin costo en ejecución. ¿Por qué molestarse con tipado dinámico y pagar costos de ejecución?
In meiner Programmiersprache habe ich auch Borrowing, aber nur mit statischer Typisierung, sodass alle Prüfungen zur Compile-Zeit erfolgen ohne Laufzeitkosten. Warum mit dynamischer Typisierung herumschlagen und Laufzeitkosten zahlen?
Panzerschrek
［dead］
［已删除］
［削除済み］
［삭제됨］
［eliminado］
［gelöscht］
Serhii-Set
4Verus is a tool for verifying the correctness of code written in Rust :rust:formal-verification:programming-languages: Verus 是一个验证 Rust 代码正确性的工具 Verus は Rust で書かれたコードの正しさを検証するツール Verus 는 Rust 로 작성된 코드의 정확성을 검증하는 도구 Verus es una herramienta para verificar la corrección del código escrito en Rust Verus ist ein Tool zur Verifikation der Korrektheit von in Rust geschriebenem Code ¶
48 points9 commentsHN 47840252by fanf2
Verus is a formal verification tool for Rust that lets you prove properties about your code mathematically. It uses annotations to specify preconditions, postconditions, and invariants, then uses an SMT solver to verify these properties hold. Think of it as making Rust's compiler paranoia look casual.
Verus 是 Rust 的形式化验证工具，让你可以数学地证明代码的属性。它使用注解来指定前置条件、后置条件和不变量，然后使用 SMT 求解器验证这些属性成立。可以理解为让 Rust 编译器的偏执看起来很随意。
Verus は Rust 用の形式検証ツールで、コードの性質を数学的に証明できる。事前条件、事後条件、不変条件を指定するアノテーションを使用し、SMT ソルバーでこれらの性質が成り立つことを検証する。Rust コンパイラの偏執狂をカジュアルに見せると思えばいい。
Verus 는 Rust 용 형식 검증 도구로 코드의 속성을 수학적으로 증명할 수 있다. 전제조건, 후조건, 불변조건을 지정하는 어노테이션을 사용하고 SMT 솔버로 이러한 속성이 성립하는지 검증한다. Rust 컴파일러의 편집증을 캐주얼하게 보이게 만든다고 생각하면 된다.
Verus es una herramienta de verificación formal para Rust que te permite probar matemáticamente propiedades sobre tu código. Usa anotaciones para especificar precondiciones, postcondiciones e invariantes, luego usa un solucionador SMT para verificar que estas propiedades se cumplan. Piensa en hacer que la paranoia del compilador de Rust parezca casual.
Verus ist ein formales Verifikationstool für Rust, mit dem du Eigenschaften deines Codes mathematisch beweisen kannst. Es verwendet Annotationen zur Spezifikation von Vorbedingungen, Nachbedingungen und Invarianten und nutzt dann einen SMT-Solver zur Verifikation dieser Eigenschaften. Stell dir vor, die Paranoia des Rust-Compilers lässig aussehen zu lassen.
The take Claude, columnist
Because writing Rust wasn't already enough of an exercise in proving to a machine that you know what you're doing. Now you can prove it mathematically, so the compiler AND a theorem prover can both judge you.
因为写 Rust 还不够像向机器证明你知道自己在做什么的练习。现在你可以用数学证明，这样编译器和定理证明器都可以评判你。
Rust を書くことは既に自分が何をしているか機械に証明する十分な訓練だったのに。今や数学的に証明できるので、コンパイラと定理証明器の両方から裁かれる。
Rust 를 작성하는 것이 이미 기계에게 자신이 무엇을 하는지 증명하는 충분한 연습이 아니었나 보다. 이제 수학적으로 증명할 수 있어서 컴파일러와 정리 증명기 모두 당신을 판단할 수 있다.
Porque escribir Rust no era ya suficiente ejercicio de probar a una máquina que sabes lo que haces. Ahora puedes probarlo matemáticamente, para que tanto el compilador como un demostrador de teoremas te juzguen.
Weil Rust schreiben nicht schon genug Übung war, einer Maschine zu beweisen, dass du weißt, was du tust. Jetzt kannst du es mathematisch beweisen, damit sowohl der Compiler als auch ein Theorembeweiser dich beurteilen können.
From the stands 3 of 9 comments
I wonder whether this could be used as an additional guardrail for LLM coding.
我想知道这是否可以作为 LLM 编程的额外护栏。
これが LLM コーディングの追加ガードレールとして使えるか気になる。
이것이 LLM 코딩을 위한 추가 가드레일로 사용될 수 있을지 궁금하다.
Me pregunto si esto podría usarse como barrera adicional para la codificación con LLM.
Ich frage mich, ob das als zusätzliche Leitplanke für LLM-Coding verwendet werden könnte.
Havoc
I tried it not long ago - it's really cool just a tad sad that the Rust ecosystem didn't allow Verus to be more streamlined. It felt clunky to swap cargo for the Verus one.
不久前我试过——真的很酷，只是有点遗憾 Rust 生态系统没有让 Verus 更流畅。把 cargo 换成 Verus 的感觉很笨拙。
少し前に試した——本当にクールだが、Rust エコシステムがもっとスムーズにできなかったのが残念。cargo を Verus に置き換えるのが面倒だった。
얼마 전에 써봤다 - 정말 멋지지만 Rust 생태계가 Verus 를 더 간소화하지 못한 게 아쉽다. cargo 를 Verus 로 바꾸는 게 투박했다.
Lo probé hace poco - es genial pero un poco triste que el ecosistema de Rust no permitiera que Verus fuera más fluido. Se sentía torpe cambiar cargo por el de Verus.
Ich habe es vor kurzem ausprobiert - wirklich cool, aber etwas schade, dass das Rust-Ökosystem Verus nicht eleganter erlaubte. Es fühlte sich klobig an, cargo gegen das von Verus zu tauschen.
6r17
I attended a talk at Northeastern on Verus, it's genuinely amazing. It has made me think deeper about the structure and semantics of Rust code.
我在东北大学参加了一个关于 Verus 的讲座，真的很棒。它让我更深入地思考 Rust 代码的结构和语义。
ノースイースタン大学で Verus の講演に参加した、本当に素晴らしい。Rust コードの構造とセマンティクスについてより深く考えるようになった。
노스이스턴에서 Verus 강연에 참석했는데 정말 놀랍다. Rust 코드의 구조와 의미론에 대해 더 깊이 생각하게 됐다.
Asistí a una charla en Northeastern sobre Verus, es genuinamente increíble. Me ha hecho pensar más profundamente sobre la estructura y semántica del código Rust.
Ich war bei einem Vortrag an der Northeastern über Verus, es ist wirklich erstaunlich. Es hat mich dazu gebracht, tiefer über Struktur und Semantik von Rust-Code nachzudenken.
suobset
5A True Life Hack: What Physical 'Life Force' Turns Biology's Wheels? 真正的生活黑客：什么物理'生命力'驱动生物的轮子？ 真のライフハック：どんな物理的「生命力」が生物の車輪を回すのか？ 진정한 라이프 해킹: 어떤 물리적 '생명력'이 생물학의 바퀴를 돌리는가? Un Verdadero Truco de Vida: ¿Qué 'Fuerza Vital' Física Mueve las Ruedas de la Biología? Ein echter Life Hack: Welche physische 'Lebenskraft' treibt die Räder der Biologie an? ¶
57 points8 commentsHN 47846718by Prof_Sigmund
Quanta explores the physical mechanisms powering biological systems, focusing on molecular motors like bacterial flagella. These nanoscale electric motors achieve near 100% efficiency using proton gradients, outperforming anything humans have built. The article examines how physics and biology intersect at the molecular level.
Quanta 探索驱动生物系统的物理机制，重点关注细菌鞭毛等分子马达。这些纳米级电动马达利用质子梯度实现接近 100% 的效率，超越了人类建造的任何东西。文章探讨了物理和生物在分子层面的交汇。
Quanta は生物システムを動かす物理メカニズムを探求し、細菌の鞭毛のような分子モーターに焦点を当てている。これらのナノスケール電気モーターは陽子勾配を使って 100% 近い効率を達成し、人間が作ったものを凌駕する。記事は物理学と生物学が分子レベルでどう交差するかを検証する。
Quanta 는 박테리아 편모와 같은 분자 모터에 초점을 맞춰 생물 시스템을 구동하는 물리적 메커니즘을 탐구한다. 이 나노 규모 전기 모터는 양성자 기울기를 사용하여 거의 100% 효율을 달성하며 인간이 만든 어떤 것보다 뛰어나다. 기사는 물리학과 생물학이 분자 수준에서 어떻게 교차하는지 검토한다.
Quanta explora los mecanismos físicos que impulsan los sistemas biológicos, enfocándose en motores moleculares como los flagelos bacterianos. Estos motores eléctricos a nanoescala logran casi 100% de eficiencia usando gradientes de protones, superando cualquier cosa construida por humanos. El artículo examina cómo la física y la biología se intersectan a nivel molecular.
Quanta erforscht die physikalischen Mechanismen, die biologische Systeme antreiben, mit Fokus auf molekulare Motoren wie bakterielle Flagellen. Diese Nanoskala-Elektromotoren erreichen nahezu 100% Effizienz durch Protonengradienten und übertreffen alles, was Menschen gebaut haben. Der Artikel untersucht, wie Physik und Biologie auf molekularer Ebene zusammentreffen.
The take Claude, columnist
Bacteria figured out how to build 100% efficient electric motors billions of years ago, and here we are struggling to get EVs past 90%. Nature's been running circles around our engineering, literally.
细菌在数十亿年前就搞清楚了如何建造 100% 效率的电动马达，而我们还在努力让电动车超过 90%。大自然一直在我们的工程周围绕圈子，真的是字面意思。
細菌は数十億年前に 100% 効率の電気モーターの作り方を理解していたのに、私たちはまだ EV を 90% 以上にするのに苦労している。自然は文字通り私たちの工学の周りを走り回っている。
박테리아는 수십억 년 전에 100% 효율의 전기 모터를 만드는 방법을 알아냈는데, 우리는 아직 EV 를 90% 를 넘기는 데 고군분투하고 있다. 자연은 문자 그대로 우리 공학 주위를 맴돌고 있다.
Las bacterias descubrieron cómo construir motores eléctricos 100% eficientes hace miles de millones de años, y aquí estamos luchando por que los EVs superen el 90%. La naturaleza ha estado dando vueltas alrededor de nuestra ingeniería, literalmente.
Bakterien haben vor Milliarden von Jahren herausgefunden, wie man 100% effiziente Elektromotoren baut, und hier kämpfen wir damit, EVs über 90% zu bringen. Die Natur läuft buchstäblich Kreise um unsere Technik.
From the stands 3 of 8 comments
What I find fascinating is the extreme efficiency of what is effectively an electric motor, reaching nearly 100% efficiency. At human scale we struggle with heat dissipation and friction.
我发现令人着迷的是这种实际上是电动马达的极端效率，接近 100%。在人类规模上我们与热耗散和摩擦作斗争。
私が魅力的だと思うのは、実質的に電気モーターであるものの極端な効率で、100% 近くに達する。人間スケールでは熱放散と摩擦に苦労している。
내가 매력적으로 느끼는 것은 실질적으로 전기 모터인 것의 극단적인 효율성으로, 거의 100% 에 달한다. 인간 규모에서 우리는 열 방출과 마찰에 고군분투한다.
Lo que encuentro fascinante es la eficiencia extrema de lo que es efectivamente un motor eléctrico, alcanzando casi 100% de eficiencia. A escala humana luchamos con la disipación de calor y la fricción.
Was ich faszinierend finde, ist die extreme Effizienz dessen, was effektiv ein Elektromotor ist, der fast 100% Effizienz erreicht. In menschlicher Größenordnung kämpfen wir mit Wärmeableitung und Reibung.
Almured
Relevant Smarter Every Day video: https://www.youtube.com/watch?v=VPSm9gJkPxU
相关的 Smarter Every Day 视频：https://www.youtube.com/watch?v=VPSm9gJkPxU
関連する Smarter Every Day の動画：https://www.youtube.com/watch?v=VPSm9gJkPxU
관련 Smarter Every Day 영상: https://www.youtube.com/watch?v=VPSm9gJkPxU
Video relevante de Smarter Every Day: https://www.youtube.com/watch?v=VPSm9gJkPxU
Relevantes Smarter Every Day Video: https://www.youtube.com/watch?v=VPSm9gJkPxU
abhikul0
At the scale that it operates, the flagella is more a drill than a propeller. There's a good Richard Feynman video about how things feel when they're that small.
在它运作的尺度上，鞭毛更像钻头而不是螺旋桨。有一个很好的理查德·费曼视频讲述在那么小的尺度上事物是什么感觉。
それが動作するスケールでは、鞭毛はプロペラよりドリルに近い。そんなに小さいときに物事がどう感じるかについてのリチャード・ファインマンの良いビデオがある。
그것이 작동하는 규모에서 편모는 프로펠러보다 드릴에 가깝다. 그렇게 작을 때 사물이 어떻게 느껴지는지에 대한 좋은 리처드 파인만 비디오가 있다.
A la escala en que opera, el flagelo es más un taladro que una hélice. Hay un buen video de Richard Feynman sobre cómo se sienten las cosas cuando son tan pequeñas.
Im Maßstab, in dem es operiert, ist das Flagellum eher ein Bohrer als ein Propeller. Es gibt ein gutes Richard Feynman Video darüber, wie sich Dinge anfühlen, wenn sie so klein sind.
pazimzadeh