Tag:default

All the articles with the tag "default".

• 范型检查

  Posted on:March 30, 2022 |  at 01:44 PM

  ``` A ClassCastException is thrown if a cast is found at run time to be impermissible. Some casts

• 时间轮算法

  Posted on:October 10, 2021 |  at 09:54 PM

  Hashed and Hierarchical Timing Wheels:Data Structures for the Efficient Implementation of a Timer F

• 霍尔逻辑_从快排开始

  Posted on:May 24, 2021 |  at 01:38 PM

  - [什么是霍尔逻辑](https://blog.csdn.net/Campsisgrandiflora/article/details/111410348): 霍尔逻辑由三个部分组成: -

• 堆栈

  Posted on:May 24, 2021 |  at 12:20 PM

  在x86_64中,调用栈是从高地址到低地址增长的, `%rbp`寄存器有两个核心的内容: - `0(%rbp)`也就是`%rbp`寄存器指向的寄存器内容,这个指针指向的地址也存着上一个堆栈的`%r

• 跳表

  Posted on:March 31, 2021 |  at 10:48 AM

  ## 相关阅读 - Skip Lists: A Probabilistic Alternative to Balanced Trees https://15721.courses.cs.cmu.e

• 如何写一个正确的代码

  Posted on:March 5, 2021 |  at 09:56 AM

  我们如何写一个正确的代码? 答案是形式化验证,其中一个是霍尔逻辑 举个例子 ``` 快速幂 x> 0 x/2/2 ... 必定会归到1 或者0, 所以递归会有限次 快速幂 a^x = floo

• 数理逻辑

  Posted on:November 12, 2020 |  at 10:43 AM

  数理逻辑我是没有学过的,但是感觉很像编译原理的前端

• todolist

  Posted on:October 28, 2020 |  at 11:28 AM

  1 编译原理ssa 2 tensorflow 3 vue原理 4 nlp parser 5 es的search --------------------------------- 2020-11

• 双向绑定

  Posted on:June 18, 2020 |  at 09:19 AM

  双向绑定是什么? 这个问题我一直很疑惑,直到我了解了同构和双射 所以双向绑定的本质就是视图和数据同构? 从某种角度上来说,这也是一个米田引理的应用?

• 可扩展性

  Posted on:June 11, 2020 |  at 10:04 AM

  什么是可扩展性? 我们先看有类型的情况 ``` func(int x, int y){ return x+y } ``` 这个时候输入的是两个整数返回的是一个整数 x->y->z 可扩

• 依赖和冲突

  Posted on:June 1, 2020 |  at 02:21 PM

  ## 纸带 ## state(状态) 我看到有关状态的书籍是在可计算理论相关的书籍,或者类型系统相关的书籍. ## 展开 f(f(A,B),f(D,E)) f(A,B,D,E); 循环依赖

• 范畴和米田引理

  Posted on:May 18, 2020 |  at 09:16 AM

  https://segmentfault.com/a/1190000018331788 对于计算机来说,没有类型,没有函数,也没有oom,什么都没有 那么我们的程序是怎么来的呢? 映射和等价

• 字符串和代码和编译

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

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