苹果和Meta在欧洲就欧盟数字市场法案（DMA）的互操作性规定展开了激烈的冲突。DMA要求大型科技公司允许竞争对手访问其核心平台服务。Meta已向苹果提出15项互操作性请求，苹果认为这将危及用户隐私和安全，可能导致Meta访问用户的所有数据。Meta则反驳称苹果的隐私担忧毫无根据，是在阻碍竞争。这场争论凸显了互操作性和用户隐私之间的紧张关系，也反映了欧盟监管机构在执行DMA方面的挑战。
阅读更多
这篇技术报告探讨了Lisp语言中函数命名空间和值命名空间分离的利弊。Lisp1采用单一命名空间，而Lisp2则将两者分开。作者分析了两种方案在语法简洁性、命名清晰度、编译器复杂度、高阶函数、宏以及空间和时间效率等方面的差异。虽然Lisp1在简洁性和功能编程方面更具优势，但Lisp2在宏使用和避免命名冲突方面表现更好，最终结论是现状（Lisp2）更适合Common Lisp。
阅读更多
长期以来，NixOS 的构建可重复性一直备受争议。有人认为其功能性包管理器模型虽然有助于构建可重复性，但无法保证所有构建都实现位级可重复性。一篇新的研究论文对 Nixpkgs（NixOS 的软件包集合）进行了为期六年的研究，结果显示其可重复性比率稳步提高，从 2017 年的 69% 增长到 2023 年 4 月的 91%。研究还识别出导致不可重复性的主要原因，例如嵌入日期、uname 输出、环境变量和构建 ID 等。这些发现表明，即使 Nixpkgs 已经实现了很高的可重复性率，但仍然存在一些改进的空间，例如通过解决这些低垂的果实来进一步提高可重复性。这项研究对于增强对 Nix 替换协议的信任，并推动基于构建可重复性的分布式缓存解决方案至关重要。
阅读更多
arXivLabs是一个框架，允许合作者直接在我们网站上开发和共享新的arXiv功能。与arXivLabs合作的个人和组织都秉承并接受了我们开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。 有一个项目的想法可以为arXiv的社区增加价值吗？了解更多关于arXivLabs的信息。
阅读更多
本文讲述了作者为拍摄NeXT Cube燃烧照片而历经波折的有趣故事。起初计划简单地焚烧一个空机箱，却因种种原因，最终在劳伦斯利弗莫尔国家实验室的燃烧室里，经历了多次失败和意外，才成功拍摄到NeXT Cube燃烧的画面。整个过程充满了戏剧性和黑色幽默，也反映了当时NeXT公司在硬件制造方面的困境。
阅读更多
一款名为“What the Fork”的跨平台工具可以可视化任何构建系统的构建过程，帮助开发者识别并解决构建瓶颈。它通过监控系统调用来追踪进程的启动和终止，生成包含进程时间线、命令和参数等信息的交互式可视化界面。文章作者通过多个项目的构建过程示例展示了该工具的强大功能，例如识别缺乏并行性、冗余操作等问题，从而帮助开发者优化构建效率，特别是在CI构建中效果显著。
阅读更多
Stack Overflow发布了第15届年度开发者调查，探讨了AI时代下开发者的工作满意度、薪资变化以及AI工具的采用情况。调查显示，80%的开发者对工作感到不满意或心安理得，薪资而非远程办公是影响满意度的关键因素。尽管AI工具的采用率上升至76%，但开发者对其的积极评价却有所下降，准确性和误信息成为主要担忧。不同地区、角色和经验的开发者在AI工具的使用和信任度方面也存在差异。调查还关注了开发者的职业变化和社区参与度，旨在全面了解AI对开发者和科技社区的影响。
阅读更多
一名菲律宾建筑系学生Vincent Ocasla耗时一年半，在模拟城市3000中创造了一个名为Magnasanti的反乌托邦城市。这个拥有600万人口的城市，以其严密的秩序和压抑的社会结构令人震惊。Ocasla受Koyaanisqatsi的启发，通过游戏表达了他对社会控制和权力滥用的看法，Magnasanti的市民在高度管控下，生活在贫困和压抑之中，寿命只有50岁。这并非简单的游戏，而是对现实社会深刻的批判和反思。
阅读更多
Ubiquiti推出了UniFi OS Server抢先体验版，旨在为MSP和企业IT团队提供改进的UniFi管理体验。它允许在自有硬件上运行UniFi Network和部分UniFi应用（如InnerSpace和Identity），无需Dream Machine或Cloud Key。虽然它支持一些新的云功能，例如InnerSpace、Site Magic和UniFi Identity，但仍存在一些限制，例如不支持Cloud Gateways和缺乏完整的组织管理功能。对于已经自托管UniFi Network的用户来说，它是一个有用的补充，但对于期待彻底改变MSP控制面板的用户来说，它还不能完全满足需求。
阅读更多
亚马逊工程师分享了他们如何使用Rust和WebAssembly重构Prime Video客厅设备UI的历程。面对客厅设备（机顶盒、游戏机等）性能差异巨大、硬件能力参差不齐、原生代码更新困难等挑战，他们采用了一种混合架构：使用Rust和WebAssembly构建低层UI引擎，业务逻辑代码则使用React和JavaScript编写，并通过消息总线进行通信。为了进一步提升性能和响应速度，他们最终将UI层完全迁移到Rust，并开发了一个新的Rust UI SDK。新的架构显著降低了输入延迟，并实现了以前无法实现的动画效果。虽然WebAssembly生态系统仍处于发展阶段，存在一些挑战，例如panic处理，但整体结果令人满意，开发者效率也有所提高。
阅读更多
Capsul，这个小型云服务平台，有着一段传奇的诞生故事。它起源于一个名为Cyberia.club的社区，最初的服务器“贝加尔湖”（Baikal）甚至是由一群人在公寓楼顶组装而成。历经从手动创建虚拟机到拥有自助服务的web界面，以及服务器宕机、支付系统中断等危机，Capsul团队始终坚持初心，不断改进，为小型社区提供更优质的服务。如今，他们拥有新的服务器“鼠窝”（Rathouse），并致力于将Capsul打造成一个真正优秀、易用且可靠的云平台，而非简单的逐利项目。
阅读更多
一个管理全球数百万设备日志的网站，十年间经历了从正常的报表页面到完全开放的SQL注入服务的蜕变。起初，简单的报表功能满足需求，但一次次的“小改动”累积了技术债，最终演变成开发者自己都无法维护的“SQL注入即服务”。最终，一位新工程师试图修复，却因删除数据导致系统崩溃，被公司解雇，留下一个警示：技术债务和安全漏洞的累积，最终会导致灾难性的后果。
阅读更多
资深程序员antirez分享了他一年半来使用Gemini 2.5 PRO和Claude Opus等大型语言模型辅助编程的经验。他认为，目前的LLM更适合作为程序员的强大助手，而非独立完成项目的工具。通过清晰地描述问题，并进行有效的沟通和迭代，LLM可以帮助程序员消除bug，快速探索想法，进行结对设计，甚至学习掌握超出自身专业领域的技术。然而，antirez强调，要充分发挥LLM的潜力，需要提供足够的上下文信息，选择合适的模型，并始终保持对代码的控制，避免依赖自动化代理。只有这样，才能保证代码质量，并最大限度地提高效率。
阅读更多
作者使用一台 Dell 32 英寸 8K 显示器，在电脑休眠后唤醒时，显示器配置经常出现问题。以前需要手动 SSH 连接并运行 xrandr 命令来解决。现在，作者使用 Grobi 程序自动配置显示器，解决了这个问题。Grobi 通过监听 X11 RandR 输出变化事件，自动运行 xrandr 命令配置分辨率和位置。此外，作者还使用 zleep 程序和 myStrom 智能插座控制显示器的电源，以节约能源。
阅读更多
一部关于音乐家Brian Eno的纪录片《Eno》颠覆了传统电影制作方式。它运用生成式软件，每次放映都随机组合采访片段和档案素材，创造出无限种不同的版本。这并非AI生成，而是基于预先编写的规则，由人类创造的全新艺术形式。导演Gary Hustwit和合伙人创立了Anamorph公司，致力于将这种生成式电影技术推广到更多类型，为电影院带来独特的观影体验，也为电影艺术带来新的可能性。
阅读更多
谷歌宣布与意大利能源公司Energy Dome合作，投资其基于二氧化碳的超长储能系统。该系统利用压缩液态CO2发电，储能时间可达8-24小时，远超目前的锂电池。此举旨在支持可再生能源，减少对化石燃料的依赖，并为谷歌的数据中心等高耗能设施提供更清洁的电力。这项技术有望彻底改变能源存储领域，对特斯拉等锂电池巨头构成挑战，并为全球能源转型带来新的机遇。
阅读更多
Rust 1.86 版本终于修复了 `Any` trait 的一个长期存在的问题：无法对 `dyn Any` 进行向上转型。这意味着开发者现在可以使用 `Any` trait 的方法，例如 `downcast_ref`，在继承自 `Any` 的 trait 上。这项修复使得过去需要使用 hack 方法才能实现的功能，现在可以直接通过标准的方式实现，提升了代码的可读性和维护性。这对于长期以来依赖于 hack 方法的 Rust 开发者来说是一个好消息。
阅读更多
本文深入探讨了 Janet 编程语言中 PEG (Parsing Expression Grammars) 引擎的实现。作者从 PEG 的基本概念出发，逐步讲解了如何用简洁的代码实现一个功能强大的 PEG 解析器。文章重点介绍了核心匹配函数 `match-peg` 的设计与实现，以及如何通过添加操作符和递归来扩展其功能，最终实现对 ISO 8601 日期格式的解析。虽然该实现并非完美，但它清晰地展现了 PEG 的核心思想和实现方法，对于学习 PEG 和编译原理的读者具有重要的参考价值。
阅读更多
澳大利亚初创公司Cortical Labs推出全球首款可部署的生物计算机CL1，它将人类脑细胞融合到硅芯片上，通过亚毫秒级电反馈回路处理信息。CL1售价3.5万美元，可用于神经科学和生物技术研究，其低能耗和可扩展性使其在药物研发、人工智能加速等领域具有巨大潜力。研究人员甚至用其恢复了癫痫细胞的功能，展现了其在疾病建模方面的应用前景。
阅读更多
作者學習日語時，先背誦漢字的意義和寫法，後來才學習發音，取得了巨大成功。然而，多年後，他卻發現自己忘記了如何手寫大多數漢字。這種現象在日本和中國很普遍，甚至有專門的術語「ワープロ馬鹿」（word-processor idiot）。作者探討了大腦處理閱讀和書寫的兩種不同途徑，並結合自身患有「影像思維缺失症」（aphantasia）的經歷，分析了這種「漢字失寫症」背後的認知科學機制，認為這與大腦的「逐字記憶」和「概要記憶」兩種機制有關。
阅读更多
一名开发者成功将Mbed TLS移植到经典Mac OS 7/8/9系统上，这是一个令人印象深刻的壮举。该项目克服了诸多挑战，包括C89/C90编译器对现代C语言特性的不支持，以及Mac系统文件路径的限制。开发者还实现了64位整数模拟和自定义熵收集系统，最终使一个简单的HTTPS GET请求在经典Mac系统上运行。尽管存在一些安全方面的限制，但这项工作展现了对复古技术的热爱和深厚的编程功底。
阅读更多
一位极客利用廉价的树莓派和巧妙的电路设计，打造了一台低功耗、高性价比的1U服务器集群。该项目克服了低成本服务器方案的电力限制，通过精巧的硬件组装和软件配置，实现了多台树莓派协同工作，充分利用了有限的电力和空间资源。这篇文章详细介绍了该项目的硬件清单、组装步骤以及软件配置方法，对于对DIY服务器和低功耗计算感兴趣的读者来说，是一个极具参考价值的案例。
阅读更多
长期使用电脑键盘导致手部疼痛后，作者尝试了Maltron和MoErgo Glove80两种人体工学键盘。Maltron的拇指键布局更符合人体工学，尽管外观老旧；而Glove80虽然可定制，但拇指键布局和按键延迟问题影响了使用体验。最终作者回归Maltron，并呼吁键盘设计师重视拇指键设计的重要性。
阅读更多.png)
Demodesk，一家提供AI驱动销售辅导、日程安排自动化及视频会议平台的科技公司，正在全球范围内招聘人才。他们倡导远程友好型工作环境，提供灵活的工作条件和丰厚的福利，包括股票期权、医疗保健、通勤补贴等，并注重员工成长和发展。加入Demodesk，一起塑造销售的未来！
阅读更多
瑞士苏黎世联邦理工学院的研究人员发现了一种新型CPU漏洞，攻击者可通过巧妙利用CPU指令执行顺序的模糊性，绕过用户权限保护，以每秒超过5000字节的速度读取内存内容。该漏洞并非个例，属于一系列利用推测执行技术的漏洞之一，类似于2017年的Spectre和Meltdown漏洞。虽然Intel已采取措施，但这凸显了该架构的根本性缺陷，需要持续的修补工作。
阅读更多
DictionaryGames是一款结合游戏和学习的英语词汇应用，提供免费的趣味小游戏版本和付费的学习版本。免费版无需注册和追踪，即玩即体验；付费版（2025年春季上线）则采用先进的闪卡技术，根据用户水平和兴趣定制学习内容。此外，它还提供教师版（2025年秋季上线），每月10美元，为英语老师和学生提供定制的练习题。用户评价褒贬不一，有人沉迷其中，有人感叹其难度，也有人担忧学生会讨厌它，展现了这款应用的独特魅力。
阅读更多
GitHub上开源了Commodore 64版经典游戏Elite的完整源码，并附带详细注释。该项目包含了四个版本的源码，涵盖了不同硬件平台和构建方式。开发者不仅可以浏览经过详细注释的源码，了解Elite的运行机制，还可以使用提供的Makefile在现代计算机上编译出可运行的D64磁盘镜像，在模拟器或真实硬件上运行游戏。该项目旨在帮助人们更好地理解这款8位时代标志性游戏，具有极高的教育意义和收藏价值。
阅读更多
英国考古学家马克·霍顿领导的研究团队，通过在哈特拉斯岛发现的铁屑（锤鳞），揭开了困扰历史学家400多年的罗阿诺克殖民地消失之谜。这些铁屑证明了16世纪末期，英国殖民者掌握的铁器锻造技术的存在，而当时的北美原住民并不具备这项技术。这表明，殖民者并未被消灭，而是与当地的克罗阿通人融合，并繁衍生息。这一发现，虽然不能完全终结这个古老的谜团，但为这段历史提供了强有力的证据。
阅读更多
互联网档案库Internet Archive (IA)因其“伟大的78转项目”面临音乐出版商的版权诉讼。出版商认为项目中包含的歌曲已广泛流传，无需IA的存档。然而，档案管理员和协会则指出，78转唱片已非常罕见，许多唱片并未以商业形式再版，IA的项目对保存历史和提供长期访问至关重要，其保存的不仅仅是音频，还有唱片标签、版权信息等元数据，具有重要的研究价值。这场纠纷的核心在于如何平衡数字时代下文化遗产的保护与版权的限制。
阅读更多