哲学家
转载：图灵的停机问题背后令人着迷的数学（哲学）原理
之前备考时无意间看到这篇文章【康托尔、哥德尔、图灵——永恒的金色对角线】，令我惊为天人。刘未鹏从一系列深奥的理论背后找到了一条线，用一个至为简单而又至为深刻的数学方法将其串联起来，然我们看到了最纯粹的数学之美！现在终于有时间能够静下心来重新看一遍，顺便写一篇读书笔记方便交流与理解。 那么图灵的停机问 ......
C++ 核心指南之 C++ P.哲学/基本理念（上）
> C++ 核心指南（C++ Core Guidelines）是由 Bjarne Stroustrup、Herb Sutter 等顶尖 C+ 专家创建的一份 C++ 指南、规则及最佳实践。旨在帮助大家正确、高效地使用“现代 C++”。 > > 这份指南侧重于接口、资源管理、内存管理、并发等 High ......
《送东阳马生序》明代文学家宋濂
据悉，《送东阳马生序》是明代文学家宋濂创作的一篇赠序。在这篇赠序里，作者叙述个人早年虚心求教和勤苦学习的经历，生动而具体地描述了自己借书求师之难，饥寒奔走之苦，并与太学生优越的条件加以对比。 有力地说明学业能否有所成就，主要在于主观努力，不在天资的高下和条件的优劣，以勉励青年人珍惜良好的读书环境，专 ......
有时候感觉自己像个杂学家
有时候感觉自己像个杂学家，总是感觉精力不够，这也学那也学，从上学是学习汇编、C语言，到工作之后学会了vb\c#\java\C++\CSS\html\js\ts,每次学习都是项目需要，结果每次都有新技术要学。 然后就觉得自己只是会了，哪样都不精通，虽说都可以拿来做些项目，但是也只是混饭吃 最近想把C+ ......
为什么Python是数据科学家的首选语言
 > > 这篇文章全面探讨了Python作为数据科学领域首选语言的原因。从Python的历史、特性，到在数据科 ......
