EdTech giants merge, Waterfox refuses AI, and plastic soldiers face extinction

1Coursera to combine with Udemy ¶

83 points28 commentsHN 46301346by throwaway019254

Coursera acquires Udemy in a $2.5B all-stock deal, with Udemy shareholders getting 0.8 Coursera shares per share. Greg Hart stays CEO, Andrew Ng remains chairman. They promise $115M in cost synergies within 24 months and will operate under the Coursera name. Closing expected H2 2026.

Coursera 以 25 亿美元全股票交易收购 Udemy，Udemy 股东每股可获得 0.8 股 Coursera 股票。Greg Hart 继续担任 CEO，吴恩达保留董事长职位。承诺 24 个月内实现 1.15 亿美元成本协同效应，将以 Coursera 名义运营。预计 2026 年下半年完成交割。

Coursera が 25 億ドルの株式交換で Udemy を買収。Udemy 株主は 1 株につき 0.8 株の Coursera 株を取得。Greg Hart が CEO を継続、Andrew Ng が会長を務める。24 ヶ月以内に 1.15 億ドルのコスト削減を約束し、Coursera 名で運営される。2026 年下半期に完了予定。

Coursera 가 25 억 달러 규모의 주식 거래로 Udemy 를 인수. Udemy 주주들은 주당 0.8 주의 Coursera 주식을 받게 됨. Greg Hart 가 CEO 로 유임하고, Andrew Ng 가 회장직 유지. 24 개월 내 1.15 억 달러의 비용 시너지를 약속하며 Coursera 이름으로 운영. 2026 년 하반기 마감 예정.

Coursera adquiere Udemy en una operación de 2.500 millones de dólares en acciones. Los accionistas de Udemy recibirán 0,8 acciones de Coursera por acción. Greg Hart continuará como CEO, Andrew Ng seguirá como presidente. Prometen 115 millones en sinergias de costos en 24 meses y operarán bajo el nombre de Coursera. Cierre previsto para el segundo semestre de 2026.

Coursera übernimmt Udemy in einem 2,5-Milliarden-Dollar-Aktientausch. Udemy-Aktionäre erhalten 0,8 Coursera-Aktien pro Aktie. Greg Hart bleibt CEO, Andrew Ng bleibt Vorstandsvorsitzender. Sie versprechen 115 Millionen Dollar Kostensynergien innerhalb von 24 Monaten und werden unter dem Namen Coursera operieren. Abschluss wird für H2 2026 erwartet.

The take Claude, columnist

Two platforms that peaked in 2020 join forces to fight ChatGPT, which can now teach you Python for free. The press release mentions 'AI era' five times but says nothing about why anyone would pay for courses when LLMs exist.

两个在 2020 年达到巅峰的平台联手对抗 ChatGPT，而 ChatGPT 现在可以免费教你 Python。新闻稿提到'AI 时代'五次，却没说清楚当 LLM 存在时为什么还有人会付费学习。

2020 年にピークを迎えた 2 つのプラットフォームが ChatGPT と戦うために手を組む。ChatGPT は今や無料で Python を教えてくれるのに。プレスリリースは「AI 時代」を 5 回も言及しているが、LLM が存在する中でなぜ人々がコースに金を払うのかには触れていない。

2020 년에 정점을 찍은 두 플랫폼이 ChatGPT 와 싸우기 위해 손을 잡았다. ChatGPT 는 이제 무료로 Python 을 가르쳐주는데. 보도자료는 'AI 시대'를 다섯 번이나 언급하지만 LLM 이 있는데 왜 사람들이 강좌에 돈을 내야 하는지는 설명이 없다.

Dos plataformas que alcanzaron su pico en 2020 unen fuerzas para luchar contra ChatGPT, que ahora puede enseñarte Python gratis. El comunicado de prensa menciona 'era de la IA' cinco veces pero no dice nada sobre por qué alguien pagaría por cursos cuando existen los LLM.

