作者痛斥NumPy在高维数组操作上的繁琐和低效，特别是其复杂的广播和索引机制，导致程序员需要不断思考数组形状和函数行为。为此，作者提出了DumPy，一个简洁的数组语言，通过引入循环和索引的语法，并将其编译成向量化操作，从而实现GPU加速，并避免了NumPy中因避免循环而产生的复杂性。DumPy的核心思想是将维度映射到标签，并利用JAX的`vmap`函数进行向量化计算，从而简化代码，提高效率。作者通过几个例子对比了DumPy、NumPy、JAX和纯循环的性能，结果显示DumPy在简洁性和效率上都表现出色。
阅读更多
复旦大学研究团队研发出一种400皮秒级闪存，写入速度达到每秒250亿次，刷新了信息存储速度的纪录。这项突破利用二维狄拉克能带结构和弹道传输特性，实现了电荷的超注入，克服了非易失性存储速度的瓶颈。该技术有望应用于超高速人工智能模型，推动存储技术升级，并提升中国在相关领域的领先地位。
阅读更多
作者在macOS上原生构建Linux内核(RISC-V架构)的经历，并非易事。过程中遇到一系列问题：老旧的make版本、macOS的ld与Linux的不兼容、缺少elf.h和byteswap.h头文件，以及uuid_t和sed工具的版本冲突。作者通过Homebrew安装更新的工具链(make, llvm, lld, libelf, gnu-sed)，并编写了补丁文件来解决头文件缺失和类型定义冲突等问题，最终成功构建内核。虽然macOS原生构建速度比Docker快，但增量构建则反之。作者认为持续解决构建问题如同持续集成一样，是一个永无止境的过程。
阅读更多
Ferron是一个使用Rust编写的快速、内存安全的Web服务器。它利用Rust的异步能力实现高性能，并通过Rust的特性保证内存安全。Ferron采用模块化架构，易于扩展和定制，并注重安全性和并发性。目前Ferron仍在开发中，但你已经可以克隆代码库并进行探索，使用Cargo构建和运行服务器。Ferron还提供Ferron Forge用于构建服务器，并有相应的文档和贡献指南。
阅读更多
一项发表在《自然》杂志上的最新研究表明，能量饮料中常见的成分牛磺酸可能加速白血病细胞的生长和繁殖。研究发现，牛磺酸作为一种燃料来源，促使白血病细胞更快速地增殖，从而加剧病情。研究人员警告消费者谨慎，特别是那些服用牛磺酸补充剂或经常饮用能量饮料的人群。虽然牛磺酸在人体中自然产生，有时也被推荐用于减轻癌症患者的炎症或化疗副作用，但这项研究表明过量的牛磺酸可能适得其反。目前，研究人员正在探索阻止牛磺酸进入白血病细胞的方法，并进一步研究牛磺酸与其他癌症（例如结直肠癌）之间的潜在联系。
阅读更多
英国议会调查发现，过时的法律未能有效应对社交媒体上的虚假信息，加剧了去年夏天反移民暴力事件。南港镇发生的三名儿童被杀案后，极右翼分子利用关于袭击者是近期抵达英国的穆斯林移民的错误信息，引发多日骚乱。警方因法院藐视规则和未成年人保护法限制，无法及时更正虚假信息，导致谣言迅速传播，加剧了社会动荡。调查委员会呼吁政府加强社交媒体监管，并检讨法院藐视规则，以适应社交媒体时代。
阅读更多
Amaranth项目提供了一个基于Python的开源硬件开发工具链，用于开发基于同步数字逻辑的硬件。它易于学习和使用，减少或消除了常见的编码错误，并简化了使用可重用组件的复杂硬件设计。Amaranth工具链包括Amaranth语言、标准库、模拟器和构建系统，涵盖了典型FPGA开发流程的所有步骤。它支持与现有的Verilog/VHDL代码集成，并提供丰富的标准库组件，例如时钟域交叉原语和FIFO。Amaranth还提供了一个先进的模拟器和构建系统，简化了跨不同FPGA平台的移植。
阅读更多
本文探讨了“二八定律”在各个领域（如社交、游戏、职业）的体现，指出大多数人只是被动参与，而积极行动者才能脱颖而出。作者以游戏排名、工作经验和社交活动为例，说明即使付出少量努力，也能在同领域中获得显著优势。积极参与、主动学习，而非仅仅被动等待，才能抓住机遇，实现自我提升。
阅读更多
本文探讨了物种分类中“物种”与“亚种”的界定问题及其对生物多样性保护的影响。作者指出，传统的物种概念过于简化，忽略了亚种的多样性及其重要性。以诺亚方舟为例，作者说明了如果考虑亚种，方舟将承载远超想象的动物数量。文章进一步探讨了“物种优先”的保护策略的局限性，并呼吁关注亚种的保护，以更全面地认识和保护生物多样性。
阅读更多
一位开发者利用 Snap Spectacles 和 Google Gemini AI 开发了一个现实世界广告拦截器原型。该原型利用深度模块 API 和云端视觉能力，在广告上叠加红色矩形进行遮挡。然而，由于 AR 眼镜的图像渲染不完全不透明且视野有限，该拦截器目前实用性不足，无法完全屏蔽现实世界的广告。尽管如此，这项尝试为未来 AR 眼镜的应用和广告交互方式提出了新的思考。
阅读更多
比亚迪，这家已超越特斯拉成为中国销量冠军的汽车制造商，宣布将其“上帝之眼”智能驾驶系统应用于售价仅9500美元的入门级车型海鸥。此举挑战了特斯拉将AI和机器人技术作为核心竞争力的战略，并向特斯拉及其高价策略发起了强烈的冲击。比亚迪的自动驾驶技术涵盖远程泊车和自主超车等功能，虽然不同车型配置的传感器有所差异，但其技术实力已足以与特斯拉相媲美，甚至在某些方面超越特斯拉。 中国政府对电动汽车的大力支持以及比亚迪在盈利能力上的成功，使其在全球市场上快速扩张，而特斯拉则面临着来自美国国内政治和市场需求变化的压力，销量下滑。
阅读更多
二十年前，神经学家戴维·伊格尔曼设计了一个实验，让学生从高塔坠落，以模拟濒死体验。实验揭示了“慢动作效应”并非感知上的减速，而是大脑在关键时刻保留更多细节的记忆技巧。这与电影中常用的慢动作特效异曲同工，它已成为表达创伤和极端体验的常用语言，从电影到现实，慢动作不仅是视觉效果，更是我们理解世界的一种方式。
阅读更多
一篇关于4月1日发生的BGP路由事故的分析文章。一家DDoS缓解提供商（AS3223）的BGP泄漏导致全球互联网短暂中断和流量错误定向。泄漏持续约20分钟，影响了超过3万条路由。文章分析了泄漏的类型（路径错误而非起源错误），并探讨了如何利用RFC 9234的“仅限客户”BGP路径属性来防止此类事件。文章还通过Kentik的BGP可视化和NetFlow数据，展示了泄漏对互联网流量的影响，包括流量错误定向和丢包情况。
阅读更多
Bee 是一款售价 50 美元的 AI 可穿戴设备，旨在帮助用户记录和总结日常生活。它通过聆听对话并整合日历、邮件等信息，生成每日摘要和待办事项。然而，一个月体验下来，其准确性和隐私保护引发担忧。它经常混淆说话者、误解语境，甚至编造事实。尽管开发者承诺保护隐私，但设备记录的私密对话和个人情绪，让人感到不安。最终，用户不得不选择手动关闭设备，避免其过度记录私生活。
阅读更多
本文介绍了如何利用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打包过程中得到了应用。
阅读更多
过去两年，AI领域发生了翻天覆地的变化。ChatGPT月活用户逼近2亿，Gemini五月访问量近3.2亿。然而，对于AI从业者，尤其是研究人员来说，这波热潮既是机遇也是挑战。文章作者以自身经历为例，讲述了AI研究的压力：来自社会各界的关注和提问，难以摆脱AI的无处不在，大型公司间的激烈竞争，以及研究成果对公司股价的巨大影响。作者还谈到，巨额财富的突然到来可能带来焦虑和各种问题，学术界和工业界的科学家面临着不同的挑战，例如发表论文的顾虑等。最后，作者鼓励大家坦诚沟通，共同创造一个更友善的AI研究环境。
阅读更多
作者利用周末时间，编写了一个将TinyBASIC代码编译成Go代码的编译器。这个项目使用了lex和yacc的Go语言版本nex和goyacc，分别负责词法分析和语法分析。编译器包含三个阶段：词法分析、语法分析和代码生成。作者详细介绍了语法规则和代码生成过程，并展示了示例程序和输出结果。这是一个有趣且具有挑战性的个人项目，展现了编译器原理的实践应用。
阅读更多
作者使用一台 Dell 32 英寸 8K 显示器，在电脑休眠后唤醒时，显示器配置经常出现问题。以前需要手动 SSH 连接并运行 xrandr 命令来解决。现在，作者使用 Grobi 程序自动配置显示器，解决了这个问题。Grobi 通过监听 X11 RandR 输出变化事件，自动运行 xrandr 命令配置分辨率和位置。此外，作者还使用 zleep 程序和 myStrom 智能插座控制显示器的电源，以节约能源。
阅读更多
美国联邦贸易委员会（FTC）因未进行必要的初步监管分析而被第八巡回上诉法院否决。FTC在制定一项新的负选项规则时，未在提案发布前进行成本效益分析，违反了行政程序法。法院认为，FTC的做法可能导致未来操纵规则制定流程，并剥夺了行业团体和企业充分参与的机会。此举引发了对FTC规则制定流程透明度和公平性的质疑，属于科技监管领域的重大事件。
阅读更多
本文探讨了在软件开发过程中，如何应对不断变化的需求。作者指出，虽然在需求频繁变化时，花费大量时间进行形式化建模可能得不偿失，但当系统达到一定规模或发生架构转变（“相变”）时，形式化方法能够确保在改进系统的同时，维护原有功能的正确性。通过形式化规范和验证，可以避免因系统升级而导致现有功能失效的情况，从而保证客户满意度。作者以同步更新改为异步更新为例，说明了如何利用形式化方法来验证新的系统是否满足旧的需求，并强调了软件维护的重要性。
阅读更多
EA公司今天宣布进行大规模裁员，共计约300名员工受影响，其中包括此前报道的Respawn Entertainment的100名员工。此次裁员主要涉及EA的体验团队，包括粉丝关怀团队和从事客户支持及营销工作的其他团队，其他部门也有一些人员被裁减。受影响的员工将在被解雇前有机会申请公司内部的其他职位。EA表示，此次裁员是为了更好地调整团队和资源分配，以推动未来的增长。Respawn的裁员涉及《Apex英雄》的开发、发行和质检人员，以及其他项目的少量员工，其中包括两个已取消的孵化项目，其中一个此前曾被报道过，另一个据报道是新的《泰坦陨落》游戏。
阅读更多
网络安全专家Ryan Keller代表数万名WP Engine客户对Automattic公司及其CEO Matt Mullenweg提起集体诉讼。诉讼称Automattic滥用其对WordPress.org的控制权，切断WP Engine对关键服务的访问，导致客户业务中断、安全风险和经济损失。Automattic辩称其是为了保护WordPress的长期利益，但Keller认为这是为了打压竞争对手，并将此行为描述为对开源互联网架构的滥用。此案涉及商标纠纷和对WordPress治理结构的质疑，后续发展值得关注。
阅读更多
arXivLabs是一个框架，允许协作者直接在arXiv网站上开发和分享新的功能。参与arXivLabs的个人和组织都秉持着开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。如果你有想法能为arXiv社区增值，那就了解更多关于arXivLabs的信息吧！
阅读更多
谷歌研究人员提出了一种名为Titan的突破性AI架构，它模拟人脑的记忆系统，解决了现有深度学习模型在处理长序列数据时面临的内存限制和可扩展性问题。Titan结合了注意力机制和神经长期记忆模块，能够高效地处理和记忆历史数据，在语言建模、基因组学和时间序列预测等任务中表现出色。它还具有测试时学习能力，能够根据输入数据动态更新记忆，从而增强泛化能力和适应性。实验结果表明，Titan在各种长序列任务中显著优于现有模型，为AI发展开辟了新的方向。
阅读更多
厌倦了繁琐的MCP配置？本文介绍了如何使用Anthropic的Claude Code，一个命令行工具，将Claude Sonnet 4与你的应用无缝连接。通过编写简单的CLAUDE.md文件，你可以教Claude运行Python脚本、调用API、控制你的电脑，甚至自动化你的工作流程，例如管理发布或调试客户网站。作者详细演示了如何使用Claude Code从YouTube提取视频字幕、获取Things待办事项，以及从X（推特）获取点赞信息。虽然过程中可能需要一些尝试和错误，但Claude Code的灵活性和可扩展性使其成为构建个性化AI助手的强大工具。
阅读更多
本文介绍了一种在安卓手机上运行postmarketOS和Phosh桌面环境的非常规方法，无需root或刷写自定义ROM。作者利用Termux和proot在安卓系统中创建一个Alpine Linux环境，然后将其转换为postmarketOS，并安装轻量级的Phosh桌面环境。虽然此方法并非完美，存在一些功能限制，例如中文输入需要借助安卓系统自带键盘，但它为安卓用户提供了一种体验移动Linux系统的便捷途径。
阅读更多
Aurora公司宣布其自动驾驶卡车已在德克萨斯州正式启动商业运营，开启了达拉斯和休斯顿之间首条定期长途无人驾驶货运路线。经过四年多的测试，Aurora的自动驾驶技术已累计行驶超过1200英里，并完成了超过10000次客户货物运输。尽管这项技术受到了一些安全担忧和工会反对，但其标志着自动驾驶技术在货运领域迈出了重要一步。
阅读更多
中国计划于2025年在戈壁沙漠建造一座10兆瓦的钍基熔盐反应堆示范堆，预计2030年投入运行。该项目由中国科学院上海应用物理研究所负责，利用钍-232这种地球储量丰富的元素作为燃料，并将其转化为可裂变的铀-233。这项技术旨在减少对铀的依赖，并利用稀土开采的废料作为燃料来源，具有能源自给自足的潜力。然而，钍基熔盐反应堆也面临着核扩散风险的挑战，需要采取有效的安全措施。
阅读更多
作者在维护一个 Rust 的 ASN.1 DER 序列化库时，发现整数长度计算的代码效率低下。他尝试使用 Claude AI 优化代码，并利用 Alive2 形式验证工具验证结果。令人惊讶的是，Claude AI 甚至帮助作者生成了一个 LLVM 编译器优化的补丁，并通过了代码审查，最终提交到 LLVM 项目。这展现了 AI 在软件开发，特别是编译器优化领域的巨大潜力，同时也强调了在使用 AI 工具时进行人工审查的重要性。
阅读更多
WWDC21发布的TextKit 2，四年过去了，其易用性却不如预期。虽然架构合理，但实现存在诸多问题。NSTextContentStorage是唯一可用的存储实现，对其他自定义实现的支持不足。此外，Viewport机制虽旨在优化性能，却导致滚动时滚动条位置不稳定，出现抖动现象。作者在实际应用中遇到诸多bug，且部分bug长期未修复，严重影响用户体验。总而言之，TextKit 2并非完美的文本布局解决方案，尤其在文本编辑UI方面。
阅读更多