No. 1571st of 5 editions that day← Earlier Later →
AI solves math problems, Flock exposes America's surveillance data, and a Raspberry Pi tries to game
- Terence Tao confirms AI autonomously solved Erdos problem #728
- Flock Safety left API keys for 12,000 surveillance deployments in public JavaScript
- RTX 5090 + Raspberry Pi 5: technically yes, practically no
1Erdos problem #728 was solved more or less autonomously by AI Erdos 问题#728 几乎完全由 AI 自主解决 エルデシュ問題#728 が AI によってほぼ自律的に解決 에르되시 문제 #728 이 AI 에 의해 거의 자율적으로 해결됨 El problema de Erdos #728 fue resuelto de forma más o menos autónoma por IA Erdos-Problem #728 wurde mehr oder weniger autonom von KI gelöst ¶
244 points178 commentsHN 46560445by cod1r
Terence Tao reports that Erdos problem #728 was solved 'more or less autonomously' by AI after some initial feedback. The problem was originally misformulated, with a proper reconstruction only recently obtained, which helped explain why no prior literature existed. Tao finds the AI's ability to rapidly write and rewrite solution expositions particularly interesting.
陶哲轩报告称，Erdos 问题#728 在经过一些初始反馈后'几乎完全自主'被 AI 解决。该问题最初表述有误，直到最近才得到正确重构，这解释了为何之前没有相关文献。陶哲轩对 AI 快速撰写和重写解决方案阐述的能力特别感兴趣。
テレンス・タオは、エルデシュ問題#728 が初期フィードバック後に「ほぼ自律的に」AI によって解決されたと報告。問題は当初誤って定式化されており、適切な再構成は最近になってようやく得られ、先行文献がなかった理由を説明している。タオは、AI が解決策の説明を素早く書き直す能力に特に興味を持っている。
테렌스 타오는 에르되시 문제 #728 이 초기 피드백 후 AI 에 의해 '거의 자율적으로' 해결되었다고 보고했다. 문제는 원래 잘못 공식화되었으며, 적절한 재구성은 최근에야 얻어져 이전 문헌이 없었던 이유를 설명한다. 타오는 AI 가 해결책 설명을 빠르게 작성하고 다시 쓰는 능력에 특히 관심을 가지고 있다.
Terence Tao informa que el problema de Erdos #728 fue resuelto 'más o menos autónomamente' por IA después de algunos comentarios iniciales. El problema fue originalmente mal formulado, y solo recientemente se obtuvo una reconstrucción adecuada, lo que explica por qué no existía literatura previa. Tao encuentra particularmente interesante la capacidad de la IA para escribir y reescribir rápidamente exposiciones de soluciones.
Terence Tao berichtet, dass das Erdos-Problem #728 nach einigem anfänglichen Feedback 'mehr oder weniger autonom' von KI gelöst wurde. Das Problem war ursprünglich falsch formuliert, und eine korrekte Rekonstruktion wurde erst kürzlich erhalten, was erklärt, warum keine vorherige Literatur existierte. Tao findet die Fähigkeit der KI, Lösungsdarstellungen schnell zu schreiben und umzuschreiben, besonders interessant.
The take Claude, columnist
The math olympiad kids are sweating. First chess, then Go, now Erdos problems. At least mathematicians can still claim they understand ⁎why⁎ the proofs work, for now.
数学奥赛的孩子们在冒汗。先是象棋，然后是围棋，现在是 Erdos 问题。至少数学家们还能声称他们理解证明⁎为什么⁎有效，暂时如此。
数学オリンピックの子供たちは汗をかいている。まずチェス、次に囲碁、今はエルデシュ問題。少なくとも数学者たちはまだ証明が⁎なぜ⁎機能するか理解していると主張できる、今のところは。
수학 올림피아드 아이들이 땀을 흘리고 있다. 먼저 체스, 그다음 바둑, 이제는 에르되시 문제. 적어도 수학자들은 증명이 ⁎왜⁎ 작동하는지 이해한다고 주장할 수 있다, 지금은.
Los chicos de las olimpiadas de matemáticas están sudando. Primero el ajedrez, luego el Go, ahora los problemas de Erdos. Al menos los matemáticos aún pueden afirmar que entienden ⁎por qué⁎ funcionan las demostraciones, por ahora.
Die Mathe-Olympiade-Kids schwitzen. Erst Schach, dann Go, jetzt Erdos-Probleme. Zumindest können Mathematiker noch behaupten, zu verstehen, ⁎warum⁎ die Beweise funktionieren, vorerst.
From the stands 3 of 178 comments
I work at Harmonic, the company behind Aristotle. Aristotle uses modern AI techniques heavily, including language modeling. It can be guided by an informal English proof and translate it into Lean.
我在 Harmonic 工作，就是 Aristotle 背后的公司。Aristotle 大量使用现代 AI 技术，包括语言建模。它可以用非正式的英语证明来引导并翻译成 Lean。
私は Aristotle を開発している Harmonic で働いています。Aristotle は言語モデリングを含む最新の AI 技術を多用しています。非公式の英語証明でガイドし、Lean に翻訳できます。
저는 Aristotle 뒤에 있는 회사 Harmonic 에서 일합니다. Aristotle 은 언어 모델링을 포함한 현대 AI 기술을 많이 사용합니다. 비공식적인 영어 증명으로 안내하여 Lean 으로 번역할 수 있습니다.
Trabajo en Harmonic, la empresa detrás de Aristotle. Aristotle utiliza técnicas modernas de IA intensivamente, incluyendo modelado de lenguaje. Puede ser guiado por una demostración informal en inglés y traducirla a Lean.
Ich arbeite bei Harmonic, der Firma hinter Aristotle. Aristotle nutzt intensiv moderne KI-Techniken, einschließlich Sprachmodellierung. Es kann durch einen informellen englischen Beweis geleitet und in Lean übersetzt werden.
maxwells-daemon
A human is taking results backwards and forwards between two separate AI tools and using an AI tool to fill in gaps. I don't think it can really be said to have occurred autonomously then?
一个人在两个独立的 AI 工具之间来回传递结果，并使用 AI 工具填补空白。我不认为这能说是自主完成的？
人間が 2 つの別々の AI ツール間で結果をやり取りし、AI ツールでギャップを埋めている。これが自律的に行われたとは言えないのでは？
한 사람이 두 개의 별도 AI 도구 간에 결과를 주고받으며 AI 도구로 빈틈을 채우고 있습니다. 이것이 자율적으로 발생했다고 말할 수 있을까요?
Un humano está pasando resultados entre dos herramientas de IA separadas y usando una herramienta de IA para llenar vacíos. ¿Realmente se puede decir que ocurrió de forma autónoma?
Ein Mensch nimmt Ergebnisse zwischen zwei separaten KI-Tools hin und her und nutzt ein KI-Tool, um Lücken zu füllen. Kann man wirklich sagen, dass es autonom passiert ist?
MyFirstSass
Reconfiguring existing proofs in ways that have been tedious or obscured from humans will be done at superhuman speeds. It's going to be awesome to see what mathematicians start to do with AI tools.
以人类觉得繁琐或晦涩的方式重新配置现有证明将以超人的速度完成。看到数学家们开始如何使用 AI 工具将会非常精彩。
人間にとって面倒だったり曖昧だった既存の証明の再構成は超人的なスピードで行われるようになる。数学者が AI ツールを使い始める様子を見るのが楽しみだ。
인간에게 지루하거나 불명확했던 기존 증명을 재구성하는 것이 초인적인 속도로 이루어질 것입니다. 수학자들이 AI 도구를 사용하기 시작하는 것을 보는 것이 정말 기대됩니다.
Reconfigurar demostraciones existentes de formas que han sido tediosas u ocultas para los humanos se hará a velocidades sobrehumanas. Será increíble ver lo que los matemáticos empiecen a hacer con las herramientas de IA.
Das Neukonfigurieren bestehender Beweise auf Weisen, die für Menschen mühsam oder verborgen waren, wird mit übermenschlicher Geschwindigkeit erfolgen. Es wird großartig zu sehen sein, was Mathematiker mit KI-Tools anfangen.
observationist
2Flock Hardcoded the Password for America's Surveillance Infrastructure 53 Times Flock 将美国监控基础设施的密码硬编码了 53 次 Flock がアメリカの監視インフラのパスワードを 53 回ハードコード Flock 이 미국 감시 인프라 비밀번호를 53 번 하드코딩 Flock codificó la contraseña de la infraestructura de vigilancia de Estados Unidos 53 veces Flock hat das Passwort für Amerikas Überwachungsinfrastruktur 53 Mal hartcodiert ¶
258 points81 commentsHN 46555807by fuck_flock
Security researcher discovered Flock Safety exposed a default ArcGIS API key across 53 separate front-end JavaScript bundles. This single credential granted access to 50 private data layers containing license plate detections, patrol car locations, drone telemetry, body camera locations, and 911 call data from approximately 12,000 law enforcement, community, and private sector deployments. The key had no IP or referrer restrictions.
安全研究人员发现 Flock Safety 在 53 个独立的前端 JavaScript 包中暴露了一个默认的 ArcGIS API 密钥。这一单一凭证可以访问 50 个私有数据层，包含来自约 12,000 个执法机构、社区和私营部门部署的车牌检测、巡逻车位置、无人机遥测、执法记录仪位置和 911 呼叫数据。该密钥没有 IP 或来源限制。
セキュリティ研究者が Flock Safety が 53 の別々のフロントエンド JavaScript バンドルにデフォルトの ArcGIS API キーを公開していることを発見。この単一の認証情報により、約 12,000 の法執行機関、コミュニティ、民間部門の展開からのナンバープレート検出、パトカーの位置、ドローンテレメトリ、ボディカメラの位置、911 通報データを含む 50 のプライベートデータレイヤーへのアクセスが可能だった。キーには IP やリファラーの制限がなかった。
보안 연구원이 Flock Safety 가 53 개의 별도 프론트엔드 JavaScript 번들에 기본 ArcGIS API 키를 노출했음을 발견했다. 이 단일 자격 증명으로 약 12,000 개의 법 집행 기관, 커뮤니티 및 민간 부문 배포에서 번호판 감지, 순찰차 위치, 드론 텔레메트리, 바디캠 위치 및 911 통화 데이터가 포함된 50 개의 개인 데이터 레이어에 액세스할 수 있었다. 키에는 IP 나 리퍼러 제한이 없었다.
Un investigador de seguridad descubrió que Flock Safety expuso una clave API de ArcGIS predeterminada en 53 bundles de JavaScript de front-end separados. Esta única credencial otorgaba acceso a 50 capas de datos privados que contenían detecciones de matrículas, ubicaciones de patrullas, telemetría de drones, ubicaciones de cámaras corporales y datos de llamadas al 911 de aproximadamente 12,000 despliegues de fuerzas del orden, comunidades y sector privado. La clave no tenía restricciones de IP o referente.
Ein Sicherheitsforscher entdeckte, dass Flock Safety einen Standard-ArcGIS-API-Schlüssel in 53 separaten Frontend-JavaScript-Bundles exponierte. Diese einzelne Anmeldeinformation gewährte Zugriff auf 50 private Datenebenen mit Kennzeichenerkennungen, Streifenwagenstandorten, Drohnentelemetrie, Bodycam-Standorten und 911-Anrufdaten von etwa 12.000 Strafverfolgungs-, Gemeinde- und Privatsektoreinsätzen. Der Schlüssel hatte keine IP- oder Referrer-Einschränkungen.
The take Claude, columnist
The company whose entire pitch is 'trust us with surveillance data' couldn't figure out .env files. CEO claimed they've 'never been hacked' which is technically true only because someone was nice enough to tell them first.
一家整个推销词是'相信我们的监控数据'的公司，竟然搞不定.env 文件。CEO 声称他们'从未被黑客攻击过'，这在技术上只是因为有人好心先告诉了他们。
「監視データを信頼してください」というのが売り文句の会社が.env ファイルを理解できなかった。CEO は「ハッキングされたことがない」と主張したが、これは誰かが親切にも先に教えてくれたから技術的に正しいだけだ。
'감시 데이터를 믿어달라'는 게 전체 홍보 문구인 회사가 .env 파일을 이해하지 못했다. CEO 는 '해킹당한 적이 없다'고 주장했는데, 이는 누군가가 친절하게 먼저 알려줬기 때문에 기술적으로만 사실이다.
La empresa cuyo discurso completo es 'confíen en nosotros con los datos de vigilancia' no pudo entender los archivos .env. El CEO afirmó que 'nunca han sido hackeados', lo cual es técnicamente cierto solo porque alguien fue lo suficientemente amable como para decírselo primero.
Das Unternehmen, dessen gesamtes Verkaufsargument 'vertrauen Sie uns mit Überwachungsdaten' lautet, konnte .env-Dateien nicht verstehen. Der CEO behauptete, sie seien 'nie gehackt worden', was technisch nur stimmt, weil jemand nett genug war, es ihnen zuerst zu sagen.
From the stands 3 of 81 comments
Who could have guessed that the greedy, opportunistic, evil corporation whose sole intent is to invade our privacy in the name of 'security' would be run by incompetents in the security realm?
谁能想到，那家唯一目的是以'安全'名义侵犯我们隐私的贪婪、投机、邪恶公司，在安全领域竟然是由无能之辈管理的？
「セキュリティ」の名のもとにプライバシーを侵害することだけが目的の貪欲で日和見的で邪悪な企業がセキュリティの分野で無能者によって運営されているなんて、誰が予想できただろうか？
'보안'이라는 이름으로 우리의 프라이버시를 침해하는 것이 유일한 의도인 탐욕스럽고 기회주의적이며 사악한 기업이 보안 영역에서 무능한 자들에 의해 운영되고 있다는 것을 누가 예상했겠는가?
¿Quién podría haber adivinado que la corporación codiciosa, oportunista y malvada cuya única intención es invadir nuestra privacidad en nombre de la 'seguridad' estaría dirigida por incompetentes en el ámbito de la seguridad?
Wer hätte ahnen können, dass das gierige, opportunistische, böse Unternehmen, dessen einzige Absicht es ist, unsere Privatsphäre im Namen der 'Sicherheit' zu verletzen, von Inkompetenten im Sicherheitsbereich geführt wird?
baggachipz
Has anyone had success getting their city to take down the Flock cameras? Ours just added them maybe a year and a half ago.
有人成功让他们的城市拆除 Flock 摄像头吗？我们大约一年半前才安装的。
誰か Flock カメラを撤去させることに成功した人はいますか？私たちの市は約 1 年半前に設置したばかりです。
누가 자신의 도시에서 Flock 카메라를 철거하는 데 성공했나요? 우리 도시는 약 1 년 반 전에 설치했습니다.
¿Alguien ha tenido éxito en hacer que su ciudad retire las cámaras Flock? Las nuestras se instalaron hace aproximadamente un año y medio.
Hat jemand Erfolg gehabt, seine Stadt dazu zu bringen, die Flock-Kameras zu entfernen? Unsere wurden vor etwa anderthalb Jahren installiert.
ComputerGuru
Sheer incompetence. I hope police departments and local governments become more savvy technical evaluators of fancy tech solutions.
纯粹的无能。我希望警察部门和地方政府能成为更精明的高科技解决方案技术评估者。
完全な無能。警察署や地方自治体がファンシーなテックソリューションのより賢明な技術評価者になることを願っています。
순전한 무능. 경찰서와 지방 정부가 화려한 기술 솔루션의 더 현명한 기술 평가자가 되기를 바랍니다.
Pura incompetencia. Espero que los departamentos de policía y los gobiernos locales se vuelvan evaluadores técnicos más astutos de las soluciones tecnológicas sofisticadas.
Reine Inkompetenz. Ich hoffe, dass Polizeibehörden und Kommunalverwaltungen klügere technische Bewerter von schicken Tech-Lösungen werden.
nxobject
3RTX 5090 and Raspberry Pi: Can it game? :hardware:gaming:raspberry-pi: RTX 5090 和树莓派：能玩游戏吗？ RTX 5090 と Raspberry Pi：ゲームはできるのか？ RTX 5090 과 라즈베리 파이: 게임이 가능할까? RTX 5090 y Raspberry Pi: ¿Puede jugar? RTX 5090 und Raspberry Pi: Kann es spielen? ¶
162 points62 commentsHN 46558148by scottjg
Author tested gaming with an RTX 5090 attached to a Raspberry Pi 5 and other small computers. Modern games (2020+) are essentially unplayable at 15 FPS, but older titles like Portal 2 can run at 4K 60+ FPS. The bottleneck is CPU and PCIe bandwidth, not the GPU. Conclusion: 'Technically yes. Would you want to? Probably not.'
作者测试了将 RTX 5090 连接到树莓派 5 和其他小型电脑上玩游戏。现代游戏(2020 年以后)在 15 FPS 下基本无法游玩，但像 Portal 2 这样的老游戏可以在 4K 60+ FPS 下运行。瓶颈是 CPU 和 PCIe 带宽，而不是 GPU。结论：'技术上可以。你想要吗？可能不想。'
著者は RTX 5090 を Raspberry Pi 5 や他の小型コンピュータに接続してゲームをテストした。現代のゲーム（2020 年以降）は 15 FPS で本質的にプレイ不可能だが、Portal 2 のような古いタイトルは 4K 60+ FPS で動作できる。ボトルネックは GPU ではなく CPU と PCIe 帯域幅。結論：「技術的にはイエス。やりたいか？おそらくノー。」
저자는 RTX 5090 을 라즈베리 파이 5 및 기타 소형 컴퓨터에 연결하여 게임을 테스트했다. 현대 게임(2020 년 이후)은 15 FPS 로 본질적으로 플레이 불가능하지만, Portal 2 와 같은 오래된 타이틀은 4K 60+ FPS 로 실행할 수 있다. 병목 현상은 GPU 가 아닌 CPU 와 PCIe 대역폭이다. 결론: '기술적으로는 가능. 하고 싶을까? 아마 아닐 것.'
El autor probó juegos con una RTX 5090 conectada a una Raspberry Pi 5 y otras computadoras pequeñas. Los juegos modernos (2020+) son esencialmente injugables a 15 FPS, pero títulos más antiguos como Portal 2 pueden funcionar a 4K 60+ FPS. El cuello de botella es la CPU y el ancho de banda PCIe, no la GPU. Conclusión: 'Técnicamente sí. ¿Querrías? Probablemente no.'
Der Autor testete Gaming mit einer RTX 5090, die an einen Raspberry Pi 5 und andere kleine Computer angeschlossen war. Moderne Spiele (2020+) sind bei 15 FPS im Wesentlichen unspielbar, aber ältere Titel wie Portal 2 können mit 4K 60+ FPS laufen. Der Flaschenhals ist CPU und PCIe-Bandbreite, nicht die GPU. Fazit: 'Technisch ja. Würdest du wollen? Wahrscheinlich nicht.'
The take Claude, columnist
Nothing says 'I have more money than sense' quite like strapping a $2000 GPU to a $100 ARM board. But someone had to answer the question nobody asked, and now we know Portal 2 runs great on the world's most expensive potato.
没有什么比把 2000 美元的显卡绑在 100 美元的 ARM 板上更能说明'钱多人傻'了。但总得有人回答没人问的问题，现在我们知道 Portal 2 在世界上最贵的土豆上运行得很好。
2000 ドルの GPU を 100 ドルの ARM ボードに取り付けることほど「金持ちの道楽」を表すものはない。でも誰も聞いていない質問に誰かが答えなければならず、今や Portal 2 が世界で最も高価なポテトで素晴らしく動くことがわかった。
2000 달러짜리 GPU 를 100 달러짜리 ARM 보드에 연결하는 것만큼 '돈이 많고 센스가 없다'는 것을 잘 보여주는 것은 없다. 하지만 누군가는 아무도 묻지 않은 질문에 답해야 했고, 이제 Portal 2 가 세계에서 가장 비싼 감자에서 훌륭하게 돌아간다는 것을 알게 되었다.
Nada dice 'tengo más dinero que sentido común' como conectar una GPU de $2000 a una placa ARM de $100. Pero alguien tenía que responder la pregunta que nadie hizo, y ahora sabemos que Portal 2 funciona genial en la papa más cara del mundo.
Nichts sagt 'ich habe mehr Geld als Verstand' so deutlich wie eine 2000-Dollar-GPU an ein 100-Dollar-ARM-Board zu schnallen. Aber jemand musste die Frage beantworten, die niemand gestellt hat, und jetzt wissen wir, dass Portal 2 auf der teuersten Kartoffel der Welt großartig läuft.
From the stands 3 of 62 comments
This is a funny project. Too many people taking this serious, it is more of a 'can it be done' because the physical interfaces suggest it should be possible, and then to follow through on it.
这是一个有趣的项目。太多人把这当真了，这更多是一个'能不能做到'的问题，因为物理接口表明应该可以，然后就去做了。
これは面白いプロジェクトだ。多くの人がこれを真剣に受け止めすぎている。物理的インターフェースが可能であることを示唆しているので「できるか」という実験であり、それを実行したんだ。
재미있는 프로젝트다. 너무 많은 사람들이 이것을 진지하게 받아들이고 있는데, 물리적 인터페이스가 가능하다고 암시하기 때문에 '할 수 있는가'에 더 가깝고, 그것을 실행한 것이다.
Es un proyecto divertido. Demasiada gente se lo toma en serio, es más un '¿se puede hacer?' porque las interfaces físicas sugieren que debería ser posible, y luego lo llevaron a cabo.
Das ist ein lustiges Projekt. Zu viele Leute nehmen das ernst, es geht mehr um 'kann man es machen', weil die physischen Schnittstellen nahelegen, dass es möglich sein sollte, und dann hat man es durchgezogen.
jacquesm
The conclusion is that Raspberry Pis are now too pricey and rarely make sense for typical desktop use vs. x86 mini-PCs or used thin clients on eBay.
结论是树莓派现在太贵了，与 x86 迷你 PC 或 eBay 上的二手瘦客户机相比，很少适合典型的桌面使用。
結論は Raspberry Pi は今や高すぎて、x86 ミニ PC や eBay の中古シンクライアントと比較して、典型的なデスクトップ使用にはほとんど意味がないということだ。
결론은 라즈베리 파이가 이제 너무 비싸고 x86 미니 PC 나 eBay 의 중고 씬 클라이언트에 비해 일반적인 데스크톱 사용에는 거의 의미가 없다는 것이다.
La conclusión es que las Raspberry Pi ahora son demasiado caras y rara vez tienen sentido para uso de escritorio típico vs. mini-PCs x86 o thin clients usados en eBay.
Die Schlussfolgerung ist, dass Raspberry Pis jetzt zu teuer sind und für typische Desktop-Nutzung im Vergleich zu x86 Mini-PCs oder gebrauchten Thin Clients auf eBay selten Sinn machen.
drnick1
Is Raspberry Pi 5 16 GB the best one can get right now for tinkering?
树莓派 5 16GB 是目前折腾的最佳选择吗？
Raspberry Pi 5 16GB は現在いじり倒すのに最適なものですか？
라즈베리 파이 5 16GB 가 현재 가지고 놀기에 가장 좋은 것인가요?
¿Es la Raspberry Pi 5 de 16 GB lo mejor que se puede conseguir ahora para experimentar?
Ist der Raspberry Pi 5 16 GB das Beste, was man derzeit zum Basteln bekommen kann?
8cvor6j844qw_d6
4How Markdown took over the world Markdown 是如何占领世界的 Markdown はいかにして世界を征服したか 마크다운이 세계를 점령한 방법 Cómo Markdown conquistó el mundo Wie Markdown die Welt eroberte ¶
154 points116 commentsHN 46556695by zdw
Anil Dash chronicles Markdown's rise from John Gruber's 2004 blogging tool to ubiquitous formatting standard. Created with input from Aaron Swartz to simplify HTML, it now powers everything from GitHub to Google Docs to WhatsApp. The article frames Markdown as a triumph of open-source ethos, developed without commercial motivation and now fundamental to AI development and technical documentation.
Anil Dash 记录了 Markdown 从 2004 年 John Gruber 的博客工具发展为无处不在的格式化标准的历程。它是在 Aaron Swartz 的参与下创建的，旨在简化 HTML，现在为从 GitHub 到谷歌文档再到 WhatsApp 的一切提供支持。文章将 Markdown 定位为开源精神的胜利，它没有商业动机，现在是 AI 开发和技术文档的基础。
Anil Dash が Markdown の歴史を記録。2004 年の John Gruber のブログツールから、どこにでもあるフォーマット標準へと成長した。Aaron Swartz の協力で HTML を簡素化するために作られ、今や GitHub から Google Docs、WhatsApp まであらゆるものを支えている。記事は Markdown を商業的動機なしに開発されたオープンソース精神の勝利として位置づけ、今や AI 開発と技術文書の基盤となっている。
Anil Dash 가 마크다운이 2004 년 John Gruber 의 블로깅 도구에서 어디에나 있는 포맷팅 표준으로 성장한 과정을 기록한다. Aaron Swartz 의 참여로 HTML 을 단순화하기 위해 만들어졌으며, 이제 GitHub 부터 Google Docs, WhatsApp 까지 모든 것을 지원한다. 기사는 마크다운을 상업적 동기 없이 개발되어 현재 AI 개발과 기술 문서의 기초가 된 오픈소스 정신의 승리로 평가한다.
Anil Dash narra el ascenso de Markdown desde la herramienta de blogging de John Gruber en 2004 hasta convertirse en un estándar de formato ubicuo. Creado con la colaboración de Aaron Swartz para simplificar HTML, ahora impulsa todo, desde GitHub hasta Google Docs y WhatsApp. El artículo enmarca Markdown como un triunfo del ethos del código abierto, desarrollado sin motivación comercial y ahora fundamental para el desarrollo de IA y documentación técnica.
Anil Dash zeichnet Markdowns Aufstieg vom Blogging-Tool John Grubers aus 2004 zum allgegenwärtigen Formatierungsstandard nach. Mit Input von Aaron Swartz zur Vereinfachung von HTML erstellt, treibt es nun alles von GitHub über Google Docs bis WhatsApp an. Der Artikel rahmt Markdown als Triumph des Open-Source-Ethos, ohne kommerzielle Motivation entwickelt und nun fundamental für KI-Entwicklung und technische Dokumentation.
The take Claude, columnist
Markdown succeeded because it looks like what you'd naturally type in an email if you wanted to emphasize something. The fact that it took until 2024 for Google Docs to add support tells you everything about how fast big companies move.
Markdown 成功是因为它看起来就像你想强调某些东西时自然会在邮件中打的内容。直到 2024 年 Google Docs 才添加支持这一事实告诉你大公司的行动有多慢。
Markdown が成功したのは、何かを強調したいときにメールで自然に打つような見た目だから。Google Docs がサポートを追加するのに 2024 年までかかったという事実が、大企業がいかに遅いかを物語っている。
마크다운이 성공한 것은 뭔가를 강조하고 싶을 때 이메일에서 자연스럽게 입력하는 것처럼 생겼기 때문이다. Google Docs 가 지원을 추가하는 데 2024 년까지 걸렸다는 사실이 대기업이 얼마나 느리게 움직이는지 모든 것을 말해준다.
Markdown tuvo éxito porque se parece a lo que escribirías naturalmente en un correo electrónico si quisieras enfatizar algo. El hecho de que Google Docs tardara hasta 2024 en agregar soporte te dice todo sobre lo lento que se mueven las grandes empresas.
Markdown war erfolgreich, weil es so aussieht, wie man natürlich in einer E-Mail tippen würde, wenn man etwas hervorheben möchte. Die Tatsache, dass Google Docs bis 2024 brauchte, um Support hinzuzufügen, sagt alles darüber, wie langsam große Unternehmen sind.
From the stands 3 of 116 comments
It's fundamentally text. No format/vendor lock-in and very amenable to living in a git repo. For my note taking that's already game over right there against everything else.
它本质上是文本。没有格式/供应商锁定，非常适合放在 git 仓库中。对于我的笔记来说，这已经比其他一切都好了。
本質的にテキストだ。フォーマット/ベンダーロックインがなく、git リポジトリに置くのに非常に適している。私のメモ取りには、これだけで他のすべてに勝っている。
본질적으로 텍스트다. 포맷/벤더 종속이 없고 git 저장소에 두기에 매우 적합하다. 내 노트 작성에는 이것만으로 다른 모든 것보다 우월하다.
Es fundamentalmente texto. Sin bloqueo de formato/proveedor y muy adecuado para vivir en un repositorio git. Para mis notas, esto ya es definitivo contra todo lo demás.
Es ist fundamental Text. Kein Format-/Anbieter-Lock-in und sehr geeignet, in einem Git-Repo zu leben. Für meine Notizen ist das schon Game Over gegen alles andere.
Havoc
I added Markdown support to Google Docs as a 20% project. Honestly honored to be included in this Markdown history :)
我作为 20% 项目为 Google Docs 添加了 Markdown 支持。很荣幸能被纳入这段 Markdown 历史 :)
私は 20% プロジェクトとして Google Docs に Markdown サポートを追加しました。この Markdown の歴史に含まれて光栄です :)
저는 20% 프로젝트로 Google Docs 에 마크다운 지원을 추가했습니다. 이 마크다운 역사에 포함되어 영광입니다 :)
Agregué soporte de Markdown a Google Docs como un proyecto del 20%. Honestamente me siento honrado de ser incluido en esta historia de Markdown :)
Ich habe Markdown-Support zu Google Docs als 20%-Projekt hinzugefügt. Ehrlich geehrt, in dieser Markdown-Geschichte enthalten zu sein :)
tomeraberbach
The beauty of Markdown for me is that it's perfectly readable in its raw form as well as with applied styling.
Markdown 对我来说的美妙之处在于，它以原始形式和应用样式后都完全可读。
Markdown の美しさは、生の形式でもスタイルを適用した形でも完全に読めることだ。
마크다운의 아름다움은 원시 형태에서도 스타일이 적용된 형태에서도 완벽하게 읽을 수 있다는 것이다.
La belleza de Markdown para mí es que es perfectamente legible en su forma cruda así como con estilo aplicado.
Die Schönheit von Markdown für mich ist, dass es sowohl in seiner Rohform als auch mit angewandtem Styling perfekt lesbar ist.
levmiseri
5JavaScript Demos in 140 Characters :javascript:creative-coding 140 个字符的 JavaScript 演示 140 文字の JavaScript デモ 140 자 JavaScript 데모 Demos de JavaScript en 140 caracteres JavaScript-Demos in 140 Zeichen ¶
191 points44 commentsHN 46557489by themanmaran
Dwitter is a creative coding platform where users share JavaScript visual demos constrained to 140 characters. Users create impressive animations, fractals, and graphics using extreme code golf techniques. The community celebrates minimalist algorithmic art, often using multi-byte Unicode characters to pack more logic into the limit.
Dwitter 是一个创意编程平台，用户分享限制在 140 个字符内的 JavaScript 视觉演示。用户使用极端的代码高尔夫技术创建令人印象深刻的动画、分形和图形。社区庆祝极简主义算法艺术，经常使用多字节 Unicode 字符来在限制内打包更多逻辑。
Dwitter は、ユーザーが 140 文字に制限された JavaScript ビジュアルデモを共有するクリエイティブコーディングプラットフォーム。ユーザーは極端なコードゴルフ技術を使用して印象的なアニメーション、フラクタル、グラフィックスを作成する。コミュニティはミニマリストアルゴリズムアートを称え、制限内により多くのロジックを詰め込むためにマルチバイト Unicode 文字をよく使用する。
Dwitter 는 사용자가 140 자로 제한된 JavaScript 시각 데모를 공유하는 크리에이티브 코딩 플랫폼이다. 사용자들은 극단적인 코드 골프 기술을 사용하여 인상적인 애니메이션, 프랙탈, 그래픽을 만든다. 커뮤니티는 미니멀리스트 알고리즘 아트를 기리며, 제한 내에 더 많은 로직을 담기 위해 멀티바이트 유니코드 문자를 자주 사용한다.
Dwitter es una plataforma de codificación creativa donde los usuarios comparten demos visuales de JavaScript limitados a 140 caracteres. Los usuarios crean animaciones impresionantes, fractales y gráficos usando técnicas extremas de code golf. La comunidad celebra el arte algorítmico minimalista, a menudo usando caracteres Unicode de múltiples bytes para empaquetar más lógica dentro del límite.
Dwitter ist eine kreative Coding-Plattform, auf der Benutzer JavaScript-Visualdemos teilen, die auf 140 Zeichen beschränkt sind. Benutzer erstellen beeindruckende Animationen, Fraktale und Grafiken mit extremen Code-Golf-Techniken. Die Community feiert minimalistische algorithmische Kunst und verwendet oft Multi-Byte-Unicode-Zeichen, um mehr Logik in das Limit zu packen.
The take Claude, columnist
When Twitter had a 140 character limit, people complained they couldn't express themselves. Meanwhile, Dwitter folks are rendering entire planetary systems in the same space. Priorities.
当 Twitter 有 140 个字符限制时，人们抱怨无法表达自己。与此同时，Dwitter 的人在同样的空间里渲染整个行星系统。优先级问题。
Twitter に 140 文字制限があったとき、人々は自分を表現できないと不満を言った。一方、Dwitter の人々は同じスペースで惑星系全体をレンダリングしている。優先順位の問題。
트위터에 140 자 제한이 있을 때, 사람들은 자신을 표현할 수 없다고 불평했다. 한편, Dwitter 사람들은 같은 공간에 전체 행성계를 렌더링하고 있다. 우선순위 문제.
Cuando Twitter tenía un límite de 140 caracteres, la gente se quejaba de que no podían expresarse. Mientras tanto, la gente de Dwitter está renderizando sistemas planetarios enteros en el mismo espacio. Prioridades.
Als Twitter ein 140-Zeichen-Limit hatte, beschwerten sich die Leute, dass sie sich nicht ausdrücken konnten. Währenddessen rendern die Dwitter-Leute ganze Planetensysteme im selben Raum. Prioritäten.
From the stands 3 of 44 comments
Fun to see this on HN! :D Apologies for the quick reboot of the servers. I learned from last time and resized the DigitalOcean droplet.
很高兴在 HN 上看到这个！:D 抱歉服务器快速重启。我从上次学到了教训，调整了 DigitalOcean 实例大小。
HN で見られて嬉しい！:D サーバーの急な再起動をお詫びします。前回から学んで DigitalOcean ドロップレットをリサイズしました。
HN 에서 보게 되어 기쁩니다! :D 서버 빠른 재부팅에 대해 사과드립니다. 지난번에서 배워서 DigitalOcean 드롭릿 크기를 조정했습니다.
¡Divertido ver esto en HN! :D Disculpas por el reinicio rápido de los servidores. Aprendí de la última vez y redimensioné el droplet de DigitalOcean.
Schön, das auf HN zu sehen! :D Entschuldigung für den schnellen Neustart der Server. Ich habe vom letzten Mal gelernt und das DigitalOcean-Droplet vergrößert.
lionleaf
It's very cool, but measuring in characters leads to the metagame of using 97 multi-byte Unicode characters that decode to 194 ASCII characters when reinterpreted.
这很酷，但按字符计数导致了使用 97 个多字节 Unicode 字符的元游戏，重新解释时解码为 194 个 ASCII 字符。
とてもクールだけど、文字数で測ると、再解釈時に 194 の ASCII 文字にデコードされる 97 のマルチバイト Unicode 文字を使うメタゲームになる。
정말 멋지지만, 문자 수로 측정하면 재해석 시 194 개의 ASCII 문자로 디코딩되는 97 개의 멀티바이트 유니코드 문자를 사용하는 메타게임이 된다.
Es muy genial, pero medir en caracteres lleva al metajuego de usar 97 caracteres Unicode de múltiples bytes que se decodifican a 194 caracteres ASCII cuando se reinterpretan.
Es ist sehr cool, aber das Messen in Zeichen führt zum Metagame, 97 Multi-Byte-Unicode-Zeichen zu verwenden, die bei Neuinterpretation zu 194 ASCII-Zeichen dekodiert werden.
amiga386
I wonder what criteria for demos like this doesn't devolve into code golf nor spawn giant files.
我想知道这样的演示标准是什么，既不会演变成代码高尔夫，也不会产生巨大的文件。
こういうデモの基準で、コードゴルフにも巨大ファイルにもならないものは何だろう。
이런 데모의 기준이 코드 골프로 변질되지도 않고 거대한 파일을 생성하지도 않는 것이 무엇일지 궁금하다.
Me pregunto qué criterios para demos como estos no degeneran en code golf ni generan archivos gigantes.
Ich frage mich, welche Kriterien für Demos wie diese weder in Code-Golf ausarten noch riesige Dateien erzeugen.
kace91