一个开发者为了改进其摩托车刹车灯辅助装置BrakeBright，克服了诸多挑战。起初，简单的平均滤波和低通滤波无法完全消除由路面颠簸和发动机震动引起的刹车灯误闪。随后，他尝试了中值滤波，并通过调整采样时间和添加抖动来避免与发动机转速同步而导致的误闪。最终，他巧妙地利用了一个震动器模拟实际路况进行测试，并加入了智能的去抖动机制，有效地解决了问题。整个过程充满了幽默和意外，展现了开发者对产品的精益求精以及对用户体验的极致追求。
阅读更多
本文探讨了生命与计算之间的深层联系。图灵和冯·诺依曼早期的洞见，指出生命逻辑和代码逻辑可能相同。文章从冯·诺依曼设计的自复制细胞自动机模型出发，解释了DNA作为程序的本质，并比较了生物计算和数字计算的异同。生物计算具有大规模并行性、去中心化和噪声的特点，而数字计算则依赖于集中式、顺序执行的指令。文章最后介绍了神经细胞自动机，它结合了现代神经网络、图灵的形态发生和冯·诺依曼的细胞自动机，可以模拟细胞行为，展现了计算如何在不同尺度上产生类似生命的行为。
阅读更多
ChatGPT等AI工具的兴起带来了大量低质量内容，被称为“AI垃圾”。这些垃圾内容充斥着互联网，从文章到图片再到视频，都存在着准确性、原创性和真实性等问题。讽刺的是，AI替代人类工作的同时，也催生了一个新的行业——“数字清洁工”，他们负责修复AI生成的错误和缺陷。这不仅带来了新的就业机会，也暴露出AI技术在创造性工作中存在的局限性，以及人类在确保内容质量和真实性方面不可替代的作用。我们需要重新思考AI与人类创造力的关系，避免AI垃圾泛滥，从而构建一个更真实、更可持续的数字世界。
阅读更多
Vterm 项目的开发者 Tom Szilagyi 近期进行了多次提交，涵盖了性能优化、错误修复和新功能添加等方面。这些更新包括 GPU 性能优化、修复 signedness bug，添加新的命令行选项，以及改进字符渲染和下划线显示等。 持续的代码改进提升了 Vterm 的稳定性和效率。
阅读更多
一次工程师面试中，候选人使用Rust一行代码解决了经典的并发编程问题——跨多个生产者线程跟踪最大值。这引发了作者的好奇：Rust的`fetch_max`是如何工作的？文章深入探讨了从Rust代码到汇编代码的编译过程，揭示了宏、LLVM中间表示、编译器内建函数以及目标架构的层层优化。在x86-64架构下，`fetch_max`最终被编译成一个compare-and-swap (CAS)循环；而在ARM架构下，则直接使用硬件的原子max指令。这篇文章展示了现代编译器的强大功能，以及其在实现高抽象度编程时的底层细节。
阅读更多
Val Town 彻底重写了其在线编辑器的 TypeScript 集成，将之前的基于 Web Worker 的客户端实现替换为基于云端容器的 Deno 语言服务器。此举解决了旧系统中 NPM 包导入缓慢、TypeScript 与 Deno 不兼容等问题，实现了 100ms 的保存即部署速度。新系统利用 Cloudflare Containers 保证了用户工作负载的隔离和资源限制，并开源了所有代码，为开发者提供了更流畅、高效的 TypeScript 开发体验。
阅读更多
作者经历了对大型语言模型的四个阶段：最初的惊叹、随后的失望、挥之不去的困惑以及最终的厌倦。厌倦了层出不穷的新模型，作者决定回归基础，研究马尔可夫链。文章详细解释了如何使用马尔可夫链构建文本自动补全功能，包括构建转移矩阵、计算概率以及应用于文本生成的流程。这篇文章不仅探讨了马尔可夫链的原理，也反映了作者对AI发展现状的思考，以及对更底层技术探索的渴望。
阅读更多
研究人员开发了一种名为SSZKP的亚线性空间零知识证明系统，其Rust实现利用KZG/BN254，仅需O(√T)内存即可处理长度为T的轨迹。该系统通过分块IFFT和流式累加器实现亚线性空间，并使用标准KZG承诺，无需缓冲整个多项式。这为构建可扩展的零知识系统提供了一种高效的方案，并包含了完整的证明者和验证者CLI工具以及端到端测试脚本。
阅读更多
2023年编程语言排行榜出炉，Python继续领跑，但AI的崛起正在颠覆编程语言的格局。AI辅助编程工具如ChatGPT和Cursor的出现，降低了程序员对特定语言的依赖，甚至使语言本身的流行度变得模糊。程序员不再纠结于语法细节，而是更关注程序架构和算法设计。这将导致新语言的诞生变得更加困难，编程语言的流行度可能如同铁路轨距一样变得不再重要。未来的程序员更需要的是扎实的计算机科学基础，而非熟练掌握某一门语言。
阅读更多
两个PHP文件拥有相同的MD5哈希值，但其中一个文件是webshell（网络后门）。攻击者利用这种方法绕过缓存的webshell检测机制。hexdump显示两个文件存在细微差异，这使得它们具有相同的MD5哈希值，但功能却截然不同。这提醒我们，仅依赖MD5哈希值进行安全检测是不够的，需要更全面的安全策略。
阅读更多
Ghostty 项目发布了 libghostty，一个可嵌入任何应用的现代化、高速终端模拟器库。首个发布的 libghostty-vt 库是一个零依赖库，提供解析终端序列和维护终端状态的 API，直接提取自 Ghostty 的核心代码，无需 libc！目前 Zig API 可供测试，C API 即将推出。libghostty 的目标是解决现有终端模拟器实现普遍存在的缺陷，例如不完整、有 bug 和速度慢等问题，为开发者提供一个稳定、可复用的解决方案。未来，libghostty 将扩展更多功能，例如输入处理、GPU 渲染等。
阅读更多
Steam Deck的Baldur's Gate 3更新至原生版本后，游戏性能将显著提升，但存档和MOD位置会发生变化。启用Steam云存档可自动迁移存档，否则需手动复制存档文件到新的位置：`/home/deck/.local/share/Larian Studios/Baldur's Gate 3/PlayerProfiles/Public`。MOD的迁移则取决于是否登录Larian账号并连接mod.io，未连接的用户需要手动复制MOD文件夹。
阅读更多
近期，关于生成式AI巨大能耗的预测甚嚣尘上，有人甚至预言AI将在2032年消耗美国25%的电力。然而，历史总是惊人地相似。从个人电脑到云计算，类似的“末日预言”层出不穷，最终都未能成真。事实是，IT行业电力消耗占比一直维持在较低水平，远低于水泥生产等行业。虽然AI发展迅速，但其能耗增长会被效率提升所抵消，而且当前AI在企业IT预算中占比也并不高。总而言之，关于AI能耗的恐慌，很大程度上源于既得利益者的操纵、对经济增长的担忧以及人们对科技的普遍焦虑，而非实际威胁。
阅读更多
资深工程师Michael Gibson在使用C++ SDK时，发现一个由三个鲜为人知的特性组合而成的clang++编译器漏洞。为了在C++ SDK中实现REACHABLE断言，他们巧妙地利用了静态初始化、非类型模板参数和匿名命名空间。然而，clang++ 17及以上版本的新优化流程对这种组合产生了冲突，导致符号重复数据删除错误。这个案例揭示了在复杂软件系统中，由多个罕见特性组合而成的隐蔽漏洞的风险，也突出了自动化测试在发现此类问题的巨大价值。
阅读更多
知名YouTube博主MrBeast及其巧克力品牌Feastables因其广告和数据收集行为违反儿童在线隐私保护法(COPPA)和CARU广告指南而受到调查。CARU发现MrBeast的YouTube频道广告标识不清，Feastables的广告夸大其词，抽奖活动未清晰披露免费参与方式和年龄限制，且未在收集儿童信息前获得可验证的家长同意。Feastables网站也存在收集儿童信息未经家长同意的问题。虽然MrBeast团队已采取措施改进，但仍对部分结论表示异议。
阅读更多
本文探讨了在资源受限的时代，如何制定并被认可为有效的战略。作者指出，战略并非仅仅是最终目标的设定，而是要定义一系列渐进的目标，并在不断变化的市场环境中调整策略。文章强调了战略制定的四个关键要素：时间、情境、方向和专业知识，并以生动的比喻阐述了如何平衡这四个要素，避免陷入只注重表面或细节的陷阱。作者最后总结，有效的战略需要整合产品、技术、团队和个人策略，才能在资源受限的环境下取得成功。
阅读更多
本文深入探讨了在构建命令行界面时，Zig相较于Rust的实际优势。作者通过一个简单的笔记管理CLI工具的例子，比较了两种语言在内存管理上的差异。Rust的借用检查器虽然保证了内存安全，但在处理简单的CLI工具时，其复杂性和仪式感却显得过于繁琐。而Zig则提供了更直接的内存管理方式，结合其`defer`语句和`allocator`，开发者可以更容易地编写高效且安全的代码，同时减少了编译器带来的额外负担。作者认为，对于小型CLI工具而言，Zig的轻量级、快速和直接的特性使其更具实用性，虽然内存安全重要，但代码可维护性和开发效率同样关键。
阅读更多
在Web开发领域，'JavaScript疲劳'和'框架疲劳'成为热门话题。作者尝试使用HTMX，一种以HTML属性声明式地构建网页的技术，来解决这个问题。然而，HTMX缺乏结构，因此作者创建了MESH框架，它采用'一个组件一个端点'的模型，结合Go和Web Components，实现了模块化服务器端渲染和客户端水化。虽然过程中遇到HTMX无法跨越Shadow DOM边界的问题，作者通过一些技巧解决了这个问题，并最终实现了基于SSE的实时协作功能。最终，作者甚至去除了HTMX，用更简洁的JS代码实现了相同的功能，并反思了HTMX的默认行为和未来发展方向。
阅读更多
本文深入分析了苹果WebKit引擎在Web标准制定中的参与度，通过数据图表揭示了苹果在关键Web API（如Web MIDI、Web USB、Web Bluetooth）上的滞后和缺乏合作的态度。作者指出，苹果经常以“隐私和安全”为由拒绝或延迟这些功能的实现，但并未提供充分的证据支持其说法，反而数据显示苹果更多的是在追赶其他浏览器，而非积极参与协同设计。这篇文章质疑了苹果在Web标准领域的参与度，并暗示其行为可能与保护其App Store的商业利益有关。
阅读更多
oLLM是一个轻量级的Python库，允许在配备8GB VRAM的消费级GPU（例如200美元的Nvidia 3060 Ti）上运行具有10万上下文的大型语言模型（LLM），例如gpt-oss-20B和qwen3-next-80B。它通过将层权重和KV缓存卸载到SSD，并使用FlashAttention-2和分块MLP等技术来实现这一目标，无需量化。oLLM支持多种LLM模型，并提供了易于使用的API，方便用户进行大规模文本处理任务，例如分析合同、总结医疗文献和处理大型日志文件。
阅读更多
尽管欧洲电动汽车市场持续增长，8月份销量同比增长26%，但特斯拉在欧洲的销量却出现了下滑。数据显示，Model Y和Model 3的销量分别下降了34%和29%。虽然特斯拉仍位列欧洲电动汽车厂商前十，但其市场份额正在被大众等其他品牌蚕食，大众8月份销量同比增长45%。尽管如此，欧洲电动汽车市场整体表现强劲，8月份销量达到154582辆，占新车销量的20%，足以满足欧盟2025-2027年的排放目标。
阅读更多
作者在密歇根城度过了一周，这个印第安纳州的小镇以其制造业和宁静的生活而闻名。小镇看似平凡，却生产着各种重要的工业产品，从纸包装模具到排水系统，默默支撑着现代社会运转。作者与当地居民的交流，展现了小镇居民朴实的生活和人情味，形成与喧嚣的网络世界鲜明对比。这段经历让作者重新思考了政治与社会生活的平衡，并感受到小镇的宁静与韧性是构建健康社会的重要基石。
阅读更多
arXivLabs是一个实验性项目，允许开发者直接在arXiv网站上开发和分享新的功能。参与其中的个人和组织都认同arXiv的开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，只与遵守这些价值观的合作伙伴合作。如果你有想法能为arXiv社区增值，那就来了解一下arXivLabs吧！
阅读更多
作者在迁移服务器时发现一个hotio/qbittorrent Docker容器内运行着可疑进程netservlet，该进程消耗大量CPU资源。调查发现，netservlet是一个隐蔽的加密货币矿工，可能为XMRig或其变种，通过分析核心转储文件，发现了与加密货币挖矿相关的字符串，例如cryptonight、ethash_calculate_dag_item等，以及矿池地址auto.c3pool.org:19999。这提醒我们，不要轻信随机的Docker镜像，要经常监控系统资源并审核主机和容器，以防范安全风险。
阅读更多
加州大学欧文分校的研究人员发现，室内表面如木材、水泥和油漆等多孔材料可以吸收并长时间保留挥发性有机化合物（VOCs），时间长达一年。这些VOCs来自杀虫剂、香烟烟雾和野火烟雾等多种来源，对人体健康构成威胁。研究表明，室内表面就像海绵一样吸收VOCs，其吸附量远超预期，即使在污染源移除后，VOCs仍会缓慢释放回空气中或通过接触污染表面转移给人。因此，单纯的通风可能不足以去除室内污染物，需要进行物理清洁。
阅读更多
StringZilla v4 发布了！这个 SIMD-first 字符串处理库现在支持 CUDA，这意味着它不仅在 CPU 上速度飞快，在 GPU 上也一样！v4 版本新增了多种功能，包括 GPU 加速的动态规划算法、多种哈希函数（包括一个基于 AES 的新函数）、以及使用 52 位整数进行生物序列指纹识别。基准测试显示，StringZilla v4 在 Levenshtein 距离计算上达到了 500 多 GCUPS 的惊人速度，比其他一些库快了数十倍甚至上百倍。该库采用 Apache 2.0 开源许可证，可免费用于商业用途。
阅读更多
本文作者痛斥YAML配置文件的复杂性，认为其所谓的“人友好”实则隐藏着诸多陷阱。文章以多个示例详细解释了YAML不同版本间的差异、难以预测的解析结果以及潜在的安全风险，例如sexagesimal数字、标签、布尔值解析等问题。作者建议使用更简单易用的 TOML 或通过生成 JSON 来规避 YAML 的风险，并推荐了 Nix 和 Python 等更强大的替代方案。
阅读更多
澳大利亚国立大学和德国耶拿弗里德里希·席勒大学的研究人员合作，开发出一种新型多层超材料透镜，可同时聚焦来自非偏振光源的各种波长，克服了传统超透镜的主要限制。该设计具有低长宽比，易于制造，且对偏振不敏感，有望应用于手机和无人机等便携式设备，实现小型化、低成本和高性能的光学系统。研究人员利用逆向设计算法和形状优化，创造出各种形状的超材料元件，例如圆形正方形、四叶草和螺旋桨等，这些微小的形状能够实现任意聚焦模式。尽管该方法目前最多可聚焦约五个不同的波长，但这项技术为未来便携式成像系统带来了巨大的潜力。
阅读更多
本文介绍了将一个小型函数式语言编译到LLVM的过程。作者从一个简单的计算器语言入手，逐步构建了词法分析器、语法分析器和LLVM代码生成器。文章详细解释了每个步骤，包括使用megaparsec库进行解析、使用llvm-hs-pure和llvm-hs-pretty库生成LLVM IR代码，以及最终编译运行的过程。通过这个例子，读者可以学习到如何将函数式语言特性（例如模式匹配）转换为LLVM IR，以及如何使用LLVM进行代码生成和编译。
阅读更多
ASSA ABLOY 宣布将于2025年11月14日停止 Kevo 智能锁应用和网页门户的服务。这意味着用户将无法再通过应用程序远程控制 Kevo 智能锁（包括 Kwikset, Weiser 和 Baldwin 品牌的所有型号）。用户仍可以使用实体钥匙或钥匙链开锁。ASSA ABLOY 为受影响的用户提供折扣，以更换为其他品牌的智能锁，美国用户可通过 Level 网站享受最高 130 美元的折扣，加拿大用户可拨打 Weiser 客服电话索取折扣。此优惠截止日期为 2025 年 12 月 14 日。
阅读更多