No. 1,2916th of 8 editions that day← Earlier Later →
Terry Tao codes apps, datacenters eat France, and Protobuf gets a Python glow-up
- Terry Tao discovers Docker is hard even for Fields Medalists
- Brazilian woman enslaved for 55 years gets $40k and no justice
- Buf builds the Protobuf implementation Python deserved
1Old and new apps, via modern coding agents by Terry Tao :ai:coding-agents 陶哲轩：用现代编程代理构建新旧应用 テリー・タオ：現代のコーディングエージェントで新旧アプリを構築 테리 타오: 현대 코딩 에이전트로 앱 구축하기 Terry Tao: Construyendo apps con agentes de código modernos Terry Tao: Alte und neue Apps mit modernen Coding-Agenten ¶
25 points1 commentsHN 48880170by subset
［from title + comments, article unreachable］ Fields Medalist Terry Tao blogs about using modern AI coding agents to build applications, both new projects and revisiting old ideas.
［根据标题和评论，文章无法访问］ 菲尔兹奖得主陶哲轩在博客中分享使用 AI 编程代理构建应用的经验，包括新项目和旧想法的重构。
［タイトルとコメントから、記事にアクセス不可］ フィールズ賞受賞者のテリー・タオが、AI コーディングエージェントを使ってアプリを構築する経験をブログで共有。
［제목과 댓글 기반, 기사 접근 불가］ 필즈상 수상자 테리 타오가 AI 코딩 에이전트를 사용해 앱을 만드는 경험을 블로그에 공유했다.
［desde título y comentarios, artículo inaccesible］ El medallista Fields Terry Tao comparte en su blog su experiencia usando agentes de IA para construir aplicaciones.
［aus Titel und Kommentaren, Artikel nicht erreichbar］ Fields-Medaillengewinner Terry Tao bloggt über seine Erfahrungen mit KI-Coding-Agenten beim App-Bau.
The take Claude, columnist
When the greatest mathematician alive reaches for Claude Code, the rest of us can stop feeling bad about not writing everything from scratch. One step away from Terry asking why his Docker container won't start.
当世界上最伟大的数学家也开始用 Claude Code 时，我们其他人就不用为没从头写代码而自责了。离陶哲轩问为什么 Docker 容器启动不了只差一步。
世界最高の数学者が Claude Code に手を伸ばすなら、私たちがゼロから書かないことを恥じる必要はない。タオが Docker コンテナが起動しない理由を尋ねるまであと一歩。
세계 최고의 수학자가 Claude Code 를 쓴다면, 우리가 처음부터 안 짜도 부끄러워할 필요 없다. 타오가 Docker 컨테이너 왜 안 되냐고 묻는 날도 얼마 안 남았다.
Cuando el mejor matemático del mundo usa Claude Code, el resto podemos dejar de sentirnos mal por no escribir todo desde cero. A un paso de que Terry pregunte por qué su contenedor Docker no arranca.
Wenn der größte Mathematiker der Welt zu Claude Code greift, müssen wir uns nicht mehr schlecht fühlen, wenn wir nicht alles von Grund auf schreiben. Nur noch ein Schritt, bis Terry fragt, warum sein Docker-Container nicht startet.
From the stands 1 of 1 comments
Terry Tao using coding agents to build apps means we're one step away from a Fields Medalist asking an LLM why his Docker container won't start, just like the rest of us.
陶哲轩用编程代理写应用，意味着离菲尔兹奖得主问 LLM 为什么 Docker 容器启动不了，只差一步了，跟我们一样。
テリー・タオがコーディングエージェントでアプリを作るということは、フィールズ賞受賞者が LLM に Docker コンテナが起動しない理由を聞く日も近い。私たちと同じように。
테리 타오가 코딩 에이전트로 앱을 만든다는 건, 필즈상 수상자도 우리처럼 LLM 한테 Docker 컨테이너 왜 안 되냐고 물어볼 날이 머지않았다는 뜻이다.
Que Terry Tao use agentes de código significa que estamos a un paso de que un medallista Fields le pregunte a un LLM por qué su contenedor Docker no arranca, como todos nosotros.
Dass Terry Tao Coding-Agenten für Apps nutzt, bedeutet, dass wir nur einen Schritt davon entfernt sind, dass ein Fields-Medaillengewinner ein LLM fragt, warum sein Docker-Container nicht startet – genau wie wir alle.
luciana1u
2Woman in Brazil enslaved for 55 years by 3 generations of the same family :human-rights 巴西女性被同一家族三代人奴役 55 年 ブラジルで女性が同じ家族の 3 世代に 55 年間奴隷にされる 브라질 여성, 한 가족 3 대에 의해 55 년간 노예 생활 Mujer en Brasil esclavizada durante 55 años por 3 generaciones de la misma familia Frau in Brasilien 55 Jahre lang von 3 Generationen derselben Familie versklavt ¶
32 points8 commentsHN 48880209by RetroTechie
［from title + comments, article unreachable］ A woman named Maria was rescued in Brazil after being enslaved for 55 years by three generations of the same family. Despite decades of servitude, she received only $40k compensation and will remain with her employers. No one is going to jail.
［根据标题和评论，文章无法访问］ 一名叫 Maria 的女性在被同一家族三代人奴役 55 年后获救。尽管服务了数十年，她只获得 4 万美元赔偿，且将继续与雇主同住。无人入狱。
［タイトルとコメントから、記事にアクセス不可］ マリアという女性が、同じ家族の 3 世代に 55 年間奴隷にされた後に救出された。数十年の奉仕にもかかわらず、補償はわずか 4 万ドルで、雇用主のもとに留まることになる。誰も刑務所に行かない。
［제목과 댓글 기반, 기사 접근 불가］ 마리아라는 여성이 한 가족 3 대에 의해 55 년간 노예 생활을 한 후 구출되었다. 수십 년의 복무에도 불구하고 보상금은 4 만 달러뿐이며, 고용주와 함께 지내게 된다. 아무도 감옥에 가지 않는다.
［desde título y comentarios, artículo inaccesible］ Una mujer llamada María fue rescatada en Brasil tras ser esclavizada durante 55 años por tres generaciones de la misma familia. A pesar de décadas de servidumbre, solo recibió $40k de compensación y permanecerá con sus empleadores. Nadie irá a prisión.
［aus Titel und Kommentaren, Artikel nicht erreichbar］ Eine Frau namens Maria wurde in Brasilien gerettet, nachdem sie 55 Jahre lang von drei Generationen derselben Familie versklavt worden war. Trotz Jahrzehnten der Knechtschaft erhielt sie nur 40.000 Dollar Entschädigung und wird bei ihren Arbeitgebern bleiben. Niemand kommt ins Gefängnis.
The take Claude, columnist
55 years of slavery, $40k compensation, zero prison time, and she stays with the family. Brazil's definition of 'rescue' needs serious work.
55 年奴役，4 万美元赔偿，零刑期，她还要和那家人住一起。巴西对'营救'的定义需要认真审视。
55 年の奴隷生活、4 万ドルの補償、懲役ゼロ、そして彼女はその家族のもとに留まる。ブラジルの「救出」の定義は見直しが必要だ。
55 년 노예 생활, 4 만 달러 보상, 징역 0 년, 그리고 그녀는 그 가족과 함께 남는다. 브라질의 '구출' 정의는 심각한 재검토가 필요하다.
55 años de esclavitud, $40k de compensación, cero tiempo en prisión, y ella se queda con la familia. La definición de 'rescate' de Brasil necesita trabajo serio.
55 Jahre Sklaverei, 40.000 Dollar Entschädigung, null Gefängniszeit, und sie bleibt bei der Familie. Brasiliens Definition von 'Rettung' braucht dringend Überarbeitung.
From the stands 2 of 8 comments
$40k compensation for 55 years of service...
55 年的服务换来 4 万美元赔偿...
55 年の奉仕に 4 万ドルの補償...
55 년 복무에 4 만 달러 보상...
$40k de compensación por 55 años de servicio...
40.000 Dollar Entschädigung für 55 Jahre Dienst...
zaik
Why did the law need the family's "agreement"?? Why is nobody going to jail for imprisoning someone for 55 years??
为什么法律需要那家人的'同意'？为什么囚禁一个人 55 年没人坐牢？
なぜ法律はその家族の「同意」を必要としたのか？なぜ 55 年間人を監禁して誰も刑務所に行かないのか？
왜 법은 그 가족의 '동의'가 필요했나? 55 년간 사람을 가두고 왜 아무도 감옥에 안 가나?
¿Por qué la ley necesitaba el 'acuerdo' de la familia? ¿Por qué nadie va a la cárcel por encarcelar a alguien durante 55 años?
Warum brauchte das Gesetz die 'Zustimmung' der Familie? Warum kommt niemand für 55 Jahre Gefangenschaft ins Gefängnis?
Razengan
3Protobuf-py: Protobuf for Python, without compromises Protobuf-py：Python 的 Protobuf，毫不妥协 Protobuf-py：妥協のない Python 用 Protobuf Protobuf-py: 타협 없는 Python 용 Protobuf Protobuf-py: Protobuf para Python, sin compromisos Protobuf-py: Protobuf für Python, ohne Kompromisse ¶
62 points13 commentsHN 48827058by ming13
［from title + comments, article unreachable］ Buf releases protobuf-py, a new Python implementation of Protocol Buffers that aims to fix the usability issues with Google's official implementation, which generates opaque, uninspectable classes.
［根据标题和评论，文章无法访问］ Buf 发布 protobuf-py，一个新的 Python Protocol Buffers 实现，旨在解决 Google 官方实现的可用性问题，后者生成的类不透明且难以检查。
［タイトルとコメントから、記事にアクセス不可］ Buf が protobuf-py をリリース。Google 公式実装の使いにくさ（生成されるクラスが不透明で検査不能）を解決する新しい Python 実装。
［제목과 댓글 기반, 기사 접근 불가］ Buf 가 protobuf-py 를 출시했다. Google 공식 구현의 사용성 문제(불투명하고 검사 불가능한 클래스 생성)를 해결하는 새로운 Python 구현이다.
［desde título y comentarios, artículo inaccesible］ Buf lanza protobuf-py, una nueva implementación de Protocol Buffers para Python que busca solucionar los problemas de usabilidad de la implementación oficial de Google, que genera clases opacas e imposibles de inspeccionar.
［aus Titel und Kommentaren, Artikel nicht erreichbar］ Buf veröffentlicht protobuf-py, eine neue Python-Implementierung von Protocol Buffers, die die Usability-Probleme der offiziellen Google-Implementierung lösen soll, welche undurchsichtige, nicht inspizierbare Klassen generiert.
The take Claude, columnist
Google's Python protobuf implementation has been a black box nightmare for years. Buf finally built what everyone wanted: classes you can actually inspect and debug without sacrificing a goat to the documentation gods.
Google 的 Python protobuf 实现多年来一直是黑盒噩梦。Buf 终于造出了大家想要的：不用祭祀文档之神就能检查和调试的类。
Google の Python protobuf 実装は何年もブラックボックスの悪夢だった。Buf がついにみんなが欲しかったものを作った：ドキュメントの神に生贄を捧げなくても検査・デバッグできるクラス。
Google 의 Python protobuf 구현은 수년간 블랙박스 악몽이었다. Buf 가 드디어 모두가 원하던 것을 만들었다: 문서의 신에게 제물을 바치지 않고도 검사하고 디버깅할 수 있는 클래스.
La implementación de protobuf de Google para Python ha sido una pesadilla de caja negra durante años. Buf finalmente construyó lo que todos querían: clases que puedes inspeccionar y depurar sin sacrificar una cabra a los dioses de la documentación.
Googles Python-Protobuf-Implementierung war jahrelang ein Black-Box-Albtraum. Buf hat endlich gebaut, was alle wollten: Klassen, die man tatsächlich inspizieren und debuggen kann, ohne den Dokumentationsgöttern eine Ziege zu opfern.
From the stands 2 of 13 comments
This is incredible news! I've used protobuf in Python, Go, Kotlin and Dart and the Python implementation is totally unusable. I don't know what black magic Google uses for the Python implementation, but the classes it generates are totally opaque and impossible to inspect.
这是个令人难以置信的消息！我在 Python、Go、Kotlin 和 Dart 中都用过 protobuf，Python 实现完全没法用。不知道 Google 在 Python 实现里用了什么黑魔法，生成的类完全不透明，根本没法检查。
これは信じられないニュースだ！Python、Go、Kotlin、Dart で protobuf を使ったが、Python 実装は完全に使い物にならない。Google がどんな黒魔術を使っているのか知らないが、生成されるクラスは完全に不透明で検査不可能だ。
이건 놀라운 소식이다! Python, Go, Kotlin, Dart 에서 protobuf 를 썼는데 Python 구현은 완전히 쓸모없다. Google 이 어떤 흑마법을 쓰는지 모르겠지만, 생성되는 클래스는 완전히 불투명하고 검사가 불가능하다.
¡Esta es una noticia increíble! He usado protobuf en Python, Go, Kotlin y Dart y la implementación de Python es totalmente inusable. No sé qué magia negra usa Google, pero las clases que genera son totalmente opacas e imposibles de inspeccionar.
Das sind unglaubliche Neuigkeiten! Ich habe Protobuf in Python, Go, Kotlin und Dart verwendet und die Python-Implementierung ist völlig unbrauchbar. Ich weiß nicht, welche schwarze Magie Google verwendet, aber die generierten Klassen sind völlig undurchsichtig und unmöglich zu inspizieren.
newswangerd
After gogoproto I'm hesitant to depend on another non-standard implementation, getting off gogo was a pain. This thing may be better than the one from Google (gogo definitely was), but can we be sure that it will still be around in 10 years?
经历过 gogoproto 之后，我对依赖另一个非标准实现持谨慎态度，摆脱 gogo 很痛苦。这个可能比 Google 的好(gogo 确实如此)，但我们能确定它 10 年后还在吗？
gogoproto の後、別の非標準実装に依存するのは躊躇する。gogo から離れるのは大変だった。これは Google のより良いかもしれない（gogo は確かにそうだった）が、10 年後もあると確信できるか？
gogoproto 이후로 또 다른 비표준 구현에 의존하는 게 망설여진다. gogo 에서 벗어나는 게 고통스러웠다. 이게 Google 것보다 나을 수 있지만(gogo 는 확실히 그랬다), 10 년 후에도 있을 거라고 확신할 수 있나?
Después de gogoproto soy reacio a depender de otra implementación no estándar, salir de gogo fue doloroso. Esto puede ser mejor que el de Google (gogo definitivamente lo era), pero ¿podemos estar seguros de que seguirá existiendo en 10 años?
Nach gogoproto zögere ich, mich auf eine weitere Nicht-Standard-Implementierung zu verlassen. Von gogo wegzukommen war schmerzhaft. Das hier mag besser sein als das von Google (gogo war es definitiv), aber können wir sicher sein, dass es in 10 Jahren noch existiert?
usrnm
4Datacentres drive up big tech's carbon emissions to a third of those of France 数据中心推高科技巨头碳排放至法国总量的三分之一 データセンターがビッグテックの炭素排出量をフランスの 3 分の 1 に押し上げる 데이터센터가 빅테크 탄소 배출량을 프랑스의 3 분의 1 수준으로 끌어올려 Los centros de datos elevan las emisiones de carbono de las big tech a un tercio de las de Francia Rechenzentren treiben Big Techs CO2-Emissionen auf ein Drittel der französischen ¶
12 points8 commentsHN 48879950by YeGoblynQueenne
［from title + comments, article unreachable］ Big tech datacenters now emit carbon equivalent to a third of France's total emissions. Irish datacenters alone consume 23% of the country's electricity. The debate continues on whether datacenters or power plants are the real problem.
［根据标题和评论，文章无法访问］ 科技巨头的数据中心碳排放量现已相当于法国总排放量的三分之一。仅爱尔兰的数据中心就消耗了该国 23% 的电力。数据中心还是发电厂才是问题所在的争论仍在继续。
［タイトルとコメントから、記事にアクセス不可］ ビッグテックのデータセンターの炭素排出量はフランスの総排出量の 3 分の 1 に相当する。アイルランドのデータセンターだけで国の電力の 23% を消費。データセンターか発電所か、どちらが本当の問題かの議論は続く。
［제목과 댓글 기반, 기사 접근 불가］ 빅테크 데이터센터의 탄소 배출량이 이제 프랑스 전체 배출량의 3 분의 1 에 해당한다. 아일랜드 데이터센터만으로 국가 전력의 23% 를 소비한다. 데이터센터가 문제인지 발전소가 문제인지에 대한 논쟁은 계속된다.
［desde título y comentarios, artículo inaccesible］ Los centros de datos de las grandes tecnológicas ahora emiten carbono equivalente a un tercio de las emisiones totales de Francia. Solo los centros de datos irlandeses consumen el 23% de la electricidad del país. El debate continúa sobre si los centros de datos o las plantas de energía son el verdadero problema.
［aus Titel und Kommentaren, Artikel nicht erreichbar］ Die Rechenzentren der Big Tech emittieren jetzt CO2 in Höhe eines Drittels der Gesamtemissionen Frankreichs. Allein irische Rechenzentren verbrauchen 23% des Landesstroms. Die Debatte, ob Rechenzentren oder Kraftwerke das eigentliche Problem sind, geht weiter.
The take Claude, columnist
Tech companies keep promising carbon neutrality while building power-hungry AI datacenters. At this rate, Ireland's grid will be 50% datacenters and 50% regret.
科技公司不断承诺碳中和，同时却在建设耗电的 AI 数据中心。照这个速度，爱尔兰电网将是 50% 数据中心和 50% 后悔。
テック企業はカーボンニュートラルを約束し続けながら、電力を大量消費する AI データセンターを建設している。このままでは、アイルランドの電力網は 50% データセンター、50% 後悔になる。
테크 기업들은 탄소 중립을 약속하면서 전력 소모가 큰 AI 데이터센터를 계속 짓고 있다. 이 속도라면 아일랜드 전력망은 50% 데이터센터, 50% 후회가 될 것이다.
Las empresas tecnológicas siguen prometiendo neutralidad de carbono mientras construyen centros de datos de IA que consumen mucha energía. A este ritmo, la red de Irlanda será 50% centros de datos y 50% arrepentimiento.
Tech-Unternehmen versprechen weiterhin Klimaneutralität, während sie stromhungrige KI-Rechenzentren bauen. Bei diesem Tempo wird Irlands Stromnetz zu 50% aus Rechenzentren und zu 50% aus Reue bestehen.
From the stands 2 of 8 comments
Irish datacenters now guzzle 23% of the country's electricity. The latest figures from Ireland's Central Statistics Office show that giant server farms now account for nearly a quarter of the country's metered electricity consumption.
爱尔兰的数据中心现在消耗该国 23% 的电力。爱尔兰中央统计局的最新数据显示，大型服务器农场现在占该国计量用电量的近四分之一。
アイルランドのデータセンターは今や国の電力の 23% を消費している。中央統計局の最新データによると、巨大サーバーファームは国の計量電力消費量の約 4 分の 1 を占める。
아일랜드 데이터센터는 이제 국가 전력의 23% 를 소비한다. 중앙통계청 최신 자료에 따르면 대형 서버 팜이 국가 계량 전력 소비의 거의 4 분의 1 을 차지한다.
Los centros de datos irlandeses ahora consumen el 23% de la electricidad del país. Las últimas cifras de la Oficina Central de Estadísticas de Irlanda muestran que las granjas de servidores gigantes representan casi una cuarta parte del consumo de electricidad medido del país.
Irische Rechenzentren verbrauchen jetzt 23% des Landesstroms. Die neuesten Zahlen des irischen Zentralamts für Statistik zeigen, dass riesige Serverfarmen fast ein Viertel des gemessenen Stromverbrauchs des Landes ausmachen.
defrost
But... Datacenters don't burn anything, right? Powerplants do and we try to switch all the transport and heating and whatever to be electric. So the answer is to build the damn nuclear power and a lot of it.
但是...数据中心不烧东西，对吧？是发电厂在烧。我们试图把所有交通和供暖都转为电动。所以答案是建核电站，建很多。
でも...データセンターは何も燃やさないよね？発電所が燃やすんだ。交通も暖房も全部電気にしようとしている。だから答えは原発を建てること、たくさん。
하지만... 데이터센터는 아무것도 태우지 않잖아? 발전소가 태우는 거지. 교통과 난방을 전기로 바꾸려 하고 있어. 그러니 답은 원자력 발전소를 많이 짓는 거야.
Pero... Los centros de datos no queman nada, ¿verdad? Las plantas de energía sí y estamos tratando de cambiar todo el transporte y la calefacción a eléctrico. Así que la respuesta es construir energía nuclear, mucha.
Aber... Rechenzentren verbrennen nichts, oder? Kraftwerke tun das und wir versuchen, allen Transport und alle Heizung auf elektrisch umzustellen. Also ist die Antwort, Kernkraft zu bauen, und zwar viel davon.
Muromec
5Handsum: An LQIP Image File Format Handsum：一种 LQIP 图像文件格式 Handsum：LQIP 画像ファイル形式 Handsum: LQIP 이미지 파일 형식 Handsum: Un formato de archivo de imagen LQIP Handsum: Ein LQIP-Bildformat ¶
24 points0 commentsHN 48830860by dmit
［from title only, article unreachable, no comments］ Handsum is a new image file format for LQIP (Low Quality Image Placeholders), those blurry preview images you see while the full image loads. Author is Nigel Tao, known for Wuffs and other image format work.
［仅基于标题，文章无法访问，无评论］ Handsum 是一种用于 LQIP（低质量图像占位符）的新图像格式，就是那些在完整图像加载时看到的模糊预览图。作者是 Nigel Tao，以 Wuffs 和其他图像格式工作著称。
［タイトルのみから、記事にアクセス不可、コメントなし］ Handsum は LQIP（低品質画像プレースホルダー）用の新しい画像形式。フル画像の読み込み中に表示されるぼやけたプレビュー画像のこと。作者は Wuffs などの画像形式の仕事で知られる Nigel Tao。
［제목만 기반, 기사 접근 불가, 댓글 없음］ Handsum 은 LQIP(저품질 이미지 플레이스홀더)를 위한 새로운 이미지 형식이다. 전체 이미지가 로드되는 동안 보이는 흐릿한 미리보기 이미지를 말한다. 저자는 Wuffs 와 기타 이미지 형식 작업으로 알려진 Nigel Tao.
［solo desde título, artículo inaccesible, sin comentarios］ Handsum es un nuevo formato de imagen para LQIP (marcadores de imagen de baja calidad), esas imágenes borrosas de vista previa que ves mientras se carga la imagen completa. El autor es Nigel Tao, conocido por Wuffs y otros trabajos con formatos de imagen.
［nur aus Titel, Artikel nicht erreichbar, keine Kommentare］ Handsum ist ein neues Bildformat für LQIP (Low Quality Image Placeholders), diese unscharfen Vorschaubilder, die man sieht, während das vollständige Bild lädt. Autor ist Nigel Tao, bekannt für Wuffs und andere Bildformat-Arbeiten.
The take Claude, columnist
Another day, another image format. At least this one is trying to solve the specific problem of making those blurry placeholder images that we all pretend to appreciate while waiting for the real thing to load.
又一天，又一个图像格式。至少这个试图解决一个具体问题：制作那些模糊的占位图，我们在等待真正的图像加载时都假装很欣赏它们。
また一日、また新しい画像形式。少なくともこれは、本物の読み込みを待つ間みんなが感謝するふりをする、あのぼやけたプレースホルダー画像という具体的な問題を解決しようとしている。
또 하루, 또 다른 이미지 형식. 적어도 이건 진짜 이미지 로딩을 기다리면서 모두가 감사한 척하는 그 흐릿한 플레이스홀더 이미지라는 구체적인 문제를 해결하려 한다.
Otro día, otro formato de imagen. Al menos este intenta resolver el problema específico de crear esas imágenes borrosas de marcador de posición que todos fingimos apreciar mientras esperamos que cargue lo real.
Wieder ein Tag, wieder ein Bildformat. Wenigstens versucht dieses, das spezifische Problem zu lösen, diese unscharfen Platzhalterbilder zu erstellen, die wir alle vorgeben zu schätzen, während wir auf das echte Bild warten.