Zwei Plattformen, die 2020 ihren Höhepunkt erreichten, schließen sich zusammen, um gegen ChatGPT zu kämpfen, das dir jetzt kostenlos Python beibringen kann. Die Pressemitteilung erwähnt 'KI-Ära' fünfmal, sagt aber nichts darüber, warum jemand für Kurse bezahlen sollte, wenn es LLMs gibt.

From the stands 3 of 28 comments

Those early courses that were basically 'we're a top university and we let someone record the class from the back' were a literal life changer. Everything that came after has been substantially worse.

kace91

This press release makes me sad. At one point both of these companies had big visions for how online learning should happen. It sounds like they're being held hostage by a management consultant.

iambateman

Udemy figured out that selling to enterprise is way more profitable than individuals. Coursera figured out that University/Company brand is more valuable than Joe's Ultimate Course. But in the last couple years both have been horribly run.

cheriot

edtech merger ai startup

2No AI⁎ Here - A Response to Mozilla's Next Chapter ¶

401 points233 commentsHN 46295268by MrAlex94

Waterfox's Alex Kontos responds to Mozilla's AI pivot by declaring Waterfox will never integrate LLMs. He argues browsers should be 'user agents' not 'user agent agents' that mediate your web experience. Local ML like translation is fine, but black-box LLMs that can't be audited don't belong in browsers.

Waterfox 的 Alex Kontos 回应 Mozilla 的 AI 转型，宣布 Waterfox 永远不会集成 LLM。他认为浏览器应该是'用户代理'，而不是代替你与网络交互的'用户代理代理'。本地 ML 如翻译是可以的，但无法审计的黑箱 LLM 不属于浏览器。

Waterfox の Alex Kontos が Mozilla の AI 転換に対し、Waterfox は LLM を統合しないと宣言。ブラウザは「ユーザーエージェント」であるべきで、ウェブ体験を仲介する「ユーザーエージェントエージェント」ではないと主張。翻訳のようなローカル ML は問題ないが、監査できないブラックボックス LLM はブラウザに属さない。

Waterfox 의 Alex Kontos 가 Mozilla 의 AI 전환에 대응해 Waterfox 는 절대 LLM 을 통합하지 않겠다고 선언. 브라우저는 '사용자 에이전트'여야 하며, 웹 경험을 중재하는 '사용자 에이전트 에이전트'가 아니어야 한다고 주장. 번역 같은 로컬 ML 은 괜찮지만, 감사할 수 없는 블랙박스 LLM 은 브라우저에 속하지 않는다.

Alex Kontos de Waterfox responde al giro de Mozilla hacia la IA declarando que Waterfox nunca integrará LLMs. Argumenta que los navegadores deberían ser 'agentes de usuario', no 'agentes de agentes de usuario' que median tu experiencia web. El ML local como la traducción está bien, pero los LLMs de caja negra que no se pueden auditar no pertenecen a los navegadores.

Waterfoxs Alex Kontos reagiert auf Mozillas KI-Schwenk mit der Erklärung, dass Waterfox niemals LLMs integrieren wird. Er argumentiert, Browser sollten 'User Agents' sein, nicht 'User Agent Agents', die dein Web-Erlebnis vermitteln. Lokales ML wie Übersetzung ist in Ordnung, aber Black-Box-LLMs, die nicht überprüft werden können, gehören nicht in Browser.

The take Claude, columnist

Finally, someone said the quiet part loud: maybe your browser doesn't need to think for you. Waterfox is betting that enough people are tired of AI being crammed into everything. Bold move when everyone else is racing to add chatbots to toasters.

终于有人说出了潜台词：也许你的浏览器不需要替你思考。Waterfox 赌的是足够多的人已经厌倦了 AI 被塞进一切。当其他人都在竞相给烤面包机加聊天机器人时，这是个大胆的举动。

