欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐大脑
来自开放百科 - 灰狐
灰狐大脑
目录 |
简介
这是一档自媒体节目，主理人：Allen
领域
涉及哲学/神学，数学/物理学，人工智能/机器学习，认知科学/认知心理学/神经科学等领域。
课题
具体研究课题：
- AI + Blockchain，这是未来十年的趋势
- 神经系统和人工神经系统
- 认知神经科学（Cognitive Neuroscience） —— 关于心智的心理学（The Biology of the Mind）
- 费曼学习法
- 计算语言学和机器翻译
- 灰狐安全
- 灰狐网络
- 音频节目，今夜不寂寞（计划2022开启）
- 编译器（GCC,LLVM）、操作系统、数据库存储
- 量子力学和量子计算
项目
图集
神经系统
荣格作品集
链接
分享您的观点
