技术界往往对大模型的参数和跑分极其狂热，但Mike指出：现在AI大模型的能力，已经远远超出了实际被用户利用的价值。
Something funny happens when you bring up the name Harold Bloom in an academic setting. I’ve seen it happen many times: the rolled or averted eyes, maybe even a little scoff, a look that says Jesus, him again? “Write about his ideas,” a professor once told me, “and no one will take your work seriously.” If Bloom’s name ever does come up in the classroom these days, it’s usually to mock his most infamous hyperbole: Shakespeare’s supposed “invention of the human,” subject of Bloom’s best-selling 1998 book of the same name. That work, along with the tomes Genius: A Mosaic of One Hundred Exemplary Creative Minds (2002) and The Best Poems of the English Language (2004), formed the apotheosis of the old scholar’s final turn away from academia toward openly didactic, explanatory writing for a mass popular audience—and there were very large audiences for those books back then.
，更多细节参见新收录的资料
The meaning of Succ is lifting n-ary functions to (n+1)-ary functions. This gives de bruijn shifting a semnantic interpretation. This trick appears in Kiselyov’s SKI semantically https://okmij.org/ftp/tagless-final/ski.pdf , Pavel’s blog post https://pavpanchekha.com/blog/egg-bindings.html , and McBride references Thorsten Altenkirch, Martin Hofmann & Thomas Streicher (1995): Categorical Reconstruction of a Reduction Free Normalization Proof, where there is some neat ML code in the appendix，详情可参考新收录的资料
Credit: Tina Rowden / HBO
3014252410http://paper.people.com.cn/rmrb/pc/content/202602/27/content_30142524.htmlhttp://paper.people.com.cn/rmrb/pad/content/202602/27/content_30142524.html11921 让农民生活更加富裕美好