他回忆称最开始,以为只是配合谷歌的一个实验,低估了人工智能的能力,认为自己会轻松取胜,但直到他落败后,他才意识AI已经非常强大了。
Writing specifications is not always easy, but it is easier than writing the optimized implementation. And a powerful shortcut exists: an inefficient program that is obviously correct can serve as its own specification. User and AI co-write a simple model, AI writes an efficient version, and proves the two equivalent. The hard part shifts from implementation to design. That is the right kind of hard.
这就像Android系统名义上是开源的,但谷歌却通过GMS(Google Mobile Services)和Play Store牢牢掌控着生态的咽喉。英伟达在通信领域的布局如出一辙:通过开源软件降低进入门槛,通过CUDA生态建立锁定效应,最终让“硬件无关”的愿景变成“除了NVIDIA硬件,其他都难以满足性能需求”的现实选择。,详情可参考同城约会
Apple AirPods Max
,这一点在PDF资料中也有详细论述
Раскрыты подробности похищения ребенка в Смоленске09:27
Important remark: if you’re new to Modular Software Design, I really encourage you to first read the appendix on fundamentals: 8. Appendix - Introduction to Modular Design.。PDF资料是该领域的重要参考