PyTorch Lightning简约哲学
PyTorch已经足够简单易用，但是简单易用不等于方便快捷。特别是做大量实验的时候，很多东西都会变得复杂，代码也会变得庞大，这时候就容易出错。针对这个问题，就有了PyTorch Lightning。它可以重构你的PyTorch代码，抽出复杂重复部分，让你专注于核心的构建，让你的实验更快速更便捷地开展 ......
高并发的哲学原理（七）-- 最难以解决的单点：数据库以及它背后的存储
前面六篇文章，我们解决了 web 服务的百万 QPS 问题，从本文开始，我们将用三篇文章，尝试构建出百万 QPS 后端系统所需要的数据库。首先要明确，这里的数据库指的是关系型数据库，即满足 ACID 原则并用 SQL 语言进行操作的持久性（掉电数据不丢）数据库。当然，在追求高并发的过程中，我们将不可 ......
高并发的哲学原理（八）-- 将 InnoDB 剥的一丝不挂：B+ 树与 Buffer Pool
前面几篇文章，我们大多数时候都在挥舞着架构大棒，对性能问题进行降维打击，但是本文不一样，本文要啃硬骨 ......
DataSpell mac中文版专业数据科学家的IDE
DataSpell是一款专业的数据分析与挖掘工具(置顶文获取)，它基于 Spark平台，其功能非常强大。DataSpell是专业数据科学家的 IDE，可以让你轻松地创建、分析和编辑数据，并通过分析来创建各种各样的可视化图表和报告。 →→↓↓载DataSpell mac 1.专业的数据可视化 Data ......
板子哲学汇总
密码：#39C5BB [树状数组](https://www.cnblogs.com/sonnety-v0cali0d-kksk/p/17498855.html "树状数组") [tarjan](https://www.cnblogs.com/sonnety-v0cali0d-kksk/p/17498 ......
专业数据科学家的IDE-DataSpell 2023 mac/win版
DataSpell 2023 是一款专为数据科学家设计的集成开发环境（IDE），旨在提供强大的数据分析和机器学习工具，帮助用户更高效地处理和分析大规模数据集。 →→↓↓载DataSpell 2023 mac/win版 DataSpell 2023 提供了丰富的功能和工具，使数据科学家能够完整地执行整 ......
数据科学家必备的技能：数据分析的基础知识
[toc] 数据分析是人工智能领域中的一个重要分支，涉及到数据清洗、数据可视化、机器学习等多个方面。作为一名数据科学家，需要具备扎实的数据分析基础，熟悉各种数据分析工具和技术，能够从海量数据中发现有价值的信息和洞见。 本文将介绍“数据科学家必备的技能：数据分析的基础知识”，从基本概念、技术原理、实现 ......
知名数学家陶哲轩的博客
 陶哲轩的博客：[http://terrytao.wordpress.com/](http://terrytao.w ......
20年前“AI先生”李彦宏差点去当生物学家？真相令人惊讶
20年前“AI先生”李彦宏差点去当生物学家？真相令人惊讶 中国青年网 2019-11-26 09:56中国青年网官方帐号 关注 众所周知，从1999年至今是中国互联网快速发展的20年，同时也是孕育无数企业家的20年。作为中国最成功的企业之一，百度成立20年来在互联网发展中功不可没。但你一定不知道，百 ......
盘点新中国杰出的二十位医学家
盘点新中国杰出的二十位医学家 好物推荐 4 人赞同了该文章 中国泌尿外科的先驱者——吴阶平 中国医学圣母——林巧稚 中国心胸外科学的奠基人——黄家驷 中国消化病学的奠基人——张孝骞 著名的中医临床学家——萧龙友 中国胸心外科的开创人——吴英恺 中国热带病学的奠基人——钟惠澜 中国儿科学的奠基人——诸 ......
王小云 第十四届全国人大社会建设委员会委员，中国科学院院士、密码学家
王小云，1966年8月生于山东诸城 [36] 。1993年获山东大学数学博士学位。现任山东大学网络空间安全学院院长 [31] 、清华大学高等研究院“杨振宁讲座”教授。2017年当选中国科学院院士。2019年当选国际密码协会会士（IACR Fellow）。兼任中国密码学会副理事长，中国数学会副理事长， ......
《挑战全球数学家》 回复
《挑战全球数学家》 https://tieba.baidu.com/p/8452350505 回复 7 楼 @彐卅xs ， 其实也不远，选一个领域方向，比如 代数 或 几何，再细分的我也不知道，找几题看一看，做一做，就差不多了 。 （滑稽） 主要是限制时间做比较难，不限时间的话可以慢慢做 。比如这几 ......
西方哲学阅读计划
#第一阶段：总结希腊哲学 * 6.5-6.6：整理第一章笔记，读选读1-7章 * 6.7-6.8：整理第二章笔记，读选读8-9章 * 6.9-6.10：整理第三章笔记，读选读10章 * 6.11-6.12：整理第四章笔记，读选读11章 #后续预期进度节点 * 7.1 开始洛克（3-4天一章） * 8 ......
哲学家就餐问题（死锁）
> 本文主要讲述死锁的一个经典案例—哲学家就餐问题，并对该问题进行修复。 ### 1. 问题描述  ......
mac版DataSpell2023：专业数据科学家的 IDE，macbook程序员必备
DataSpell 2023 for Mac 是一款强大的数据科学工具，它提供了广泛的功能和工具，帮助用户更好地分析、处理和可视化数据。无论是数据分析师、数据科学家、商业分析师还是研究人员，DataSpell for Mac 都是一个理想的选择。 mac软件下载：https://mac.macsc. ......
科学哲学导论
一 规律、解释与概率 一、规律的价值与语言 全称规律和统计规律，所有冰都是冷的vs婴儿有一半是男孩。 单称规律：关于单一事实的描述。全称规律：对于任意x，如果P则Q。 观察个别事实，经验概括，经验规律。理论规律，不可观察，如磁场规律。 不涉及规律就无法解释。事实解释是伪装的规律解释，省略了陈述：规律 ......
从软件哲学角度谈 Amazon SageMaker
如果你喜欢哲学并且你是一个 IT 从业者，那么你很可能对软件哲学感兴趣，你能发现存在于软件领域的哲学之美。本文我们就从软件哲学的角度来了解一下亚马逊云科技的拳头级产品 Amazon SageMaker，有两个出发点：一是 SageMaker 本身设计所遵循的软件哲学；二是从软件哲学的角度我们应该如何 ......
哲学
1、唯物主义和唯心主义，是根据一种哲学理论对哲学基本问题（思维和存在的关系问题）第一方面问题的不同回答所做的哲学派别的划分。唯物主义：认为存在第一性，思维第二性，物质和存在决定意识和思维；唯心主义：认为思维第一性，存在第二性，思维决定存在。2、各自观点。唯物主义同唯心主义相对立的哲学基本派别。它对思 ......
11 10 | 管理的人性哲学：金刚之怒，菩萨慈悲
你好，我是乔新亮，很高兴我们又见面了。 前面我们讲了管理者最重要的三个任务，也就是所谓的“三板斧”。为什么要抡这三板斧呢？是为了自顶向下地搭建优越的架构和制度，最终让业务增长，让飞轮转起来。 换句话说，这是个体系化的解决方案，是顶层设计。 在这一讲里，我们将视角拉低，去近距离地看看在体系内工作的团队 ......
程序员的哲学
引言 本文篇幅较长，且不涉及任何技术方面的代码，亦可能涉及一些浅层的哲学方面的，如不喜，求放过。 经常看到在各个程序员论坛上，总是以术成文，鲜有以道成术，而诸多同僚大多数都追求于术，却略于道，而经验之谈，却是重于术数之用，故，今日开篇总结我的程序员之路，六年下来总结的属于自己的方法论分享给大家，希望 ......
科学家成功研制出具有高度自主导航能力的机器人
近年来，随着科技的不断发展，机器人技术也在不断地进步。最近，一组科学家成功研制出了一款具有高度自主导航能力的机器人，这款机器人的出现将会给我们的生活带来很多便利。 这款机器人采用了最新的人工智能技术，可以自主地进行导航和控制。它可以在不同的环境中自由移动，避开障碍物，同时还可以根据环境的变化自动 ......
逻辑认知和人工智能是相关的，但可以被视为不同的概念。 逻辑认知涉及人类对于逻辑推理和判断的理解和能力。它是人类智慧的一个关键组成部分，可以帮助人们处理复杂的问题和信息。 逻辑学是一门成熟较早的学科。发展至今，它的内容不断丰富。经近现代逻辑学家的 不懈探索，这一学科已从传统逻辑发展称为现代逻辑，在人们思维、论辩、科学研究等各 个方面发挥着重要作用。
逻辑学是一门成熟较早的学科。发展至今，它的内容不断丰富。经近现代逻辑学家的 不懈探索，这一学科已从传统逻辑发展称为现代逻辑，在人们思维、论辩、科学研究等各 个方面发挥着重要作用。逻辑认知和人工智能是相关的，但可以被视为不同的概念。 逻辑认知涉及人类对于逻辑推理和判断的理解和能力。它是人类智慧的一个关 ......
A Philosophy of Software Design 软件设计哲学
《软件设计哲学》本书作者斯坦福教授 John Ousterhout，旨在告诫我们 复杂度是引发软件开发或维护bug的根本问题。 软件为何越来越难维护？甚至于不想去维护？ 在软件迭代中，不关注软件系统结构，导致软件复杂度累加，软件缺乏系统设计，模块混乱，一旦需要增加、修改或优化，改变的代价无法评估，甚 ......