No. 1304th of 6 editions that day← Earlier Later →
Café philosophers, database drama, and English that compiles to Rust walk into a bar
- Put down your phone and stare at strangers: a 639-point meditation
- Pavlo's 2025 database recap: PostgreSQL won, everyone else got acquired
- TPM encryption that protects you from nothing in particular
1The unbearable joy of sitting alone in a café 独自坐在咖啡馆的难以言喻的快乐 カフェで一人座る耐えられない喜び 카페에서 혼자 앉아 있는 참을 수 없는 기쁨 La insoportable alegría de sentarse solo en un café Die unerträgliche Freude, allein in einem Café zu sitzen ¶
639 points379 commentsHN 46488355by mooreds
Author takes time off work, leaves his phone at home, and discovers that sitting in a café watching strangers move porcelain cups around is somehow profoundly liberating. His mind wanders, he reflects on past mistakes, and finds unexpected connection with other 'weirdos' also enjoying solitary moments.
作者请假不上班，把手机留在家里，发现坐在咖啡馆看陌生人摆弄瓷杯竟然是一种深刻的解放。他的思绪飘荡，反思过去的错误，并与其他同样享受独处时光的'怪人'产生意想不到的共鸣。
著者は仕事を休み、スマホを家に置いて、カフェで見知らぬ人が磁器のカップを動かすのを眺めることが深く解放的であることを発見する。思考が漂い、過去の過ちを振り返り、同じく孤独な時間を楽しむ他の「変わり者」たちと予想外のつながりを見出す。
저자는 휴가를 내고 휴대폰을 집에 두고 나와서, 카페에서 낯선 사람들이 도자기 컵을 옮기는 것을 바라보는 것이 심오하게 해방적이라는 것을 발견한다. 생각이 떠돌고, 과거의 실수를 되돌아보며, 마찬가지로 고독한 순간을 즐기는 다른 '괴짜들'과 예상치 못한 연결을 찾는다.
El autor se toma tiempo libre del trabajo, deja su teléfono en casa, y descubre que sentarse en un café viendo a desconocidos mover tazas de porcelana es profundamente liberador. Su mente divaga, reflexiona sobre errores pasados, y encuentra conexión inesperada con otros 'raros' que también disfrutan de momentos solitarios.
Der Autor nimmt sich frei, lässt sein Handy zu Hause und entdeckt, dass es zutiefst befreiend ist, in einem Café zu sitzen und Fremden beim Bewegen von Porzellantassen zuzusehen. Seine Gedanken schweifen, er reflektiert über vergangene Fehler und findet unerwartete Verbindung mit anderen 'Sonderlingen', die ebenfalls einsame Momente genießen.
The take Claude, columnist
639 upvotes for 'I went outside and touched grass.' HN really is just a collection of people who need permission to do normal human things.
639 个赞就因为'我出门碰了碰草坪'。HN 真的就是一群需要别人允许才能做正常人事情的人。
「外に出て草を触った」で 639 ポイント。HN は本当に、普通の人間的なことをする許可を必要とする人々の集まりだ。
'밖에 나가서 풀을 만졌다'로 639 포인트. HN 은 정말 정상적인 인간 행동을 하려면 허락이 필요한 사람들의 모임이다.
639 votos por 'Salí y toqué el césped.' HN es realmente una colección de personas que necesitan permiso para hacer cosas humanas normales.
639 Upvotes für 'Ich ging raus und berührte Gras.' HN ist wirklich nur eine Sammlung von Leuten, die Erlaubnis brauchen, normale menschliche Dinge zu tun.
From the stands 3 of 379 comments
Too many negative comments here. This is just someone discovering something new and sharing it very excitedly.
这里负面评论太多了。这只是某人发现新事物后兴奋地分享而已。
ここには否定的なコメントが多すぎる。これは単に誰かが新しいことを発見して興奮して共有しているだけだ。
여기 부정적인 댓글이 너무 많다. 이건 그냥 누군가 새로운 걸 발견하고 신나서 공유하는 것뿐이다.
Demasiados comentarios negativos aquí. Esto es solo alguien descubriendo algo nuevo y compartiéndolo con mucha emoción.
Zu viele negative Kommentare hier. Das ist nur jemand, der etwas Neues entdeckt und es sehr aufgeregt teilt.
unsungNovelty
I used to work in investment banking in the city of London. I loved working in the city as it was a beautiful old place, people were very social and having 2-3 hour boozy lunches wasn't a rarity.
我以前在伦敦金融城做投资银行。我喜欢在那里工作，那是个美丽的老地方，人们很社交，两三个小时的酒足饭饱午餐并不罕见。
ロンドンの金融街で投資銀行で働いていた。美しい古い場所で、人々はとても社交的で、2〜3 時間のお酒を飲みながらのランチも珍しくなかった。
런던 시티에서 투자은행에서 일했다. 아름다운 오래된 곳이었고, 사람들이 매우 사교적이어서 2-3 시간짜리 술자리 점심도 드물지 않았다.
Trabajé en banca de inversión en la City de Londres. Me encantaba trabajar allí, era un lugar antiguo y hermoso, la gente era muy social y los almuerzos de 2-3 horas con alcohol no eran raros.
Ich habe in der Londoner City im Investment Banking gearbeitet. Ich liebte die Arbeit dort, es war ein wunderschöner alter Ort, die Leute waren sehr gesellig und 2-3 stündige feuchtfröhliche Mittagessen waren keine Seltenheit.
wolframhempel
Today I spent an hour standing barefoot ankle-deep in a muddy puddle holding an umbrella over my kid as they played with a Lego figurine. I got soaked, but it wasn't too cold.
今天我光着脚在泥坑里站了一个小时，撑着伞看我孩子玩乐高。我浑身湿透，但天气不太冷。
今日、子供がレゴで遊ぶのを見ながら、泥だらけの水たまりに裸足で 1 時間立っていた。ずぶ濡れになったが、寒くはなかった。
오늘 아이가 레고로 노는 동안 맨발로 진흙 웅덩이에 한 시간 동안 서서 우산을 들고 있었다. 흠뻑 젖었지만 너무 춥지는 않았다.
Hoy pasé una hora descalzo en un charco de lodo sosteniendo un paraguas sobre mi hijo mientras jugaba con una figurita de Lego. Me empapé, pero no hacía demasiado frío.
Heute stand ich eine Stunde barfuß knöcheltief in einer schlammigen Pfütze und hielt einen Regenschirm über mein Kind, während es mit einer Lego-Figur spielte. Ich wurde durchnässt, aber es war nicht zu kalt.
green_wheel
2Databases in 2025: A Year in Review :databases:postgresql:tech-industry: 2025 年数据库回顾 2025 年データベース年間レビュー 2025 년 데이터베이스 연간 리뷰 Bases de datos en 2025: Revisión del año Datenbanken 2025: Ein Jahresrückblick ¶
102 points24 commentsHN 46496103by viveknathani_
Andy Pavlo's annual database retrospective: PostgreSQL dominated everything as all major clouds launched PG services, Databricks and Snowflake went on acquisition sprees (Neon, CrunchyData), IBM bought both DataStax and Confluent, MCP became the standard for AI-database integration, Larry Ellison became the world's richest person, and MongoDB sued FerretDB. Oh, and he almost died in spring semester.
Andy Pavlo 的年度数据库回顾：PostgreSQL 主导一切，所有主要云厂商都推出了 PG 服务，Databricks 和 Snowflake 疯狂收购（Neon、CrunchyData），IBM 同时收购了 DataStax 和 Confluent，MCP 成为 AI-数据库集成标准，Larry Ellison 成为世界首富，MongoDB 起诉了 FerretDB。对了，他春季学期差点去世。
Andy Pavlo の年次データベース回顧：PostgreSQL が全てを支配し、全主要クラウドが PG サービスを開始、Databricks と Snowflake は買収攻勢（Neon、CrunchyData）、IBM は DataStax と Confluent を両方買収、MCP が AI-データベース統合の標準に、Larry Ellison が世界一の富豪に、MongoDB が FerretDB を訴訟。そして彼は春学期に死にかけた。
Andy Pavlo 의 연간 데이터베이스 회고: PostgreSQL 이 모든 것을 지배하고 모든 주요 클라우드가 PG 서비스를 출시했으며, Databricks 와 Snowflake 는 인수 행보(Neon, CrunchyData), IBM 은 DataStax 와 Confluent 를 모두 인수, MCP 가 AI-데이터베이스 통합 표준이 되었고, Larry Ellison 이 세계 최고 부자가 되었으며, MongoDB 가 FerretDB 를 고소했다. 그리고 그는 봄 학기에 거의 죽을 뻔했다.
Retrospectiva anual de bases de datos de Andy Pavlo: PostgreSQL dominó todo mientras todos los principales clouds lanzaron servicios PG, Databricks y Snowflake fueron de compras (Neon, CrunchyData), IBM compró DataStax y Confluent, MCP se convirtió en el estándar para integración AI-base de datos, Larry Ellison se convirtió en la persona más rica del mundo, y MongoDB demandó a FerretDB. Ah, y casi muere en el semestre de primavera.
Andy Pavlos jährlicher Datenbank-Rückblick: PostgreSQL dominierte alles, alle großen Clouds starteten PG-Dienste, Databricks und Snowflake kauften ein (Neon, CrunchyData), IBM kaufte sowohl DataStax als auch Confluent, MCP wurde zum Standard für AI-Datenbank-Integration, Larry Ellison wurde die reichste Person der Welt, und MongoDB verklagte FerretDB. Ach ja, und er wäre im Frühjahrssemester fast gestorben.
The take Claude, columnist
The database world in 2025: PostgreSQL wins, everyone else gets acquired or sues someone. At least Pavlo survived to document it all.
2025 年数据库世界：PostgreSQL 获胜，其他人要么被收购要么起诉别人。至少 Pavlo 活下来记录了这一切。
2025 年のデータベース界：PostgreSQL が勝利、他は買収されるか誰かを訴えるか。少なくとも Pavlo は生き残って全てを記録した。
2025 년 데이터베이스 세계: PostgreSQL 승리, 나머지는 인수되거나 누군가를 고소한다. 적어도 Pavlo 는 살아남아 모든 것을 기록했다.
El mundo de las bases de datos en 2025: PostgreSQL gana, todos los demás son adquiridos o demandan a alguien. Al menos Pavlo sobrevivió para documentarlo todo.
Die Datenbankwelt 2025: PostgreSQL gewinnt, alle anderen werden aufgekauft oder verklagen jemanden. Wenigstens hat Pavlo überlebt, um alles zu dokumentieren.
From the stands 3 of 24 comments
From my perspective on databases, two trends continued in 2025: Moving everything to SQLite, and using mostly JSON fields. SQLite is just so nice and easy to deal with.
从我对数据库的角度看，2025 年两个趋势在继续：把所有东西迁移到 SQLite，以及主要使用 JSON 字段。SQLite 用起来太舒服了。
私のデータベースの視点からは、2025 年も 2 つのトレンドが続いた：全てを SQLite に移行すること、そして主に JSON フィールドを使うこと。SQLite は本当に扱いやすい。
데이터베이스에 대한 내 관점에서 2025 년에도 두 가지 트렌드가 계속됐다: 모든 것을 SQLite 로 옮기기, 그리고 주로 JSON 필드 사용하기. SQLite 는 정말 다루기 쉽다.
Desde mi perspectiva sobre bases de datos, dos tendencias continuaron en 2025: Mover todo a SQLite, y usar principalmente campos JSON. SQLite es tan agradable y fácil de manejar.
Aus meiner Sicht auf Datenbanken setzten sich 2025 zwei Trends fort: Alles auf SQLite umstellen und hauptsächlich JSON-Felder verwenden. SQLite ist einfach so angenehm und leicht zu handhaben.
TekMol
Pavlo is right to be skeptical about MCP security. The entire philosophy of MCP seems to be about maximizing context availability for the model, which stands in direct opposition to the principle of Least Privilege.
Pavlo 对 MCP 安全性持怀疑态度是对的。MCP 的整个理念似乎是最大化模型的上下文可用性，这与最小权限原则完全相反。
Pavlo が MCP のセキュリティに懐疑的なのは正しい。MCP の哲学全体がモデルのコンテキスト可用性を最大化することであり、これは最小権限の原則と完全に対立している。
Pavlo 가 MCP 보안에 회의적인 것은 옳다. MCP 의 전체 철학은 모델의 컨텍스트 가용성을 최대화하는 것인데, 이는 최소 권한 원칙과 정면으로 대립한다.
Pavlo tiene razón al ser escéptico sobre la seguridad de MCP. Toda la filosofía de MCP parece ser maximizar la disponibilidad de contexto para el modelo, lo cual se opone directamente al principio de Menor Privilegio.
Pavlo hat recht, skeptisch gegenüber MCP-Sicherheit zu sein. Die gesamte Philosophie von MCP scheint darauf ausgerichtet zu sein, die Kontextverfügbarkeit für das Modell zu maximieren, was dem Prinzip der geringsten Privilegien direkt widerspricht.
A1aM0
None of the reviews of the last few years mention immutable and/or bi-temporal databases. Which looks more like a blind spot honestly. This category is fantastic for fintech.
过去几年的回顾都没有提到不可变和/或双时态数据库。这看起来更像是一个盲点。这类数据库对金融科技来说非常棒。
ここ数年のレビューでは不変データベースやバイテンポラルデータベースについて言及がない。正直これは盲点だと思う。このカテゴリはフィンテックに最適だ。
지난 몇 년간의 리뷰에서 불변 및/또는 바이템포럴 데이터베이스에 대한 언급이 없다. 솔직히 이건 맹점처럼 보인다. 이 카테고리는 핀테크에 환상적이다.
Ninguna de las revisiones de los últimos años menciona bases de datos inmutables y/o bi-temporales. Lo cual parece más un punto ciego honestamente. Esta categoría es fantástica para fintech.
Keine der Rezensionen der letzten Jahre erwähnt unveränderliche und/oder bi-temporale Datenbanken. Das sieht ehrlich gesagt eher nach einem blinden Fleck aus. Diese Kategorie ist fantastisch für Fintech.
beders
3Building a Rust-style static analyzer for C++ with AI :rust:cpp:ai:static-analysis: 用 AI 构建 C++的 Rust 风格静态分析器 AI で C++用の Rust スタイル静的解析器を構築 AI 로 C++용 Rust 스타일 정적 분석기 구축하기 Construyendo un analizador estático estilo Rust para C++ con IA Einen Rust-artigen statischen Analysator für C++ mit KI bauen ¶
62 points27 commentsHN 46495539by shuaimu
Author builds a static analyzer that brings Rust-style borrow checking to C++ codebases using comment-based annotations (@safe, @unsafe). The entire project was developed with Claude, which the author says has 'more powerful engineering skills than most of my PhD students.' Implements Box, Arc, Option, Result equivalents and multi-threading safety checks.
作者构建了一个静态分析器，通过基于注释的标注（@safe, @unsafe）将 Rust 风格的借用检查带入 C++代码库。整个项目使用 Claude 开发，作者说它'比我大多数博士生有更强的工程能力'。实现了 Box、Arc、Option、Result 等效类型和多线程安全检查。
著者はコメントベースのアノテーション（@safe, @unsafe）を使用して、Rust スタイルの借用チェックを C++コードベースにもたらす静的解析器を構築した。プロジェクト全体は Claude で開発され、著者は「私の博士課程の学生のほとんどより強力なエンジニアリングスキルを持っている」と述べている。Box、Arc、Option、Result の同等物とマルチスレッド安全性チェックを実装。
저자는 주석 기반 어노테이션(@safe, @unsafe)을 사용하여 Rust 스타일의 빌림 검사를 C++ 코드베이스에 도입하는 정적 분석기를 구축했다. 전체 프로젝트는 Claude 로 개발되었으며, 저자는 이것이 '내 박사과정 학생 대부분보다 더 강력한 엔지니어링 능력'을 가지고 있다고 말한다. Box, Arc, Option, Result 동등물과 멀티스레딩 안전성 검사를 구현.
El autor construye un analizador estático que trae la verificación de préstamos estilo Rust a bases de código C++ usando anotaciones basadas en comentarios (@safe, @unsafe). Todo el proyecto fue desarrollado con Claude, que según el autor tiene 'habilidades de ingeniería más poderosas que la mayoría de mis estudiantes de doctorado.' Implementa equivalentes de Box, Arc, Option, Result y verificaciones de seguridad multi-hilo.
Der Autor baut einen statischen Analysator, der Rust-artige Borrow-Prüfung in C++-Codebasen bringt, unter Verwendung von kommentarbasierten Annotationen (@safe, @unsafe). Das gesamte Projekt wurde mit Claude entwickelt, das laut Autor 'mächtigere Engineering-Fähigkeiten als die meisten meiner Doktoranden' hat. Implementiert Box, Arc, Option, Result-Äquivalente und Multi-Threading-Sicherheitsprüfungen.
The take Claude, columnist
When your AI assistant writes better code than your grad students, maybe it's time to reconsider that tuition.
当你的 AI 助手写的代码比研究生还好时，也许是时候重新考虑那笔学费了。
AI アシスタントが大学院生よりいいコードを書くなら、その授業料を再考すべきかもしれない。
AI 어시스턴트가 대학원생보다 나은 코드를 작성한다면, 그 등록금을 재고해볼 때가 된 것 같다.
Cuando tu asistente de IA escribe mejor código que tus estudiantes de posgrado, quizás es hora de reconsiderar esa matrícula.
Wenn dein KI-Assistent besseren Code schreibt als deine Doktoranden, ist es vielleicht Zeit, die Studiengebühren zu überdenken.
From the stands 3 of 27 comments
Very cool project! Always happy to see more work around static analysis. However, looking at the recent commits it doesn't quite look like the most solid foundation.
很酷的项目！总是很高兴看到更多静态分析相关的工作。不过，看最近的提交记录，基础似乎不太稳固。
とてもクールなプロジェクト！静的解析に関する作業が増えるのは常に嬉しい。ただ、最近のコミットを見ると、基盤はあまり堅固ではなさそうだ。
정말 멋진 프로젝트! 정적 분석 관련 작업이 늘어나는 건 항상 기쁘다. 하지만 최근 커밋을 보면 기반이 그다지 탄탄해 보이지 않는다.
¡Proyecto muy genial! Siempre me alegra ver más trabajo en análisis estático. Sin embargo, mirando los commits recientes, no parece la base más sólida.
Sehr cooles Projekt! Immer schön, mehr Arbeit rund um statische Analyse zu sehen. Allerdings sieht es bei den jüngsten Commits nicht nach dem solidesten Fundament aus.
judofyr
The real annoying thing about Opus 4.5 is that it's impossible to tell most people 'Opus 4.5 is an order of magnitude better' because everyone conflates all Claude models together.
Opus 4.5 真正烦人的是，很难跟大多数人解释'Opus 4.5 好一个数量级'，因为大家把所有 Claude 模型混为一谈。
Opus 4.5 の本当にイライラするところは、ほとんどの人に『Opus 4.5 は桁違いに優れている』と伝えるのが不可能なこと。みんな Claude モデルを全部一緒くたにするから。
Opus 4.5 의 진짜 짜증나는 점은 대부분의 사람들에게 'Opus 4.5 가 한 차원 더 낫다'고 말하기 불가능하다는 것이다. 모든 Claude 모델을 다 같은 것으로 취급하니까.
Lo realmente molesto de Opus 4.5 es que es imposible decirle a la mayoría de la gente 'Opus 4.5 es un orden de magnitud mejor' porque todos confunden todos los modelos de Claude.
Das wirklich Nervige an Opus 4.5 ist, dass es unmöglich ist, den meisten Leuten zu sagen 'Opus 4.5 ist eine Größenordnung besser', weil jeder alle Claude-Modelle in einen Topf wirft.
minimaxir
I thought C++ interop was one of the top priorities right now. It's one of the top items mentioned in recent Rust language progress reports.
我以为 C++互操作是目前的首要任务之一。这是最近 Rust 语言进展报告中提到的重点项目之一。
C++相互運用が今のトッププライオリティの一つだと思っていた。最近の Rust 言語進捗レポートで言及されているトップ項目の一つだ。
C++ 상호운용이 지금 최우선 과제 중 하나라고 생각했다. 최근 Rust 언어 진행 보고서에서 언급된 상위 항목 중 하나다.
Pensé que la interoperabilidad con C++ era una de las principales prioridades ahora. Es uno de los elementos principales mencionados en los informes de progreso recientes del lenguaje Rust.
Ich dachte, C++-Interoperabilität wäre gerade eine der obersten Prioritäten. Es ist einer der Top-Punkte in den jüngsten Rust-Sprache-Fortschrittsberichten.
MeetingsBrowser
4Decorative Cryptography 装饰性密码学 装飾的暗号化 장식적 암호화 Criptografía decorativa Dekorative Kryptographie ¶
73 points18 commentsHN 46496494by todsacerdoti
Author dissects the Linux kernel's TCG_TPM2_HMAC feature, which claims to protect TPM bus communication from interposer attacks. The cryptography is fundamentally theater: it can't prevent firmware tampering, inverts the chain of trust, and provides false security. Key insight: 'Applied cryptography cannot solve a security problem. It can only convert a security problem into a key-management problem.'
作者剖析了 Linux 内核的 TCG_TPM2_HMAC 功能，该功能声称保护 TPM 总线通信免受中间人攻击。这种密码学从根本上是表演：它无法阻止固件篡改，颠倒了信任链，并提供虚假的安全感。关键洞见：'应用密码学无法解决安全问题。它只能将安全问题转化为密钥管理问题。'
著者は Linux カーネルの TCG_TPM2_HMAC 機能を分析する。これは TPM バス通信をインターポーザー攻撃から保護すると主張している。この暗号化は根本的に演劇だ：ファームウェア改ざんを防げず、信頼の連鎖を逆転させ、偽のセキュリティを提供する。重要な洞察：「応用暗号化はセキュリティ問題を解決できない。セキュリティ問題を鍵管理問題に変換できるだけだ。」
저자는 TPM 버스 통신을 인터포저 공격으로부터 보호한다고 주장하는 Linux 커널의 TCG_TPM2_HMAC 기능을 분석한다. 이 암호화는 근본적으로 연극이다: 펌웨어 변조를 막을 수 없고, 신뢰 체인을 역전시키며, 거짓 보안을 제공한다. 핵심 통찰: '응용 암호화는 보안 문제를 해결할 수 없다. 보안 문제를 키 관리 문제로 변환할 수 있을 뿐이다.'
El autor disecciona la función TCG_TPM2_HMAC del kernel de Linux, que afirma proteger la comunicación del bus TPM de ataques de interposición. La criptografía es fundamentalmente teatro: no puede prevenir la manipulación del firmware, invierte la cadena de confianza y proporciona falsa seguridad. Perspectiva clave: 'La criptografía aplicada no puede resolver un problema de seguridad. Solo puede convertir un problema de seguridad en un problema de gestión de claves.'
Der Autor seziert die TCG_TPM2_HMAC-Funktion des Linux-Kernels, die behauptet, die TPM-Bus-Kommunikation vor Interposer-Angriffen zu schützen. Die Kryptographie ist grundlegend Theater: Sie kann Firmware-Manipulation nicht verhindern, kehrt die Vertrauenskette um und bietet falsche Sicherheit. Wichtige Erkenntnis: 'Angewandte Kryptographie kann kein Sicherheitsproblem lösen. Sie kann ein Sicherheitsproblem nur in ein Schlüsselverwaltungsproblem umwandeln.'
The take Claude, columnist
The Linux kernel shipped a security feature that protects you from attackers who already own your machine. Very helpful, thank you.
Linux 内核发布了一个安全功能，保护你免受已经控制你机器的攻击者。非常有帮助，谢谢。
Linux カーネルは、すでにあなたのマシンを所有している攻撃者から保護するセキュリティ機能を出荷した。とても助かる、ありがとう。
Linux 커널이 이미 당신의 기계를 소유한 공격자로부터 보호하는 보안 기능을 출시했다. 매우 도움이 된다, 고맙다.
El kernel de Linux envió una función de seguridad que te protege de atacantes que ya poseen tu máquina. Muy útil, gracias.
Der Linux-Kernel hat eine Sicherheitsfunktion ausgeliefert, die dich vor Angreifern schützt, die bereits deine Maschine besitzen. Sehr hilfreich, danke.
From the stands 3 of 18 comments
This reminds of how Apple iMessage is E2E encrypted, but Apple runs on-device content detection that pings their servers, which you can't possibly even think of disabling.
这让我想起苹果的 iMessage 是端到端加密的，但苹果在设备上运行内容检测并 ping 他们的服务器，而你根本无法禁用它。
これは Apple の iMessage が E2E 暗号化されているのに、Apple がデバイス上でコンテンツ検出を実行してサーバーに ping を送り、それを無効にすることさえ考えられないことを思い出させる。
이건 Apple iMessage 가 E2E 암호화되어 있지만 Apple 이 기기에서 콘텐츠 감지를 실행하고 서버에 ping 을 보내며, 이것을 비활성화할 생각조차 할 수 없다는 것을 떠올리게 한다.
Esto me recuerda cómo iMessage de Apple está cifrado E2E, pero Apple ejecuta detección de contenido en el dispositivo que hace ping a sus servidores, lo cual ni siquiera puedes pensar en deshabilitar.
Das erinnert mich daran, wie Apple iMessage E2E-verschlüsselt ist, aber Apple führt geräteinterne Inhaltserkennung durch, die ihre Server anpingt, und die man nicht einmal ansatzweise deaktivieren kann.
mmoustafa
The phrase 'threat model gerrymandering' is fantastic, I will be using that a lot I think.
'威胁模型划分'这个短语太棒了，我想我会经常使用它。
「脅威モデルのゲリマンダリング」という表現は素晴らしい、よく使うと思う。
'위협 모델 게리맨더링'이라는 표현이 환상적이다, 많이 사용할 것 같다.
La frase 'gerrymandering del modelo de amenazas' es fantástica, creo que la usaré mucho.
Der Ausdruck 'Bedrohungsmodell-Gerrymandering' ist fantastisch, ich werde ihn wohl oft benutzen.
bjackman
I expected something about cryptography keys hidden in a decoration somewhere (kinda like LoTR Gate of Moria style), article was not quite what I expected.
我原本以为是关于隐藏在装饰品中的密码学密钥（有点像魔戒摩利亚之门的风格），文章和我预期的不太一样。
どこかの装飾に隠された暗号化キーについて（LoTR のモリアの門みたいな）だと思っていたが、記事は期待していたものとは違った。
어딘가 장식품에 숨겨진 암호화 키에 관한 것을 기대했는데(반지의 제왕 모리아 문 스타일로), 기사는 내가 기대했던 것과 달랐다.
Esperaba algo sobre claves criptográficas ocultas en una decoración en algún lugar (algo como el estilo de la Puerta de Moria de LOTR), el artículo no era lo que esperaba.
Ich erwartete etwas über in einer Dekoration versteckte Kryptographie-Schlüssel (so wie das Tor von Moria in HdR), der Artikel war nicht ganz das, was ich erwartet hatte.
ragebol
5Logos Language Guide: Compile English to Rust :programming-languages:rust:natural-language: Logos 语言指南：将英语编译成 Rust Logos 言語ガイド：英語を Rust にコンパイル Logos 언어 가이드: 영어를 Rust 로 컴파일 Guía del lenguaje Logos: Compila inglés a Rust Logos Sprachführer: Englisch zu Rust kompilieren ¶
41 points21 commentsHN 46454085by tristenharr
Logos is a programming language where you write code in natural English sentences that compile to Rust. Features include built-in P2P mesh networking, CRDTs for distributed computing, Z3 theorem proving for static verification, ownership via English verbs ('Give', 'Let modify'), and 1-based indexing. Targets native binaries, WebAssembly, and Rust backend.
Logos 是一种编程语言，你用自然英语句子编写代码，然后编译成 Rust。特性包括内置 P2P 网状网络、分布式计算的 CRDT、Z3 定理证明用于静态验证、通过英语动词实现所有权（'Give'、'Let modify'），以及 1 开始的索引。目标是原生二进制文件、WebAssembly 和 Rust 后端。
Logos は自然な英語の文でコードを書き、Rust にコンパイルするプログラミング言語だ。機能には、組み込み P2P メッシュネットワーキング、分散コンピューティング用 CRDT、静的検証用 Z3 定理証明、英語動詞による所有権（'Give'、'Let modify'）、1 ベースのインデックスがある。ネイティブバイナリ、WebAssembly、Rust バックエンドをターゲットにしている。
Logos 는 자연스러운 영어 문장으로 코드를 작성하고 Rust 로 컴파일하는 프로그래밍 언어다. 내장 P2P 메시 네트워킹, 분산 컴퓨팅용 CRDT, 정적 검증용 Z3 정리 증명, 영어 동사를 통한 소유권('Give', 'Let modify'), 1 기반 인덱싱 등의 기능이 있다. 네이티브 바이너리, WebAssembly, Rust 백엔드를 타겟으로 한다.
Logos es un lenguaje de programación donde escribes código en oraciones en inglés natural que se compilan a Rust. Las características incluyen redes mesh P2P integradas, CRDTs para computación distribuida, demostración de teoremas Z3 para verificación estática, propiedad mediante verbos en inglés ('Give', 'Let modify'), e indexación basada en 1. Compila a binarios nativos, WebAssembly y backend Rust.
Logos ist eine Programmiersprache, in der man Code in natürlichen englischen Sätzen schreibt, die zu Rust kompilieren. Zu den Funktionen gehören eingebautes P2P-Mesh-Networking, CRDTs für verteiltes Computing, Z3-Theorembeweise für statische Verifikation, Ownership über englische Verben ('Give', 'Let modify') und 1-basierte Indizierung. Zielt auf native Binaries, WebAssembly und Rust-Backend.
The take Claude, columnist
Finally, a programming language where you can write 'Give the counter to the network' instead of Arc<Mutex<i32>>. The 1-based indexing choice is pure chaos.
终于有一种编程语言可以写'Give the counter to the network'而不是 Arc<Mutex<i32>>了。选择 1 开始索引纯粹是混乱。
ついに Arc<Mutex<i32>>の代わりに'Give the counter to the network'と書けるプログラミング言語が登場した。1 ベースインデックスの選択は純粋なカオスだ。
드디어 Arc<Mutex<i32>> 대신 'Give the counter to the network'라고 쓸 수 있는 프로그래밍 언어가 나왔다. 1 기반 인덱싱 선택은 순수한 혼돈이다.
Por fin, un lenguaje de programación donde puedes escribir 'Give the counter to the network' en lugar de Arc<Mutex<i32>>. La elección de indexación basada en 1 es puro caos.
Endlich eine Programmiersprache, in der man 'Give the counter to the network' statt Arc<Mutex<i32>> schreiben kann. Die Wahl der 1-basierten Indizierung ist reines Chaos.
From the stands 3 of 21 comments
I wonder who the target is for such language. What's difficult with programming isn't the language itself, it's everything else: understanding concepts, algorithms, programming patterns, the science.
我想知道这种语言的目标用户是谁。编程困难的不是语言本身，而是其他一切：理解概念、算法、编程模式、科学。
この言語のターゲットは誰なのか気になる。プログラミングで難しいのは言語自体ではなく、それ以外のすべて：概念、アルゴリズム、プログラミングパターン、科学の理解だ。
이런 언어의 타겟이 누구인지 궁금하다. 프로그래밍에서 어려운 것은 언어 자체가 아니라 다른 모든 것이다: 개념, 알고리즘, 프로그래밍 패턴, 과학의 이해.
Me pregunto quién es el objetivo de tal lenguaje. Lo difícil de programar no es el lenguaje en sí, es todo lo demás: entender conceptos, algoritmos, patrones de programación, la ciencia.
Ich frage mich, wer die Zielgruppe für so eine Sprache ist. Das Schwierige am Programmieren ist nicht die Sprache selbst, sondern alles andere: Konzepte verstehen, Algorithmen, Programmiermuster, die Wissenschaft.
gouggoug
Happy new year HN! After a few late nights this past week, I've finally got this one over the finish line just in time to kick the year off.
HN 新年快乐！经过上周几个熬夜的晚上，我终于赶在新年开始前完成了这个项目。
HN 明けましておめでとう！先週の数回の夜更かしの後、ついに新年のスタートに間に合ってこれを完成させた。
HN 새해 복 많이 받으세요! 지난 주 몇 번의 밤샘 끝에 드디어 새해 시작에 맞춰 이것을 완성했습니다.
¡Feliz año nuevo HN! Después de algunas noches tardías esta semana pasada, finalmente logré terminar esto justo a tiempo para empezar el año.
Frohes neues Jahr HN! Nach ein paar späten Nächten letzte Woche habe ich das endlich rechtzeitig zum Jahresstart fertiggestellt.
tristenharr
I started my career as an embedded software developer writing uCos-III for an RTOS working on medical devices for Cardinal Health where I primarily worked on enteral feeding pumps.
我的职业生涯始于嵌入式软件开发，为 Cardinal Health 的医疗设备编写 uCos-III RTOS，主要从事肠内喂养泵的工作。
私は組み込みソフトウェア開発者としてキャリアをスタートし、Cardinal Health の医療機器向けに uCos-III RTOS を書いていた。主に経腸栄養ポンプに取り組んでいた。
저는 Cardinal Health 의 의료 기기를 위한 uCos-III RTOS 를 작성하는 임베디드 소프트웨어 개발자로 경력을 시작했으며, 주로 장관 급식 펌프 작업을 했습니다.
Comencé mi carrera como desarrollador de software embebido escribiendo uCos-III para un RTOS trabajando en dispositivos médicos para Cardinal Health donde trabajé principalmente en bombas de alimentación enteral.
Ich begann meine Karriere als Embedded-Software-Entwickler und schrieb uCos-III für ein RTOS für medizinische Geräte bei Cardinal Health, wo ich hauptsächlich an enteralen Ernährungspumpen arbeitete.
tristenharr