TashiKani

摘要： Intro 上一篇里我们已经知道了数据怎么表示，现在，我们该来使用这些数据做一点有用处的事情了。 二元布尔代数 上一篇中我们已经重复强调了，计算机只能看到电信号，它不知道什么是数字。只能识别一串的高低电平信号。 在\(\{0,1\}\)上定义的二元布尔代数可以帮助我们完成这一过程。 二元布尔代数有T 阅读全文

摘要： Intro 本文中数字的右下角标识代表该数字所使用的进制 计算机里的数据是什么？ 首先要明确一点，计算机中几乎所有的信息，在实际上都是电信号。 这引申出了计算机所能控制的信息的最小单位——bit。 bit就是binary digit，当然计算机里的信息不是一串0和1，而是高电平与低电平，它们被表示为 阅读全文

摘要： Intro 最近得学FastAPI了，为了不弄乱环境，于是决定用Docker。 Docker容器安装FastAPI Docker自己想办法装（ 首先拉取pyhton的镜像。 为什么不拉FastAPI的镜像？ 因为后面可能会有别的需求。 docker pull python:alpine 然后，建一个 阅读全文

摘要： Intro 最近刷小蓝书发现一篇关于如何正确使用vim的回答，于是想重新把neovim捡起来，顺便把配置文件托管起来方便将来使用。 遂决定从头开始写nvim的配置文件，再顺手把它托管到远程仓库上。 然后突然发现，我的WSL还没配置SSH，git也是装了还没用。 没办法，只好从头开始。 顺带一提，接下 阅读全文

摘要： Intro 上篇文章中对图灵机的讨论是错误的，因为那篇文章中试图去使用一个具体的机器去指代图灵机，这会造成极大的误解。 本文将会解决这些问题。 Tips:发现错漏请指出，我尽力修改( ;´д`) 图灵机 图灵机的形式化定义如下 图灵机是一个七元组(\(Q,\Sigma,\Gamma,\delta,q 阅读全文

摘要： 本文是neovim中的练习项目Tutor的笔记。 建议自己手动尝试一下这个项目，很快就能上手neovim。 想要尝试这个项目，只要输入:Tutor<Enter>即可。 安装 & 启动 使用包管理器apt安装即可。 运行: $ sudo apt install neovim Tutor Lesson 阅读全文

摘要： Intro 在看《Linux C编程一站式学习》这本书，发现需要学习Linux，一番比对后决定从WSL2开始入手。 Quick Start 安装 WSL2的安装极其简单，并且可以简单的迁移至非系统盘。 在Windows功能面板中勾选适用于Linux的Windows子系统与虚拟机平台按提示重启。 打开 阅读全文

摘要： Intro 本文包含以下内容 BrainFuck解释器的实现 上一篇文章中,我们已经了解到了一门极简的语言-BrainFuck,并且还写了一个简单的BrainFuck程序. 但我们也只是在纸上脑测了这个程序,这并不能说明什么.想要验证一个程序是否正确,最简单的办法就是把它跑起来. 所以,我们需要一个 阅读全文

摘要： 最近重新研究这个问题，发现之前的错漏太多了，故弃用这一篇，新版将在不久后投稿。 以下是原文 前言 本文是近日对图灵完备的学习所做的笔记,如有错误还请指正. 本文包含以下内容: 1.什么是图灵机?什么是图灵完备?什么是Brianfuck? 2.对图灵机的简单模拟. 3.使用Brianfuck模拟一个简 阅读全文