告别拖延：一个帮你戒掉坏习惯的Bash脚本
2025-07-14
厌倦了沉迷于时间杀手应用？这个轻量级的Bash脚本`ban`可以帮你解决这个问题！只需几行命令，你就能禁止自己使用指定的命令直到特定日期，并可添加原因和友好的提醒。安装方便，使用简单，还能自定义禁用期限（默认为40天）。快来试试，重拾专注力！
阅读更多
开发
日本生成式AI应用落后于中美
2025-07-14
日本政府一项调查显示，在生成式AI的应用方面，日本落后于其他主要经济体。仅有26.7%的日本人表示使用过生成式AI，远低于中国的81.2%和美国的68.8%。虽然日本20-40岁人群的AI使用率较高，但整体应用率的增长仍显缓慢。企业方面，计划使用生成式AI的日本公司仅占49.7%，也远低于中美80%以上的比例。这项调查突显了日本在AI应用方面面临的挑战，以及未来需要加强推广和普及的必要性。
阅读更多
科技
超越OpenEXR？浮点数图像压缩新方法横空出世
2025-07-14
博主ArasP深入研究了浮点数图像（尤其多通道图像）的无损压缩方法。测试了OpenEXR（含新HTJ2K压缩）、JPEG-XL和一种基于Mesh Optimizer的自定义方法。结果显示，OpenEXR的ZIP压缩足够实用，HTJ2K压缩率略高但性能较差。JPEG-XL压缩率较高但速度极慢。令人惊喜的是，自定义方法（Mesh Optimizer + zstd）在压缩率和速度上都显著优于其他方法，成为浮点数图像压缩的新选择。
阅读更多TIOBE 编程语言指数7月报告：老牌语言争夺前十
2025-07-14
TIOBE 7月编程语言指数报告显示，前七名语言多年来保持不变，但排名8至12位的语言却持续争夺，老牌语言如Visual Basic、SQL、Fortran等竞争激烈。报告预测，新兴语言可能取代这些老牌语言进入前十，其中Ada因其在安全关键领域的优势而被看好。TIOBE指数基于全球工程师数量、课程和第三方供应商等数据计算，并非评判编程语言优劣的绝对标准，但可用于评估技能和技术决策。
阅读更多
开发
Django 20周年庆：开源框架的持续辉煌
2025-07-14
2005年7月13日，Jacob Kaplan-Moss提交了Django的第一个公开版本。20年后的今天，Django迎来了20岁生日！官方启动了庆祝活动网站，收录全球各地线上线下庆祝活动，并发起为期20天的捐赠活动，目标是吸引200位新捐赠者，每人捐赠20美元或以上，其中至少20位为月捐。目前已筹集到76707美元，达到目标的25.6%。Django表示将继续努力，在未来20年为开发者提供更多新版本、强大的生态系统和积极的社区支持。
阅读更多
开发
20周年
英国探测器将前往金星寻找生命迹象
2025-07-14
一项由英国主导的探测任务计划一劳永逸地解决金星是否存在生命的问题。该任务计划向金星发射一个探测器，在金星云层中寻找微生物生命，而非地表。科学家在过去五年中，在金星云层中探测到磷化氢和氨的痕迹——这两种物质可能是生物活动的迹象。在地球上，这两种气体仅由生物活动和工业过程产生，但科学家不确定它们在金星上的起源。鉴于金星拥有浓厚的有毒大气层、极高的地表温度和巨大的地表压力，蓬勃发展的工业经济似乎不太可能存在。但研究人员假设，能够在地球最炎热、最具毒性的环境中生存的微生物，可能能够在金星上生存并产生这些气体。这项名为VERVE的任务将搭载欧洲航天局的EnVision任务发射，后者计划于2031年发射。VERVE将在抵达后分离，进行独立的大气层调查。
阅读更多
科技
Android 16：个性化、Gemini集成和XR的未来
2025-07-14
Google Android生态系统总裁Sameer Samat详解Android 16的重大更新：Material 3 Expressive设计语言带来更强大的个性化定制，与三星合作实现新系统与旗舰手机同步发布，以及Gemini AI的深度集成，提供更智能的搜索和辅助功能。Samat还谈到Android XR的未来，强调AI将是其核心驱动力，并从Google Glass的经验中吸取教训，与时尚品牌合作，打造更时尚、更实用的AR眼镜。
阅读更多
科技
突破性进展！mRNA疫苗对抗抗生素耐药菌
2025-07-14
特拉维夫大学和以色列生物研究所的研究人员利用COVID-19疫苗平台，研发出全球首个基于mRNA的抗生素耐药细菌疫苗。该疫苗针对鼠疫耶尔森菌，在动物模型实验中对肺鼠疫展现出100%的保护率。这项突破性技术有望用于对抗其他致命细菌，为全球公共卫生安全带来新的希望。研究成果已发表在《先进科学》杂志上。
阅读更多
科技
抗生素耐药菌
铝箔与金属锅的化学反应：你的烤盘在“漏电”吗？
2025-07-14
你是否曾发现烤盘上的锡纸出现小孔或黑点？这可能是电化学反应——“电偶腐蚀”造成的。酸性食物（如番茄酱）和盐分会形成电解质，与不同金属（如铝箔和钢制烤盘）构成电池，导致铝箔腐蚀。文章解释了这一现象，并建议使用耐腐蚀的容器，如玻璃、陶瓷或搪瓷制品，以及安全地使用铝箔的方法，避免食物中出现金属离子。
阅读更多DuckDuckGo也无法完全躲避Google追踪？
2025-07-14
一项新研究揭示，即使使用DuckDuckGo等隐私搜索引擎，Google仍然通过其广泛的网络追踪技术（如Google Analytics、AdSense和YouTube嵌入）收集用户数据。研究发现，在美国，超过40%的网站即使在使用DuckDuckGo的情况下仍然向Google发送数据。瑞典和瑞士由于更严格的隐私法，追踪程度较低。该研究强调了减少对Google服务的依赖性，以及选择独立的隐私优先工具的重要性，单靠隐私浏览器或搜索引擎不足以完全避免追踪。
阅读更多
科技
Google追踪
cURL漏洞报告泛滥：AI生成的垃圾报告压垮安全团队
2025-07-14
cURL项目的安全团队正被大量低质量的漏洞报告淹没，其中大部分是由AI生成的“垃圾报告”。这些报告不仅浪费了团队的时间和精力（平均每个报告需要3-4人耗时30分钟到3小时），还严重降低了真实漏洞的发现效率。2025年至今，约20%的提交报告为AI生成的垃圾信息，有效漏洞报告比例大幅下降。团队正在考虑取消漏洞奖励计划，或采取其他措施来减少低质量报告的提交，以维护团队的健康和项目的安全性。
阅读更多
开发
东亚减排对全球变暖的影响：RAMIP模拟结果
2025-07-14
一项新的研究利用RAMIP模拟，量化了东亚近十年来空气污染物减排对气候变化的影响。研究发现，东亚二氧化硫排放量减少20 Tg/年，导致全球平均气温升高0.07 ± 0.05 °C，并对北太平洋地区造成了显著的增温效应。模拟结果与MODIS观测到的气溶胶光学厚度变化相符，表明RAMIP模拟能够有效地捕捉到实际减排的影响。研究还指出，甲烷浓度增加和航运减排等其他因素也可能对全球变暖有所贡献，但东亚的减排对近十年来全球变暖速率的加快起到了显著作用。
阅读更多
科技
RAMIP模拟
并发编程中的临界区：从错误尝试到Peterson算法
2025-07-14
本章探讨了并发编程中临界区的实现。作者首先介绍了临界区概念及意义，然后通过几个错误的尝试（例如，简单的锁机制和标志位机制）逐步引出问题，例如竞争条件和死锁。最终，作者介绍了Peterson算法，一个优雅地解决了互斥和进展问题的算法，并解释了其正确性证明的复杂性以及在实际应用中可能面临的挑战，例如非原子操作和指令重排序。
阅读更多Telefónica德国分公司因价格上涨弃用VMware，转投Spinnaker
2025-07-14
德国电信公司Telefónica因Broadcom将VMware续约价格提高五倍，决定放弃VMware，转而使用Spinnaker。Telefónica目前主要使用vSphere，Broadcom收购VMware后取消永久许可证，推行包含软件和支持的订阅套餐，价格大幅上涨。Telefónica认为VMware Cloud Foundation功能过于强大，与其需求不符，最终选择转向Spinnaker，并预计在2026年底前完成迁移。此次事件也凸显了Broadcom新定价策略引发的客户不满，其他公司也面临同样的困境。
阅读更多
科技
Spinnaker
爆款免费游戏《遛狗》席卷Steam榜单
2025-07-14
Blender Studio推出的免费游戏《遛狗》在Steam上取得巨大成功，两天内获得300多条“好评如潮”的评价。这款轻松治愈的游戏，以其精致的冬季景观和简单的游戏机制吸引玩家。玩家扮演一只毛茸茸的小狗，带着孩子在雪地里寻找制作雪人的材料。游戏全部使用开源的Blender和Godot引擎制作，降低了游戏开发的门槛，也体现了开源的魅力。虽然游戏时长仅20分钟左右，但其轻松愉快的体验和免费的特性使其成为Steam上的一匹黑马。
阅读更多
游戏
免费游戏
网站分析提升用户体验
2025-07-14
为了提升用户体验，本网站使用分析工具追踪用户行为。这些数据帮助我们改进网站性能、了解用户偏好、并提供更相关、更有用的内容。我们承诺绝不出售您的数据，详情请查看隐私政策。
阅读更多
杂项
网站改进
苹果 iOS 浏览器引擎禁令：违反欧盟数字市场法？
2025-07-14
Open Web Advocacy 指控苹果公司违反欧盟数字市场法 (DMA)，其对 iOS 系统上第三方浏览器引擎的禁令设置了不公平的竞争壁垒。苹果声称不知为何在过去 15 个月里没有浏览器厂商将其引擎移植到 iOS，但实际上，苹果设置的技术和合同限制使得移植变得经济上不可行。这直接影响了浏览器竞争和 Web 应用的创新，损害了消费者和开发者的利益。苹果公司为了保护 Safari 的高额利润和与谷歌的搜索引擎协议收益，故意设置这些障碍。欧盟需要采取行动，强制苹果遵守 DMA，促进公平竞争。
阅读更多
科技
快速构建软件的技巧：从粗略草稿到精益求精
2025-07-14
本文作者分享了多年软件开发经验，总结了快速构建高质量软件的技巧。他强调根据项目需求设定代码质量标准，建议采用“粗略草稿”方法，先快速构建一个功能性原型，再逐步完善。文中还提到要尝试简化需求，避免分心，并进行小的、集中的代码更改。此外，作者还分享了一些提升效率的技能，例如阅读代码、数据建模、脚本编写和使用调试器等，以及如何有效利用大型语言模型辅助开发。
阅读更多
开发
GParted Live 1.7.0 发布：告别32位系统，增强安全性
2025-07-14
GParted Live 1.7.0 版本正式发布，告别32位系统支持，仅提供64位版本。此更新还包含 GParted 1.7.0 和 Linux 内核 6.12.37，并新增机制避免启动时磁盘顺序混乱，防止用户误选磁盘。GParted Live 是一款轻量级磁盘分区管理工具，无需安装即可使用，非常适合用于修复系统和紧急情况。如果图形界面无法显示，可以使用安全图形设置选项。
阅读更多量子计算时代：机遇与挑战并存的密码学革命
2025-07-14
量子计算的快速发展带来了巨大的计算能力提升，但也威胁着现有的加密系统。未来7-10年内，量子计算机将能够破解当前的加密标准，这将对个人隐私和国家安全构成严重威胁。NIST已经制定了后量子密码学（PQC）标准，但将这些算法集成到现有系统中需要大量的工程工作。企业需要立即采取行动，进行系统盘点、升级加密算法，并与供应商合作，确保供应链的量子安全，避免未来面临“先捕获，后利用”的风险。
阅读更多
科技
Arch：模块化边缘和AI网关，加速Agent应用开发
2025-07-14
Arch是一个模块化的边缘和AI网关代理服务器，旨在简化Agent应用的构建。它处理诸如应用防护、模糊用户输入的澄清、提示路由以及统一访问任何LLM等底层工作，从而帮助开发者更快地构建和发布Agent应用。Arch支持多种语言和框架，并提供路由、防护、可观测性等核心功能，基于Envoy构建，具有高性能和可扩展性。 一个简易的货币兑换Agent示例展示了Arch的易用性，开发者可以使用curl命令与之交互。Arch还支持基于模型和基于偏好的两种LLM路由策略，并提供详细的日志和可观测性信息。
阅读更多老牌编程语言Ada逆袭？Tiobe CEO看好其未来
2025-07-14
Tiobe CEO Paul Jansen近日表示，诞生于20世纪70年代末的系统编程语言Ada，可能在编程语言流行度竞争中比Visual Basic、Perl和Fortran等同龄语言更持久。虽然过去两年主流编程语言如Python、C#和Java排名变化不大，但像Visual Basic、SQL、Fortran、Ada、Perl和Delphi等老牌语言则波动较大。Jansen认为，Ada凭借其在安全关键领域的优势，在对安全需求日益增长的今天，很可能成为这些老牌语言中生存下来的佼佼者。目前Ada在Tiobe指数中排名第十，与Delphi/Object Pascal并列。
阅读更多
开发
Idris语言的新特性：绑定应用
2025-07-14
Idris语言即将推出一个名为“绑定应用”的新特性，它通过语法糖简化了依赖类型编程中依赖对和其它类型构造的编写方式。这项特性避免了依赖于特殊编译器魔法的需求，而是将这种能力开放给所有开发者。文章详细介绍了该特性在Sigma类型、Exists类型、Subset类型、Ornaments、ForAll、ForSome以及for循环等多种场景下的应用，展示了它如何提升代码可读性和书写效率，使Idris的依赖类型编程更加简洁直观。
阅读更多
开发
编程语言特性
全球外卖市场巨头垄断：寡头时代来临？
2025-07-14
全球外卖市场正经历一场前所未有的整合浪潮。仅五家公司就控制了超过90%的全球市场份额。Prosus收购Just Eat Takeaway和DoorDash收购Deliveroo等案例表明，巨头们正以高溢价积极扩张。这种整合将带来网络效应，提升效率，但也会导致利润进一步挤压司机、餐厅和最终消费者。未来，外卖平台将减少促销，增加配送费和菜单费。然而，技术创新，如机器人送餐，将带来新的增长点。投资方面，Prosus和Uber相对估值较低，值得关注。
阅读更多
科技
外卖市场
Raycast Linux：开源的Raycast Linux启动器
2025-07-14
一个开源项目Raycast Linux，旨在将macOS上的Raycast启动器移植到Linux。它支持扩展命令面板、扩展支持（兼容部分Raycast扩展）、强大的计算器、剪贴板历史记录、代码片段管理以及AI集成（通过OpenRouter）。虽然力求兼容大部分Raycast扩展，但由于macOS和Linux系统的差异，部分扩展可能无法正常工作。该项目使用Rust、Node.js、Tauri和Swift开发，提供AppImage包，并支持从源码构建。
阅读更多
开发
启动器
GLP-1药物：保险业的隐患与商机
2025-07-14
GLP-1减肥药的普及给保险业带来了新的挑战。由于GLP-1药物能显著改善与死亡风险相关的健康指标，导致保险公司在风险评估中出现“死亡率偏移”，错误地将服用GLP-1药物的人评估为低风险。这可能导致巨额赔付。保险公司正尝试通过改进评估方法和寻求与医药公司合作来应对这一问题。然而，作者认为，简单地提高药物续订周期（例如，从30天改为90天），就能有效提高患者的用药依从性，降低保险公司的风险，并为相关公司创造巨大的商机。
阅读更多
科技
保险业
Stellantis 中国合资企业破产：西方车企在中国电动化革命中的失败
2025-07-14
十五年前，菲亚特克莱斯勒（FCA）与广汽集团成立合资公司，意图征服中国汽车市场。然而，这家公司最终以破产告终，负债超过11亿美元。其失败原因在于未能适应中国市场对新能源汽车的强烈需求，以及与广汽集团的合作关系破裂。这反映了西方车企在中国电动化革命中面临的挑战，巨额投资和适应快速变化的市场环境成为其难以逾越的障碍。
阅读更多
科技
哈勃和韦伯望远镜面临预算削减威胁
2025-07-14
由于预算限制，NASA的哈勃和詹姆斯·韦伯太空望远镜正面临运营削减。哈勃望远镜的预算十年来一直保持不变，购买力下降；韦伯望远镜的预算也可能被削减25%。这将导致望远镜模式减少、用户支持减少以及人员精简。尽管韦伯望远镜运行状况良好，并且燃料足够使用20多年，但其运营预算在2011年制定时过于乐观，加上通货膨胀的影响，导致现在面临预算压力。哈勃望远镜虽然寿命比预期长，但持续运营需要更多的资金投入。这次预算削减可能会影响到这两个望远镜的科学产出，并对科学界造成损失。
阅读更多
科技
NeXT Cube的壮烈“焚身”：一次科技史上的意外实验
2025-07-14
本文讲述了作者为拍摄NeXT Cube燃烧照片而历经波折的有趣故事。起初计划简单地焚烧一个空机箱，却因种种原因，最终在劳伦斯利弗莫尔国家实验室的燃烧室里，经历了多次失败和意外，才成功拍摄到NeXT Cube燃烧的画面。整个过程充满了戏剧性和黑色幽默，也反映了当时NeXT公司在硬件制造方面的困境。
阅读更多
科技
Arial：Helvetica的廉价替代品如何称霸世界
2025-07-14
Arial字体几乎无处不在，但它并非凭自身魅力获得成功，而是因为其作为Helvetica的廉价替代品，搭上了微软Windows的顺风车。文章讲述了Arial的历史，它并非原创设计，而是Monotype公司为绕过Helvetica的版权，特意设计的一款近似字体。由于微软将其捆绑在Windows系统中，Arial迅速普及，成为大众常用的字体，尽管在专业设计师眼中，它只是一个低劣的模仿品。
阅读更多