一位程序员在反汇编ARM代码时发现了大量的`d4d4`指令，这些指令总是不可达的，且被LLVM的objdump识别为相对跳转到-0x58。通过实验和分析，发现这些指令并非LLVM编译器添加，而是由LLD链接器在对象文件边界对齐时插入的。LLD使用`d4d4`指令进行填充，意图使其成为陷阱指令，但实际上它是一个条件跳转指令，在Thumb指令集中表现为相对跳转。这可能是LLD的一个bug，因为它并非真正意义上的陷阱指令，而是可能导致程序跳转到不可预测的位置。GNU链接器则使用零来进行填充，避免了这个问题。
阅读更多
继BSD Cafe成功之后，illumos Cafe项目应运而生。illumos Cafe是一个类似于BSD Cafe的项目，旨在为illumos操作系统提供服务，展示其易用性，并促进开源操作系统多样性。目前，illumos Cafe已上线Mastodon和snac实例，并计划逐步添加更多服务。该项目秉承积极包容的理念，旨在创建一个自由、独立的社区，摆脱大型科技公司的控制。
阅读更多
一家上海营销公司PLTFRM创造的AI虚拟主播正在中国电商平台上掀起热潮。这些AI主播24小时不间断直播销售商品，其销售业绩甚至超过人工主播。例如，兄弟打印机官方旗舰店启用AI主播后，直播销售额增长了30%。虽然目前抖音等平台对AI主播持谨慎态度，但在其他电商平台上，AI主播的应用已日益广泛，引发了人们对AI是否会取代人工主播的担忧。
阅读更多
微软即将在九月发布Windows 11的重大功能更新。此次更新包含Copilot相关功能增强，例如Recall和Click To Do的改进；以及面向所有用户的改进，例如改进的Windows搜索（图片显示为网格视图）、可自定义的锁屏小部件、重新设计的Windows Hello界面等。此外，任务栏日历飞出菜单将再次显示秒数，任务管理器也进行了更新。Copilot+电脑用户还将获得Recall的全新登录页面和Click To Do的全新教程。未来还将推出更可定制的开始菜单和改进的系统级暗模式。
阅读更多
阿布扎比正在大力推进一项国家基因组测序项目，收集阿联酋新生儿的DNA样本，旨在将阿联酋置于医疗保健前沿。目前已完成68%阿联酋公民的基因组测序，并向父母提供新生儿基因测序服务，以检测800多种可治疗的儿童遗传疾病。由于全球基因组测序数据中阿拉伯人的数据比例不足1%，该项目旨在填补这一空白，同时解决公共卫生问题，扩展个性化医疗服务。该项目运营商M42（G42旗下子公司）还计划与其他国家和制药公司合作，进一步扩大其基因数据资源。
阅读更多
Google宣布将于今年晚些时候推出搭载Gemini AI的全新Google Home语音助手，这将彻底改变Google智能家居生态。这款名为“Gemini for Home”的助手将取代现有的Google Assistant，带来更强大的理解能力和更自然的人机交互体验。它能够理解更复杂的指令，例如“只关卧室以外的灯”，并支持更丰富的功能，例如创建购物清单、日历提醒等。此外，Gemini Live功能将带来更流畅的对话式交互。虽然目前Google尚未公布付费版本的定价，但这次升级无疑是Google Home自推出智能显示屏以来最重大的变革之一，并有望推动新一代智能家居硬件的发布。
阅读更多
曾经誓言要废除《芯片法案》的特朗普，如今计划将其拨款转变为对美国芯片制造商的股权投资。此举引发业内热议。据报道，特朗普政府计划将拜登政府已批准但尚未发放的芯片补贴，转化为对Intel等公司的股权投资，以换取美国纳税人的利益分成。此举被解读为特朗普政府在寻求平衡财政支出和确保美国半导体产业竞争力的策略，但同时也可能对其他申请联邦拨款的企业造成不确定性，甚至影响企业运营效率。
阅读更多
谷歌Pixel Watch 4在硬件和软件上都进行了重大升级。新款手表拥有更薄的边框、更亮的屏幕和更长的电池续航时间。此外，它还采用了创新的侧置充电方式，并支持显示屏和电池的更换和维修。在软件方面，Pixel Watch 4搭载了Gemini AI，提供更强大的语音助手和个性化的健康教练功能，以及卫星SOS紧急呼叫功能。总而言之，Pixel Watch 4代表着谷歌在智能手表领域的一次大胆尝试，它努力打造一款持久耐用、功能强大的“必备伙伴”。
阅读更多
苹果公司去年因专利侵权被Masimo公司起诉，导致Apple Watch的血氧功能被禁。尽管苹果通过软件禁用了该功能，但近日却宣布重新启用该功能，并称其为“重新设计的血氧功能”。Masimo认为美国海关和边境保护局（CBP）越权且未经正当程序就允许苹果恢复该功能，因此再次提起诉讼，要求法院阻止CBP的决定，并恢复最初的禁令。这场诉讼的核心在于CBP是否违反了正当程序，以及苹果新的“重新设计”功能是否仍然构成专利侵权。
阅读更多
一项对近700项研究的综述揭示，市面上许多宣称能抑制室内感染传播的便携式空气净化器，其有效性缺乏人体试验验证。大多数研究仅在无人环境下测试了设备的空气净化能力，而忽略了对人体感染率的影响以及潜在的有害副产品。一些技术，如光催化氧化和等离子体技术，虽然在清除空气中的微生物方面显示出潜力，但却缺乏人体试验数据支持其有效性。研究人员呼吁加强对这些设备的有效性和安全性评估，以确保消费者权益和公共健康。
阅读更多
一位开发者历时数月，利用CSS 3D变换技术，仅用HTML元素和JavaScript，构建了一个令人惊艳的3D环境演示。该演示包含复杂的模型、逼真的光照和阴影，甚至实现了碰撞检测。文章详细介绍了其技术细节，包括如何用矩形元素创建3D物体、巧妙运用渐变和canvas实现光照和阴影效果，以及基于高度图的碰撞检测。这不仅仅是一个技术炫技，更展示了CSS在3D图形领域的巨大潜力。
阅读更多
本文深入探讨了去中心化社交网络 Bluesky 背后的 ATProto 协议架构。文章详细解释了 Records、Blobs、Lexicons、DIDs、Handles 等核心概念，以及 PDS（个人数据服务器）、Relay（中继服务器）、AppView（应用视图）、Labellers（标签器）和 Feed Generators（信息流生成器）等服务器组件如何协同工作。作者还阐述了 ATProto 与 Fediverse 的区别，并介绍了相关的 SDK、文档和社区资源，为开发者提供了一个深入了解和参与 Bluesky 生态系统的指南。
阅读更多
作者长期参与慈善捐赠，发现科技类非营利组织在吸引捐款方面远逊于其他类型的组织。文章分析了原因，指出科技类非营利组织在简化捐赠流程（提供多种捐赠方式，例如支票、捐赠者顾问基金等）、清晰阐述捐赠用途（明确组织目标、财务状况、项目进展、资金使用情况等）、加强人际沟通（主动联系捐赠者，建立良好关系）等方面存在不足。作者建议科技类非营利组织学习其他成功案例，积极改进，才能更好地吸引和留住捐赠者，实现其社会使命。
阅读更多
Coris公司招聘经验丰富的AI工程师，负责构建用于全球商业的AI反欺诈系统。工作内容包括微调和优化大型语言模型（LLM）用于欺诈检测，构建高性能的Django后端服务以及处理来自Stripe和Adyen等支付处理器的海量数据。理想候选人应具备3年以上Python/Django开发经验，熟悉LLM优化和反欺诈领域，并能够在高并发环境下保证模型的低延迟和低成本。
阅读更多
Zedless是Zed的隐私友好型本地优先分支，目前仍在开发中，欢迎贡献！它将去除对专有云服务的依赖、遥测和自动崩溃报告，并优先支持自建基础设施。任何使用网络服务的特性都允许配置提供商，且默认禁用，不会包含默认提供商列表。此外，它不会要求贡献者转让版权，并确保所有第三方依赖项的许可证信息正确。
阅读更多
一个由Kevin Buzzard领导的国际合作项目正在使用Lean定理证明器来形式化证明费马大定理。该项目获得了英国工程和物理科学研究委员会的资助，由伦敦帝国理工学院主办。这个非标准研究项目旨在用计算机验证一个著名的数学难题的证明，其意义在于探索数学证明的形式化和自动化验证的可能性，这对于未来数学研究具有深远的影响。
阅读更多
Gouach公司历经挫折，自主设计了IP67防护等级的Infinite Battery电池组，并通过Indiegogo众筹和风险投资筹集了370多万美元。该电池组兼容多种电动自行车，尤其克服了与Bosch中置电机加密通信的难题，计划6月向欧盟用户发货。其模块化设计理念，挑战了传统一体化电池的模式，为电动自行车电池市场带来新的可能性。
阅读更多
SimpleIDE 是一款轻量级的专业 VB.NET IDE，基于 .NET 8.0 和 GTK# 3 构建，专为 Linux 系统上的 VB.NET 项目而设计。它提供了现代化的开发环境，支持多文件选项卡式编辑、语法高亮、代码自动完成、内置构建系统、调试功能以及 Claude AI 辅助等特性。此外，SimpleIDE 还支持 Git 集成、自定义主题和丰富的快捷键操作。该项目开源且免费，欢迎贡献代码。
阅读更多
这篇博文提供了一个 Python f-string 格式化字符串的速查表，涵盖了数字、整数和字符串的各种格式化选项，例如填充、宽度、分组、精度和类型等。此外，还介绍了所有对象通用的修饰符，例如 !s、!r、!a 等，以及如何将这些修饰符与其他格式规范混合使用。无论是处理数字、整数还是字符串，这份速查表都能帮助你轻松掌握 Python f-string 的强大功能，提高代码的可读性和效率。
阅读更多
为了应对日益严重的“阅读危机”，丹麦政府宣布将取消目前全欧洲最高的25%书籍销售税。这一举动旨在鼓励更多公民购买书籍，预计每年将使国家财政损失3.3亿丹麦克朗（约合5100万美元）。OECD的最新教育报告显示，24%的丹麦15岁青少年无法理解简单的文本，比十年前增加了4个百分点，这引发了丹麦政府的担忧。丹麦出版行业此前也曾呼吁减税，认为政府有责任保证所有丹麦人（包括儿童和成人）都能获得实体书。
阅读更多
Universal Tool Calling Protocol (UTCP) 1.0.1 是一款现代化、灵活且可扩展的工具交互标准，支持多种通信协议。其模块化核心和插件式架构使其更易于扩展、测试和打包。UTCP 强调可扩展性、互操作性和易用性，并提供HTTP、SSE、CLI等多种协议插件。新版本对架构进行了重构，将核心库与可选插件分离，并提供了改进的搜索策略和变量替换机制。
阅读更多
最近，越来越多的网站使用Anubis这个反爬虫系统，它用类似挖矿的方式来验证访问者身份，要求用户进行SHA-256运算来获得访问权限。作者质疑Anubis的有效性，因为它对拥有强大计算能力的AI爬虫来说成本微不足道，却给普通用户带来不便。通过计算，作者发现即使有上万个网站部署Anubis，破解其验证机制的成本也几乎为零。作者最后提供了一个简单的C程序来绕过Anubis的限制，并指出Anubis系统存在漏洞。
阅读更多
在人工智能的推动下，SK海力士凭借与英伟达的独家供应协议以及对AI内存芯片的巨大需求，首次超越三星电子，成为全球最大的DRAM制造商。三星电子上半年的DRAM市场份额下降了8.8个百分点，创下1999年以来的最大跌幅。SK海力士的崛起主要得益于其在美国市场的强劲表现，特别是其对英伟达HBM3E芯片的供应，这部分贡献了其第一季度54%的DRAM营业利润。分析师认为，SK海力士在HBM市场的领先地位将使其在短期内保持优势。
阅读更多
本文作者认为现有的编程语言在处理数据和对象方面存在根本性缺陷。他指出，编程语言需要区分数据（例如整数1）和对象（具有身份和可变性的实体）。许多语言未能清晰地区分两者，导致代码冗余和设计难题。作者认为理想的语言应该允许开发者明确选择数据或对象表示法，并提供相应的支持。文中以Java和Haskell为例，对比了面向对象和函数式编程语言在处理数据和对象方面的差异，并分析了Erlang在处理数据和对象方面的优势，最终呼吁编程语言设计者应该更清晰地区分数据和对象，从而提升程序设计的效率和质量。
阅读更多
DiffMem 是一款轻量级的基于 Git 的 AI 智能体记忆后端，它使用 Markdown 文件存储信息，利用 Git 追踪记忆随时间的变化，并通过内存中的 BM25 索引实现快速、可解释的检索。该项目是一个概念验证，探索如何利用版本控制系统构建高效、可扩展的 AI 应用记忆系统。DiffMem 将记忆视为一个版本化的存储库，当前知识存储在可编辑文件中，历史更改则保存在 Git 的提交图中。这种分离允许智能体查询和搜索简洁的最新信息，同时在需要时可以深入研究历史变化。DiffMem 的设计解决了传统 AI 记忆系统面临的诸多挑战，例如查询效率、可扩展性以及开发便利性等，并具有良好的可移植性和可审计性。
阅读更多
本文介绍了作者Michael Walden复刻的Epson MX-80打印机字体。基于1980年代流行的Epson MX-80打印机，作者手动转换了字体数据，并新增了Windows-1252字符集的支持，最终提供了多种格式（.fon, .ttf, .otf, .woff, .woff2）的字体文件下载。这些字体可用于模拟复古打印效果，或在网页和文档中显示程序清单。
阅读更多
作者尝试开发一个名为git-review的工具，旨在改进GitHub的代码审查流程。该工具的核心思想是将代码审查作为提交存储在代码库中，通过在代码中添加评论来进行审查。然而，实验结果并不理想。虽然在代码中直接添加评论非常高效，但修改审查中的代码却很复杂，特别是处理冲突和使用`git push --force-with-lease`带来的摩擦。作者最终放弃了该项目，但认为其核心思想——在代码中直接进行审查——仍然很有价值，并展望了未来通过Git改进代码审查的可能性。
阅读更多
Traverse Research团队通过微基准测试测量不同GPU的内存带宽，深入研究GPU架构。文章探讨了GPU内存访问的复杂性，包括描述符、不同类型的缓冲区（字节地址缓冲区、结构化缓冲区、类型化缓冲区）和纹理单元。研究还涵盖了GPU内存层次结构、缓存策略（写直写、写回、写绕过）以及隐藏延迟技术。实验结果表明，不同GPU架构在缓存和VRAM带宽方面存在显著差异，例如，Meta Quest 3的Adreno 740在使用纹理时内存带宽显著提高；AMD Radeon RX 9070 XT在浮点数和整数加载方面存在差异；Intel Arc B580在不同数据类型加载方面表现出特殊模式；NVIDIA GeForce RTX 5070 Ti在大量写入同一内存区域时出现瓶颈。这些发现有助于优化GPU软件性能，尤其是在针对特定硬件的项目中。
阅读更多
PlutoPrint是一个轻量级的Python库，可以将HTML或XML内容直接转换为高质量的PDF和图像。它基于PlutoBook的强大渲染引擎，提供简单的API，轻松生成报告、发票或视觉快照。支持命令行和Python API两种使用方式，Windows和Linux 64位系统提供预编译二进制文件。此外，它还支持与Matplotlib集成，生成图表并将其添加到PDF或图像中。
阅读更多
美国联邦贸易委员会(FTC)起诉LA Fitness等健身房，指控其故意设置障碍，使消费者难以取消会员资格和相关服务。FTC调查发现，成千上万的LA Fitness会员反映取消会员资格异常困难，例如只能在特定时间、与特定员工联系才能取消，且公司未清晰告知消费者取消附加服务的便捷途径。FTC寻求法院禁令，禁止这种不正当行为，并为受损消费者追偿损失。此举凸显了FTC对保护消费者权益的决心，以及对企业设置不公平合同条款的强硬态度。
阅读更多