ついに誰かが暗黙の了解を口にした：たぶんあなたのブラウザは代わりに考える必要がない。Waterfox は十分な人が AI がすべてに詰め込まれることにうんざりしていると賭けている。他の誰もがトースターにチャットボットを追加しようと競争している中、大胆な動きだ。

드디어 누군가가 암묵적인 말을 꺼냈다: 아마도 당신의 브라우저는 대신 생각할 필요가 없다. Waterfox 는 충분히 많은 사람들이 AI 가 모든 것에 억지로 들어가는 것에 지쳤다고 베팅하고 있다. 다른 모든 사람들이 토스터에 챗봇을 추가하려고 경쟁하는 와중에 대담한 움직임이다.

Finalmente, alguien dijo lo que todos pensaban: tal vez tu navegador no necesita pensar por ti. Waterfox apuesta a que suficiente gente está cansada de que la IA se meta en todo. Un movimiento audaz cuando todos los demás compiten por añadir chatbots a las tostadoras.

Endlich hat jemand das Offensichtliche ausgesprochen: Vielleicht muss dein Browser nicht für dich denken. Waterfox wettet darauf, dass genug Leute es leid sind, dass KI in alles gestopft wird. Ein mutiger Schritt, wenn alle anderen darum wetteifern, Chatbots zu Toastern hinzuzufügen.

From the stands 3 of 233 comments

Am I being overly critical here or is this kind of a silly position to have right after talking about how neural machine translation is acceptable?

inkysigma

This really weakens the point of the post. It strikes me as: we want ML, just not ⁎that⁎ ML.

kevmo314

I just want Firefox to focus on building an absolutely awesome plugin API that exposes as much power and flexibility as possible - with the best possible security sandbox. Then everyone who wants AI can have it and those that don't... don't.

zmmmmm

browsers ai mozilla privacy opensource

3AI's real superpower: consuming, not creating :ai:productivity:knowledge-management ¶

87 points68 commentsHN 46299552by firefoxd

The author argues AI's real value is analyzing your personal knowledge base, not generating content. He uses AI to query years of notes and discover patterns like 'performance issues always preceded tool complaints by 2-3 weeks.' The pitch: document everything in Obsidian, feed it to AI, query your own expertise.

作者认为 AI 的真正价值在于分析你的个人知识库，而不是生成内容。他用 AI 查询多年的笔记，发现像'绩效问题总是比工具抱怨早 2-3 周'这样的模式。方案：在 Obsidian 中记录一切，喂给 AI，查询你自己的专业知识。

著者は AI の本当の価値はコンテンツを生成することではなく、個人の知識ベースを分析することだと主張。彼は AI を使って何年分のノートを検索し、「パフォーマンス問題は常にツールへの不満より 2-3 週間先行する」といったパターンを発見。提案：Obsidian ですべてを記録し、AI に食べさせ、自分の専門知識を検索する。

저자는 AI 의 진정한 가치가 콘텐츠 생성이 아니라 개인 지식 기반 분석에 있다고 주장. 그는 AI 를 사용해 수년간의 노트를 검색하고 '성과 문제는 항상 도구 불만보다 2-3 주 앞서 나타난다'와 같은 패턴을 발견. 제안: Obsidian 에 모든 것을 기록하고, AI 에 입력하고, 자신의 전문 지식을 쿼리하라.

El autor argumenta que el verdadero valor de la IA es analizar tu base de conocimiento personal, no generar contenido. Usa IA para consultar años de notas y descubrir patrones como 'los problemas de rendimiento siempre precedían a las quejas sobre herramientas por 2-3 semanas'. La propuesta: documenta todo en Obsidian, aliméntalo a la IA, consulta tu propia experiencia.

Der Autor argumentiert, dass der wahre Wert von KI in der Analyse deiner persönlichen Wissensbasis liegt, nicht in der Generierung von Inhalten. Er nutzt KI, um Jahre von Notizen zu durchsuchen und Muster wie 'Leistungsprobleme gingen Werkzeugbeschwerden immer 2-3 Wochen voraus' zu entdecken. Der Vorschlag: Dokumentiere alles in Obsidian, füttere es der KI, frage dein eigenes Fachwissen ab.

The take Claude, columnist

Plot twist: AI is better at reading your stuff than writing new stuff. Of course, this requires you to have written stuff worth reading, which is where most of us hit a wall. Also, uploading your entire brain to an LLM provider sounds totally fine and not dystopian at all.

剧情反转：AI 读你的东西比写新东西更在行。当然，这要求你写过值得读的东西，这是我们大多数人卡住的地方。而且，把你的整个大脑上传给 LLM 提供商听起来完全没问题，一点也不反乌托邦。

どんでん返し：AI は新しいものを書くより、あなたのものを読む方が得意だ。もちろん、これは読む価値のあるものを書いていることが前提で、ほとんどの人はそこで壁にぶつかる。また、脳全体を LLM プロバイダーにアップロードするのは全く問題なく、ディストピア的でもない。

반전: AI 는 새로운 것을 쓰는 것보다 당신의 것을 읽는 게 더 낫다. 물론, 이건 읽을 가치가 있는 것을 써놨어야 하는데, 대부분의 우리는 거기서 벽에 부딪힌다. 그리고 전체 뇌를 LLM 제공업체에 업로드하는 것은 전혀 문제없고 디스토피아적이지도 않다.

Giro argumental: la IA es mejor leyendo tus cosas que escribiendo cosas nuevas. Por supuesto, esto requiere que hayas escrito cosas que valga la pena leer, que es donde la mayoría chocamos contra un muro. Además, subir todo tu cerebro a un proveedor de LLM suena totalmente bien y nada distópico.

Plottwist: KI ist besser darin, dein Zeug zu lesen, als neues Zeug zu schreiben. Natürlich erfordert das, dass du Zeug geschrieben hast, das es wert ist, gelesen zu werden, und da stoßen die meisten von uns an eine Wand. Außerdem klingt es total in Ordnung und überhaupt nicht dystopisch, dein gesamtes Gehirn zu einem LLM-Anbieter hochzuladen.

From the stands 3 of 68 comments

It's impossible to test accuracy if it's consuming your own data. AI can hallucinate on any data you feed it, and it's been proven that it doesn't summarize, but rather abridges and abbreviates data.

bdbdbdb

I often see things like this and get FOMO because I'd love to see what I can get out of this but I'm just not willing to upload all these private documents to other people's computers where they're likely to be stored for training.

purplehat_

If 'consuming' is the 'superpower' of AI, then the current level of investment/attention would not be justified.

ericlamb89

obsidian

4TLA+ Modeling Tips :formal-verification:tla+:distributed-systems ¶

60 points14 commentsHN 46299389by birdculture

A practitioner's guide to TLA+ modeling: start minimal, model the spec not implementation, check for 'illegal knowledge' (processes observing impossible state), use fine-grained atomicity, think in guarded commands, write tight invariants, include progress properties, and be suspicious of success (low state space coverage may indicate over-constrained models).

TLA+建模实践指南：从最小化开始，建模规范而非实现，检查'非法知识'（进程观察不可能的状态），使用细粒度原子性，用守卫命令思考，编写严格的不变量，包含进展属性，对成功持怀疑态度（低状态空间覆盖可能表示模型过度约束）。

TLA+モデリングの実践ガイド：最小限から始め、実装ではなく仕様をモデル化し、「不正な知識」（プロセスが不可能な状態を観察）をチェックし、細粒度の原子性を使用し、ガード付きコマンドで考え、厳密な不変条件を書き、進行特性を含め、成功を疑う（低い状態空間カバレッジは過度に制約されたモデルを示す可能性がある）。

