小红花·文摘
  • 首页
  • AI Tokens🪙
  • 排行榜🏆
  • 直播
  • FAQ
沉浸式翻译 immersive translate
Dify.AI

形式化验证正从实验室爬进开源仓库,免费给二进制文件写“永不崩溃”的数学证明,可这份证明的边界比宣传窄得多。 2026年10月,Anthropic与Theorem Labs公布了一组数字:123个开源库、239个测试入口点、1.8亿行Rocq证明代码,全部通过机器检查。这些库此前在Google OSS-Fuzz上累计跑过数万亿次

形式化验证闯入开源:1.8亿行证明挡住系统崩溃?

极道 极道 · 2026-10-23T10:00:00Z
微软确认已通过最新更新修复Windows 11 AC-3解码引起的游戏和应用崩溃问题

微软确认9月22日发布的预览更新KB5124010破坏了Windows 11内置AC-3杜比数字音频解码器,导致调用该解码器的旧版应用、媒体播放器和部分游戏出现启动失败或运行中崩溃。10月更新KB5127648已修复此问题,适用于24H2/25H2/26H2版,安装最新更新即可;未安装预览更新的用户不受影响。

微软确认已通过最新更新修复Windows 11 AC-3解码引起的游戏和应用崩溃问题

蓝点网 蓝点网 · 2026-10-20T07:30:59Z
Android端WebRTC实时美颜落地:从崩溃到高低配机型兼容

安卓WebRTC推流系统需增加实时美颜,兼顾低端与旗舰机型,且本地预览与远端效果一致。因官方VideoProcessor底层纹理校验不可行,改为在采集端做GL美颜,经glReadPixels回读、libyuv转I420后交给LiveKit。实现需注意帧引用计数配对、忙时丢帧、预览切主线程及矩阵转换。低端机采用轻量磨皮并自动降档,实测稳定,代价是GPU回读开销。

Android端WebRTC实时美颜落地:从崩溃到高低配机型兼容

实时互动网 实时互动网 · 2026-10-19T03:46:17Z
Sentry 的 Flutter SDK 10.0:流式追踪与更准确的崩溃率统计

Sentry JavaScript SDK v11 为所有 JS 平台引入追踪,以源码转换和诊断通道取代 OpenTelemetry 的 Node 模块加载器,支持 Cloudflare Workers、Bun、Deno 及打包部署。Unreal MCP 让编码代理驱动 UE5.8 编辑器,自动配置 Sentry、上传调试符号并定位崩溃。文章还比较了 Seer、Sentry MCP、CLI 与编码代理的适用场景。

Sentry 的 Flutter SDK 10.0:流式追踪与更准确的崩溃率统计

Sentry Blog Sentry Blog · 2026-10-14T09:00:00Z
[下载] 英伟达向Linux推出595.104.02版显卡驱动 修复HDR崩溃和显存分页分配失败

英伟达发布Linux驱动595.104.02维护版,修复Wayland下HDR元数据未校验导致的崩溃,以及GPU页表超2GiB时显存分页分配失败的问题,无新功能。需新功能可安装615.71.09功能分支版。

[下载] 英伟达向Linux推出595.104.02版显卡驱动 修复HDR崩溃和显存分页分配失败

蓝点网 蓝点网 · 2026-09-24T06:30:01Z
继Excel复制粘贴和公式异常后 微软确认Word使用模版创建文档时也会发生崩溃

微软确认,在Microsoft 365 2608版中,使用第三方文档或模板管理应用从模板生成并填充文档时Word会崩溃,影响自动化工作流。Word团队正在调查,暂无临时解决方案,建议改用内置模板或从正常设备传输模板文件。此前Excel的202609更新也导致公式计算和复制粘贴异常,尚未修复。

继Excel复制粘贴和公式异常后 微软确认Word使用模版创建文档时也会发生崩溃

蓝点网 蓝点网 · 2026-09-16T05:45:36Z
轻糖的 KMP 实战:一次冷启动 3 秒必现崩溃,与 viewModelScope 异常逃逸的代价

