欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐大脑
这是一档自媒体节目,主理人:User:Allen
涉及哲学/神学,数学/物理学,人工智能/机器学习,认知科学/认知心理学/神经科学等领域。
具体研究课题: