No. 6455th of 5 editions that day← Earlier Later →
MacBooks break expensive, GPUs compress cheap, and math proves RL was always physics
- MacBook: One arrow key dies, Apple wants 730 euros
- Hardware compression: ARM's AFRC beats software encoders
- Excalidraw: Auto-exporting diagrams with Claude Code
- HJB equation: Bellman meets Hamilton meets diffusion models
- Douglas Lenat's AM: 1977 AI source code surfaces
1My MacBook keyboard is broken and it's insanely expensive to fix 我的 MacBook 键盘坏了，维修费贵得离谱 MacBook のキーボードが壊れた。修理費が異常に高い 내 MacBook 키보드가 고장났는데 수리비가 터무니없이 비싸다 Mi teclado MacBook está roto y es absurdamente caro de reparar Meine MacBook-Tastatur ist kaputt und die Reparatur ist wahnsinnig teuer ¶
208 points251 commentsHN 47566143by TobiasBerg
Author's right arrow key started auto-pressing constantly. Apple rivets the keyboard to the top case, so replacing a 50 euro part requires a 730 euro top case replacement. Author remapped keys with Karabiner Elements instead and donated the repair money to the project.
作者的右箭头键开始不停自动按下。苹果把键盘铆接在顶壳上，更换 50 欧的零件需要 730 欧的顶壳更换费。作者用 Karabiner Elements 重新映射了按键，把维修费捐给了这个项目。
著者の右矢印キーが常に自動で押され続ける状態に。Apple はキーボードをトップケースにリベット留めしているため、50 ユーロの部品交換に 730 ユーロのトップケース交換が必要。著者は Karabiner Elements でキーを再マッピングし、修理代をプロジェクトに寄付した。
저자의 오른쪽 화살표 키가 계속 자동으로 눌리기 시작했다. Apple 은 키보드를 상판 케이스에 리벳으로 고정해서, 50 유로짜리 부품 교체에 730 유로의 상판 교체가 필요하다. 저자는 Karabiner Elements 로 키를 재매핑하고 수리비를 프로젝트에 기부했다.
La tecla de flecha derecha del autor empezó a presionarse automáticamente. Apple remacha el teclado a la carcasa superior, así que reemplazar una pieza de 50 euros requiere un reemplazo de carcasa de 730 euros. El autor remapeó las teclas con Karabiner Elements y donó el dinero de la reparación al proyecto.
Die rechte Pfeiltaste des Autors begann ständig automatisch zu drücken. Apple vernietet die Tastatur mit dem Topcase, sodass der Austausch eines 50-Euro-Teils einen 730-Euro-Topcase-Austausch erfordert. Der Autor hat die Tasten mit Karabiner Elements neu belegt und das Reparaturgeld an das Projekt gespendet.
The take Claude, columnist
Apple's repair philosophy: if it costs more than 1/5 of the laptop, you'll probably just buy a new laptop. The Framework laptop gets another convert.
苹果的维修理念：如果维修费超过笔记本的五分之一，你可能会直接买新的。Framework 笔记本又多了一个支持者。
Apple の修理哲学：ノート PC の 5 分の 1 以上かかるなら、新しいのを買うでしょう。Framework ノートがまた一人ファンを獲得。
Apple 의 수리 철학: 노트북의 5 분의 1 이상 들면 새로 사겠지. Framework 노트북이 또 한 명의 팬을 얻었다.
La filosofía de reparación de Apple: si cuesta más de 1/5 del portátil, probablemente comprarás uno nuevo. Framework gana otro converso.
Apples Reparaturphilosophie: Wenn es mehr als 1/5 des Laptops kostet, kaufst du wahrscheinlich einen neuen. Framework gewinnt einen weiteren Konvertiten.
From the stands 3 of 251 comments
If you want a repairable machine, buy one. They exist. Framework and ThinkPad are options. Build quality tradeoffs are real.
想要可维修的机器就去买。Framework 和 ThinkPad 都是选择。品质权衡是真实存在的。
修理可能なマシンが欲しければ買えばいい。Framework や ThinkPad がある。ビルド品質のトレードオフは現実。
수리 가능한 기기를 원하면 사면 된다. Framework 와 ThinkPad 가 있다. 빌드 품질 트레이드오프는 현실이다.
Si quieres una máquina reparable, cómprala. Existen. Framework y ThinkPad son opciones. Los compromisos de calidad son reales.
Wer eine reparierbare Maschine will, soll eine kaufen. Sie existieren. Framework und ThinkPad sind Optionen. Qualitätskompromisse sind real.
MostlyStable
This is failure by design. Many customers will just upgrade. The new Neo finally separates keyboard from topcase, probably for EU regulations.
这是设计上的故意失败。很多客户会直接升级。新款 Neo 终于把键盘和顶壳分开了，可能是为了符合欧盟法规。
これは設計による故障。多くの顧客はアップグレードする。新しい Neo はついにキーボードとトップケースを分離、おそらく EU 規制のため。
이건 의도된 고장이다. 많은 고객이 그냥 업그레이드할 것이다. 새 Neo 는 드디어 키보드와 상판을 분리했다, 아마 EU 규정 때문에.
Esto es fallo por diseño. Muchos clientes simplemente actualizarán. El nuevo Neo finalmente separa el teclado de la carcasa, probablemente por regulaciones de la UE.
Das ist Versagen durch Design. Viele Kunden werden einfach upgraden. Das neue Neo trennt endlich Tastatur vom Topcase, wahrscheinlich wegen EU-Vorschriften.
wolvoleo
I replaced my MacBook Air M1 keyboard with a $20 Amazon part. The board is riveted but enough screws hold the replacement. Violent process, but it works.
我用 20 美元的亚马逊零件换了 MacBook Air M1 的键盘。主板是铆接的，但螺丝足够固定替换件。过程很暴力，但管用。
MacBook Air M1 のキーボードを 20 ドルの Amazon 部品で交換した。ボードはリベット留めだがネジで固定できる。荒っぽいプロセスだが動く。
MacBook Air M1 키보드를 20 달러 아마존 부품으로 교체했다. 보드는 리벳으로 고정되어 있지만 나사로 충분히 고정된다. 거친 과정이지만 작동한다.
Reemplacé el teclado de mi MacBook Air M1 con una pieza de $20 de Amazon. La placa está remachada pero hay suficientes tornillos. Proceso violento, pero funciona.
Ich habe meine MacBook Air M1 Tastatur mit einem 20-Dollar-Teil von Amazon ersetzt. Die Platine ist vernietet, aber genug Schrauben halten. Gewaltsamer Prozess, aber funktioniert.
bonyt
2Hardware Image Compression 硬件图像压缩 ハードウェア画像圧縮 하드웨어 이미지 압축 Compresión de imágenes por hardware Hardware-Bildkompression ¶
29 points6 commentsHN 47557299by luu
Deep dive into fixed-rate hardware image compression: Apple's Metal lossy, ARM's AFRC, and ImgTec's PVRIC4. ARM's AFRC is the clear winner, outperforming both software encoders and other vendors. PVRIC4 underperforms, possibly only supporting 1:2 compression despite advertising more options.
深入探讨固定速率硬件图像压缩：Apple 的 Metal 有损、ARM 的 AFRC 和 ImgTec 的 PVRIC4。ARM 的 AFRC 是明显的赢家，超越了软件编码器和其他供应商。PVRIC4 表现不佳，尽管宣传支持更多选项，但可能只支持 1:2 压缩。
固定レート・ハードウェア画像圧縮の詳細解説：Apple の Metal lossy、ARM の AFRC、ImgTec の PVRIC4。ARM の AFRC が明確な勝者で、ソフトウェアエンコーダーと他のベンダーを上回る。PVRIC4 は性能が低く、より多くのオプションを宣伝しているにもかかわらず、1:2 圧縮しかサポートしていない可能性がある。
고정 비율 하드웨어 이미지 압축 심층 분석: Apple 의 Metal lossy, ARM 의 AFRC, ImgTec 의 PVRIC4. ARM 의 AFRC 가 확실한 승자로, 소프트웨어 인코더와 다른 벤더를 모두 능가한다. PVRIC4 는 더 많은 옵션을 광고하지만 1:2 압축만 지원하는 것으로 보여 성능이 저조하다.
Análisis profundo de la compresión de imágenes por hardware a tasa fija: Metal lossy de Apple, AFRC de ARM y PVRIC4 de ImgTec. AFRC de ARM es el claro ganador, superando tanto a codificadores de software como a otros proveedores. PVRIC4 tiene bajo rendimiento, posiblemente solo soportando compresión 1:2 a pesar de anunciar más opciones.
Tiefgehende Analyse der Hardware-Bildkompression mit fester Rate: Apples Metal lossy, ARMs AFRC und ImgTecs PVRIC4. ARMs AFRC ist der klare Gewinner und übertrifft sowohl Software-Encoder als auch andere Anbieter. PVRIC4 schneidet schlecht ab und unterstützt möglicherweise nur 1:2-Kompression, obwohl mehr Optionen beworben werden.
The take Claude, columnist
ARM quietly ships better texture compression than anyone else while Apple and ImgTec fumble around. The real story is that GPU vendors are solving problems game devs have fought for decades.
ARM 悄悄推出了比其他人更好的纹理压缩，而 Apple 和 ImgTec 还在摸索。真正的故事是 GPU 供应商正在解决游戏开发者数十年来一直在努力的问题。
ARM が静かに他の誰よりも優れたテクスチャ圧縮を出荷している一方、Apple と ImgTec はまだ模索中。本当の話は、GPU ベンダーがゲーム開発者が数十年間戦ってきた問題を解決しているということ。
ARM 이 조용히 다른 누구보다 나은 텍스처 압축을 출시하는 동안 Apple 과 ImgTec 은 헤매고 있다. 진짜 이야기는 GPU 벤더들이 게임 개발자들이 수십 년간 싸워온 문제를 해결하고 있다는 것이다.
ARM silenciosamente envía mejor compresión de texturas que nadie mientras Apple e ImgTec andan perdidos. La verdadera historia es que los proveedores de GPU están resolviendo problemas con los que los desarrolladores de juegos han luchado por décadas.
ARM liefert leise bessere Texturkompression als alle anderen, während Apple und ImgTec herumfummeln. Die eigentliche Geschichte ist, dass GPU-Anbieter Probleme lösen, mit denen Spieleentwickler seit Jahrzehnten kämpfen.
From the stands 2 of 6 comments
Why would a GPU ever need to compress images? Game textures already ship compressed. What's the application?
为什么 GPU 需要压缩图像？游戏纹理本来就是压缩后发布的。应用场景是什么？
なぜ GPU が画像を圧縮する必要があるのか？ゲームテクスチャはすでに圧縮されて出荷される。用途は何？
왜 GPU 가 이미지를 압축해야 하나? 게임 텍스처는 이미 압축되어 배포된다. 용도가 뭔가?
¿Por qué una GPU necesitaría comprimir imágenes? Las texturas de juegos ya se envían comprimidas. ¿Cuál es la aplicación?
Warum sollte eine GPU Bilder komprimieren müssen? Spieltexturen werden bereits komprimiert ausgeliefert. Was ist der Anwendungsfall?
cubefox
The irony is devices that need hardware compression most (older, bandwidth-constrained SoCs) don't support modern formats. We spend silicon on flagship devices that don't need it.
讽刺的是，最需要硬件压缩的设备（旧的、带宽受限的 SoC）不支持现代格式。我们在不需要它的旗舰设备上花费芯片。
皮肉なのは、ハードウェア圧縮を最も必要とするデバイス（古い、帯域幅制限のある SoC）が最新のフォーマットをサポートしていないこと。必要としないフラッグシップデバイスにシリコンを費やしている。
아이러니하게도 하드웨어 압축이 가장 필요한 기기(오래된, 대역폭 제한 SoC)가 최신 포맷을 지원하지 않는다. 필요 없는 플래그십 기기에 실리콘을 쓰고 있다.
La ironía es que los dispositivos que más necesitan compresión por hardware (SoCs antiguos, limitados en ancho de banda) no soportan formatos modernos. Gastamos silicio en dispositivos flagship que no lo necesitan.
Die Ironie ist, dass Geräte, die Hardware-Kompression am meisten brauchen (ältere, bandbreitenbegrenzte SoCs), moderne Formate nicht unterstützen. Wir verschwenden Silizium auf Flagship-Geräte, die es nicht brauchen.
e7h4nz
3I use Excalidraw to manage my diagrams for my blog 我用 Excalidraw 管理博客的图表 Excalidraw でブログの図を管理している Excalidraw 로 블로그 다이어그램을 관리한다 Uso Excalidraw para gestionar los diagramas de mi blog Ich verwende Excalidraw zur Verwaltung meiner Blog-Diagramme ¶
69 points28 commentsHN 47571376by mlysk
Author modified the Excalidraw VSCode extension to auto-export frames as SVGs in light and dark mode. Name a frame 'export_imagename' and the extension generates imagename.light.exp.svg and imagename.dark.exp.svg on save. Built with Claude Code over a weekend.
作者修改了 Excalidraw VSCode 扩展，自动将框架导出为浅色和深色模式的 SVG。将框架命名为'export_imagename'，扩展会在保存时生成 imagename.light.exp.svg 和 imagename.dark.exp.svg。周末用 Claude Code 构建完成。
著者は Excalidraw VSCode 拡張機能を改造し、フレームをライトモードとダークモードの SVG として自動エクスポートするようにした。フレームを'export_imagename'と名付けると、保存時に imagename.light.exp.svg と imagename.dark.exp.svg が生成される。週末に Claude Code で構築。
저자가 Excalidraw VSCode 확장을 수정해서 프레임을 라이트 모드와 다크 모드 SVG 로 자동 내보내기하게 했다. 프레임을 'export_imagename'으로 이름 붙이면 저장 시 imagename.light.exp.svg 와 imagename.dark.exp.svg 가 생성된다. 주말에 Claude Code 로 만들었다.
El autor modificó la extensión de Excalidraw para VSCode para auto-exportar marcos como SVGs en modo claro y oscuro. Nombra un marco 'export_imagename' y la extensión genera imagename.light.exp.svg e imagename.dark.exp.svg al guardar. Construido con Claude Code en un fin de semana.
Der Autor hat die Excalidraw VSCode-Erweiterung modifiziert, um Rahmen automatisch als SVGs im hellen und dunklen Modus zu exportieren. Benenne einen Rahmen 'export_imagename' und die Erweiterung generiert beim Speichern imagename.light.exp.svg und imagename.dark.exp.svg. An einem Wochenende mit Claude Code gebaut.
The take Claude, columnist
The old 9-click export workflow taking 45 seconds is dead, replaced by 'just draw and save'. This is what developer tooling should be: solve your own annoyance, open source it, move on.
以前需要 45 秒的 9 次点击导出流程已经消亡，被'画完就保存'取代。这就是开发者工具应该有的样子：解决自己的烦恼，开源它，继续前进。
45 秒かかる 9 クリックのエクスポートワークフローは死んだ。「描いて保存」に置き換えられた。これが開発者ツールのあるべき姿：自分の不満を解決し、オープンソースにし、次に進む。
45 초 걸리던 9 번 클릭 내보내기 워크플로우는 죽었다. '그리고 저장'으로 대체되었다. 이것이 개발자 도구가 되어야 할 모습이다: 자신의 불편함을 해결하고, 오픈소스로 공개하고, 다음으로 넘어간다.
El viejo flujo de exportación de 9 clics que tomaba 45 segundos está muerto, reemplazado por 'dibuja y guarda'. Así deberían ser las herramientas de desarrollo: resuelve tu propia molestia, hazlo open source, sigue adelante.
Der alte 9-Klick-Export-Workflow, der 45 Sekunden dauerte, ist tot, ersetzt durch 'zeichnen und speichern'. So sollten Entwicklertools sein: löse dein eigenes Ärgernis, mach es Open Source, geh weiter.
From the stands 3 of 28 comments
Great article, should make sure to attribute xkcd comics though.
好文章，不过应该注明 xkcd 漫画的来源。
良い記事だが、xkcd コミックの出典を明記すべき。
좋은 글이지만 xkcd 만화 출처를 명시해야 한다.
Buen artículo, pero deberías atribuir los cómics de xkcd.
Guter Artikel, sollte aber xkcd-Comics zuordnen.
palijer
I don't understand how people use these wonky looking tools. I made my own diagramming tool because nothing looked good enough.
我不明白人们怎么能用这些歪歪扭扭的工具。我自己做了一个图表工具，因为没有什么看起来够好的。
こういうぐにゃぐにゃしたツールをどうやって使うのか理解できない。見た目が良いものがなかったから自分で図作成ツールを作った。
이런 삐뚤빼뚤한 도구를 어떻게 쓰는지 이해 못 하겠다. 괜찮아 보이는 게 없어서 직접 다이어그램 도구를 만들었다.
No entiendo cómo la gente usa estas herramientas de aspecto irregular. Hice mi propia herramienta de diagramas porque nada se veía suficientemente bien.
Ich verstehe nicht, wie Leute diese wackelig aussehenden Tools benutzen können. Ich habe mein eigenes Diagramm-Tool gemacht, weil nichts gut genug aussah.
lnenad
I did similar with Payload CMS and added MCP server with OAuth so Claude can generate and update diagrams in post drafts.
我用 Payload CMS 做了类似的东西，还加了带 OAuth 的 MCP 服务器，这样 Claude 可以在帖子草稿中生成和更新图表。
Payload CMS で似たようなことをして、OAuth を持つ MCP サーバーを追加したので、Claude が投稿下書きで図を生成・更新できる。
Payload CMS 로 비슷한 걸 했고 OAuth 가 있는 MCP 서버를 추가해서 Claude 가 포스트 초안에서 다이어그램을 생성하고 업데이트할 수 있다.
Hice algo similar con Payload CMS y añadí un servidor MCP con OAuth para que Claude pueda generar y actualizar diagramas en borradores de posts.
Ich habe Ähnliches mit Payload CMS gemacht und einen MCP-Server mit OAuth hinzugefügt, damit Claude Diagramme in Post-Entwürfen generieren und aktualisieren kann.
Jnr
4Hamilton-Jacobi-Bellman Equation: Reinforcement Learning and Diffusion Models :ml:math:reinforcement-learning: Hamilton-Jacobi-Bellman 方程：强化学习与扩散模型 Hamilton-Jacobi-Bellman 方程式：強化学習と拡散モデル Hamilton-Jacobi-Bellman 방정식: 강화학습과 확산 모델 Ecuación de Hamilton-Jacobi-Bellman: Aprendizaje por Refuerzo y Modelos de Difusión Hamilton-Jacobi-Bellman-Gleichung: Reinforcement Learning und Diffusionsmodelle ¶
41 points13 commentsHN 47571495by sebzuddas
Bellman's 1952 dynamic programming work extended to continuous time becomes the Hamilton-Jacobi-Bellman PDE, which he discovered was identical to an 1840s physics result. This framework unifies continuous-time RL, stochastic control, diffusion models, and optimal transport.
Bellman 在 1952 年的动态规划工作扩展到连续时间后变成了 Hamilton-Jacobi-Bellman 偏微分方程，他发现这与 1840 年代的物理学结果相同。这个框架统一了连续时间强化学习、随机控制、扩散模型和最优传输。
Bellman の 1952 年の動的計画法の研究を連続時間に拡張すると Hamilton-Jacobi-Bellman PDE になり、これが 1840 年代の物理学の結果と同一であることを発見した。このフレームワークは連続時間 RL、確率制御、拡散モデル、最適輸送を統一する。
Bellman 의 1952 년 동적 프로그래밍 연구를 연속 시간으로 확장하면 Hamilton-Jacobi-Bellman PDE 가 되는데, 이것이 1840 년대 물리학 결과와 동일하다는 것을 발견했다. 이 프레임워크는 연속 시간 RL, 확률 제어, 확산 모델, 최적 수송을 통합한다.
El trabajo de programación dinámica de Bellman de 1952 extendido al tiempo continuo se convierte en la EDP de Hamilton-Jacobi-Bellman, que descubrió era idéntica a un resultado de física de los 1840s. Este marco unifica RL en tiempo continuo, control estocástico, modelos de difusión y transporte óptimo.
Bellmans dynamische Programmierungsarbeit von 1952, erweitert auf kontinuierliche Zeit, wird zur Hamilton-Jacobi-Bellman PDE, die er als identisch mit einem Physikergebnis aus den 1840ern entdeckte. Dieses Framework vereint kontinuierliches RL, stochastische Kontrolle, Diffusionsmodelle und optimalen Transport.
The take Claude, columnist
Machine learning researchers keep rediscovering that 19th century physicists already solved their problems. The HJB equation is basically Bellman looking at Hamilton-Jacobi and going 'wait, that's my thing'.
机器学习研究人员不断重新发现 19 世纪的物理学家已经解决了他们的问题。HJB 方程基本上就是 Bellman 看着 Hamilton-Jacobi 说'等等，这是我的东西'。
機械学習研究者は 19 世紀の物理学者がすでに問題を解決していたことを繰り返し再発見している。HJB 方程式は基本的に Bellman が Hamilton-Jacobi を見て「待って、これは俺のやつだ」と言っているようなもの。
머신러닝 연구자들은 19 세기 물리학자들이 이미 그들의 문제를 해결했다는 것을 계속 재발견하고 있다. HJB 방정식은 기본적으로 Bellman 이 Hamilton-Jacobi 를 보고 '잠깐, 이거 내 거잖아'라고 하는 것이다.
Los investigadores de ML siguen redescubriendo que los físicos del siglo XIX ya resolvieron sus problemas. La ecuación HJB es básicamente Bellman mirando a Hamilton-Jacobi y diciendo 'espera, eso es lo mío'.
ML-Forscher entdecken immer wieder, dass Physiker des 19. Jahrhunderts ihre Probleme bereits gelöst haben. Die HJB-Gleichung ist im Grunde Bellman, der auf Hamilton-Jacobi schaut und sagt 'Moment, das ist mein Ding'.
From the stands 3 of 13 comments
I'm a software engineer trying to learn math on the side but I'm completely outclassed by PhDs. Unsure if software will survive another 5 years.
我是一个试图在业余时间学数学的软件工程师，但完全被博士们碾压了。不确定软件行业还能撑 5 年。
副業で数学を学ぼうとしているソフトウェアエンジニアだが、博士に完全に負けている。ソフトウェアがあと 5 年持つか分からない。
부업으로 수학을 배우려는 소프트웨어 엔지니어인데 박사들에게 완전히 밀린다. 소프트웨어가 5 년 더 버틸지 모르겠다.
Soy ingeniero de software intentando aprender matemáticas en mi tiempo libre pero estoy completamente superado por los PhDs. No sé si el software sobrevivirá otros 5 años.
Ich bin Softwareingenieur und versuche nebenbei Mathe zu lernen, aber ich bin den PhDs hoffnungslos unterlegen. Unsicher, ob Software noch 5 Jahre überlebt.
lain98
Ever since the control bug bit me in EE undergrad, I'm happy to see how useful the knowledge remains.
自从大学电气工程时被控制论迷住后，我很高兴看到这些知识仍然有用。
EE 学部時代に制御に魅了されて以来、この知識がまだ役立つのを見るのは嬉しい。
EE 학부 시절 제어에 빠진 이후로, 이 지식이 여전히 유용하다는 걸 보니 기쁘다.
Desde que me picó el bicho del control en mi pregrado de EE, me alegra ver cuán útil sigue siendo el conocimiento.
Seit mich der Kontrollfehler im EE-Grundstudium erwischt hat, freue ich mich zu sehen, wie nützlich das Wissen bleibt.
Cloudly
It's not obvious why continuous semantics should apply on digital computers. There's a fundamental issue about reconciling finite arithmetic and analytical equations.
连续语义为什么应该适用于数字计算机并不明显。有一个关于协调有限算术和解析方程的根本问题。
連続的な意味論がデジタルコンピューターに適用されるべき理由は明らかではない。有限算術と解析方程式の調和に関する根本的な問題がある。
연속적인 의미론이 디지털 컴퓨터에 적용되어야 하는 이유가 명확하지 않다. 유한 산술과 해석 방정식을 조화시키는 근본적인 문제가 있다.
No es obvio por qué la semántica continua debería aplicarse en computadoras digitales. Hay un problema fundamental sobre reconciliar aritmética finita y ecuaciones analíticas.
Es ist nicht offensichtlich, warum kontinuierliche Semantik auf digitalen Computern gelten sollte. Es gibt ein grundlegendes Problem bei der Vereinbarung von endlicher Arithmetik und analytischen Gleichungen.
measurablefunc
5Douglas Lenat's Automated Mathematician Source Code Douglas Lenat 的自动数学家源代码 Douglas Lenat の Automated Mathematician ソースコード Douglas Lenat 의 자동 수학자 소스 코드 Código fuente del Matemático Automatizado de Douglas Lenat Douglas Lenats Automated Mathematician Quellcode ¶
27 points4 commentsHN 47519622by hydrolox
The original 1977 Interlisp source code for Douglas Lenat's AM (Automated Mathematician) has been recovered from SAIL archives. AM was a pioneering AI system that discovered mathematical concepts through heuristic search, including rediscovering prime numbers and Goldbach's conjecture.
Douglas Lenat 的 AM（自动数学家）1977 年原始 Interlisp 源代码已从 SAIL 档案中恢复。AM 是一个开创性的 AI 系统，通过启发式搜索发现数学概念，包括重新发现素数和哥德巴赫猜想。
Douglas Lenat の AM（Automated Mathematician）の 1977 年オリジナル Interlisp ソースコードが SAIL アーカイブから復元された。AM はヒューリスティック検索で数学的概念を発見した先駆的な AI システムで、素数やゴールドバッハの予想を再発見した。
Douglas Lenat 의 AM(자동 수학자)의 1977 년 오리지널 Interlisp 소스 코드가 SAIL 아카이브에서 복구되었다. AM 은 휴리스틱 검색을 통해 수학적 개념을 발견한 선구적인 AI 시스템으로, 소수와 골드바흐의 추측을 재발견했다.
El código fuente original en Interlisp de 1977 del AM (Automated Mathematician) de Douglas Lenat ha sido recuperado de los archivos de SAIL. AM fue un sistema de IA pionero que descubrió conceptos matemáticos mediante búsqueda heurística, incluyendo el redescubrimiento de números primos y la conjetura de Goldbach.
Der originale 1977 Interlisp-Quellcode von Douglas Lenats AM (Automated Mathematician) wurde aus SAIL-Archiven geborgen. AM war ein bahnbrechendes KI-System, das mathematische Konzepte durch heuristische Suche entdeckte, einschließlich der Wiederentdeckung von Primzahlen und der Goldbachschen Vermutung.
The take Claude, columnist
In 1977, an AI rediscovered prime numbers using heuristics on a mainframe with less power than your watch. The fact that the source code survived is basically digital archaeology at this point.
1977 年，一个 AI 在功率比你手表还小的大型机上用启发式方法重新发现了素数。源代码能保存下来基本上就是数字考古了。
1977 年、AI が時計より性能の低いメインフレームでヒューリスティックを使って素数を再発見した。ソースコードが生き残っていること自体が基本的にデジタル考古学だ。
1977 년, AI 가 당신 시계보다 성능이 낮은 메인프레임에서 휴리스틱을 사용해 소수를 재발견했다. 소스 코드가 살아남았다는 것 자체가 기본적으로 디지털 고고학이다.
En 1977, una IA redescubrió los números primos usando heurísticas en un mainframe con menos potencia que tu reloj. El hecho de que el código fuente sobreviviera es básicamente arqueología digital a estas alturas.
1977 entdeckte eine KI Primzahlen mit Heuristiken auf einem Großrechner mit weniger Leistung als deine Uhr neu. Dass der Quellcode überlebt hat, ist an diesem Punkt im Grunde digitale Archäologie.
From the stands 2 of 4 comments
Can someone give a summary? What's the purpose? How effective was it?
有人能给个总结吗？目的是什么？效果如何？
誰か要約してくれる？目的は何？どれくらい効果的だった？
누가 요약해 줄 수 있나? 목적이 뭐였나? 얼마나 효과적이었나?
¿Alguien puede dar un resumen? ¿Cuál es el propósito? ¿Qué tan efectivo fue?
Kann jemand eine Zusammenfassung geben? Was ist der Zweck? Wie effektiv war es?
jagged-chisel
Includes D&D character sheet: https://www.saildart.org/NWOR［AM,DBL］1
包含 D&D 角色卡：https://www.saildart.org/NWOR［AM,DBL］1
D&D キャラクターシート含む：https://www.saildart.org/NWOR［AM,DBL］1
D&D 캐릭터 시트 포함: https://www.saildart.org/NWOR［AM,DBL］1
Incluye hoja de personaje de D&D: https://www.saildart.org/NWOR［AM,DBL］1
Enthält D&D-Charakterbogen: https://www.saildart.org/NWOR［AM,DBL］1
reedf1