轻糖iOS版冷启动3秒必现崩溃,根因是共享层ViewModel的Flow订阅异常未捕获,在Kotlin/Native上触发SIGABRT。修复方案是在每个订阅外层加try/catch,CancellationException需rethrow,异常记日志并写入UiState。沉淀三条军规:订阅必须兜底、取消异常优先处理、异常只进日志和UiState。

轻糖的 KMP 实战:一次冷启动 3 秒必现崩溃,与 viewModelScope 异常逃逸的代价

ISLAND ISLAND · 2026-09-05T16:00:00Z
微软正在调查Windows 11 8月更新带来的游戏问题 诸多游戏发生异常崩溃

微软正在调查Windows 11 24H2/25H2安装8月更新后出现的游戏问题,包括画面异常、卡顿、崩溃及系统重启。该更新修复了400个安全漏洞并加强了内核句柄验证,可能影响依赖宽松验证规则的游戏。目前尚无明确结果,玩家可临时卸载更新。

微软正在调查Windows 11 8月更新带来的游戏问题 诸多游戏发生异常崩溃

蓝点网 蓝点网 · 2026-08-21T01:00:43Z
微软发布更新修复Microsoft Defender扫描时发生崩溃 目前更新已自动推送

微软Defender因更新问题导致扫描失败及“威胁服务已停止”提示,非恶意软件攻击。微软已发布1.457.236.0版修复,用户升级或启用自动更新即可解决。

微软发布更新修复Microsoft Defender扫描时发生崩溃 目前更新已自动推送

蓝点网 蓝点网 · 2026-08-20T02:53:56Z

K8s集群因etcd故障无法操作,apiserver报504超时。etcd三节点中仅一个存活,另一节点WAL日志损坏导致重启失败。恢复方案:若其他两节点健康,移除坏节点并重新加入;若全部故障,用快照恢复。建议先备份数据,检查其他节点状态,再按场景操作。

K8s etcd 集群崩溃异常恢复

安志合的学习博客 安志合的学习博客 · 2026-08-05T10:25:28Z
虚幻引擎的会话回放:在崩溃发生前预见崩溃

Sentry的Godot Engine SDK 2.0.0版现已全面支持C#/.NET,并引入应用指标功能。文章还探讨了自愈软件的概念,强调代码发布后软件能自我检测、理解并修复问题。此外,Sentry改进了问题分组模型,减少20%重复问题,将错误合并减半,并简化未来升级。

虚幻引擎的会话回放:在崩溃发生前预见崩溃

Sentry Blog Sentry Blog · 2026-07-24T09:00:00Z

混合持久化是Redis的一种机制,通过在AOF重写中嵌入RDB格式,提升数据恢复速度。配置决策树帮助用户选择合适的持久化策略,确保数据在崩溃后的完整性。RPO(恢复点目标)由fsync语义和配置决定,用户需根据需求选择合适的持久化模式。

【Redis / 缓存内核】混合持久化与崩溃语义

土法炼钢兴趣小组的博客 土法炼钢兴趣小组的博客 · 2026-07-13T00:00:00Z
任何苹果更新都可能导致我们的应用崩溃。以下是我们如何首先发现这一点。

文章讨论了如何通过读取代理追踪来做出评估决策,并介绍了选择代理模型时在成本、质量和速度之间的权衡。此外,提到Next.js可以使用OpenTelemetry导出请求追踪,以及Sentry团队如何利用AI快速设置错误报告的重现环境。

任何苹果更新都可能导致我们的应用崩溃。以下是我们如何首先发现这一点。

Sentry Blog Sentry Blog · 2026-07-02T09:00:00Z

许多人误解Postgres中的checkpoint_timeout,认为延长超时时间会导致崩溃后的恢复时间更长。实际上,恢复时间取决于需要重放的WAL记录数量,而非checkpoint_timeout的设置。频繁的检查点会增加写入压力,导致性能下降。建议将checkpoint_timeout设置在15到30分钟之间,以确保检查点由max_wal_size触发,而非超时。

