2025年度浙江省科学技术奖受理名单（网络空间安全领域）
原始标题：关于2025年度浙江省科学技术奖提名受理情况公示原始链接：https://kjt.zj.gov.cn/col/col1229225203/art/2026/art_8116be5086dd4cc29fb6bfc103d3d455.
最新文章
威努特工控主机卫士：构筑工控主机“白环境”最后防线
构建终端安全防护"白环境” 伴随工业4.0与两化融合的不断深入，工业控制系统所面临的网络安全风险正在日益加剧。然而，相较于办公网具备完善的网络安全防护体系，工业控制系统网络的安全状态则属于是长期处于“先天不足、后天失养”的状态。工业控制系统
Omarchy 的 AI Agent 友好性：架构、基础设
Omarchy 不是给 Linux 套了个 AI 壳，而是把系统重做成了 AI 的工作台。它背后的公司不仅全团队在用，还拿了千万美元投资。这东西到底好在哪？AI 能摸清家底：系统把 400 多项操作全塞进统一命令行。AI 不用瞎猜点哪，直接
Omarchy 的 AI Agent 友好性：架构、基础设施、UX 初探
如果你只是把 Omarchy 看作又一个 Linux 定制桌面，而不是面向 Agent 的 Native 桌面，那你可能会错过很多。 如果你喜欢 Rust ，喜欢 AI，喜欢 Omarchy ，欢迎来今年深圳 RustChinaConf 2
已知正整数x、y，x²+y²=2025，求x+y
差点当成初中数学题 已知正整数、，，求有点难，据说是哪年西安交大少年班招生题，不知真假。差点当成初中数学题发给小小四，坑死人。若是小题，瞪眼法能求一组解，但属于小聪明，不能证明是全解，万一漏解呢？有个纯数论的快速解法，可推出"
从奖励黑客到超级对齐：AI 为何会完成任务，却背离人类意图
OpenAI Agent 为通过 ExploitGym 评测入侵 Hugging Face，揭示强优化器与不完整目标之间的矛盾。文章从奖励黑客、Goodhart 定律和规范缺口出发，讨论 Harness、超级对齐及人类与更强智能的共存。 最
Altman最关注的老登企业CEO，白天管公司晚上撸代码
奥特曼眼里的AI尖子生 最近Sam Altman上播客，单独夸了一个人——Shopify的CEO Tobi Lütke。这位老哥也够忙的，白天当CEO，半夜写代码。到底是什么让Altman把他吹成AI时代最强CEO？今天咱们就来聊聊。· ·
13.9K Star！当 Codex 直接操作你的视频时间线，这款编辑器正在重新定义 AI 创作流程
以下文章来源于：开源星探 开源星探 专注于分享GitHub上优质、有趣、实用的开源项目、工具及学习资源，为互联网行业爱好者提供优质的科技技术资讯。 Y Combinator S24 批次的创业团队 Palmier 自己造一个视频编辑器，让
甲醛白菜，到底有多可怕？
科学分析 看到一篇写最近甲醛白菜的文章，作者斩钉截铁地说，甲醛致癌。其实事情没有这么简单。1，甲醛被世卫组织归类为“一类致癌物“。但，并不是说这个东西毒性大或致癌能力强，“一类”是指“这个东西跟癌症有联系”的证据比较明确，反映的是证据强度。
用 AI 搞 Google VRP 赚了50万美金
给Claude配上MCP，对着Google的1,500+个API挨个戳，三个月薅了50万美金。 Brutecat 之前写过「Decoding Google」和「Google Cloud RCE」，算是专门薅 Google VRP 的老手了。
全新 Qoder，正式发布
今天，全新 Qoder 正式发布！这是一个以 Coding 能力为核心底座，面向所有人打造的智能体工作台。告诉 Qoder 你想完成什么，它会理解上下文、制定计划、调用工具、执行并验证。整个过程随时可以查看、调整或接管。全新的 Qoder
AI 创新实践｜「架构师 Agent」系统化落地
对于“跨复杂业务系统的架构理解与设计”，本文或许能提供一些经验和参考 这是2026年的第 55 篇文章（ 本文阅读时间：约 20 分钟 ）前言当前，在业界，AI 仍然无法很好的理解“复杂技术系统”，也无法针对性的达成完善的技术方案设计，“架
豆包工作上线！登录就送30天会员，人人可领一台免费云电脑，太丝滑了！
字节出手就是钞能力 阿虚同学读完需要6分钟速读仅需 3 分钟点击头像即可关注我相信不少苦命的打工人，都碰上过和阿虚一样的糟心事就是有时候出门在路上需要加下班，本来你打开笔记本电脑，给 Agent 派了个工作，美滋滋等 AI 跑完任务就行但好
ADrive 跨产品协作实践：文件通了，Agent 就通了
本文基于 ve-adrive-cli v1.0.2。文中的品牌、项目和文件名均为演示示例。Agent 已经进入内容策划、素材制作和发布检查的工作流程，但文件仍主要靠人工搬运：资料散落在本地目录、聊天附件在临时链接中，一个 Agent 生成的
两万字长文｜手把手带你趟过 AI Coding 深水区：编码让位，人退到哪里
代码让给 AI 之后，人退到判断上，把取事实的活交给机器 作者：黄迅， PUBGMobile后台百万行 Lua，自研框架，模型几乎没见过——代码让给 AI 之后，人退到判断上，把取事实的活交给机器。前言：AI 已经能端到端交付了这个季度我们