arXivLabs是一个允许协作者直接在arXiv网站上开发和分享新功能的框架。参与arXivLabs的个人和组织都认同并接受了arXiv关于开放性、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，只与坚持这些价值观的合作伙伴合作。如果你有想法能为arXiv社区增值，了解更多关于arXivLabs的信息吧！
阅读更多
一个名为“时间流逝”的MCP服务器项目旨在解决大型语言模型(LLM)无法可靠计算时间差的问题。该项目通过人机协作开发了一套时间计算工具，赋予LLM对时间的感知和计算能力，并意外地发现LLM可以利用这些工具洞察对话模式、工作节奏和人类对时间的体验。该服务器提供多种时间计算功能，包括计算时间差、提供时间上下文信息、转换时间戳格式等，并支持多种时区。
阅读更多
受埃舍尔作品的启发，物理学家Libor Šmejkal 预测并证实了第三种磁性——“交替磁性”（altermagnetism）。与传统铁磁性和反铁磁性不同，交替磁性材料的原子磁矩交替指向相反方向，但同时存在90度旋转，从而产生独特的量子特性。这种新磁性有望解决自旋电子学中的难题，提高计算机存储效率和速度。研究人员已在锰碲化物中证实了交替磁性，并正在探索更多此类材料，甚至预测了第四种磁性——“反交替磁性”。
阅读更多
Seagate发布了基于Mosaic 3+平台的新一代硬盘，采用其独特的HAMR技术，实现了3TB/盘甚至更高的面密度。该硬盘特别强调其在AI数据存储领域的应用，但其超高存储密度也使其适用于各种需要大量存储空间的场景。尽管消费级PC已转向固态硬盘，但对于大型数据中心而言，机械硬盘在性价比方面仍具有优势。Seagate的竞争对手西部数据预计2027年推出HAMR硬盘，而东芝则计划在2025年提供样品进行测试。
阅读更多
本文回顾了Anthropic的Claude平台及其Artifacts功能，该功能允许用户无需编码即可创建AI驱动的网页应用。作者将Claude比作生成式AI时代的Dropbox，因为它解决了用户创建和分享AI应用时遇到的API密钥、部署和身份验证等问题，并巧妙地通过用户的Claude账户订阅来实现盈利，无需开发者承担任何成本。作者认为，Claude的这种模式具有极高的商业价值，并展望了未来通过简单的支付方式来变现的可能性。
阅读更多
Atopile 是一款将软件开发流程应用于硬件设计的工具。通过用代码描述电子元件，它能够利用模块化、版本控制和深度验证，显著提升硬件设计效率。Atopile 支持直接在代码中捕获设计智能和约束条件，实现组件自动选择、每次构建都进行嵌入式计算检查以及可靠的可配置模块。这使得快速迭代、更轻松的协作和通过持续集成验证稳健的设计成为可能。其主要功能包括：快速构建项目、自动选择元件和持续验证。
阅读更多
pgactive 是一个 PostgreSQL 扩展，用于创建活跃-活跃数据库集群。传统数据库复制多为主动-被动模式，而 pgactive 允许在多个数据库实例上同时写入数据，从而实现更高的可用性、更低的写入延迟以及更便捷的蓝绿部署和数据迁移。它利用 PostgreSQL 10 后引入的逻辑复制功能，并通过扩展解决冲突和序列问题，为构建高可用性、多区域数据库集群提供了一种新的解决方案。
阅读更多
cppyy是一个运行时Python-C++绑定生成器，允许在Python中调用C++代码，反之亦然。它无需任何语言扩展或中间语言，即可实现高性能、低内存占用、跨继承和回调等功能，支持运行时模板实例化、自动对象向下转换和异常映射。cppyy基于Cling C++解释器，能够动态、交互地混合使用C++和Python特性，甚至支持像Boost这样的现代C++库。它适用于CPython和PyPy，并针对大型项目进行了优化，在性能和内存管理上都有出色表现。
阅读更多
据路透社报道，英伟达计划恢复向中国大陆销售其H20 AI芯片，中国公司已争先恐后地提交订单。英伟达预计很快将获得美国政府的许可，从而在首席执行官黄仁勋会见特朗普总统后几天内重启受限处理器的发货，这可能为今年带来150亿至200亿美元的额外收入。此举与2022年ChatGPT发布后，英伟达的财务状况与对能够高效执行AI模型的专用硬件的需求密切相关有关。H20芯片是英伟达在中国合法销售的最强大的AI处理器，尽管由于2022年实施的出口限制，其计算能力低于在其他地方销售的版本。
阅读更多
这款工具允许你只需连接数据库凭据，即可立即浏览数据库模式，查看表、列、类型和关系（主键、外键）。它提供了一个简单的可视化界面，无需编写SQL语句即可过滤、排序、连接和汇总数据。你可以点击展开相关记录，例如嵌套表，直观且强大。此外，你还可以可视化地插入和更新数据，无需担心语法错误。保存查询后，随时可以查看。当然，你也可以随时切换到SQL模式并运行自己的代码。
阅读更多
FluentBird 是一款为 Mozilla Thunderbird 邮箱客户端打造的 userChrome.css 主题，它实现了 Windows 11 的 Fluent Design 和 Mica 透明材质效果。该主题支持深色和浅色模式，并增强了 Windows 11 系统上的 Mica 透明度。虽然目前为 Beta 版本，可能存在一些 bug，但它已经基本完成了邮件部分的主题美化，并修复了一些已知问题。安装方法需要用户手动将文件复制到 Thunderbird 配置文件目录下的 chrome 文件夹。需要注意的是，由于 Thunderbird 部分区域使用 Shadow DOM 渲染，因此并非所有元素都能被完全主题化。
阅读更多
厌倦了浏览令人沮丧的网络新闻？这款浏览器扩展程序提供了一个独特的解决方案：点击按钮，虚拟食人鱼光标就会缓慢地撕碎网页，让你以一种另类的方式宣泄不满。支持Firefox和Chrome浏览器。
阅读更多
在80年代的经济衰退时期，一款名为Pro-Line Curly Kit的DIY卷发套装横空出世，以其低廉的价格（8美元）和在家就能轻松实现的闪亮湿发卷发效果，迅速风靡美国。这款产品由Comer Cottrell创造，不仅让无数人拥有了曾经高昂的沙龙造型，也让Pro-Line公司获得了巨大的成功，甚至改变了黑人美发行业的格局。其成功案例也印证了经济低迷时期，低成本、易操作的美容产品更容易受到市场欢迎的规律。尽管Jheri curl最终因流行趋势变化而过时，但其影响力至今仍在黑人美发文化中延续。
阅读更多
乌克兰网络活动家与军事情报部门合作，成功瘫痪了俄罗斯最大的无人机制造商之一Gaskar Integration的运营。攻击摧毁了超过47TB的关键数据，封锁了内部系统，并有效地停止了工厂的运营。黑客组织BO Team参与了此次攻击，获取了大量关于俄罗斯无人机生产的技术信息，包括其与中国的合作证据。攻击导致Gaskar Integration的网络、生产和会计系统瘫痪，甚至工厂大门被锁，员工只能使用紧急出口。此次行动被认为是乌克兰在网络战中取得的重大胜利，为其国防力量提供了宝贵的情报。
阅读更多
作者分享了其6个月内使用Python进行AI应用开发的经验，并介绍了一套完整的工具链，涵盖项目结构、依赖管理(uv)、代码检查(ruff)、类型检查(ty)、测试(pytest)、数据验证(Pydantic)、文档生成(MkDocs)、API构建(FastAPI)、数据类(dataclasses)、版本控制(GitHub Actions)、依赖更新(Dependabot)、安全扫描(Gitleaks)、预提交钩子(pre-commit)、自动化任务(Make)以及Docker容器化等方面。该工具链旨在简化开发流程，提高代码质量，并实现高效的持续集成和持续交付。作者强调了其偏好于monorepo结构以及轻量级工具组合的理念，为Python全栈开发者提供了宝贵的实践参考。
阅读更多
本文介绍了用于创建令人惊叹的有机模拟的算法技术，例如基于Physarum多头绒泡菌行为的模拟。作者详细解释了Jeff Jones提出的算法，包括粒子运动、轨迹绘制、扩散和衰减等步骤，并展示了如何通过调整参数（传感器距离、传感器角度、旋转角度、移动距离）来实现不同的模拟效果。文章还介绍了Sage Jenson的“36 Points”项目，该项目通过引入参数变化公式，使模拟效果更加多样化和复杂。最后，作者分享了自己的实现，包括利用GPU加速计算和多种颜色实验，并提供了代码示例和交互式项目链接。
阅读更多
Nextflow是一个基于数据流编程模型的强大工作流系统，它简化了并行和分布式数据处理管道的创建。你可以轻松地将工作流部署到本地机器、HPC调度器、云平台（AWS、Azure、Google Cloud）以及Kubernetes等环境中。Nextflow支持多种软件依赖管理工具，例如Conda、Docker和Singularity等。它拥有活跃的社区，提供丰富的文档、论坛和Slack支持，并拥有nf-core项目提供高质量的预建工作流。
阅读更多
本文讲述了上世纪80年代一位传奇程序员Mel的故事。Mel精通机器码编程，为Royal McBee公司编写了一个在LGP-30计算机上运行的黑杰克游戏，并在RPC-4000上进行了优化。他拒绝使用编译器和优化汇编器，因为他能通过手动优化代码，充分利用计算机的鼓式内存结构，使程序运行速度更快。即使是简单的循环，他也能通过巧妙的技巧，例如利用指令地址溢出实现循环结束，避免使用测试条件。最后，虽然被迫添加了控制输赢的开关，但他却反向实现了功能，让程序在开启开关后总是赢，展现了他独特的编程风格和对职业道德的坚持。
阅读更多
本文介绍了一种提高代码编写速度和准确性的技巧：在编写代码时进行“在线”证明，即在不中断代码编写流程的情况下，在脑中证明代码的正确性。作者介绍了几种辅助证明的方法，例如关注代码的单调性、使用前置条件和后置条件、维护不变式以及隔离变化的影响范围。此外，作者还强调了归纳法在处理递归函数和数据结构时的作用，并建议将“证明亲和性”作为衡量代码质量的标准。最后，作者建议通过练习编写数学证明来提高代码证明能力。
阅读更多
经过多年的开发，Firefox 141 Windows版本终于正式支持WebGPU！WebGPU为网页内容提供了一个现代化的图形处理器接口，能够实现高性能计算和渲染。Mozilla表示，WebGPU将提升网页游戏、可视化和本地计算的性能上限。目前WebGPU已在谷歌Chrome和即将发布的Safari中可用，Firefox计划在未来几个月内为Mac、Linux和Android平台推出WebGPU支持。
阅读更多
一项针对500位使用Oracle Java的IT资产管理人员的调查显示，73%的受访者在过去三年中接受过审计，近80%的用户已迁移或计划迁移到开源Java以避免高昂的成本和风险。Oracle自2018年以来多次更改Java定价模式，导致价格大幅上涨，许多用户为此付出巨额费用，甚至超过50万美元/年。调查显示，只有14%的用户打算继续使用Oracle的订阅模式，这突显了企业面临的软件许可合规性难题和高昂成本。
阅读更多
Perplexity CEO 斯里尼瓦斯告诫年轻创业者：你的好点子会被大公司抄袭，这是常态。他以Perplexity的搜索功能为例，阐述了大型科技公司拥有巨额资本，需要持续寻找新的盈利模式，因此会抄袭任何有价值的产品或功能。他建议创业者做好心理准备，努力工作，并时刻警惕巨头们可能采取的压制手段，例如通过垄断行为扼杀竞争。
阅读更多
Blender 4.5长期支持版发布，带来Vulkan渲染、多线程加速的适应性细分、GPU加速的合成器节点以及改进的几何节点等诸多特性。该版本显著提升了性能和响应速度，并修复了近500个bug。同时，Blender 4.5也标志着对Intel Mac和部分旧功能的支持结束，未来将专注于Apple Silicon和更现代化的工作流程。
阅读更多
Michael Larabel是Phoronix.com网站的创始人兼主要作者，自2004年创立以来，该网站一直致力于提升Linux硬件的使用体验。Larabel撰写了超过2万篇文章，涵盖Linux硬件支持、性能、显卡驱动程序等多个方面。他也是Phoronix Test Suite、Phoromatic和OpenBenchmarking.org等自动化基准测试软件的首席开发者。
阅读更多
尽管公开宣称AI带来巨大商机，但越来越多的S&P 500公司在其财务文件中将AI列为重大风险。Autonomy Institute的研究显示，四分之三的S&P 500公司已更新风险披露，详细说明了与AI相关的风险，包括网络安全威胁（如深度伪造和恶意代码生成）、数据隐私、知识产权以及对第三方AI供应商的依赖。一些公司甚至警告称，AI投资可能无法获得预期回报。虽然公众关注AI带来的失业问题，但企业更担心AI损害自身利益及暴露敏感数据。这一转变反映了企业对AI风险的日益重视。
阅读更多
当前AI架构处理所有输入时一视同仁，忽略了信息固有的层次结构。这限制了模型从高分辨率原始数据中学习的能力。为此，研究人员提出了H-Nets，一种能够从原始数据中学习层次结构的全新架构。H-Nets的核心是动态分块机制，它能将原始数据分割并压缩成有意义的概念。实验表明，H-Nets在语言建模方面优于现有Transformer模型，并具有更好的可扩展性和鲁棒性，为多模态理解、长程推理和高效训练提供了新的途径。
阅读更多
Voxtral发布了两个先进的语音理解模型，分别为24B和3B版本，均采用Apache 2.0许可证开源。该模型不仅具备高精度转录能力，还支持长文本上下文处理、内置问答和摘要功能，以及多种语言的自动检测和理解。Voxtral在成本方面也极具竞争力，价格低于同类API的一半，为各种规模的应用提供了高质量的语音智能。其功能还包括直接调用后端函数，根据语音意图触发操作，将语音交互转化为可执行的系统命令。Voxtral旨在弥合开源语音系统准确性和闭源API成本之间的差距，为所有人提供开放、经济且可用于生产的语音理解能力。
阅读更多
本文介绍了如何利用GLIBC 2.33+的hwcaps特性，为amd64和POWER架构的共享库实现简单的动态分发。通过在`/usr/lib/glibc-hwcaps/`下创建不同CPU指令集版本的库文件（例如x86-64-v4, x86-64-v3等），动态链接器会根据CPU支持的最高指令集自动加载对应的库文件，从而实现性能优化。这解决了在不同CPU架构上保持库性能一致性的难题，例如在llama.cpp和whisper.cpp使用的ggml库的Debian打包过程中得到了应用。
阅读更多
Typage是一个TypeScript实现的age文件加密格式库，支持Node.js、Deno、Bun和浏览器环境。最新版本0.2.3增加了对Passkey的支持，允许使用WebAuthn API进行对称加密，并提供一个CLI插件用于在浏览器外使用FIDO2安全密钥。Passkey是一种防钓鱼的认证机制，结合PRF扩展可以生成加密密钥。Typage实现了age-encryption.org/fido2prf格式，保证了文件的硬件绑定和不可链接性。通过WebAuthn API和age-plugin-fido2prf插件，用户可以在不同设备上方便地加密和解密文件，提升安全性。
阅读更多
本文探讨了历史上一些虽已不再流行却影响深远的编程语言，例如COBOL、ALGOL、APL、BASIC等。作者通过分析这些语言的背景、意义和衰落原因，揭示了它们对现代编程语言的深远影响，例如COBOL的记录数据结构、ALGOL的词法作用域和结构化编程，以及APL的数组处理等。文章强调了编程语言历史研究的重要性，以及那些未被广泛知晓但对编程发展做出重大贡献的语言。
阅读更多