Ruby 的基于属性的测试工具 PBT (github.com)
PBT 是一个 Ruby 的基于属性的测试工具，支持多种并发方法（Ractor、多进程、多线程）。它允许开发者指定代码应遵循的一般特征，然后自动生成各种输入来验证这些属性，从而更有效地发现传统测试方法可能遗漏的边缘情况和错误。
物理学家为何质疑宇宙的命运 (bigthink.com)
近25年来，我们一直认为宇宙将以“大冻结”的命运告终，暗能量将持续推动宇宙膨胀，最终导致宇宙变得寒冷、空旷。然而，最新的观测数据，特别是暗能量光谱仪(DESI)的观测结果，对这一结论提出了质疑。DESI的数据表明，暗能量的强度可能并非恒定不变，而是在过去70亿年中逐渐减弱。如果暗能量确实随时间推移而改变，那么宇宙的最终命运将有可能完全不同于我们目前的预测。
比尔·盖茨：萨尔·汗再次引领教育创新 (www.gatesnotes.com)
本文是比尔·盖茨对萨尔·汗的新书《勇敢的新词》的评论。盖茨高度评价了萨尔·汗在教育领域的创新，特别是他在人工智能教育方面的远见。盖茨认为，人工智能将彻底改变学生的学习成果和教师的教学体验，并 usher in a future where everyone has access to a world-class education。
CodiumAI Cover-Agent：一款用于自动化测试生成和代码覆盖率增强的 AI 驱动工具 (github.com)
CodiumAI Cover-Agent 是一款开源工具，旨在利用生成式 AI 自动化和增强测试（目前主要是单元测试）的生成，从而简化开发流程。它可以从终端运行，并计划集成到流行的 CI 平台中。Cover-Agent 通过分析代码库、生成测试提示并与大型语言模型（LLM）交互来自动创建单元测试，从而提高代码覆盖率。
美国每日吸食大麻人数首次超过每日饮酒人数 (medicalxpress.com)
根据一项新研究，在美国，每天或接近每天吸食大麻的人数已超过了频率相似的饮酒人数。研究人员分析了过去四十年的全国调查数据，发现虽然酒精的总体使用率仍然更高，但在2022年，高频率的大麻使用首次超过了高频率的饮酒。研究指出，大麻合法化政策的改变是导致这一趋势的主要原因。
Mactop：用纯Golang编写的苹果芯片监控工具 (github.com)
Mactop是一款专为苹果芯片设计的终端监控工具，使用纯Golang编写，代码不到1000行。它可以实时显示CPU和GPU使用情况、E核心和P核心、功耗以及其他系统指标。Mactop支持macOS Monterey 12.3+及以上版本，并可通过Homebrew轻松安装。
Waymo在下棋，特斯拉在下跳棋：自动驾驶领域的技术差距 (arstechnica.com)
本文分析了Waymo和特斯拉在自动驾驶技术上的差距。文章认为，Waymo 采取了更为谨慎和渐进的方式，先从简单场景开始逐步提高难度，而特斯拉则过于激进，尚未开始进行无人驾驶测试。作者体验了Waymo和特斯拉的自动驾驶服务，发现Waymo的系统更加成熟，而特斯拉的FSD软件仍然存在明显缺陷。文章预测，特斯拉最终将不得不采用类似Waymo的策略，逐步推广无人驾驶技术，这意味着特斯拉在自动驾驶领域落后Waymo数年。
柯达与宝丽来的秘密战争 (steveblank.com)
本文讲述了柯达与宝丽来之间竞争背后的故事。文章从两家公司长达20年的合作关系破裂开始，揭示了柯达决定进军宝丽来市场的真正原因：柯达在与中央情报局合作的卫星图像领域损失惨重，而宝丽来的首席执行官埃德温·兰德正是导致柯达损失的关键人物。柯达为了报复宝丽来，决定与其竞争，最终导致了两家公司的衰落。
商业化的“第三空间”正在消亡吗？ (spacing.ca)
本文探讨了商业化“第三空间”的衰落现象，以星巴克为例，分析了其从提供舒适社交场所到注重效率和外带服务的转变。作者追溯了“第三空间”的历史，强调其作为社区连接和思想交流场所的重要性。文章批评了星巴克在设计和运营中背离了“第三空间”的初衷，并提出了寻找和支持本地化、社区导向的“第三空间”的建议。
戴尔案例研究：为什么戴尔的ThinOS运行在FreeBSD上 (freebsdfoundation.org)
戴尔科技集团选择FreeBSD作为其瘦客户端操作系统ThinOS的基础，看重其安全性和稳定性。ThinOS采用“安全设计”理念，提供封闭的桌面体验，保护敏感数据。FreeBSD的稳定内核和BSD许可证允许戴尔根据自身需求定制操作系统。未来，戴尔计划升级到FreeBSD 14，增强硬件支持，改进Linux应用程序兼容性和驱动程序可移植性，并引入更高级的安全功能。
一颗彗星将在今年秋天接近地球，亮度可能超过所有恒星 (www.space.com)
一颗名为C/2023 A3 (Tsuchinshan–ATLAS) 的彗星正在接近地球，预计将在今年9月27日到达距离太阳最近的点，并在10月12日到达距离地球最近的点。天文学家预测，这颗彗星的亮度可能会达到一等甚至更亮，肉眼可见，并有可能拖着一条长长的尾巴。然而，由于这颗彗星来自奥尔特云，此前从未经过太阳附近，其最终亮度仍存在不确定性，有可能成为令人瞩目的天体，也有可能最终黯淡收场。
古代病毒DNA与人类精神疾病 (medicalxpress.com)
伦敦国王学院的一项新研究表明，人类基因组中数千种源自古代病毒感染的DNA序列，在人脑中表达，其中一些可能增加患精神分裂症、双相情感障碍和抑郁症等精神疾病的风险。研究人员分析了来自大型基因研究和尸检大脑样本的数据，探索与精神疾病相关的DNA变异如何影响人类内源性逆转录病毒（HERVs）的表达。研究结果表明，五种HERV表达特征与精神疾病相关，这标志着在理解导致这些疾病的复杂遗传因素方面迈出了重要一步。
Plane招募高级-资深产品工程师（美洲） (www.ycombinator.com)
Plane 公司正在招聘驻美洲的高级/资深产品工程师，该公司致力于打造简单易用的工具帮助企业在全球范围内招聘和支付薪资。他们寻找经验丰富的通才，能够与客户沟通，设计系统并编写代码。技术栈主要包括 Ruby on Rails、Hotwire、React、Postgres、Redis、RabbitMQ 等。公司提供远程办公、有竞争力的薪酬和股权、带薪休假、育儿假等福利待遇。
人工智能机器人创造出人类无法设计的减震结构 (scitechdaily.com)
波士顿大学的研究人员开发了一种名为 MAMA BEAR 的自主机器人，该机器人能够创造和测试能够有效吸收能量的 3D 打印结构。通过持续的迭代和贝叶斯优化，MAMA BEAR 已经创造出一种能量吸收效率高达 75% 的结构，打破了以往的记录。这项技术在保护性包装、汽车缓冲器和军事头盔等领域有着广泛的应用前景。
如何在您的网站上创建一个/now页面 (sive.rs)
本文介绍了如何在个人网站上创建一个名为“/now”的页面，用于向朋友和访客更新你的近况。作者Derek Sivers解释了创建该页面的原因、方法以及如何将其添加到nownownow.com网站。
谷歌在赢得Sonos诉讼后恢复了组合扬声器音量控制功能 (arstechnica.com)
在赢得与Sonos的专利诉讼后，谷歌将恢复其在2022年被移除的组合扬声器音量控制功能。该功能允许用户通过手机统一调节多个谷歌智能音箱的音量，预计将在Android 15 Beta 2及以后的版本中回归。
学习那些不会改变的东西 (newsletter.techworld-with-milan.com)
本文强调了学习软件开发基础知识而非框架的重要性，并推荐了2024年软件工程师必读的34本书籍。作者认为，掌握基础知识比学习框架更能适应技术变革，并能帮助开发者更有效地解决问题。文章还推荐了涵盖通用技能、数据结构与算法、数据科学、测试、软件架构、分布式系统、DevOps、机器学习、领导力和个人发展的书籍，旨在帮助软件工程师全面提升技能。
埃默里大学奖励学生开发学习辅助应用程序后又担心其作弊而将其停学 (www.govtech.com)
美国埃默里大学的学生因开发了一款名为“Eightball”的AI学习工具而获得了1万美元的奖金，该工具可以帮助学生制作学习资料。然而，校方后来担心该应用程序会被用于作弊，因此对该学生进行了停学一个学期的处罚。其中一名学生已提起诉讼，要求撤销处罚。他声称该应用程序是在大学教师的帮助下开发和推广的，而且没有证据表明该应用程序被用于作弊。
Alacritty：一款快速、跨平台的 OpenGL 终端模拟器 (github.com)
Alacritty 是一款现代终端模拟器，具有合理的默认设置，但也允许进行广泛的配置。它通过与其他应用程序集成，而不是重新实现其功能，从而设法以高性能提供灵活的功能集。Alacritty 支持 BSD、Linux、macOS 和 Windows 平台，被认为处于测试阶段；还有一些缺失的功能和错误需要修复，但它已经被许多人作为日常驱动程序使用。
从传输协议的角度看星链 (blog.apnic.net)
本文分析了互联网传输协议TCP与星链服务特性之间的交互。星链作为一种低地球轨道卫星服务，与地球同步卫星相比，延迟更低，但信号质量变化更大。文章探讨了星链信号传输中的动态信道速率控制、卫星切换和信号干扰等因素对TCP性能的影响，并比较了CUBIC和BBR两种拥塞控制算法在星链环境下的表现，最后提出了针对星链进行TCP协议优化的思路。
如何将谷歌搜索结果页默认设置为“网页”视图 (tedium.co)
本文介绍了如何在谷歌搜索结果页默认设置为“网页”视图，以避免人工智能生成的过度优化结果。作者详细解释了谷歌新的“网页”过滤器，它类似于过去十年的谷歌搜索结果页面，没有额外的信息和广告。作者还提供了一种通过修改浏览器设置，将默认搜索引擎设置为“仅限谷歌网页”的方法，使用户可以直接获取简洁的搜索结果。
“无法阻止”：唯一经常发生此类事件的语言用户表示 (xeiaso.net)
Fluent Bit 项目发布 CVE-2024-4323 漏洞补丁后，网站可靠性工作人员和系统管理员们争先恐后地重建和修补他们的系统，以修复 HTTP 解析代码中的一个漏洞，该漏洞允许通过发出一个正文包含大量字母 'A' 的 HTTP GET 请求来实现堆损坏和任意代码执行。这是因为受影响的组件是用 C 语言编写的，这是唯一一种经常发生此类漏洞的编程语言。 许多程序员认为，尽管这是一个悲剧，但这类事情时有发生，任何人都无法阻止。他们认为，如果程序员不想以稳健的方式编写代码，就没有办法防止内存安全漏洞的发生。
巴西遭遇特大洪水，数百万人受灾，数十万人流离失所 (www.msf.org)
2024年5月，巴西南部南里奥格兰德州遭遇特大洪灾。洪水导致整个城市被淹没，交通中断，桥梁被毁，超过460个城市受到影响，超过150人死亡，约100人失踪。灾害造成两百多万人受灾，超过60万人流离失所。无国界医生组织（MSF）正在为受灾最严重的人群提供医疗援助、药物、水和食物等紧急救援服务，并为当地专业人员提供心理健康急救方面的远程培训。
Podly Pure Podcasts：播客广告拦截器 (github.com)
Podly Pure Podcasts 是一款可以创建无广告私人 RSS Feed 的播客广告拦截器。它可以下载指定音频、转录内容、利用 Chat GPT 标记广告片段、移除广告片段，最终为你提供无广告版本的播客。
加州连续30天实现可再生能源发电量超过100%需求量 (electrek.co)
根据斯坦福大学教授Mark Z. Jacobson的追踪，截至5月21日，加州已经连续45天，以及过去75天中的69天实现了风能、太阳能和水力发电的总量超过了电网需求。 Jacobson教授指出，可再生能源供电超过需求的时间段为每天0.25-6小时，这表明可再生能源在日常供电中发挥越来越重要的作用。加州的目标是到2045年实现100%的清洁能源供电，并且有望提前实现这一目标。
我的墨水屏仪表盘 (dracos.co.uk)
本文介绍了作者如何使用 Pimoroni Inky Impression 5.7 英寸7色电子墨水屏和 Raspberry Pi 3 制作一个电子墨水屏仪表盘的过程，包括硬件组装、软件安装、示例代码运行以及自定义功能的实现，例如显示月相、跳过夜间时间段的图表、显示最近的公交和火车班次等。作者还计划在未来添加一些功能，例如显示学校接送时间等。
Lem - 一款为 Common Lisp 量身定制的编辑器/IDE (lem-project.github.io)
Lem 是一款专为 Common Lisp 设计的编辑器/IDE，安装后即可开始 Lisp 开发。它提供基于键盘的操作方式，熟悉 Emacs 或 Vim 的用户可以快速上手。Lem 使用 Common Lisp 编写并支持扩展，体现了 Lisp 的强大能力。自2.0版本起，Lem 还提供了基于 SDL2 的 GUI 版本，支持图形界面、鼠标操作以及主题切换。Lem 功能丰富，包括支持多种语言的 LSP、完整的 REPL 和交互式调试器、项目树视图等。