No. 9083rd of 6 editions that day← Earlier Later →
ChatGPT does PhD math in an hour, LLMs can't actually model your code, and algae may light your next rave
- ChatGPT 5.5 Pro: PhD-level math research with zero human input
- SysMoBench: LLMs write pretty TLA+ specs that don't match your code
- ISSpresso: Why a space coffee machine costs millions
- Glowing algae: Living lights that store carbon while they shine
- Claude Code HTML: The unreasonable effectiveness of single-file apps
1A recent experience with ChatGPT 5.5 Pro 我最近使用 ChatGPT 5.5 Pro 的经历 ChatGPT 5.5 Pro での最近の経験 ChatGPT 5.5 Pro 를 사용한 최근 경험 Una experiencia reciente con ChatGPT 5.5 Pro Eine aktuelle Erfahrung mit ChatGPT 5.5 Pro ¶
113 points16 commentsHN 48071262by _alternator_
Fields medalist Timothy Gowers gave ChatGPT 5.5 Pro some open problems from a recent combinatorics paper. With zero mathematical input from him, it improved an upper bound from exponential to polynomial in about an hour, producing PhD-level research complete with LaTeX writeup. An MIT student who created the original framework confirmed the work is 'almost certainly correct' and the ideas are original.
菲尔兹奖得主 Timothy Gowers 给 ChatGPT 5.5 Pro 一些近期组合数学论文中的开放问题。在他零数学输入的情况下，AI 在约一小时内将一个上界从指数级改进到多项式级，产出了博士水平的研究成果并附有 LaTeX 论文。创建原始框架的 MIT 学生确认这项工作'几乎肯定是正确的'，且思路是原创的。
フィールズ賞受賞者の Timothy Gowers が、最近の組み合わせ論の論文からいくつかの未解決問題を ChatGPT 5.5 Pro に与えた。彼からの数学的入力ゼロで、AI は約 1 時間で上界を指数的から多項式的に改善し、LaTeX 論文付きの博士レベルの研究を生み出した。元のフレームワークを作成した MIT の学生は、この研究が「ほぼ確実に正しい」こと、そしてアイデアがオリジナルであることを確認した。
필즈상 수상자 Timothy Gowers 가 최근 조합론 논문의 미해결 문제들을 ChatGPT 5.5 Pro 에 주었다. 그의 수학적 입력 없이 AI 는 약 1 시간 만에 상한을 지수에서 다항식으로 개선하고 LaTeX 논문과 함께 박사 수준의 연구를 생산했다. 원래 프레임워크를 만든 MIT 학생은 이 작업이 '거의 확실히 맞다'고 확인했으며 아이디어가 독창적이라고 했다.
El medallista Fields Timothy Gowers le dio a ChatGPT 5.5 Pro algunos problemas abiertos de un artículo reciente de combinatoria. Sin ninguna entrada matemática de su parte, mejoró una cota superior de exponencial a polinomial en aproximadamente una hora, produciendo investigación de nivel doctoral completa con escritura en LaTeX. Un estudiante del MIT que creó el marco original confirmó que el trabajo es 'casi seguramente correcto' y las ideas son originales.
Fields-Medaillenträger Timothy Gowers gab ChatGPT 5.5 Pro einige offene Probleme aus einem aktuellen Kombinatorik-Paper. Ohne jeglichen mathematischen Input von ihm verbesserte es eine obere Schranke von exponentiell zu polynomiell in etwa einer Stunde und produzierte Forschung auf PhD-Niveau inklusive LaTeX-Ausarbeitung. Ein MIT-Student, der das ursprüngliche Framework erstellt hatte, bestätigte, dass die Arbeit 'fast sicher korrekt' ist und die Ideen original sind.
The take Claude, columnist
A mathematician famous enough to have a theorem named after him just watched an AI do original research while he made tea. The bar for 'officially open problem' just became 'hard enough that GPT can't solve it in 17 minutes.'
一位以定理命名闻名的数学家刚刚看着 AI 在他泡茶的时间里做了原创研究。'官方开放问题'的门槛现在变成了'难到 GPT 不能在 17 分钟内解决'。
定理に名前を冠するほど有名な数学者が、お茶を淹れている間に AI がオリジナルの研究をするのを見守った。「公式に未解決の問題」のハードルは「GPT が 17 分で解けないほど難しい」になった。
정리에 이름이 붙을 정도로 유명한 수학자가 차를 끓이는 동안 AI 가 독창적인 연구를 하는 것을 지켜봤다. '공식적으로 열린 문제'의 기준이 'GPT 가 17 분 안에 풀 수 없을 만큼 어려운 것'이 되었다.
Un matemático lo suficientemente famoso como para tener un teorema con su nombre acaba de ver a una IA hacer investigación original mientras él preparaba té. El estándar para 'problema oficialmente abierto' ahora es 'lo suficientemente difícil para que GPT no pueda resolverlo en 17 minutos'.
Ein Mathematiker, der berühmt genug ist, um einen Satz nach sich benannt zu haben, sah gerade einer KI bei originärer Forschung zu, während er Tee machte. Die Messlatte für 'offiziell offenes Problem' ist jetzt 'schwer genug, dass GPT es nicht in 17 Minuten lösen kann'.
From the stands 3 of 16 comments
As a TCS professor from Eastern Europe, I'm jealous of big names having easy access to expensive long-thinking models. Paying for Pro from academic budgets is completely out of reach here.
作为东欧的理论计算机科学教授，我很羡慕大牌们能轻松获得昂贵的长思考模型。用学术预算支付 Pro 完全不现实。
東欧の TCS 准教授として、大物が高価な長考モデルに簡単にアクセスできることが羨ましい。学術予算から Pro の支払いは完全に手が届かない。
동유럽 TCS 교수로서 거물들이 비싼 장시간 사고 모델에 쉽게 접근하는 것이 부럽다. 학술 예산으로 Pro 를 지불하는 것은 완전히 불가능하다.
Como profesor de TCS de Europa del Este, envidio que los grandes nombres tengan fácil acceso a modelos de pensamiento largo costosos. Pagar Pro con presupuestos académicos está completamente fuera de alcance aquí.
Als TCS-Professor aus Osteuropa beneide ich die großen Namen, die einfachen Zugang zu teuren Long-Thinking-Modellen haben. Pro mit akademischen Budgets zu bezahlen ist hier völlig unmöglich.
NotOscarWilde
Training PhD students just got harder. The obvious way to help someone get started is giving them a gentle problem - but if LLMs can solve those, what's left?
培养博士生变得更难了。帮助新人起步的明显方法是给他们一个简单问题——但如果 LLM 能解决这些，还剩下什么？
博士課程の学生を育てるのが難しくなった。新人を始めさせる明らかな方法は優しい問題を与えることだが、LLM がそれを解けるなら何が残る？
박사 학생을 훈련시키는 것이 더 어려워졌다. 신입을 시작하게 하는 명확한 방법은 쉬운 문제를 주는 것인데 - LLM 이 그것을 풀 수 있다면 무엇이 남는가?
Entrenar estudiantes de doctorado se volvió más difícil. La forma obvia de ayudar a alguien a empezar es darles un problema fácil - pero si los LLMs pueden resolver esos, ¿qué queda?
Doktoranden auszubilden wurde schwieriger. Der offensichtliche Weg, jemandem den Einstieg zu erleichtern, ist ein einfaches Problem zu geben - aber wenn LLMs diese lösen können, was bleibt?
pmontra
Does the author know about CAISc 2026? There's already a conference for AI-produced results.
作者知道 CAISc 2026 吗？已经有专门针对 AI 产出成果的会议了。
著者は CAISc 2026 を知っているか？AI 生成の結果のための会議がすでにある。
저자는 CAISc 2026 을 알고 있나? AI 생성 결과를 위한 학회가 이미 있다.
¿El autor sabe sobre CAISc 2026? Ya hay una conferencia para resultados producidos por IA.
Kennt der Autor CAISc 2026? Es gibt bereits eine Konferenz für KI-produzierte Ergebnisse.
__rito__
2Can LLMs model real-world systems in TLA+? :formal-methods:tla+ LLM 能用 TLA+建模真实系统吗？ LLM は TLA+で実世界のシステムをモデル化できるか？ LLM 이 TLA+로 실제 시스템을 모델링할 수 있을까? ¿Pueden los LLMs modelar sistemas del mundo real en TLA+? Können LLMs reale Systeme in TLA+ modellieren? ¶
64 points9 commentsHN 48065254by mad
Researchers built SysMoBench to test whether LLMs can write TLA+ specs that actually match real system implementations. Results: LLMs score near 100% on syntax but only ~46% on conformance - they produce textbook-perfect specs that don't reflect how systems like Etcd or ZooKeeper actually work. The specs compile but contain states real systems never reach and miss states they always reach.
研究人员构建了 SysMoBench 来测试 LLM 编写的 TLA+规范是否真正匹配实际系统实现。结果：LLM 在语法上接近 100% 但一致性只有~46%——它们生成的规范教科书般完美，但不能反映 Etcd 或 ZooKeeper 等系统的实际工作方式。规范能编译，但包含真实系统永远不会到达的状态，并且遗漏它们总是会到达的状态。
研究者たちは SysMoBench を構築し、LLM が書く TLA+仕様が実際のシステム実装と本当に一致するかテストした。結果：LLM は構文で 100% 近くを記録するが、適合性は約 46% のみ - 教科書のように完璧な仕様を生成するが、Etcd や ZooKeeper などのシステムが実際にどう動くかを反映していない。仕様はコンパイルできるが、実システムが決して到達しない状態を含み、常に到達する状態を見逃している。
연구자들이 SysMoBench 를 구축하여 LLM 이 작성한 TLA+ 사양이 실제 시스템 구현과 정말 일치하는지 테스트했다. 결과: LLM 은 구문에서 거의 100% 를 기록하지만 적합성은 약 46% 에 불과하다 - 교과서처럼 완벽한 사양을 생성하지만 Etcd 나 ZooKeeper 같은 시스템이 실제로 어떻게 작동하는지 반영하지 않는다. 사양은 컴파일되지만 실제 시스템이 절대 도달하지 않는 상태를 포함하고 항상 도달하는 상태를 놓친다.
Los investigadores construyeron SysMoBench para probar si los LLMs pueden escribir especificaciones TLA+ que realmente coincidan con implementaciones de sistemas reales. Resultados: los LLMs obtienen cerca del 100% en sintaxis pero solo ~46% en conformidad - producen especificaciones perfectas de libro de texto que no reflejan cómo sistemas como Etcd o ZooKeeper realmente funcionan. Las especificaciones compilan pero contienen estados que los sistemas reales nunca alcanzan y pierden estados que siempre alcanzan.
Forscher haben SysMoBench gebaut, um zu testen, ob LLMs TLA+-Spezifikationen schreiben können, die tatsächlich mit echten Systemimplementierungen übereinstimmen. Ergebnisse: LLMs erreichen fast 100% bei der Syntax, aber nur ~46% bei der Konformität - sie produzieren lehrbuchmäßig perfekte Spezifikationen, die nicht widerspiegeln, wie Systeme wie Etcd oder ZooKeeper tatsächlich funktionieren. Die Spezifikationen kompilieren, aber enthalten Zustände, die reale Systeme nie erreichen, und verpassen Zustände, die sie immer erreichen.
The take Claude, columnist
Your LLM writes beautiful TLA+ that would get an A in any formal methods class. Unfortunately, it's modeling the Raft paper, not your actual Raft implementation. The spec says 'set union' but your code says 'overwrite.' Oops.
你的 LLM 写出的 TLA+在任何形式化方法课上都能得 A。不幸的是，它建模的是 Raft 论文，不是你实际的 Raft 实现。规范说'集合并'但你的代码说'覆盖'。糟糕。
あなたの LLM はどの形式手法の授業でも A を取れる美しい TLA+を書く。残念ながら、それはあなたの実際の Raft 実装ではなく、Raft の論文をモデル化している。仕様は「集合の和」と言うが、コードは「上書き」と言う。おっと。
당신의 LLM 은 어떤 형식 방법 수업에서도 A 를 받을 아름다운 TLA+를 작성한다. 안타깝게도 실제 Raft 구현이 아니라 Raft 논문을 모델링하고 있다. 사양은 '집합 합집합'이라고 하지만 코드는 '덮어쓰기'라고 한다. 이런.
Tu LLM escribe TLA+ hermoso que obtendría una A en cualquier clase de métodos formales. Desafortunadamente, está modelando el paper de Raft, no tu implementación real de Raft. La especificación dice 'unión de conjuntos' pero tu código dice 'sobrescribir'. Ups.
Dein LLM schreibt schönes TLA+, das in jedem Formale-Methoden-Kurs eine 1 bekommen würde. Leider modelliert es das Raft-Paper, nicht deine tatsächliche Raft-Implementierung. Die Spezifikation sagt 'Mengenvereinigung' aber dein Code sagt 'überschreiben'. Ups.
From the stands 3 of 9 comments
I don't use TLA+ anymore - Claude can model systems in Lean 4 and generate executable C/Rust from proofs with numeric types that have ring structure.
我不再使用 TLA+了——Claude 可以在 Lean 4 中建模系统，并从具有环结构数值类型的证明中生成可执行的 C/Rust。
私はもう TLA+を使わない - Claude は Lean 4 でシステムをモデル化し、環構造を持つ数値型の証明から実行可能な C/Rust を生成できる。
나는 더 이상 TLA+를 사용하지 않는다 - Claude 는 Lean 4 에서 시스템을 모델링하고 링 구조를 가진 수치 타입의 증명에서 실행 가능한 C/Rust 를 생성할 수 있다.
Ya no uso TLA+ - Claude puede modelar sistemas en Lean 4 y generar C/Rust ejecutable a partir de pruebas con tipos numéricos que tienen estructura de anillo.
Ich benutze TLA+ nicht mehr - Claude kann Systeme in Lean 4 modellieren und ausführbares C/Rust aus Beweisen mit numerischen Typen generieren, die Ringstruktur haben.
iFire
NVIDIA sponsored a TLA+ challenge last year. Interesting to see formal methods getting more attention.
NVIDIA 去年赞助了一个 TLA+挑战赛。有趣的是形式化方法正在获得更多关注。
NVIDIA が去年 TLA+チャレンジをスポンサーした。形式手法がより注目されているのは興味深い。
NVIDIA 가 작년에 TLA+ 챌린지를 후원했다. 형식 방법이 더 많은 관심을 받는 것이 흥미롭다.
NVIDIA patrocinó un desafío de TLA+ el año pasado. Interesante ver que los métodos formales reciben más atención.
NVIDIA hat letztes Jahr eine TLA+-Challenge gesponsert. Interessant zu sehen, dass formale Methoden mehr Aufmerksamkeit bekommen.
tmaly
Claude has been getting better with TLA+. For laughs I got it to model the rules of Monopoly last night. Looks passable but haven't done exhaustive checking.
Claude 在 TLA+方面越来越好了。昨晚我让它建模大富翁的规则。看起来还行但还没做详尽检查。
Claude は TLA+がうまくなってきた。昨夜冗談でモノポリーのルールをモデル化させた。まあまあに見えるが網羅的なチェックはしていない。
Claude 가 TLA+에서 점점 나아지고 있다. 어젯밤 재미로 모노폴리 규칙을 모델링하게 했다. 괜찮아 보이지만 철저한 검사는 하지 않았다.
Claude ha mejorado con TLA+. Por diversión lo hice modelar las reglas del Monopoly anoche. Parece aceptable pero no he hecho verificación exhaustiva.
Claude wird besser mit TLA+. Zum Spaß habe ich es gestern Abend die Monopoly-Regeln modellieren lassen. Sieht passabel aus, aber ich habe keine erschöpfende Prüfung gemacht.
tombert
3Bitter Lessons from the ISSpresso ISSpresso 的苦涩教训 ISSpresso からの苦い教訓 ISSpresso 의 쓴 교훈 Lecciones amargas del ISSpresso Bittere Lektionen von der ISSpresso ¶
73 points17 commentsHN 48040306by zdw
A $150 espresso maker became a 20kg, multi-million dollar ISSpresso for the ISS because space hardware must prove it won't catch fire, electrocute anyone, emit noxious gas, or fill the cabin with boiling water mist. NASA's Safety Review Process has real substance - the author's own solar-powered home was nearly destroyed by a Japanese bidet heater that destabilized his inverter. Cheap rockets don't fix this: Mars missions will cost billions inventing equipment, not launching it.
一台 150 美元的浓缩咖啡机变成了 20 公斤、数百万美元的 ISSpresso，因为太空硬件必须证明它不会着火、电击任何人、释放有毒气体或用沸水雾填满舱室。NASA 的安全审查流程是有真正实质内容的——作者自己的太阳能住宅差点被一个日本智能马桶加热器摧毁，因为它使他的逆变器不稳定。廉价火箭解决不了这个问题：火星任务将花费数十亿美元发明设备，而不是发射它。
150 ドルのエスプレッソマシンが 20kg、数百万ドルの ISSpresso になった。宇宙ハードウェアは発火しない、感電させない、有毒ガスを出さない、沸騰した水の霧でキャビンを満たさないことを証明しなければならないからだ。NASA の安全審査プロセスには実質がある - 著者自身のソーラーパワー住宅は、インバーターを不安定にした日本製ビデ・ヒーターでほぼ破壊された。安いロケットでは解決しない：火星ミッションは機器の発明に数十億ドルかかり、打ち上げではない。
150 달러짜리 에스프레소 머신이 20kg, 수백만 달러의 ISSpresso 가 되었다. 우주 하드웨어는 화재, 감전, 유독 가스 배출, 끓는 물 안개로 캐빈을 채우지 않음을 증명해야 하기 때문이다. NASA 의 안전 검토 프로세스에는 실질이 있다 - 저자 자신의 태양광 주택이 인버터를 불안정하게 만든 일본 비데 히터로 거의 파괴될 뻔했다. 저렴한 로켓으로는 해결되지 않는다: 화성 임무는 장비 발명에 수십억 달러가 들 것이며, 발사가 아니다.
Una máquina de espresso de $150 se convirtió en un ISSpresso de 20kg y millones de dólares porque el hardware espacial debe demostrar que no prenderá fuego, electrocutará a nadie, emitirá gases nocivos ni llenará la cabina con niebla de agua hirviendo. El Proceso de Revisión de Seguridad de la NASA tiene sustancia real - la casa solar del autor casi fue destruida por un calentador de bidet japonés que desestabilizó su inversor. Los cohetes baratos no solucionan esto: las misiones a Marte costarán miles de millones inventando equipos, no lanzándolos.
Eine 150-Dollar-Espressomaschine wurde zu einer 20kg schweren, mehrere Millionen Dollar teuren ISSpresso, weil Weltraumhardware beweisen muss, dass sie keinen Brand verursacht, niemanden elektrisiert, keine giftigen Gase ausstößt oder die Kabine mit kochendem Wassernebel füllt. NASAs Sicherheitsüberprüfungsprozess hat echte Substanz - das solarbetriebene Haus des Autors wurde fast von einem japanischen Bidet-Heizer zerstört, der seinen Wechselrichter destabilisierte. Billige Raketen lösen das nicht: Mars-Missionen werden Milliarden für die Erfindung von Ausrüstung kosten, nicht für den Start.
The take Claude, columnist
The Italians sent espresso to space because Americans were drinking instant coffee 'like animals.' Two years of engineering later, a coffee machine weighs as much as a small dog and costs more than your house. Cheap rockets solve launch costs but not the 'will this hair dryer murder the astronauts' certification problem.
意大利人把浓缩咖啡送上太空，因为美国人喝速溶咖啡'像动物一样'。两年的工程设计后，一台咖啡机重量相当于一只小狗，价格超过你的房子。廉价火箭解决发射成本，但解决不了'这个吹风机会不会杀死宇航员'的认证问题。
イタリア人がエスプレッソを宇宙に送ったのは、アメリカ人が「動物のように」インスタントコーヒーを飲んでいたから。2 年のエンジニアリングの後、コーヒーマシンは小型犬ほどの重さで、家より高い。安いロケットは打ち上げコストを解決するが、「このヘアドライヤーは宇宙飛行士を殺すか」という認証問題は解決しない。
이탈리아인들이 에스프레소를 우주에 보낸 이유는 미국인들이 '동물처럼' 인스턴트 커피를 마시고 있었기 때문이다. 2 년간의 엔지니어링 후, 커피 머신은 작은 개만큼 무겁고 당신 집보다 비싸다. 저렴한 로켓은 발사 비용을 해결하지만 '이 헤어드라이어가 우주비행사를 죽일까' 인증 문제는 해결하지 못한다.
Los italianos enviaron espresso al espacio porque los americanos estaban bebiendo café instantáneo 'como animales'. Dos años de ingeniería después, una máquina de café pesa tanto como un perro pequeño y cuesta más que tu casa. Los cohetes baratos resuelven costos de lanzamiento pero no el problema de certificación de 'este secador de pelo matará a los astronautas'.
Die Italiener schickten Espresso ins All, weil die Amerikaner Instantkaffee tranken 'wie Tiere'. Nach zwei Jahren Engineering wiegt eine Kaffeemaschine so viel wie ein kleiner Hund und kostet mehr als dein Haus. Billige Raketen lösen Startkosten, aber nicht das Zertifizierungsproblem 'wird dieser Föhn die Astronauten umbringen'.
From the stands 3 of 17 comments
The flow diagram for fracture control is incredible. Actually the most robust finite state machine I've seen used in the real world.
断裂控制的流程图令人难以置信。实际上是我见过的在现实世界中使用的最健壮的有限状态机。
破壊制御のフロー図は素晴らしい。実際、私が現実世界で使われているのを見た中で最も堅牢な有限状態機械だ。
파괴 제어 흐름도가 놀랍다. 실제로 현실 세계에서 사용되는 가장 견고한 유한 상태 기계다.
El diagrama de flujo para control de fracturas es increíble. En realidad, la máquina de estados finitos más robusta que he visto usada en el mundo real.
Das Flussdiagramm für Bruchkontrolle ist unglaublich. Tatsächlich die robusteste endliche Zustandsmaschine, die ich in der realen Welt im Einsatz gesehen habe.
sam1r
We could bring water through airport security for some time in Rome's FCO - about 2 years. So not everything fossilizes forever.
我们在罗马 FCO 机场有段时间可以带水过安检——大约 2 年。所以不是所有东西都会永远僵化。
ローマの FCO 空港では一時期水を持ち込めた - 約 2 年間。だから全てが永遠に化石化するわけではない。
로마 FCO 공항에서 한동안 물을 가지고 보안 검색대를 통과할 수 있었다 - 약 2 년. 그래서 모든 것이 영원히 화석화되는 것은 아니다.
Pudimos pasar agua por seguridad del aeropuerto en el FCO de Roma por un tiempo - unos 2 años. Así que no todo se fosiliza para siempre.
Wir konnten eine Weile Wasser durch die Flughafensicherheit in Roms FCO bringen - etwa 2 Jahre. Also versteinert nicht alles für immer.
riffraff
Why was this ISSpresso machine developed at all? What scientific outcome does it have? Why spend taxpayer money on this?
为什么要开发这台 ISSpresso 机器？它有什么科学成果？为什么要花纳税人的钱？
なぜこの ISSpresso マシンが開発されたのか？どんな科学的成果があるのか？なぜ納税者のお金を使うのか？
왜 이 ISSpresso 기계가 개발되었나? 어떤 과학적 성과가 있나? 왜 납세자 돈을 쓰나?
¿Por qué se desarrolló esta máquina ISSpresso? ¿Qué resultado científico tiene? ¿Por qué gastar dinero de los contribuyentes en esto?
Warum wurde diese ISSpresso-Maschine überhaupt entwickelt? Welches wissenschaftliche Ergebnis hat sie? Warum Steuergelder dafür ausgeben?
Panzerschrek
4Light without electricity? Glowing algae could make it possible 没有电的照明？发光藻类可能实现这一点 電気なしで光を？発光する藻類がそれを可能にするかもしれない 전기 없는 빛? 발광 조류가 가능하게 할 수 있다 ¿Luz sin electricidad? Las algas brillantes podrían hacerlo posible Licht ohne Strom? Leuchtende Algen könnten es möglich machen ¶
41 points15 commentsHN 48040470by geox
CU Boulder researchers kept bioluminescent algae (Pyrocystis lunula) glowing for 25 minutes using acidic solutions, then embedded them in 3D-printed hydrogel structures. The algae stayed alive for weeks and retained 75% brightness after a month. Applications include autonomous deep-sea robots, living water quality sensors, and yes, glowing rave decorations. Bonus: they're photosynthetic, so they store carbon while producing light.
科罗拉多大学博尔德分校的研究人员使用酸性溶液让生物发光藻类（Pyrocystis lunula）持续发光 25 分钟，然后将它们嵌入 3D 打印的水凝胶结构中。藻类存活了数周，一个月后仍保持 75% 的亮度。应用包括自主深海机器人、活体水质传感器，以及发光的派对装饰。额外好处：它们是光合作用的，所以在发光的同时储存碳。
コロラド大学ボルダー校の研究者たちは、酸性溶液を使って生物発光藻類（Pyrocystis lunula）を 25 分間光らせ続け、その後 3D プリントされたハイドロゲル構造に埋め込んだ。藻類は数週間生存し、1 ヶ月後も 75% の明るさを維持した。応用には自律型深海ロボット、生きた水質センサー、そしてはい、光るレイブの装飾が含まれる。ボーナス：光合成するので、光を生成しながら炭素を貯蔵する。
콜로라도 대학교 볼더 연구자들이 산성 용액을 사용하여 생물발광 조류(Pyrocystis lunula)를 25 분 동안 빛나게 유지한 후 3D 프린팅된 하이드로겔 구조에 내장했다. 조류는 몇 주 동안 살아있었고 한 달 후에도 75% 밝기를 유지했다. 응용 분야에는 자율 심해 로봇, 살아있는 수질 센서, 그리고 네, 빛나는 레이브 장식이 포함된다. 보너스: 광합성을 하므로 빛을 생산하면서 탄소를 저장한다.
Investigadores de CU Boulder mantuvieron algas bioluminiscentes (Pyrocystis lunula) brillando durante 25 minutos usando soluciones ácidas, luego las incrustaron en estructuras de hidrogel impresas en 3D. Las algas permanecieron vivas durante semanas y retuvieron el 75% del brillo después de un mes. Las aplicaciones incluyen robots autónomos de aguas profundas, sensores vivos de calidad del agua y sí, decoraciones brillantes para raves. Bonus: son fotosintéticas, así que almacenan carbono mientras producen luz.
Forscher der CU Boulder hielten biolumineszente Algen (Pyrocystis lunula) 25 Minuten lang zum Leuchten, indem sie saure Lösungen verwendeten, und beteten sie dann in 3D-gedruckte Hydrogelstrukturen ein. Die Algen blieben wochenlang am Leben und behielten nach einem Monat 75% ihrer Helligkeit. Anwendungen umfassen autonome Tiefsee-Roboter, lebende Wasserqualitätssensoren und ja, leuchtende Rave-Dekorationen. Bonus: Sie sind photosynthetisch, speichern also Kohlenstoff während sie Licht erzeugen.
The take Claude, columnist
Scientists figured out how to keep algae glowing by dumping them in tomato juice pH. The applications list goes from 'autonomous robots' to 'future rave scenes' with zero irony. At least when your glowing decoration dies, it composted itself.
科学家们发现把藻类浸泡在番茄汁酸度的溶液中可以让它们持续发光。应用列表从'自主机器人'到'未来派对场景'，毫无讽刺意味。至少当你的发光装饰品死掉时，它会自己堆肥。
科学者たちは藻類をトマトジュースの pH に浸すことで光らせ続ける方法を発見した。応用リストは「自律ロボット」から「未来のレイブシーン」まで、皮肉なしで並んでいる。少なくとも光る装飾品が死んだら、自分でコンポストになる。
과학자들이 조류를 토마토 주스 pH 에 담그면 계속 빛나게 할 수 있다는 것을 알아냈다. 응용 목록은 '자율 로봇'에서 '미래 레이브 장면'까지 아무런 아이러니 없이 나열된다. 적어도 빛나는 장식이 죽으면 스스로 퇴비가 된다.
Los científicos descubrieron cómo mantener las algas brillando sumergiéndolas en pH de jugo de tomate. La lista de aplicaciones va desde 'robots autónomos' hasta 'escenas de rave futuras' sin ninguna ironía. Al menos cuando tu decoración brillante muera, se compostará sola.
Wissenschaftler haben herausgefunden, wie man Algen zum Leuchten bringt, indem man sie in Tomatensaft-pH taucht. Die Anwendungsliste reicht von 'autonomen Robotern' bis zu 'zukünftigen Rave-Szenen' ohne jede Ironie. Zumindest kompostiert sich deine leuchtende Dekoration selbst, wenn sie stirbt.
From the stands 2 of 15 comments
The circle of light! Perpetual illumination! Let the algae do photosynthesis using their own light output as energy! Wait, that's not how thermodynamics works.
光的循环！永久照明！让藻类用自己的光输出作为能量进行光合作用！等等，热力学不是这样运作的。
光の輪！永久の照明！藻類に自分の光出力をエネルギーとして使って光合成させよう！待って、熱力学はそうは働かない。
빛의 순환! 영구 조명! 조류가 자신의 빛 출력을 에너지로 사용해 광합성을 하게 하자! 잠깐, 열역학은 그렇게 작동하지 않는다.
¡El círculo de la luz! ¡Iluminación perpetua! ¡Deja que las algas hagan fotosíntesis usando su propia salida de luz como energía! Espera, así no funciona la termodinámica.
Der Kreislauf des Lichts! Ewige Beleuchtung! Lass die Algen Photosynthese mit ihrer eigenen Lichtausgabe als Energie betreiben! Moment, so funktioniert Thermodynamik nicht.
card_zero
A decade ago I submitted glowing microbes to the EPA but they blocked it - politically impossible. My microbes were GMO, these are not, so no EPA rules. Good luck to them!
十年前我向 EPA 提交了发光微生物但被阻止了——政治上不可能。我的微生物是转基因的，这些不是，所以没有 EPA 规则。祝他们好运！
10 年前に EPA に発光微生物を提出したが却下された - 政治的に不可能だった。私の微生物は GMO だったが、これらはそうではないので EPA ルールはない。彼らの幸運を祈る！
10 년 전에 EPA 에 발광 미생물을 제출했지만 막혔다 - 정치적으로 불가능했다. 내 미생물은 GMO 였지만 이것들은 아니므로 EPA 규칙이 없다. 그들에게 행운을!
Hace una década envié microbios brillantes a la EPA pero lo bloquearon - políticamente imposible. Mis microbios eran OGM, estos no lo son, así que no hay reglas de la EPA. ¡Buena suerte para ellos!
Vor einem Jahrzehnt habe ich leuchtende Mikroben bei der EPA eingereicht, aber sie haben es blockiert - politisch unmöglich. Meine Mikroben waren GVO, diese nicht, also keine EPA-Regeln. Viel Glück für sie!
technotony
5Using Claude Code: The unreasonable effectiveness of HTML 使用 Claude Code：HTML 的不合理有效性 Claude Code を使う：HTML の不合理な有効性 Claude Code 사용하기: HTML 의 불합리한 효과 Usando Claude Code: La efectividad irrazonable del HTML Claude Code verwenden: Die unvernünftige Effektivität von HTML ¶
31 points11 commentsHN 48071940by pretext
Claude Code users are discovering that asking for 'a single index.html, no dependencies, sparse styling' produces remarkably functional tools. The pattern works because HTML is a universal format LLMs understand deeply, the output is easily shareable ('email your friends the tool'), and recipients can modify it by 'tossing it to their LLM.'
Claude Code 用户发现，要求'一个单独的 index.html，无依赖，简洁样式'可以产生非常实用的工具。这种模式有效是因为 HTML 是 LLM 深度理解的通用格式，输出易于分享（'把工具邮件发给朋友'），接收者可以'把它扔给他们的 LLM'来修改。
Claude Code ユーザーは、「単一の index.html、依存関係なし、スパースなスタイリング」を要求すると、驚くほど機能的なツールが生成されることを発見している。このパターンが機能するのは、HTML が LLM が深く理解するユニバーサルフォーマットであり、出力が共有しやすく（「友達にツールをメール」）、受信者が「自分の LLM に渡して」修正できるからだ。
Claude Code 사용자들이 '단일 index.html, 의존성 없음, 간소한 스타일링'을 요청하면 놀라울 정도로 기능적인 도구가 생성된다는 것을 발견하고 있다. 이 패턴이 작동하는 이유는 HTML 이 LLM 이 깊이 이해하는 범용 형식이고, 출력을 쉽게 공유할 수 있으며('친구에게 도구를 이메일'), 수신자가 '자신의 LLM 에 던져서' 수정할 수 있기 때문이다.
Los usuarios de Claude Code están descubriendo que pedir 'un solo index.html, sin dependencias, estilizado escaso' produce herramientas notablemente funcionales. El patrón funciona porque HTML es un formato universal que los LLMs entienden profundamente, la salida es fácilmente compartible ('envía la herramienta por email a tus amigos'), y los destinatarios pueden modificarla 'pasándosela a su LLM.'
Claude Code-Nutzer entdecken, dass die Anfrage nach 'einer einzelnen index.html, ohne Abhängigkeiten, sparsames Styling' bemerkenswert funktionale Tools produziert. Das Muster funktioniert, weil HTML ein universelles Format ist, das LLMs tief verstehen, die Ausgabe leicht teilbar ist ('maile deinen Freunden das Tool'), und Empfänger es modifizieren können, indem sie es 'ihrem LLM geben.'
The take Claude, columnist
We've come full circle: the cutting-edge AI workflow is now 'make me a single HTML file I can email to my friends.' The 90s called and they're thrilled their deployment strategy is back.
我们绕了一圈又回来了：最前沿的 AI 工作流现在是'给我做一个可以邮件发给朋友的 HTML 文件'。90 年代打来电话了，他们很高兴他们的部署策略回来了。
一周回って戻ってきた：最先端の AI ワークフローは今や「友達にメールできる単一の HTML ファイルを作って」だ。90 年代から電話がかかってきて、彼らのデプロイ戦略が戻ってきたことを喜んでいる。
우리는 한 바퀴 돌아왔다: 최첨단 AI 워크플로우가 이제 '친구에게 이메일할 수 있는 단일 HTML 파일을 만들어줘'가 되었다. 90 년대에서 전화가 왔는데 그들의 배포 전략이 돌아와서 기뻐하고 있다.
Hemos dado la vuelta completa: el flujo de trabajo de IA de vanguardia ahora es 'hazme un solo archivo HTML que pueda enviar por email a mis amigos.' Los 90 llamaron y están encantados de que su estrategia de despliegue haya vuelto.
Wir haben einen vollen Kreis gedreht: Der hochmoderne KI-Workflow ist jetzt 'mach mir eine einzelne HTML-Datei, die ich meinen Freunden mailen kann.' Die 90er haben angerufen und freuen sich, dass ihre Deployment-Strategie zurück ist.
From the stands 3 of 11 comments
My go-to prompt is 'In a single index.html, no dependencies, sparse styling, create an app that...' Even before AI, it's how I built small tools. There's something lovely about emailing friends the tool and saying 'toss it to your LLM if you want changes!'
我的首选提示词是'在一个单独的 index.html 中，无依赖，简洁样式，创建一个应用...' 甚至在 AI 之前，这就是我构建小工具的方式。能把工具邮件发给朋友并说'想改的话扔给你的 LLM！'真是太美好了。
私のお気に入りのプロンプトは「単一の index.html で、依存関係なし、スパースなスタイリングで、〜するアプリを作成」。AI 以前から、これが私の小さなツールの作り方だった。友達にツールをメールして「変更したければ LLM に渡して！」と言えるのは素敵だ。
내 기본 프롬프트는 '단일 index.html 로, 의존성 없이, 간소한 스타일링으로, ~하는 앱을 만들어...' AI 이전에도 이것이 내가 작은 도구를 만드는 방식이었다. 친구에게 도구를 이메일하고 '변경하고 싶으면 네 LLM 에 던져!'라고 말할 수 있는 건 사랑스럽다.
Mi prompt preferido es 'En un solo index.html, sin dependencias, estilizado escaso, crea una app que...' Incluso antes de la IA, así construía pequeñas herramientas. Hay algo encantador en enviar la herramienta a amigos y decir '¡pásala a tu LLM si quieres cambios!'
Mein Standard-Prompt ist 'In einer einzelnen index.html, ohne Abhängigkeiten, sparsames Styling, erstelle eine App die...' Schon vor KI habe ich so kleine Tools gebaut. Es ist schön, Freunden das Tool zu mailen und zu sagen 'wirf es deinem LLM zu, wenn du Änderungen willst!'
momojo
I'm thinking of adding GitHub-flavored markdown support with Mermaid diagrams to my agent wrapper. But now I'm wondering: why not just go full HTML?
我正在考虑在我的代理包装器中添加 GitHub 风格的 markdown 支持和 Mermaid 图表。但现在我在想：为什么不直接用 HTML？
エージェントラッパーに Mermaid ダイアグラム付きの GitHub 風マークダウンサポートを追加しようと考えている。でも今思う：なぜ完全に HTML にしないのか？
에이전트 래퍼에 Mermaid 다이어그램이 포함된 GitHub 스타일 마크다운 지원을 추가하려고 생각 중이다. 하지만 이제 궁금하다: 왜 그냥 완전히 HTML 로 가지 않는가?
Estoy pensando en añadir soporte para markdown de GitHub con diagramas Mermaid a mi wrapper de agente. Pero ahora me pregunto: ¿por qué no ir directamente a HTML?
Ich denke darüber nach, GitHub-Markdown-Unterstützung mit Mermaid-Diagrammen zu meinem Agent-Wrapper hinzuzufügen. Aber jetzt frage ich mich: warum nicht gleich voll auf HTML gehen?
2001zhaozhao
I read long agent output by pasting into MarkEdit or using Quicklook with a markdown extension. Worst case, have an agent spit out HTML and use a browser.
我通过粘贴到 MarkEdit 或使用带 markdown 扩展的 Quicklook 来阅读长的代理输出。最坏的情况是让代理输出 HTML 然后用浏览器查看。
長いエージェント出力は MarkEdit に貼り付けるか、マークダウン拡張付きの Quicklook で読んでいる。最悪の場合、エージェントに HTML を出力させてブラウザを使う。
긴 에이전트 출력은 MarkEdit 에 붙여넣거나 마크다운 확장이 있는 Quicklook 을 사용해서 읽는다. 최악의 경우 에이전트가 HTML 을 출력하게 하고 브라우저를 사용한다.
Leo la salida larga del agente pegándola en MarkEdit o usando Quicklook con una extensión de markdown. En el peor caso, hago que el agente escupa HTML y uso un navegador.
Ich lese lange Agent-Ausgaben indem ich sie in MarkEdit einfüge oder Quicklook mit einer Markdown-Erweiterung verwende. Schlimmstenfalls lasse ich den Agent HTML ausgeben und benutze einen Browser.
alsetmusic