#howard
Todd Howard is finally ready to share some Starfield details(arstechnica.com)
2021-6-15 6:14
在周末，Bethesda揭示了Starfield的第一个预先渲染的拖车，让我们一瞥自2018年以来一直存在的游戏。虽然大气拖车有效地在Starfield的更广泛的宇宙中有效地建立了情绪和提示，它提供了一些宇宙如何工作或玩家在它的角色。幸运的是，Bethesda Director Todd Howard通过对华盛顿邮政......
Curry-Howard Is a Scam(blag.cedeela.fr)
2021-2-24 21:36近年来，不仅在Haskell圈子中，而且在基于CiC的证明助理从业者（Coq，Lean等）中都广泛讨论了Curry-Howard的对应关系。简而言之，它使＆＃34; programs＆ ＃34; （通常是某种类型的lambda演算的术语）和＆＃34; proofs＆＃34; （这些程序是它们类型的证明，或者更确切地说......
Jeremy Howard: I Like Notebooks(www.youtube.com)
2020-10-29 12:34
我喜欢使用朱庇特笔记本电脑(https://jupyter.org/).。特别是在与NBDEV(https://nbdev.fast.ai/).)结合时。在这段视频中，我解释了原因，并解释了..。
Ron Howard and Brian Grazer say that their accelerator can help diversify Hollywood (techcrunch.com)
2020-9-18 6:29
消息传出后，这家加速器的创始人--霍华德、格雷泽和首席执行官泰勒·米切尔--与我们一起参加了TechCrunch的Disrupt大会，讨论他们的愿景。格雷泽(与霍华德合作的电影包括“阿波罗13号”(Apollo 13)、“美丽的心灵”(A Beautiful Mind)和即将上映的Netflix的“Hillbilly......