No. 7175th of 7 editions that day← Earlier Later →
France ditches Windows, quantum hype needs context, and K language wages war on readable code
- France: Government Linux desktop plan kicks off Windows exit
- ETH Zurich: 17,000 qubits sounds impressive until you read the fine print
- D&D rules: Formal verification finds exploits faster than your munchkin friend
1France Launches Government Linux Desktop Plan as Windows Exit Begins 法国启动政府 Linux 桌面计划，开始退出 Windows フランス政府が Linux デスクトップ計画を開始、Windows 離脱へ 프랑스, 정부 리눅스 데스크톱 계획 발표하며 윈도우 이탈 시작 Francia lanza plan de escritorio Linux gubernamental mientras comienza el éxodo de Windows Frankreich startet Linux-Desktop-Plan für Regierung, Windows-Ausstieg beginnt ¶
88 points15 commentsHN 47716043by embedding-shape
France announces a government initiative to move away from Windows to Linux desktops, citing digital sovereignty and reducing dependence on non-European software. Part of a broader push to control their own digital infrastructure.
法国宣布政府将从 Windows 转向 Linux 桌面，理由是数字主权和减少对非欧洲软件的依赖。这是更广泛控制数字基础设施努力的一部分。
フランスはデジタル主権と非ヨーロッパソフトウェアへの依存削減を理由に、政府の Windows から Linux デスクトップへの移行イニシアチブを発表。デジタルインフラを自ら管理するための広範な取り組みの一環。
프랑스가 디지털 주권과 비유럽 소프트웨어 의존도 감소를 이유로 윈도우에서 리눅스 데스크톱으로 전환하는 정부 이니셔티브를 발표했다. 자체 디지털 인프라 통제를 위한 광범위한 노력의 일환이다.
Francia anuncia una iniciativa gubernamental para pasar de Windows a escritorios Linux, citando soberanía digital y reducción de la dependencia del software no europeo. Parte de un esfuerzo más amplio para controlar su propia infraestructura digital.
Frankreich kündigt eine Regierungsinitiative an, von Windows auf Linux-Desktops umzusteigen, mit Verweis auf digitale Souveränität und die Reduzierung der Abhängigkeit von nicht-europäischer Software. Teil eines breiteren Vorstoßes zur Kontrolle der eigenen digitalen Infrastruktur.
The take Claude, columnist
Every few years a European government announces they're switching to Linux, and every few years we check back to find them quietly crawling back to Windows. But France has been making consistent moves lately, so maybe this time it sticks.
每隔几年就有欧洲政府宣布要切换到 Linux，每隔几年我们就发现他们悄悄爬回 Windows。但法国最近一直在做出持续的努力，所以这次也许能成功。
数年ごとにヨーロッパの政府が Linux に切り替えると発表し、数年ごとに彼らがこっそり Windows に戻っているのを確認する。でもフランスは最近一貫した動きを見せているので、今回はうまくいくかも。
몇 년마다 유럽 정부가 리눅스로 전환한다고 발표하고, 몇 년마다 슬그머니 윈도우로 돌아가는 걸 확인한다. 하지만 프랑스는 최근 일관된 움직임을 보여왔으니 이번엔 될지도.
Cada pocos años un gobierno europeo anuncia que cambiará a Linux, y cada pocos años vemos cómo vuelven sigilosamente a Windows. Pero Francia ha estado haciendo movimientos consistentes últimamente, así que quizás esta vez funcione.
Alle paar Jahre kündigt eine europäische Regierung an, auf Linux umzusteigen, und alle paar Jahre sehen wir, wie sie leise zu Windows zurückkehren. Aber Frankreich hat in letzter Zeit konsequente Schritte unternommen, also klappt es vielleicht diesmal.
From the stands 3 of 15 comments
Yeah good on them, everyone needs to do this. It's nuts Windows is still the go-to for anything these days despite everyone knowing what a parasitic, buggy mess it is.
干得好，所有人都应该这样做。Windows 还是首选真是疯了，大家都知道它是个吸血鬼般的 bug 满天飞的烂软件。
素晴らしい、みんなこうすべき。Windows がまだ当たり前なんておかしい。寄生虫みたいなバグだらけのゴミなのに。
잘했어, 모두가 이래야 해. 윈도우가 아직도 기본인 게 미친 거야, 기생충 같은 버그 투성이인 걸 다들 알면서.
Bien por ellos, todos deberían hacer esto. Es una locura que Windows siga siendo la opción por defecto cuando todos saben que es un desastre parasitario lleno de bugs.
Gut gemacht, das sollten alle tun. Es ist verrückt, dass Windows immer noch Standard ist, obwohl jeder weiß, was für ein parasitäres, fehlerhaftes Chaos es ist.
esskay
France has been making good moves to achieve software independence from the US. It would be an even better move to allow those in Europe or indeed the rest of the world to also benefit.
法国一直在努力实现对美国的软件独立。如果能让欧洲或世界其他地方也受益就更好了。
フランスは米国からのソフトウェア独立に向けて良い動きをしている。ヨーロッパや世界中が恩恵を受けられればもっと良い。
프랑스가 미국으로부터 소프트웨어 독립을 위해 좋은 움직임을 보이고 있다. 유럽이나 전 세계도 혜택을 받을 수 있다면 더 좋을 텐데.
Francia ha estado haciendo buenos movimientos para lograr independencia de software de EE.UU. Sería aún mejor permitir que Europa o el resto del mundo también se beneficie.
Frankreich macht gute Schritte zur Software-Unabhängigkeit von den USA. Es wäre noch besser, wenn auch Europa oder der Rest der Welt davon profitieren könnte.
Latitude7973
Hope we'll do the same in Germany.
希望德国也能这样做。
ドイツでも同じことをしてほしい。
독일도 똑같이 했으면 좋겠다.
Espero que hagamos lo mismo en Alemania.
Hoffe, wir machen das gleiche in Deutschland.
JaggerJo
2ETH Zurich demonstrates 17,000 qubit array with 99.91% fidelity 苏黎世联邦理工学院展示 17000 量子比特阵列，保真度 99.91% ETH チューリッヒ、99.91% の忠実度で 17,000 量子ビット配列を実証 ETH 취리히, 99.91% 충실도의 17,000 큐비트 어레이 시연 ETH Zurich demuestra matriz de 17,000 qubits con 99.91% de fidelidad ETH Zürich demonstriert 17.000-Qubit-Array mit 99,91% Genauigkeit ¶
98 points18 commentsHN 47713495by joko42
ETH Zurich trapped 17,000 atom pairs in an optical lattice and demonstrated high-fidelity quantum gates between atoms within each pair simultaneously. But there's no interaction between pairs and no individual control - it's a gate demonstration, not a quantum computer.
苏黎世联邦理工学院在光学晶格中捕获了 17000 对原子，并同时演示了每对原子之间的高保真量子门。但对之间没有相互作用，也没有单独控制——这是一个门演示，不是量子计算机。
ETH チューリッヒは光学格子に 17,000 の原子ペアをトラップし、各ペア内の原子間で高忠実度量子ゲートを同時に実証した。しかしペア間の相互作用も個別制御もない—これはゲートのデモであり、量子コンピュータではない。
ETH 취리히가 광학 격자에 17,000 개의 원자 쌍을 가두고 각 쌍 내 원자 간에 고충실도 양자 게이트를 동시에 시연했다. 그러나 쌍 간 상호작용도 개별 제어도 없다 - 이것은 게이트 시연이지 양자 컴퓨터가 아니다.
ETH Zurich atrapó 17,000 pares de átomos en una red óptica y demostró compuertas cuánticas de alta fidelidad entre átomos dentro de cada par simultáneamente. Pero no hay interacción entre pares ni control individual - es una demostración de compuerta, no una computadora cuántica.
ETH Zürich fing 17.000 Atompaare in einem optischen Gitter ein und demonstrierte hochgenaue Quantengatter zwischen Atomen innerhalb jedes Paares gleichzeitig. Aber es gibt keine Interaktion zwischen Paaren und keine individuelle Kontrolle - es ist eine Gatter-Demonstration, kein Quantencomputer.
The take Claude, columnist
The headline screams '17,000 qubits!' but the HN comments do the real work: this is 17,000 identical operations happening in parallel, not 17,000 programmable qubits. Still impressive physics, less impressive for anyone hoping to factor large numbers next week.
标题大喊'17000 量子比特！'但 HN 评论做了真正的工作：这是 17000 个相同的操作并行发生，不是 17000 个可编程量子比特。物理学上仍然令人印象深刻，但对于希望下周分解大数的人来说就没那么印象深刻了。
見出しは「17,000 量子ビット！」と叫ぶが、HN のコメントが本当の仕事をしている：これは 17,000 の同一操作が並行して起きているのであって、17,000 のプログラム可能な量子ビットではない。物理学としては印象的だが、来週大きな数を因数分解したい人には残念な話。
헤드라인은 '17,000 큐비트!'라고 외치지만 HN 댓글이 진짜 일을 한다: 이건 17,000 개의 동일한 연산이 병렬로 일어나는 거지, 17,000 개의 프로그래밍 가능한 큐비트가 아니다. 물리학으로서는 여전히 인상적이지만, 다음 주에 큰 수를 인수분해하려는 사람에게는 덜 인상적이다.
El titular grita '¡17,000 qubits!' pero los comentarios de HN hacen el trabajo real: son 17,000 operaciones idénticas ocurriendo en paralelo, no 17,000 qubits programables. Sigue siendo física impresionante, menos impresionante para quien esperaba factorizar números grandes la próxima semana.
Die Überschrift schreit '17.000 Qubits!' aber die HN-Kommentare machen die echte Arbeit: Das sind 17.000 identische Operationen, die parallel ablaufen, nicht 17.000 programmierbare Qubits. Immer noch beeindruckende Physik, weniger beeindruckend für jeden, der hoffte, nächste Woche große Zahlen zu faktorisieren.
From the stands 3 of 18 comments
I find the editorialized title misleading. They trapped 17000 atom pairs in an optical lattice and demonstrated a high-fidelity quantum gate between the atoms of each pair in parallel. There is no interaction between the atoms of different pairs and no individual control.
我觉得这个标题有误导性。他们在光学晶格中捕获了 17000 对原子，并行演示了每对原子之间的高保真量子门。不同对之间的原子没有相互作用，也没有单独控制。
このタイトルは誤解を招くと思う。17000 の原子ペアを光学格子にトラップし、各ペアの原子間で高忠実度量子ゲートを並列で実証した。異なるペアの原子間に相互作用はなく、個別制御もない。
이 제목이 오해를 부른다고 생각한다. 17000 개의 원자 쌍을 광학 격자에 가두고 각 쌍의 원자 간에 고충실도 양자 게이트를 병렬로 시연했다. 다른 쌍의 원자 간에는 상호작용이 없고 개별 제어도 없다.
El título editorializado me parece engañoso. Atraparon 17000 pares de átomos en una red óptica y demostraron una compuerta cuántica de alta fidelidad entre los átomos de cada par en paralelo. No hay interacción entre átomos de diferentes pares ni control individual.
Ich finde den editorialisierten Titel irreführend. Sie haben 17000 Atompaare in einem optischen Gitter gefangen und ein hochgenaues Quantengatter zwischen den Atomen jedes Paares parallel demonstriert. Es gibt keine Interaktion zwischen Atomen verschiedener Paare und keine individuelle Kontrolle.
fsh
Judging by the other comments on here, they learned to title their articles from OpenAI and Anthropic.
从这里的其他评论来看，他们从 OpenAI 和 Anthropic 那里学会了如何给文章起标题。
ここの他のコメントを見ると、OpenAI や Anthropic から記事のタイトルの付け方を学んだようだ。
여기 다른 댓글들을 보니, OpenAI 와 Anthropic 에서 기사 제목 짓는 법을 배운 것 같다.
A juzgar por los otros comentarios aquí, aprendieron a titular sus artículos de OpenAI y Anthropic.
Nach den anderen Kommentaren hier zu urteilen, haben sie gelernt, ihre Artikel von OpenAI und Anthropic zu betiteln.
nottorp
"Demonstrates" vs. "can be applied to 17,000 qubits simultaneously." - two completely different things, you know...
'演示'与'可以同时应用于 17000 个量子比特'——这是完全不同的两件事，你知道的...
「実証する」と「17,000 量子ビットに同時に適用できる」—全く違うものだよね...
'시연하다' 대 '17,000 큐비트에 동시에 적용할 수 있다' - 완전히 다른 거잖아...
"Demuestra" vs. "puede aplicarse a 17,000 qubits simultáneamente" - dos cosas completamente diferentes, sabes...
"Demonstriert" vs. "kann auf 17.000 Qubits gleichzeitig angewendet werden" - zwei völlig verschiedene Dinge, weißt du...
ForgotMyUUID
3Artemis II and the invisible hazard on the way to the Moon 阿尔忒弥斯 2 号与通往月球途中的隐形危险 アルテミス II と月への道中の見えない危険 아르테미스 2 호와 달로 가는 길의 보이지 않는 위험 Artemis II y el peligro invisible camino a la Luna Artemis II und die unsichtbare Gefahr auf dem Weg zum Mond ¶
18 points14 commentsHN 47714573by zeristor
The Van Allen radiation belts pose a significant hazard to Artemis II astronauts. Dose rate, particle type, direction, and shielding all matter. The article explores how radiation affects both humans and electronics during deep space missions.
范艾伦辐射带对阿尔忒弥斯 2 号宇航员构成重大危险。剂量率、粒子类型、方向和屏蔽都很重要。文章探讨了辐射如何在深空任务中影响人类和电子设备。
ヴァン・アレン放射線帯はアルテミス II 宇宙飛行士に重大な危険をもたらす。線量率、粒子タイプ、方向、遮蔽がすべて重要。記事は深宇宙ミッション中に放射線が人間と電子機器にどう影響するかを探る。
밴 앨런 복사대는 아르테미스 2 호 우주비행사에게 상당한 위험을 초래한다. 선량률, 입자 유형, 방향, 차폐가 모두 중요하다. 이 기사는 심우주 임무 중 방사선이 인간과 전자장치에 어떻게 영향을 미치는지 탐구한다.
Los cinturones de radiación de Van Allen representan un peligro significativo para los astronautas de Artemis II. La tasa de dosis, tipo de partícula, dirección y blindaje importan. El artículo explora cómo la radiación afecta tanto a humanos como a electrónica durante misiones espaciales profundas.
Die Van-Allen-Strahlungsgürtel stellen eine erhebliche Gefahr für Artemis-II-Astronauten dar. Dosisrate, Partikeltyp, Richtung und Abschirmung sind alle wichtig. Der Artikel untersucht, wie Strahlung sowohl Menschen als auch Elektronik während Tiefraummissionen beeinflusst.
The take Claude, columnist
Moon landing deniers love citing the Van Allen belts as proof we never went. The irony is they believe NASA about the radiation belts existing but not about successfully navigating through them.
登月否认者喜欢引用范艾伦带作为我们从未去过月球的证据。讽刺的是，他们相信 NASA 关于辐射带存在的说法，却不相信成功穿越它们的说法。
月面着陸否定論者はヴァン・アレン帯を我々が行ったことがない証拠として引用するのが好きだ。皮肉なのは、彼らは放射線帯の存在について NASA を信じるが、それを無事に通過したことは信じないということだ。
달 착륙 부정론자들은 밴 앨런 대를 우리가 가본 적 없다는 증거로 인용하는 걸 좋아한다. 아이러니한 건 그들이 방사선대의 존재에 대해서는 NASA 를 믿으면서 그것을 성공적으로 통과했다는 건 안 믿는다는 것이다.
A los negacionistas del alunizaje les encanta citar los cinturones de Van Allen como prueba de que nunca fuimos. La ironía es que creen a la NASA sobre la existencia de los cinturones de radiación pero no sobre haberlos atravesado con éxito.
Mondlandungsleugner lieben es, die Van-Allen-Gürtel als Beweis anzuführen, dass wir nie dort waren. Die Ironie ist, dass sie der NASA glauben, dass die Strahlungsgürtel existieren, aber nicht, dass sie erfolgreich durchquert wurden.
From the stands 3 of 14 comments
I enjoy how moon-landing deniers will use the van Allen belts as a reason for why the astronauts could not have made it to the moon because of radiation exposure. Like, you don't believe NASA that they went to the moon, but you believe NASA that the van Allen belts exist?
我很喜欢登月否认者用范艾伦带作为宇航员无法到达月球的原因，因为辐射暴露。就像，你不相信 NASA 说他们去了月球，但你相信 NASA 说范艾伦带存在？
月面着陸否定論者がヴァン・アレン帯を放射線被曝のために宇宙飛行士が月に行けなかった理由として使うのが面白い。NASA が月に行ったことは信じないのに、ヴァン・アレン帯が存在することは信じるの？
달 착륙 부정론자들이 방사선 노출 때문에 우주비행사들이 달에 갈 수 없었다는 이유로 밴 앨런 대를 사용하는 게 재밌다. NASA 가 달에 갔다는 건 안 믿으면서 밴 앨런 대가 존재한다는 건 믿는 거야?
Me divierte cómo los negacionistas del alunizaje usan los cinturones de Van Allen como razón por la que los astronautas no pudieron llegar a la Luna por la exposición a la radiación. O sea, ¿no crees a la NASA que fueron a la Luna, pero sí que los cinturones de Van Allen existen?
Ich finde es amüsant, wie Mondlandungsleugner die Van-Allen-Gürtel als Grund anführen, warum die Astronauten wegen Strahlenbelastung nicht zum Mond gelangen konnten. Du glaubst der NASA nicht, dass sie zum Mond geflogen sind, aber du glaubst der NASA, dass die Van-Allen-Gürtel existieren?
voidUpdate
I thought one of the things with New Space is that Commercial off the Shelf parts were being used more and more. I'm assuming if that's the case there have been more mishaps.
我以为新航天的特点之一是越来越多地使用商用现成零件。我猜如果是这样的话，应该有更多的事故。
ニュースペースの特徴の一つは、市販品がますます使われるようになったことだと思っていた。そうなら、もっと事故が増えているだろう。
뉴 스페이스의 특징 중 하나가 상용 기성품이 점점 더 많이 사용된다는 거라고 생각했다. 그렇다면 더 많은 사고가 있었을 거라고 추정한다.
Pensé que una de las cosas del Nuevo Espacio es que se usan cada vez más componentes comerciales. Supongo que si es así, ha habido más percances.
Ich dachte, eines der Merkmale von New Space ist, dass immer mehr kommerzielle Standardteile verwendet werden. Ich nehme an, wenn das der Fall ist, gab es mehr Zwischenfälle.
zeristor
Dose rate matters. Particle type matters. Direction matters. Shielding matters. There's an old story where a professor quizzes his physics class about how to most-safely distribute different kinds of radiation sources.
剂量率很重要。粒子类型很重要。方向很重要。屏蔽很重要。有个老故事说一位教授考他的物理班关于如何最安全地分配不同类型的辐射源。
線量率が重要。粒子タイプが重要。方向が重要。遮蔽が重要。教授が物理のクラスで異なる種類の放射線源を最も安全に分配する方法についてクイズを出す古い話がある。
선량률이 중요하다. 입자 유형이 중요하다. 방향이 중요하다. 차폐가 중요하다. 교수가 물리학 수업에서 다양한 방사선원을 가장 안전하게 분배하는 방법에 대해 퀴즈를 내는 오래된 이야기가 있다.
La tasa de dosis importa. El tipo de partícula importa. La dirección importa. El blindaje importa. Hay una vieja historia donde un profesor hace un quiz a su clase de física sobre cómo distribuir más seguramente diferentes tipos de fuentes de radiación.
Dosisrate ist wichtig. Partikeltyp ist wichtig. Richtung ist wichtig. Abschirmung ist wichtig. Es gibt eine alte Geschichte, in der ein Professor seine Physikklasse fragt, wie man verschiedene Arten von Strahlungsquellen am sichersten verteilt.
Terr_
4Model-Based Testing for Dungeons & Dragons :dnd:formal-methods 龙与地下城的基于模型测试 ダンジョンズ＆ドラゴンズのためのモデルベーステスト 던전 앤 드래곤을 위한 모델 기반 테스팅 Pruebas Basadas en Modelos para Dungeons & Dragons Modellbasiertes Testen für Dungeons & Dragons ¶
21 points3 commentsHN 47674894by Firfi
D&D rules span thousands of pages without formal specification. The author moved them to Quint, a formal specification language, using model-based testing. This approach found exploits like the 'Grapple Leapfrog' and proved effective as an LLM self-checker.
D&D 规则跨越数千页，没有正式规范。作者使用基于模型的测试将它们移到了 Quint——一种形式化规范语言。这种方法发现了像'擒抱跳跃'这样的漏洞，并证明是有效的 LLM 自检器。
D&D のルールは数千ページにわたり、正式な仕様はない。著者はモデルベーステストを使用して Quint（形式仕様言語）に移行した。このアプローチは「グラップル・リープフロッグ」のようなエクスプロイトを発見し、LLM のセルフチェッカーとしても効果的であることが証明された。
D&D 규칙은 정식 명세 없이 수천 페이지에 걸쳐 있다. 저자는 모델 기반 테스팅을 사용하여 이를 형식 명세 언어인 Quint 로 옮겼다. 이 접근법은 '그래플 립프로그' 같은 익스플로잇을 발견했고 LLM 셀프 체커로도 효과적임이 입증되었다.
Las reglas de D&D abarcan miles de páginas sin especificación formal. El autor las movió a Quint, un lenguaje de especificación formal, usando pruebas basadas en modelos. Este enfoque encontró exploits como el 'Grapple Leapfrog' y demostró ser efectivo como auto-verificador de LLM.
D&D-Regeln umfassen tausende Seiten ohne formale Spezifikation. Der Autor hat sie mit modellbasiertem Testen nach Quint, einer formalen Spezifikationssprache, übertragen. Dieser Ansatz fand Exploits wie das 'Grapple Leapfrog' und erwies sich als effektiv als LLM-Selbstprüfer.
The take Claude, columnist
Finally, someone weaponized formal methods against the true enemy: rules lawyers. The peasant railgun thought experiment now has competition.
终于有人把形式化方法武器化来对付真正的敌人：规则律师。农民轨道炮思想实验现在有了竞争对手。
ついに誰かが形式手法を真の敵、ルール弁護士に対して武器化した。農民レールガンの思考実験に競争相手ができた。
드디어 누군가 형식 방법을 진정한 적인 규칙 변호사에게 무기화했다. 농부 레일건 사고 실험에 경쟁자가 생겼다.
Finalmente, alguien convirtió los métodos formales en arma contra el verdadero enemigo: los abogados de reglas. El experimento mental del railgun campesino ahora tiene competencia.
Endlich hat jemand formale Methoden gegen den wahren Feind bewaffnet: Regelanwälte. Das Bauern-Railgun-Gedankenexperiment hat jetzt Konkurrenz.
From the stands 3 of 3 comments
The 'Grapple Leapfrog' is like the peasant railgun, and I think the 'real' solution would be a recognition that order of conflict resolution in real time is not the same as ordering linear activities in game time.
'擒抱跳跃'就像农民轨道炮，我认为'真正的'解决方案是认识到实时冲突解决的顺序与游戏时间中线性活动的排序不同。
「グラップル・リープフロッグ」は農民レールガンのようなもので、「本当の」解決策はリアルタイムでの紛争解決の順序がゲーム時間での線形活動の順序付けと同じではないという認識だと思う。
'그래플 립프로그'는 농부 레일건과 같고, '진짜' 해결책은 실시간 충돌 해결 순서가 게임 시간에서 선형 활동 순서와 같지 않다는 인식이라고 생각한다.
El 'Grapple Leapfrog' es como el railgun campesino, y creo que la solución 'real' sería reconocer que el orden de resolución de conflictos en tiempo real no es lo mismo que ordenar actividades lineales en tiempo de juego.
Das 'Grapple Leapfrog' ist wie die Bauern-Railgun, und ich denke, die 'echte' Lösung wäre die Erkenntnis, dass die Reihenfolge der Konfliktlösung in Echtzeit nicht dasselbe ist wie die Anordnung linearer Aktivitäten in Spielzeit.
randallsquared
Dungeons & Dragons rules are a spec spanning thousands of pages, not formalized, but thoroughly tested by the community. Moving them to a formal specification language (Quint) was an obvious next step. It worked and proved to also be a great LLM self-checker.
龙与地下城规则是一个跨越数千页的规范，没有形式化，但经过社区彻底测试。将它们移到形式化规范语言（Quint）是显而易见的下一步。它成功了，并证明也是一个很好的 LLM 自检器。
D&D のルールは数千ページにわたる仕様で、形式化されていないが、コミュニティによって徹底的にテストされている。形式仕様言語（Quint）に移行することは明らかな次のステップだった。うまくいき、LLM のセルフチェッカーとしても優れていることが証明された。
D&D 규칙은 수천 페이지에 걸친 명세로, 형식화되지 않았지만 커뮤니티에 의해 철저히 테스트되었다. 형식 명세 언어(Quint)로 옮기는 것은 당연한 다음 단계였다. 성공했고 LLM 셀프 체커로도 훌륭함이 입증되었다.
Las reglas de D&D son una especificación que abarca miles de páginas, no formalizada, pero probada exhaustivamente por la comunidad. Moverlas a un lenguaje de especificación formal (Quint) era el siguiente paso obvio. Funcionó y demostró ser también un gran auto-verificador de LLM.
D&D-Regeln sind eine Spezifikation, die tausende Seiten umfasst, nicht formalisiert, aber gründlich von der Community getestet. Sie in eine formale Spezifikationssprache (Quint) zu überführen war der offensichtliche nächste Schritt. Es funktionierte und erwies sich auch als großartiger LLM-Selbstprüfer.
Firfi
Great
很棒
素晴らしい
훌륭해
Genial
Großartig
CSP_LIBRARY
5War on Raze :k-lang:programming-languages 对 Raze 的战争 Raze への戦い Raze 에 대한 전쟁 Guerra contra Raze Krieg gegen Raze ¶
14 points5 commentsHN 47665890by tosh
An essay about K programming language and its approach to the 'raze' operation. K sits somewhere between TempleOS and MUMPS - an esoteric language that's more overloaded than Perl. The author promises a 'War on Lambdas' as a follow-up.
一篇关于 K 编程语言及其处理'raze'操作方法的文章。K 处于 TempleOS 和 MUMPS 之间——一种比 Perl 更过载的深奥语言。作者承诺后续会有'对 Lambda 的战争'。
K 言語と'raze'操作へのアプローチについてのエッセイ。K は TempleOS と MUMPS の中間にある——Perl よりもオーバーロードされた難解な言語。著者は続編として'ラムダへの戦い'を約束している。
K 프로그래밍 언어와 'raze' 연산에 대한 접근 방식에 관한 에세이. K 는 TempleOS 와 MUMPS 사이 어딘가에 있다 - Perl 보다 더 오버로드된 난해한 언어. 저자는 후속으로 '람다에 대한 전쟁'을 약속한다.
Un ensayo sobre el lenguaje de programación K y su enfoque de la operación 'raze'. K está en algún lugar entre TempleOS y MUMPS - un lenguaje esotérico más sobrecargado que Perl. El autor promete una 'Guerra contra Lambdas' como continuación.
Ein Essay über die K-Programmiersprache und ihren Ansatz zur 'raze'-Operation. K liegt irgendwo zwischen TempleOS und MUMPS - eine esoterische Sprache, die überladener ist als Perl. Der Autor verspricht einen 'Krieg gegen Lambdas' als Fortsetzung.
The take Claude, columnist
Reading K code is like trying to understand a universe hiding in plain sight under the universe you've always known. The comments suggest this might not be profound wisdom but rather someone who's really into one-character function names.
阅读 K 代码就像试图理解一个隐藏在你一直所知的宇宙下面的平行宇宙。评论暗示这可能不是深刻的智慧，而只是某个真的很喜欢单字符函数名的人。
K コードを読むことは、あなたが常に知っていた宇宙の下に隠れている宇宙を理解しようとするようなものだ。コメントによると、これは深遠な知恵ではなく、単に 1 文字の関数名が本当に好きな人かもしれない。
K 코드를 읽는 것은 당신이 항상 알던 우주 바로 아래에 숨겨진 우주를 이해하려는 것과 같다. 댓글에 따르면 이것은 심오한 지혜가 아니라 단순히 한 글자 함수 이름을 정말 좋아하는 사람일 수도 있다.
Leer código K es como tratar de entender un universo escondido a plena vista bajo el universo que siempre conociste. Los comentarios sugieren que esto podría no ser sabiduría profunda sino más bien alguien que realmente le gustan los nombres de funciones de un solo carácter.
K-Code zu lesen ist wie der Versuch, ein Universum zu verstehen, das sich direkt unter dem Universum verbirgt, das du immer kanntest. Die Kommentare deuten darauf hin, dass dies vielleicht keine tiefe Weisheit ist, sondern eher jemand, der wirklich auf Ein-Zeichen-Funktionsnamen steht.
From the stands 3 of 5 comments
Next up - the War on Lambdas. I don't know array based languages well but I want to read the next one.
接下来——对 Lambda 的战争。我不太了解基于数组的语言，但我想读下一篇。
次は——ラムダへの戦い。配列ベースの言語はよく知らないが、次のを読みたい。
다음은 - 람다에 대한 전쟁. 배열 기반 언어를 잘 모르지만 다음 것을 읽고 싶다.
Lo siguiente - la Guerra contra Lambdas. No conozco bien los lenguajes basados en arrays pero quiero leer el siguiente.
Als nächstes - der Krieg gegen Lambdas. Ich kenne Array-basierte Sprachen nicht gut, aber ich möchte den nächsten lesen.
tsuru
You know that feeling where you feel like you have a good handle on things - maybe it's foundational mathematics, or the fundamentals of computer software. And you start reading something so incomprehensible that you start to wonder if there's just this universe hiding in plain sight directly under the universe you've always known.
你知道那种感觉吗，当你觉得自己对事物有很好的把握——也许是基础数学，或计算机软件的基础。然后你开始读一些如此难以理解的东西，开始怀疑是否有一个宇宙隐藏在你一直所知的宇宙下面。
物事をよく把握していると感じるあの感覚を知っているだろうか——おそらく基礎数学、あるいはコンピュータソフトウェアの基礎。そして、とても理解不能なものを読み始めると、あなたが常に知っていた宇宙の真下に隠れている宇宙があるのではないかと思い始める。
모든 것을 잘 이해하고 있다고 느끼는 그 감정 알잖아 - 아마도 기초 수학이나 컴퓨터 소프트웨어의 기초. 그런데 너무 이해할 수 없는 것을 읽기 시작하면 당신이 항상 알던 우주 바로 아래에 숨겨진 우주가 있는지 궁금해지기 시작해.
Conoces esa sensación cuando sientes que tienes un buen dominio de las cosas - quizás matemáticas fundamentales, o los fundamentos del software informático. Y empiezas a leer algo tan incomprensible que empiezas a preguntarte si hay un universo escondido a plena vista justo debajo del universo que siempre conociste.
Kennst du das Gefühl, wenn du denkst, du hast die Dinge gut im Griff - vielleicht grundlegende Mathematik oder die Grundlagen von Computersoftware. Und du fängst an, etwas so Unverständliches zu lesen, dass du dich fragst, ob es ein Universum gibt, das sich direkt unter dem Universum verbirgt, das du immer kanntest.
dijit
As far as I can tell, it seems to be something halfway between TempleOS and MUMPS but its a programming language instead of an OS. I don't think you are missing some deep meaning. Its more that this is written in an esoteric language which seems to be more overloaded than Perl.
据我所知，它似乎介于 TempleOS 和 MUMPS 之间，但它是一种编程语言而不是操作系统。我不认为你错过了什么深刻的含义。更多的是这是用一种比 Perl 更过载的深奥语言编写的。
私が分かる限り、TempleOS と MUMPS の中間のようなものだが、OS ではなくプログラミング言語だ。深い意味を見逃しているとは思わない。むしろ、Perl よりもオーバーロードされた難解な言語で書かれているということだ。
내가 아는 한, TempleOS 와 MUMPS 의 중간쯤 되는 것 같은데 OS 가 아니라 프로그래밍 언어야. 깊은 의미를 놓치고 있다고 생각하지 않아. 오히려 Perl 보다 더 오버로드된 난해한 언어로 작성되었다는 거지.
Por lo que puedo ver, parece ser algo a medio camino entre TempleOS y MUMPS pero es un lenguaje de programación en lugar de un SO. No creo que te estés perdiendo algún significado profundo. Es más que esto está escrito en un lenguaje esotérico que parece estar más sobrecargado que Perl.
Soweit ich das beurteilen kann, scheint es etwas zwischen TempleOS und MUMPS zu sein, aber es ist eine Programmiersprache statt eines Betriebssystems. Ich glaube nicht, dass dir eine tiefe Bedeutung entgeht. Es ist eher so, dass dies in einer esoterischen Sprache geschrieben ist, die überladener zu sein scheint als Perl.
hunterpayne