Bazel，依赖和版本控制的谎言
这篇文章批判了Bazel构建系统在依赖管理方面存在的问题。作者认为，虽然Bazel承诺提供可重复和密封的构建，但通过利用语言包管理软件包和模式，它引入了与试图避免的钻石依赖问题相同的根本问题。作者通过一个Python生态系统中的例子来说明这个问题，两个软件包依赖于同一个C共享库的不同版本，导致运行时错误。作者得出结论，唯一真正的解决方案是一起构建所有软件并锁定所有依赖项的版本。
阅读更多bgammon.org网站迎来一万场游戏里程碑
bgammon.org网站近期迎来了第一万场游戏的里程碑。该网站自上线以来，平均每天举办约100场西洋双陆棋、西洋骨牌和罗马双陆棋游戏。文章特别感谢了社区成员f-a和EGYT对网站发展做出的贡献，并介绍了网站客户端和服务器端的优化成果，包括启动速度、文本渲染和引擎计算等方面的改进。此外，文章还介绍了通用西洋双陆棋引擎接口（UBEI）的制定和实施，该接口旨在简化西洋双陆棋引擎软件的创建和使用，并已在bgammon.org网站上得到应用。
阅读更多我们“年轻文化”的逻辑是否正在危害我们的星球？
本文探讨了“年轻文化”的逻辑，即认为人类是地球的主宰，可以任意支配自然资源，这种逻辑导致了环境破坏和人与自然的分离。作者认为，这种“年轻文化”是一种心理和精神上的疾病，它导致了孤立、焦虑和抑郁。与之相反，“古老文化”尊重自然，视万物为神圣，主张与自然和谐共处，这种文化更加健康和可持续。
阅读更多退休年龄段进行大重量抗阻训练对肌肉力量的长期益处
该研究是针对一项随机对照试验的长期跟踪分析，该试验对451名退休年龄段的老年人进行了为期一年的重负荷抗阻训练（HRT）、中等强度训练（MIT）或非运动对照组（CON）的干预。四年后，HRT组的腿部力量保持了基线水平，而CON组和MIT组的腿部力量均有所下降。研究结果表明，对于退休年龄段身体健康的成年人来说，进行一年的HRT训练可以通过维持肌肉功能对健康产生长期积极影响。
阅读更多研究揭示了分析医学图像的人工智能模型为何存在偏差
麻省理工学院的一项新研究表明，用于分析医学图像（如 X 光片）的人工智能模型存在偏差，对女性和有色人种的诊断准确率较低。研究发现，这些模型在进行诊断评估时可能会使用“人口统计学捷径”，导致对女性、黑人和其他群体得出错误的结果。研究人员还发现，可以通过重新训练模型来提高其公平性，但这种方法只在对来自同类型患者的数据进行测试时才有效。
阅读更多GPU 可用 PCIe 连接内存或固态硬盘扩展显存
韩国科学技术院 (KAIST) 支持的一家公司 Panmnesia 开发了一种低延迟 CXL IP，可用于使用 CXL 内存扩展器扩展 GPU 内存。该技术允许通过 PCIe 总线连接更多内存，甚至可以使用固态硬盘进行内存容量扩展。Panmnesia 开发的 CXL 3.1 兼容根联合体 (RC) 和主机桥，能够让 GPU 将 PCIe 连接的 DRAM 或 NAND 识别为系统内存，从而实现内存池的扩展。
阅读更多数据中心的电弧焊机：会出什么问题？
一位名叫安德鲁的IBM客户工程师讲述了他如何在20世纪60年代和70年代为金融服务客户工作，这些客户几分钟的停机时间就意味着数百万美元的损失。 其中一个客户是证券交易所，他们打电话给安德鲁，询问IBM打算如何处理支撑大型高速打印机的金属框架上形成的大裂缝。碰巧的是，安德鲁的家族经营着一家金属加工企业，他从小就在工厂里长大，并且成为了一名熟练的电弧焊工。于是IBM和证券交易所制定了一个计划：找到一台便携式电弧焊机并带到现场，证券交易所将在周末打开大门，关闭计算机、火灾报警器和喷水灭火系统，然后安德鲁将在不引起任何故障的情况下修复框架。 多年后，安德鲁的同事告诉他自己搞坏了证券交易所，原来是另一台打印机框架破裂了，多年前看着他焊接另一台打印机框架的团队中的一员认为他也可以这样做。但与安德鲁不同的是，这个人以前从未焊接过任何东西。 他至少重复了安德鲁获得客户许可和关闭喷水灭火装置的过程，但他忘记关闭警报了。而且他在营业时间做了这项工作。 你可以猜到剩下的事情：火灾警报响了，所有关键系统都离线了，IT人员被疏散了，证券交易所也进行了一次代价高昂的计划外休息。 不知何故，安德鲁要为这场混乱负责，因为他多年前就把便携式焊机留在了现场。
阅读更多Celebratio Mathematica - Robinson - 亲爱的 Julia，亲爱的 Yuri
这篇文章讲述了数学家 Julia Robinson 和 Yuri Matiyasevich 之间的合作，他们共同解决了希尔伯特第十问题。文章以两人之间温暖而充满智慧的通信为主线，展现了他们在解决这一难题的过程中所克服的挑战、所分享的喜悦以及他们之间深厚的友谊。Matiyasevich 在 Robinson 等人的早期工作的基础上最终解决了这个问题，但是双方都对彼此的贡献给予了高度评价。文章还介绍了 Robinson 作为一名女性数学家所面临的挑战以及她在数学界的巨大影响力。
阅读更多Palico AI: 用于快速迭代的LLM开发框架
Palico是一个LLM开发框架，旨在通过快速实验来提高LLM应用程序的准确性。它允许开发者构建模块化的LLM应用程序，并通过交换不同的模型、提示、上下文和架构来进行实验。Palico还提供了评估工具和可视化界面，帮助开发者分析和比较不同配置的性能，从而快速找到最佳解决方案。
阅读更多开源语言无关的基于LLM的变异测试工具Mutahunter
Mutahunter是一款开源的、语言无关的变异测试工具，它利用大型语言模型(LLM)自动在代码中注入上下文感知的错误，以评估测试套件的有效性。与传统的基于抽象语法树(AST)的变异测试工具不同，Mutahunter能够理解代码的上下文，从而生成更接近真实漏洞的变异。Mutahunter支持多种编程语言，并提供详细的变异覆盖率报告，帮助开发者识别测试套件中的潜在弱点。
阅读更多黎曼猜想距离被解决又近了一步
黎曼猜想是数学领域最重要的未解问题，困扰了数学家们160多年。最近，麻省理工学院的Larry Guth和牛津大学的James Maynard在预印本服务器arXiv.org上发表了一项轰动性的新发现，他们在论文中改进了50多年来似乎无法逾越的结果，为解决黎曼猜想提供了新的思路。黎曼猜想涉及素数的分布规律，如果得到证明，将对数论和数学的几乎所有领域产生重要影响。
阅读更多Rust中的行为继承
这篇文章探讨了在Rust中实现行为继承的方法。Rust通常倾向于组合而不是继承，但作者找到了一种类似于P-Impl的技术来模拟行为继承。该方法通过组合一个提供默认实现的对象并使用trait提供代理方法来实现。
阅读更多核心路由器沦为攻击武器：数据包速率攻击激增
自2023年初以来，DDoS攻击频率和强度急剧增加，特别是利用高数据包速率的攻击。OVHcloud观察到数据包速率超过100 Mpps的攻击事件显著增多，甚至达到创纪录的840 Mpps。经分析，这些攻击很可能源于被入侵的MikroTik核心路由器设备，特别是CCR系列。这些设备由于配置不当，将管理界面暴露在互联网上，容易被攻击者利用发起大规模DDoS攻击。令人担忧的是，目前已有大量此类设备暴露在互联网上，一旦被大规模利用，将对互联网安全构成严重威胁。
阅读更多Hugging Face Transformer v4.42.0版本发布: Gemma 2、RTDETR、InstructBLIP、LLAVa Next等新模型加入
Hugging Face发布了Transformer v4.42.0版本，其中包括多个新模型，如Gemma 2、RTDETR、InstructBLIP、LLAVa Next等。新版本对工具使用和RAG模型的支持进行了重大更新，并新增了GGUF文件支持。此外，还包括训练器改进、量化改进、新实例分割示例以及其他显著改进和错误修复。
阅读更多我想要的圣诞礼物：负闰秒
这篇文章探讨了关于闰秒的思考。作者对闰秒带来的技术挑战和解决问题的乐趣表示赞赏，但也对取消闰秒的提议感到担忧。作者认为，取消闰秒将是一个错误，因为它相当于逃避问题。作者还指出，地球自转速度的波动可能导致未来出现负闰秒，尽管这种情况发生的可能性很小。
阅读更多任天堂Switch (Tegra X1) 视频引擎评测
本文评测了任天堂Switch所搭载的Tegra X1芯片的视频引擎性能。Tegra X1的视频引擎在H.264编码方面落后于桌面级Maxwell显卡，但在HEVC编码方面表现出色，甚至优于桌面级Maxwell。此外，Tegra X1还支持硬件HEVC解码，这是桌面级Maxwell所缺少的。
阅读更多全球疫苗专家批评美国对禽流感的应对“无能”
全球卫生专家塞斯·伯克利批评美国对奶牛中爆发的禽流感的反应“无能”，认为美国在监测、追踪感染和信息透明度方面做得不够。他指出，尽管美国农业部在强制私人农场进行禽流感检测方面权限有限，但国家需要建立能够监测病原体并为其可能在人际传播做好准备的系统。伯克利的批评引起了其他科学家的共鸣，他们也同样对病毒追踪不力表示担忧。
阅读更多
菲尔·席勒将加入OpenAI董事会担任“观察员”
继苹果公司与OpenAI达成ChatGPT合作协议后，苹果公司前营销主管菲尔·席勒将加入OpenAI董事会担任“观察员”角色。席勒将能够参加董事会会议，但没有投票权。该安排将于今年晚些时候生效。
阅读更多巴西数据监管机构禁止Meta挖掘数据用于AI模型训练
巴西国家数据保护局近日裁定，Meta公司不得使用来自巴西的数据来训练其人工智能模型。Meta更新后的隐私政策允许其将用户的公开帖子输入其AI系统，但这在巴西将不被允许。Meta对此表示失望，坚称其方法符合巴西的隐私法律法规。巴西是Meta最大的市场之一，Facebook在该国拥有约1.02亿活跃用户。
阅读更多肌酸补充剂对有功能障碍风险患者身体机能优化的影响：一项系统评价和荟萃分析
该文章是对肌酸补充剂对有功能障碍风险患者身体机能优化影响的系统评价和荟萃分析。研究纳入了33项随机对照试验，共1076名参与者，发现补充肌酸可以提高坐立测试性能、肌肉功能和瘦体重，但证据质量较低。作者建议进行高质量的前瞻性随机对照试验以证实这些假设。
阅读更多图解Transformer
本文介绍了Transformer模型，它是一种使用注意力机制来提高训练速度的模型。Transformer模型在特定任务上的表现优于谷歌神经机器翻译模型，其最大优势在于其易于并行化。文章详细讲解了Transformer的编码器和解码器结构，以及自注意力机制、多头注意力机制和位置编码等关键概念。
阅读更多Python现代开发的良好实践
这篇文章总结了现代 Python 开发的一些最佳实践，包括使用支持多版本的工具安装 Python，使用最新版本的 Python，使用 pipx 运行开发应用程序，避免使用 Poetry，使用 pyproject.toml 文件，创建使用 src 布局的目录结构，使用虚拟环境进行开发，使用 requirements.txt 文件将包安装到环境中，使用代码格式化程序和代码检查器，使用 pytest 进行测试，以及打包应用程序。
阅读更多澳大利亚是否需要进口天然气？
澳大利亚是全球主要天然气出口国，但由于长期出口合同和基础设施限制，东部各州面临天然气短缺。专家认为，进口液化天然气是避免严重短缺的可行方案，但环境组织反对，当地生产商呼吁开发新气田并增加储存设施。
阅读更多Vectara 语义搜索用户界面
这篇文章介绍了 Vectara 语义搜索用户界面，但没有提供更多信息。用户需要启用 JavaScript 才能运行这个应用程序。
阅读更多NVIDIA NVLink 交换芯片在 HGX B200 上的变化
Computex 2024 展会上，英伟达展示了 HGX B200 主板，与之前的 HGX H100 相比，NVLink 交换芯片数量从四个减少到两个，并且位置从边缘移至主板中央，旨在缩短走线长度，提高高速信号传输效率。
阅读更多SonarQube代码质量管理工具引发开发者不满
文章讨论了代码质量管理工具SonarQube在实际应用中引发的一些问题。开发者抱怨SonarQube过于死板的规则限制了他们的编码自由，并指出其管理权限设置不合理，导致开发者无法有效地对规则进行调整或例外处理。文章呼吁SonarQube团队改进产品设计，例如增加用户反馈机制、提供更灵活的规则配置选项等，以提升开发者体验。
阅读更多