一个名为“自行车地图历史”的网站上线，收录了100多张经过精心修复的自行车地图摘录，涵盖了主要地图提供商的历史。该网站并非博客，而更像一本电子版“咖啡桌”书籍，方便用户浏览和查找事实信息。内容分为介绍、发展、地图出版商、来源和参考文献、自行车地图的年代测定以及“黑色博物馆”（地图错误）等页面。
阅读更多
这篇文章总结了一篇即将在 ECOOP 2025 上发表的论文，该论文介绍了一个 Haskell 库，它允许对数据进行打包和解包，并在无需解包步骤的情况下遍历打包数据。该库利用 Template Haskell 生成必要的代码，无需修改编译器即可实现类型安全且可移植的打包数据支持。虽然在基准测试中展现出一些速度提升，但也存在由单子抽象带来的计算开销。未来工作将集中在生成 C 代码以优化性能。
阅读更多
去年夏天，星际客机在接近国际空间站时，四个推进器突然失灵。宇航员巴奇·威尔莫尔被迫手动控制飞船，但情况危急，飞船无法按预期方向移动。由于推进器故障违反了任务飞行规则，他们本应返回地球。然而，威尔莫尔却认为返航也存在巨大风险。经过紧张的半小时，地面控制中心决定尝试重置故障推进器，这期间威尔莫尔不得不放弃手动控制。幸运的是，其中两个推进器恢复工作，最终所有推进器除一个外都恢复正常，飞船得以自主飞行并与空间站对接。尽管NASA和波音对外宣称星际客机能够安全返回，但经历了这次惊险之旅的宇航员们却心有余悸，他们认为这次返航的风险极高。
阅读更多
url.town，一个由omg.lol社区维护的网站目录，新增了Arch Linux。Arch Linux是一个轻量级、灵活的DIY通用GNU/Linux发行版，用户只安装所需组件。该目录还包含其他资源，涵盖博客、游戏、艺术、科技新闻等众多领域。
阅读更多
本文回顾了500年来教宗选举与赌博的复杂关系。从16世纪教宗国时期，人们便对教宗的生死和选举进行赌博，甚至出现内幕交易。教宗格列高利十四世颁布法令禁止此类行为，但收效甚微。直到1918年，该法令才被废除。如今，预测市场再度兴起，对教宗的健康和继任进行投注，引发了关于其社会影响的讨论，尤其是在信息不对称和潜在操纵的风险下。
阅读更多
本文探讨了Amiga OS的API和ABI，特别是其独特的直接调用共享库的方式，无需运行时链接。这通过调用库中已知位置的分支指令表来实现。Exec.library始终位于同一地址，它包含获取其他库地址表的功能。这种ABI具有跨语言兼容性，并且即使在现代内存保护机制下也能使用。Amiga OS还以其高效的内核、消息传递机制和Intuition窗口系统而著称，后者允许异步事件处理，避免了现代系统中常见的程序僵死问题。Amiga OS 的设计理念，即使在今天也依然值得借鉴。
阅读更多
美国总统拜登签署了《共享信息技术源代码协调和再利用法案》（SHARE IT Act），旨在通过强制联邦机构共享自定义源代码来减少软件采购支出。该法案要求各机构公开列出自定义代码，并与其他机构共享，从而避免重复开发，预计每年可节省约120亿美元。该法案不适用于机密代码、国家安全系统或共享会造成隐私风险的代码。该法案得到了包括Atlassian和GitLab在内的软件公司的支持，他们认为代码共享将提高效率和创新。
阅读更多
微软宣布DeepSeek R1模型现已登陆Azure AI Foundry和GitHub。DeepSeek R1是一个强大且经济高效的AI模型，它加入了Azure AI Foundry超过1800个模型的大家庭，为企业提供了便捷地集成先进AI的能力。该模型经过严格的安全评估，并具有内置的内容安全过滤功能，确保企业能够安全可靠地部署AI解决方案。开发者可以通过Azure AI Foundry快速实验、迭代和集成AI，并利用内置的模型评估工具提高效率。
阅读更多
在纽约洛克菲勒中心10号洛克菲勒广场（西48街和西49街之间）的玻璃门后，隐藏着一座全纽约最窄的扶梯。它连接着地下的洛克菲勒中心广场餐饮购物中心和街面。即使你不想购物或用餐，也可以进入10号洛克菲勒广场，走下大型螺旋楼梯，再乘坐这座扶梯返回地面。这里全天候有保安人员，但他们并不介意，因为大厅装饰着艺术家Lakela Brown创作的美丽的环绕壁画。
阅读更多
Nvidia 悄无声息地停止了 RTX 50 系列显卡对 32 位 PhysX 的支持，这款曾于 2000 年代初风靡一时的游戏专用图形技术就此落幕。由于从 RTX 50 系列开始不再支持 32 位 CUDA 应用程序，Nvidia 官方论坛证实了这一消息。虽然目前没有使用 64 位 PhysX 的游戏，但 RTX 50 系列及后续显卡将完全不支持 PhysX。PhysX 曾被广泛应用于《蝙蝠侠：阿卡姆》系列、《无主之地》系列、《地铁》系列等众多 AAA 游戏中，它将物理计算从 CPU 转移到 GPU，显著提升了游戏性能。然而，其对 Nvidia 显卡的依赖性以及缺乏灵活性最终导致了其衰落。现在，想在 RTX 50 系列显卡上运行 PhysX，只能安装一块旧的显卡来专门处理 PhysX。
阅读更多
2011年，英特尔试图争取苹果成为其代工厂客户，但最终失败。台积电创始人张忠谋回忆，苹果CEO库克明确表示英特尔不懂代工业务，缺乏以客户为中心的思维。这与台积电积极响应甚至“疯狂”的客户需求形成鲜明对比，最终促使苹果选择台积电，并开启了后者在芯片制造领域的领先地位。这次合作也迫使台积电调整了研发计划，优先满足苹果的定制需求，推动了技术的快速迭代。
阅读更多
arXivLabs是一个实验性项目，允许合作者直接在arXiv网站上开发和分享新功能。参与其中的个人和组织都认同arXiv的开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，只与遵守这些价值观的合作伙伴合作。如果你有想法可以为arXiv社区增值，那就来了解一下arXivLabs吧！
阅读更多
本文提出一个增强C语言核心类型系统的提案，该提案建议引入一个类型和效果系统，迫使函数和代码块声明其评估将产生的效果类别。这将提高元编程的可组合性，并简化MISRA风格限制的定义。该系统跟踪并检查效果，但不处理动态效果。提案定义了三种主要效果组：局部效果（例如局部写入）、持久效果（例如非局部写入）和控制效果（例如非局部控制转移）。该系统通过对每个语句、表达式和函数体赋予类型和效果来实现静态效果检查，并丢弃局部效果以确保正确排序。该提案还建议一些最佳实践，例如限制`mut`和`vol`效果的幅度，并为运算符和控制结构指定效果检查。最终目标是增强C语言的安全性、可读性和可组合性，特别是对于元编程和资源管理。
阅读更多
一项基于英国初级医疗数据的匹配队列研究发现，诊断为ADHD的成年人的预期寿命比普通人群短6.78年（男性）到8.64年（女性）。研究人员分析了2000年至2019年期间792家全科诊所的950多万人的数据，发现这可能是由可改变的风险因素以及ADHD和伴随的精神和身体健康状况的未满足的支援和治疗需求造成的。这一发现凸显了对ADHD患者未满足的支援需求的关注，并呼吁采取措施改善他们的健康状况。
阅读更多
Thruster是一个用于简化Rails应用生产环境部署的HTTP/2代理，它与Puma web服务器协同工作，提供HTTP/2支持、Let's Encrypt自动TLS证书管理、基本HTTP缓存以及X-Sendfile支持和压缩等功能，旨在实现零配置。只需设置TLS_DOMAIN环境变量即可启用TLS，否则将以HTTP模式运行。Thruster还能包装Puma进程，方便容器化环境下的部署。该项目最初为ONCE项目创建，现已广泛用于其他Rails应用的简单部署。
阅读更多
作者表达了对LLM生成代码的担忧，并非反对使用LLM，而是强调代码质量和可维护性。LLM生成的代码虽然高效，但常常违反项目规范，缺乏可读性和长期维护性。作者呼吁开发者关注代码质量，而非一味追求速度，并建议开发者更好地利用LLM，例如提供更精准的提示和示例，以确保生成的代码符合项目标准，避免将代码库的可维护性完全依赖于模型。
阅读更多
本文讲述了作者在嵌入式系统开发中，为了避免使用RTOS，巧妙地利用C语言宏定义实现了协程，从而简化了复杂的控制流逻辑。作者首先以一个LED闪烁控制的例子说明了传统状态机方法的复杂性，然后通过宏定义，将协程代码转换为显式状态机，实现了类似于异步IO的功能。虽然这种方法代码繁琐，但它展示了在没有RTOS的情况下实现并发编程的可能性，也体现了程序员的创造力和对底层技术的深入理解。文章最后建议读者如果需要进行严肃的协程开发，最好选择Rust等更现代化的语言。
阅读更多
Twin是一个支持鼠标、窗口管理器、终端模拟器和网络客户端的文本模式窗口环境，可以动态附加/分离模式显示器。它支持多种显示方式，包括纯文本终端、X11和自身。目前已在Linux、macOS和FreeBSD上测试，支持多种架构。该项目开源，采用GPL和LGPL许可证，提供详细的教程和开发文档，可从GitHub下载。
阅读更多
Typed Japanese是一个利用TypeScript类型系统表达完整日语句子的库。它基于日语语法规则创建了一个领域特定语言（DSL），允许使用TypeScript编译器编写和验证一部分语法正确的自然语言。该项目还探索了AI在语言学习中的中间格式，例如，大型语言模型可以使用此格式返回日语句子的语法分析，而不是JSON，从而通过TypeScript的类型检查器进行验证，提高正确性。该系统支持动词、形容词的各种活用形式，并支持短语和句子的构建，最终目标是创建一个用于学习和验证日语语法的类型系统。
阅读更多
Riot Games的反作弊团队通过其内核级反作弊系统Vanguard，每天封禁数千名《Valorant》作弊玩家。Vanguard利用Windows的安全特性，硬件指纹识别，以及渗透作弊者社区等多种策略，打击作弊行为。他们甚至会公开羞辱作弊开发者，并采取策略性地放任少量作弊行为，以减缓作弊技术的更新速度。虽然高端作弊手段如利用DMA攻击和屏幕阅读器作弊依然存在，但Riot团队不断进化其反作弊技术，并致力于提高透明度，以应对日益复杂的作弊挑战，其中AI辅助作弊的出现也让反作弊工作面临新的挑战。
阅读更多
从汽车到品牌再到电影，灰色和单色调正席卷全球。文章探讨了这种现象背后的原因，并非仅仅是材料或时尚趋势，而是根植于西方哲学中长期以来对色彩的贬低。从柏拉图到康德，理性被置于感性之上，色彩被视为感官干扰，阻碍对真理的认知。现代主义更将色彩视为装饰的过剩，追求形式的纯粹。然而，文章认为这种对色彩的排斥，忽视了色彩与形式的和谐统一，如同巴洛克艺术的绚丽多彩一样，情感与理性可以并存。是时候重新拥抱色彩，让生活更丰富多彩了。
阅读更多
Jamsocket发布了一个名为Learn Yjs的交互式教程系列，旨在帮助开发者学习如何使用Yjs CRDT库构建实时协作应用程序。该教程从Yjs基础知识开始，涵盖了处理分布式应用程序状态的技术，并解释了CRDT的概念及其优势。教程包含可探索的演示和代码练习，并使用Y-Sweet（一个开源的Yjs服务器）提供实时协作体验。
阅读更多
在充满挑战的大型组织中，领导者和员工常常面临目标与现实脱节的困境。本文探讨了“挫折容忍度”这一关键因素，它决定了个人在面对组织复杂性、冲突和缓慢进展时能否保持目标导向。拥有高挫折容忍度的人能够将挑战视为必然，并有效管理负面情绪；而低挫折容忍度则会导致放弃、消极和倦怠。文章分析了低挫折容忍度的四个主要原因：对舒适、公平、成就和情绪控制的非理性需求。通过重新看待组织摩擦，将其视为创新和变革的驱动力，我们可以培养更高的挫折容忍度，从而在复杂的环境中取得成功。
阅读更多
这款名为AI Baby Monitor的项目利用本地视频LLM，充当你的第二双眼睛，守护宝宝安全。它通过监控视频流（摄像头等），并根据你设置的简单安全规则（例如“婴儿不应爬出婴儿床”），一旦规则被打破，便发出轻微的提示音，提醒你注意。该系统基于Qwen2.5 VL模型，所有处理都在本地进行，保证隐私安全。虽然处理速度约为每秒1次请求，但其简洁的警报机制和实时监控界面足以提供额外的安全保障。
阅读更多
研究人员开发了一种名为Exbody2的全身运动跟踪框架，使人形机器人能够像人类一样稳定地执行富有表现力的动作。该框架利用强化学习在模拟环境中进行训练，然后转移到现实世界。它解耦了关键点跟踪和速度控制，并有效地利用特权教师策略将精确的模仿技能提炼到目标学生策略中，从而能够高保真地复制跑步、蹲伏、跳舞等动态动作。实验结果表明，Exbody2在两个不同的人形机器人平台上均取得了优于现有技术的性能，为人形机器人的全身控制提供了实用指南。
阅读更多
D-Wave公司即将发布一篇论文，宣称其量子退火计算机在求解伊辛模型的动态演化问题上超越了经典计算。与谷歌等公司基于随机量子电路的量子霸权声明不同，D-Wave专注于量子退火，利用其硬件寻找复杂问题的最优解。虽然D-Wave曾经历过“超越经典计算”后被算法开发者反驳的经历，但此次研究针对伊辛模型，而非随机电路，或将再次引发关于量子计算能力的讨论。
阅读更多
厌倦了C语言版本的yes命令的内存不安全和容易溢出？Rust爱好者们发布了yes-rs，一个用Rust编写的yes命令替代品。它不仅速度惊人，而且保证内存安全，完全没有不安全的代码块。相比于C语言的50行代码，Rust版本达到了1302行，但性能提升显著，并且具有现代错误处理和零成本抽象。yes-rs支持自定义输出字符串，并兼容Cargo构建系统。如果你追求极致性能和安全，不妨试试yes-rs！
阅读更多
本文讲述了希腊第二大城市塞萨洛尼基的复杂历史。这座城市曾是奥斯曼帝国的一部分，拥有多元的文化和宗教人口，包括犹太人、穆斯林、保加利亚人等。在第一次世界大战后，希腊夺取了塞萨洛尼基，随后进行了一系列旨在“希腊化”城市的行动，导致许多非希腊人口被驱逐或同化。本文重点关注穆斯林圣人穆萨·巴巴的陵墓，它是城市中唯一幸存的穆斯林纪念碑，以及两位当地居民：一位年长的希腊人奥德修斯和一位年轻的土耳其裔希腊人艾莎，他们对这座城市复杂历史的不同视角。文章探讨了城市在希腊统治下的身份认同转变，以及对自身多元文化遗产的遗忘与重建。
阅读更多
全球执法部门开展了一次史无前例的暗网网站查封行动，关闭了数百个从事各种非法活动的网站，包括贩卖毒品、武器、盗窃数据以及提供非法流媒体服务等。此次行动波及全球，显示了国际合作打击网络犯罪的决心，也警示了网络犯罪分子，网络并非法外之地。
阅读更多
arXivLabs是一个框架，允许协作者直接在arXiv网站上开发和分享新的功能。参与arXivLabs的个人和组织都认同并接受了arXiv的开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。如果您有想法能够为arXiv社区增值，请进一步了解arXivLabs。
阅读更多