本文探讨了eBPF技术在提高计算机系统稳定性方面的巨大潜力。文章以“黑色星期五”事件——一起由软件更新导致的全球范围内的计算机系统崩溃——为引,阐述了传统内核编程的风险,并介绍了eBPF作为一种安全的内核执行环境如何通过代码验证和沙盒机制来防止类似事件的发生。此外,文章还强调了eBPF在安全领域之外的应用,例如网络和可观察性,并呼吁更多企业采用eBPF技术,共同构建更加安全的未来。
微软声称,欧盟法规导致其无法进行安全更改,从而阻止了 CrowdStrike 更新,进而引发了全球最大的 IT 故障。CrowdStrike 的 Falcon 系统故障导致数百万台 Windows 计算机和服务器无法加载,导致航班取消、非接触式支付无法使用以及医疗服务中断。微软在 2009 年与欧盟委员会达成协议,允许多个安全提供商在内核级别安装软件,这导致其无法像苹果那样阻止对内核的访问。
这篇文章收集了大量 Bash 单行命令和终端技巧,用于数据处理和 Linux 系统维护,涵盖了变量操作、数学运算、文本处理、文件操作、系统管理、硬件信息、网络配置等方面,并提供了一些有用的工具和技巧。
文章批评了现代网页开发过度依赖JavaScript框架和库的现状,尤其是React。作者认为这种过度依赖导致代码臃肿、性能低下、依赖管理混乱等问题,并以React、Webpack、Electron等为例证说明。作者建议开发者回归简洁,尽可能使用原生JavaScript或更轻量级的框架,并推荐了SvelteKit和Blazor等工具。
std::monostate 是 C++17 中引入的一种类型,它没有任何成员,所有实例都被认为是相等的,其作用是一个占位符类型,用于表示不需要任何值的状态。例如,在 std::variant 中,可以使用 std::monostate 作为初始类型,使其能够在空状态下进行默认构造。
本文介绍了一种利用图像中直线来估计和校正广角镜头畸变的方法。文章首先介绍了简单的径向畸变模型,然后详细讲解了如何使用Canny边缘检测、改进的Hough变换以及迭代优化算法来估计畸变参数。文章还讨论了如何将该方法得到的畸变模型与OpenCV库中的畸变模型进行匹配,以便在实际应用中更方便地使用。
一项针对一对异卵双胞胎女孩的突破性试验表明,严重的 自闭症 可以被逆转,症状可以减少到难以区分的程度。通过为期两年的定制干预计划,包括行为分析、语言治疗和严格的无麸质饮食和营养方案,其中一个女孩的症状完全逆转,另一个女孩也取得了显著进步。这项研究表明,自闭症并非不可逆转,为自闭症治疗带来了新的希望。
BillaBear是一款与Stripe深度集成的账单管理软件,提供强大的税务系统、自动化工作流程和品牌定制等功能,旨在帮助企业全面掌控账单、订阅、税务和品牌,提高运营效率。
开源媒体系统Jellyfin项目负责人发布公告,称项目目前资金充足,运营资金可以维持三年以上,呼吁用户暂时停止捐赠。建议用户将资金捐赠给客户端开发者,因为客户端开发维护难度大,开发者通常是个人或小型团队,并且即将面临API变更带来的挑战。
美国法院裁定Booking.com未经授权访问瑞安航空网站部分内容,违反了《计算机欺诈和滥用法案》。瑞安航空表示,该裁决将有助于终止预订网站未经授权的屏幕抓取行为。瑞安航空近年来对未经授权转售其机票的第三方预订平台提起了一系列法律诉讼,称这些公司使用屏幕抓取软件查找和转售机票,增加了额外费用,并使航空公司难以联系乘客。
本文是作者Sonny卸任GNOME基金会董事后的回顾。作者在任期内提出了去中心化GUADEC和开发资金两项建议,并已得到实施。作者还积极参与社区建设和解决冲突,并为基金会提供支持。作者希望GNOME未来能够解决功能障碍和冲突,为每个人创造更健康的环境。
Eza 是对 Unix 和 Linux 系统中 ls 命令的现代替代品,提供更多功能和更优的默认设置。它使用颜色区分文件类型和元数据,支持符号链接、扩展属性和 Git,并且体积小、速度快,只有一个二进制文件。Eza 致力于成为功能更丰富、用户体验更友好的 ls 版本。
orch是一个用于构建由语言模型驱动的应用程序和代理的Rust库,它主要用于magic-cli,但也适用于其他场景。它提供了文本生成、流式文本生成、结构化数据生成和嵌入生成等功能,并支持使用Ollama作为语言模型。
这部纪录片剧集讲述了音乐行业如何从销售高价CD到濒临崩溃的历程。其中揭示了MP3技术的发明者并非推动其普及的主力,而是青少年将其用于盗版音乐文件。该片深入探讨了一群盗版者如何通过内部人士获取最新专辑和单曲,并展示了个人如何颠覆整个行业的可能性。
本文探讨了单页应用中数据获取的常见问题和模式,特别是在 React 中。文章以一个应用程序为例,逐步介绍了异步状态处理器、并发数据获取、回退标记、代码拆分和预取等模式,解释了每种模式的实现方式、优缺点以及适用场景。文章强调了这些模式并非 React 独有,可以应用于其他前端框架,并鼓励开发者根据项目需求选择合适的模式组合,以提升应用性能和用户体验。
postmarketOS 在2024年7月发布了重要更新,包括全新设计的主页、更易维护和性能更高的pmbootstrap v3、新增对8款设备的支持以及传感器、libcamera等方面的改进。团队还优化了审批流程,并获得了NGI Zero Core的资金支持。未来计划默认使用PipeWire、推进systemd相关工作,并将在多个活动上亮相。
文章探讨了在静态类型语言中,应该优先使用解析而非验证的编程理念。作者认为,解析可以将数据转化为更精确的类型,并在类型系统中保留这些信息,从而尽早发现错误,提高代码的可靠性。而验证则只是简单地检查数据是否符合预期,无法有效利用类型系统提供的安全性。文章以 NonEmpty 类型为例,详细说明了如何使用解析来处理空列表问题,并进一步探讨了解析在处理外部数据、避免代码冗余、提高代码可维护性等方面的优势。
全球关键系统因CrowdStrike一家公司的错误而崩溃,银行、航空公司和医疗保健系统受到严重影响,这可能是历史上最严重的信息技术灾难。作者认为,这不是不可预见的意外,而是过度互联优化而非去中心化弹性的必然结果。现代社会系统过度依赖少数公司和软件,缺乏冗余和容错机制。作者呼吁,为了避免更大的灾难,社会系统需要在效率和弹性之间取得平衡,通过分散风险、加强监管和增加冗余来提高抗风险能力。
继上周导致大量Windows电脑宕机后,安全公司CrowdStrike的Falcon Sensor软件也被曝出引发Linux系统崩溃。红帽公司在6月就曾警告其客户,称在启动Red Hat Enterprise Linux 9.4时,Falcon Sensor进程会导致内核崩溃。该问题波及版本6和7,并可能影响Debian和Rocky Linux系统。CrowdStrike尚未对此事作出回应。
美国洛杉矶县高级法院遭受勒索软件攻击,导致其计算机系统瘫痪。该法院是美国最大的审判法院,服务于该县1000万居民。此次攻击始于周五凌晨,与近期影响全球航空公司、医院和政府部门的CrowdStrike软件更新故障无关。初步调查显示,没有证据表明用户数据遭到泄露。
Jiff 是一个 Rust 的日期时间库,专注于提供难以误用且性能合理的 datetime 原语。Jiff 支持与时区数据库的自动无缝集成,支持时区感知的算术和舍入,无损格式化和解析时区感知的日期时间,可选的 Serde 支持等等。Jiff 从 Temporal 中获得了巨大的灵感,Temporal 是一个改进 JavaScript 中日期时间处理的 TC39 提案。
天文学家利用脉冲星发出的极其稳定的光线来计时和观测引力波,但有时会观测到这些脉冲的轻微延迟。研究人员认为,这可能是由于巨大的不可见质量体从脉冲星前面经过造成的。这些质量体的确切性质尚不清楚,可能是褐矮星、白矮星或其他天体,甚至可能是暗物质。
TinkerBird 是一款基于 Chrome 的原生向量数据库,旨在高效存储和检索高维向量(嵌入)。它使用 TypeScript 编写,利用 HNSW(分层可导航小世界)索引进行快速向量检索,并使用 IndexedDB 进行存储。TinkerBird 可以帮助大型语言模型(LLM)克服幻觉问题,通过提供相关上下文来改善 LLM 响应的准确性,并最大程度地减少无关标记产生的计算成本。
美国能源部研发了一种名为"Atlas"的多节车厢铁路运输系统,用于安全运输乏核燃料。Atlas历经十年研发,耗资3300万美元,已通过美国铁路协会认证,可承载超过200吨的乏核燃料,并配备先进的实时监控系统,提升了运输安全性和效率。Atlas的投入使用将有助于解决美国日益增长的乏核燃料存储问题,并将用于将乏核燃料运输到未来的储存设施。
rrweb是一个开源的web会话回放库,它提供了简单易用的API来记录用户的交互并远程回放。rrweb可以用于用户分析、错误重现、web演示和实时协作等多种场景,并被众多知名公司所使用。
Cosmopolitan v3.5.8 版本已发布,该版本包含多线程改进、ctype.h 和 wctype.h 错误修复、以及对最新 superconfigure 的升级。此外,还开始为 APE 编写正式规范。
Even Realities发布了新款现实增强眼镜G1,产品主打时尚外观和丰富功能,将于8月开始发货。G1眼镜采用经典镜框设计,搭载无螺丝铰链,并使用镁合金、砂岩、钛合金和硅胶等材质打造,轻便舒适。G1眼镜配备数字表面透镜技术,支持处方镜片定制,并提供UltraFit超个性化定制服务。G1眼镜还具备快速笔记、翻译、导航、提词器和AI通知等功能,续航时间长达一整天。
文章探讨了编译器如何识别代码中的复杂模式并将其优化为更高效的指令。文中以计算一个数中二进制1的个数的函数`popcount`为例,指出编译器通常会将特定的代码模式与已知的算法实现进行硬编码匹配,以便将其替换为相应的汇编指令,例如`popcnt`。这种方法虽然简单,但效率很高,并且可以被应用于识别其他常见的代码模式。
这篇文章深入探讨了 Rust 异步生态系统中的基础构建块 Pin。作者首先阐述了 Pin 的作用:防止自引用类型在移动时导致的内存安全问题。接着,作者详细解释了 Pin 的设计理念,包括其前身 Move trait 的局限性以及 Pin 如何通过包装指针和引入 Unpin trait 来解决这些问题。文章还分析了 Pin 的可用性问题,例如重新借用、特殊 API 和 Pinned projections 等方面,并指出了这些问题源于 Pin 作为一个纯粹的库类型缺乏语言层面的语法支持。最后,作者展望了改进 Pin 的方向,即引入 Pinned places 的概念。
麻省理工学院和其他机构的研究人员开发了一种新的机器学习框架,可以比其他基于人工智能的技术快1000倍的速度预测声子色散关系,且精度相当甚至更好。该方法可以帮助工程师设计更高效的发电系统和更快的微电子器件。