logo

Blog

生命是灰色的,而理论之树常青

Designed by CaiCai
Proudly published with Zola!
  • 首页
  • 关于
  • 标签
  • 归档
  • 友链
    • 2022
        定理证明器背后的数学原理
        2022年06月24日
        midi 文件转蜂鸣器乐谱
        2022年06月05日
        交流电基础
        2022年02月28日
        电阻阻值为什么这么奇怪
        2022年02月28日
        Contention-Aware Lock Scheduling 和 (b)LDSF 算法
        2022年02月08日
        Mitchell Merritt 分布式死锁检测算法
        2022年01月26日
      2021
        自动机理论 • 有限状态机
        2021年07月22日
        自动机理论 • 基本概念
        2021年07月22日
        重新开始学数学 • 数理逻辑(3)
        2021年07月06日
        自动逻辑综合原理 • 组合逻辑与 LUT 的最简单的综合
        2021年04月25日
        macOS 用户也要玩 FPGA!
        2021年04月24日
        RoCC RISC-V 扩展方案
        2021年04月19日
        内联汇编 cheatsheet
        2021年04月18日
        Hack RISC-V 指令集
        2021年04月17日
        重新开始学数学 • 数理逻辑(2)
        2021年03月25日
        重新开始学数学 • 数理逻辑(1)
        2021年01月12日
      2020
        分布式系统 • 时钟
        2020年12月10日
        Parsing • LR(0)分析
        2020年05月22日
        Parsing • 移进-归约分析
        2020年05月22日
        Parsing • LL(1)文法的分析,以及First集和Follow集究竟是什么
        2020年05月17日
        Parsing • 最简单的 Parser 写法——含回朔的递归自顶而下分析
        2020年05月17日
        分布式系统 • 两阶段提交
        2020年04月23日
        分布式系统 • CAP 定理
        2020年04月23日
        分布式系统 • 基本概念
        2020年04月22日
        Hello zola!
        2020年01月02日
      2018
        Flexbox 布局 cheatsheet
        2018年04月09日