2012年，加拿大多伦多大学的Hinton教授带领他的两个学生Alex和Ilya一起用AlexNet撞开了深度学习的大门，从此人类走入了深度学习时代。2015年，这个第二作者80后Ilya Sutskever参与创建了openai公司。现在Ilya是openai的首席科学家，带领工程师研发出了可能再次改变世界的chatgpt.上图中，右面的就是图灵奖获得者，深度学习之父Hinton大牛。中间是Al

vscode插件快餐教程(5) - 代码补全上节我们介绍了lsp的基本框架和协议的三次握手。下面我们先学习一个最简单的功能协议：给vscode发送一条通知。LSP窗口消息在LSP协议中，跟窗口相关的协议有三条：window/ShowMessage Notificationwindow/showMessage Requestwindow/logMessage Notification...

vscode插件快餐教程(2) - 编程语言扩展上一节我们学习了如何写一个控制光标的vscode命令插件。对于一个编辑器来说，编辑命令是非常重要的部分。不过vscode更主要的作用不是写文本，而是写代码。所以我们第二讲就直入辅助编写代码的部分。可以做哪些编程语言相关的扩展我们先看一张图，看看vscode支持我们做哪些编程语言的扩展。我们以Bill Gates起家的BASIC语言的一个小...

vscode插件快餐教程(1) - 从写命令开始大致从2017年开始，vscode就越来越流行。vscode能够流行起来，除了功能强大、微软不断升级给力之外，优秀的插件机制也是非常重要的一环。vscode中相当多的功能也是通过自身的插件机制实现的。比起使用coffeescript为主要开发语言的atom IDE，vscode使用越来越有王者气质的typescript做为主要的开发语言，这也为v..

mermaid时序图

如何像普通编程语言一样使用lean4来编程

深度学习简史从机器学习流派说起如果要给机器学习划分流派的话，初步划分可以分为『归纳学习』和『统计学习』两大类。所谓『归纳学习』，就跟我们平时学习所用的归纳法差不多，也叫『从样例中学习』。归纳学习又分为两大类，一类是像我们归纳知识点一样，把知识分解成一个一个的点，然后进行学习。因为最终都要表示成符号，所以也叫做『符号主义学习』；另一类则另辟蹊径，不关心知识是啥，而是模拟人脑学习的过程...

强化学习教程(1) - 先了解几个公式对于学习强化学习的好处，大家已经了解很多了，这里就不多叙述了。开篇有几点想提醒新入门的同学，关于强化学习的难点。首先是要做好啃一些理论和公式的准备，虽然深度强化学习可以做到像调库一样使用成熟算法，但是有扎实的理论基础对于学习前沿论文还是一个必要的选项。第二是对算力的需求要有明确的考虑。比如我们调库可以很容易实现Atari游戏的对战，但是能打败计算机是需要用GP

作为强化学习最常用的工具，gym一直在不停地升级和折腾，比如gym[atari]变成需要要安装接受协议的包啦，atari环境不支持Windows环境啦之类的，另外比较大的变化就是2021年接口从gym库变成了gymnasium库。让大量的讲强化学习的书中介绍环境的部分变得需要跟进升级了。不过，不管如何变，gym[nasium]作为强化学习的代理库的总的设计思想没有变化，变的都是接口的细节。

2012年，加拿大多伦多大学的Hinton教授带领他的两个学生Alex和Ilya一起用AlexNet撞开了深度学习的大门，从此人类走入了深度学习时代。2015年，这个第二作者80后Ilya Sutskever参与创建了openai公司。现在Ilya是openai的首席科学家，带领工程师研发出了可能再次改变世界的chatgpt.上图中，右面的就是图灵奖获得者，深度学习之父Hinton大牛。中间是Al