arXivLabs 是一个让合作者能直接在我们的网站上开发并分享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都认同并接受我们对于开放、社区、卓越及用户数据隐私的价值观。arXiv 始终坚持这些价值观,并仅与遵循这些准则的合作伙伴开展合作。您是否有能为 arXiv 社区创造价值的项目构想?了解更多关于 arXivLabs 的信息。
arXivLabs 是一个让合作者能直接在我们的网站上开发并分享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都认同并接受我们对于开放、社区、卓越及用户数据隐私的价值观。arXiv 始终坚持这些价值观,并仅与遵循这些准则的合作伙伴开展合作。您是否有能为 arXiv 社区创造价值的项目构想?了解更多关于 arXivLabs 的信息。
**dmars** 是 pMARS 的高性能 Rust 重写版本。pMARS 是 Core War 的标准工具链,这是一款 1984 年的经典编程游戏,玩家通过编写自我修改的 Redcode 程序,在共享内存阵列中争夺控制权。 主要功能包括: * **完全兼容:** 汇编器支持 ICWS'94 预处理器标准,并生成与 pMARS 字节兼容的输出。同时包含 ICWS'88 兼容模式。 * **高性能:** 在单场对战中与 pMARS 表现相当,而在多线程执行方面,dmars 表现出色,在大规模模拟中显著提升了运行速度。 * **多功能性:** 该工具可编译为 WebAssembly,支持交互式浏览器实验场,用户可以在其中编写代码并观看战士对战。 * **强大的工具集:** 命令行界面支持汇编、运行和模拟比赛,并包含用于可视化和回放战斗过程的终端 UI。 dmars 是开源项目(GPL-2.0+),可通过 Shell 脚本或 Cargo 轻松安装,是 Core War 爱好者的高效现代选择。
德国执政联盟因拟议改革 2006 年《信息自由法》(IFG)而面临强烈抵制。政府以网络安全威胁加剧为由,旨在加强数据保密性,但批评人士认为此举实际上将掏空该法案。 拟议的变更将把信息索取权仅限于“自然人”,可能将各类组织、非政府组织(NGO)及新闻媒体排除在外。其他引发争议的措施还包括:提高收费标准、隐去政府工作人员姓名,以及可能将信息获取权仅限于德国和欧盟公民。 包括大赦国际和绿色和平组织在内的 110 多个民间社会团体已签署联名信,谴责这些改革,并警告称此举将破坏透明度与民主监督。反对者认为,政府正以安全为幌子,削弱基本的公民权利。 此次反弹声浪极大,甚至连执政联盟内部的社民党(SPD)议会党团成员也表示反对,誓言要阻止任何削弱现有透明度标准的行为。鉴于德国自 2015 年以来已受理超过 10 万起信息索取申请,批评人士担忧这些改革会将公众信任转变为系统性的不透明。
西班牙出版商协会(Federación de Gremios de Editores de España)2025年的一项研究挑战了全球“阅读危机”的说法。与美国阅读习惯的衰退趋势相反,西班牙的休闲阅读量稳步上升,目前有66%的民众出于兴趣而阅读。值得注意的是,15至24岁的西班牙年轻人中,超过76%的人有阅读习惯,这有力地驳斥了年轻一代已放弃阅读的观点。 尽管西班牙与世界各国一样面临着社交媒体、人工智能和数字内容普及等现代挑战,但这些压力并未像在英美国家那样削弱阅读习惯。虽然人们对西班牙大学部分学术技能的退化感到担忧,但数据证实,西班牙各年龄段的阅读水平不仅保持稳定,甚至有所提高。这一趋势为数字时代阅读前景的普遍悲观论调提供了一个有力的反证。
2026年菲尔兹奖获奖名单被意外泄露,北京大学校友王宏(Hong Wang)和邓煜(Yu Deng)位列其中。这将是历史上首次有两位中国数学家在同一届获奖,具有里程碑意义。此次泄露源于国际数学家大会(ICM 2026)官方日程的前端代码中发现了四个被标记为“隐藏”的菲尔兹奖得主讲座领域。通过Codex生成的curl命令显示了邓煜、约翰·帕登(John Pardon)、雅各布·齐默尔曼(Jacob Tsimerman)和王宏的名字。如果7月23日消息得到确认,这将是中国数学界的重要里程碑。值得注意的是,王宏将成为历史上第三位获得菲尔兹奖的女性数学家,进一步彰显了这一成就的开创性意义。
在人工智能时代,成功属于那些优先考虑现实而非无休止产出的人。许多创始人利用人工智能沉浸在“建设者泡沫”中,通过大量制造代码和内容来逃避现实世界验证带来的不适。这种对人工智能的依赖催生了“垃圾内容”——那些开发速度虽快,却缺乏真正效用或市场需求的项目。 现实情况是,人工智能仅仅加速了创业中琐碎的部分,却并未消除根本性的瓶颈。建立成功的企业依然困难,因为它需要面对拒绝、承担风险,并在无人信任你时坚持下去。人工智能无法取代解决现实问题所必需的韧性、勇气和人际连接。 人工智能的主要危险在于将其作为掩盖拖延的借口。创始人不应躲在智能体(agents)和自动化工作流背后,而必须通过与真实用户接触来不断寻求真相。真正的竞争优势不在于速度或技术产出,而在于是否有勇气“直面现实的重击”,确保你所构建的是真正有价值的事物。不要让通过人工智能获得的虚假进步感欺骗了你,从而逃避打造真正实物的艰苦工作。
在软件开发中,“完成”是衡量现实情况和交付价值的指标,而非个人努力的程度。开发人员经常陷入一种误区,即在任务仍处于测试、预发布或待处理合并请求阶段时,就宣称任务已完成。 真正的完成不仅仅是做完了你个人的那部分工作;它意味着代码能在所有设备上运行,经过了迭代反馈,已合并到主分支,并且用户可以在生产环境中完全使用。依赖人工智能来判定任务何时完成是一种危险的捷径,这会削弱专业判断力并危及职业稳定性。 归根结底,工作并不会仅仅因为你停止了操作就意味着“完成”了。只有当它在现实世界中创造了实际价值时,才算真正完成。在此之外的任何状态都仅仅是进度报告,而非已完成的目标。
由于表演艺术学校强制要求用户必须下载一款臃肿、充斥广告且带有重度追踪功能的应用程序,才能查看基础的行程单,作者决定亲自“修复”这一体验。
作者指出,对于本质上只需通过网页呈现文本、图片和 PDF 的内容,强制用户安装一个 124MB 的应用程序是非常荒谬的。在通过拦截网络流量对该应用进行逆向工程后,作者发现该应用仅仅是通过获取 JSON 数据来显示信息,而这些信息完全可以轻松地部署在标准网页上。
由于无法忍受该应用的反用户功能——特别是数据追踪和不受欢迎的“励志”广告,作者编写了一个简单的 Ruby 脚本来抓取行程数据。随后,作者为所在团队搭建了一个私有、轻量且易于访问的网页。通过绕过该应用程序,作者用一个仅 0.05MB 的网页取代了原本臃肿且侵入性强的工具,该网页不仅支持打印、搜索,还能在任何设备上运行。
作者总结道,虽然某些任务确实需要专门的应用程序,但“应用文化”已经走得太远了,强制用户为那些由开放网络提供服务会更好的内容去安装软件。
Incogni 最近针对 1000 名美国人进行的一项调查揭示了一种“数字退缩”的增长趋势。用户们不再一味地删除账户,而是越来越多地选择减少发帖、限制受众,并删除那些令人产生压力的应用程序。 对许多人来说,社交媒体已从社交连接的源头转变为一种沉重的负担。超过半数的受访者认为维持在线状态就像在“工作”,这种情绪在 Z 世代中尤为强烈。造成这种退缩的原因多种多样:对心理健康的担忧、时刻保持在线带来的压力,以及政治两极分化和网络敌意导致的疲惫感。 尽管远离这些平台可能会引发焦虑或“错失恐惧症”(FOMO)——尤其是对年轻一代而言——但断网后最常见的心理反应是内心的平静。研究表明,用户正变得越来越警惕,优先考虑隐私和心理健康,而非积极参与。归根结底,调查结果显示我们与互联网的关系发生了“大转弯”:随着数字空间变得愈发由算法驱动且充满争议,用户正选择过上更安静、更可控的网络生活。
本摘要探讨了**作用范畴(actegories)**在函数式编程中的基础作用,特别是关于透镜(lenses)和棱镜(prisms)等光学结构的应用。
作用范畴被定义为一种由**幺半范畴(monoidal category)**作用其上的范畴。幺半范畴是配备了结合律和单位元张量积的范畴。本文展示了如何利用 Haskell 中的类型类、约束和双函子(bifunctors)来建模这些结构。通过使用 `UndecidableSuperClasses` 等语言编译指示,可以编码维持必要相干性条件所需的结合子(associators)和单位元转换(unitors)。
这种作用本身——可以被视为用幺半范畴的对象对范畴的对象进行“缩放”——被建模为双函子。除了定义单个作用范畴外,本文指出,共享同一幺半范畴的作用范畴本身也构成一个范畴,其中态射定义为幺半函子。最终,作用范畴为理解不同范畴如何相互作用提供了一个强有力的框架,形成了一种可以组织成双范畴(bicategory)的结构。文中通过笛卡尔积的自作用和各种 Haskell 实现等实例,说明了这些抽象的范畴论概念是如何转化为具体的函数式编程模式的。