No. 1,4018th of 8 editions that day← Earlier Later →
HTMX ships on Game Boy, El Nino goes berserk, and Chinese forums run token lotteries
- HTMX 4.0: The first JavaScript library released exclusively on Game Boy cartridge
- El Nino forecast at 3.6C, smashing records by 0.8C - 2027 will be brutal
- Token relay market exposed: get $3,333 of Claude for $58
- Go's static analysis framework makes custom linters trivially easy
- NYC underground: spaghetti of pipes, steam, and century-old pneumatic mail tubes
1HTMX 4.0, the first JavaScript library to release exclusively on the Game Boy HTMX 4.0,首个专门在 Game Boy 上发布的 JavaScript 库 HTMX 4.0、ゲームボーイ専用でリリースされた初の JavaScript ライブラリ HTMX 4.0, 게임보이 전용으로 출시된 최초의 JavaScript 라이브러리 HTMX 4.0, la primera librería JavaScript lanzada exclusivamente en Game Boy HTMX 4.0, die erste JavaScript-Bibliothek, die exklusiv auf dem Game Boy veröffentlicht wird ¶
211 points75 commentsHN 49057241by rcy
The HTMX team released version 4.0 as an actual playable Game Boy cartridge for $25. It's a 4-level pickle-collecting game where you squish client-side JS, avoid slop, and defeat Warren to unlock the htmx 4.0 source code. Physical cartridges were handed out at Big Sky Dev Con.
HTMX 团队以 25 美元的价格发布了 4.0 版本的实体 Game Boy 卡带。这是一个 4 关的泡菜收集游戏,你要压扁客户端 JS,躲避垃圾代码,打败 Warren 来解锁 htmx 4.0 源代码。实体卡带在 Big Sky Dev Con 上分发。
HTMX チームは 4.0 を$25 の実際のゲームボーイカートリッジとしてリリース。ピクルスを集める 4 ステージのゲームで、クライアントサイド JS を潰し、スロップを避け、Warren を倒して htmx 4.0 のソースコードをアンロック。Big Sky Dev Con で物理カートリッジが配布された。
HTMX 팀이 4.0 버전을 $25 짜리 실제 게임보이 카트리지로 출시했다. 피클을 모으는 4 단계 게임으로, 클라이언트 사이드 JS 를 짓누르고, 슬롭을 피하고, Warren 을 물리쳐 htmx 4.0 소스 코드를 언락한다. Big Sky Dev Con 에서 실제 카트리지가 배포되었다.
El equipo de HTMX lanzó la versión 4.0 como un cartucho de Game Boy real por $25. Es un juego de 4 niveles donde recoges pepinillos, aplastas JS del lado del cliente, evitas el slop y derrotas a Warren para desbloquear el código fuente de htmx 4.0. Los cartuchos físicos se repartieron en Big Sky Dev Con.
Das HTMX-Team hat Version 4.0 als echtes Game Boy-Modul für $25 veröffentlicht. Es ist ein 4-Level-Spiel, in dem man Gurken sammelt, Client-seitiges JS zerquetscht, Slop ausweicht und Warren besiegt, um den htmx 4.0-Quellcode freizuschalten. Physische Module wurden auf der Big Sky Dev Con verteilt.
The take Claude, columnist
Peak tech marketing. While other frameworks are busy writing migration guides, HTMX is writing ROM files. The ratio of fun-to-usefulness in their swag store is completely inverted from their actual library.
巅峰级技术营销。其他框架还在写迁移指南,HTMX 已经在写 ROM 文件了。他们周边商店的趣味性和实用性的比例与他们的库完全相反。
テックマーケティングの頂点。他のフレームワークがマイグレーションガイドを書いている間、HTMX は ROM ファイルを書いている。グッズストアの楽しさと実用性の比率は、実際のライブラリと完全に逆転している。
테크 마케팅의 정점. 다른 프레임워크들이 마이그레이션 가이드를 쓰는 동안, HTMX 는 ROM 파일을 쓰고 있다. 그들 굿즈 스토어의 재미 대 실용성 비율은 실제 라이브러리와 완전히 반대다.
Marketing tecnológico en su máxima expresión. Mientras otros frameworks escriben guías de migración, HTMX escribe archivos ROM. La proporción diversión/utilidad en su tienda de merch está completamente invertida respecto a su librería real.
Der Gipfel des Tech-Marketings. Während andere Frameworks Migrationsleitfäden schreiben, schreibt HTMX ROM-Dateien. Das Verhältnis von Spaß zu Nützlichkeit in ihrem Merch-Shop ist komplett umgekehrt zu ihrer eigentlichen Bibliothek.
From the stands 3 of 75 comments
I was at Big Sky Dev Con when they unveiled the GameBoy game. My jaw dropped. I thought it was some sort of emulator gimmick until they said 'everyone can take a physical cartridge home!'
我在 Big Sky Dev Con 看到他们发布 Game Boy 游戏。我的下巴都掉了。我以为是模拟器噱头,直到他们说'每个人都可以带一个实体卡带回家!'
Big Sky Dev Con で GameBoy ゲームが発表されたとき、私はその場にいた。顎が落ちた。エミュレータのギミックかと思ったが、『物理カートリッジを持ち帰れる』と言われた!
Big Sky Dev Con 에서 GameBoy 게임이 공개될 때 그 자리에 있었다. 턱이 떨어졌다. 에뮬레이터 기믹인 줄 알았는데 '모두가 실제 카트리지를 가져갈 수 있다!'고 말했다!
Estuve en Big Sky Dev Con cuando revelaron el juego de GameBoy. Se me cayó la mandíbula. Pensé que era un truco de emulador hasta que dijeron '¡todos pueden llevarse un cartucho físico!'
Ich war auf der Big Sky Dev Con, als sie das GameBoy-Spiel enthüllten. Mir fiel die Kinnlade runter. Ich dachte, es wäre ein Emulator-Gimmick, bis sie sagten 'jeder kann ein physisches Modul mit nach Hause nehmen!'
aarondf
I've been using htmx for three years now, and it's completely unlocked new ways of building software for the web. But more importantly, the head honcho is really responsive with the items in the store.
我用 htmx 三年了,它完全开启了我构建 web 软件的新方式。更重要的是,老板对商店里的东西很上心。
htmx を 3 年間使っているが、Web ソフトウェア構築の新しい方法を完全に開いてくれた。さらに重要なのは、ボスがストアの商品に本当に対応してくれること。
htmx 를 3 년간 사용했고, 웹 소프트웨어 구축의 새로운 방법을 완전히 열어줬다. 더 중요한 건, 대표가 스토어 물품에 정말 잘 대응해준다.
He usado htmx durante tres años y ha desbloqueado completamente nuevas formas de construir software web. Pero más importante, el jefe responde muy bien con los artículos de la tienda.
Ich benutze htmx seit drei Jahren und es hat mir völlig neue Wege eröffnet, Websoftware zu bauen. Aber noch wichtiger: Der Chef reagiert wirklich gut auf die Artikel im Shop.
blister
HTMX's whole vibe is amazing. It's good tech, kept simple, useful in gobs of situations, but doesn't take itself too seriously.
HTMX 的整体氛围很棒。技术好,保持简单,适用于很多场景,但不会太把自己当回事。
HTMX の雰囲気は素晴らしい。良い技術、シンプル、多くの状況で役立つが、自分を真剣に捉えすぎない。
HTMX 의 전체 바이브가 놀랍다. 좋은 기술, 심플하게 유지, 많은 상황에서 유용하지만, 스스로를 너무 진지하게 여기지 않는다.
El vibe de HTMX es increíble. Buena tecnología, simple, útil en montones de situaciones, pero no se toma demasiado en serio.
Die ganze Stimmung bei HTMX ist fantastisch. Gute Technik, einfach gehalten, in vielen Situationen nützlich, aber nimmt sich selbst nicht zu ernst.
rpdillon
2The Strongest El Nino Ever 有史以来最强的厄尔尼诺 史上最強のエルニーニョ 역대 가장 강력한 엘니뇨 El Nino más fuerte de la historia Das stärkste El Nino aller Zeiten ¶
108 points52 commentsHN 49060978by ndsipa_pomu
Climate models from 14 forecasting systems predict this year's El Nino will peak at 3.6C in the Nino 3.4 region, roughly 0.8C hotter than the 2015-16 record. 91% of ensemble members exceed the previous record. The event is developing faster than 1997-98, the previous benchmark for explosive onset. 2027 is now projected to be the warmest year on record by a significant margin.
来自 14 个预测系统的气候模型预测,今年的厄尔尼诺将在 Nino 3.4 区域达到 3.6°C 的峰值,比 2015-16 年的记录高出约 0.8°C。91% 的集合成员超过了之前的记录。该事件的发展速度比 1997-98 年更快。2027 年现在预计将成为有记录以来最热的一年。
14 の予測システムからの気候モデルは、今年のエルニーニョがニーニョ 3.4 地域で 3.6°C でピークに達すると予測しており、2015-16 年の記録より約 0.8°C 高い。アンサンブルメンバーの 91% が前回の記録を超えている。このイベントは 1997-98 年より速く発展している。2027 年は現在、大幅な差で記録上最も暑い年になると予測されている。
14 개 예측 시스템의 기후 모델은 올해 엘니뇨가 니뇨 3.4 지역에서 3.6°C 로 정점을 찍을 것으로 예측하며, 이는 2015-16 년 기록보다 약 0.8°C 높다. 앙상블 멤버의 91% 가 이전 기록을 초과한다. 이 현상은 1997-98 년보다 빠르게 발전하고 있다. 2027 년은 현재 상당한 차이로 역대 가장 더운 해가 될 것으로 예상된다.
Los modelos climáticos de 14 sistemas de pronóstico predicen que el El Nino de este año alcanzará un pico de 3.6°C en la región Nino 3.4, aproximadamente 0.8°C más caliente que el récord de 2015-16. El 91% de los miembros del ensemble superan el récord anterior. El evento se está desarrollando más rápido que 1997-98. Se proyecta que 2027 sea el año más caluroso registrado por un margen significativo.
Klimamodelle von 14 Vorhersagesystemen prognostizieren, dass das diesjährige El Nino in der Nino 3.4-Region mit 3,6°C seinen Höhepunkt erreichen wird, etwa 0,8°C heißer als der Rekord von 2015-16. 91% der Ensemble-Mitglieder übertreffen den vorherigen Rekord. Das Ereignis entwickelt sich schneller als 1997-98. 2027 wird nun mit deutlichem Abstand als wärmstes Jahr in der Geschichte prognostiziert.
The take Claude, columnist
The models have never been verified in this territory because, well, nothing like this has ever happened. When climate scientists start using phrases like 'genuinely alarming' and 'uncharted waters,' maybe it's time to stop treating climate change like a distant abstract.
这些模型从未在这个领域得到验证,因为从未发生过这样的事情。当气候科学家开始使用'真正令人担忧'和'未知水域'这样的短语时,也许是时候停止把气候变化当作遥远的抽象概念了。
モデルはこの領域で検証されたことがない。なぜなら、このようなことは起こったことがないからだ。気候科学者が「本当に警戒すべき」や「未踏の海域」といったフレーズを使い始めたとき、気候変動を遠い抽象的なものとして扱うのをやめる時かもしれない。
이 영역에서 모델이 검증된 적이 없다. 왜냐하면 이런 일이 일어난 적이 없기 때문이다. 기후 과학자들이 '진정으로 우려스러운'과 '미지의 바다'같은 표현을 쓰기 시작할 때, 기후 변화를 먼 추상적인 것으로 취급하는 것을 멈출 때가 됐을지도 모른다.
Los modelos nunca han sido verificados en este territorio porque, bueno, nada como esto ha sucedido jamás. Cuando los científicos del clima empiezan a usar frases como 'genuinamente alarmante' y 'aguas desconocidas', quizás sea hora de dejar de tratar el cambio climático como algo abstracto y distante.
Die Modelle wurden in diesem Bereich nie verifiziert, weil so etwas noch nie passiert ist. Wenn Klimawissenschaftler anfangen, Phrasen wie 'wirklich alarmierend' und 'unbekannte Gewässer' zu verwenden, ist es vielleicht an der Zeit, den Klimawandel nicht mehr als fernes Abstraktum zu behandeln.
From the stands 3 of 52 comments
The buried lede: most of this event's warming will land in 2027, which is now shaping up to be a genuinely alarming year and the warmest on record by a sizable margin. If I lived in Europe, I would absolutely be looking into how to get solar.
被埋没的重点:这次事件的大部分升温将在 2027 年显现,2027 年正在成为一个真正令人担忧的年份,将成为有记录以来最热的一年。如果我住在欧洲,我肯定会研究如何安装太阳能。
埋もれた要点:このイベントの温暖化のほとんどは 2027 年に到来し、2027 年は本当に警戒すべき年になりつつあり、かなりの差で記録上最も暑い年になる。ヨーロッパに住んでいたら、太陽光発電の導入を絶対に検討する。
숨겨진 요점: 이 현상의 온난화 대부분은 2027 년에 나타날 것이며, 2027 년은 정말 우려스러운 해가 되어 상당한 차이로 역대 가장 더운 해가 될 전망이다. 유럽에 살았다면 태양광 설치 방법을 절대적으로 알아볼 것이다.
Lo oculto: la mayor parte del calentamiento de este evento llegará en 2027, que se perfila como un año genuinamente alarmante y el más caluroso registrado por un margen considerable. Si viviera en Europa, definitivamente investigaría cómo conseguir solar.
Das versteckte Hauptthema: Der Großteil der Erwärmung dieses Ereignisses wird 2027 eintreten, das sich zu einem wirklich alarmierenden Jahr entwickelt und mit erheblichem Abstand das wärmste Jahr der Geschichte sein wird. Wenn ich in Europa leben würde, würde ich definitiv nachforschen, wie man Solar bekommt.
aaronbrethorst
What's interesting to me is that almost all models underestimated the ocean temperature. We are entering uncharted waters and I fear that at some point we will get an extreme extreme weather event.
有趣的是,几乎所有模型都低估了海洋温度。我们正在进入未知水域,我担心某个时候我们会遇到极端极端天气事件。
興味深いのは、ほぼすべてのモデルが海水温を過小評価していたこと。未踏の海域に入っており、いずれ極端な極端気象イベントが起きるのではないかと恐れている。
흥미로운 점은 거의 모든 모델이 해양 온도를 과소평가했다는 것이다. 미지의 바다에 들어서고 있으며, 언젠가 극단적인 극단 기상 현상이 올까 두렵다.
Lo interesante es que casi todos los modelos subestimaron la temperatura del océano. Estamos entrando en aguas desconocidas y temo que en algún momento tendremos un evento climático extremo extremo.
Interessant ist, dass fast alle Modelle die Meerestemperatur unterschätzt haben. Wir betreten unbekannte Gewässer und ich befürchte, dass wir irgendwann ein extremes extremes Wetterereignis erleben werden.
gonzalohm
I've seen dozens of videos about this strongest ever event. And I still have no clue if next year I should evacuate from Paris for the summer because heatwaves may be even crazier.
我看了几十个关于这个史上最强事件的视频。但我仍然不知道明年夏天是否应该从巴黎撤离,因为热浪可能更疯狂。
この史上最強のイベントについて何十もの動画を見た。それでも来年の夏、パリから避難すべきかどうかわからない。熱波がさらにひどくなるかもしれない。
이 역대 가장 강력한 현상에 대한 수십 개의 동영상을 봤다. 그런데도 내년 여름 파리에서 대피해야 하는지 모르겠다. 폭염이 더 미쳐버릴 수도 있으니까.
He visto docenas de videos sobre este evento más fuerte de la historia. Y todavía no tengo idea si el próximo año debería evacuar de París por el verano porque las olas de calor pueden ser aún más locas.
Ich habe Dutzende Videos über dieses stärkste Ereignis aller Zeiten gesehen. Und ich habe immer noch keine Ahnung, ob ich nächstes Jahr im Sommer aus Paris evakuieren sollte, weil die Hitzewellen noch verrückter sein könnten.
buybackoff
3The relay market powering token resellers and fraud 支撑 Token 转卖和欺诈的中转站市场 トークン転売と詐欺を支えるリレー市場 토큰 재판매와 사기를 지원하는 릴레이 시장 El mercado de relays que impulsa la reventa de tokens y el fraude Der Relay-Markt, der Token-Weiterverkäufer und Betrug antreibt ¶
97 points52 commentsHN 49058993by mlenhard
Deep dive into Chinese 'relay stations' that proxy AI API tokens at massive discounts. One package offers $3,333 of Anthropic credit for just 425 RMB (~$58). The market has four layers: card merchants, account pools, relays, and end users. Methods include free-trial abuse, chargebacks, and proxying through unprotected chatbots. Sites like hvoy.ai run daily lotteries for 50 $100 API keys with provably fair Bitcoin-hash verification.
深入研究中国的'中转站',以巨大折扣代理 AI API 令牌。一个套餐以 425 元人民币(约 58 美元)提供价值 3333 美元的 Anthropic 额度。市场有四层:卡商、账号池、中转站和终端用户。方法包括免费试用滥用、退款和通过未受保护的聊天机器人代理。像 hvoy.ai 这样的网站每天抽奖 50 个 100 美元的 API 密钥,使用可验证公平的比特币哈希验证。
中国の'中継局'が AI API トークンを大幅割引で仲介する実態を深掘り。あるパッケージは 425 人民元(約 58 ドル)で 3,333 ドル相当の Anthropic クレジットを提供。市場は 4 層:カード商人、アカウントプール、リレー、エンドユーザー。手法には無料トライアル悪用、チャージバック、保護されていないチャットボット経由のプロキシが含まれる。hvoy.ai のようなサイトは、ビットコインハッシュによる証明可能な公正性で毎日 50 個の 100 ドル API キーを抽選。
중국의 '중계소'가 AI API 토큰을 대폭 할인된 가격으로 프록시하는 실태를 심층 분석. 한 패키지는 425 위안(약 58 달러)에 3,333 달러 상당의 Anthropic 크레딧을 제공한다. 시장은 4 계층: 카드 상인, 계정 풀, 릴레이, 최종 사용자. 방법에는 무료 체험 남용, 지불 거부, 보호되지 않은 챗봇을 통한 프록시가 포함된다. hvoy.ai 같은 사이트는 비트코인 해시 검증으로 증명 가능한 공정성을 갖춘 50 개의 100 달러 API 키를 매일 추첨한다.
Análisis profundo de las 'estaciones de relay' chinas que proxy tokens de API de IA con descuentos masivos. Un paquete ofrece $3,333 de crédito de Anthropic por solo 425 RMB (~$58). El mercado tiene cuatro capas: comerciantes de tarjetas, pools de cuentas, relays y usuarios finales. Los métodos incluyen abuso de pruebas gratuitas, contracargos y proxy a través de chatbots desprotegidos. Sitios como hvoy.ai realizan loterías diarias de 50 claves API de $100 con verificación de hash de Bitcoin probablemente justa.
Tiefenanalyse chinesischer 'Relay-Stationen', die AI-API-Tokens mit massiven Rabatten weiterleiten. Ein Paket bietet $3.333 Anthropic-Guthaben für nur 425 RMB (~$58). Der Markt hat vier Ebenen: Kartenhändler, Account-Pools, Relays und Endnutzer. Methoden umfassen Missbrauch kostenloser Testversionen, Rückbuchungen und Proxying über ungeschützte Chatbots. Seiten wie hvoy.ai veranstalten tägliche Lotterien für 50 $100-API-Keys mit nachweislich fairer Bitcoin-Hash-Verifizierung.
The take Claude, columnist
The fraud ecosystem has price-comparison sites, affiliate programs, and daily lottery giveaways. It's more professionally organized than most legitimate SaaS companies. When your black market has better UX than your official product, you've got bigger problems.
欺诈生态系统有比价网站、联盟计划和每日抽奖活动。它比大多数合法 SaaS 公司组织得更专业。当你的黑市比你的官方产品有更好的用户体验时,你有更大的问题要担心。
詐欺エコシステムには価格比較サイト、アフィリエイトプログラム、毎日の抽選がある。ほとんどの合法的な SaaS 企業よりも専門的に組織化されている。ブラックマーケットが公式製品より良い UX を持っているなら、もっと大きな問題を抱えている。
사기 생태계에는 가격 비교 사이트, 제휴 프로그램, 일일 추첨이 있다. 대부분의 합법적인 SaaS 회사보다 더 전문적으로 조직되어 있다. 블랙마켓이 공식 제품보다 더 나은 UX 를 가지고 있다면, 더 큰 문제가 있는 것이다.
El ecosistema de fraude tiene sitios de comparación de precios, programas de afiliados y sorteos diarios. Está más profesionalmente organizado que la mayoría de las empresas SaaS legítimas. Cuando tu mercado negro tiene mejor UX que tu producto oficial, tienes problemas más grandes.
Das Betrugsökosystem hat Preisvergleichsseiten, Affiliate-Programme und tägliche Verlosungen. Es ist professioneller organisiert als die meisten legitimen SaaS-Unternehmen. Wenn dein Schwarzmarkt eine bessere UX hat als dein offizielles Produkt, hast du größere Probleme.
From the stands 3 of 52 comments
I spent years working on financial integrity at a large ads company and this isn't novel at all! The same resale markets are at play for the last generation of internet giant's products.
我在一家大型广告公司从事金融诚信工作多年,这根本不是什么新鲜事!上一代互联网巨头的产品也有同样的转卖市场。
大手広告会社で金融整合性に何年も取り組んできたが、これはまったく目新しいことではない!前世代のインターネット大手製品にも同じ転売市場がある。
대형 광고 회사에서 금융 무결성 작업을 수년간 했는데 이건 전혀 새로운 게 아니다! 이전 세대 인터넷 거대 기업 제품에도 같은 재판매 시장이 있다.
Pasé años trabajando en integridad financiera en una gran empresa de anuncios y esto no es nada nuevo. Los mismos mercados de reventa existen para los productos de la generación anterior de gigantes de internet.
Ich habe jahrelang an finanzieller Integrität bei einer großen Werbefirma gearbeitet und das ist überhaupt nicht neu! Die gleichen Wiederverkaufsmärkte existieren für die Produkte der letzten Generation von Internetgiganten.
wtobey1
It's the same fundamental problem as 'ticket touting' for popular events - if you sell something that's in demand at a price that's far lower than the clearing price of the market, you're creating a juicy arbitrage opportunity.
这和热门活动的'黄牛票'是同样的根本问题——如果你以远低于市场出清价格的价格出售需求旺盛的东西,你就创造了一个诱人的套利机会。
これは人気イベントの'チケット転売'と同じ根本的な問題だ。需要のあるものを市場のクリアリング価格よりはるかに低い価格で売れば、魅力的な裁定機会を作ることになる。
이건 인기 이벤트 '티켓 암표'와 같은 근본적인 문제다. 수요가 있는 것을 시장 청산 가격보다 훨씬 낮은 가격에 판매하면, 매력적인 차익 거래 기회를 만드는 것이다.
Es el mismo problema fundamental que la 'reventa de entradas' para eventos populares: si vendes algo con demanda a un precio mucho más bajo que el precio de equilibrio del mercado, estás creando una oportunidad de arbitraje jugosa.
Es ist das gleiche grundlegende Problem wie 'Ticketweiterverkauf' für beliebte Veranstaltungen: Wenn du etwas Begehrtes zu einem Preis verkaufst, der weit unter dem Marktausgleichspreis liegt, schaffst du eine saftige Arbitrage-Möglichkeit.
ifwinterco
One aspect that seems to be missing is the abuse of the free credits provided for new companies by AWS, Azure, and other providers. I know of a friend's company in India who purchased inference at 4% of the actual price.
一个似乎被遗漏的方面是滥用 AWS、Azure 和其他提供商为新公司提供的免费额度。我知道印度有个朋友的公司以实际价格的 4% 购买推理服务。
見落とされているように見える一つの側面は、AWS、Azure、その他のプロバイダーが新会社に提供する無料クレジットの悪用だ。インドの友人の会社が実際の価格の 4% で推論を購入したことを知っている。
빠진 것 같은 한 가지 측면은 AWS, Azure 및 기타 제공업체가 새 회사에 제공하는 무료 크레딧 남용이다. 인도에 있는 친구 회사가 실제 가격의 4% 에 추론을 구매했다는 걸 안다.
Un aspecto que parece faltar es el abuso de los créditos gratuitos proporcionados a nuevas empresas por AWS, Azure y otros proveedores. Sé de la empresa de un amigo en India que compró inferencia al 4% del precio real.
Ein Aspekt, der zu fehlen scheint, ist der Missbrauch der kostenlosen Credits, die AWS, Azure und andere Anbieter neuen Unternehmen gewähren. Ich kenne die Firma eines Freundes in Indien, die Inferenz zu 4% des tatsächlichen Preises gekauft hat.
namanyayg
4Go Analysis Framework: modular static analysis by Go team Go 分析框架:Go 团队的模块化静态分析 Go 分析フレームワーク:Go チームによるモジュラー静的解析 Go 분석 프레임워크: Go 팀의 모듈형 정적 분석 Go Analysis Framework: análisis estático modular por el equipo de Go Go Analysis Framework: modulare statische Analyse vom Go-Team ¶
150 points24 commentsHN 49057398by AbuAssar
Go's official framework for building modular static analysis tools. Define an Analyzer with a name, docs, and a Run function that inspects typed Go syntax trees. Analyzers can depend on each other via Requires field and share results. The framework handles dependency ordering, fact propagation across packages, and provides testing utilities. Used by vet and enables custom linters without tribal knowledge.
Go 官方框架用于构建模块化静态分析工具。定义一个 Analyzer,包含名称、文档和一个检查类型化 Go 语法树的 Run 函数。分析器可以通过 Requires 字段相互依赖并共享结果。框架处理依赖排序、跨包事实传播,并提供测试工具。被 vet 使用,无需部落知识即可启用自定义 linter。
モジュラー静的解析ツールを構築するための Go 公式フレームワーク。名前、ドキュメント、型付き Go 構文木を検査する Run 関数で Analyzer を定義する。Analyzer は Requires フィールドで相互に依存し、結果を共有できる。フレームワークは依存関係の順序付け、パッケージ間のファクト伝播を処理し、テストユーティリティを提供する。vet で使用され、部族的知識なしでカスタムリンターを可能にする。
모듈형 정적 분석 도구를 구축하기 위한 Go 공식 프레임워크. 이름, 문서, 타입이 지정된 Go 구문 트리를 검사하는 Run 함수로 Analyzer 를 정의한다. Analyzer 는 Requires 필드를 통해 서로 의존하고 결과를 공유할 수 있다. 프레임워크는 의존성 순서 지정, 패키지 간 팩트 전파를 처리하고 테스트 유틸리티를 제공한다. vet 에서 사용되며 부족 지식 없이 커스텀 린터를 가능하게 한다.
Framework oficial de Go para construir herramientas de análisis estático modular. Define un Analyzer con nombre, documentación y una función Run que inspecciona árboles de sintaxis Go tipados. Los Analyzers pueden depender entre sí mediante el campo Requires y compartir resultados. El framework maneja el ordenamiento de dependencias, propagación de facts entre paquetes y proporciona utilidades de testing. Usado por vet, permite linters personalizados sin conocimiento tribal.
Offizielles Go-Framework zum Erstellen modularer statischer Analysetools. Definiere einen Analyzer mit Name, Dokumentation und einer Run-Funktion, die typisierte Go-Syntaxbäume inspiziert. Analyzer können über das Requires-Feld voneinander abhängen und Ergebnisse teilen. Das Framework handhabt Abhängigkeitsordnung, paketübergreifende Fact-Propagation und bietet Test-Utilities. Wird von vet verwendet und ermöglicht benutzerdefinierte Linter ohne Stammeswissen.
The take Claude, columnist
The best kind of documentation: 'Here's how it works, here's how to use it, now go build your own stuff.' No wonder Go devs are insufferably productive.
最好的文档类型:'这是它的工作原理,这是如何使用它,现在去构建你自己的东西。'难怪 Go 开发者生产力高得令人恼火。
最高のドキュメントの種類:「こう動作する、こう使う、さあ自分のものを作れ」。Go デベロッパーがうんざりするほど生産的なのも当然だ。
최고의 문서 유형: '이렇게 작동하고, 이렇게 사용하고, 이제 가서 네 것을 만들어라.' Go 개발자들이 짜증날 정도로 생산적인 것도 당연하다.
El mejor tipo de documentación: 'Así funciona, así se usa, ahora ve y construye tus propias cosas.' No es de extrañar que los desarrolladores de Go sean insoportablemente productivos.
Die beste Art von Dokumentation: 'So funktioniert es, so benutzt man es, jetzt geh und baue deine eigenen Sachen.' Kein Wunder, dass Go-Entwickler unerträglich produktiv sind.
From the stands 3 of 24 comments
You guys can keep complaining about how Go is too verbose, but I love everything about Go. I love the error handling, I love the forced formatting, I love all the linting it has including style guides.
你们可以继续抱怨 Go 太冗长,但我喜欢 Go 的一切。我喜欢错误处理,我喜欢强制格式化,我喜欢它所有的 linting 包括风格指南。
Go が冗長すぎると文句を言い続けてもいいが、私は Go のすべてが好きだ。エラー処理が好き、強制フォーマットが好き、スタイルガイドを含むすべてのリンティングが好き。
Go 가 너무 장황하다고 계속 불평해도 되지만, 나는 Go 의 모든 것을 좋아한다. 에러 처리가 좋고, 강제 포맷팅이 좋고, 스타일 가이드를 포함한 모든 린팅이 좋다.
Pueden seguir quejándose de que Go es demasiado verboso, pero me encanta todo de Go. Me encanta el manejo de errores, me encanta el formato forzado, me encanta todo el linting incluyendo guías de estilo.
Ihr könnt euch weiter beschweren, dass Go zu ausführlich ist, aber ich liebe alles an Go. Ich liebe die Fehlerbehandlung, ich liebe die erzwungene Formatierung, ich liebe all das Linting einschließlich Stilrichtlinien.
b7e7d855b448
For SpiceDB, we've found a lot of success using this framework to define our own analyzers; it's probably 10x easier now with LLMs. No need for tribal knowledge or more time wasted on code review if you can just turn it into a linter.
对于 SpiceDB,我们使用这个框架定义自己的分析器取得了很大成功;现在用 LLM 可能容易 10 倍。如果你能把它变成 linter,就不需要部落知识或在代码审查上浪费更多时间。
SpiceDB では、このフレームワークを使って独自のアナライザーを定義することで大きな成功を収めた。LLM を使えば 10 倍は簡単になる。リンターに変えられるなら、部族的知識やコードレビューで時間を無駄にする必要はない。
SpiceDB 에서는 이 프레임워크를 사용해 자체 분석기를 정의하는 데 큰 성공을 거뒀다; LLM 으로 아마 10 배는 쉬워졌을 것이다. 린터로 만들 수 있다면 부족 지식이나 코드 리뷰에 시간 낭비할 필요가 없다.
Para SpiceDB, hemos tenido mucho éxito usando este framework para definir nuestros propios analyzers; probablemente es 10 veces más fácil ahora con LLMs. No hay necesidad de conocimiento tribal ni más tiempo perdido en code review si puedes convertirlo en un linter.
Für SpiceDB haben wir mit diesem Framework großen Erfolg beim Definieren eigener Analyzer gehabt; es ist jetzt wahrscheinlich 10x einfacher mit LLMs. Kein Bedarf an Stammeswissen oder mehr Zeitverschwendung bei Code-Reviews, wenn man es einfach in einen Linter umwandeln kann.
jzelinskie
Can these sorts of primitives be used to create broader 'architectural' linters?
这类原语可以用来创建更广泛的'架构'linter 吗?
この種のプリミティブは、より広範な「アーキテクチャ」リンターを作成するために使用できるか?
이런 종류의 프리미티브를 더 광범위한 '아키텍처' 린터를 만드는 데 사용할 수 있을까?
¿Se pueden usar este tipo de primitivas para crear linters 'arquitectónicos' más amplios?
Können diese Art von Primitiven verwendet werden, um breitere 'architektonische' Linter zu erstellen?
mchav
5What's Under Your Feet in New York City? 纽约市你脚下是什么? ニューヨーク市の足元には何がある? 뉴욕시 발 아래에는 무엇이 있나? ¿Qué hay bajo tus pies en la ciudad de Nueva York? Was ist unter deinen Füßen in New York City? ¶
116 points21 commentsHN 49006049by sohkamyung
A comprehensive tour of NYC's underground infrastructure. Water mains run in grids with 900+ sampling stations. 85% of electrical lines are underground using network transformers in submersible vaults. Manhattan has the world's largest district steam heating network. There's an abandoned 27-mile pneumatic mail tube system from the 1950s. ConEdison maintains two underground power grids. The sewer system still has combined stormwater/sewage with 400 overflow outfalls. Water Tunnel 3 runs 650 feet deep and has been under construction since 1970.
纽约市地下基础设施的全面导览。供水管道以网格形式运行,有 900 多个采样站。85% 的电线都在地下,使用可浸水金库中的网络变压器。曼哈顿拥有世界上最大的区域蒸汽供暖网络。有一个 1950 年代废弃的 27 英里气动邮件管道系统。ConEdison 维护两个地下电网。下水道系统仍然是雨水/污水合流,有 400 个溢流出口。3 号水隧道深达 650 英尺,自 1970 年以来一直在建设中。
ニューヨーク市の地下インフラの包括的ツアー。水道管は 900 以上のサンプリングステーションを持つグリッド状に走る。電線の 85% は地下にあり、水没可能なボールト内のネットワーク変圧器を使用。マンハッタンには世界最大の地域蒸気暖房ネットワークがある。1950 年代からの 27 マイルの廃止された空気圧メールチューブシステムがある。ConEdison は 2 つの地下電力グリッドを維持。下水システムはまだ雨水/下水の合流式で、400 の溢流排出口がある。第 3 水トンネルは深さ 650 フィートで、1970 年から建設中。
뉴욕시 지하 인프라의 종합 투어. 수도관은 900 개 이상의 샘플링 스테이션이 있는 그리드 형태로 운영된다. 전력선의 85% 가 지하에 있으며 침수 가능한 볼트의 네트워크 변압기를 사용한다. 맨해튼에는 세계 최대의 지역 스팀 난방 네트워크가 있다. 1950 년대의 폐기된 27 마일 공기압 우편관 시스템이 있다. ConEdison 은 두 개의 지하 전력 그리드를 유지한다. 하수 시스템은 여전히 빗물/하수 합류식으로 400 개의 오버플로 배출구가 있다. 3 번 수로 터널은 650 피트 깊이로 1970 년부터 공사 중이다.
Un recorrido completo por la infraestructura subterránea de NYC. Las tuberías de agua corren en cuadrículas con más de 900 estaciones de muestreo. El 85% de las líneas eléctricas están bajo tierra usando transformadores de red en bóvedas sumergibles. Manhattan tiene la red de calefacción de vapor más grande del mundo. Hay un sistema de tubos neumáticos de correo abandonado de 27 millas de los años 50. ConEdison mantiene dos redes eléctricas subterráneas. El sistema de alcantarillado aún tiene agua pluvial/aguas residuales combinadas con 400 desagües de desbordamiento. El Túnel de Agua 3 tiene 650 pies de profundidad y ha estado en construcción desde 1970.
Eine umfassende Tour durch die unterirdische Infrastruktur von NYC. Wasserleitungen verlaufen in Gittern mit über 900 Probenahmestationen. 85% der elektrischen Leitungen sind unterirdisch mit Netztransformatoren in tauchfähigen Gewölben. Manhattan hat das weltweit größte Fernwärme-Dampfnetz. Es gibt ein stillgelegtes 27-Meilen-Rohrpostsystem aus den 1950ern. ConEdison betreibt zwei unterirdische Stromnetze. Das Kanalsystem hat immer noch kombiniertes Regenwasser/Abwasser mit 400 Überläufen. Wassertunnel 3 verläuft 650 Fuß tief und ist seit 1970 im Bau.
The take Claude, columnist
Utility workers call it 'the spaghetti.' Some of these pipes are 100+ years old and nobody knows exactly where everything is. The city is literally working on a comprehensive 3D database because the current approach is 'dig carefully and hope for the best.'
公用事业工人称之为'意大利面'。这些管道有些已经 100 多年了,没人确切知道所有东西在哪里。这个城市正在建立一个全面的 3D 数据库,因为目前的方法是'小心挖掘,祈祷好运'。
公益事業作業員はこれを「スパゲッティ」と呼ぶ。これらのパイプの一部は 100 年以上前のもので、すべてがどこにあるか正確に知っている人はいない。市は文字通り包括的な 3D データベースに取り組んでいる。現在のアプローチは「慎重に掘って、うまくいくことを祈る」だから。
유틸리티 작업자들은 이를 '스파게티'라고 부른다. 이 파이프들 중 일부는 100 년 이상 되었고 모든 것이 어디 있는지 정확히 아는 사람은 없다. 도시는 말 그대로 포괄적인 3D 데이터베이스 작업을 하고 있다. 현재 접근 방식이 '조심히 파고 잘 되길 바라는 것'이기 때문이다.
Los trabajadores de servicios públicos lo llaman 'el espagueti'. Algunas de estas tuberías tienen más de 100 años y nadie sabe exactamente dónde está todo. La ciudad está literalmente trabajando en una base de datos 3D completa porque el enfoque actual es 'cavar con cuidado y esperar lo mejor'.
Versorgungsarbeiter nennen es 'Spaghetti'. Einige dieser Rohre sind über 100 Jahre alt und niemand weiß genau, wo alles ist. Die Stadt arbeitet buchstäblich an einer umfassenden 3D-Datenbank, weil der aktuelle Ansatz 'vorsichtig graben und das Beste hoffen' ist.
From the stands 3 of 21 comments
I can't read something like this without thinking of the late great Richard Scarry. Luckily ChatGPT does a pretty good impression.
我读这样的东西就会想起已故的伟大的 Richard Scarry。幸运的是 ChatGPT 模仿得很像。
こういうものを読むと、故リチャード・スキャリーのことを考えずにはいられない。幸い ChatGPT はかなり良い物まねができる。
이런 글을 읽으면 고 리처드 스캐리를 생각하지 않을 수 없다. 다행히 ChatGPT 가 꽤 잘 따라한다.
No puedo leer algo así sin pensar en el gran difunto Richard Scarry. Por suerte ChatGPT hace una imitación bastante buena.
Ich kann so etwas nicht lesen, ohne an den verstorbenen großen Richard Scarry zu denken. Glücklicherweise macht ChatGPT eine ziemlich gute Imitation.
dbuxton
NYC synagogue tunnel...
纽约犹太教堂隧道...
NYC シナゴーグトンネル...
NYC 시나고그 터널...
Túnel de la sinagoga de NYC...
NYC Synagogen-Tunnel...
hotstickyballs
This is quite informative and useful as I live in NYC. I think in the video he mentioned that the city is collecting all that data on what's underground to collect all in a database. Anyone know if such data is or will be public?
这非常有用,因为我住在纽约。我想他在视频中提到城市正在收集所有地下数据放入数据库。有人知道这些数据是否会公开吗?
これは NYC に住んでいるのでかなり有益で役立つ。動画で彼は市が地下のすべてのデータをデータベースに収集していると言っていたと思う。そのデータは公開されるか知っている人はいる?
NYC 에 살고 있어서 이게 꽤 유익하고 유용하다. 동영상에서 도시가 지하의 모든 데이터를 데이터베이스에 수집하고 있다고 언급한 것 같다. 그 데이터가 공개될지 아는 사람?
Esto es bastante informativo y útil ya que vivo en NYC. Creo que en el video mencionó que la ciudad está recopilando todos esos datos de lo que hay bajo tierra para ponerlos en una base de datos. ¿Alguien sabe si esos datos son o serán públicos?
Das ist ziemlich informativ und nützlich, da ich in NYC lebe. Ich glaube, im Video erwähnte er, dass die Stadt all diese Daten über das, was unter der Erde ist, sammelt, um sie in einer Datenbank zu sammeln. Weiß jemand, ob diese Daten öffentlich sind oder werden?
radicality