欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐大脑
来自开放百科 - 灰狐
灰狐大脑
目录 |
简介
灰狐大脑,永不停止思考。
一档探索类节目,探索未知领域,探索大脑人体微宇宙、以及浩瀚宇宙之奥秘。
在自然界的所有秘密中,两个最大的奥秘是心灵和宇宙。
人生就是认识你自己和成为你自己的一生。
一起体会科学探索的乐趣和美丽,崇尚综合的气质。
主理人:Allen
领域
Mathematics, Physics and Science World.
涉及科学原典(科学元典是科学进一步发展的灯塔和坐标),哲学/神学,数学/物理学,人工智能/机器学习,认知科学/认知心理学/神经科学,量子计算等领域。
课题
具体研究课题:
- 科学元典,是指科学经典中最基本、最重要的著作,是在人类智识史和人类文明史上划时代的丰碑,是理性精神的载体,具有永恒的价值。
- 科学技术进步的同时,哲学和伦理问题的探讨。伦理学(Ethics 或 Moral Philosophy)也称为道德哲学或道德学,是一门哲学学科,主要探讨道德价值,涉及捍卫并鼓励对的行为,并劝阻错的行为。旨在定义诸如:善与恶、对与错、美德与恶习、正义与犯罪等概念来解决道德问题,也探讨什么是聪明或愚蠢。
- 穿越平行宇宙,通向实在之路。
- 人工智能哲学、英美分析哲学
- 理论计算机科学
- 知识图谱
- AI 和 通用人工智能(Artificial General Intelligence)/AGI Conferences + Blockchain,这是未来十年的趋势 AI区块链布道师
- 电子音乐 + 神经科学
- 神经系统和人工神经系统
- 认知神经科学(Cognitive Neuroscience) —— 关于心智的心理学(The Biology of the Mind)
- 费曼学习法
- 机器视觉和机器翻译
- 灰狐安全
- 灰狐网络
- 音频节目,今夜不寂寞(计划2022开启)
- 编译器(GCC,LLVM)
- 量子力学和量子计算 物理学和量子理论更多参考《爱因斯坦全集》和《尼耳斯·玻尔集》
- 宽客、金融、金融科技、量化投资、CFA(特许金融分析师,Chartered Financial Analyst),讲金融的故事
- 数学是最爱,不学习数学,看不懂科学。Scilab, GNU Octave, Maxima, SageMath, TeX Live/LaTeX/TeXstudio 是数值运算、科学计算软件、计算机代数系统、数学软件、出版系统和 STEM 选择。
- 电动汽车、智能电网
项目
- The OpenScience Project
- SpECTRE是一个用于天体物理学(astrophysics)和引力物理学(gravitational physics)中多尺度、多物理学问题的开源项目。
- Parallel Programming Laboratory @ GitHub
- Open Cognition Project OpenCog Foundation Building better minds together AGI - Machine Learning, Language, Reasoning, Robotics
- 动手学深度学习(Dive into Deep Learning,D2L.ai) 面向中文读者、能运行、可讨论。中英文版被55个国家的300所大学用于教学。
- Open Source Robotics Foundation ROS
- Quantum Open Source Foundation 量子计算
- Quil quantum programming language and ecosystem. 使用 Common Lisp 编写
- Scilab 科学计算、数值计算
- Top Space Open Source Projects
- NASA Open Source Development
- OpenSpace
- Space GitHub Topics
- Endless Sky 太空探索、交易和战斗游戏。
- Celestia real-time 3D visualization of space
- 先锋 Pioneer Space Simulator 是一款太空冒险游戏,背景是在33世纪之交的银河系。
- ETEngine Realtime 3D Game engine with a focus on space sim. Written in C++ 14
图集
链接
- arXiv 使得物理学家、数学家、生物学家和计算机科学家们以最快速度交流新思想成为可能。
- Big Think(油管)
- World Science Festival (油管)
- Quanta Magazine(油管)
- MIT OpenCourseWare (OCW) For the Allure of Physics Walter Lewin博士录制的麻省理工学院OCW物理学讲座(油管)
- Oxford Mathematics(油管)
- Microsoft Research(油管)
- Veritasium An element of truth(真相的元素:关于科学、教育和其他有趣事物的视频)(油管)有超过1000万粉丝
- 馬臉姐(油管)
- Leonard(油管)
- Linvo說宇宙(油管)
- 你可敢信(油管)
- MIT Center for Theoretical Physics
- National Institute of Standards and Technology (NIST) 国家标准和技术研究所
- Cybersecurity and Infrastructure Security Agency (CISA) 网络安全和基础设施安全局
- 博士教授bot 科学视频集锦
- Sogou 科学百科
分享您的观点