Lætitia AVROT:停止因不会发生的崩溃而惩罚你的Postgres

Planet PostgreSQL Planet PostgreSQL · 2026-06-27T00:00:00Z

本文探讨了MySQL InnoDB的崩溃恢复机制,分析了核心数据结构、关键算法及其与日志系统的关系。崩溃恢复对DML延迟和并发语义有影响,理解相关数据结构和状态机至关重要。建议通过源码和实验进行深入理解,特别是与PostgreSQL的对比学习。

【MySQL InnoDB 内核】崩溃恢复:redo apply 与 undo rollback

土法炼钢兴趣小组的博客 土法炼钢兴趣小组的博客 · 2026-06-18T00:00:00Z

Mozilla Firefox v151.0.2版发布,修复了与搜狗输入法相关的崩溃问题及多个已知错误。建议用户立即更新以避免数据丢失,更新内容包括修复智能卡加载、分屏视图关闭和缓存问题。用户可通过火狐FTP服务器手动下载最新版本。

Mozilla Firefox v151.0.2错误修复版发布 解决使用搜狗输入法时浏览器崩溃

蓝点网 蓝点网 · 2026-05-27T05:03:13Z
使用jcmd进行崩溃后JVM分析

本文介绍了JEP 528的进展,该提案为jcmd工具增加了核心转储和小型转储支持,提升了对崩溃JVM的诊断能力,从而增强了实时和事后分析的一致性。

使用jcmd进行崩溃后JVM分析

insidejava insidejava · 2026-05-16T00:00:00Z
Temporal的崩溃防护工作流引擎迎来3000名付费客户

Temporal是一家位于西雅图的软件公司,专注于保护IT系统,尤其是在处理大型AI工作负载时。其开源Durable Execution框架使代码具备容错能力,能够在崩溃或网络故障后恢复运行。Temporal的客户包括Nvidia和Netflix,用户数量已超过3000名。该平台简化了复杂工作流程,确保业务过程顺利完成,适应现代应用需求。

Temporal的崩溃防护工作流引擎迎来3000名付费客户

The New Stack The New Stack · 2026-05-13T13:48:49Z
记一次 .NET 某智慧工厂视觉程序 崩溃分析 - 一线码农

文章分析了.NET高级调试中的一个崩溃案例,指出崩溃是由于System.Reflection.TargetInvocationException引起的,具体问题出现在RichTextBox控件的回调执行中。作者建议在使用RichTextBox时要谨慎,以避免类似崩溃。

记一次 .NET 某智慧工厂视觉程序 崩溃分析 - 一线码农

一线码农 一线码农 · 2026-05-06T07:48:00Z
丹·克伦肖的崩溃背后

丹·克伦肖曾被视为共和党的未来,但因在社交媒体上的表现不佳而导致政治生涯崩溃。他在2026年初选中失利,归咎于网络谣言和点击诱饵。尽管曾在社交媒体上有影响力,但未能适应变化的网络环境,最终被年轻的极端派影响者超越。

丹·克伦肖的崩溃背后

The Verge The Verge · 2026-04-22T12:00:00Z
  • <<
  • <
  • 1 (current)
  • 2
  • 3
  • >
  • >>
👤 个人中心
在公众号发送验证码完成验证
登录验证
在本设备完成一次验证即可继续使用

完成下面两步后,将自动完成登录并继续当前操作。

1 关注公众号
小红花技术领袖公众号二维码
小红花技术领袖
如果当前 App 无法识别二维码,请在微信搜索并关注该公众号
2 发送验证码
在公众号对话中发送下面 4 位验证码
小红花技术领袖俱乐部
小红花·文摘:汇聚分发优质内容
小红花技术领袖俱乐部
Copyright © 2021-
粤ICP备2022094092号-1
公众号 小红花技术领袖俱乐部公众号二维码
视频号 小红花技术领袖俱乐部视频号二维码