83岁的C语言之父Brian Kernighan近日在一次访谈中，分享了他对Rust编程语言的看法。他表示自己只写过一个Rust程序，就觉得它“痛苦且难以理解”，并批评了其性能和复杂性。Kernighan认为Rust的内存安全机制以及“crates和barrels”等概念过于复杂，编译速度和代码运行速度都比较慢。尽管承认自己可能过于悲观，但他认为Rust短期内无法取代C语言。访谈中他还谈到了自己对Linux发行版、HolyC语言以及软件行业现状的看法，并鼓励年轻一代程序员追求兴趣，选择自己热爱的领域。
阅读更多
Let's Encrypt 宣布将于 2025 年推出两种新的证书选项：6 天有效期的短生命周期证书和支持 IP 地址的证书。短生命周期证书显著提高安全性，因为它们减少了被利用的风险窗口。IP 地址支持允许通过 IP 地址访问的服务使用公共信任的证书建立安全的 TLS 连接。该计划分阶段实施，预计在 2025 年底全面推出。用户需要使用支持 ACME 证书配置文件的客户端来获取短生命周期证书。
阅读更多
科罗拉多大学博尔德分校和国家标准与技术研究所（NIST）的物理学家团队开发了一种新型激光设备，能够精确识别各种气体样本中的分子，灵敏度高达万亿分之一。这项技术基于频率梳激光，通过在光学腔内多次反射光束来增强检测信号，克服了传统方法的局限性。该设备应用广泛，从诊断疾病到监测温室气体排放，都有巨大潜力。目前，研究团队正将其应用于人体呼气样本分析，以期用于诊断肺癌、糖尿病等疾病。
阅读更多
本文比较了 Astro 和 React Server Components (RSC) 两种构建高性能网站的方法。Astro 使用 Astro Components (服务器端组件) 和 Client Islands (客户端组件) 的架构，两者之间数据单向流动，前者负责预处理，后者负责交互。RSC 则使用 Server Components 和 Client Components，概念类似，但两者都是 React 组件，通过 `'use client'` 指令区分。RSC 更加灵活，允许组件在服务器端和客户端共享，但学习曲线更陡峭。Astro 的易用性更高，但在大规模应用时可能受限于其 HTML 输出格式和组件间交互的限制。选择哪种方案取决于项目需求和团队的技术栈。
阅读更多
本文探讨了 Kolmogorov-Arnold 网络 (KANs) 与多层感知器 (MLPs) 的哲学差异。作者认为，虽然两者具有相同的表达能力，但在优化、泛化和可解释性等方面存在差异。KANs 更符合还原论，而 MLPs 更符合整体论。作者认为，由于科学研究通常基于还原论，KANs 可能更适合建模科学现象，例如编译符号公式。然而，作者也强调了经验实验的重要性，并承认 KANs 可能在某些非科学任务上表现不佳。
阅读更多
来自中国南方科技大学的研究人员开发了一个名为Asterinas的新型Linux内核，它使用Rust语言并采用“framekernel”架构。该架构结合了单内核和微内核的优点，将需要使用Rust不安全特性的代码封装在一个库中，其余内核服务则使用安全抽象开发。这提高了内核安全性，同时保留了单内核的高性能。Asterinas的目标是创建一个具有小型可形式化验证的TCB的系统，同时具有Linux ABI兼容性和简单的共享内存架构。目前，Asterinas支持x86和RISC-V架构，并正在积极开发中，未来计划扩展对更多架构的支持，并将其应用于云计算领域。
阅读更多
夜空中，一轮明月引人入胜，手机和天文望远镜都能拍摄，但效果差异巨大。本文作者使用三星S25手机和Seestar S50智能天文望远镜拍摄同一轮明月，并进行了对比。结果显示，手机拍摄的月球照片已足够清晰，能分辨主要月海和陨石坑，但Seestar S50望远镜拍摄的照片细节更丰富，展现了更清晰的陨石坑和表面纹理。这主要是因为望远镜拥有更大的光圈、稳定性和跟踪功能以及专业的镜头。结论是：手机摄影已足够分享，但追求极致细节的摄影爱好者，天文望远镜仍是最佳选择。
阅读更多
人力资源管理和商业解决方案领导者 Employer.com 宣布收购小型企业簿记服务提供商 Bench Accounting。此次收购确保 Bench 客户可以继续获得相同的高质量服务，并通过 Employer.com 的资源获得未来增强和功能。Employer.com 致力于为小企业提供蓬勃发展的工具和支持，Bench 在财务管理方面的专业知识与这一使命完美契合。此次收购对双方来说都是双赢，Employer.com 将 Bench 的技术和专业知识整合到其平台中，为发展中的企业提供量身定制的服务组合，Bench 的客户将继续与他们信任的内部簿记员合作，并保持对 Bench 平台的完全访问权限。
阅读更多
美国少年网红Ethan Guo为筹款进行癌症研究，计划独自飞越七大洲，却因在南极洲非法降落而受困。他向智利当局提供了虚假的飞行计划，最终被指控提供虚假信息和未经授权降落。经过协商，他同意捐款3万美元给儿童癌症基金会，并被禁止三年内再次进入智利，从而避免了审判。目前，他仍在等待离开南极的批准，希望能够继续他的环球飞行之旅。
阅读更多
作者尝试用一种新方法评估地形的可用性，即计算地形的坡度变化率。他利用USGS提供的DEM数据，通过OpenCV的拉普拉斯算子计算图像像素变化率，以此反映地形坡度变化。然后，使用滑动窗口计算区域平均值，并设置阈值，生成一个二元“可用性”地图，最终发现这实际上是一个复杂的降采样方法。
阅读更多
支付应用Zelle宣布将于周二关闭其独立应用程序。尽管拥有超过1.5亿用户，但只有2%的用户使用其独立App进行点对点支付，因此Zelle决定停止维护独立App，用户需通过银行等金融机构重新注册使用。Zelle自2017年推出以来，凭借与银行的合作，实现了即时转账且无需额外手续费，在2024年处理了1万亿美元的支付，超过其他任何支付应用。这主要得益于其在较大额支付（如租金）方面的应用，与侧重社交用途的Venmo形成对比。
阅读更多
谷歌的站点可靠性工程（SRE）团队在过去25年中经历了巨大的演变。最初依赖于服务等级目标（SLO）、错误预算和隔离策略等方法，但面对日益复杂的系统和新兴挑战，谷歌SRE团队转向了系统理论和控制理论，采用了STAMP框架。STAMP框架将重点从防止单个组件故障转移到理解和管理复杂的系统交互。通过一个真实的案例研究，文章阐述了STAMP如何帮助谷歌预防系统级故障，并探讨了其在整个科技行业中的未来应用。
阅读更多
Chord Nebula是一款在线钢琴和弦学习游戏。玩家可以选择MIDI键盘和调式（大调或小调），学习和练习各种钢琴和弦及常用和弦进行。游戏包含记分机制和生命值设定，增添趣味性。
阅读更多
Fiverr发布了一则新广告，以诙谐的方式回应了AI“氛围代码”（vibe coding）的兴起。广告用一只被压扁的鳄梨象征着AI代码生成的局限性——看似完美，实则内在缺陷，最终需要人类专业人士来完善。Fiverr强调，虽然AI降低了编程门槛，但将创意项目从demo变成最终产品，仍离不开人类的创意和专业技能。这则广告是Fiverr对之前争议性广告的回应，旨在强调AI与人类协作的重要性，并重塑其品牌形象。
阅读更多
Airweave 是一款能让你的AI代理进行语义搜索任何应用程序的工具。它兼容MCP，并能无缝连接任何应用程序、数据库或API，将它们的内容转换为代理可用的知识。无论你的数据是结构化还是非结构化，Airweave都能帮你将其分解成可处理的实体，存储数据并通过REST和MCP端点进行检索。它支持多种数据源，并具有实体提取、转换管道、多租户架构、增量更新、语义搜索等功能。后端使用FastAPI (Python)，数据库使用PostgreSQL和Qdrant，并支持Docker Compose和Kubernetes部署。
阅读更多
美国司法部在特朗普政府的指示下，立即关闭了专门调查加密货币诈骗的国家加密货币执法小组（NCET）。这一举动是特朗普政府缩减白领和金融犯罪执法力度的举措之一，旨在将资源转移到打击毒品走私和与移民相关的偷渡活动上。尽管特朗普政府声称要打击利用加密货币进行非法活动的犯罪分子和腐败政权，但此举引发了专家对关键资源被转移的担忧。特朗普政府认为，司法部不应充当数字资产监管机构，而是应将调查重点放在那些利用加密货币从事恐怖主义、贩毒等犯罪活动的个人和组织上。
阅读更多
一项发表在《柳叶刀·行星健康》杂志上的最新研究表明，长期暴露于空气污染（PM2.5、二氧化氮和烟尘）会显著增加患痴呆症的风险。研究人员对超过2900万参与者的数据进行荟萃分析后发现，PM2.5每增加10μg/m³，痴呆症风险增加17%；二氧化氮每增加10μg/m³，风险增加3%；烟尘每增加1μg/m³，风险增加13%。该研究强调了控制空气污染对公共健康的重要性，呼吁城市规划、交通政策和环境法规等多方协同努力预防痴呆症。
阅读更多
长期以来，大型文件一直是 Git 的痛点。Git LFS 作为一种解决方案，却带来了新的复杂性和成本。然而，Git 本身正在逐步解决这个问题。最新的 Git 版本引入了部分克隆功能，它与 Git LFS 提供相同的好处，例如快速克隆和小型检出，但无需额外的工具或服务器端成本。更令人兴奋的是，Git 的大型对象承诺者功能正在开发中，未来有望彻底取代 Git LFS，让大型文件管理更加便捷高效，无需再为大型文件而烦恼。
阅读更多
Graphite是一款免费开源的矢量和光栅图形引擎，目前处于alpha阶段。它结合了基于图层的合成和基于节点的生成式设计，提供完全无损的编辑工作流程。Graphite不仅仅是一个矢量编辑器，它更像一个游戏引擎，集成了各种功能，涵盖照片编辑、动态图形、数字绘画、桌面出版和视觉特效合成等。它欢迎图形程序员和Rust开发者贡献代码，并通过捐赠支持项目发展。Graphite的目标是成为一个业界标准的综合艺术和设计工具，为所有艺术家提供便捷的创作体验。
阅读更多
Cognition 宣布 Devin 正式发布，面向工程团队，起价为每月 500 美元。Devin 可用于各种任务，但尤其擅长处理小型前端错误、创建 PR 初稿、进行代码重构等。它通过 Slack、IDE 扩展和 API 集成，并提供支持。文章列举了 Devin 在多个开源项目（如 Anthropic MCP、Zod、Google Go Github client 等）中的实际应用案例，展示了其解决问题和编写测试的能力。
阅读更多
研究人员发现了一个名为`truffelvscode`的恶意VS Code扩展程序，它模仿了流行的`truffle`扩展程序。该恶意程序是一个多阶段恶意软件的“特洛伊木马”，通过下载和执行多个阶段的恶意代码，最终安装并配置ScreenConnect远程访问工具，从而使攻击者能够远程控制受感染的系统。攻击者使用了代码混淆技术来隐藏恶意代码，但研究人员通过反混淆技术和沙箱分析揭露了整个攻击链。此事件强调了在安装VS Code扩展程序时谨慎的重要性，并突出了软件供应链攻击日益增长的威胁。
阅读更多
OpenAI最初计划转型为营利性组织，但在听取了各方意见后，最终决定其非营利部门将继续控制其营利性部门。非营利组织将成为公共利益公司的控股股东，继续监督和控制OpenAI。这一决定源于与加州和特拉华州总检察长办公室的对话，以及来自包括埃隆·马斯克在内的各方的反对声音。尽管OpenAI曾表示转型是为了筹集资金，但此举面临诸多质疑，包括其是否会损害其最初的非营利使命。OpenAI CEO山姆·阿尔特曼表示，公司未来可能需要数万亿美元来实现其目标。
阅读更多
Tirreno是一款开源的安全用户分析软件，用于监控各种在线平台，包括网站、应用程序、SaaS、社区和物联网设备。它能够检测并防御账户接管、恶意机器人以及用户行为导致的常见漏洞。Tirreno基于PHP和PostgreSQL，易于安装和使用，提供实时分析。此外，付费订阅服务提供额外的IP地址、邮箱和电话号码信息验证功能，增强其反欺诈能力。Tirreno由Tirreno Technologies Sàrl开发，注重隐私和数据安全，代码已开源，但商标未开源。
阅读更多
作者从学习ActionScript开始，一直对底层语言望而生畏，尤其对机器码感到恐惧。但为了突破瓶颈，他毅然开始学习ARM 64位汇编，发现机器码并非想象中那么可怕。文章通过讲解指令、寄存器和内存三个核心概念，并以ARM和x86-64架构为例，逐步揭示机器码的工作原理。作者指出，机器码指令本质上只是数字，通过不同的编码方式（例如ARM的add指令和x86的REX、ModR/M等）来完成各种操作。虽然细节繁琐，但理解这些底层原理能提升编程能力，消除对低级编程的恐惧。
阅读更多
这是一本关于数字滤波器及其在音频应用中使用的综合性教程。从最简单的低通滤波器开始，逐步介绍了滤波器的理论基础、设计方法和实现技术，涵盖了线性时不变滤波器、有限脉冲响应（FIR）滤波器、无限脉冲响应（IIR）滤波器、以及各种滤波器结构和实现方法。书中还包含了大量的Matlab和Faust代码示例，以及丰富的音频应用案例，适合数字信号处理和音频工程领域的学习者和研究者阅读。
阅读更多
近日，有用户报告称安装8月Windows 11 24H2安全更新后，SSD和HDD出现故障和数据损坏。微软经过调查后否认了更新与硬盘故障之间的联系，但建议硬盘已满60%以上的用户避免写入大型文件，并与存储设备厂商合作调查问题。部分用户报告称，Corsair、SanDisk、Kioxia等品牌的硬盘受影响，且问题主要出现在写入大量数据时。虽然有些硬盘重启后恢复，但有些则无法访问。
阅读更多
智利的维拉·鲁宾天文台发布了首张图像，令人震惊地发现了2104颗之前未知的小行星，其中7颗为近地小行星。这相当于超过了过去200年人类发现的所有小行星数量的五倍。该天文台配备了世界上最大的数码相机，能够每三天拍摄一次南天的巨幅高分辨率图像，并能将小行星的运动记录成“电影”，这对于行星防御至关重要，有助于更好地研究小行星的运动，并及时发现潜在威胁。
阅读更多
OpenAI最新模型o3在François Chollet设计的ARC-AGI测试中取得了87%的惊人成绩，首次达到人类水平，引发了关于AGI（通用人工智能）是否已实现的热议。然而，Chollet很快推出了更难的ARC-AGI-2测试，o3的得分大幅下降，再次挑战了业界对AGI的定义和衡量标准。这篇文章探讨了不同观点，以及AGI的定义与商业利益之间的复杂关系，引发了对通用人工智能本质的深刻思考。
阅读更多
Anthropic 推出了升级版 Claude 3.7，它与传统的基于大型语言模型（LLM）的 AI 不同，更注重推理能力。Claude 3.7 通过强化学习，学习逐步推理解决问题，尤其擅长解决需要分步思考的编程问题，在一些基准测试中甚至超越了 OpenAI 的模型。这种进步源于 Anthropic 收集的额外训练数据，以及针对商业应用（如代码编写、法律问题解答）的优化。Claude Code 的发布进一步提升了其在 AI 辅助编程领域的实用性，为复杂的代码规划提供更强大的支持。
阅读更多