Jqwik反AI风波始末：一位开源维护者的伦理抗争
Jqwik作者Johannes Link发布长文，详细回顾其在测试库中植入反AI提示词日志的始末。他阐述了基于伦理立场反对生成式AI用于代码开发的动机，回应了关于“恶意软件”的指控，并探讨了该事件引发的开源社区分裂、OSS维护者与用户契约破裂以及AI代理编码的安全隐患等深层问题。
评论
点赞
收藏用还是不用生成式AI：伦理使用之辩
深入探讨超大规模生成式AI使用的伦理问题，质疑其社会影响，适合引发关于技术边界的热议。
下一代属性驱动测试：Jqwik 2能做什么
介绍Jqwik 2版本中属性驱动测试的新能力，展示工具演进带来的技术可能性，对Java/Kotlin开发者有直接参考价值。
Jqwik的未来与API讨论
Jqwik库作者探讨未来API设计方向，邀请社区参与讨论，属于开发者工具演进的技术交流。
生成式AI的伦理困境
探讨是否应该使用和推广生成式AI，涉及技术伦理、社会责任等宏观议题，适合引发哲学层面的辩论。
Java属性驱动测试：现在支持Kotlin了
介绍Jqwik如何适配Kotlin语言，解决跨语言测试工具的统一性问题，对多语言栈开发者有用。
与代码助手Peter的在线研讨会
宣传与“代码助手Peter”合作的在线研讨会，属于个人品牌或课程推广，技术深度有限。
Java属性驱动测试公开在线研讨会
宣传一场关于Java中属性驱动测试的在线公开课，属于活动推广内容。
Java中的属性驱动测试：基于模型的测试
讲解如何在Java中使用属性驱动测试进行基于模型的测试，特别针对具有持久化状态的复杂系统。
为什么属性驱动测试在Java中不流行？
分析属性驱动测试（PBT）在Java生态中不流行的原因，探讨技术选型、社区习惯与工具链成熟度之间的差距。
Java 中的属性测试：如何规范其定义
作者引用 John Hughes 关于属性测试规范的五种通用方法，并结合 Java 语境探讨如何具体指定属性测试。文章较短，主要指向相关资源库，旨在补充 TDD 系列中关于属性测试规范化的理论实践。
Java中的属性测试：属性驱动开发
作者结合多年使用jqwik进行属性驱动测试的经验，探讨如何将属性测试与传统的基于示例的测试驱动开发（TDD）结合，提出一种统一的开发方法。
Java中的基于属性测试：状态测试
文章探讨了在Java中进行基于属性的测试（PBT）时，如何处理状态测试（Stateful Testing）。作者指出，虽然函数式编程倾向于避免状态，但在某些算法中无状态实现显得怪异，作者主张对状态测试持更宽容的态度。
Java中的基于属性测试：寻找属性的模式
文章探讨在Java中进行基于属性的测试（PBT）时，如何从具体示例中抽象出合适的测试属性。作者指出，虽然具体示例在思考系统功能时自然出现，但属性往往更抽象，寻找合适的属性可能是一项挑战。本文旨在提供实用模式，帮助开发者在早期阶段找到适合PBT的属性。
Java中的属性测试：缩小机制的重要性
文章介绍了在Java中使用jqwik等属性测试库时，缩小（Shrinking）机制的重要性。它解释了随机生成的失败案例往往过于复杂，而缩小算法能自动简化这些案例，帮助开发者快速定位根本原因。
Java中的属性测试：Jqwik——一个JUnit 5测试引擎
文章介绍了Jqwik作为JUnit 5测试引擎的工作原理，解释了其如何通过挂钩JUnit Platform来利用现有的IDE和构建工具支持，而非作为一个独立框架运行。
Java 中的基于属性的测试：从示例到属性
文章对比了传统的基于示例的单元测试与基于属性的测试（Property-based Testing），以 JDK 的 Collections.reverse 为例，展示了如何通过定义属性而非具体输入输出来提高测试覆盖率，并介绍了在 Java 中实现这一方法的基本思路。
Java中的基于属性的测试：引言
作者回顾从面向对象转向函数式编程的经历，引出对测试方法的兴趣。文章作为系列引言，介绍在Java中进行基于属性的测试（Property-based Testing）的概念，旨在探索如何简化正确并发程序的编写及提升代码质量。
函数式编程与TDD工作坊的成果总结
作者分享了去年举办的关于函数式编程与TDD工作坊的总结与主要学习成果。文章基于实际教学经验和参与者反馈，探讨了将TDD应用于函数式编程时的挑战、方法以及具体实践中的得失，旨在为后续工作坊提供参考，并为对这一特定技术结合感兴趣的开发者提供实用见解。
Jqwik：JUnit 5 的替代测试引擎
JUnit 5 原始设计者 Johannes Link 分享其开发 Jqwik 的动机，旨在验证 JUnit 5 作为测试引擎平台的扩展性。文章介绍了 Jqwik 作为属性测试（Property-based Testing）引擎，如何与 JUnit 5 平台集成，提供 IDE 和构建工具支持，并探讨了其作为替代方案的价值。