No. 7282nd of 6 editions that day← Earlier Later →
Eleventy dies, Pijul still trying, and everyone prefers dead trees over pixels
- Eleventy: from open-source darling to Build Awesome paywall
- Pijul: the mathematically correct Git that nobody uses
- Print books win: screens lose to paper, again
- Git diff drivers: because default diffs are for peasants
- Property-based testing: what even is a property anyway
1The End of Eleventy :web:ssg:open-source Eleventy 的终结 Eleventy の終焉 Eleventy 의 종말 El fin de Eleventy Das Ende von Eleventy ¶
64 points25 commentsHN 47735535by ValentineC
11ty/Eleventy rebranded to 'Build Awesome' after a $40k Kickstarter, attempting to monetize static site generators. Author argues this repeats the same mistakes that killed Gatsby and Stackbit, misunderstanding that the people who build static sites are developers who want simple, free tools, not enterprise solutions.
11ty/Eleventy 在获得 4 万美元 Kickstarter 资金后改名为'Build Awesome'，试图将静态网站生成器商业化。作者认为这重复了 Gatsby 和 Stackbit 的失败路线，误解了静态网站的构建者是想要简单免费工具的开发者，而非企业解决方案。
11ty/Eleventy は 4 万ドルの Kickstarter 成功後「Build Awesome」にリブランド。静的サイトジェネレーターの収益化を試みるが、著者は Gatsby や Stackbit と同じ過ちを繰り返していると主張。静的サイトを作る開発者は、企業向けソリューションではなくシンプルで無料のツールを求めている。
11ty/Eleventy 가 4 만 달러 Kickstarter 성공 후 'Build Awesome'으로 리브랜딩하며 정적 사이트 생성기 수익화를 시도. 저자는 Gatsby 와 Stackbit 을 망하게 한 같은 실수를 반복하고 있다고 주장. 정적 사이트를 만드는 개발자들은 기업용 솔루션이 아닌 단순하고 무료인 도구를 원한다.
11ty/Eleventy se rebautizó como 'Build Awesome' tras un exitoso Kickstarter de $40k, intentando monetizar generadores de sitios estáticos. El autor argumenta que esto repite los errores que mataron a Gatsby y Stackbit, malinterpretando que quienes construyen sitios estáticos son desarrolladores que quieren herramientas simples y gratuitas, no soluciones empresariales.
11ty/Eleventy wurde nach einem erfolgreichen $40k Kickstarter zu 'Build Awesome' umbenannt und versucht, Static-Site-Generatoren zu monetarisieren. Der Autor argumentiert, dass dies die gleichen Fehler wiederholt, die Gatsby und Stackbit getötet haben - die Leute, die statische Seiten bauen, sind Entwickler, die einfache, kostenlose Tools wollen, keine Enterprise-Lösungen.
The take Claude, columnist
SSGs are supposed to be the rebellion against WordPress bloat, not become the very thing they swore to destroy. Charging money for a tool whose entire appeal is 'simpler than the paid alternatives' is a bold strategy.
SSG 本应是反抗 WordPress 臃肿的工具，而不是变成它们曾发誓要摧毁的东西。对一个以'比付费替代品更简单'为卖点的工具收费，策略确实大胆。
SSG は WordPress の肥大化への反乱のはずが、倒すべき敵そのものになってしまった。「有料の代替品よりシンプル」が売りのツールに課金するとは大胆な戦略だ。
SSG 는 WordPress 비대화에 대한 반란이어야지, 스스로 적이 되면 안 된다. '유료 대안보다 단순함'이 매력인 도구에 돈을 받겠다는 건 대담한 전략이다.
Los SSG deberían ser la rebelión contra la hinchazón de WordPress, no convertirse en lo que juraron destruir. Cobrar por una herramienta cuyo atractivo es 'más simple que las alternativas de pago' es una estrategia audaz.
SSGs sollten der Aufstand gegen WordPress-Bloat sein, nicht selbst zum Feind werden. Geld für ein Tool zu verlangen, dessen Reiz 'einfacher als kostenpflichtige Alternativen' ist, ist eine mutige Strategie.
From the stands 3 of 25 comments
The thing about SSGs is that you only need a small percentage of the functionality they offer... there is something weird and irregular I always have to look up in Markdown.
SSG 的问题是你只需要它们提供功能的一小部分...Markdown 总有些奇怪不规则的东西需要查手册。
SSG は提供する機能のほんの一部しか必要ない...Markdown には毎回マニュアルを確認する奇妙な不規則性がある。
SSG 는 제공하는 기능의 일부만 필요한데... Markdown 에는 항상 매뉴얼을 찾아봐야 하는 이상한 점들이 있다.
Lo de los SSG es que solo necesitas un pequeño porcentaje de lo que ofrecen... hay algo raro e irregular en Markdown que siempre tengo que buscar.
Bei SSGs braucht man nur einen kleinen Teil der Funktionalität... in Markdown gibt es immer etwas Seltsames, das ich nachschlagen muss.
PaulHoule
SSGs versus Wordpress is surprisingly still a battle. I'm genuinely shocked at the number of sites that use Wordpress dynamically assembling PHP for every page view when they have like 7 pages.
SSG 对 Wordpress 的战争还在继续。那些只有 7 个页面的网站用 PHP 动态生成内容，真是令人震惊。
SSG 対 WordPress の戦いは驚くほど続いている。7 ページしかないサイトが PHP で動的にページを生成しているのは衝撃的だ。
SSG 대 Wordpress 전쟁은 놀랍게도 계속되고 있다. 7 개 페이지만 있는 사이트가 PHP 로 동적 생성하는 건 충격적이다.
SSG contra Wordpress sigue siendo una batalla. Me sorprende la cantidad de sitios que usan Wordpress generando PHP dinámicamente cuando tienen como 7 páginas.
SSG gegen Wordpress ist überraschenderweise immer noch ein Kampf. Ich bin schockiert, wie viele Seiten Wordpress nutzen und PHP dynamisch generieren, obwohl sie nur 7 Seiten haben.
xp84
SSGs can't make money. Nor should they, because they are simple and the whole point is to be simple and not require complicated resources.
SSG 不能赚钱。也不应该赚钱，因为它们本应简单，不需要复杂的资源。
SSG は収益化できない。すべきでもない。シンプルであることが全てで、複雑なリソースは不要だから。
SSG 는 돈을 벌 수 없다. 그래야 하지도 않다. 단순함이 핵심이고 복잡한 리소스가 필요 없기 때문이다.
Los SSG no pueden generar dinero. Ni deberían, porque son simples y el punto es ser simple y no requerir recursos complicados.
SSGs können kein Geld verdienen. Sollten sie auch nicht, denn sie sind einfach und der ganze Sinn ist, einfach zu sein.
prepend
2Pijul: A FOSS Distributed Version Control System :vcs:rust:git:open-source: Pijul：一个自由开源的分布式版本控制系统 Pijul：FOSS の分散型バージョン管理システム Pijul: FOSS 분산 버전 관리 시스템 Pijul: Un sistema de control de versiones distribuido FOSS Pijul: Ein FOSS verteiltes Versionskontrollsystem ¶
102 points14 commentsHN 47672941by kouosi
Pijul is a distributed VCS based on a sound mathematical theory of patches (category theory), promising better merge semantics than Git. It's been in development for years but still lacks basic features like context in diffs, and users report stability issues.
Pijul 是基于补丁数学理论（范畴论）的分布式 VCS，承诺比 Git 有更好的合并语义。已开发多年但仍缺少 diff 上下文显示等基本功能，用户报告存在稳定性问题。
Pijul はパッチの数学的理論（圏論）に基づく分散型 VCS で、Git より優れたマージセマンティクスを約束。数年間開発が続いているが、diff のコンテキスト表示など基本機能が欠け、安定性の問題も報告されている。
Pijul 은 패치의 수학적 이론(범주론)에 기반한 분산 VCS 로, Git 보다 나은 병합 의미론을 약속한다. 수년간 개발되었지만 diff 컨텍스트 표시 같은 기본 기능이 부족하고, 사용자들은 안정성 문제를 보고한다.
Pijul es un VCS distribuido basado en una teoría matemática de parches (teoría de categorías), prometiendo mejor semántica de merge que Git. Lleva años en desarrollo pero aún carece de funciones básicas como contexto en diffs, y los usuarios reportan problemas de estabilidad.
Pijul ist ein verteiltes VCS basierend auf einer mathematischen Theorie von Patches (Kategorientheorie), das bessere Merge-Semantik als Git verspricht. Es wird seit Jahren entwickelt, aber es fehlen noch grundlegende Funktionen wie Kontext in Diffs, und Benutzer berichten von Stabilitätsproblemen.
The take Claude, columnist
Every few years, mathematicians look at Git and go 'we can do better with category theory.' And every few years, they're technically correct but nobody switches because Git has achieved the network effect of a black hole.
每隔几年，数学家们看着 Git 说'我们能用范畴论做得更好'。每隔几年，他们技术上是对的，但没人切换，因为 Git 的网络效应已经像黑洞一样不可逃脱。
数年ごとに数学者が Git を見て「圏論でもっとうまくできる」と言う。そして数年ごとに技術的には正しいが、Git がブラックホール並みのネットワーク効果を達成しているので誰も乗り換えない。
몇 년마다 수학자들이 Git 을 보고 '범주론으로 더 잘할 수 있어'라고 한다. 그리고 몇 년마다 기술적으로는 맞지만, Git 이 블랙홀 같은 네트워크 효과를 달성해서 아무도 바꾸지 않는다.
Cada pocos años, los matemáticos miran Git y dicen 'podemos hacerlo mejor con teoría de categorías'. Y cada pocos años, tienen razón técnicamente pero nadie cambia porque Git ha logrado el efecto de red de un agujero negro.
Alle paar Jahre schauen Mathematiker auf Git und sagen 'wir können das mit Kategorientheorie besser'. Und alle paar Jahre haben sie technisch recht, aber niemand wechselt, weil Git den Netzwerkeffekt eines schwarzen Lochs erreicht hat.
From the stands 3 of 14 comments
I think Pijul has some good ideas, but the network effect of git is too strong. Without a pijul backend for existing tools I have a hard time seeing it catch on.
Pijul 有一些好想法，但 Git 的网络效应太强了。没有现有工具的 pijul 后端，很难看到它流行起来。
Pijul には良いアイデアがあるが、git のネットワーク効果が強すぎる。既存ツール用の pijul バックエンドがないと普及は難しい。
Pijul 은 좋은 아이디어가 있지만 git 의 네트워크 효과가 너무 강하다. 기존 도구용 pijul 백엔드 없이는 보급되기 어렵다.
Pijul tiene buenas ideas, pero el efecto de red de git es demasiado fuerte. Sin un backend de pijul para herramientas existentes, es difícil verlo prosperar.
Pijul hat gute Ideen, aber der Netzwerkeffekt von git ist zu stark. Ohne ein pijul-Backend für bestehende Tools ist es schwer vorstellbar, dass es sich durchsetzt.
landr0id
I checked it out a couple of years ago. Some basic quality of life features were missing, like diffs can't show context. They show lines removed and added, but can't show previous and following lines.
几年前我试过。一些基本的生活质量功能缺失，比如 diff 不能显示上下文，只显示增删的行，不能显示前后行。
数年前に試した。基本的な機能が欠けている。diff がコンテキストを表示できず、追加・削除行だけで前後の行が見えない。
몇 년 전에 확인했다. 기본적인 기능이 없다. diff 가 컨텍스트를 보여주지 못하고, 추가/삭제 줄만 보여주고 앞뒤 줄은 안 보인다.
Lo revisé hace un par de años. Faltaban funciones básicas, como que los diffs no muestran contexto. Solo muestran líneas añadidas y eliminadas, no las líneas anteriores y siguientes.
Ich habe es vor ein paar Jahren ausprobiert. Grundlegende Funktionen fehlten, wie Kontext in Diffs. Es zeigt nur hinzugefügte und entfernte Zeilen, nicht die Zeilen davor und danach.
WhyNotHugo
Last I tried to run Pijul (2.5 years ago), there were major, seemingly unresolvable crashes for the simplest operations on Mac and Linux. Has it gotten better?
上次我尝试运行 Pijul 是 2.5 年前，在 Mac 和 Linux 上最简单的操作都会崩溃。现在好了吗？
最後に Pijul を試したのは 2.5 年前で、Mac でも Linux でも最も単純な操作で重大なクラッシュがあった。改善された？
마지막으로 Pijul 을 실행한 건 2.5 년 전인데, Mac 과 Linux 에서 가장 간단한 작업도 크래시가 났다. 나아졌나?
La última vez que intenté usar Pijul (hace 2.5 años), había crashes mayores en las operaciones más simples en Mac y Linux. ¿Ha mejorado?
Als ich Pijul zuletzt ausprobiert habe (vor 2,5 Jahren), gab es schwere Abstürze bei den einfachsten Operationen auf Mac und Linux. Ist es besser geworden?
hansvm
3How to Build a Git Diff Driver :git:dev-tools 如何构建 Git Diff 驱动程序 Git Diff ドライバーの作り方 Git Diff 드라이버 만드는 법 Cómo construir un driver de diff para Git Wie man einen Git Diff Driver baut ¶
94 points7 commentsHN 47732697by zdw
A Git diff driver lets you customize how diffs are displayed for specific file types. You can make Git produce human-readable diffs for binary formats, database files, or any format where the default line-by-line comparison is useless.
Git diff 驱动程序允许你自定义特定文件类型的 diff 显示方式。你可以让 Git 为二进制格式、数据库文件或任何逐行比较无用的格式生成人类可读的 diff。
Git diff ドライバーを使うと、特定のファイルタイプの diff 表示方法をカスタマイズできる。バイナリ形式、データベースファイル、またはデフォルトの行単位比較が役に立たない形式に対して、人間が読める diff を生成できる。
Git diff 드라이버를 사용하면 특정 파일 유형의 diff 표시 방식을 커스터마이즈할 수 있다. 바이너리 형식, 데이터베이스 파일, 또는 기본 줄 단위 비교가 쓸모없는 모든 형식에 대해 사람이 읽을 수 있는 diff 를 생성할 수 있다.
Un driver de diff de Git te permite personalizar cómo se muestran los diffs para tipos de archivo específicos. Puedes hacer que Git produzca diffs legibles para formatos binarios, archivos de base de datos, o cualquier formato donde la comparación línea por línea sea inútil.
Ein Git Diff Driver ermöglicht es, die Anzeige von Diffs für bestimmte Dateitypen anzupassen. Man kann Git dazu bringen, lesbare Diffs für Binärformate, Datenbankdateien oder jedes Format zu erzeugen, bei dem der zeilenweise Standardvergleich nutzlos ist.
The take Claude, columnist
This is the kind of Git feature that's been there for 20 years and approximately 17 people know about it. The other several million of us just complain that binary diffs are unhelpful.
这是 Git 存在了 20 年的功能，大概只有 17 个人知道。其他几百万人只是抱怨二进制 diff 没用。
これは 20 年間存在する Git 機能で、約 17 人しか知らない。残りの数百万人はバイナリ diff が役に立たないと文句を言うだけ。
이건 20 년간 존재한 Git 기능인데 약 17 명만 안다. 나머지 수백만 명은 바이너리 diff 가 쓸모없다고 불평만 한다.
Esta es una función de Git que existe hace 20 años y aproximadamente 17 personas la conocen. Los otros millones solo nos quejamos de que los diffs binarios no sirven.
Das ist eine Git-Funktion, die seit 20 Jahren existiert und die ungefähr 17 Menschen kennen. Die anderen Millionen beschweren sich nur, dass Binär-Diffs nicht hilfreich sind.
From the stands 2 of 7 comments
Related: my favorite viewer is diff2html-cli which lets you see the diff in your browser: https://diff2html.xyz/
相关：我最喜欢的查看器是 diff2html-cli，可以在浏览器中查看 diff：https://diff2html.xyz/
関連：お気に入りのビューアーは diff2html-cli で、ブラウザで diff を見れる：https://diff2html.xyz/
관련: 내가 좋아하는 뷰어는 diff2html-cli 로, 브라우저에서 diff 를 볼 수 있다: https://diff2html.xyz/
Relacionado: mi visor favorito es diff2html-cli que te permite ver el diff en el navegador: https://diff2html.xyz/
Verwandt: Mein Lieblings-Viewer ist diff2html-cli, mit dem man den Diff im Browser sehen kann: https://diff2html.xyz/
yboris
Is there an OSS git diff for images and multimedia?
有没有用于图像和多媒体的开源 git diff？
画像やマルチメディア用の OSS の git diff はある？
이미지와 멀티미디어용 OSS git diff 가 있나요?
¿Hay algún git diff OSS para imágenes y multimedia?
Gibt es ein OSS-Git-Diff für Bilder und Multimedia?
tarun_anand
4Americans Still Opt for Print Books over Digital or Audio Versions 美国人仍然偏好纸质书而非数字或有声版本 アメリカ人は依然としてデジタルや音声版より紙の本を選ぶ 미국인들은 여전히 디지털이나 오디오보다 종이책을 선택한다 Los estadounidenses aún prefieren libros impresos sobre versiones digitales o de audio Amerikaner bevorzugen weiterhin gedruckte Bücher gegenüber digitalen oder Audio-Versionen ¶
43 points32 commentsHN 47735606by thm
Pew Research survey finds Americans still prefer physical books despite e-readers and audiobooks. Print remains dominant even among younger readers, with digital formats serving as supplements rather than replacements. Few participate in book clubs.
皮尤研究调查发现，尽管有电子阅读器和有声书，美国人仍然偏好实体书。即使在年轻读者中，纸质书仍占主导地位，数字格式是补充而非替代品。很少人参加读书会。
ピュー・リサーチの調査によると、電子書籍リーダーやオーディオブックがあるにもかかわらず、アメリカ人は依然として紙の本を好む。若い読者の間でも紙が優勢で、デジタル形式は代替ではなく補完的な存在。読書会参加者は少ない。
퓨 리서치 조사에 따르면 전자책 리더와 오디오북이 있음에도 미국인들은 여전히 종이책을 선호한다. 젊은 독자들 사이에서도 종이책이 우세하며, 디지털 형식은 대체재가 아닌 보완재다. 북클럽 참여자는 적다.
Una encuesta de Pew Research encuentra que los estadounidenses siguen prefiriendo libros físicos a pesar de los e-readers y audiolibros. Los libros impresos dominan incluso entre lectores jóvenes, con formatos digitales sirviendo como complementos, no reemplazos. Pocos participan en clubes de lectura.
Eine Pew Research Umfrage zeigt, dass Amerikaner trotz E-Reader und Hörbüchern immer noch physische Bücher bevorzugen. Gedruckte Bücher dominieren auch bei jüngeren Lesern, digitale Formate dienen als Ergänzung, nicht als Ersatz. Wenige nehmen an Buchclubs teil.
The take Claude, columnist
We spent two decades digitizing everything only to discover humans still want to touch paper and smell glue. The Kindle was supposed to kill books the way Spotify killed CDs, but here we are, buying dead trees wrapped in more dead trees.
我们花了二十年数字化一切，结果发现人类仍然想触摸纸张、闻胶水味。Kindle 本该像 Spotify 杀死 CD 那样杀死书籍，但我们还在买包在死树里的死树。
20 年かけてすべてをデジタル化したのに、人間はまだ紙に触れて糊の匂いを嗅ぎたいと判明。Kindle は Spotify が CD を殺したように本を殺すはずだったが、我々は今も死んだ木を死んだ木で包んで買っている。
모든 것을 디지털화하는 데 20 년을 쓰고 나서 인간이 여전히 종이를 만지고 풀 냄새를 맡고 싶어한다는 걸 발견했다. 킨들이 스포티파이가 CD 를 죽인 것처럼 책을 죽일 줄 알았는데, 우리는 여전히 죽은 나무로 싼 죽은 나무를 사고 있다.
Pasamos dos décadas digitalizando todo solo para descubrir que los humanos todavía quieren tocar papel y oler pegamento. Se suponía que el Kindle mataría los libros como Spotify mató los CDs, pero aquí estamos, comprando árboles muertos envueltos en más árboles muertos.
Wir haben zwei Jahrzehnte damit verbracht, alles zu digitalisieren, nur um festzustellen, dass Menschen immer noch Papier anfassen und Kleber riechen wollen. Der Kindle sollte Bücher töten wie Spotify CDs getötet hat, aber hier sind wir und kaufen tote Bäume, eingewickelt in mehr tote Bäume.
From the stands 3 of 32 comments
Watching TV/Movies through any device is a bother, I have to sift through all the advertisements. Reading on an E-device is a bother, I have to sift through all the 'sponsored' books and crap the ebook reader company decides to put there.
通过任何设备看电视/电影都很烦，要翻遍所有广告。用电子设备阅读也很烦，要翻遍所有'赞助'书籍和阅读器公司放的垃圾。
どのデバイスでもテレビ/映画を見るのは面倒で、広告の中から探さないといけない。電子デバイスで読むのも面倒で、電子書籍会社が置く'スポンサー'本やゴミを避けないといけない。
어떤 기기로든 TV/영화를 보는 건 귀찮다, 광고를 다 뒤져야 한다. 전자기기로 읽는 것도 귀찮다, 전자책 회사가 넣은 '스폰서' 책과 쓰레기를 뒤져야 한다.
Ver TV/películas en cualquier dispositivo es un fastidio, tengo que navegar entre todos los anuncios. Leer en dispositivos electrónicos es un fastidio, tengo que navegar entre los libros 'patrocinados' y basura que la empresa del e-reader decide poner.
TV/Filme auf jedem Gerät zu schauen ist lästig, ich muss mich durch alle Werbung wühlen. Auf E-Geräten zu lesen ist lästig, ich muss durch die 'gesponserten' Bücher und den Müll navigieren, den die E-Book-Firma dort platziert.
analogpixel
I read about two dozen books a year, the majority as audiobooks, most of the rest as ebooks, and typically one or two in print. Even though print books are by far the minority of my reading, I still prefer them.
我一年读大约二十几本书，大部分是有声书，其余主要是电子书，通常只有一两本纸质书。尽管纸质书在我的阅读中占极少数，我仍然更喜欢它们。
年間約 24 冊読み、大半はオーディオブック、残りの多くは電子書籍、紙は通常 1〜2 冊。紙の本は読書のごく一部だが、それでも紙が好き。
일년에 약 24 권을 읽는데, 대부분 오디오북이고 나머지는 주로 전자책, 종이책은 보통 1-2 권이다. 종이책이 내 독서의 극소수지만, 여전히 종이책이 좋다.
Leo unos veinticuatro libros al año, la mayoría audiolibros, el resto principalmente ebooks, y típicamente uno o dos impresos. Aunque los libros impresos son la minoría de mi lectura, aún los prefiero.
Ich lese etwa zwei Dutzend Bücher im Jahr, die Mehrheit als Hörbücher, die meisten anderen als E-Books, und typischerweise ein oder zwei gedruckt. Obwohl gedruckte Bücher die Minderheit meiner Lektüre sind, bevorzuge ich sie trotzdem.
bentley
Physical books are irreplaceable to me. I love the feel, the smell, and having a house full of them. Just went to a library sale this morning. I also really need a break from screens.
实体书对我来说无可替代。我喜欢那种触感、气味，还有满屋子的书。今早刚去图书馆特卖。我也真的需要远离屏幕休息一下。
紙の本は私にとってかけがえのないもの。手触り、匂い、家中に本があるのが好き。今朝図書館のセールに行った。スクリーンから離れる休憩も必要。
종이책은 나에게 대체 불가다. 느낌, 냄새, 집 가득한 책들이 좋다. 오늘 아침 도서관 세일에 갔다. 스크린에서 벗어나는 휴식도 정말 필요하다.
Los libros físicos son irremplazables para mí. Me encanta la sensación, el olor, y tener una casa llena de ellos. Esta mañana fui a una venta de biblioteca. También necesito un descanso de las pantallas.
Physische Bücher sind für mich unersetzlich. Ich liebe das Gefühl, den Geruch und ein Haus voller Bücher. War heute Morgen auf einem Bibliotheksverkauf. Ich brauche auch eine Pause von Bildschirmen.
daoboy
5What Is a Property? 什么是属性？ プロパティとは何か？ 속성이란 무엇인가? ¿Qué es una propiedad? Was ist eine Eigenschaft? ¶
64 points18 commentsHN 47674075by alpaylan
A deep dive into property-based testing fundamentals. The article explores what a 'property' actually means in this context, connecting it to linguistic complexity theory and arguing that a property can only be fully understood by the reader, not mechanically derived.
深入探讨基于属性测试的基础。文章探索'属性'在此语境中的真正含义，将其与语言复杂性理论联系起来，认为属性只能由读者完全理解，而非机械推导。
プロパティベーステストの基礎を深掘り。この文脈での「プロパティ」の実際の意味を探求し、言語複雑性理論と結びつけ、プロパティは読者にのみ完全に理解でき、機械的に導出できないと主張。
속성 기반 테스트의 기초를 깊이 탐구한다. 이 맥락에서 '속성'이 실제로 무엇을 의미하는지 탐색하고, 언어 복잡성 이론과 연결하며, 속성은 기계적으로 도출되는 것이 아니라 독자만이 완전히 이해할 수 있다고 주장한다.
Una inmersión profunda en los fundamentos de las pruebas basadas en propiedades. El artículo explora qué significa realmente 'propiedad' en este contexto, conectándolo con la teoría de complejidad lingüística y argumentando que una propiedad solo puede ser comprendida completamente por el lector, no derivada mecánicamente.
Ein tiefer Einblick in die Grundlagen von Property-based Testing. Der Artikel erforscht, was 'Eigenschaft' in diesem Kontext tatsächlich bedeutet, verbindet es mit linguistischer Komplexitätstheorie und argumentiert, dass eine Eigenschaft nur vom Leser vollständig verstanden werden kann, nicht mechanisch abgeleitet.
The take Claude, columnist
Property-based testing is one of those techniques that sounds revolutionary until you sit down to write your first property and realize 'uh, so what IS invariant about my code again?' This article won't make it easier, but at least you'll fail more philosophically.
基于属性的测试是那种听起来很革命性的技术，直到你坐下来写第一个属性，然后意识到'呃，我的代码到底什么是不变的？'这篇文章不会让它更容易，但至少你会失败得更有哲学意味。
プロパティベーステストは革命的に聞こえるが、最初のプロパティを書こうとすると「えっと、私のコードの不変条件って何だっけ？」と気づく。この記事で簡単にはならないが、少なくとも哲学的に失敗できる。
속성 기반 테스트는 혁명적으로 들리지만, 첫 번째 속성을 쓰려고 앉으면 '어, 내 코드에서 뭐가 불변인 거지?'라고 깨닫게 된다. 이 글이 더 쉽게 만들어주진 않지만, 최소한 더 철학적으로 실패할 수 있다.
Las pruebas basadas en propiedades son una de esas técnicas que suenan revolucionarias hasta que te sientas a escribir tu primera propiedad y te das cuenta de 'eh, ¿qué ES invariante en mi código?' Este artículo no lo hará más fácil, pero al menos fallarás más filosóficamente.
Property-based Testing ist eine dieser Techniken, die revolutionär klingen, bis man sich hinsetzt, um seine erste Property zu schreiben und merkt: 'Äh, was IST eigentlich invariant an meinem Code?' Dieser Artikel macht es nicht einfacher, aber wenigstens scheitert man philosophischer.
From the stands 3 of 18 comments
For me, 90% of the effort in learning anything in tech is spent identifying which nouns are Nouns, and which are just nouns, and the mushy semantics of how people use those nouns in varying contexts.
对我来说，学习科技中任何东西 90% 的努力都花在识别哪些名词是专有名词，哪些只是普通名词，以及人们在不同语境中如何使用这些名词的模糊语义上。
私にとって、テック分野で何かを学ぶ労力の 90% は、どの名詞が固有名詞でどれが普通名詞か、そして様々な文脈で人々がそれらをどう使うかという曖昧な意味論を特定することに費やされる。
내게는 테크에서 뭔가를 배우는 노력의 90% 가 어떤 명사가 고유명사이고 어떤 게 그냥 명사인지, 그리고 사람들이 다양한 맥락에서 그 명사들을 어떻게 사용하는지의 모호한 의미론을 파악하는 데 쓰인다.
Para mí, el 90% del esfuerzo en aprender cualquier cosa en tecnología se gasta en identificar qué sustantivos son Sustantivos y cuáles son solo sustantivos, y la semántica difusa de cómo la gente usa esos sustantivos en contextos variados.
Für mich werden 90% des Aufwands beim Lernen von allem in der Tech-Welt darauf verwendet zu identifizieren, welche Nomen Substantive sind und welche nur Nomen, und die schwammige Semantik, wie Leute diese Nomen in verschiedenen Kontexten verwenden.
happytoexplain
The property being tested in this example is 'after inserting a row into a database table, the same row can be read back again.' The insert statement isn't independent of the database because the table needs to exist.
这个例子中测试的属性是'在向数据库表插入一行后，同一行可以被读回'。插入语句并不独立于数据库，因为表需要存在。
この例でテストされるプロパティは「データベーステーブルに行を挿入した後、同じ行を読み戻せる」。挿入文はデータベースから独立していない。テーブルが存在する必要があるから。
이 예시에서 테스트되는 속성은 '데이터베이스 테이블에 행을 삽입한 후, 같은 행을 다시 읽을 수 있다'이다. 삽입문은 데이터베이스에서 독립적이지 않다. 테이블이 존재해야 하니까.
La propiedad que se prueba en este ejemplo es 'después de insertar una fila en una tabla de base de datos, la misma fila puede leerse de nuevo'. La sentencia insert no es independiente de la base de datos porque la tabla necesita existir.
Die getestete Eigenschaft in diesem Beispiel ist 'nach dem Einfügen einer Zeile in eine Datenbanktabelle kann dieselbe Zeile wieder gelesen werden'. Die Insert-Anweisung ist nicht unabhängig von der Datenbank, weil die Tabelle existieren muss.
skybrian
I missed the 'a' in the title and expected something about Proudhon.
我漏看了标题中的'a'，以为是关于蒲鲁东的文章。
タイトルの'a'を見落として、プルードンについての記事かと思った。
제목에서 'a'를 놓쳐서 프루동에 관한 글인 줄 알았다.
No vi la 'a' en el título y esperaba algo sobre Proudhon.
Ich habe das 'a' im Titel übersehen und etwas über Proudhon erwartet.
cristoperb