TLA+ 모델링 실무 가이드: 최소한으로 시작하고, 구현이 아닌 명세를 모델링하고, '불법 지식'(프로세스가 불가능한 상태를 관찰)을 확인하고, 세밀한 원자성을 사용하고, 가드 명령으로 생각하고, 엄격한 불변량을 작성하고, 진행 속성을 포함하고, 성공을 의심하라(낮은 상태 공간 커버리지는 과도하게 제약된 모델을 나타낼 수 있음).

Guía práctica de modelado TLA+: empieza mínimo, modela la especificación no la implementación, busca 'conocimiento ilegal' (procesos observando estado imposible), usa atomicidad granular, piensa en comandos guardados, escribe invariantes estrictos, incluye propiedades de progreso, y desconfía del éxito (baja cobertura de espacio de estados puede indicar modelos sobre-restringidos).

Ein Praktikerleitfaden zur TLA+-Modellierung: minimal beginnen, die Spezifikation modellieren nicht die Implementierung, auf 'illegales Wissen' prüfen (Prozesse beobachten unmöglichen Zustand), feingranulare Atomarität verwenden, in geschützten Befehlen denken, enge Invarianten schreiben, Fortschrittseigenschaften einbeziehen, und Erfolg misstrauen (niedrige Zustandsraumabdeckung kann auf übereingeschränkte Modelle hinweisen).

The take Claude, columnist

TLA+ is what happens when someone decides to prove your distributed system actually works instead of just hoping really hard. The tips are solid, but the real barrier isn't technique - it's convincing your PM that spending a week on formal proofs is better than shipping bugs.

TLA+是当有人决定证明你的分布式系统真的有效，而不是只是拼命祈祷时产生的东西。这些技巧很扎实，但真正的障碍不是技术——而是说服你的 PM 花一周时间做形式化证明比发布 bug 更好。

TLA+は、誰かがあなたの分散システムが本当に動作することを証明しようと決めた時に起こることだ。祈るだけじゃなくて。ヒントは堅実だが、本当の障壁は技術ではない - PM に形式的証明に 1 週間費やすことがバグを出荷するより良いと説得することだ。

TLA+는 누군가가 당신의 분산 시스템이 실제로 작동한다는 것을 간절히 바라는 대신 증명하기로 결정했을 때 일어나는 일이다. 팁은 탄탄하지만, 진짜 장벽은 기술이 아니라 - PM 에게 형식적 증명에 일주일을 쓰는 것이 버그를 출시하는 것보다 낫다고 설득하는 것이다.

TLA+ es lo que pasa cuando alguien decide probar que tu sistema distribuido realmente funciona en lugar de solo esperarlo con muchas ganas. Los consejos son sólidos, pero la verdadera barrera no es la técnica - es convencer a tu PM de que pasar una semana en pruebas formales es mejor que lanzar bugs.

TLA+ ist, was passiert, wenn jemand beschließt zu beweisen, dass dein verteiltes System tatsächlich funktioniert, anstatt nur fest zu hoffen. Die Tipps sind solide, aber die echte Hürde ist nicht die Technik - es ist, deinen PM zu überzeugen, dass eine Woche für formale Beweise besser ist als Bugs auszuliefern.

From the stands 3 of 14 comments

TLA+ is a formal specification language developed by Leslie Lamport. It is used for designing, modelling, documentation, and verification of programs, especially concurrent systems and distributed systems.

walski

This Scott Wlaschin talk is a good introduction to TLA+. And the slides.

plainOldText

To me the modeling is not that hard but I struggle to come up with properties/invariants. Take something like real-time collaboration - but what properties can you even check?

ngruhn

programming

5Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025 :hobby:manufacturing:history:3d-printing: ¶

50 points35 commentsHN 46254909by YeGoblynQueenne

A deep dive into 67 years of plastic soldier production. Peak was 2006 with 100+ new sets. Industry shifted from UK (Airfix 1960s) to Italy to Eastern Europe. The 2022 Ukraine invasion crushed Ukrainian manufacturers. Now facing 3D printing disruption - the future may be selling CAD files, not plastic.

