➡️

继续阅读

  1. PdfCraft: An Open-Source PDF Workbench with PDF Compression Support
    PdfCraft 是一款用 Rust 编写的开源免费 PDF 工作台，支持 Windows、macOS 和 Linux，无需账户、遥测或云服务。其功能类似...
  2. AI形式证明挖出万亿次测试漏掉的漏洞
    测试跑了一万亿次没发现的漏洞，被一个写证明的模型找出来了！ 一项新实验让大语言模型为123个开源库编写机器可验证的安全证明，过程中挖出了连谷歌连续模糊测试...
  3. TÜV莱茵参与2026联想供应商标准与认证大会
    TÜV莱茵出席2026联想供应商标准与认证大会，双方合作已逾二十年，覆盖产品安全、全球市场准入、ESG等领域。会上TÜV莱茵介绍了IEC 62368-1标...
  4. 捏一下细胞核撕开染色质，CRISPR重编程效率翻倍
    捏一下细胞核，基因就开了！ 机械挤压成纤维细胞核能短暂撕开染色质，让CRISPR激活原本够不着的基因，重编程效率翻倍。 细胞核被挤扁后基因才露脸 成纤维细...
  5. TÜV南德在CEIC 2026展示AI智算与具身智能出海合规方案
    TÜV南德在CEIC 2026展示AI智算与具身智能出海合规方案，围绕欧盟《人工智能法案》《机械法规》《网络韧性法案》等框架与企业交流。针对具身智能终端，...
  6. 商米发布SUNMI Windows商用终端产品家族，共五条产品线
    商米在2026开发者大会上发布SUNMI Windows商用终端家族，包括FLEX 3 WIN、T3 PRO WIN、T3 PRO MAX WIN等五条产...
👤 个人中心
在公众号发送验证码完成验证