两百年前，斯托克顿和达灵顿铁路的开通开启了现代铁路时代。然而，铁路运输的份额在近几十年却不断下降。本文探讨了大力发展铁路运输的必要性，指出其在减少碳排放、改善空气质量、促进经济增长和社会公平方面的巨大潜力。文章呼吁重新评估铁路投资，采用更全面的评估标准，并强调国际合作的重要性，以应对气候变化，实现可持续发展目标。
阅读更多
Verizon与Frontier的合并案引发加州与联邦通信委员会（FCC）在多元化、公平与包容（DEI）政策上的冲突。为获得FCC批准，Verizon取消了DEI项目，但这与加州法律相抵触。加州公共事业委员会（CPUC）要求Verizon详细说明如何在没有DEI项目的情况下遵守加州法律，包括供应商多元化和就业报告等规定。尽管Verizon已获得八个州以及FCC和DOJ的批准，但加州的批准仍存在不确定性，这可能会影响Verizon明年在加州实现免费互联网接入的目标。
阅读更多
消费者报告致信微软CEO纳德拉，呼吁其延长Windows 10免费安全更新期限（10月14日截止）。该组织指出，此举将使数百万无法升级到Windows 11的消费者面临安全风险。数据显示，全球约46.2%的用户仍在使用Windows 10，而因硬件限制无法升级到Windows 11的电脑数量高达2亿到4亿台。消费者报告批评微软一边鼓励用户升级以增强网络安全，一边又让Windows 10用户面临风险，并将微软收费延长安全更新的行为称为“虚伪”。 消费者报告和公共利益研究组织（PIRG）均呼吁微软免费延长Windows 10支持，避免大量可用的电脑被淘汰。
阅读更多
Fedora 43 Beta版发布，带来安装程序改进、系统工具更新和编程语言升级。Anaconda WebUI成为默认安装界面，DNF升级至5.0版本，并移除模块化包支持，简化安装流程。核心开发工具也得到更新，包括GCC 15.2、glibc 2.42、LLVM 21等。Python升级至3.14，Go升级至1.25，并加入Idris 2和Hare编程语言支持。数据库方面，PostgreSQL升级至18，MySQL默认版本为8.4。此外，GNOME全面转向Wayland，并对字体渲染进行优化。一些旧组件已被移除，例如gold链接器和旧版Python RPM宏。
阅读更多
阿富汗北部巴尔赫省的塔利班领导人下令禁止光纤互联网，声称是为了“防止不道德行为”。此举导致政府部门、私营部门、公共机构和家庭都无法使用Wi-Fi。一位巴尔赫居民表示，此禁令不仅损害了他的生意，也影响了其他依赖互联网进行业务的人们。虽然移动互联网仍然可用，但速度慢且昂贵。此举是塔利班2021年8月掌权以来首次实施此类禁令，其原因和范围尚不明确，引发了当地居民的担忧和不满。
阅读更多
一项发表于《自然物理》的研究发现，普通冰是一种压电材料，弯曲时可产生电能。这一发现不仅可能催生新型电子设备，还可能解释闪电的形成机制。研究人员发现，冰在所有温度下都能响应机械压力产生电荷，低温下冰表面还存在铁电层，这为冰的电力产生提供了两种途径。这项突破性研究将冰与二氧化钛等先进电陶瓷材料相提并论，并为利用冰的特性开发新型电子设备开辟了道路。
阅读更多
本文深入浅出地讲解了如何使用Linux原生工具(unshare, mount, pivot_root)构建一个简易Docker容器。文章重点阐述了mount namespace在容器隔离中的核心作用，以及其他命名空间（PID, cgroup, UTS, network）的补充作用。通过逐步的实践操作，读者将理解mount namespace如何隔离mount table，以及mount propagation机制如何影响命名空间间的交互。最终，读者将能够使用标准Linux命令创建功能齐全的Docker风格容器。
阅读更多
Meta将于9月17日发布其Celest AR眼镜，但一段泄露的视频提前曝光了其设计细节。视频显示眼镜可能采用了Lumus波导技术，这与之前关于Meta使用Lumus Z-Lens的传闻一致。这款预计售价800美元的眼镜，其波导技术也应用于Rivet公司的军用AR眼镜。作者将在9月23日至25日参加在荷兰埃因霍温举办的MicroLED和AR/VR Connect大会，并分享相关见解。
阅读更多
作者批判了现有社交媒体平台的负面影响，认为它们已沦为广告驱动的内容工厂，而非促进社交的工具。作者认为，理想的社交媒体应该注重与亲友的真实连接，而非关注者数量和自我推广。文章提出了一个反乌托邦式社交媒体平台的设计理念，该平台限制连接人数、采用按时间顺序排列的信息流和分页机制，并限制每日发帖数量，以避免信息过载和算法操控。作者承认该理念面临资金和推广难题，但表达了对构建更健康社交平台的期许。
阅读更多
本文反驳了关于C++复杂、过时、不安全等常见批评。作者认为，C++的复杂性可以通过避免过度优化和专注于编写易读代码来克服；C++经过40多年的发展，不断更新迭代，而非过时；C++的不安全性可以通过使用智能指针等工具来缓解，而且所有语言都存在安全风险；C++的学习曲线虽然陡峭，但对于系统编程和游戏开发等领域来说，学习C++的长期收益大于短期成本。作者最后指出，C++仍然是当今最广泛使用的编程语言之一，广泛应用于各种领域，并且将继续保持其重要地位。
阅读更多
这篇论文探讨了call/cc在Scheme宏中的不常见应用，特别是将其用于辅助繁琐的lambda计算。作者介绍了一种正规序直接风格beta归约器，它巧妙地结合了语法规则和call/cc的重复应用，并通过CPS变换和一个巧妙的直接风格lambda计算器来证明其正确性。论文还探讨了分界延续的概念，并展示了如何使用简单的宏来实现各种分界延续操作符，例如prompt和control。最终，作者通过一个基于call/cc的阶乘函数实现，以及对分界延续的讨论，突出了该方法的优雅性和实用性。
阅读更多
作者两年半前启动了一个实验：利用DOOM游戏引擎中一个变量溢出的漏洞，预测游戏崩溃时间。他将DOOM运行在一个PDA上，通过DIY的UPS供电，持续运行。两年半后，游戏果然因变量溢出而崩溃，验证了他的预测。这个实验展现了细致的观察和长期的毅力。
阅读更多
Murex 是一款功能强大的命令行工具，其安装简便，支持多种操作系统，例如 macOS、Arch Linux 和 FreeBSD。用户可以通过 Homebrew、MacPorts 或 AUR 等包管理器轻松安装。此外，Murex 提供了语言教程和交互式 Shell 指南，帮助用户快速上手。即使跳过教程，Rosetta Stone 备忘单也能帮助用户快速掌握。
阅读更多
作者在现代Linux系统中遭遇了一个令人沮丧的问题：经典的80x25文本控制台消失了。这并非简单的分辨率问题，而是涉及到UEFI引导、非x86平台以及图形化渲染模式等多种因素。旧的解决方法如`vga=`参数在现代系统中失效，而新的尝试如`kmscon`也存在诸多问题。作者无奈之下，只能考虑寻找一台老旧的PC来解决这个问题，这反映出现代系统与传统硬件兼容性下降的困境。
阅读更多
许多华硕ROG游戏本用户都遇到过系统卡顿、音频爆音等问题。传统方法都无法解决，原因在于BIOS固件中存在一个ACPI相关的Bug。深度技术调查发现，固件中一个中断处理程序会休眠100毫秒，导致CPU核心被阻塞，并周期性地尝试开关独显，即使在独显直连模式下也如此，最终可能导致蓝屏死机。该Bug源于固件设计缺陷，未正确处理中断上下文，且缺乏平台感知能力。数百万台华硕游戏本受影响，厂商尚未回应。
阅读更多
Obsidian 插件 Importer 正在寻求改进其 Notion 导入功能的开发者。目前导入依赖于 HTML 导出，效率低下。此次悬赏 5000 美元，目标是在 30 天内利用 Notion API 实现渐进式文件下载，并支持将 Notion 数据库转换为 Bases。开发者需要熟悉 Importer 代码库和 Notion API，并详细说明其解决方案，尤其要考虑数据库和 Bases 的差异，以及哪些 Notion 数据库元素（视图、列、分组等）可以导入。
阅读更多
Midnight Commander (mc) 是一款功能强大的、基于文本界面的双面板文件管理器，它完全免费开源。你可以用它复制、移动、删除文件和目录，搜索文件，甚至在内置的子shell中执行命令。mc 支持多种文本界面库，可在各种环境下运行，包括普通控制台、X Window 终端和 SSH 连接。安装 mc 最简单的方法是使用系统的包管理器，更多信息请参考官方文档或使用 F1 键调出的在线帮助。
阅读更多
一份最新报告指出，中国航天事业发展速度惊人，在商业和民用航天领域迅速崛起，对美国构成重大威胁。报告显示，中国不仅在月球探测方面可能领先美国，还在多个航天领域挑战美国的主导地位。研究人员发现，中国学习西方创新模式，取得了显著进展，其发展速度之快令人担忧。这份报告为美国敲响警钟，强调持续投入、警惕和适应能力对保持竞争力至关重要。
阅读更多
《A Scavenging Trip》是一款短小精悍的星球探险模拟游戏，你将前往未知星球收集样本并及时离开。游戏包含三个难度等级各异的任务，最快通关时间约为10-15分钟，新手玩家可能需要1-2小时。游戏无需存档，任务解锁后即可游玩，没有进度系统。游戏操作简单，支持自定义按键，仅需WASDQE键即可操控，无需鼠标，兼容性极高，几乎所有现代浏览器都能流畅运行，最低配置要求极低，只需一台Pentium M或更高配置的处理器即可。游戏使用Rust语言开发，采用自定义软件渲染器和引擎，仅使用CPU进行图形计算，GPU仅用于显示最终图像。
阅读更多
一项发表在《欧洲流行病学监测》杂志上的研究显示，自2008年丹麦引入HPV疫苗以来，两种最主要的致癌型人乳头瘤病毒（HPV）感染已基本被清除。研究分析了2017年至2024年间22至30岁丹麦女性的宫颈细胞样本，发现接种疫苗的女性中HPV16/18感染率已从之前的15-17%下降到不到1%。这表明疫苗不仅保护了接种者，还降低了这两种HPV病毒在整体人群中的传播率，实现了“群体免疫”。然而，研究也发现，约三分之一的女性感染了未被最初疫苗覆盖的高危HPV类型。随着接种九价疫苗的女性达到筛查年龄，这种情况有望改善，届时宫颈癌筛查指南可能需要重新考虑。
阅读更多
本文介绍了如何使用Rust和Z3约束求解器解决各种问题，从简单的方程到复杂的数独游戏和页面布局。作者从自身学习Z3的经验出发，逐步讲解了Z3的基本概念、使用方法以及在Rust中的应用，并通过多个例子演示了如何利用Z3高效地解决实际问题。文章还探讨了Z3的局限性和一些高级特性，例如数组、位向量和集合等，为读者进一步学习提供了方向。
阅读更多
一位在开源世界耕耘25年的开发者讲述了他与KDE的故事。从最初接触Linux，到参与Ubuntu和Kubuntu的开发，再到参与KDE Neon项目的创建，他见证了开源的辉煌与残酷。然而，最终他因理念不合被排挤出项目，失去了工作、朋友和家庭，令人唏嘘。这篇文章反思了开源社区的商业化、以及劳动者权益的重要性。
阅读更多
Waymo获得许可，将在旧金山国际机场（SFO）开展商业运营。初期，乘客可在SFO的Kiss & Fly区域上下车，未来计划扩展至机场其他区域。这标志着Waymo在湾区服务的重大进展，为居民和游客提供了一种创新的出行方式，也体现了旧金山市政府推动现代交通发展的决心。
阅读更多
本文讲述了上世纪70年代末80年代初风靡一时的MOS 6502微处理器的传奇故事。由于摩托罗拉6800处理器的定价策略，Chuck Peddle和Bill Mensch等工程师离开摩托罗拉，加入MOS技术公司，设计并生产了6502。6502以其低成本和高性能，迅速在8位系统中普及，并最终被应用于苹果电脑，成为个人电脑时代的标志性芯片。文章详细描述了6502的制造过程，从设计到生产，以及MOS技术公司如何克服技术和市场挑战，最终取得成功。
阅读更多
1962年初，89岁高龄的伯特兰·罗素回信拒绝了英国法西斯联盟创始人奥斯瓦尔德·莫斯利的来信。罗素在信中表达了他对法西斯主义的强烈厌恶，认为莫斯利的理念与他的人生观格格不入，无法进行任何有意义的交流。他强调，这并非出于无礼，而是基于他对人类经验和成就的珍视。这封信展现了罗素坚定的反法西斯立场和高尚的道德情操。
阅读更多
这段代码为 iina 播放器添加了两个实用功能。首先，它在视频播放时，会在视频顶部以 48px 的大字体显示视频标题。其次，它实现了视频暂停时窗口最小化，恢复窗口时继续播放的功能，提升了用户体验。
阅读更多
随着AI技术的飞速发展，Zoom、微软、英伟达等科技巨头CEO纷纷预测未来将进入三/四天工作制时代。AI能够自动化许多任务，提高生产力，从而减少人力需求。虽然部分工作岗位可能被取代，但同时也会创造新的就业机会，例如管理AI系统和数字代理。这一转变如同工业革命和互联网诞生一样，将带来巨大的冲击，但最终将提升整体生活水平和工作效率。
阅读更多
微软正在其Visual Studio Code编辑器中添加自动AI模型选择功能，优先选择性能最佳的模型。对于GitHub Copilot免费用户，将自动在Claude Sonnet 4、GPT-5、GPT-5 mini等模型之间选择；付费用户将主要依赖Claude Sonnet 4。内部文件显示，微软已指示其开发者优先使用Claude Sonnet 4，并正在大力投资自建AI模型集群。此外，微软365 Copilot的部分功能也将采用Anthropic模型。尽管微软与OpenAI仍保持合作关系，并签署了新的协议，但微软明显更倾向于Anthropic的AI模型，这表明其在AI战略上的调整。
阅读更多
谷歌在Labs推出了一款新的Windows实验性应用，旨在帮助用户更快地找到所需信息。只需按下Alt+Space键，即可在不切换窗口的情况下搜索电脑文件、已安装应用、Google Drive文件和网络信息。内置的Google Lens允许用户选择并搜索屏幕上的任何内容，方便翻译图片或文本、解决作业问题等。AI模式提供更深入的AI驱动回应，并支持后续问题和相关链接。
阅读更多
作者用一个廉价的软件定义无线电（SDR）USB接收器和天线套件，在一周内探索了电磁频谱，完成了50个接收不同信号的任务。从收听调频广播、飞机通信到接收气象卫星图像、甚至尝试追踪气象气球，作者分享了其探索过程中的经验、遇到的挑战和乐趣，并展现了SDR的强大功能和电磁频谱的丰富信息。
阅读更多