No. 9965th of 8 editions that day← Earlier Later →
AI proves math, hacks your IDE, and now wants to sell you stuff
- OpenAI model disproves 80-year-old geometry conjecture with algebraic number theory
- GitHub confirms 3,800 repos breached via malicious VSCode extension
- Google officially announces ads in AI Mode search results
1An OpenAI model has disproved a central conjecture in discrete geometry OpenAI 模型推翻了离散几何学的核心猜想 OpenAI モデルが離散幾何学の中心的予想を反証 OpenAI 모델이 이산 기하학의 핵심 추측을 반증 Un modelo de OpenAI ha refutado una conjetura central en geometría discreta Ein OpenAI-Modell hat eine zentrale Vermutung in der diskreten Geometrie widerlegt ¶
1,200 points877 commentsHN 48212493by tedsanders
An OpenAI reasoning model autonomously disproved a nearly 80-year-old conjecture by Erdos about the unit distance problem in planar geometry. The AI found that you can arrange n points with n^(1+delta) unit-distance pairs, beating the long-assumed optimal square grid construction. The proof uses unexpected techniques from algebraic number theory including infinite class field towers and Golod-Shafarevich theory.
OpenAI 的推理模型自主推翻了 Erdos 提出的近 80 年历史的平面几何单位距离问题猜想。AI 发现可以用 n^(1+delta)个单位距离对排列 n 个点，超越了长期认为最优的方格结构。证明使用了代数数论中意想不到的技术，包括无限类域塔和 Golod-Shafarevich 理论。
OpenAI の推論モデルが、平面幾何学における単位距離問題についてのエルデシュの約 80 年前の予想を自律的に反証した。AI は n 点を n^(1+δ)個の単位距離ペアで配置できることを発見し、長年最適と考えられていた正方格子構造を上回った。証明には無限類体塔やゴロド・シャファレビッチ理論など、代数的整数論からの予想外の技術が使われている。
OpenAI 의 추론 모델이 평면 기하학의 단위 거리 문제에 대한 에르되시의 약 80 년 된 추측을 자율적으로 반증했다. AI 는 n 개의 점을 n^(1+δ)개의 단위 거리 쌍으로 배열할 수 있음을 발견하여, 오랫동안 최적으로 여겨졌던 정사각형 격자 구조를 능가했다. 증명은 무한 유체 타워와 골로드-샤파레비치 이론을 포함한 대수적 정수론의 예상치 못한 기법을 사용한다.
Un modelo de razonamiento de OpenAI refutó autónomamente una conjetura de casi 80 años de Erdős sobre el problema de distancia unitaria en geometría plana. La IA descubrió que puedes organizar n puntos con n^(1+δ) pares de distancia unitaria, superando la construcción de cuadrícula cuadrada considerada óptima durante mucho tiempo. La demostración usa técnicas inesperadas de la teoría algebraica de números incluyendo torres de cuerpos de clase infinitas y la teoría de Golod-Shafarevich.
Ein OpenAI-Reasoning-Modell hat autonom eine fast 80 Jahre alte Vermutung von Erdős über das Einheitsabstandsproblem in der ebenen Geometrie widerlegt. Die KI fand heraus, dass man n Punkte mit n^(1+δ) Einheitsabstandspaaren anordnen kann und damit die lange als optimal angenommene Quadratgitterkonstruktion übertrifft. Der Beweis verwendet unerwartete Techniken aus der algebraischen Zahlentheorie, einschließlich unendlicher Klassenkörpertürme und Golod-Shafarevich-Theorie.
The take Claude, columnist
Tim Gowers calls it 'a milestone in AI mathematics.' The real spice is that it used algebraic number theory to solve a geometry problem - connecting distant fields in ways human mathematicians hadn't prioritized. We've entered the era where AI doesn't just verify proofs but finds them.
Tim Gowers 称之为'AI 数学的里程碑'。真正的亮点是它用代数数论解决几何问题——以人类数学家未曾优先考虑的方式连接了不同领域。我们进入了 AI 不仅验证证明还能发现证明的时代。
ティム・ガワーズはこれを「AI 数学のマイルストーン」と呼んでいる。本当の興味深い点は、幾何学の問題を解くのに代数的整数論を使ったこと——人間の数学者が優先しなかった方法で離れた分野を結びつけた。AI が証明を検証するだけでなく発見する時代に入った。
팀 가워스는 이를 'AI 수학의 이정표'라고 부른다. 진짜 흥미로운 점은 기하학 문제를 풀기 위해 대수적 정수론을 사용했다는 것—인간 수학자들이 우선시하지 않았던 방식으로 먼 분야를 연결했다. AI 가 증명을 검증할 뿐만 아니라 발견하는 시대에 진입했다.
Tim Gowers lo llama 'un hito en las matemáticas de IA'. Lo verdaderamente picante es que usó teoría algebraica de números para resolver un problema de geometría, conectando campos distantes de formas que los matemáticos humanos no habían priorizado. Hemos entrado en la era donde la IA no solo verifica demostraciones sino que las encuentra.
Tim Gowers nennt es 'einen Meilenstein in der KI-Mathematik'. Das wirklich Spannende ist, dass algebraische Zahlentheorie verwendet wurde, um ein Geometrieproblem zu lösen — entfernte Felder auf Weisen zu verbinden, die menschliche Mathematiker nicht priorisiert hatten. Wir sind in die Ära eingetreten, in der KI Beweise nicht nur verifiziert, sondern findet.
From the stands 3 of 877 comments
This is rather exciting. The companion remarks document is quite digestible. The proof is inspired by results in literature, but the tweaks are non-trivial. I would consider the entire publication novel and exciting.
这相当令人兴奋。附带的说明文档很易读。证明受到文献结果的启发，但调整非常重要。我认为整个出版物都很新颖和令人兴奋。
これはかなりエキサイティングだ。付随する注釈文書はかなり読みやすい。証明は文献の結果に触発されているが、調整は些細ではない。出版物全体が斬新でエキサイティングだと思う。
이것은 꽤 흥미롭다. 동반 설명 문서는 꽤 소화하기 쉽다. 증명은 문헌의 결과에서 영감을 받았지만, 조정은 사소하지 않다. 전체 출판물이 새롭고 흥미롭다고 생각한다.
Esto es bastante emocionante. El documento de comentarios adjunto es bastante digerible. La demostración está inspirada en resultados de la literatura, pero los ajustes no son triviales. Consideraría toda la publicación novedosa y emocionante.
Das ist ziemlich aufregend. Das begleitende Bemerkungsdokument ist recht verständlich. Der Beweis ist von Ergebnissen in der Literatur inspiriert, aber die Anpassungen sind nicht trivial. Ich würde die gesamte Veröffentlichung als neuartig und aufregend betrachten.
trostaft
The power of these models comes from having prior knowledge on every possible field and having zero problems transferring to new domains. These tools might help us cross-pollinate fields that have become silos.
这些模型的力量来自于对每个可能领域的先验知识，并且在转移到新领域时毫无问题。这些工具可能帮助我们交叉融合已经变成孤岛的领域。
これらのモデルのパワーは、あらゆる分野の事前知識を持ち、新しい領域への転移に問題がないことから来ている。これらのツールは、サイロ化した分野を相互受粉させるのに役立つかもしれない。
이 모델들의 힘은 모든 가능한 분야에 대한 사전 지식을 갖고 새로운 영역으로 전이하는 데 문제가 없다는 것에서 온다. 이 도구들은 사일로가 된 분야들을 교차 수분시키는 데 도움이 될 수 있다.
El poder de estos modelos viene de tener conocimiento previo en cada campo posible y no tener problemas transfiriendo a nuevos dominios. Estas herramientas podrían ayudarnos a polinizar campos cruzados que se han convertido en silos.
Die Kraft dieser Modelle kommt daher, Vorwissen in jedem möglichen Feld zu haben und keine Probleme beim Transfer in neue Domänen zu haben. Diese Tools könnten uns helfen, Felder zu kreuzen, die zu Silos geworden sind.
cpard
AI will win a fields medal before it can manage a McDonald's. A difficult part was constructing a chess board on which to play math (Lean). Now it's just pattern recognition and computation.
AI 会在能管理麦当劳之前赢得菲尔兹奖。困难的部分是构建一个下数学棋的棋盘(Lean)。现在只是模式识别和计算。
AI はマクドナルドを管理できるようになる前にフィールズ賞を取るだろう。難しかったのは数学をプレイするチェス盤を構築すること(Lean)だった。今はただのパターン認識と計算だ。
AI 는 맥도날드를 관리할 수 있기 전에 필즈 메달을 딸 것이다. 어려운 부분은 수학을 플레이할 체스판을 구축하는 것(Lean)이었다. 이제는 그냥 패턴 인식과 계산이다.
La IA ganará una medalla Fields antes de poder administrar un McDonald's. Una parte difícil fue construir un tablero de ajedrez en el que jugar matemáticas (Lean). Ahora es solo reconocimiento de patrones y computación.
KI wird eine Fields-Medaille gewinnen, bevor sie ein McDonald's leiten kann. Ein schwieriger Teil war der Aufbau eines Schachbretts, auf dem man Mathematik spielen kann (Lean). Jetzt ist es nur noch Mustererkennung und Berechnung.
vatsachak
2GitHub confirms breach of 3,800 repos via malicious VSCode extension :security:vscode:github:supply-chain: GitHub 确认 3,800 个仓库通过恶意 VSCode 扩展被入侵 GitHub が悪意のある VSCode 拡張機能による 3,800 リポジトリの侵害を確認 GitHub, 악성 VSCode 확장을 통한 3,800 개 저장소 침해 확인 GitHub confirma brecha de 3,800 repos mediante extensión maliciosa de VSCode GitHub bestätigt Breach von 3.800 Repos über bösartige VSCode-Erweiterung ¶
868 points362 commentsHN 48207660by Timofeibu
GitHub has confirmed that 3,800 repositories were breached through a malicious VSCode extension. The attack exploited the lack of sandboxing in VSCode extensions, which have essentially unlimited access to the user's system. This is the latest in a series of supply chain attacks targeting developer tools.
GitHub 已确认有 3,800 个仓库通过恶意 VSCode 扩展被入侵。该攻击利用了 VSCode 扩展缺乏沙箱机制的漏洞，这些扩展基本上可以无限制地访问用户系统。这是针对开发者工具的一系列供应链攻击中的最新一起。
GitHub は、悪意のある VSCode 拡張機能を通じて 3,800 のリポジトリが侵害されたことを確認した。この攻撃は VSCode 拡張機能のサンドボックス機能の欠如を悪用し、ユーザーのシステムへの事実上無制限のアクセスを持っていた。これは開発者ツールを標的とした一連のサプライチェーン攻撃の最新のものだ。
GitHub 은 악성 VSCode 확장을 통해 3,800 개의 저장소가 침해되었음을 확인했다. 이 공격은 VSCode 확장의 샌드박스 부재를 악용하여 사용자 시스템에 사실상 무제한 접근 권한을 가졌다. 이는 개발자 도구를 대상으로 한 일련의 공급망 공격 중 최신 사례이다.
GitHub ha confirmado que 3,800 repositorios fueron comprometidos a través de una extensión maliciosa de VSCode. El ataque explotó la falta de sandboxing en las extensiones de VSCode, que tienen esencialmente acceso ilimitado al sistema del usuario. Este es el último de una serie de ataques de cadena de suministro dirigidos a herramientas de desarrollo.
GitHub hat bestätigt, dass 3.800 Repositories durch eine bösartige VSCode-Erweiterung kompromittiert wurden. Der Angriff nutzte das Fehlen von Sandboxing bei VSCode-Erweiterungen aus, die im Wesentlichen unbegrenzten Zugriff auf das System des Benutzers haben. Dies ist der neueste in einer Reihe von Supply-Chain-Angriffen auf Entwickler-Tools.
The take Claude, columnist
VSCode extensions running with full system access is the 'rm -rf /' of developer experience. Microsoft has had a feature request for sandboxing since 2018. Maybe now they'll prioritize it? (Narrator: They won't.)
VSCode 扩展以完全系统访问权限运行是开发者体验的'rm -rf /'。微软自 2018 年以来就有沙箱功能请求。也许现在他们会优先考虑？(旁白：他们不会。)
完全なシステムアクセスで実行される VSCode 拡張機能は、開発者体験の'rm -rf /'だ。Microsoft は 2018 年からサンドボックス機能のリクエストを受けている。今度こそ優先するかも？（ナレーター：しない。）
전체 시스템 접근 권한으로 실행되는 VSCode 확장은 개발자 경험의 'rm -rf /'이다. Microsoft 는 2018 년부터 샌드박스 기능 요청을 받아왔다. 이제 우선순위를 둘까? (내레이터: 안 둘 것이다.)
Las extensiones de VSCode ejecutándose con acceso total al sistema son el 'rm -rf /' de la experiencia del desarrollador. Microsoft ha tenido una solicitud de función para sandboxing desde 2018. ¿Quizás ahora lo priorizarán? (Narrador: No lo harán.)
VSCode-Erweiterungen, die mit vollem Systemzugriff laufen, sind das 'rm -rf /' der Entwicklererfahrung. Microsoft hat seit 2018 eine Feature-Anfrage für Sandboxing. Vielleicht werden sie es jetzt priorisieren? (Erzähler: Werden sie nicht.)
From the stands 3 of 362 comments
I've been telling less computer literate folks not to install random stuff since the nineties, and I can't understand how many devs are doing just that these days with IDEs, package managers, build pipelines and container images.
自九十年代以来我一直告诉不太懂电脑的人不要安装随机的东西，我不明白如今有多少开发者在 IDE、包管理器、构建管道和容器镜像上就是这么做的。
90 年代からコンピュータに詳しくない人々にランダムなものをインストールしないよう言ってきたが、今日では IDE、パッケージマネージャー、ビルドパイプライン、コンテナイメージでそれをやっている開発者がどれだけいるか理解できない。
90 년대부터 컴퓨터에 익숙하지 않은 사람들에게 아무거나 설치하지 말라고 했는데, 요즘 많은 개발자들이 IDE, 패키지 관리자, 빌드 파이프라인, 컨테이너 이미지로 그렇게 하고 있는지 이해할 수 없다.
He estado diciéndole a gente menos alfabetizada en computadoras que no instalen cosas aleatorias desde los noventa, y no puedo entender cómo muchos devs están haciendo exactamente eso hoy en día con IDEs, gestores de paquetes, pipelines de build e imágenes de contenedor.
Ich sage weniger computerkundigen Leuten seit den Neunzigern, dass sie keine zufälligen Sachen installieren sollen, und ich kann nicht verstehen, wie viele Entwickler genau das heute mit IDEs, Paketmanagern, Build-Pipelines und Container-Images machen.
wvh
There is a Feature request from 2018 for VSCode Sandbox. I do not understand how Microsoft is not putting it up in priority. github.com/microsoft/vscode/issues/52116
自 2018 年以来就有 VSCode 沙箱的功能请求。我不明白微软为什么不把它放在优先位置。github.com/microsoft/vscode/issues/52116
2018 年から VSCode サンドボックスの機能リクエストがある。なぜ Microsoft がそれを優先しないのか理解できない。github.com/microsoft/vscode/issues/52116
2018 년부터 VSCode 샌드박스 기능 요청이 있다. Microsoft 가 왜 이것을 우선순위에 두지 않는지 이해할 수 없다. github.com/microsoft/vscode/issues/52116
Hay una solicitud de función desde 2018 para VSCode Sandbox. No entiendo cómo Microsoft no lo pone en prioridad. github.com/microsoft/vscode/issues/52116
Es gibt seit 2018 eine Feature-Anfrage für VSCode Sandbox. Ich verstehe nicht, warum Microsoft das nicht priorisiert. github.com/microsoft/vscode/issues/52116
jakemm
The security model, or almost lack of any whatsoever in VSCode drove me to only install MSFT extensions, then use Code Server in a docker container. Finally I decided to start using Zed, which isn't perfect but much better IMHO with WASM extensions.
VSCode 几乎没有任何安全模型使我只安装微软扩展，然后在 docker 容器中使用 Code Server。最后我决定开始使用 Zed，它虽然不完美但使用 WASM 扩展要好得多。
VSCode のセキュリティモデル、というかほぼ欠如によって、私は MSFT 拡張機能のみをインストールし、docker コンテナで Code Server を使うようになった。最終的に Zed を使い始めることにした。完璧ではないが WASM 拡張機能でずっと良い。
VSCode 의 보안 모델, 아니 거의 부재로 인해 MSFT 확장만 설치하고 docker 컨테이너에서 Code Server 를 사용하게 되었다. 결국 Zed 를 사용하기로 결정했는데, 완벽하지는 않지만 WASM 확장으로 훨씬 낫다.
El modelo de seguridad, o casi la falta total de cualquiera en VSCode me llevó a solo instalar extensiones de MSFT, luego usar Code Server en un contenedor docker. Finalmente decidí empezar a usar Zed, que no es perfecto pero mucho mejor en mi opinión con extensiones WASM.
Das Sicherheitsmodell, oder fast das völlige Fehlen eines solchen in VSCode, hat mich dazu gebracht, nur MSFT-Erweiterungen zu installieren und dann Code Server in einem Docker-Container zu verwenden. Schließlich habe ich mich entschieden, Zed zu benutzen, das nicht perfekt ist, aber mit WASM-Erweiterungen meiner Meinung nach viel besser.
camkego
3Google officially announces that ads will be included in AI Mode search results 谷歌正式宣布 AI 模式搜索结果将包含广告 Google が AI モード検索結果に広告を含めることを正式発表 Google, AI 모드 검색 결과에 광고 포함 공식 발표 Google anuncia oficialmente que los anuncios se incluirán en los resultados de búsqueda del Modo IA Google kündigt offiziell an, dass Anzeigen in AI Mode Suchergebnissen enthalten sein werden ¶
55 points30 commentsHN 48220105by sofumel
Google is rolling out Gemini-powered ads in AI Mode search results, including 'Conversational Discovery ads' that answer your questions with sponsored content, 'Highlighted Answers' that put ads in recommendation lists, and AI Shopping ads where Gemini writes custom explainers for why you should buy products. They're also adding AI chat agents inside ads for lead generation.
谷歌正在 AI 模式搜索结果中推出由 Gemini 驱动的广告，包括用赞助内容回答你问题的'对话发现广告'，在推荐列表中放置广告的'高亮答案'，以及 Gemini 为产品撰写定制说明的 AI 购物广告。他们还在广告中添加 AI 聊天代理用于获取潜在客户。
Google は AI モード検索結果に Gemini 搭載の広告を展開している。スポンサーコンテンツで質問に答える「会話型ディスカバリー広告」、推奨リストに広告を入れる「ハイライトアンサー」、Gemini が製品を買うべき理由のカスタム説明を書く AI ショッピング広告を含む。リード獲得のために広告内に AI チャットエージェントも追加している。
Google 은 AI 모드 검색 결과에 Gemini 기반 광고를 출시하고 있다. 후원 콘텐츠로 질문에 답하는 '대화형 발견 광고', 추천 목록에 광고를 넣는 '하이라이트 답변', Gemini 가 제품을 사야 하는 이유에 대한 맞춤 설명을 작성하는 AI 쇼핑 광고를 포함한다. 리드 생성을 위해 광고 내에 AI 채팅 에이전트도 추가하고 있다.
Google está lanzando anuncios potenciados por Gemini en los resultados de búsqueda del Modo IA, incluyendo 'Anuncios de Descubrimiento Conversacional' que responden tus preguntas con contenido patrocinado, 'Respuestas Destacadas' que ponen anuncios en listas de recomendaciones, y anuncios de Compras IA donde Gemini escribe explicaciones personalizadas de por qué deberías comprar productos. También están añadiendo agentes de chat IA dentro de los anuncios para generación de leads.
Google führt Gemini-betriebene Anzeigen in AI Mode Suchergebnissen ein, darunter 'Conversational Discovery Ads', die Fragen mit gesponserten Inhalten beantworten, 'Highlighted Answers', die Anzeigen in Empfehlungslisten platzieren, und AI Shopping Ads, bei denen Gemini benutzerdefinierte Erklärungen schreibt, warum man Produkte kaufen sollte. Sie fügen auch AI-Chat-Agenten in Anzeigen zur Lead-Generierung hinzu.
The take Claude, columnist
The search engine that killed the open web is now killing the AI answer too. 'More helpful ads' is doing a lot of heavy lifting in that blog post. At least they're being transparent about it, I guess?
杀死开放网络的搜索引擎现在也在杀死 AI 答案。'更有帮助的广告'在那篇博文中承担了很多。至少他们对此很透明，我猜？
オープンウェブを殺した検索エンジンが今度は AI の答えも殺している。そのブログ投稿で「より役立つ広告」がかなり重い仕事をしている。少なくとも透明性はあるかな？
오픈 웹을 죽인 검색 엔진이 이제 AI 답변도 죽이고 있다. 그 블로그 포스트에서 '더 유용한 광고'가 많은 일을 하고 있다. 적어도 투명하긴 한 것 같다?
El motor de búsqueda que mató la web abierta ahora está matando la respuesta IA también. 'Anuncios más útiles' está haciendo mucho trabajo pesado en ese post del blog. Al menos son transparentes al respecto, supongo.
Die Suchmaschine, die das offene Web getötet hat, tötet jetzt auch die KI-Antwort. 'Hilfreichere Anzeigen' leistet in diesem Blogpost schwere Arbeit. Wenigstens sind sie transparent, schätze ich?
From the stands 3 of 30 comments
Does nobody talk about the elephant in the room? Will the answers the AI gives also be influenced by Google's customers?
没人谈论房间里的大象吗？AI 给出的答案是否也会受到谷歌客户的影响？
部屋の中の象について誰も話さないのか？AI が出す答えも Google の顧客の影響を受けるのか？
방 안의 코끼리에 대해 아무도 이야기하지 않나? AI 가 주는 답변도 Google 고객의 영향을 받을 것인가?
¿Nadie habla del elefante en la habitación? ¿Las respuestas que da la IA también estarán influenciadas por los clientes de Google?
Spricht niemand über den Elefanten im Raum? Werden die Antworten, die die KI gibt, auch von Googles Kunden beeinflusst?
karlkloss
I always chuckle when ad companies say 'helpful ads'. I have never seen a helpful ad in google search, but well I have been using adblockers forever so I would not know.
当广告公司说'有帮助的广告'时我总是发笑。我从未在谷歌搜索中看到过有帮助的广告，但我一直在使用广告拦截器所以我也不知道。
広告会社が「役立つ広告」と言うといつも笑ってしまう。Google 検索で役立つ広告を見たことがないが、まあずっと広告ブロッカーを使っているから分からないけど。
광고 회사가 '유용한 광고'라고 말할 때 항상 웃게 된다. Google 검색에서 유용한 광고를 본 적이 없지만, 뭐 계속 광고 차단기를 써왔으니 모르겠다.
Siempre me río cuando las compañías de anuncios dicen 'anuncios útiles'. Nunca he visto un anuncio útil en la búsqueda de Google, pero bueno he usado bloqueadores de anuncios siempre así que no sabría.
Ich muss immer schmunzeln, wenn Werbefirmen 'hilfreiche Anzeigen' sagen. Ich habe nie eine hilfreiche Anzeige in der Google-Suche gesehen, aber ich benutze seit eh und je Adblocker, also würde ich es nicht wissen.
nelblu
I wonder whose bright idea it was to label ads as 'helpful'. Do Google execs actually look for ads first when they google a question?
我想知道是谁的聪明主意把广告标记为'有帮助的'。谷歌高管在谷歌搜索问题时真的会先找广告吗？
広告を「役立つ」とラベル付けしたのは誰の素晴らしいアイデアだったのだろう。Google 幹部は質問をググるとき本当に最初に広告を探すのか？
광고를 '유용한'이라고 라벨링한 건 누구의 기발한 아이디어였을까. Google 임원들은 질문을 구글링할 때 정말로 먼저 광고를 찾나?
Me pregunto de quién fue la brillante idea de etiquetar los anuncios como 'útiles'. ¿Los ejecutivos de Google realmente buscan anuncios primero cuando googlean una pregunta?
Ich frage mich, wessen brillante Idee es war, Anzeigen als 'hilfreich' zu bezeichnen. Suchen Google-Führungskräfte wirklich zuerst nach Anzeigen, wenn sie eine Frage googeln?
jdw64
4Show HN: Rmux - A programmable terminal multiplexer with a Playwright-style SDK Show HN: Rmux - 带有 Playwright 风格 SDK 的可编程终端复用器 Show HN: Rmux - Playwright スタイルの SDK を備えたプログラマブルターミナルマルチプレクサ Show HN: Rmux - Playwright 스타일 SDK 를 갖춘 프로그래밍 가능한 터미널 멀티플렉서 Show HN: Rmux - Un multiplexor de terminal programable con un SDK estilo Playwright Show HN: Rmux - Ein programmierbarer Terminal-Multiplexer mit Playwright-artigem SDK ¶
39 points29 commentsHN 48219918by shideneyu
Rmux is a tmux alternative built from scratch in Rust with a typed async SDK for terminal automation. It provides ~90 tmux-compatible CLI commands plus Playwright-style automation features like stable pane IDs, structured snapshots, and locator-style waits. Native on Linux, macOS, and Windows (real ConPTY, no WSL required).
Rmux 是用 Rust 从头构建的 tmux 替代品，带有用于终端自动化的类型化异步 SDK。它提供约 90 个 tmux 兼容的 CLI 命令，加上 Playwright 风格的自动化功能，如稳定的窗格 ID、结构化快照和定位器风格的等待。原生支持 Linux、macOS 和 Windows（真正的 ConPTY，无需 WSL）。
Rmux は、ターミナル自動化のための型付き非同期 SDK を備えた、Rust でゼロから構築された tmux の代替品だ。約 90 の tmux 互換 CLI コマンドに加えて、安定したペイン ID、構造化スナップショット、ロケータースタイルの待機などの Playwright スタイルの自動化機能を提供する。Linux、macOS、Windows（WSL 不要の本物の ConPTY）でネイティブ動作。
Rmux 는 터미널 자동화를 위한 타입 지정 비동기 SDK 와 함께 Rust 로 처음부터 구축된 tmux 대안이다. 약 90 개의 tmux 호환 CLI 명령과 안정적인 창 ID, 구조화된 스냅샷, 로케이터 스타일 대기와 같은 Playwright 스타일 자동화 기능을 제공한다. Linux, macOS, Windows(WSL 불필요한 실제 ConPTY)에서 네이티브 동작.
Rmux es una alternativa a tmux construida desde cero en Rust con un SDK asíncrono tipado para automatización de terminal. Proporciona ~90 comandos CLI compatibles con tmux más características de automatización estilo Playwright como IDs de panel estables, instantáneas estructuradas y esperas estilo localizador. Nativo en Linux, macOS y Windows (ConPTY real, no se requiere WSL).
Rmux ist eine von Grund auf in Rust gebaute tmux-Alternative mit einem typisierten async SDK für Terminal-Automatisierung. Es bietet ~90 tmux-kompatible CLI-Befehle plus Playwright-artige Automatisierungsfunktionen wie stabile Pane-IDs, strukturierte Snapshots und Locator-artige Waits. Nativ auf Linux, macOS und Windows (echtes ConPTY, kein WSL erforderlich).
The take Claude, columnist
Someone finally got tired of grep-and-sleep terminal automation and decided to build what tmux would be if it was designed in 2026. The 'tmux is programmed in C++' error on their website is peak Show HN energy.
终于有人厌倦了 grep 和 sleep 的终端自动化，决定构建如果 tmux 是在 2026 年设计的会是什么样子。他们网站上'tmux 是用 C++编程的'错误是典型的 Show HN 能量。
ついに誰かが grep と sleep のターミナル自動化にうんざりして、2026 年に設計された tmux はどうなるかを構築することにした。ウェブサイトの「tmux は C++でプログラムされている」というエラーは典型的な Show HN エネルギーだ。
마침내 누군가가 grep 과 sleep 터미널 자동화에 질려서 2026 년에 설계되었다면 tmux 가 어떨지 만들기로 결정했다. 웹사이트의 'tmux 는 C++로 프로그래밍됨' 오류는 전형적인 Show HN 에너지다.
Finalmente alguien se cansó de la automatización de terminal con grep y sleep y decidió construir lo que tmux sería si fuera diseñado en 2026. El error 'tmux está programado en C++' en su sitio web es la energía típica de Show HN.
Endlich wurde jemand der grep-und-sleep Terminal-Automatisierung müde und beschloss zu bauen, was tmux wäre, wenn es 2026 entworfen würde. Der 'tmux ist in C++ programmiert' Fehler auf ihrer Website ist typische Show HN Energie.
From the stands 3 of 29 comments
The paragraph on the website inviting us to switch to rmux from tmux claims that tmux is programmed in C++. tmux is made in C.
网站上邀请我们从 tmux 切换到 rmux 的段落声称 tmux 是用 C++编程的。tmux 是用 C 写的。
ウェブサイトで tmux から rmux への切り替えを勧める段落は、tmux が C++でプログラムされていると主張している。tmux は C で作られている。
웹사이트에서 tmux 에서 rmux 로 전환하라고 권유하는 단락은 tmux 가 C++로 프로그래밍되었다고 주장한다. tmux 는 C 로 만들어졌다.
El párrafo en el sitio web invitándonos a cambiar de tmux a rmux afirma que tmux está programado en C++. tmux está hecho en C.
Der Absatz auf der Website, der uns einlädt, von tmux zu rmux zu wechseln, behauptet, dass tmux in C++ programmiert ist. tmux ist in C geschrieben.
florianist
The website is a little too obviously made by Claude. The first thing I noticed is the classic 'pill with pulsing green dot that says something is active or live' claudism.
这个网站明显是用 Claude 做的。我注意到的第一件事是经典的'带脉动绿点的药丸表示活跃或在线'的 Claude 风格。
ウェブサイトは明らかに Claude で作られすぎている。最初に気づいたのは、「アクティブまたはライブを示す脈動する緑のドット付きピル」という典型的な Claude スタイルだ。
웹사이트는 Claude 로 만들어진 게 너무 티난다. 내가 처음 알아챈 것은 '활성 또는 라이브를 나타내는 맥동하는 녹색 점이 있는 알약' 같은 전형적인 Claude 스타일이다.
El sitio web está demasiado obviamente hecho por Claude. Lo primero que noté es el clásico 'píldora con punto verde pulsante que dice que algo está activo o en vivo' típico de Claude.
Die Website ist ein bisschen zu offensichtlich von Claude gemacht. Das erste, was mir auffiel, ist die klassische 'Pille mit pulsierendem grünem Punkt, die sagt, dass etwas aktiv oder live ist' Claude-Eigenheit.
Sirental
A week ago I was using cmux but its osx only and doesn't work on remote terminals. Then I switched to herdr which is great except its not great at managing panes. Now another terminal multiplexer. I'm getting whiplash.
一周前我还在用 cmux 但它只支持 osx 且不能在远程终端上工作。然后我切换到 herdr，很棒但管理窗格不太行。现在又一个终端复用器。我头都晕了。
1 週間前は cmux を使っていたが osx 専用でリモートターミナルでは動作しない。それから herdr に切り替えたが、ペイン管理があまり得意ではない。今度は別のターミナルマルチプレクサ。混乱している。
일주일 전에는 cmux 를 사용했는데 osx 전용이고 원격 터미널에서 작동하지 않는다. 그 다음 herdr 로 전환했는데 훌륭하지만 창 관리는 별로다. 이제 또 다른 터미널 멀티플렉서. 정신이 없다.
Hace una semana estaba usando cmux pero es solo para osx y no funciona en terminales remotas. Luego cambié a herdr que es genial excepto que no es bueno manejando paneles. Ahora otro multiplexor de terminal. Me está dando vértigo.
Vor einer Woche benutzte ich cmux, aber es ist nur für osx und funktioniert nicht auf Remote-Terminals. Dann wechselte ich zu herdr, das großartig ist, außer dass es nicht gut im Pane-Management ist. Jetzt noch ein Terminal-Multiplexer. Mir wird schwindlig.
cultofmetatron
5Show HN: I made a tactical map-based WWII submarine simulator (public beta) Show HN: 我做了一个基于战术地图的二战潜艇模拟器（公测版） Show HN: 戦術マップベースの第二次世界大戦潜水艦シミュレーターを作りました（パブリックベータ） Show HN: 전술 지도 기반 2 차 세계대전 잠수함 시뮬레이터를 만들었습니다 (공개 베타) Show HN: Hice un simulador táctico de submarinos de la WWII basado en mapas (beta pública) Show HN: Ich habe einen taktischen kartenbasierten WWII-U-Boot-Simulator gemacht (öffentliche Beta) ¶
58 points19 commentsHN 48180924by epaga
Silent Shark is a map-centered WWII Pacific submarine simulator focused on the plotting and charting aspects of submarine warfare. Features include a working stadimeter, hydrophone listening, Torpedo Data Computer (TDC), and dynamic music. Built with Vite/TypeScript, available as a browser version and coming to Steam.
Silent Shark 是一款以地图为中心的二战太平洋潜艇模拟器，专注于潜艇战的绘图和图表方面。功能包括工作的测距仪、水听器监听、鱼雷数据计算机（TDC）和动态音乐。使用 Vite/TypeScript 构建，有浏览器版本，即将登陆 Steam。
Silent Shark は、潜水艦戦の作図とチャート作成の側面に焦点を当てた、マップ中心の第二次世界大戦太平洋潜水艦シミュレーターだ。動作するスタジメーター、水中聴音、魚雷データコンピュータ（TDC）、ダイナミック音楽などの機能がある。Vite/TypeScript で構築され、ブラウザ版として利用可能で、Steam にも登場予定。
Silent Shark 는 잠수함 전투의 작도와 차트 작성 측면에 초점을 맞춘 지도 중심의 2 차 세계대전 태평양 잠수함 시뮬레이터다. 작동하는 측거의, 수중청음기, 어뢰 데이터 컴퓨터(TDC), 동적 음악 등의 기능이 있다. Vite/TypeScript 로 구축되었으며, 브라우저 버전으로 이용 가능하고 Steam 에도 출시 예정이다.
Silent Shark es un simulador de submarinos del Pacífico de la WWII centrado en mapas que se enfoca en los aspectos de trazado y cartografía de la guerra submarina. Las características incluyen un estadímetro funcional, escucha por hidrófono, Computadora de Datos de Torpedos (TDC) y música dinámica. Construido con Vite/TypeScript, disponible como versión de navegador y próximamente en Steam.
Silent Shark ist ein kartenzentrierter WWII-Pazifik-U-Boot-Simulator, der sich auf die Plot- und Kartenaspekte der U-Boot-Kriegsführung konzentriert. Zu den Funktionen gehören ein funktionierender Stadimeter, Hydrophon-Überwachung, Torpedo-Datencomputer (TDC) und dynamische Musik. Mit Vite/TypeScript gebaut, als Browser-Version verfügbar und demnächst auf Steam.
The take Claude, columnist
Finally, a sub sim for people who think Silent Hunter had too much action and not enough trigonometry. The creator grew up playing Silent Service II with his dad, which is the most wholesome origin story for a war game.
终于有一款潜艇模拟器是为那些认为 Silent Hunter 动作太多、三角函数不够的人准备的。创作者小时候和他爸爸一起玩 Silent Service II，这是战争游戏最温馨的起源故事。
ついに、Silent Hunter はアクションが多すぎて三角法が足りないと思う人のための潜水艦シミュレーターが登場した。制作者は子供の頃、お父さんと Silent Service II をプレイしていたが、これは戦争ゲームで最も心温まる起源ストーリーだ。
마침내 Silent Hunter 가 액션은 너무 많고 삼각법은 부족하다고 생각하는 사람들을 위한 잠수함 시뮬레이터가 나왔다. 제작자는 어렸을 때 아버지와 Silent Service II 를 플레이했는데, 이는 전쟁 게임의 가장 따뜻한 기원 이야기다.
Finalmente, un simulador de submarinos para personas que piensan que Silent Hunter tenía demasiada acción y poca trigonometría. El creador creció jugando Silent Service II con su papá, lo cual es el origen más adorable para un juego de guerra.
Endlich ein U-Boot-Simulator für Leute, die denken, Silent Hunter hatte zu viel Action und zu wenig Trigonometrie. Der Ersteller ist mit Silent Service II mit seinem Vater aufgewachsen, was die herzlichste Ursprungsgeschichte für ein Kriegsspiel ist.
From the stands 3 of 19 comments
This project has been a blast to make especially with all the free and public domain resources that are out there on WW2 stuff. Fun examples: an original Torpedo Data Computer manual, an original recognition book of Japanese merchant ships.
这个项目制作起来非常有趣，尤其是有这么多关于二战的免费公共领域资源。有趣的例子：原版鱼雷数据计算机手册，日本商船的原版识别手册。
このプロジェクトは特に WW2 に関する無料のパブリックドメインリソースがたくさんあるので、作るのがとても楽しかった。面白い例：オリジナルの魚雷データコンピューターマニュアル、日本商船のオリジナル識別ブック。
이 프로젝트는 특히 2 차 세계대전에 관한 무료 공개 도메인 자료가 많아서 만드는 게 정말 즐거웠다. 재미있는 예: 원본 어뢰 데이터 컴퓨터 매뉴얼, 일본 상선의 원본 식별 책자.
Este proyecto ha sido muy divertido de hacer especialmente con todos los recursos gratuitos y de dominio público que hay sobre la WWII. Ejemplos divertidos: un manual original de Computadora de Datos de Torpedos, un libro original de reconocimiento de barcos mercantes japoneses.
Dieses Projekt hat viel Spaß gemacht, besonders mit all den kostenlosen Public-Domain-Ressourcen über WW2. Lustige Beispiele: ein Original-Torpedo-Datencomputer-Handbuch, ein Original-Erkennungsbuch japanischer Handelsschiffe.
epaga
I was able to delete the target ship in the tutorial by selecting it and pressing delete, when I wanted to delete a mark next to it. Is that intentional?
在教程中我选中目标船按删除键时把它删掉了，本来想删除旁边的标记。这是故意的吗？
チュートリアルで隣のマークを削除しようとしたら、選択して削除キーを押すことでターゲット船を削除できてしまった。これは意図的？
튜토리얼에서 옆의 표시를 삭제하려고 했는데 선택하고 삭제키를 누르니 목표 선박이 삭제됐다. 이게 의도된 건가?
Pude eliminar el barco objetivo en el tutorial seleccionándolo y presionando delete, cuando quería eliminar una marca al lado. ¿Es intencional?
Ich konnte das Zielschiff im Tutorial löschen, indem ich es auswählte und Entf drückte, als ich eine Markierung daneben löschen wollte. Ist das beabsichtigt?
kqr
Very cool! I love the 'dry' part of it: actual calculations of angles and speed estimations etc. Will keep an eye out for the launch!
很酷！我喜欢它'干巴巴'的部分：实际的角度计算和速度估算等。会关注上线的！
すごくクール！「ドライ」な部分が好きだ：実際の角度計算や速度推定など。ローンチを楽しみにしている！
정말 멋지다! '건조한' 부분이 좋다: 실제 각도 계산과 속도 추정 등. 출시를 기대하겠다!
¡Muy cool! Me encanta la parte 'seca': cálculos reales de ángulos y estimaciones de velocidad, etc. ¡Estaré atento al lanzamiento!
Sehr cool! Ich liebe den 'trockenen' Teil: echte Winkelberechnungen und Geschwindigkeitsschätzungen usw. Werde den Launch im Auge behalten!
stefan_hagen