Gentoo社区在4月14日投票通过一项新政策，禁止使用自然语言处理（NLP）人工智能工具生成的任何内容贡献给Gentoo项目。这一决定基于版权、质量和伦理方面的担忧。虽然允许添加与AI相关的软件包，但直接使用AI生成代码则被禁止，因为AI生成的代码可能存在版权问题、质量问题（例如生成看似合理但毫无意义的内容）以及伦理问题（例如AI模型训练中存在的版权侵犯、高能耗等）。该政策旨在维护Gentoo项目的质量和完整性。
阅读更多
作者设计并制作了一台1U机架式触发器交叉开关，用于连接和同步其电子实验室中的多种仪器。该设备基于FPGA和MCU，具有丰富的触发输入/输出端口和以太网SCPI接口。然而，从设计到完成，作者经历了诸多挑战，包括电源问题、组件焊接、FPGA闪存引脚错误，甚至需要使用小型铣床修复PCB。最终，该设备成功运行，并可通过SSH和SCPI接口进行控制，作者也从中吸取了宝贵的经验教训。
阅读更多
去中心化视频平台PeerTube发布了7.3版本，带来了诸多改进。新版本拥有更简洁的管理员侧边栏菜单，并提供新的管理员引导向导，简化平台设置。邮件通知现支持多语言，并改进直播功能，允许用户提前安排直播。此外，还改进了播放列表管理，管理员可以重新排序公共播放列表，并设置默认视频许可证、可见性和评论策略。
阅读更多
Python-BPF是一个全新的开源库，允许开发者完全使用Python编写eBPF程序，并将其编译成真正的目标文件。这解决了以往在Python中编写eBPF程序需要嵌入C代码的繁琐问题。Python-BPF利用Python的AST和LLVM IR进行编译，支持控制流、哈希映射、BPF辅助函数等功能，极大地简化了eBPF开发流程，为生产环境下的eBPF程序编写提供了新的选择。
阅读更多
Titania 编程语言基于 Niklaus Wirth 设计的 Oberon-07 语言，旨在作为编译器开发教学工具。其语法简洁，包含了模块、过程、数据类型等核心概念，并提供了一套内置函数，涵盖了数值计算、位运算、内存管理等方面。通过学习 Titania，开发者可以深入理解编译原理和编程语言设计。
阅读更多
编写网页测试时，直接操作HTML元素的测试代码容易因UI变更而失效。页面对象模式（Page Object）提供了解决方案。它将页面或页面片段封装成一个应用相关的API，允许你通过这个API操作页面元素，而无需直接接触HTML。页面对象的目标是模拟用户行为，提供简洁易用的接口，隐藏底层组件的细节。例如，文本字段用字符串访问器，复选框用布尔值，按钮用动作导向的函数名表示。良好的页面对象设计应关注用户视角，而非UI内部结构，并返回基本数据类型或其他页面对象。关于是否在页面对象中包含断言，存在争议。作者建议将断言放在测试脚本中，避免页面对象臃肿，并使用断言库减少重复。页面对象模式广泛应用于各种UI技术，不仅用于测试，也可作为应用程序的脚本接口。
阅读更多
这篇文章探讨了在 Haskell 中使用 Backpack 模块系统替代类型类的方法。作者通过一个名为“Death”的例子，演示了如何定义 Functor 等类型的签名，并分别实现不同的实例（例如 Maybe 和 IO）。通过 Cabal 的配置，可以灵活地选择不同的实现，例如在测试中使用状态单子模拟 IO 操作。这种方法虽然需要更多 Cabal 配置，但可以带来更清晰的错误信息和更灵活的控制，并拥有潜在的性能优势。文章最后倡导了一种“极简主义”的编程哲学，认为通过精简系统，可以获得更好的可读性和可维护性。
阅读更多
Let's Encrypt 宣布正式关闭其在线证书状态协议 (OCSP) 服务，转而完全依赖证书吊销列表 (CRL) 来发布吊销信息。此举旨在保护用户隐私，因为 OCSP 会泄露用户访问网站的 IP 地址信息。Let's Encrypt 此前已停止在证书中包含 OCSP URL 超过 90 天，所有包含 OCSP URL 的证书现已过期。关闭 OCSP 服务也简化了 Let's Encrypt 的 CA 基础设施，提高了效率和可靠性。在高峰时期，Let's Encrypt 的 OCSP 服务每月处理约 3400 亿次请求，感谢 Akamai 十年来对 OCSP 的 CDN 服务捐赠。
阅读更多
为对抗AI公司大规模爬取数据造成的服务器宕机，该网站部署了名为Anubis的反爬虫系统。Anubis采用类似Hashcash的PoW机制，对单次访问影响较小，但大规模爬取会显著增加成本。这是一个临时方案，最终目标是通过识别无头浏览器等手段，精准打击爬虫，而无需对普通用户展示PoW页面。请注意，Anubis依赖现代JavaScript特性，需禁用JShelter等插件才能正常访问。
阅读更多
一项对近六万张电影海报的色彩分析揭示了电影类型与海报色彩之间的微妙关系。研究发现，橙色是电影海报中最常用的颜色，喜剧、冒险和家庭电影最常使用橙色和黄色营造温暖、欢乐的氛围；动作、科幻和惊悚片则常将橙色与蓝色对比，以突出视觉效果和冲突感。红色在恐怖、动作和爱情片中广泛使用，但其含义因上下文而异。蓝色常用于展现海洋、天空等场景，而绿色则在动画、家庭和冒险电影中更为常见。紫色和粉色则通常用于非主流电影，以突出其独特之处。这项研究为电影海报设计提供了数据支持，揭示了不同颜色在不同类型电影中的应用规律。
阅读更多
这个项目提供了一个脚本，用于在CachyOS上安装DHH的Omarchy桌面配置。Omarchy是一个基于Hyprland的简洁高效的桌面环境，而CachyOS是一个性能优化的Arch Linux发行版。该脚本简化了安装过程，但需要用户具备一定的Arch Linux使用经验。它不会安装CachyOS本身，也不处理分区、格式化、加密等底层操作，用户需要自行完成这些步骤。脚本会选择Yay作为AUR帮助程序和Fish作为默认shell，并保留CachyOS的Tealdeer和Omarchy的Mise。需要注意的是，该脚本不安装显示管理器，也不自动启动Hyprland，除非CachyOS已安装Hyprland。该脚本不提供任何形式的担保，使用需谨慎。
阅读更多
这段Bun脚本分析了npm包的版本号信息，从npm replicate API获取所有包ID，再从npm registry API获取每个包的版本信息。脚本计算每个包的总版本数和版本号中最大的数字，并过滤掉一些已知存在问题的包，最终输出版本数量最多和版本号中最大数字最大的包列表。这有助于识别npm包版本管理的模式和潜在问题。
阅读更多
arXivLabs是一个开放平台，允许开发者与arXiv社区合作，直接在arXiv网站上开发和分享新功能。参与者必须认同arXiv的开放、社区、卓越和用户数据隐私的价值观。你有提升arXiv社区价值的想法吗？快来了解arXivLabs吧！
阅读更多
南达科他州立大学的一项新研究发现，葡萄藤蔓可以转化成类似塑料的材料，这种材料比传统塑料更坚固，并且可以在环境中相对较快地分解。研究人员利用葡萄藤蔓中丰富的纤维素，制备出透明且强韧的薄膜，其拉伸强度甚至超过传统塑料袋，并在土壤中17天内完全生物降解，且不留下任何有害残留。这项研究为解决塑料污染问题提供了一种环保可持续的解决方案，也为农业废弃物的资源化利用开辟了新途径。
阅读更多
这篇博文探讨了GPT-3等大型语言模型如何用相对较小的12288维嵌入空间容纳数百万个不同概念。作者通过实验和对约翰逊-林德斯特劳斯引理的分析，揭示了高维几何中“准正交”向量关系的重要性，以及优化嵌入空间向量排列以提高容量的方法。研究发现，即使在考虑向量间的角度偏差后，GPT-3的嵌入空间仍拥有惊人的容量，足以表示人类知识和推理。
阅读更多
Betty Crocker蛋糕粉的减量引发了家庭烘焙爱好者，特别是祖母辈们的强烈不满。蛋糕粉从15.25盎司缩减到13.25盎司，看似微小的变化却严重影响了无数沿用多年的食谱，例如用蛋糕粉制作的饼干、蛋糕等。许多人表示，减量后的蛋糕粉无法再做出以往的口感和数量，导致经典家庭食谱失传的危机。这不仅仅是产品减量的问题，更是关乎家庭情感和传统传承的事件。
阅读更多
欧盟委员会结束了对微软的多年反垄断调查，原因是微软同意将其Teams应用从Office套件中分离。此举避免了微软可能面临的巨额罚款。微软承诺未来七年将提供不含Teams的低价Microsoft 365和Office 365，并开放API以提高与第三方工具的互操作性。这一决定被认为是欧盟和微软的双赢局面，欧盟避免了与科技巨头的法律大战，而微软则避免了高达其年收入10%的巨额罚款。
阅读更多
一项基于超过400万成年人的真实世界数据分析显示，大麻使用与患糖尿病的风险几乎增加四倍相关。研究发现，大麻使用者患糖尿病的风险是非使用者近四倍。尽管需要进一步研究来解释两者之间的确切联系，但这项研究强调了在医疗保健中纳入糖尿病风险意识以及对大麻使用进行常规评估的重要性。这项研究发表在欧洲糖尿病研究协会年会上，虽然存在一些局限性，例如回顾性研究设计和数据报告的不一致性，但其结果仍然令人担忧，并突显了对大麻长期健康影响进行进一步研究的必要性。
阅读更多
赤道几内亚安诺本岛居民因摩洛哥建筑公司Somagec的炸药爆破污染环境而抗议，政府的回应却是切断该岛的互联网连接，并逮捕数十名抗议者。长达一年的断网导致岛上银行服务、医疗紧急服务瘫痪，居民只能依靠昂贵的手机通话联系外界。此举被视为政府打压异见的又一手段，而政府和Somagec均否认参与断网。尽管安诺本岛拥有丰富的矿产资源，但居民却生活在贫困之中，岛民多年来一直寻求独立，此次断网事件加剧了岛民与政府的冲突。
阅读更多
文章探讨了负面思维螺旋的形成机制，以及如何通过识别“核心问题”、“解读方式”和“固化”三个关键环节来打破这种循环。作者用生动的例子阐述了人们如何对细微事件过度解读，从而引发自我怀疑和焦虑，最终导致行为恶化，陷入负面循环。文章也提出了“明智干预”的概念，建议人们关注并积极应对生活中的核心问题，以促进积极的思维循环，提升幸福感和成功率。
阅读更多
一位博士生分享了他的高效阅读方法：他并非试图记住所有信息，而是将阅读视为一个更新贝叶斯信念的过程，每次阅读都微调他的世界模型。他认为，阅读的目的是激发思考和产生新想法，而不是记忆细节。因此，他会忽略大部分内容，只关注能改变他的思维或为写作提供素材的部分，例如一篇论文中写得很好的方法论部分。如果一篇非虚构作品无法激发新的想法或行动，他认为它可能不值得阅读。这种方法强调的是理解和应用，而不是死记硬背。
阅读更多
GrapheneOS (GOS) 是一款专注于安全的 Android 系统，仅兼容 Google Pixel 设备。它通过多用户配置文件实现强大的隐私保护，每个配置文件都拥有独立的加密和权限设置，如同在手机内运行多个隔离的系统。用户可以自定义每个配置文件的权限，甚至完全停止其后台运行。安装简便，更新便捷，并提供强大的应用权限管理功能。虽然略微牺牲部分易用性，但对于注重安全和隐私的用户来说，GOS 提供了前所未有的控制力，值得一试。
阅读更多
作者在RISC-V架构上用Zig语言实现了一个最小化的时间共享操作系统内核原型。该项目重做了作者本科操作系统课程中的一个练习，并利用了现代工具和RISC-V架构的优势。它支持静态定义线程、线程间系统调用以及基于定时器中断的时间片轮转调度，实现了基本的线程虚拟化，每个线程拥有独立的栈和寄存器上下文。代码已开源，并提供了详细的实现步骤和代码解释，适合系统软件和计算机体系结构学习者参考。
阅读更多
大型语言模型（LLM）训练数据获取方式的演变引发了激烈的版权之争。起初，数据抓取缺乏伦理和法律考量。但随着ChatGPT等应用的商业化，版权问题日益突出，作者、出版商纷纷起诉AI公司。OpenAI等公司开始与出版商签订协议获取数据，但数据抓取行为并未停止，甚至变得更加肆无忌惮。面对滥用数据的情况，Cloudflare等公司推出了反抓取工具，并出现了RSL标准，允许网站设定数据访问价格。这标志着网站所有者开始积极反击，未来AI公司可能被迫为数据付费，从而改变数据获取生态。
阅读更多
詹姆斯·韦伯太空望远镜（JWST）对40光年外的TRAPPIST-1e行星的观测结果表明，这颗类地行星可能拥有类似地球的大气层。虽然这一发现仍存在不确定性，需要进一步观测验证，但这已成为科学家寻找“第二地球”的重大进展。研究表明，TRAPPIST-1e的大气层可能富含氮气，并含有少量二氧化碳和甲烷，这与地球大气层的成分相似。这一发现令人振奋，为未来寻找地外生命提供了新的线索。
阅读更多
美国环保署（EPA）寻求撤销去年制定的旨在保护民众免受PFAS“永久化学品”危害的饮用水标准。此举遭到环保组织的强烈反对，他们认为EPA此举违反了《安全饮用水法案》的反倒退条款，并损害了公众健康。PFAS污染了全国约2亿人的饮用水，EPA的决定引发了广泛的担忧。
阅读更多
这个项目发布了麻省理工学院 1979 年到 1984 年期间的 CP/M 操作系统软件和代码档案。这些文件最初保存在 MIT-MC 的计算机上，通过 ARPANET 网络共享，后来迁移到 SIMTEL20。该档案包含来自 24 个磁带镜像文件的 221 个文件，展现了早期软件开发的珍贵历史，为研究人员和复古电脑爱好者提供宝贵的资源。
阅读更多
本文深入探讨了SpiderMonkey JavaScript引擎中内联缓存（Inline Caching）的实现机制。不同于传统的缓存概念，SpiderMonkey的内联缓存是一种自修改代码技术，通过在调用点插入一系列桩（stub），根据输入类型动态选择高效的执行路径。首次调用时，会执行一个回退路径，并根据结果生成相应的桩，后续相同类型的调用将直接命中缓存，显著提升执行效率。文章以JavaScript加法运算为例，详细解释了内联缓存的工作原理，并提及了SpiderMonkey最新的CacheIR架构，它将内联缓存的细节抽象化，以便在不同编译器之间共享。
阅读更多
大量研究表明，老年痴呆症日益成为全球性健康问题。这篇综述性文章汇集了多个研究，探讨了老年人认知障碍的流行病学、风险因素以及干预措施。研究指出，焦虑和抑郁与认知功能障碍密切相关，且重复性消极思维模式可能加剧认知衰退。文章还强调了社会支持、健康生活方式以及早期干预的重要性，为未来老年痴呆症的预防和治疗提供了宝贵的参考。
阅读更多
这是一个基于迁移学习的实时多说话人文本转语音合成（SV2TTS）开源项目，源于作者的硕士论文。该项目包含三个阶段：首先，从几秒钟的音频中创建语音的数字表示；然后，使用该表示作为参考，根据任意文本生成语音。虽然项目较为早期，但支持Windows和Linux系统，并推荐使用GPU加速。项目提供了详细的安装和使用指南，并支持多种数据集。
阅读更多