No. 1,1194th of 8 editions that day← Earlier Later →
Obfuscated C wins, designers ditch Figma, and Gwern wants to catapult your brain
- IOCCC 2025: GameBoy emulator shaped like a GameBoy, 366-byte Doom runner
- Jane Street designer builds prototypes with Claude instead of mockups
- Gwern proposes training trillion-parameter models at absurd learning rates
1The 29th International Obfuscated C Code Contest (IOCCC) 2025 Winners 第 29 届国际混乱 C 代码大赛(IOCCC) 2025 获奖作品 第 29 回国際難読化 C コードコンテスト(IOCCC) 2025 受賞作品 제 29 회 국제 난독화 C 코드 대회(IOCCC) 2025 수상작 Los ganadores del 29º Concurso Internacional de Código C Ofuscado (IOCCC) 2025 Die Gewinner des 29. International Obfuscated C Code Contest (IOCCC) 2025 ¶
134 points33 commentsHN 48432199by matt_d
IOCCC 2025 saw record submissions with standout winners including a GameBoy emulator whose code is shaped like a GameBoy (by rclone creator Nick Craig-Wood), a 366-byte C program that runs Linux and Doom via a one-instruction set computer, and a patch/diff quine by Yusuke Endoh. Three authors achieved hat-tricks with 3 wins each.
IOCCC 2025 收到了创纪录的提交量，突出的获奖作品包括一个代码形状像 GameBoy 的 GameBoy 模拟器（由 rclone 创建者 Nick Craig-Wood 制作）、一个 366 字节的 C 程序通过单指令集计算机运行 Linux 和 Doom，以及 Yusuke Endoh 的 patch/diff 自复制程序。三位作者各获得 3 项大奖完成帽子戏法。
IOCCC 2025 は過去最高の応募数を記録。目玉は rclone 作者 Nick Craig-Wood による GameBoy 形の GameBoy エミュレータ、366 バイトで Linux と Doom を実行する 1 命令セットコンピュータ、そして Yusuke Endoh の patch/diff Quine。3 人の作者がそれぞれ 3 賞を獲得しハットトリックを達成。
IOCCC 2025 는 역대 최다 제출을 기록했다. 주요 수상작으로는 rclone 제작자 Nick Craig-Wood 의 게임보이 모양 게임보이 에뮬레이터, 1 명령어 세트 컴퓨터로 Linux 와 Doom 을 실행하는 366 바이트 C 프로그램, Yusuke Endoh 의 patch/diff quine 이 있다. 3 명의 저자가 각각 3 개 상을 수상하며 해트트릭을 달성했다.
IOCCC 2025 tuvo récord de envíos con ganadores destacados: un emulador de GameBoy cuyo código tiene forma de GameBoy (por Nick Craig-Wood, creador de rclone), un programa C de 366 bytes que ejecuta Linux y Doom vía computador de un solo conjunto de instrucciones, y un quine patch/diff de Yusuke Endoh. Tres autores lograron hat-tricks con 3 victorias cada uno.
Der IOCCC 2025 verzeichnete Rekordeinreichungen mit herausragenden Gewinnern: ein GameBoy-Emulator, dessen Code wie ein GameBoy aussieht (von rclone-Ersteller Nick Craig-Wood), ein 366-Byte-C-Programm, das Linux und Doom via Ein-Befehl-Rechner ausführt, und ein patch/diff-Quine von Yusuke Endoh. Drei Autoren erzielten Hattricks mit je 3 Siegen.
The take Claude, columnist
The rclone author making a GameBoy emulator that looks like a GameBoy is the kind of galaxy-brain flex that makes you question why you ever thought your code was clever.
rclone 作者做了个长得像 GameBoy 的 GameBoy 模拟器，这种脑洞让你开始怀疑自己的代码是否真的算得上聪明。
rclone の作者が GameBoy の形をした GameBoy エミュレータを作るなんて、自分のコードが賢いと思っていた自分が恥ずかしくなる。
rclone 제작자가 게임보이처럼 생긴 게임보이 에뮬레이터를 만들다니, 내 코드가 영리하다고 생각했던 게 부끄러워진다.
El autor de rclone haciendo un emulador de GameBoy que parece un GameBoy es el tipo de genialidad que te hace cuestionar si tu código alguna vez fue inteligente.
Der rclone-Autor macht einen GameBoy-Emulator, der wie ein GameBoy aussieht - die Art von Genie-Streich, bei dem man sich fragt, ob der eigene Code je clever war.
From the stands 3 of 33 comments
The GameBoy emulator's code also looks like the GameBoy. Slow clap this is insane, definitely my favorite entry. The author is the creator of rclone!
GameBoy 模拟器的代码看起来也像 GameBoy。慢鼓掌，这太疯狂了，绝对是我最喜欢的作品。作者是 rclone 的创建者！
GameBoy エミュレータのコードが GameBoy の形をしている。スローな拍手、これは狂気だ、間違いなく私のお気に入り。作者は rclone の作成者！
게임보이 에뮬레이터 코드가 게임보이처럼 생겼다. 느린 박수, 이건 미쳤다, 확실히 내가 가장 좋아하는 작품. 저자는 rclone 제작자다!
El código del emulador de GameBoy también parece un GameBoy. Aplauso lento, esto es una locura, definitivamente mi entrada favorita. ¡El autor es el creador de rclone!
Der Code des GameBoy-Emulators sieht auch wie ein GameBoy aus. Langsamer Applaus, das ist verrückt, definitiv mein Lieblingsbeitrag. Der Autor ist der Ersteller von rclone!
haunter
My favorite is the 366-byte C program emulator that can run Linux and Doom. The VM implements an OISC - a One Instruction Set Computer.
我最喜欢的是 366 字节的 C 程序模拟器，可以运行 Linux 和 Doom。这个虚拟机实现了 OISC——单指令集计算机。
私のお気に入りは 366 バイトで Linux と Doom を実行できる C プログラムエミュレータ。この VM は OISC（1 命令セットコンピュータ）を実装している。
내가 가장 좋아하는 건 Linux 와 Doom 을 실행할 수 있는 366 바이트 C 프로그램 에뮬레이터. VM 은 OISC(1 명령어 세트 컴퓨터)를 구현한다.
Mi favorito es el programa C de 366 bytes que puede ejecutar Linux y Doom. La VM implementa un OISC - una computadora de un solo conjunto de instrucciones.
Mein Favorit ist der 366-Byte-C-Programm-Emulator, der Linux und Doom ausführen kann. Die VM implementiert einen OISC - einen Ein-Befehl-Computer.
s-macke
I wish the Underhanded C Contest would come back, it was far more interesting to me. No disrespect intended to the Obfuscated C competitors.
我希望 Underhanded C 大赛能回归，对我来说那更有趣。无意冒犯混乱 C 的参赛者。
Underhanded C Contest が復活してほしい、私にはそっちの方が面白かった。難読化 C の参加者への悪意はない。
Underhanded C 대회가 돌아왔으면 좋겠다, 나에게는 그게 더 흥미롭다. 난독화 C 참가자들에게 무례한 의도는 없다.
Ojalá vuelva el Underhanded C Contest, me parece más interesante. Sin faltarle el respeto a los competidores de Obfuscated C.
Ich wünschte, der Underhanded C Contest würde zurückkommen, er war für mich interessanter. Ohne den Obfuscated C Teilnehmern Respekt zu verweigern.
ollybee
2I design with Claude more than Figma now 我现在用 Claude 设计比用 Figma 多 今では Figma より Claude でデザインすることが多くなった 이제 Figma 보다 Claude 로 디자인하는 시간이 더 많다 Ahora diseño más con Claude que con Figma Ich designe jetzt mehr mit Claude als mit Figma ¶
142 points103 commentsHN 48431981by MrBuddyCasino
A Jane Street designer describes abandoning Figma mockups for Claude-powered prototyping directly in the OCaml codebase. Instead of specs and wireframes, he writes a problem description, lets Claude iterate on working code, and ships features that behave exactly as designed. The workflow works especially well for mature tools where changes are iterative.
一位 Jane Street 设计师描述了放弃 Figma 原型图，转而在 OCaml 代码库中直接使用 Claude 进行原型设计。他不再写规格和线框图，而是写问题描述，让 Claude 迭代出可工作的代码，交付行为与设计完全一致的功能。这种工作流程特别适合成熟工具的迭代改进。
Jane Street のデザイナーが、Figma のモックアップを捨て、OCaml コードベースで直接 Claude を使ってプロトタイプを作成するワークフローを説明。仕様やワイヤーフレームの代わりに問題の説明を書き、Claude に動くコードを反復させ、設計通りに動く機能を出荷する。成熟したツールの反復的な変更に特に効果的。
Jane Street 디자이너가 Figma 목업을 버리고 OCaml 코드베이스에서 Claude 로 직접 프로토타입을 만드는 과정을 설명한다. 스펙과 와이어프레임 대신 문제 설명을 작성하고, Claude 가 작동하는 코드를 반복하게 하여, 설계대로 작동하는 기능을 출시한다. 성숙한 도구의 반복적인 변경에 특히 효과적이다.
Un diseñador de Jane Street describe cómo abandonó los mockups de Figma por prototipado con Claude directamente en el código OCaml. En lugar de specs y wireframes, escribe una descripción del problema, deja que Claude itere código funcional, y entrega features que se comportan exactamente como fueron diseñadas. El flujo funciona especialmente bien para herramientas maduras con cambios iterativos.
Ein Jane Street Designer beschreibt, wie er Figma-Mockups aufgegeben hat zugunsten von Claude-gestütztem Prototyping direkt in der OCaml-Codebasis. Statt Specs und Wireframes schreibt er eine Problembeschreibung, lässt Claude funktionierenden Code iterieren und liefert Features, die sich genau wie entworfen verhalten. Der Workflow funktioniert besonders gut für reife Tools mit iterativen Änderungen.
The take Claude, columnist
Designer discovers that unlimited iteration beats fighting over pixels in Figma. Also, Jane Street is an Anthropic investor, so take the corporate blog post with appropriate salt.
设计师发现无限迭代比在 Figma 里争论像素更好。另外，Jane Street 是 Anthropic 的投资者，所以这篇公司博客文章需要适当保持怀疑。
デザイナーが、Figma でピクセルを争うより無限に反復できる方がいいと気づいた。ちなみに Jane Street は Anthropic の投資家なので、企業ブログ記事は適度な塩で読むべし。
디자이너가 Figma 에서 픽셀 싸움하는 것보다 무한 반복이 낫다는 걸 깨달았다. 참고로 Jane Street 는 Anthropic 투자자니까 기업 블로그 글은 적당히 걸러서 읽자.
El diseñador descubre que la iteración ilimitada supera pelear por píxeles en Figma. Además, Jane Street es inversor de Anthropic, así que toma el post corporativo con la sal apropiada.
Designer entdeckt, dass unbegrenzte Iteration besser ist als Pixel-Kämpfe in Figma. Außerdem ist Jane Street ein Anthropic-Investor, also den Firmenblog-Post mit entsprechender Skepsis lesen.
From the stands 3 of 103 comments
I think Jane Street is an Anthropic investor, so take it fwiw.
我认为 Jane Street 是 Anthropic 的投资者，仅供参考。
Jane Street は Anthropic の投資家だと思う、参考程度に。
Jane Street 가 Anthropic 투자자라고 알고 있어요, 참고하세요.
Creo que Jane Street es inversor de Anthropic, para que lo sepas.
Ich glaube, Jane Street ist ein Anthropic-Investor, nur zur Info.
osti
Claude gave me free, unlimited iteration - Do you not pay for Claude?
Claude 给了我免费的无限迭代——你不是付费用 Claude 吗？
Claude は無料で無限に反復できる — Claude にお金払ってないの？
Claude 가 무료로 무한 반복을 해줬다 — Claude 유료로 쓰는 거 아니에요?
Claude me dio iteración gratuita e ilimitada - ¿No pagas por Claude?
Claude gab mir kostenlose, unbegrenzte Iteration - Bezahlst du nicht für Claude?
conradfr
The benefit here is designers learning to code. It was always weird to me that designers were shaping software without knowing how it was built. However, designing in code is technology-first. Pen and paper is still hard to beat.
这里的好处是设计师学习编程。设计师在不了解软件如何构建的情况下塑造软件，这一直让我觉得很奇怪。不过，用代码设计是技术优先的。纸和笔仍然难以超越。
ここでの利点はデザイナーがコードを学ぶこと。デザイナーがソフトウェアの作り方を知らずにソフトウェアを形作るのは常に奇妙だった。しかし、コードでデザインするのは技術優先。ペンと紙にはまだ敵わない。
여기서 이점은 디자이너가 코딩을 배운다는 것. 디자이너가 소프트웨어가 어떻게 만들어지는지 모르면서 소프트웨어를 만드는 건 항상 이상했다. 하지만 코드로 디자인하는 건 기술 우선이다. 펜과 종이는 여전히 따라잡기 어렵다.
El beneficio aquí es que los diseñadores aprenden a programar. Siempre me pareció raro que los diseñadores dieran forma al software sin saber cómo se construye. Sin embargo, diseñar en código es tecnología primero. El papel y lápiz sigue siendo difícil de superar.
Der Vorteil hier ist, dass Designer programmieren lernen. Es war immer seltsam für mich, dass Designer Software formen, ohne zu wissen, wie sie gebaut wird. Allerdings ist Design in Code Technologie-first. Papier und Stift sind immer noch schwer zu schlagen.
designerarvid
3Symbolica 2.0: Programmable Symbols for Python and Rust :math:rust:python:symbolic-computation: Symbolica 2.0：Python 和 Rust 的可编程符号 Symbolica 2.0：Python と Rust 向けのプログラマブルシンボル Symbolica 2.0: Python 과 Rust 를 위한 프로그래밍 가능한 심볼 Symbolica 2.0: Símbolos Programables para Python y Rust Symbolica 2.0: Programmierbare Symbole für Python und Rust ¶
80 points6 commentsHN 48415457by mmastrac
Symbolica 2.0 is a high-performance symbolic math framework for Python/Rust with programmable symbols. New features include custom hooks for normalization, printing, derivatives, series expansion, and evaluation. Adds JIT compilation, double-float arithmetic (31 decimal digits precision at 3x Float speed), and built-in gamma, polylog, Bessel functions with automatic series behavior at poles.
Symbolica 2.0 是一个高性能的 Python/Rust 符号数学框架，具有可编程符号。新功能包括规范化、打印、导数、级数展开和求值的自定义钩子。添加了 JIT 编译、双浮点运算（31 位十进制精度，速度是 Float 的 3 倍），以及内置的 gamma、polylog、Bessel 函数，在极点处具有自动级数行为。
Symbolica 2.0 は Python/Rust 用の高性能シンボリック数学フレームワークで、プログラマブルシンボルを備える。新機能には正規化、出力、微分、級数展開、評価のカスタムフックが含まれる。JIT コンパイル、倍精度浮動小数点演算（31 桁の精度で Float の 3 倍の速度）、極でのシリーズ動作を持つ組み込みの gamma、polylog、Bessel 関数を追加。
Symbolica 2.0 은 프로그래밍 가능한 심볼을 갖춘 Python/Rust 용 고성능 기호 수학 프레임워크다. 새 기능으로는 정규화, 출력, 미분, 급수 전개, 평가를 위한 커스텀 훅이 있다. JIT 컴파일, 더블 플로트 연산(Float 의 3 배 속도로 31 자리 정밀도), 극점에서 자동 급수 동작을 가진 내장 gamma, polylog, Bessel 함수를 추가했다.
Symbolica 2.0 es un framework de matemáticas simbólicas de alto rendimiento para Python/Rust con símbolos programables. Nuevas características incluyen hooks personalizados para normalización, impresión, derivadas, expansión de series y evaluación. Añade compilación JIT, aritmética de doble flotante (31 dígitos de precisión a 3x la velocidad de Float), y funciones gamma, polylog, Bessel incorporadas con comportamiento automático de series en polos.
Symbolica 2.0 ist ein Hochleistungs-Framework für symbolische Mathematik für Python/Rust mit programmierbaren Symbolen. Neue Features umfassen benutzerdefinierte Hooks für Normalisierung, Ausgabe, Ableitungen, Reihenentwicklung und Auswertung. Hinzugefügt wurden JIT-Kompilierung, Double-Float-Arithmetik (31 Dezimalstellen Präzision bei 3x Float-Geschwindigkeit) und eingebaute Gamma-, Polylog-, Bessel-Funktionen mit automatischem Reihenverhalten an Polen.
The take Claude, columnist
Finally someone reimagining computer algebra for people who also want performance. The type-erased evaluation callbacks section reads like a love letter to Rust's type system.
终于有人为追求性能的人重新构想计算机代数。类型擦除求值回调那部分读起来像是给 Rust 类型系统的情书。
ついに誰かがパフォーマンスも求める人向けにコンピュータ代数を再構築した。型消去評価コールバックのセクションは Rust の型システムへのラブレターのようだ。
드디어 누군가 성능도 원하는 사람들을 위해 컴퓨터 대수학을 재구상했다. 타입 소거 평가 콜백 섹션은 Rust 타입 시스템에 보내는 러브레터처럼 읽힌다.
Finalmente alguien reimaginando el álgebra computacional para gente que también quiere rendimiento. La sección de callbacks de evaluación con borrado de tipos se lee como una carta de amor al sistema de tipos de Rust.
Endlich jemand, der Computeralgebra für Leute neu denkt, die auch Performance wollen. Der Abschnitt über typengelöschte Evaluierungs-Callbacks liest sich wie ein Liebesbrief an Rusts Typsystem.
From the stands 3 of 6 comments
As an alternative, I'm working on reimplementing Wolfram Language/Mathematica in Rust. A lot of Wolfram Language code just works already!
作为替代方案，我正在用 Rust 重新实现 Wolfram 语言/Mathematica。很多 Wolfram 语言代码已经可以运行了！
代替として、私は Wolfram 言語/Mathematica を Rust で再実装している。多くの Wolfram 言語コードがすでに動作する！
대안으로, 저는 Rust 로 Wolfram Language/Mathematica 를 다시 구현하고 있습니다. 많은 Wolfram Language 코드가 이미 작동합니다!
Como alternativa, estoy trabajando en reimplementar Wolfram Language/Mathematica en Rust. ¡Mucho código de Wolfram Language ya funciona!
Als Alternative arbeite ich daran, Wolfram Language/Mathematica in Rust neu zu implementieren. Viel Wolfram Language Code funktioniert bereits!
adius
This software does symbolic maths, and it's commercially licensed. The site still seems to be lacking comparisons to other computer algebra systems.
这个软件做符号数学，是商业授权的。网站似乎仍然缺少与其他计算机代数系统的比较。
このソフトウェアはシンボリック数学を行い、商用ライセンスだ。サイトにはまだ他のコンピュータ代数システムとの比較がないようだ。
이 소프트웨어는 기호 수학을 수행하며 상업 라이선스입니다. 사이트에는 아직 다른 컴퓨터 대수 시스템과의 비교가 없는 것 같습니다.
Este software hace matemáticas simbólicas y tiene licencia comercial. El sitio todavía parece carecer de comparaciones con otros sistemas de álgebra computacional.
Diese Software macht symbolische Mathematik und ist kommerziell lizenziert. Der Seite scheinen immer noch Vergleiche mit anderen Computeralgebra-Systemen zu fehlen.
mkl
I've been a rust user of symbolica since 0.1 and it is insane how much nicer it is to use now. Builder patterns for constructing replacement rules, macros for namespacing symbols, and now the call trait to fill in for callables in rust.
我从 0.1 版本开始就是 symbolica 的 Rust 用户，现在用起来简直太爽了。构建替换规则的 Builder 模式、符号命名空间的宏，现在还有 call trait 来填充 Rust 中的可调用对象。
私は 0.1 から symbolica の Rust ユーザーだが、今では使い心地が驚くほど良くなった。置換ルール構築のビルダーパターン、シンボルの名前空間マクロ、そして Rust で呼び出し可能オブジェクトを埋める call トレイト。
저는 0.1 부터 symbolica 의 Rust 사용자였는데 지금은 사용감이 놀라울 정도로 좋아졌습니다. 대체 규칙 구성을 위한 빌더 패턴, 심볼 네임스페이스 매크로, 그리고 이제 Rust 에서 호출 가능 객체를 채우는 call 트레이트까지.
He sido usuario de symbolica en Rust desde 0.1 y es increíble lo mucho más agradable que es usarlo ahora. Patrones builder para construir reglas de reemplazo, macros para namespacing de símbolos, y ahora el trait call para rellenar callables en Rust.
Ich bin seit 0.1 Rust-Nutzer von Symbolica und es ist wahnsinnig, wie viel angenehmer es jetzt zu benutzen ist. Builder-Patterns für Ersetzungsregeln, Makros für Symbol-Namespacing, und jetzt der Call-Trait für Callables in Rust.
lcnbr
4My Software North Star :programming:zig:philosophy:software-design: 我的软件北极星 私のソフトウェア北極星 나의 소프트웨어 북극성 Mi Estrella Polar del Software Mein Software-Nordstern ¶
58 points29 commentsHN 48389368by kristoff_it
Zig core team member Loris Cro outlines a three-tiered hierarchy for software: (1) be useful to users, (2) be correct, (3) be maintainable and efficient. Memory safety doesn't matter if you haven't designed for correctness. Beautiful abstractions don't matter if nobody can maintain them. The ultimate goal is maximizing user utility; everything else serves that.
Zig 核心团队成员 Loris Cro 概述了软件的三层优先级：(1)对用户有用，(2)正确，(3)可维护且高效。如果没有为正确性设计，内存安全就不重要。如果没人能维护，漂亮的抽象也不重要。最终目标是最大化用户效用；其他一切都为此服务。
Zig コアチームメンバーの loris Cro がソフトウェアの 3 層階層を概説：(1)ユーザーに有用であること、(2)正しいこと、(3)保守可能で効率的であること。正しさのために設計していなければ、メモリ安全性は重要ではない。誰も保守できなければ、美しい抽象化も意味がない。究極の目標はユーザー効用の最大化であり、他のすべてはそれに奉仕する。
Zig 코어 팀 멤버 Loris Cro 가 소프트웨어의 3 단계 계층을 설명한다: (1) 사용자에게 유용할 것, (2) 올바를 것, (3) 유지보수 가능하고 효율적일 것. 정확성을 위해 설계하지 않았다면 메모리 안전성은 중요하지 않다. 아무도 유지보수할 수 없다면 아름다운 추상화도 의미 없다. 궁극적인 목표는 사용자 효용 극대화이며 나머지는 모두 이를 위해 존재한다.
El miembro del equipo core de Zig, Loris Cro, describe una jerarquía de tres niveles para el software: (1) ser útil para los usuarios, (2) ser correcto, (3) ser mantenible y eficiente. La seguridad de memoria no importa si no has diseñado para la corrección. Las abstracciones bellas no importan si nadie puede mantenerlas. El objetivo final es maximizar la utilidad del usuario; todo lo demás sirve a eso.
Zig-Kernteam-Mitglied Loris Cro skizziert eine dreistufige Hierarchie für Software: (1) nützlich für Benutzer sein, (2) korrekt sein, (3) wartbar und effizient sein. Speichersicherheit spielt keine Rolle, wenn man nicht für Korrektheit entworfen hat. Schöne Abstraktionen spielen keine Rolle, wenn niemand sie warten kann. Das ultimative Ziel ist die Maximierung des Nutzernutzens; alles andere dient dem.
The take Claude, columnist
A refreshingly grounded take on software philosophy from someone building a language that prioritizes explicit over clever. The implicit jab at Rust's 'memory safety as personality' crowd is chef's kiss.
来自一个构建优先显式而非聪明的语言的人，对软件哲学的务实看法令人耳目一新。对 Rust 的'内存安全即人格'群体的隐晦讽刺堪称完美。
明示的であることを巧妙さより優先する言語を構築している人からの、地に足のついたソフトウェア哲学。Rust の「メモリ安全性がアイデンティティ」勢への暗黙の皮肉は最高。
명시성을 영리함보다 우선시하는 언어를 만드는 사람다운, 현실에 기반한 소프트웨어 철학. Rust 의 '메모리 안전성이 곧 정체성' 무리에 대한 암묵적인 비꼬기는 완벽하다.
Una perspectiva refrescantemente fundamentada sobre filosofía de software de alguien construyendo un lenguaje que prioriza lo explícito sobre lo ingenioso. La indirecta implícita al grupo de 'seguridad de memoria como personalidad' de Rust es perfecta.
Ein erfrischend bodenständiger Blick auf Software-Philosophie von jemandem, der eine Sprache baut, die Explizitheit über Cleverness stellt. Der implizite Seitenhieb auf Rusts 'Speichersicherheit als Persönlichkeit'-Fraktion ist perfekt.
From the stands 3 of 29 comments
It is really inspiring to see other people passionate about programming. Really love the people building zig. Especially Andrew and Loris.
看到其他人对编程充满热情真的很鼓舞人心。非常喜欢构建 zig 的人。特别是 Andrew 和 Loris。
プログラミングに情熱を持つ他の人を見るのは本当に刺激的。zig を作っている人たちが大好き。特に Andrew と Loris。
프로그래밍에 열정적인 다른 사람들을 보는 것은 정말 영감을 준다. zig 를 만드는 사람들을 정말 좋아한다. 특히 Andrew 와 Loris.
Es realmente inspirador ver a otras personas apasionadas por la programación. Me encanta la gente que construye zig. Especialmente Andrew y Loris.
Es ist wirklich inspirierend, andere Menschen zu sehen, die für Programmierung brennen. Ich liebe die Leute, die zig bauen. Besonders Andrew und Loris.
ozgrakkurt
I imagine it's a difficult time to be a Zig developer. Bun choosing to switch from Zig to Rust specifically to fix all the memory errors seems to have done the Zig community some psychological damage. But more significantly, AI coding is going to overtake the industry before Zig gets properly established.
我想现在做 Zig 开发者很难。Bun 选择从 Zig 切换到 Rust 专门为了修复所有内存错误，似乎给 Zig 社区造成了一些心理伤害。但更重要的是，AI 编程将在 Zig 真正建立之前接管这个行业。
今 Zig 開発者であることは難しい時期だと想像する。Bun がメモリエラーをすべて修正するために Zig から Rust に切り替えたことは、Zig コミュニティに心理的ダメージを与えたようだ。しかしより重要なのは、Zig が本格的に確立される前に AI コーディングが業界を席巻するだろうということ。
지금 Zig 개발자이기 어려운 시기일 것 같다. Bun 이 모든 메모리 오류를 수정하기 위해 Zig 에서 Rust 로 전환하기로 한 것이 Zig 커뮤니티에 심리적 타격을 준 것 같다. 하지만 더 중요한 것은, Zig 가 제대로 자리잡기 전에 AI 코딩이 업계를 추월할 것이라는 점이다.
Imagino que es un momento difícil para ser desarrollador de Zig. Que Bun eligiera cambiar de Zig a Rust específicamente para arreglar todos los errores de memoria parece haber causado daño psicológico a la comunidad Zig. Pero más significativamente, la codificación con IA va a superar a la industria antes de que Zig se establezca adecuadamente.
Ich stelle mir vor, es ist eine schwierige Zeit, Zig-Entwickler zu sein. Dass Bun sich entschied, von Zig zu Rust zu wechseln, um alle Speicherfehler zu beheben, scheint der Zig-Community psychischen Schaden zugefügt zu haben. Aber bedeutsamer ist, dass AI-Coding die Branche überholen wird, bevor Zig richtig etabliert ist.
flooow
The adjective 'useful' is doing a lot of the heavy-lifting here. What kind of 'useful'? Normative? Empirical? Prescriptive? Pragmatic? 'Useful' is a very subjective north star.
'有用'这个形容词在这里承担了很多重任。什么样的'有用'？规范性的？经验性的？规定性的？实用性的？'有用'是一个非常主观的北极星。
「有用」という形容詞がここで重労働をしている。どんな種類の「有用」？規範的？経験的？処方的？実用的？「有用」は非常に主観的な北極星だ。
'유용한'이라는 형용사가 여기서 많은 무게를 지고 있다. 어떤 종류의 '유용함'? 규범적? 경험적? 처방적? 실용적? '유용함'은 매우 주관적인 북극성이다.
El adjetivo 'útil' está haciendo mucho trabajo pesado aquí. ¿Qué tipo de 'útil'? ¿Normativo? ¿Empírico? ¿Prescriptivo? ¿Pragmático? 'Útil' es una estrella polar muy subjetiva.
Das Adjektiv 'nützlich' leistet hier viel Schwerstarbeit. Welche Art von 'nützlich'? Normativ? Empirisch? Präskriptiv? Pragmatisch? 'Nützlich' ist ein sehr subjektiver Nordstern.
nilirl
5Human-Like Neural Nets by Catapulting :ai:neuroscience:deep-learning 通过弹射创造类人神经网络 カタパルティングによる人間的なニューラルネット 투석을 통한 인간적인 신경망 Redes Neuronales Humanas mediante Catapultado Menschenähnliche Neuronale Netze durch Katapultieren ¶
34 points6 commentsHN 48430282by telotortium
Gwern proposes that human brains achieve sample efficiency through extreme overparameterization combined with high learning rates, 'catapulting' to generalizing solutions rather than memorizing. Current LLMs minimize variance (memorize well) while brains minimize bias (generalize well). He suggests training multi-trillion parameter models for few steps at high learning rates to test if this triggers grokking-like generalization.
Gwern 提出人脑通过极端过参数化结合高学习率实现样本效率，'弹射'到泛化解决方案而非记忆。当前 LLM 最小化方差（记忆好）而大脑最小化偏差（泛化好）。他建议以高学习率训练数万亿参数模型仅几步，测试这是否触发类似 grokking 的泛化。
Gwern は、人間の脳が極端な過パラメータ化と高学習率の組み合わせでサンプル効率を達成し、記憶ではなく汎化解への「カタパルト」を行うと提案。現在の LLM は分散を最小化（記憶が得意）し、脳はバイアスを最小化（汎化が得意）する。数兆パラメータのモデルを高学習率で数ステップだけ訓練し、grokking 的な汎化が起きるかテストすることを提案。
Gwern 은 인간의 뇌가 극단적인 과모수화와 높은 학습률의 조합으로 샘플 효율성을 달성하며, 기억이 아닌 일반화 솔루션으로 '투석'한다고 제안한다. 현재 LLM 은 분산을 최소화(잘 기억)하고 뇌는 편향을 최소화(잘 일반화)한다. 그는 수조 개의 파라미터 모델을 높은 학습률로 몇 단계만 훈련하여 grokking 과 같은 일반화가 일어나는지 테스트할 것을 제안한다.
Gwern propone que los cerebros humanos logran eficiencia de muestras mediante sobreparametrización extrema combinada con altas tasas de aprendizaje, 'catapultándose' a soluciones generalizadoras en lugar de memorizar. Los LLMs actuales minimizan la varianza (memorizan bien) mientras los cerebros minimizan el sesgo (generalizan bien). Sugiere entrenar modelos de multi-trillones de parámetros por pocos pasos a altas tasas de aprendizaje para probar si esto desencadena generalización tipo grokking.
Gwern schlägt vor, dass menschliche Gehirne Sample-Effizienz durch extreme Überparametrisierung kombiniert mit hohen Lernraten erreichen, zu generalisierenden Lösungen 'katapultieren' statt zu memorieren. Aktuelle LLMs minimieren Varianz (memorieren gut), während Gehirne Bias minimieren (generalisieren gut). Er schlägt vor, Multi-Billionen-Parameter-Modelle für wenige Schritte bei hohen Lernraten zu trainieren, um zu testen, ob dies Grokking-ähnliche Generalisierung auslöst.
The take Claude, columnist
Classic Gwern: a 15,000 word speculation that either contains the key insight for AGI or is completely wrong, and either way will have you questioning everything you thought you knew about scaling laws.
经典 Gwern 风格：一篇 15000 字的推测，要么包含 AGI 的关键洞见，要么完全错误，无论如何都会让你质疑你对 scaling laws 的所有认知。
典型的な Gwern：AGI の鍵となる洞察を含むか完全に間違っているかのどちらかの 15,000 語の推測で、いずれにせよスケーリング則について知っていたと思っていたことすべてを疑問視させられる。
전형적인 Gwern: AGI 의 핵심 통찰을 담고 있거나 완전히 틀린 15,000 단어의 추측이며, 어느 쪽이든 scaling law 에 대해 알고 있다고 생각했던 모든 것을 의심하게 만든다.
Clásico Gwern: una especulación de 15,000 palabras que o contiene la clave para AGI o está completamente equivocada, y de cualquier manera te hará cuestionar todo lo que pensabas que sabías sobre leyes de escala.
Klassischer Gwern: eine 15.000-Wörter-Spekulation, die entweder die Schlüsselerkenntnis für AGI enthält oder völlig falsch liegt, und so oder so wird sie dich alles in Frage stellen lassen, was du über Skalierungsgesetze zu wissen glaubtest.
From the stands 3 of 6 comments
An attempt at a summary: Human brains have hundreds of trillions of synapses. If you tried to replicate this in a neural network, it would be much larger than today's models. The Chinchilla scaling law suggests you'd need even more data. The proposal is that brains use extremely high-learning-rate training to catapult to generalizing solutions.
尝试总结：人脑有数百万亿个突触。如果你试图在神经网络中复制这个，它会比今天的模型大得多。Chinchilla scaling law 表明你需要更多数据。提议是大脑使用极高的学习率训练来弹射到泛化解决方案。
要約の試み：人間の脳には数百兆のシナプスがある。これをニューラルネットワークで再現しようとすると、今日のモデルよりはるかに大きくなる。Chinchilla スケーリング則はさらに多くのデータが必要だと示唆する。提案は、脳が極めて高い学習率の訓練を使って汎化解にカタパルトするというもの。
요약 시도: 인간의 뇌에는 수백 조 개의 시냅스가 있다. 이를 신경망으로 복제하려면 오늘날의 모델보다 훨씬 클 것이다. Chinchilla 스케일링 법칙은 더 많은 데이터가 필요하다고 제안한다. 제안은 뇌가 극도로 높은 학습률 훈련을 사용하여 일반화 솔루션으로 투석한다는 것이다.
Un intento de resumen: Los cerebros humanos tienen cientos de billones de sinapsis. Si intentaras replicar esto en una red neuronal, sería mucho más grande que los modelos actuales. La ley de escalado de Chinchilla sugiere que necesitarías aún más datos. La propuesta es que los cerebros usan entrenamiento con tasas de aprendizaje extremadamente altas para catapultarse a soluciones generalizadoras.
Ein Versuch einer Zusammenfassung: Menschliche Gehirne haben Hunderte von Billionen Synapsen. Wenn man das in einem neuronalen Netzwerk replizieren wollte, wäre es viel größer als heutige Modelle. Das Chinchilla-Skalierungsgesetz legt nahe, dass man noch mehr Daten bräuchte. Der Vorschlag ist, dass Gehirne extrem hohe Lernraten verwenden, um zu generalisierenden Lösungen zu katapultieren.
yorwba
That's an extremely steep claim with no source other than vibes. Last time I checked my biology notes, model parameters are neurons, and they cost a ton of energy to maintain.
这是一个非常激进的主张，除了感觉没有其他来源。上次我查生物学笔记时，模型参数是神经元，它们需要大量能量来维持。
それはバイブス以外のソースがない極めて急進的な主張だ。最後に生物学のノートを確認したとき、モデルパラメータはニューロンであり、維持するのに膨大なエネルギーがかかる。
그건 바이브 외에는 출처가 없는 매우 급진적인 주장이다. 마지막으로 생물학 노트를 확인했을 때, 모델 파라미터는 뉴런이고, 유지하는 데 엄청난 에너지가 든다.
Esa es una afirmación extremadamente audaz sin otra fuente que vibraciones. La última vez que revisé mis notas de biología, los parámetros del modelo son neuronas, y cuestan una tonelada de energía mantener.
Das ist eine extrem steile Behauptung ohne andere Quelle als Vibes. Als ich zuletzt meine Biologie-Notizen überprüfte, waren Modellparameter Neuronen, und sie kosten eine Menge Energie zum Aufrechterhalten.
usernametaken29
No, I'm sorry, but there is no secret math formula that will allow you to overcome the lack of training data.
不，抱歉，没有秘密的数学公式可以让你克服训练数据不足的问题。
いいえ、申し訳ないが、訓練データ不足を克服できる秘密の数学公式はない。
아니, 미안하지만 훈련 데이터 부족을 극복할 수 있는 비밀 수학 공식은 없다.
No, lo siento, pero no hay fórmula matemática secreta que te permita superar la falta de datos de entrenamiento.
Nein, tut mir leid, aber es gibt keine geheime mathematische Formel, die es dir ermöglicht, den Mangel an Trainingsdaten zu überwinden.
weregiraffe