Posts

All the articles I've posted.

• 字符串和代码和编译

  Posted on:April 27, 2020 |  at 01:01 PM

  代码是一堆字符串 代码会映射操作 然后这个就是一个编译的过程 所以编译就是一个映射的过程 很多编程语言其实都很像的,比如php和sql ,php的函数会放到一个全局的function_ta

• coding

  Posted on:April 15, 2020 |  at 07:13 PM

  我很蠢,什么都不会,代码也不会写 我只是喜欢一个我不存在的东西 我觉得写工作的代码很恶心 但是我喜欢修bug 最近最开心的是给`php-src`提了两个pr并且通过了 ,但是我还是不会写

• golang compile

  Posted on:April 10, 2020 |  at 07:43 AM

  golang 的 lex和parse 在`src\cmd\compile\internal\gc\main.go`开始 核心步骤 - parseFiles lex and par

• a language to machine code

  Posted on:April 8, 2020 |  at 09:09 AM

  计算机语言是什么? 我感觉是一个数学系统 编译成机器码是什么? 是绑定了动作 // lex parse 类型系统 ssa asm elf abi ``` keyword :

• ssa optimistic

  Posted on:March 16, 2020 |  at 04:45 PM

  ## 优化的本质是什么呢? 比如ssa,是减少死代码,通过常量传播和常量折叠减少运行时的计算 比如sql的逻辑优化: 就是一个逻辑下推 通过变换减少读io ## 编译的一般步骤: lex

• 规则系统

  Posted on:March 15, 2020 |  at 07:31 PM

  我一直对所谓的可扩展性什么的很有疑惑，或者说我们要怎么设计一个规则系统，怎么知道这个规则的集合的边界在哪里 第一个例子： 流水线 流水线上每个节点都是一个回调，我们可以随意添加或者删除

• math

  Posted on:March 10, 2020 |  at 12:38 PM

  其中一种是基于锁 我之前一直对acid理解有问题，锁和事务的关系，其实是这样的： 1 read(x) 和write(x)是不可以交换顺序的 2 write(x) write(x) 是不可以交换顺序

• induction

  Posted on:March 4, 2020 |  at 12:17 PM

  ## 前言 归纳法是一个很特别的推理方式。使用自然数的映射。（我的理解可能不太对） ## Mathematical induction 数学归纳法 - P(0) is true - If P(

• 编译原理

  Posted on:February 20, 2020 |  at 02:24 PM

  ## 什么是编译？ 一个从一种状态集转换为另外一个状态集的过程 ## 什么是优化？ ## 什么是类型，类型就是集合的约束 一个类型就是一个集合 ## 什么是隐式转换 就是一个集合被编译器材*

• php 反射

  Posted on:January 7, 2020 |  at 05:33 PM

  反射是一个很特别的api,php的反射是一个很特别的回调 ``` (gdb) bt #0 zim_reflection_class_hasProperty (execute_data=0x7ff