「代码验证」共找到 2399 篇相关文章
看傻了！5k Star Canvas Editor，我被惊到啦～～～～
Canvas Editor是基于HTML `<canvas>` API的文档编辑器，自己控制绘制、分页、交互和导出。文章介绍其与普通编辑器差异、核心能力、适用场景、接入代码，也指出项目限制，认为它是架构新选择。
首发！成都华微亿门级逻辑综合加固EDA工具来了
6月26日，成都华微电子科技股份有限公司济南研发中心主任王宁发布亿门级FPGA逻辑综合与安全加固综合EDA工具。该工具前端性能比肩国外，还补上市场空白，集成加固功能，有本地化服务优势。
混元开源PhoneBuddy-4B与5篇系列论文：多项手机Agent真机评测超过GPT-5.4
腾讯混元Phone - use Agent团队发布PhoneBuddy - 4B及5篇系列论文。研究探讨如何训练真实可用的Phone - use Agent，采用Real + Mock方式，实验显示该方法提升效果显著，4B模型多项任务超GPT - 5.4。
让机器人学会「预判接触」：它石智航牵头四大顶尖机构发布TacForeSight，破解精细操作难题
它石智航联合四大顶尖机构发布论文 “TacForeSight: Force-Guided Tactile World Model for Contact-Rich Manipulation”，提出力条件触觉世界模型，让机器人能提前预判接触变化，在真机验证中性能优异。
留给人类数学家的悬赏不多了！谷歌DeepMind一口气解决9道埃尔德什问题
AI进军数学界速度惊人，谷歌DeepMind发布由Gemini驱动的AlphaProof Nexus框架，解决9个埃尔德什开放问题，还证明44个猜想、搞定代数几何难题、改进凸优化理论边界，推理成本低且代码开源。
中国首次提出半导体演进新原则：华为“韬定律”5 年内冲刺等效1.4nm制程，麒麟、昇腾将先后落地量产
5月25日，华为何庭波在研讨会上提出“韬定律”，以“时间缩微”替代“几何缩微”。论文展示验证案例，预计2031年高端芯片达1.4nm等效水平，今年秋季麒麟新芯片将首发“逻辑折叠”技术。
参数砍到 1B，这个小钢炮拿下多模态第一
面壁智能发布并开源参数量仅 1.3B 的 MiniCPM-V 4.6，虽小但多模态综合能力在 1B 级别中夺冠。它推理快，效率高，靠两大架构创新实现，还为开发者提供完整工具链。
一个CLAUDE.md霸榜GitHub第一！蒸馏自Karpathy，6万码农抄作业
一个名为CLAUDE.md的Markdown配置文件冲爆GitHub，本周新增44,465颗星，总星数61.6k，连续三天Trending日榜第一。它源自Karpathy对LLM编程陷阱的观察，含四条规矩，能约束AI编程Agent。
“龙虾”也需要看病？一张旧病历，引出三个新确诊
本文是悟空Agent泛化能力系列先导篇，以OpenClaw项目为例，介绍其通过不同泛化策略发现三个新漏洞，还总结实践原则。强调研究泛化能力对防御漏洞的重要性，4月底悟空Agent将开放试用。
裸辞北大博士带17个Agent，49天造出全球首个AI开放世界！成本仅5000
北大文科博士刘耕带17个Agent，49天、5000元成本、30万行代码造出全球首个AI开放世界Elseland。其玩法、世界、创造都具开放性，刘耕逆风突围，开发效率大幅提升。