云聚 AI Token Plan 满 199 减 35 元
port:80 AI Junkie
AI 重度玩家的工程笔记本
DigitalOcean 开发者云
Anyrouter 开放可编程的智能路由
共 21 篇文章

标签:芯片设计 第2页

AI强化学习赋能形式化验证:如何训练你的程序验证器

本文深入探讨了将深度强化学习应用于程序验证器的创新方法。文章借鉴类似AlphaZero的搜索算法,介绍了如何训练AI模型在复杂的代码搜索空间中高效寻找漏洞或生成正确性证明。这一突破性尝试旨在解决传统形式化验证成本高昂、门槛极高的问题,对于提...

赞(0)ToyToy前沿 阅读(70)

倒计时两周:揭秘芯片流片前的最后冲刺

本文详细记录了芯片项目距离流片仅剩两周时的冲刺状态。作者分享了物理验证、设计规则检查(DRC)以及版图原理图比对(LVS)等关键环节的实践经验。文章不仅展示了芯片设计流程中的技术细节,更深刻揭示了这一高风险阶段对工程团队心理与执行力的双重挑...

赞(0)ToyToy前沿 阅读(213)

摆脱函数式编程桎梏:构建真正的“乐高式”异步软件架构

文章批判了软件行业对加深类型系统的痴迷,认为这是一种错误方向。作者指出,函数式编程虽然优雅,但其同步、阻塞的控制流本质限制了软件的“乐高式”组合能力,难以适应现代硬件和分布式系统的需求。文章提出,我们需要转向一种新的架构范式:包含简单的传输...

赞(0)ToyToy前沿 阅读(248)

Tinygrad 五年征程:挑战AI芯片霸权

Tinygrad项目创始人George Hotz回顾五年历程,强调软件在AI训练中的核心地位。项目始于2020年10月,现6人团队,代码库达18,935行,正移除LLVM依赖以纯Python驱动AMD GPU。Tinygrad性能已超越Py...

赞(0)ToyToy前沿 阅读(212)

GLM Claude Code · 国产平替不封号

官方 Claude Code 又涨价又要 KYC,封号还得重配环境?智谱 GLM 兼容 Claude Code,稳定不封号、价格友好,注册后把现有 Claude Code 工作流直接切过来继续用。

立即体验 GLM查看套餐价格