欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
灰狐大脑
来自开放百科 - 灰狐
（版本间的差异）
小 (→简介) |
小 (→项目) |
||
| 第60行： | 第60行： | ||
[[文件:Opencog-logo.png|right|OpenCog]] | [[文件:Opencog-logo.png|right|OpenCog]] | ||
*[https://openscience.org/ The OpenScience Project] | *[https://openscience.org/ The OpenScience Project] | ||
| + | *[https://www.openfoam.com/ OpenFOAM] 开源计算流体动力学（Computational Fluid Dynamics）软件 | ||
*[https://github.com/sxs-collaboration/spectre SpECTRE]是一个用于天体物理学（astrophysics）和引力物理学（gravitational physics）中多尺度、多物理学问题的开源项目。 | *[https://github.com/sxs-collaboration/spectre SpECTRE]是一个用于天体物理学（astrophysics）和引力物理学（gravitational physics）中多尺度、多物理学问题的开源项目。 | ||
*[https://charm.cs.illinois.edu/ Parallel Programming Laboratory] [https://github.com/UIUC-PPL @ GitHub] | *[https://charm.cs.illinois.edu/ Parallel Programming Laboratory] [https://github.com/UIUC-PPL @ GitHub] | ||
2022年7月19日 (二) 15:57的版本
灰狐大脑
目录 |
简介
灰狐大脑，永不停止思考。
一档探索类节目，探索未知领域，探索大脑人体微宇宙、以及浩瀚宇宙之奥秘。
在自然界的所有秘密中，两个最大的奥秘是心灵和宇宙。
人生就是认识你自己和成为你自己的一生。
一起体会科学探索的乐趣和美丽，崇尚综合的气质。
主理人：Allen 哲学、文学、数学、物理学爱好者
领域
Science as a Global Public Good（科学作为一种全球公益事业） 让科学成为全球公共产品
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
- OpenFOAM 开源计算流体动力学（Computational Fluid Dynamics）软件
- 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架构
链接
- CERN @ YouTube
- Division of History of Science and Technology
- arXiv 使得物理学家、数学家、生物学家和计算机科学家们以最快速度交流新思想成为可能。
- Princeton University Mathematics
- 普林斯顿高等研究院
- 中国科学院高能物理研究所
- Wikimedia 维基媒体的使命是为世界带来免费的教育内容。
- Big Think（油管）
- Simons Foundation（西蒙斯基金会）的使命是推动数学和基础科学的研究前沿 （油管）
- 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 科学百科
分享您的观点
