历经近十年发展，LLVM Fortran 编译器 Flang 终于从 “flang-new” 正式更名为 “flang”。这篇文章回顾了 Flang 的发展历程，从最初由美国国家实验室和 NVIDIA 合作开发，到采用 LLVM 的多级中间表示 (MLIR) ，最终成为 LLVM 项目的一部分。Flang 的出现是为了提供一个长期、非专有的 Fortran 编译器，降低单一编译器带来的风险，并促进 Fortran 社区的蓬勃发展。Flang 的旅程也见证了编译器技术的进步，例如采用 MLIR 优化 Fortran 代码。如今，Flang 已成熟稳定，并得到 AMD 等厂商的支持，成为 Fortran 开发者的有力工具。
阅读更多
埃因霍温理工大学的科学家Jom Luiten和Peter Mutsaers及其团队成功研制出一种紧凑型硬X射线源。该设备可在实验室环境下生成高质量、窄波长范围的硬X射线，其尺寸在全球范围内独一无二。这项研究始于探索利用硬X射线更好地观察绘画作品内部，最终实现了突破性进展。该设备的工作原理类似于同步加速器，但尺寸更小，更易于调节X射线波长以适应不同研究对象。这项技术在艺术考古、材料科学和医学领域具有广泛应用前景，例如检查硅片、研究动脉粥样硬化和早期COVID肺损伤等。
阅读更多
一项新的分析显示，2025年第一季度，中国碳排放量同比下降1.6％，过去12个月下降1％。这是由于风能、太阳能和核能发电的增长超过了电力需求的增长，从而减少了燃煤发电。尽管如此，排放量仍略低于峰值，任何短期波动都可能导致排放量再次上升。未来趋势取决于中国下一五年规划中的清洁能源目标和对美贸易政策的经济应对措施。
阅读更多
央视新闻报道显示，阿里巴巴旗下平头哥研发的最新AI芯片PPU在关键参数上全面超越英伟达A800，与H20性能相当。PPU拥有96GB HBM2e内存，700GB/s互连带宽，支持PCIe 5.0×15接口，功耗400W。中国联通三江源绿色电力智能计算中心项目已签约1747台设备，其中阿里云部署16384块平头哥芯片，算力达1945P，彰显国产AI芯片的崛起和在大型项目中的应用实力。
阅读更多
BBC网站的导航栏“更多”按钮出现故障，用户在家使用外接显示器时点击无效，但在办公室或笔记本屏幕上则正常。经调查发现，Chrome和Firefox浏览器在处理多显示器设置时，屏幕坐标的表示存在互操作性问题。当外接显示器位于主显示器上方和左侧时，点击事件的screenX和screenY属性为负值，导致事件处理程序未能识别点击，从而触发了无JavaScript的回退行为。最终通过修改事件处理程序中的坐标判断逻辑修复了该问题。
阅读更多
本文深入探讨了 C++20 中新增的“强发生于之前”关系，它解决了 C++ 内存模型中一个棘手的问题。作者通过一个简单的多线程程序示例，逐步解释了修改顺序、一致性排序以及“强发生于之前”关系如何约束并发执行的顺序。文章还分析了 Power 架构下允许某些看似违反 C++ 内存模型的执行的原因，并解释了“强发生于之前”关系如何修复这些不一致性，最终保证了所有 `memory_order::seq_cst` 操作的单一全序性。
阅读更多
Yubin Archive是一个在韩国Telegram上运营的教育资源共享平台，旨在消除教育不平等。它提供教科书、练习册和视频讲座等学习资料，迅速吸引了超过330,000名用户。然而，其运营者因侵犯版权被捕，该平台也随之被关闭。尽管Yubin Archive声称其目的是为了帮助贫困学生，但调查发现其运营者也运营着一个付费的“少数派频道”，这引发了对平台动机的质疑。韩国文化体育部表示将继续打击此类侵犯版权的行为，以保护创作者的权益。
阅读更多
Linux内核的Rust集成之路充满坎坷。部分内核维护者强烈抵制在内核中使用Rust，认为多语言编程会增加复杂性和风险。最近，围绕Rust驱动程序使用DMA API的讨论再次点燃战火。内核维护者Christoph Hellwig明确表示拒绝Rust代码，认为维护多语言项目很痛苦，并希望Rust开发者自行处理与C代码的接口适配。尽管Rust for Linux项目旨在通过抽象层简化集成，但Hellwig坚持认为这会增加维护负担。这一争议凸显了Linux社区内部对编程语言选择的不同立场，以及新技术融入现有庞大系统的挑战。甚至有维护者因此退出维护工作。最终结果如何，还有待观察，这将对Linux未来的发展方向产生深远影响。
阅读更多
从2025年秋季开始，麻省理工学院将扩大助学金范围，家庭收入低于20万美元的本科生将可以免除学费，这涵盖了80%的美国家庭。对于家庭收入低于10万美元的学生，其父母无需支付任何费用，包括学费、住宿费、伙食费以及书本和个人开支。新的助学金计划旨在使麻省理工学院的教育更加经济实惠，让更多有才华的学生能够接受世界一流的教育。
阅读更多
开源倡议组织（OSI）即将举行的2025年董事会选举因开源AI定义（OSAID）而陷入争议。候选人Luke Faraone因被认为错过申请截止日期而被拒之门外，引发了关于OSI沟通和流程透明度的质疑。更深层次的争议在于OSAID本身，一些重要开源公司对其表示反对，Richard Fontana和Bradley Kuhn等业内人士甚至提倡推迟对开源AI的正式定义，建议进行5到10年的深入研究。目前，选举正在进行中，OSAID的未来走向仍不明朗。
阅读更多
面对严峻的财政挑战，康奈尔大学宣布暂停招聘，以应对联邦研究经费可能大幅削减以及税收立法影响捐赠收入等问题。该暂停将优先考虑对大学核心任务至关重要的职位，所有招聘都需要经过严格的审查流程。大学将成立一个中央职位控制委员会来评估员工职位，教职员工招聘则需与院长和教务长协商。此举旨在确保大学在未来更复杂的经济环境中持续发展，并维持其在教育、研究和服务方面的核心使命。
阅读更多
Arch Linux的ArchWiki以其高质量文档闻名Linux社区。DebConf25上，ArchWiki维护者分享了其成功的经验，包括内容策略、贡献指南和社区管理。ArchWiki使用MediaWiki，其优势在于全面、高质量和最新的内容，但同时也面临着MediaWiki标记语言复杂、贡献门槛高等挑战。未来，ArchWiki计划改进社区参与、开发更多编辑工具，并谨慎利用AI技术，以应对AI生成内容和爬虫带来的威胁。此次分享也激励了Debian项目对其维基进行改版，采用了MediaWiki。
阅读更多
Trail of Bits团队对PyPI后端Warehouse的测试套件进行了优化，将执行时间从163秒缩短到30秒，测试数量从3900个增加到4700多个。他们通过以下方法实现了81%的性能提升：使用pytest-xdist并行化测试执行；利用Python 3.12的sys.monitoring进行更高效的覆盖率检测；优化测试发现；消除不必要的导入。这些优化方法对许多Python项目都适用，特别是那些测试套件不断增长并成为开发瓶颈的项目。
阅读更多
谷歌即将限制Android应用的侧载，要求开发者注册才能发布应用，引发了关于安全与自由的争议。文章作者认为，虽然银行和游戏公司出于自身利益限制在root设备上运行应用有其合理性，但谷歌此举可能扼杀开源和小型开发者，并质疑其是否真正有效打击诈骗应用。最终，作者提出了多个问题，反思如何在保护用户安全和维护软件自由之间取得平衡。
阅读更多
Ghostty 终端模拟器的 GTK 版本进行了全面重写，这次重写完全拥抱了 Zig 的 GObject 类型系统，并使用 Valgrind 进行了全面的内存检查。这带来了更丰富的功能、更高的稳定性和更好的可维护性。重写过程中，成功地解决了之前由于避开 GObject 类型系统而导致的内存管理问题，并通过使用 GObject 的属性变化通知系统简化了配置重载等任务。Valgrind 检查发现了少量内存问题，大部分与 C API 交互相关，这证明了 Zig 的内存安全特性在大型复杂项目中的有效性。
阅读更多
日产宣布停产其入门级Versa车型的五速手动挡版本，这标志着美国市场上最后一款配备五速手动变速箱的量产车正式退出历史舞台。由于所有Versa车型都在墨西哥生产，并面临25%的进口关税，日产此举旨在削减成本。虽然手动挡Versa的销量占比仅为5%，但这标志着五速手动变速箱时代的终结，一个汽车文化中逐渐消失的元素。尽管对销量影响不大，但这预示着日产将无法再提供低于1.8万美元的车型。
阅读更多
Infisical，一家由Y Combinator、Google和Elad Gil投资的开源安全基础设施平台公司，正在招聘优秀的全栈工程师。他们致力于构建AI时代的开源安全基础设施，涵盖秘密管理、内部PKI、密钥管理和SSH工作流程编排等。公司提供极具竞争力的薪酬和福利，并拥有来自Figma、AWS和Red Hat等公司的优秀团队成员。此次招聘面向精通JavaScript生态系统（特别是React.js、Node.js和TypeScript），且具有强烈责任心和学习热情的工程师。你将参与开发和维护平台功能，拓展Infisical PKI、Infisical SSH和Infisical KMS产品线，并探索将AI应用于秘密管理和更广泛的安全基础设施的新方法。
阅读更多
本文讲述了苹果公司与Mac克隆机厂商之间充满戏剧性的一段历史。从最初的严厉打击到后来的短暂授权，再到最终的彻底放弃，苹果克隆机的故事折射出品牌认同的脆弱以及授权策略的复杂性。文章回顾了众多克隆机厂商，如Unitron、Power Computing和UMAX，以及他们与苹果之间爱恨交织的关系，并分析了苹果克隆机计划失败的原因，最终归结为市场定位模糊、利润冲突和时机选择失误等因素。这篇文章不仅是一部科技史，更是一部关于商业决策和品牌管理的案例研究。
阅读更多
本文介绍了“局部性行为”(LoB) 原则，该原则强调代码单元的行为应该在其自身范围内清晰可见。作者以htmx和jQuery的AJAX请求为例，说明了LoB如何提升代码可维护性。虽然LoB可能与“不要重复自己”(DRY)和“关注点分离”(SoC)等原则冲突，但作者认为，在权衡利弊后，优先考虑LoB能够提升代码的可理解性和可维护性，从而提高软件的质量和可持续性。
阅读更多
一群硬件设计小白，怀揣着“挑战自我”的梦想，毅然决然地选择了构建一个TPU。他们摒弃了查阅资料的捷径，坚持“先尝试最笨的方法”，从理解神经网络的数学原理开始，一步步搭建起基于 systolic array 的矩阵乘法单元，并巧妙地运用双缓冲、流水线和矢量处理单元等技术，实现了对XOR问题的推理和训练。最终，他们成功构建了一个功能完整的TPU，展现了非凡的创造力和毅力。
阅读更多
一位开发者构建了一个基于Python和Sympy库的交互式数学证明助手，它能够半自动地证明涉及标量函数的渐近估计。该工具模仿Lean证明助手，支持线性算术和对数线性算术，并允许用户通过提供高级策略来引导证明过程。该助手目前以Python交互模式运行，但未来计划添加图形用户界面。开发者计划扩展该工具以处理更广泛的数学任务，例如函数空间范数的估计。
阅读更多
据美联社报道，叙利亚反对派武装在短短十天内迅速推进，攻入首都大马士革，结束了阿萨德家族长达50年的统治。叙利亚国家电视台发布声明称，总统巴沙尔·阿萨德已被推翻，所有被拘留者均已获释。反对派作战室呼吁所有武装人员和公民保护“自由叙利亚国家”的国家机构。叙利亚人权观察站负责人称，阿萨德已逃离叙利亚，去向不明。叙利亚总理贾拉利表示政府愿意与反对派进行对话，并将权力移交给过渡政府。大马士革民众涌上街头庆祝，一些地区甚至鸣枪庆祝。反对派武装还宣布攻入了臭名昭著的赛德纳亚军事监狱并“解放”了囚犯。此前，反对派武装已控制了霍姆斯、阿勒颇和哈马等重要城市。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/3919716/mswindows2_2040.0.jpg)
2025年，微软将停止对Windows 10的支持，并大力推广Windows 11。微软将2025年定位为“Windows 11 PC焕新之年”，并认为升级到Windows 11比购买新电视或手机更重要。虽然微软在2024年已多次提示用户升级，但Win11的普及率仍然落后于Win10。微软在CES 2025上并未设立展位，但其影响力依然存在，许多合作伙伴将在其产品中集成Windows 11和Copilot AI助手。微软还将提供付费的扩展安全更新，为用户提供额外的Win10支持，但其最终目标仍然是推动Win11的普及。
阅读更多
一项令人震惊的研究表明，利用GPT-4o和Claude 3.5 Sonnet等大型语言模型进行AI spear phishing攻击的成功率高达50%以上，远超人工攻击和普通钓鱼邮件。研究人员通过AI自动收集目标信息，生成高度个性化的钓鱼邮件，成本降低了50倍。这项研究不仅揭示了AI在网络安全领域的巨大风险，也凸显了现有安全防护措施的不足，为未来网络安全防御带来了新的挑战。
阅读更多
DeskHog是一款袖珍型游戏机，采用ESP32-S3 Reverse TFT Feather，并配备240x135彩色TFT显示屏、10小时电池续航、WiFi和LED指示灯。它不仅能运行Pong和Flappy Bird等经典游戏，未来还将支持Doom等大型游戏。此外，它还可作为PostHog数据的桌面终端，并设有I²C扩展端口，方便用户扩展功能。DeskHog是一款兼具娱乐性和实用性的便携式设备。
阅读更多
作者分享了其在性能优化方面的经验，强调了计算机行业对性能优化重视不足的现状。作者通过自研工具，成功将Uber应用启动速度提升30%，Android UI显示速度提升3倍，以及Lucene运行速度提升11%。这些成果的取得源于对代码中缓慢部分、粗粒度同步块以及动态方法调度的优化。作者认为，由于行业利益相关者的共同作用，很多性能优化潜力被白白浪费，并希望更多人关注性能优化领域。
阅读更多
一项新的研究利用RAMIP模拟，量化了东亚近十年来空气污染物减排对气候变化的影响。研究发现，东亚二氧化硫排放量减少20 Tg/年，导致全球平均气温升高0.07 ± 0.05 °C，并对北太平洋地区造成了显著的增温效应。模拟结果与MODIS观测到的气溶胶光学厚度变化相符，表明RAMIP模拟能够有效地捕捉到实际减排的影响。研究还指出，甲烷浓度增加和航运减排等其他因素也可能对全球变暖有所贡献，但东亚的减排对近十年来全球变暖速率的加快起到了显著作用。
阅读更多
该项目使用Xilinx 7系列FPGA的PCIE_2_1硬块和GTP收发器实现了PCIe端点，无需专有Vivado IP核，兼容openXC7。设计包含时钟生成模块、GTP收发器和PCIE_2_1硬块，支持PCIe Gen1 x1和Gen2 x1，并在Alinx AC7100B SoM和Wavelet uSDR上进行了测试。项目提供Docker构建和运行脚本，并支持MSI中断和内核驱动。该项目由NGI0 Entrust资助。
阅读更多