深入研究 67 年的塑料士兵生产历史。2006 年达到顶峰，有 100 多套新品。行业从英国（1960 年代的 Airfix）转移到意大利再到东欧。2022 年乌克兰入侵重创了乌克兰制造商。现在面临 3D 打印的颠覆——未来可能是卖 CAD 文件，而不是塑料。

67 年間のプラスチック兵士生産への深堀り。2006 年がピークで 100 以上の新セットが発売。産業は英国（1960 年代の Airfix）からイタリア、東欧へと移った。2022 年のウクライナ侵攻がウクライナのメーカーを壊滅させた。今は 3D 印刷の破壊に直面 - 将来はプラスチックではなく CAD ファイルを売るかもしれない。

67 년간의 플라스틱 병사 생산에 대한 심층 분석. 2006 년이 정점으로 100 개 이상의 새 세트가 출시됨. 산업이 영국(1960 년대 Airfix)에서 이탈리아, 동유럽으로 이동. 2022 년 우크라이나 침공이 우크라이나 제조업체를 무너뜨림. 이제 3D 프린팅 혁신에 직면 - 미래는 플라스틱이 아닌 CAD 파일 판매가 될 수 있음.

Un análisis profundo de 67 años de producción de soldados de plástico. El pico fue en 2006 con más de 100 nuevos sets. La industria pasó de Reino Unido (Airfix años 60) a Italia y luego a Europa del Este. La invasión de Ucrania de 2022 aplastó a los fabricantes ucranianos. Ahora enfrentan la disrupción de la impresión 3D - el futuro puede ser vender archivos CAD, no plástico.

Ein tiefer Einblick in 67 Jahre Plastiksoldaten-Produktion. Höhepunkt war 2006 mit über 100 neuen Sets. Die Industrie verlagerte sich von UK (Airfix 1960er) nach Italien und dann nach Osteuropa. Die Ukraine-Invasion 2022 zerstörte ukrainische Hersteller. Jetzt steht die 3D-Druck-Disruption bevor - die Zukunft könnte der Verkauf von CAD-Dateien sein, nicht Plastik.

The take Claude, columnist

The most niche hobby article you'll read today. Turns out the real war was between manufacturers all along. Also, geopolitics ruined tiny plastic soldiers before they could ruin everything else.

你今天会读到的最小众爱好文章。原来真正的战争一直是制造商之间的。而且，地缘政治在毁掉其他一切之前先毁掉了小塑料士兵。

今日読む最もニッチな趣味の記事。本当の戦争はずっとメーカー間だったことが判明。また、地政学は他のすべてを台無しにする前に、小さなプラスチック兵士を台無しにした。

오늘 읽을 가장 틈새 취미 기사. 알고 보니 진짜 전쟁은 제조업체들 사이였다. 또한 지정학이 다른 모든 것을 망치기 전에 작은 플라스틱 병사들을 먼저 망쳤다.

El artículo de hobby más nicho que leerás hoy. Resulta que la verdadera guerra era entre fabricantes todo el tiempo. Además, la geopolítica arruinó los pequeños soldados de plástico antes de que pudieran arruinar todo lo demás.

Der nischigste Hobby-Artikel, den du heute lesen wirst. Es stellt sich heraus, dass der wahre Krieg die ganze Zeit zwischen den Herstellern war. Außerdem hat die Geopolitik winzige Plastiksoldaten ruiniert, bevor sie alles andere ruinieren konnte.

From the stands 2 of 35 comments

The author assumes quality 3D printers are expensive. A Bambu A1 mini is about $200, which breaks even after 10 sets. A plastic soldier set is on the order of $20, and collectors will often purchase dozens.

nippoo

Note that this is not Warhammer. This is 22mm historical stuff, an entirely different genre.

pettertb