欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐大脑
来自开放百科 - 灰狐
（版本间的差异）
小 (→课题) |
小 (→课题) |
||
| 第46行： | 第46行： | ||
*[[Mathematics|数学]]是最爱，不学习数学，看不懂科学。[[Scilab]], [[GNU Octave]], [[Maxima]], [[SageMath]], [[TeX Live]]/[[LaTeX]]/[[TeXstudio]] 是数值运算、科学计算软件、计算机代数系统、数学软件、出版系统和 STEM 选择。 | *[[Mathematics|数学]]是最爱，不学习数学，看不懂科学。[[Scilab]], [[GNU Octave]], [[Maxima]], [[SageMath]], [[TeX Live]]/[[LaTeX]]/[[TeXstudio]] 是数值运算、科学计算软件、计算机代数系统、数学软件、出版系统和 STEM 选择。 | ||
*电动汽车、智能电网 | *电动汽车、智能电网 | ||
| − | * | + | *无线电（Radio）、Aerospace（航空航天）、[https://www.colorado.edu/aerospace Ann and H.J. Smead Aerospace Engineering Sciences] |
[[文件:Puffin120x120.png]] [[文件:octave-logo.png]] [[文件:Maxima-logo.png]] [[文件:SageMath-logo.png]] [[文件:Texlive-logo.png]] [[文件:Latex-project-logo.png]] [[文件:Texstudio-logo.png]] | [[文件:Puffin120x120.png]] [[文件:octave-logo.png]] [[文件:Maxima-logo.png]] [[文件:SageMath-logo.png]] [[文件:Texlive-logo.png]] [[文件:Latex-project-logo.png]] [[文件:Texstudio-logo.png]] | ||
2022年7月2日 (六) 04:15的版本
灰狐大脑
目录 |
简介
灰狐大脑，永不停止思考。
一档探索类节目，探索未知领域，探索大脑人体微宇宙、以及浩瀚宇宙之奥秘。
在自然界的所有秘密中，两个最大的奥秘是心灵和宇宙。
人生就是认识你自己和成为你自己的一生。
一起体会科学探索的乐趣和美丽，崇尚综合的气质。
主理人：Allen
领域
Mathematics, Physics and Science World.
涉及科学原典（科学元典是科学进一步发展的灯塔和坐标），哲学/神学，数学/物理学，人工智能/机器学习，认知科学/认知心理学/神经科学，量子计算等领域。
课题
具体研究课题：
- 科学元典，是指科学经典中最基本、最重要的著作，是在人类智识史和人类文明史上划时代的丰碑，是理性精神的载体，具有永恒的价值。
- 科学技术进步的同时，哲学和伦理问题的探讨。伦理学（Ethics 或 Moral Philosophy）也称为道德哲学或道德学，是一门哲学学科，主要探讨道德价值，涉及捍卫并鼓励对的行为，并劝阻错的行为。旨在定义诸如：善与恶、对与错、美德与恶习、正义与犯罪等概念来解决道德问题，也探讨什么是聪明或愚蠢。
- 穿越平行宇宙，通向实在之路。
- 人工智能哲学、英美分析哲学
- 理论计算机科学
- 知识图谱
- AI 和 通用人工智能（Artificial General Intelligence）/AGI Conferences + Blockchain，这是未来十年的趋势 AI区块链布道师
- 电子音乐 + 神经科学
- 神经系统和人工神经系统
- 认知神经科学（Cognitive Neuroscience） —— 关于心智的心理学（The Biology of the Mind）
- 费曼学习法
- 机器视觉和机器翻译
- 灰狐安全
- 灰狐网络
- 编译器（GCC,LLVM）
- 量子力学和量子计算 物理学和量子理论更多参考《爱因斯坦全集》和《尼耳斯·玻尔集》
- 宽客、金融、金融科技、量化投资、CFA（特许金融分析师，Chartered Financial Analyst），讲金融的故事
- 数学是最爱，不学习数学，看不懂科学。Scilab, GNU Octave, Maxima, SageMath, TeX Live/LaTeX/TeXstudio 是数值运算、科学计算软件、计算机代数系统、数学软件、出版系统和 STEM 选择。
- 电动汽车、智能电网
- 无线电（Radio）、Aerospace（航空航天）、Ann and H.J. Smead Aerospace Engineering Sciences
项目
- 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 科学计算、数值计算
- GNU Radio
- Awesome Space
- Top Space Open Source Projects
- NASA Open Source Development NASA @ GitHub
- 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
文档
图集
理论计算机科学
神经系统
科学元典合集29册
通向实在之路——宇宙法则的完全指南
荣格作品集
机器视觉
机器翻译
ETEngine架构
链接
- 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 科学百科
分享您的观点
