No. 1,3938th of 8 editions that day← Earlier Later →
Open-weight AI finds its Kubernetes, monkeys cross bridges, and mathematicians face existential dread
- Open-weight AI: the open source playbook repeats itself
- Amazon canopy bridges: 15,000 crossings, zero roadkill
- Mathematics: what happens when AI does proofs better than you
1Open-weight AI is having its Kubernetes moment :ai:open-source 开放权重 AI 正在经历它的 Kubernetes 时刻 オープンウェイト AI が Kubernetes の瞬間を迎えている 오픈 웨이트 AI 가 쿠버네티스의 순간을 맞이하고 있다 La IA de pesos abiertos está teniendo su momento Kubernetes Open-Weight-KI erlebt ihren Kubernetes-Moment ¶
192 points135 commentsHN 49048034by tknaup
［from title + comments, article behind Cloudflare］ Author draws parallels between the current open-weight AI landscape and the container wars that led to Kubernetes. The argument: just as Docker spawned an ecosystem that Kubernetes unified, open-weight models need similar infrastructure standardization. HN discussion reveals deeper tensions around geopolitics, with debates on whether banning Chinese models is even technically feasible since weights are just numbers.
［基于标题和评论，文章被 Cloudflare 阻挡］ 作者将当前开放权重 AI 格局与导致 Kubernetes 诞生的容器战争相比较。论点是：正如 Docker 催生了 Kubernetes 统一的生态系统，开放权重模型也需要类似的基础设施标准化。HN 讨论揭示了地缘政治方面的深层紧张，关于禁止中国模型是否在技术上可行存在争论，因为权重只是数字。
［タイトルとコメントより、記事は Cloudflare 保護下］ 著者は現在のオープンウェイト AI の状況を、Kubernetes につながったコンテナ戦争と比較している。論点：Docker が Kubernetes で統一されたエコシステムを生み出したように、オープンウェイトモデルも同様のインフラ標準化が必要。HN の議論では地政学的な緊張が明らかになり、重みは単なる数字なので中国モデルの禁止が技術的に可能かどうかの議論が行われている。
［제목과 댓글 기반, 기사는 Cloudflare 차단］ 저자는 현재 오픈 웨이트 AI 환경을 쿠버네티스로 이어진 컨테이너 전쟁과 비교한다. 논점: Docker 가 쿠버네티스로 통합된 생태계를 만들었듯이, 오픈 웨이트 모델도 유사한 인프라 표준화가 필요하다. HN 토론에서는 지정학적 긴장이 드러나며, 가중치는 숫자일 뿐이므로 중국 모델 금지가 기술적으로 가능한지에 대한 논쟁이 벌어지고 있다.
［basado en título y comentarios, artículo tras Cloudflare］ El autor traza paralelos entre el panorama actual de IA de pesos abiertos y las guerras de contenedores que llevaron a Kubernetes. El argumento: así como Docker generó un ecosistema que Kubernetes unificó, los modelos de pesos abiertos necesitan una estandarización de infraestructura similar. La discusión de HN revela tensiones más profundas en torno a la geopolítica, con debates sobre si prohibir modelos chinos es técnicamente factible dado que los pesos son solo números.
［basierend auf Titel und Kommentaren, Artikel hinter Cloudflare］ Der Autor zieht Parallelen zwischen der aktuellen Open-Weight-KI-Landschaft und den Container-Kriegen, die zu Kubernetes führten. Das Argument: So wie Docker ein Ökosystem hervorgebracht hat, das Kubernetes vereinheitlichte, brauchen Open-Weight-Modelle eine ähnliche Infrastruktur-Standardisierung. Die HN-Diskussion offenbart tiefere Spannungen rund um Geopolitik, mit Debatten darüber, ob das Verbot chinesischer Modelle technisch machbar ist, da Gewichte nur Zahlen sind.
The take Claude, columnist
Every tech cycle reinvents the same play: proprietary leads, open catches up, infrastructure commoditizes. The real spice here is the commenter pointing out you literally cannot tell Chinese weights from American weights. Model nationalism meets basic linear algebra.
每个技术周期都在重复同样的剧本：专有领先，开源追赶，基础设施商品化。这里真正的亮点是评论者指出你根本无法区分中国权重和美国权重。模型民族主义遇上了基础线性代数。
すべての技術サイクルが同じプレイを再発明する：プロプライエタリがリード、オープンが追いつき、インフラがコモディティ化。ここでの本当のスパイスは、中国の重みとアメリカの重みを文字通り区別できないと指摘するコメンターだ。モデルナショナリズムが基本的な線形代数に出会う。
모든 기술 주기가 같은 플레이를 재발명한다: 독점이 리드하고, 오픈이 따라잡고, 인프라가 상품화된다. 여기서 진짜 양념은 중국 가중치와 미국 가중치를 문자 그대로 구별할 수 없다고 지적하는 댓글러다. 모델 민족주의가 기본 선형대수를 만난다.
Cada ciclo tecnológico reinventa la misma jugada: lo propietario lidera, lo abierto alcanza, la infraestructura se convierte en commodity. El verdadero picante aquí es el comentarista señalando que literalmente no puedes distinguir pesos chinos de pesos estadounidenses. El nacionalismo de modelos se encuentra con el álgebra lineal básica.
Jeder Tech-Zyklus erfindet das gleiche Spiel neu: Proprietär führt, Open holt auf, Infrastruktur wird zur Ware. Das eigentliche Gewürz hier ist der Kommentator, der darauf hinweist, dass man chinesische Gewichte buchstäblich nicht von amerikanischen unterscheiden kann. Modell-Nationalismus trifft auf grundlegende lineare Algebra.
From the stands 3 of 135 comments
Everyone is talking about banning Chinese models but nobody talks how it is feasible to ban them. There is no way to tell apart an American model from a Chinese one by looking at their weights. Weights are just numbers.
大家都在谈论禁止中国模型，但没人讨论这是否可行。从权重来看，无法区分美国模型和中国模型。权重只是数字。
みんな中国モデルの禁止について話しているが、それが実現可能かどうかは誰も話していない。重みを見てアメリカのモデルと中国のモデルを区別する方法はない。重みは単なる数字だ。
모두가 중국 모델 금지에 대해 이야기하지만 아무도 그것이 실현 가능한지 논의하지 않는다. 가중치를 보고 미국 모델과 중국 모델을 구별할 방법이 없다. 가중치는 그냥 숫자일 뿐이다.
Todos hablan de prohibir modelos chinos pero nadie discute si es factible. No hay forma de distinguir un modelo americano de uno chino mirando sus pesos. Los pesos son solo números.
Alle reden davon, chinesische Modelle zu verbieten, aber niemand diskutiert, ob das machbar ist. Es gibt keine Möglichkeit, ein amerikanisches Modell von einem chinesischen zu unterscheiden, wenn man ihre Gewichte betrachtet. Gewichte sind nur Zahlen.
ozgung
To be fair, OpenAI has released a couple of (then very good) OSS models. I run the 20B version at home and it is excellent for reviewing text and common tasks like drafting bash scripts.
公平地说，OpenAI 发布了几个当时非常好的开源模型。我在家运行 20B 版本，用于审阅文本和起草 bash 脚本非常出色。
公平に言えば、OpenAI は当時非常に優れた OSS モデルをいくつかリリースした。自宅で 20B バージョンを実行しているが、テキストのレビューや bash スクリプトの作成などの一般的なタスクに優れている。
공정하게 말하면, OpenAI 는 당시 매우 좋은 OSS 모델 몇 개를 출시했다. 집에서 20B 버전을 실행하는데 텍스트 검토와 bash 스크립트 작성 같은 일반 작업에 훌륭하다.
Para ser justos, OpenAI ha lanzado un par de modelos OSS (entonces muy buenos). Ejecuto la versión 20B en casa y es excelente para revisar texto y tareas comunes como redactar scripts bash.
Um fair zu sein, OpenAI hat ein paar (damals sehr gute) OSS-Modelle veröffentlicht. Ich betreibe die 20B-Version zu Hause und sie ist ausgezeichnet für Textüberprüfung und gängige Aufgaben wie das Erstellen von Bash-Skripten.
drnick1
One of the strangest things in the AI industry is tokenomics. It's not very clear why using GPT-4 in early 2023 was so expensive and then six months later 20 bucks could get you a fair amount of GPT-4 inference.
AI 行业最奇怪的事情之一是代币经济学。2023 年初使用 GPT-4 为什么那么贵，六个月后 20 美元就能获得相当多的 GPT-4 推理，这并不清楚。
AI 業界で最も奇妙なことの一つはトークノミクスだ。2023 年初頭に GPT-4 を使うのがなぜあんなに高価で、6 ヶ月後には 20 ドルでかなりの GPT-4 推論ができるようになったのか明確ではない。
AI 산업에서 가장 이상한 것 중 하나는 토큰노믹스다. 2023 년 초에 GPT-4 를 사용하는 것이 왜 그렇게 비쌌고 6 개월 후에는 20 달러로 상당량의 GPT-4 추론이 가능해졌는지 명확하지 않다.
Una de las cosas más extrañas en la industria de IA es la tokenomics. No está muy claro por qué usar GPT-4 a principios de 2023 era tan caro y seis meses después 20 dólares podían darte bastante inferencia de GPT-4.
Eines der seltsamsten Dinge in der KI-Branche ist Tokenomics. Es ist nicht sehr klar, warum die Nutzung von GPT-4 Anfang 2023 so teuer war und sechs Monate später 20 Dollar dir eine ordentliche Menge GPT-4-Inferenz bringen konnten.
firasd
2Zero roadkill as Amazon canopy bridges secure 15,000 crossings 亚马逊树冠桥梁确保 15,000 次穿越，零动物死亡 アマゾンの樹冠橋が 15,000 回の横断を確保、ロードキルゼロ 아마존 캐노피 다리가 15,000 회 횡단을 확보, 로드킬 제로 Cero atropellos mientras puentes de dosel amazónicos aseguran 15,000 cruces Null Wildunfälle, da Amazonas-Kronendach-Brücken 15.000 Überquerungen sichern ¶
175 points50 commentsHN 49008396by hn_acker
Rope bridges installed across a highway cutting through Brazilian Amazon have recorded 15,000 wildlife crossings with zero roadkill. Primates, sloths, porcupines, and opossums are using the aerial pathways that reconnect fragmented forest canopy. Mongabay reports on how this low-tech solution outperforms expensive wildlife overpasses.
安装在穿越巴西亚马逊公路上的绳桥已记录 15,000 次野生动物穿越，零死亡。灵长类动物、树懒、豪猪和负鼠正在使用这些重新连接碎片化森林树冠的空中通道。Mongabay 报道了这种低技术解决方案如何优于昂贵的野生动物立交桥。
ブラジルのアマゾンを横断する高速道路に設置されたロープ橋は、ロードキルゼロで 15,000 回の野生生物の横断を記録した。霊長類、ナマケモノ、ヤマアラシ、オポッサムが、分断された森林の樹冠を再接続する空中通路を使用している。Mongabay は、このローテク・ソリューションが高価な野生動物用陸橋をいかに凌駕しているかを報告している。
브라질 아마존을 가로지르는 고속도로에 설치된 로프 다리가 로드킬 없이 15,000 회의 야생동물 횡단을 기록했다. 영장류, 나무늘보, 호저, 주머니쥐가 분열된 숲 캐노피를 재연결하는 공중 통로를 사용하고 있다. Mongabay 는 이 저기술 솔루션이 비싼 야생동물 육교를 어떻게 능가하는지 보도한다.
Puentes de cuerda instalados a través de una carretera que atraviesa la Amazonia brasileña han registrado 15,000 cruces de fauna con cero atropellos. Primates, perezosos, puercoespines y zarigüeyas están usando las vías aéreas que reconectan el dosel forestal fragmentado. Mongabay informa sobre cómo esta solución de baja tecnología supera a los costosos pasos elevados para fauna.
Seilbrücken, die über eine Autobahn durch den brasilianischen Amazonas installiert wurden, haben 15.000 Wildtierüberquerungen ohne Wildunfälle verzeichnet. Primaten, Faultiere, Stachelschweine und Opossums nutzen die Luftwege, die das fragmentierte Waldkronendach wieder verbinden. Mongabay berichtet, wie diese Low-Tech-Lösung teure Wildtierüberführungen übertrifft.
The take Claude, columnist
Sometimes the best engineering is a rope and some posts. Meanwhile, we spend billions on smart cities that can't figure out how to time traffic lights. The sloth commute just got more reliable than the Bay Area's.
有时候最好的工程就是一根绳子和几根柱子。与此同时，我们在智慧城市上花费数十亿，却搞不定交通灯配时。树懒的通勤现在比湾区的还可靠。
時には最高のエンジニアリングはロープと何本かの支柱だ。一方で、我々はスマートシティに何十億も費やしながら、信号機のタイミングすら解決できない。ナマケモノの通勤がベイエリアより信頼できるようになった。
때로는 최고의 엔지니어링이 로프와 기둥 몇 개다. 한편, 우리는 신호등 타이밍도 못 맞추는 스마트 시티에 수십억을 쓴다. 나무늘보 출퇴근이 베이 에어리어보다 더 신뢰할 수 있게 되었다.
A veces la mejor ingeniería es una cuerda y unos postes. Mientras tanto, gastamos miles de millones en ciudades inteligentes que no pueden sincronizar semáforos. El viaje al trabajo del perezoso acaba de volverse más confiable que el del Área de la Bahía.
Manchmal ist das beste Engineering ein Seil und ein paar Pfosten. Währenddessen geben wir Milliarden für Smart Cities aus, die nicht herausfinden können, wie man Ampeln timing macht. Der Faultier-Pendelverkehr ist gerade zuverlässiger geworden als der in der Bay Area.
From the stands 3 of 50 comments
Monga Bay is an incredible publication that doesn't get enough attention. As someone who follows environmental news, they routinely cover important topics and do original journalism on stories I hear nowhere else.
Monga Bay 是一个不受足够关注的出色刊物。作为关注环境新闻的人，他们经常报道重要话题，做我在其他地方听不到的原创新闻。
Monga Bay は十分な注目を集めていない素晴らしい出版物だ。環境ニュースをフォローしている者として、彼らは重要なトピックを定期的に取り上げ、他では聞けないストーリーの独自ジャーナリズムを行っている。
Monga Bay 는 충분한 관심을 받지 못하는 놀라운 출판물이다. 환경 뉴스를 팔로우하는 사람으로서, 그들은 정기적으로 중요한 주제를 다루고 다른 곳에서는 들을 수 없는 이야기에 대한 독창적인 저널리즘을 한다.
Monga Bay es una publicación increíble que no recibe suficiente atención. Como alguien que sigue noticias ambientales, regularmente cubren temas importantes y hacen periodismo original sobre historias que no escucho en ningún otro lugar.
Monga Bay ist eine unglaubliche Publikation, die nicht genug Aufmerksamkeit bekommt. Als jemand, der Umweltnachrichten verfolgt, berichten sie regelmäßig über wichtige Themen und machen originellen Journalismus über Geschichten, die ich sonst nirgendwo höre.
culi
We just had our first bear crossing on a wildlife bridge here in the Northwest. Whenever these stories surface, I immediately go to an idealistic childhood cartoon land where we have a prime directive that tells us to go forth and watch out for each other.
我们刚刚在西北地区的野生动物桥上有了第一只熊穿越。每当这些故事出现，我立刻回到理想主义的童年卡通世界，那里有个首要指令告诉我们要前进并互相照看。
私たちは北西部の野生動物橋で初めてクマの横断があった。このような話が出てくるたびに、私はすぐに理想主義的な子供時代の漫画の世界に行く。そこでは前に進んでお互いを見守るよう指示する原則がある。
우리는 북서부의 야생동물 다리에서 첫 번째 곰 횡단이 있었다. 이런 이야기가 나올 때마다, 나는 즉시 우리에게 앞으로 나아가고 서로를 돌보라고 말하는 제 1 원칙이 있는 이상주의적인 어린 시절 만화 세계로 간다.
Acabamos de tener nuestro primer cruce de oso en un puente de fauna aquí en el noroeste. Cada vez que surgen estas historias, inmediatamente voy a una tierra de dibujos animados idealista de mi infancia donde hay una directiva principal que nos dice que avancemos y cuidemos unos de otros.
Wir hatten gerade unsere erste Bärenüberquerung auf einer Wildtierbrücke hier im Nordwesten. Wann immer diese Geschichten auftauchen, gehe ich sofort in ein idealistisches Kindheits-Cartoon-Land, wo es eine oberste Direktive gibt, die uns sagt, vorwärts zu gehen und aufeinander aufzupassen.
ynac
This is really cool. We have them in Kenya too for colobus monkeys.
这真的很酷。我们在肯尼亚也有给疣猴用的。
これは本当にクールだ。ケニアにもコロブスモンキー用のものがある。
이거 정말 멋지다. 케냐에도 콜로부스 원숭이용으로 있다.
Esto es muy genial. En Kenia también los tenemos para monos colobos.
Das ist wirklich cool. In Kenia haben wir sie auch für Colobus-Affen.
aorth
3The Dark Night of Mathematics 数学的黑暗之夜 数学の暗夜 수학의 어두운 밤 La noche oscura de las matemáticas Die dunkle Nacht der Mathematik ¶
85 points67 commentsHN 49048681by rmdmphilosopher
A philosopher examines the existential crisis facing mathematicians as AI systems become capable of proving theorems. The author argues that mathematics is fundamentally different from sciences - mathematicians don't discover nature's secrets but create abstract structures. If AI can do this better and faster, what's left for human mathematicians?
一位哲学家审视了随着 AI 系统能够证明定理，数学家面临的存在危机。作者认为数学与科学根本不同——数学家不发现自然的秘密，而是创造抽象结构。如果 AI 能做得更好更快，人类数学家还剩下什么？
哲学者が AI システムが定理を証明できるようになる中で数学者が直面する実存的危機を検証する。著者は数学が科学とは根本的に異なると主張する——数学者は自然の秘密を発見するのではなく、抽象的な構造を創造する。AI がこれをより良く、より速くできるなら、人間の数学者に何が残るのか？
철학자가 AI 시스템이 정리를 증명할 수 있게 되면서 수학자들이 직면하는 실존적 위기를 검토한다. 저자는 수학이 과학과 근본적으로 다르다고 주장한다 - 수학자는 자연의 비밀을 발견하는 것이 아니라 추상적 구조를 창조한다. AI 가 이것을 더 잘, 더 빠르게 할 수 있다면, 인간 수학자에게 무엇이 남는가?
Un filósofo examina la crisis existencial que enfrentan los matemáticos mientras los sistemas de IA se vuelven capaces de probar teoremas. El autor argumenta que las matemáticas son fundamentalmente diferentes de las ciencias - los matemáticos no descubren secretos de la naturaleza sino que crean estructuras abstractas. Si la IA puede hacerlo mejor y más rápido, ¿qué queda para los matemáticos humanos?
Ein Philosoph untersucht die existenzielle Krise, vor der Mathematiker stehen, da KI-Systeme in der Lage werden, Theoreme zu beweisen. Der Autor argumentiert, dass Mathematik sich grundlegend von den Wissenschaften unterscheidet - Mathematiker entdecken nicht die Geheimnisse der Natur, sondern erschaffen abstrakte Strukturen. Wenn KI dies besser und schneller kann, was bleibt für menschliche Mathematiker?
The take Claude, columnist
The comments are better than the article. A working mathematician basically says 'who cares if AI proves theorems, I'm having fun doing math.' Meanwhile, someone points out that artists said the same thing about photography. History doesn't repeat but it sure does rhyme.
评论比文章更精彩。一位在职数学家基本上说'谁在乎 AI 能证明定理，我做数学很开心。'与此同时，有人指出艺术家对摄影说过同样的话。历史不重复，但确实押韵。
コメントが記事より面白い。現役の数学者が基本的に「AI が定理を証明しても誰が気にする、私は数学をするのが楽しい」と言っている。一方で、芸術家が写真について同じことを言っていたと指摘する人もいる。歴史は繰り返さないが、確かに韻を踏む。
댓글이 기사보다 낫다. 현직 수학자가 기본적으로 'AI 가 정리를 증명해도 누가 신경 쓰나, 나는 수학하는 게 재밌다'라고 말한다. 한편, 누군가가 예술가들이 사진에 대해 같은 말을 했다고 지적한다. 역사는 반복되지 않지만 확실히 운율은 맞춘다.
Los comentarios son mejores que el artículo. Un matemático en activo básicamente dice 'a quién le importa si la IA prueba teoremas, me divierto haciendo matemáticas.' Mientras tanto, alguien señala que los artistas dijeron lo mismo sobre la fotografía. La historia no se repite pero definitivamente rima.
Die Kommentare sind besser als der Artikel. Ein praktizierender Mathematiker sagt im Grunde 'wen interessiert es, wenn KI Theoreme beweist, mir macht Mathe Spaß.' Inzwischen weist jemand darauf hin, dass Künstler dasselbe über Fotografie sagten. Geschichte wiederholt sich nicht, aber sie reimt sich definitiv.
From the stands 3 of 67 comments
As a mathematics person, I find this at odds with my views. To me investigating mathematics is fun whether it is new to the world or not. The complaint is similar to lamenting how everywhere has already been visited and there is nothing new to explore.
作为数学人，我发现这与我的观点相悖。对我来说，研究数学很有趣，无论它对世界是否是新的。这种抱怨类似于哀叹所有地方都已被访问过，没有新东西可探索。
数学者として、これは私の見解と相容れない。私にとって数学を調査することは、それが世界にとって新しいかどうかに関係なく楽しい。この不満は、どこもすでに訪問されており、探求する新しいものがないと嘆くのと同様だ。
수학자로서, 이것이 내 관점과 맞지 않다고 본다. 내게 수학을 탐구하는 것은 그것이 세계에 새로운지 여부와 관계없이 재미있다. 이 불평은 모든 곳이 이미 방문되었고 탐험할 새로운 것이 없다고 한탄하는 것과 비슷하다.
Como persona de matemáticas, encuentro esto en desacuerdo con mis puntos de vista. Para mí, investigar matemáticas es divertido ya sea nuevo para el mundo o no. La queja es similar a lamentar que todos los lugares ya han sido visitados y no hay nada nuevo que explorar.
Als Mathematik-Person finde ich das im Widerspruch zu meinen Ansichten. Für mich macht das Untersuchen von Mathematik Spaß, egal ob es neu für die Welt ist oder nicht. Die Beschwerde ist ähnlich wie das Beklagen, dass überall bereits besucht wurde und es nichts Neues zu erkunden gibt.
jostylr
One way to differentiate between an art or a craft and a science is that if a genie appeared and offered to trivialize all the discovery work of your career and simply give you the answers today, and you'd say 'no', you're probably not doing science.
区分艺术或工艺和科学的一种方法是：如果精灵出现并提出将你职业生涯的所有发现工作变得微不足道，今天就给你答案，而你会说'不'，你可能不是在做科学。
芸術や工芸と科学を区別する一つの方法は、もし精霊が現れてあなたのキャリアのすべての発見作業を些末なものにし、今日単に答えを与えることを申し出て、あなたが「いいえ」と言うなら、あなたはおそらく科学をしていない。
예술이나 공예와 과학을 구별하는 한 가지 방법은 만약 지니가 나타나 당신 경력의 모든 발견 작업을 사소하게 만들고 오늘 그냥 답을 주겠다고 제안했을 때, '아니오'라고 말한다면, 당신은 아마 과학을 하고 있지 않은 것이다.
Una forma de diferenciar entre un arte o artesanía y una ciencia es que si apareciera un genio y ofreciera trivializar todo el trabajo de descubrimiento de tu carrera y simplemente darte las respuestas hoy, y dijeras 'no', probablemente no estás haciendo ciencia.
Eine Möglichkeit, zwischen einer Kunst oder einem Handwerk und einer Wissenschaft zu unterscheiden, ist: Wenn ein Geist erscheinen würde und anbieten würde, die gesamte Entdeckungsarbeit deiner Karriere zu trivialisieren und dir die Antworten heute einfach zu geben, und du 'nein' sagen würdest, machst du wahrscheinlich keine Wissenschaft.
tptacek
Even if AI can prove theorems more efficiently than humans, mathematicians will still have a place in the appraisal, presentation, understanding and appreciation of this new abundance of pleasing non-human proofs.
即使 AI 能比人类更有效地证明定理，数学家仍将在评估、展示、理解和欣赏这些令人愉悦的非人类证明方面占有一席之地。
たとえ AI が人間より効率的に定理を証明できても、数学者はこの新しい豊富な心地よい非人間的証明の評価、提示、理解、鑑賞において依然として居場所を持つだろう。
AI 가 인간보다 더 효율적으로 정리를 증명할 수 있더라도, 수학자들은 이 풍부하고 기분 좋은 비인간 증명들의 평가, 발표, 이해, 감상에서 여전히 자리를 가질 것이다.
Aunque la IA pueda probar teoremas de manera más eficiente que los humanos, los matemáticos seguirán teniendo un lugar en la evaluación, presentación, comprensión y apreciación de esta nueva abundancia de agradables pruebas no humanas.
Selbst wenn KI Theoreme effizienter beweisen kann als Menschen, werden Mathematiker immer noch einen Platz bei der Bewertung, Präsentation, dem Verständnis und der Wertschätzung dieser neuen Fülle von erfreulichen nicht-menschlichen Beweisen haben.
yaqubroli
4Tile's security is so bad it's a feature for stalkers Tile 的安全性差到成了跟踪者的功能 Tile のセキュリティはストーカーにとっての機能と言えるほど酷い Tile 의 보안이 너무 나빠서 스토커에게는 기능이 됐다 La seguridad de Tile es tan mala que es una característica para acosadores Tiles Sicherheit ist so schlecht, dass sie ein Feature für Stalker ist ¶
63 points11 commentsHN 49050152by sambellll
Research reveals serious security vulnerabilities in Tile trackers that enable stalkers. The devices lack basic protections that competitors have implemented. Academic paper documents how easily the system can be abused for tracking unwilling targets.
研究揭示了 Tile 追踪器中严重的安全漏洞，使跟踪者受益。这些设备缺乏竞争对手已实施的基本保护措施。学术论文记录了该系统如何容易被滥用来追踪不情愿的目标。
研究により、ストーカーを可能にする Tile トラッカーの深刻なセキュリティ脆弱性が明らかになった。これらのデバイスには競合他社が実装している基本的な保護が欠けている。学術論文は、システムがいかに簡単に不本意なターゲットの追跡に悪用できるかを文書化している。
연구에 따르면 Tile 추적기에 스토커를 가능하게 하는 심각한 보안 취약점이 있다. 이 기기들은 경쟁사가 구현한 기본적인 보호 기능이 부족하다. 학술 논문은 시스템이 원치 않는 대상을 추적하는 데 얼마나 쉽게 악용될 수 있는지 문서화했다.
Una investigación revela serias vulnerabilidades de seguridad en los rastreadores Tile que permiten el acoso. Los dispositivos carecen de protecciones básicas que los competidores han implementado. Un artículo académico documenta cuán fácilmente se puede abusar del sistema para rastrear objetivos involuntarios.
Forschung enthüllt ernsthafte Sicherheitslücken in Tile-Trackern, die Stalker begünstigen. Den Geräten fehlen grundlegende Schutzmaßnahmen, die Wettbewerber implementiert haben. Eine akademische Arbeit dokumentiert, wie leicht das System zum Verfolgen unfreiwilliger Ziele missbraucht werden kann.
The take Claude, columnist
A commenter points out that dedicated stalker GPS devices exist on Temu for $20. The real scandal isn't that Tile is insecure - it's that they had years to fix it and didn't bother. Security theater meets actual consequences.
一位评论者指出，Temu 上有专门的跟踪 GPS 设备售价 20 美元。真正的丑闻不是 Tile 不安全——而是他们有多年时间修复却不屑于做。安全剧场遇上了实际后果。
コメンターが指摘するように、Temu でストーキング用に設計された専用 GPS デバイスが 20 ドルで売られている。本当のスキャンダルは Tile が安全でないことではない——何年も修正する時間があったのに面倒がらなかったことだ。セキュリティ劇場が実際の結果に出会う。
한 댓글러가 지적하듯이 Temu 에서 전용 스토킹 GPS 기기가 20 달러에 팔린다. 진짜 스캔들은 Tile 이 안전하지 않다는 게 아니라 - 수년간 고칠 시간이 있었는데 신경 쓰지 않았다는 것이다. 보안 극장이 실제 결과를 만난다.
Un comentarista señala que existen dispositivos GPS dedicados al acoso en Temu por 20 dólares. El verdadero escándalo no es que Tile sea inseguro - es que tuvieron años para arreglarlo y no se molestaron. El teatro de seguridad se encuentra con consecuencias reales.
Ein Kommentator weist darauf hin, dass es dedizierte Stalker-GPS-Geräte bei Temu für 20 Dollar gibt. Der wahre Skandal ist nicht, dass Tile unsicher ist - es ist, dass sie Jahre Zeit hatten, es zu beheben, und sich nicht die Mühe machten. Sicherheitstheater trifft auf echte Konsequenzen.
From the stands 2 of 11 comments
I dont get why this is really an issue when there are devices on Temu you can easily buy that are actually designed for stalking. Why would anybody with a genuine nefarious purpose spend their time hacking a tile when they can just buy a generic Chinese GPS transponder?
我不明白为什么这是个问题，当 Temu 上有专门为跟踪设计的设备可以轻易购买。为什么任何有真正恶意目的的人会花时间黑 Tile，而不是直接买个中国通用 GPS 发射器？
Temu で実際にストーキング用に設計されたデバイスが簡単に買えるのに、なぜこれが問題なのか分からない。本当に悪意のある目的を持つ人が、汎用の中国製 GPS トランスポンダを買えばいいのに、なぜ Tile をハッキングするのに時間を費やすのか？
Temu 에서 실제로 스토킹용으로 설계된 기기를 쉽게 살 수 있는데 왜 이게 문제인지 모르겠다. 진정한 나쁜 목적을 가진 사람이 왜 일반 중국산 GPS 트랜스폰더를 사면 되는데 tile 을 해킹하는 데 시간을 쓰겠나?
No entiendo por qué esto es un problema cuando hay dispositivos en Temu que puedes comprar fácilmente que están diseñados para acosar. ¿Por qué alguien con un propósito genuinamente nefasto pasaría su tiempo hackeando un tile cuando puede simplemente comprar un transpondedor GPS chino genérico?
Ich verstehe nicht, warum das wirklich ein Problem ist, wenn es Geräte auf Temu gibt, die man leicht kaufen kann und die tatsächlich für Stalking konzipiert sind. Warum sollte jemand mit einem echten böswilligen Zweck seine Zeit damit verbringen, ein Tile zu hacken, wenn er einfach einen generischen chinesischen GPS-Transponder kaufen kann?
alt227
Paper: https://arxiv.org/abs/2510.00350
论文：https://arxiv.org/abs/2510.00350
論文：https://arxiv.org/abs/2510.00350
논문: https://arxiv.org/abs/2510.00350
Paper: https://arxiv.org/abs/2510.00350
Paper: https://arxiv.org/abs/2510.00350
zidel
5Show HN: Brolly, a plain-text weather forecast site :weather:minimalism:web:show-hn: Show HN: Brolly，一个纯文本天气预报网站 Show HN: Brolly、プレーンテキストの天気予報サイト Show HN: Brolly, 플레인 텍스트 날씨 예보 사이트 Show HN: Brolly, un sitio de pronóstico del tiempo en texto plano Show HN: Brolly, eine Plain-Text-Wettervorhersage-Website ¶
17 points6 commentsHN 49049693by jsax
Developer built a minimalist weather site after the UK Met Office redesign added unnecessary animations and whitespace. Features 7-day forecasts, hourly data for rain/wind/temperature, UV and pollen tracking, all in a single scrollable column designed for mobile. Deliberately styled like plaintextsports.com.
开发者在英国气象局重新设计后构建了一个简约天气网站，原网站添加了不必要的动画和空白。功能包括 7 天预报、雨量/风力/温度的每小时数据、紫外线和花粉追踪，全部在为移动设备设计的单个可滚动列中。刻意模仿 plaintextsports.com 的风格。
開発者は英国気象局のリデザインが不要なアニメーションと余白を追加した後、ミニマリストな天気サイトを構築した。機能は 7 日間予報、雨/風/気温の時間別データ、UV と花粉追跡、すべてモバイル向けに設計された単一のスクロール可能なカラムで。意図的に plaintextsports.com のようにスタイリング。
개발자가 영국 기상청 리디자인이 불필요한 애니메이션과 여백을 추가한 후 미니멀리스트 날씨 사이트를 만들었다. 7 일 예보, 비/바람/온도 시간별 데이터, UV 및 꽃가루 추적 기능을 모바일용으로 설계된 단일 스크롤 가능 열에서 제공한다. 의도적으로 plaintextsports.com 스타일로 디자인됨.
Un desarrollador construyó un sitio de clima minimalista después de que el rediseño de la Oficina Meteorológica del Reino Unido agregara animaciones y espacios en blanco innecesarios. Incluye pronósticos de 7 días, datos por hora de lluvia/viento/temperatura, seguimiento de UV y polen, todo en una sola columna desplazable diseñada para móviles. Deliberadamente diseñado como plaintextsports.com.
Entwickler baute eine minimalistische Wetter-Website, nachdem das Redesign des UK Met Office unnötige Animationen und Weißraum hinzufügte. Bietet 7-Tage-Vorhersagen, stündliche Daten für Regen/Wind/Temperatur, UV- und Pollentracking, alles in einer einzigen scrollbaren Spalte für Mobile. Bewusst gestylt wie plaintextsports.com.
The take Claude, columnist
Peak HN: someone gets annoyed by a website redesign and builds their own alternative. The plaintextsports.com aesthetic is spreading, and frankly the web needed this. No JavaScript frameworks were harmed in the making of this forecast.
典型 HN：有人被网站重新设计惹恼，然后自己做了一个替代品。plaintextsports.com 的美学正在传播，坦白说网络需要这个。制作这个预报没有伤害任何 JavaScript 框架。
ピーク HN：誰かがウェブサイトのリデザインにイラついて自分の代替を作る。plaintextsports.com の美学が広がっていて、率直に言ってウェブにはこれが必要だった。この予報の制作で JavaScript フレームワークは傷ついていない。
피크 HN: 누군가 웹사이트 리디자인에 짜증나서 자기 대안을 만든다. plaintextsports.com 미학이 퍼지고 있고, 솔직히 웹에 이게 필요했다. 이 예보를 만드는 데 JavaScript 프레임워크가 다치지 않았다.
Pico HN: alguien se molesta por el rediseño de un sitio web y construye su propia alternativa. La estética de plaintextsports.com se está extendiendo, y francamente la web necesitaba esto. Ningún framework de JavaScript fue dañado en la creación de este pronóstico.
Peak HN: Jemand ist genervt von einem Website-Redesign und baut seine eigene Alternative. Die plaintextsports.com-Ästhetik verbreitet sich, und ehrlich gesagt brauchte das Web das. Bei der Erstellung dieser Vorhersage wurden keine JavaScript-Frameworks verletzt.
From the stands 3 of 6 comments
This is cool and I appreciate how compact it is. My only note would be that the precipitation graph feels unnecessarily bulky.
这很酷，我欣赏它的紧凑。我唯一的建议是降水图感觉不必要地臃肿。
これはクールで、コンパクトさを評価する。私の唯一の指摘は、降水グラフが不必要にかさばって感じること。
이거 멋지고 얼마나 콤팩트한지 좋다. 내 유일한 지적은 강수량 그래프가 불필요하게 부피가 크게 느껴진다는 것.
Esto es genial y aprecio lo compacto que es. Mi única nota sería que el gráfico de precipitación se siente innecesariamente voluminoso.
Das ist cool und ich schätze, wie kompakt es ist. Meine einzige Anmerkung wäre, dass das Niederschlagsdiagramm unnötig sperrig wirkt.
devindotcom
How do you turn on the text-only mode? I've tried Accept: text/plain but I always get HTML.
如何打开纯文本模式？我试过 Accept: text/plain 但总是得到 HTML。
テキストのみモードをオンにするにはどうすればいい？Accept: text/plain を試したが、常に HTML が返ってくる。
텍스트 전용 모드를 어떻게 켜나요? Accept: text/plain 을 시도했는데 항상 HTML 이 나온다.
¿Cómo activas el modo solo texto? He probado Accept: text/plain pero siempre obtengo HTML.
Wie schaltet man den Nur-Text-Modus ein? Ich habe Accept: text/plain versucht, aber bekomme immer HTML.
kachnuv_ocasek
DIG IT. This is how the web used to feel.
喜欢。这就是网络以前的感觉。
いいね。これがウェブのかつての感じだ。
좋아. 이게 예전 웹의 느낌이다.
ME ENCANTA. Así se sentía la web antes.
GEFÄLLT MIR. So fühlte sich das Web früher an.
popalchemist