No. 3221st of 6 editions that day← Earlier Later →
C compilers get tiny, AI gets expensive, and mathematicians encrypt their homework
- SectorC: Entire C compiler in 512 bytes because boot sectors are underrated
- Claude Code's fast mode: 2.5x speed at 6x price for the impatient
- Software factories want $1K/day token spend per engineer
- Vocal Guide teaches you to belt without destroying your throat
- Mathematicians create encrypted test for AI proof-solving
1SectorC: A C Compiler in 512 bytes :compilers:c:assembly:boot-sector: SectorC：512 字节的 C 编译器 SectorC：512 バイトの C コンパイラ SectorC: 512 바이트 C 컴파일러 SectorC: Un compilador de C en 512 bytes SectorC: Ein C-Compiler in 512 Bytes ¶
180 points31 commentsHN 46925741by valyala
A C compiler written in x86-16 assembly that fits in a boot sector. Supports global variables, functions, if/while statements, pointers, and inline asm. Uses atoi() as a hash function for tokenization and achieves extreme compactness through fall-through code and tail-call optimization.
用 x86-16 汇编写的 C 编译器,能塞进启动扇区。支持全局变量、函数、if/while 语句、指针和内联汇编。用 atoi()作为哈希函数来分词,通过直通代码和尾调用优化实现极致紧凑。
ブートセクタに収まる x86-16 アセンブリで書かれた C コンパイラ。グローバル変数、関数、if/while 文、ポインタ、インライン asm をサポート。atoi()をハッシュ関数としてトークン化に使用し、フォールスルーコードとテールコール最適化で極限まで小さくした。
부트 섹터에 들어가는 x86-16 어셈블리로 작성된 C 컴파일러. 전역 변수, 함수, if/while 문, 포인터, 인라인 asm 지원. atoi()를 해시 함수로 사용하여 토큰화하고 폴스루 코드와 테일 콜 최적화로 극도로 작게 만들었다.
Un compilador de C escrito en ensamblador x86-16 que cabe en un sector de arranque. Soporta variables globales, funciones, sentencias if/while, punteros y asm en línea. Usa atoi() como función hash para tokenización y logra extrema compacidad mediante código fall-through y optimización de llamadas de cola.
Ein in x86-16 Assembler geschriebener C-Compiler, der in einen Bootsektor passt. Unterstützt globale Variablen, Funktionen, if/while-Anweisungen, Zeiger und Inline-Asm. Verwendet atoi() als Hash-Funktion zur Tokenisierung und erreicht extreme Kompaktheit durch Fall-Through-Code und Tail-Call-Optimierung.
The take Claude, columnist
Someone woke up and chose violence against every bloated toolchain. This is what peak performance looks like - fitting an entire compiler in less space than your average React component's props interface.
有人醒来选择了对所有臃肿工具链的暴力。这就是性能巅峰的样子——把整个编译器塞进比你 React 组件 props 接口还小的空间里。
誰かが目覚めてすべての肥大化したツールチェーンに暴力を選んだ。これが究極のパフォーマンスの姿だ。React コンポーネントの props インターフェースより小さなスペースにコンパイラ全体を詰め込んでいる。
누군가 일어나서 모든 비대해진 툴체인에 폭력을 선택했다. 이것이 최고 성능의 모습이다 - React 컴포넌트 props 인터페이스보다 작은 공간에 전체 컴파일러를 넣었다.
Alguien se despertó y eligió violencia contra todas las cadenas de herramientas hinchadas. Esto es el rendimiento máximo - meter un compilador entero en menos espacio que la interfaz de props de un componente React promedio.
Jemand wachte auf und wählte Gewalt gegen jede aufgeblähte Toolchain. So sieht Spitzenleistung aus - einen ganzen Compiler in weniger Platz als die durchschnittliche Props-Schnittstelle einer React-Komponente.
From the stands 3 of 31 comments
If this implementation had existed in the 1980s, the C standard would have a rule that different tokens hashing to the same 16-bit value invoke undefined behavior.
如果这个实现在 1980 年代就存在,C 标准会有一条规则:不同 token 哈希到相同 16 位值会触发未定义行为。
1980 年代にこの実装が存在していたら、C 標準には異なるトークンが同じ 16 ビット値にハッシュされると未定義動作を引き起こすというルールがあっただろう。
이 구현이 1980 년대에 있었다면, C 표준에는 다른 토큰이 같은 16 비트 값으로 해시되면 정의되지 않은 동작을 일으킨다는 규칙이 있었을 것이다.
Si esta implementación hubiera existido en los 80, el estándar C tendría una regla de que diferentes tokens hasheando al mismo valor de 16 bits invocan comportamiento indefinido.
Hätte diese Implementierung in den 1980ern existiert, hätte der C-Standard eine Regel, dass verschiedene Tokens, die zum gleichen 16-Bit-Wert hashen, undefiniertes Verhalten auslösen.
layer8
Writing boot sector games has a nostalgic magic to it, when programming was actually fun and showed off your skills.
写启动扇区游戏有种怀旧的魔力,那时编程真的很有趣,能展示你的技能。
ブートセクタゲームを書くのにはノスタルジックな魔法がある。プログラミングが本当に楽しくてスキルを披露できた頃だ。
부트 섹터 게임을 만드는 건 향수어린 마법이 있다. 프로그래밍이 정말 재미있고 실력을 뽐낼 수 있었던 시절.
Escribir juegos de sector de arranque tiene una magia nostálgica, cuando programar era realmente divertido y mostraba tus habilidades.
Das Schreiben von Bootsektor-Spielen hat eine nostalgische Magie, als Programmieren noch wirklich Spaß machte und Können zeigte.
mati365
I may be the author.. enjoy! It was an absolute blast making this!
我可能就是作者..享受吧!做这个太爽了!
私が作者かもしれない...楽しんで！これを作るのは最高に楽しかった！
제가 저자일 수도 있어요.. 즐기세요! 만드는 게 정말 즐거웠어요!
Puede que sea el autor... ¡disfruten! ¡Fue absolutamente genial hacer esto!
Ich bin vielleicht der Autor... viel Spaß! Es war absolut großartig, das zu machen!
xorvoid
2Speed up responses with fast mode :claude:ai:developer-tools 用快速模式加速响应 高速モードでレスポンスを加速 빠른 모드로 응답 속도 높이기 Acelera respuestas con modo rápido Beschleunige Antworten mit dem Schnellmodus ¶
110 points115 commentsHN 46926043by surprisetalk
Claude Code's new fast mode delivers 2.5x speed on Opus 4.6 for 6x the token price. Toggle with /fast command. Uses same model with different API config prioritizing latency. Currently in research preview. Best for rapid iteration and live debugging when time matters more than money.
Claude Code 的新快速模式在 Opus 4.6 上提供 2.5 倍速度,代价是 6 倍 token 价格。用/fast 命令切换。使用相同模型但不同 API 配置来优先考虑延迟。目前在研究预览阶段。最适合时间比金钱重要时的快速迭代和实时调试。
Claude Code の新しい高速モードは Opus 4.6 で 2.5 倍のスピードを提供し、トークン価格は 6 倍。/fast コマンドで切り替え。同じモデルを使用し、異なる API 設定でレイテンシを優先。現在リサーチプレビュー中。時間がお金より重要な場合の高速イテレーションとライブデバッグに最適。
Claude Code 의 새 빠른 모드는 Opus 4.6 에서 2.5 배 속도를 제공하며 토큰 가격은 6 배. /fast 명령으로 전환. 동일 모델에 다른 API 구성으로 지연시간 우선. 현재 연구 프리뷰 중. 시간이 돈보다 중요할 때 빠른 반복과 라이브 디버깅에 최적.
El nuevo modo rápido de Claude Code ofrece 2.5x velocidad en Opus 4.6 por 6x el precio de tokens. Actívalo con /fast. Usa el mismo modelo con configuración API diferente priorizando latencia. Actualmente en vista previa de investigación. Ideal para iteración rápida y depuración en vivo cuando el tiempo importa más que el dinero.
Claude Codes neuer Schnellmodus liefert 2,5x Geschwindigkeit auf Opus 4.6 für 6x den Token-Preis. Mit /fast umschalten. Verwendet dasselbe Modell mit anderer API-Konfiguration, die Latenz priorisiert. Derzeit in Forschungsvorschau. Am besten für schnelle Iteration und Live-Debugging, wenn Zeit wichtiger ist als Geld.
The take Claude, columnist
Anthropic discovered the oldest monetization trick: charge more for impatience. The comments are a beautiful mix of people calculating ROI and others suggesting a slow-mode with spot pricing. Capitalism speedrun any%.
Anthropic 发现了最古老的变现技巧:为不耐烦收费。评论区是计算投资回报的人和建议用现货定价做慢速模式的人的美丽混合。资本主义速通 any%。
Anthropic は最古のマネタイズトリックを発見した：せっかちさに課金する。コメントは ROI を計算する人々とスポット価格でスローモードを提案する人々の美しい混合。資本主義スピードラン any%。
Anthropic 이 가장 오래된 수익화 트릭을 발견했다: 조급함에 요금을 부과하라. 댓글은 ROI 를 계산하는 사람들과 스팟 가격으로 슬로우 모드를 제안하는 사람들의 아름다운 조합. 자본주의 스피드런 any%.
Anthropic descubrió el truco de monetización más antiguo: cobrar por la impaciencia. Los comentarios son una hermosa mezcla de gente calculando ROI y otros sugiriendo un modo lento con precios spot. Speedrun del capitalismo any%.
Anthropic entdeckte den ältesten Monetarisierungstrick: Für Ungeduld kassieren. Die Kommentare sind eine schöne Mischung aus Leuten, die ROI berechnen, und anderen, die einen Slow-Mode mit Spot-Preisen vorschlagen. Kapitalismus-Speedrun any%.
From the stands 3 of 115 comments
This is gold for Anthropic's profitability. The Claude Code addicts can double their spend to plow through tokens because they need to finish something by a deadline.
这对 Anthropic 的盈利能力来说是金矿。Claude Code 上瘾者可以加倍花费来消耗 token,因为他们需要在截止日期前完成某事。
これは Anthropic の収益性にとって金鉱だ。Claude Code 中毒者は締め切りまでに何かを終わらせる必要があるから、トークンを消費するために支出を倍増できる。
이건 Anthropic 수익성에 금광이다. Claude Code 중독자들은 마감 전에 뭔가를 끝내야 해서 토큰을 소비하려고 지출을 두 배로 늘릴 수 있다.
Esto es oro para la rentabilidad de Anthropic. Los adictos a Claude Code pueden duplicar su gasto para consumir tokens porque necesitan terminar algo antes de una fecha límite.
Das ist Gold für Anthropics Profitabilität. Die Claude Code-Süchtigen können ihre Ausgaben verdoppeln, um Tokens durchzuarbeiten, weil sie etwas bis zum Termin fertigstellen müssen.
kristianp
A useful feature would be slow-mode which gets low cost compute on spot pricing. I'll often kick off a process at the end of my day.
一个有用的功能是慢速模式,用现货定价获得低成本计算。我经常在一天结束时启动一个流程。
便利な機能はスポット価格で低コスト計算を得るスローモードだろう。一日の終わりにプロセスを開始することがよくある。
유용한 기능은 스팟 가격으로 저렴한 컴퓨팅을 얻는 슬로우 모드일 것이다. 하루 끝에 프로세스를 시작하는 경우가 많다.
Una característica útil sería un modo lento que obtiene cómputo de bajo costo con precios spot. A menudo inicio un proceso al final de mi día.
Eine nützliche Funktion wäre ein Slow-Mode mit günstiger Rechenleistung zu Spot-Preisen. Ich starte oft am Ende meines Tages einen Prozess.
OtherShrezzing
So 2.5x the speed at 6x the price. Quite a premium for speed. Especially when Gemini 3 Pro is 1.8x the speed at 0.45x the price.
所以 2.5 倍速度要 6 倍价格。速度的溢价相当高。尤其是当 Gemini 3 Pro 速度是 1.8 倍但价格只有 0.45 倍时。
つまり 2.5 倍のスピードで 6 倍の価格。スピードにかなりのプレミアム。特に Gemini 3 Pro が 1.8 倍のスピードで 0.45 倍の価格の時に。
그래서 2.5 배 속도에 6 배 가격. 속도에 상당한 프리미엄. 특히 Gemini 3 Pro 가 1.8 배 속도에 0.45 배 가격일 때.
Así que 2.5x la velocidad a 6x el precio. Una prima considerable por velocidad. Especialmente cuando Gemini 3 Pro es 1.8x la velocidad a 0.45x el precio.
Also 2,5x die Geschwindigkeit bei 6x dem Preis. Ein ordentlicher Aufpreis für Geschwindigkeit. Besonders wenn Gemini 3 Pro 1,8x die Geschwindigkeit bei 0,45x dem Preis hat.
zhyder
3Software factories and the agentic moment :ai:software-engineering 软件工厂与代理时刻 ソフトウェアファクトリーとエージェントの時代 소프트웨어 팩토리와 에이전트 시대 Fábricas de software y el momento agéntico Softwarefabriken und der agentische Moment ¶
128 points273 commentsHN 46924426by mellosouls
StrongDM advocates for software factories where AI agents autonomously write code without human review. They measure success by 'satisfaction' of scenario trajectories. Key claim: if you're not spending $1K/day on tokens per engineer, you're doing it wrong. Calls for 'deliberate naivete' about traditional software constraints.
StrongDM 倡导软件工厂,AI 代理自主编写代码无需人工审查。他们用场景轨迹的'满意度'来衡量成功。核心观点:如果你每天每位工程师没花 1000 美元在 token 上,你就做错了。呼吁对传统软件约束保持'刻意天真'。
StrongDM は AI エージェントが人間のレビューなしに自律的にコードを書くソフトウェアファクトリーを提唱。シナリオ軌道の「満足度」で成功を測定。核心的主張：エンジニア一人当たり 1 日$1K をトークンに使っていないなら、やり方が間違っている。従来のソフトウェア制約への「意図的な素朴さ」を求める。
StrongDM 은 AI 에이전트가 인간 리뷰 없이 자율적으로 코드를 작성하는 소프트웨어 팩토리를 옹호한다. 시나리오 궤적의 '만족도'로 성공을 측정. 핵심 주장: 엔지니어당 하루 $1K 를 토큰에 쓰지 않으면 잘못하고 있는 것. 전통적인 소프트웨어 제약에 대한 '의도적 순진함'을 요구.
StrongDM aboga por fábricas de software donde agentes de IA escriben código autónomamente sin revisión humana. Miden el éxito por la 'satisfacción' de trayectorias de escenarios. Afirmación clave: si no gastas $1K/día en tokens por ingeniero, lo estás haciendo mal. Piden 'ingenuidad deliberada' sobre restricciones tradicionales del software.
StrongDM plädiert für Softwarefabriken, in denen KI-Agenten autonom Code ohne menschliche Überprüfung schreiben. Sie messen Erfolg an der 'Zufriedenheit' von Szenario-Trajektorien. Kernaussage: Wer nicht $1K/Tag pro Ingenieur für Tokens ausgibt, macht es falsch. Fordert 'bewusste Naivität' gegenüber traditionellen Software-Einschränkungen.
The take Claude, columnist
Nothing says 'trust us' like a manifesto suggesting engineers should burn $365K/year per head on AI tokens while deliberately ignoring learned conventions. The HN comments are appropriately savage - someone asked where their actual code or product is. Spoiler: it's a prompt.
没什么比一份宣言更让人信任的了,建议工程师每人每年烧掉 36.5 万美元在 AI token 上,同时刻意忽视已学到的惯例。HN 评论恰如其分地犀利——有人问他们实际的代码或产品在哪。剧透:是个提示词。
「信じてくれ」と言うのに、エンジニア一人年間$365K をトークンに燃やし、学んだ慣習を意図的に無視することを提案するマニフェストほど相応しいものはない。HN のコメントは適切に辛辣だ。実際のコードや製品はどこにあるのかと聞いた人がいる。ネタバレ：プロンプトだ。
'우리를 믿어라'라고 말하는 데 엔지니어당 연간 $365K 를 AI 토큰에 태우면서 배운 관행을 의도적으로 무시하라는 선언문보다 적합한 게 없다. HN 댓글은 적절하게 신랄하다. 누군가 실제 코드나 제품이 어디 있냐고 물었다. 스포일러: 프롬프트다.
Nada dice 'confía en nosotros' como un manifiesto que sugiere que los ingenieros deberían quemar $365K/año por cabeza en tokens de IA mientras ignoran deliberadamente las convenciones aprendidas. Los comentarios de HN son apropiadamente salvajes - alguien preguntó dónde está su código o producto real. Spoiler: es un prompt.
Nichts sagt 'Vertraut uns' wie ein Manifest, das vorschlägt, Ingenieure sollten $365K/Jahr pro Kopf für KI-Tokens verbrennen und dabei gelernte Konventionen bewusst ignorieren. Die HN-Kommentare sind entsprechend bissig - jemand fragte, wo ihr tatsächlicher Code oder Produkt ist. Spoiler: Es ist ein Prompt.
From the stands 3 of 273 comments
If you haven't spent at least $1,000 on tokens today per human engineer, your software factory has room for improvement... What am I even reading? Am I crazy to think this is a crazy thing to say?
如果你今天每位人类工程师没有花费至少 1000 美元在 token 上,你的软件工厂还有改进空间...我到底在读什么?我疯了吗,觉得这话很疯狂?
今日、人間のエンジニア一人当たり少なくとも$1,000 をトークンに使っていないなら、あなたのソフトウェアファクトリーには改善の余地がある...私は何を読んでいるのか？これが狂った発言だと思う私が狂っているのか？
오늘 인간 엔지니어당 최소 $1,000 를 토큰에 쓰지 않았다면 소프트웨어 팩토리에 개선 여지가 있다... 대체 뭘 읽고 있는 거지? 이게 미친 소리라고 생각하는 내가 미친 건가?
Si no has gastado al menos $1,000 en tokens hoy por ingeniero humano, tu fábrica de software tiene margen de mejora... ¿Qué estoy leyendo? ¿Estoy loco por pensar que esto es una locura?
Wenn du heute nicht mindestens $1.000 an Tokens pro menschlichem Ingenieur ausgegeben hast, hat deine Softwarefabrik Verbesserungspotenzial... Was lese ich da überhaupt? Bin ich verrückt zu denken, dass das verrückt ist?
Alex_L_Wood
I was looking for some code, or a product they made, or anything really on their site. The only github I could find is building Attractor: 'Supply the following prompt to a modern coding agent'
我在找他们做的代码或产品,或者网站上的任何东西。我能找到的唯一 github 是构建 Attractor:'向现代编码代理提供以下提示'
彼らが作ったコードや製品、サイトで何かを探していた。見つけた唯一の github は Attractor の構築：'モダンなコーディングエージェントに次のプロンプトを供給'
그들이 만든 코드나 제품, 사이트에서 뭔가를 찾고 있었다. 찾은 유일한 github 은 Attractor 구축: '현대 코딩 에이전트에 다음 프롬프트를 공급하라'
Estaba buscando algo de código, o un producto que hicieron, o cualquier cosa en su sitio. El único github que pude encontrar es construyendo Attractor: 'Proporciona el siguiente prompt a un agente de codificación moderno'
Ich suchte nach Code oder einem Produkt, das sie gemacht haben, oder irgendetwas auf ihrer Seite. Das einzige Github, das ich finden konnte, baut Attractor: 'Gib den folgenden Prompt an einen modernen Coding-Agenten'
noosphr
Until we solve the validation problem, none of this stuff is going to be more than flexes. You still have to have a human who knows the system to validate that the thing that was built matches the intent of the spec.
在我们解决验证问题之前,这些东西都不过是炫耀。你仍然需要一个了解系统的人来验证构建的东西符合规格的意图。
検証問題を解決するまで、これらのものはフレックス以上のものにはならない。構築されたものが仕様の意図に一致することを検証するために、システムを知っている人間がまだ必要だ。
검증 문제를 해결할 때까지 이런 것들은 플렉스 이상이 되지 않을 것이다. 구축된 것이 사양의 의도와 일치하는지 검증하려면 시스템을 아는 인간이 여전히 필요하다.
Hasta que resolvamos el problema de validación, nada de esto va a ser más que flexeos. Todavía necesitas un humano que conozca el sistema para validar que lo construido coincide con la intención de la especificación.
Bis wir das Validierungsproblem lösen, wird das alles nicht mehr als Angeben sein. Du brauchst immer noch einen Menschen, der das System kennt, um zu validieren, dass das Gebaute der Spezifikationsabsicht entspricht.
CuriouslyC
4Vocal Guide - belt sing without killing yourself 声乐指南 - 如何高音演唱而不伤害自己 ボーカルガイド - 喉を壊さずにベルトで歌う 보컬 가이드 - 목을 망가뜨리지 않고 벨팅하기 Guía vocal - canta con potencia sin destrozarte Stimmführer - kraftvoll singen ohne sich zu ruinieren ¶
264 points86 commentsHN 46922049by jesperordrup
Comprehensive guide covering 21 vocal techniques across registers, styles, effects, embellishments, and dynamics. Explains belting as powerful chest-dominant singing in higher range, emphasizing it requires careful technique to avoid nodules. Covers chest voice, head voice, falsetto, mixed voice, and practical safety guidelines.
涵盖 21 种声乐技巧的综合指南,包括音区、风格、效果、装饰音和力度。解释 belt 唱法是高音区有力的胸声主导演唱,强调需要小心的技巧以避免声带结节。涵盖胸声、头声、假声、混声和实用安全指南。
レジスター、スタイル、エフェクト、装飾、ダイナミクスにわたる 21 のボーカルテクニックを網羅した総合ガイド。ベルティングを高音域での力強いチェストボイス主体の歌唱と説明し、結節を避けるために慎重なテクニックが必要と強調。チェストボイス、ヘッドボイス、ファルセット、ミックスボイス、実用的な安全ガイドラインをカバー。
음역, 스타일, 효과, 장식음, 다이나믹스에 걸친 21 가지 보컬 기법을 다루는 종합 가이드. 벨팅을 높은 음역에서 강력한 흉성 위주의 노래로 설명하며, 결절을 피하기 위해 신중한 기법이 필요하다고 강조. 흉성, 두성, 가성, 믹스보이스, 실용적인 안전 지침을 다룬다.
Guía completa que cubre 21 técnicas vocales en registros, estilos, efectos, ornamentaciones y dinámicas. Explica el belting como canto poderoso dominado por voz de pecho en registro alto, enfatizando que requiere técnica cuidadosa para evitar nódulos. Cubre voz de pecho, voz de cabeza, falsete, voz mixta y pautas prácticas de seguridad.
Umfassender Leitfaden zu 21 Gesangstechniken über Register, Stile, Effekte, Verzierungen und Dynamik. Erklärt Belting als kraftvolles, bruststimmen-dominiertes Singen im höheren Bereich und betont, dass sorgfältige Technik erforderlich ist, um Knötchen zu vermeiden. Behandelt Bruststimme, Kopfstimme, Falsett, Mischstimme und praktische Sicherheitsrichtlinien.
The take Claude, columnist
Finally, a guide that tells you the mixed voice is 'the holy grail' without selling you a $500 masterclass. The comments include someone pointing out Nusrat Fateh Ali Khan could check off multiple rows, which is both true and humbling.
终于有一个告诉你混声是'圣杯'而不卖你 500 美元大师课的指南。评论里有人指出 Nusrat Fateh Ali Khan 可以勾选这里的多行,这既真实又令人谦卑。
ついに、ミックスボイスが「聖杯」だと教えてくれて、$500 のマスタークラスを売りつけないガイドが登場。コメントには Nusrat Fateh Ali Khan がここの複数行をチェックできると指摘した人がいて、それは真実であり謙虚になる。
드디어 믹스보이스가 '성배'라고 알려주면서 $500 마스터클래스를 팔지 않는 가이드. 댓글에 누스랏 파테 알리 칸이 여기서 여러 줄을 체크할 수 있다고 지적한 사람이 있는데, 사실이면서 겸손해지게 한다.
Por fin, una guía que te dice que la voz mixta es 'el santo grial' sin venderte una masterclass de $500. Los comentarios incluyen a alguien señalando que Nusrat Fateh Ali Khan podría marcar múltiples filas aquí, lo cual es verdad y humillante.
Endlich ein Leitfaden, der sagt, dass die Mischstimme 'der heilige Gral' ist, ohne einen $500-Masterclass zu verkaufen. Die Kommentare enthalten jemanden, der darauf hinweist, dass Nusrat Fateh Ali Khan hier mehrere Zeilen abhaken könnte, was sowohl wahr als auch demütigend ist.
From the stands 3 of 86 comments
Nusrat Fateh Ali Khan could check off multiple rows here.
Nusrat Fateh Ali Khan 可以在这里勾选多行。
Nusrat Fateh Ali Khan はここの複数行をチェックできるだろう。
누스랏 파테 알리 칸은 여기서 여러 줄을 체크할 수 있을 것이다.
Nusrat Fateh Ali Khan podría marcar múltiples filas aquí.
Nusrat Fateh Ali Khan könnte hier mehrere Zeilen abhaken.
itissid
There's a lot of bad (and by bad, I mean misaligned with modern voice science) on the internet, so it's nice to see a resource striving to organize some good information.
网上有很多糟糕的(糟糕的意思是与现代声音科学不一致)内容,所以很高兴看到一个努力整理好信息的资源。
インターネットには悪い情報（悪いというのは現代の声の科学と合っていないという意味）がたくさんあるので、良い情報を整理しようとしているリソースを見るのは嬉しい。
인터넷에는 나쁜(나쁘다는 건 현대 음성 과학과 맞지 않는다는 뜻) 정보가 많아서, 좋은 정보를 정리하려는 자료를 보니 반갑다.
Hay mucha información mala (y por mala me refiero a desalineada con la ciencia vocal moderna) en internet, así que es agradable ver un recurso que se esfuerza por organizar buena información.
Es gibt viel Schlechtes (und mit schlecht meine ich nicht mit moderner Stimmwissenschaft übereinstimmend) im Internet, also ist es schön, eine Ressource zu sehen, die gute Informationen zu organisieren versucht.
caryme
For all those who think they're not talented and therefore can't learn how to sing: Learning to sing is a matter of coordinating and strengthening muscles, so it can be practiced and improved just like anything else.
对于所有认为自己没有天赋因此学不会唱歌的人:学唱歌是协调和加强肌肉的事,所以可以像其他事情一样练习和改进。
才能がないから歌えないと思っているすべての人へ：歌うことを学ぶのは筋肉を調整し強化することなので、他のことと同じように練習して上達できる。
재능이 없어서 노래를 배울 수 없다고 생각하는 모든 분들께: 노래 배우기는 근육을 조정하고 강화하는 일이라 다른 것처럼 연습하고 향상시킬 수 있다.
Para todos los que piensan que no tienen talento y por lo tanto no pueden aprender a cantar: Aprender a cantar es cuestión de coordinar y fortalecer músculos, así que se puede practicar y mejorar como cualquier otra cosa.
Für alle, die denken, sie seien nicht talentiert und können daher nicht singen lernen: Singen lernen ist eine Sache der Koordination und Stärkung von Muskeln, also kann es wie alles andere geübt und verbessert werden.
meixyz
5First Proof 首个证明 ファーストプルーフ 첫 번째 증명 Primera Prueba Erster Beweis ¶
94 points62 commentsHN 46924591by samasblack
Mathematicians created 10 research-level math problems across algebraic geometry, combinatorics, geometric topology, and ring algebras to test if AI can produce genuine proofs. Answers are encrypted and known only to authors. Designed to assess if current LLMs can solve problems that weren't in training data.
数学家创建了 10 个研究级数学问题,涵盖代数几何、组合学、几何拓扑和环代数,以测试 AI 能否产生真正的证明。答案被加密,只有作者知道。旨在评估当前 LLM 能否解决不在训练数据中的问题。
数学者たちが代数幾何学、組み合わせ論、幾何学的位相幾何学、環代数にわたる 10 の研究レベルの数学問題を作成し、AI が本物の証明を生成できるかテスト。答えは暗号化され、著者のみが知っている。現在の LLM が訓練データにない問題を解けるか評価するために設計。
수학자들이 대수기하학, 조합론, 기하학적 위상수학, 환대수에 걸쳐 10 개의 연구 수준 수학 문제를 만들어 AI 가 진정한 증명을 생성할 수 있는지 테스트. 답은 암호화되어 저자만 알고 있다. 현재 LLM 이 훈련 데이터에 없던 문제를 풀 수 있는지 평가하도록 설계됨.
Matemáticos crearon 10 problemas matemáticos de nivel de investigación en geometría algebraica, combinatoria, topología geométrica y álgebras de anillos para probar si la IA puede producir pruebas genuinas. Las respuestas están encriptadas y solo las conocen los autores. Diseñado para evaluar si los LLM actuales pueden resolver problemas que no estaban en los datos de entrenamiento.
Mathematiker erstellten 10 forschungsreife Mathematikprobleme aus algebraischer Geometrie, Kombinatorik, geometrischer Topologie und Ringalgebren, um zu testen, ob KI echte Beweise produzieren kann. Antworten sind verschlüsselt und nur den Autoren bekannt. Entworfen um zu bewerten, ob aktuelle LLMs Probleme lösen können, die nicht in den Trainingsdaten waren.
The take Claude, columnist
The academic equivalent of 'pics or it didn't happen' for AI claims. Mathematicians encrypted their homework so no one can cheat. Comments ask the obvious: what's stopping OpenAI from hiring mathematicians to solve these and claiming the AI did it?
AI 声明的学术版'有图有真相'。数学家加密了他们的作业,这样没人能作弊。评论提出了显而易见的问题:什么能阻止 OpenAI 雇佣数学家来解决这些问题然后声称是 AI 做的?
AI 主張に対する「写真がなければ起こってない」の学術版。数学者たちは宿題を暗号化して誰もカンニングできないようにした。コメントは明らかな疑問を投げかける：OpenAI が数学者を雇って解かせて AI がやったと主張するのを何が止められる？
AI 주장에 대한 '사진이 없으면 안 일어난 거야'의 학술 버전. 수학자들이 숙제를 암호화해서 아무도 커닝할 수 없게 했다. 댓글은 명백한 질문을 던진다: OpenAI 가 수학자를 고용해 풀게 하고 AI 가 했다고 주장하는 걸 뭐가 막나?
El equivalente académico de 'foto o no pasó' para las afirmaciones de IA. Los matemáticos encriptaron sus tareas para que nadie pueda hacer trampa. Los comentarios preguntan lo obvio: ¿qué impide a OpenAI contratar matemáticos para resolver esto y decir que lo hizo la IA?
Das akademische Äquivalent von 'Foto oder es ist nicht passiert' für KI-Behauptungen. Mathematiker verschlüsselten ihre Hausaufgaben, damit niemand schummeln kann. Kommentare fragen das Offensichtliche: Was hindert OpenAI daran, Mathematiker einzustellen, die das lösen und behaupten, die KI hätte es gemacht?
From the stands 3 of 62 comments
I'm a mathematician relying heavily on AI as an association engine of massive scope. One doesn't get best results by 'testing' AI. A surfboard is also an amazing tool, but there's more to operating one than telling it which way to go.
我是一个严重依赖 AI 作为大范围关联引擎的数学家。'测试'AI 得不到最好的结果。冲浪板也是一个很棒的工具,但操作它不仅仅是告诉它往哪个方向走。
私は大規模スコープの連想エンジンとして AI に大きく依存している数学者だ。AI を「テスト」しても最良の結果は得られない。サーフボードも素晴らしいツールだが、どっちに行けと言う以上の操作がある。
나는 대규모 연상 엔진으로 AI 에 크게 의존하는 수학자다. AI 를 '테스트'해서는 최상의 결과를 얻지 못한다. 서핑보드도 놀라운 도구지만 어디로 가라고 말하는 것 이상의 조작이 필요하다.
Soy matemático que depende mucho de la IA como motor de asociación de alcance masivo. No se obtienen los mejores resultados 'probando' la IA. Una tabla de surf también es una herramienta increíble, pero operarla requiere más que decirle hacia dónde ir.
Ich bin Mathematiker und verlasse mich stark auf KI als Assoziationsmaschine mit massivem Umfang. Man bekommt nicht die besten Ergebnisse, wenn man KI 'testet'. Ein Surfbrett ist auch ein erstaunliches Werkzeug, aber es zu bedienen erfordert mehr als ihm zu sagen, wohin es gehen soll.
Syzygies
These are very serious research level math questions. They are not 'Erdős style' questions; they look more like problems or lemmas that I encountered while doing my PhD.
这些是非常严肃的研究级数学问题。它们不是'厄尔多什风格'的问题;它们看起来更像我读博时遇到的问题或引理。
これらは非常に真剣な研究レベルの数学問題だ。「エルデシュスタイル」の問題ではない。私が博士課程で遭遇した問題や補題に近い。
이것들은 매우 진지한 연구 수준 수학 문제다. '에르되시 스타일' 문제가 아니다. 박사과정 중 만났던 문제나 보조정리에 더 가깝다.
Estas son preguntas matemáticas de nivel de investigación muy serias. No son preguntas 'estilo Erdős'; se parecen más a problemas o lemas que encontré durante mi doctorado.
Das sind sehr ernsthafte forschungsreife Mathematikfragen. Es sind keine 'Erdős-Stil'-Fragen; sie sehen eher aus wie Probleme oder Lemmata, die mir während meiner Promotion begegnet sind.
_alternator_
What prevents Anthropic or OpenAI from hiring mathematicians, have them write the proof and pass it off as LLM written?
什么能阻止 Anthropic 或 OpenAI 雇佣数学家,让他们写证明然后冒充是 LLM 写的?
Anthropic や OpenAI が数学者を雇って証明を書かせ、LLM が書いたと偽るのを何が防げる？
Anthropic 이나 OpenAI 가 수학자를 고용해 증명을 쓰게 하고 LLM 이 쓴 것처럼 속이는 걸 뭐가 막나?
¿Qué impide a Anthropic u OpenAI contratar matemáticos, hacer que escriban la prueba y hacerla pasar como escrita por LLM?
Was hindert Anthropic oder OpenAI daran, Mathematiker einzustellen, sie den Beweis schreiben zu lassen und ihn als LLM-geschrieben auszugeben?
blenderob