← 返回归档

日报


新出现

AI自主设计射频芯片

AI 已能自主设计性能超越手工的射频芯片

这标志着复杂硬件设计自动化的实质性进展,可能改变芯片设计行业的传统工作流程。

  1. AI Learns the "Dark Art" of RF Chip Design Lobsters #11
新出现

AI替代工程师的边界

福特用AI替代工程师导致质量问题,重新引入人类专家后质量跃升

提醒在需要隐性知识的复杂环节保留人类把关,而非盲目追求全自动化。

  1. Ford hired AI and sacked humans. It backfired badly Hacker News #3
新出现

AMD APU支持分布式推理

AMD Strix Halo APU 的双节点RDMA集群可用于vLLM分布式推理

提供了一种低成本构建分布式AI推理集群的可行方案。

  1. AMD Strix Halo RDMA Cluster Setup Guide Hacker News #5
新出现

Clojure获得依赖类型验证

Ansatz 为 Clojure 提供依赖类型验证,允许编写经机器检查的函数

开发者可以在Clojure中获得机器验证的函数正确性保证,同时保持JVM兼容性。

  1. Dependently typed Clojure DSL with a Lean4 compatible kernel Lobsters #4