电阻阻值为什么这么奇怪，以及配出你要的阻值的工具

MySQL 8.0.3 引入了 LDSF 事务调度算法，这是一种竞争感知调度算法，本文结合原论文介绍了这个算法。

本文介绍了 Mitchell Merritt 分布式死锁检测算法。

本章介绍最为常见的有限状态机以及其可以识别的语言类——正规语言。

本文搜集了自动机理论中的一点基本概念，以备后续学习过程中参考。

欲练PLT神功，必先学好数学，而其中最重要的一个分支即为数理逻辑。现在我在看 LOGIC IN COMPUTER SCIENCE 来重新学习离散数学里学过一丁点的数理逻辑……本章记录数理逻辑中 model 和相关概念的定义

看到有人单枪匹马写 Verilog 综合器我真的羡慕了，于是我稍微探索了下自动逻辑综合的原理。

以前玩 Xilinx 家的 FPGA，被迫装了个 Windows （我 Ubuntu 都跑不了那个 ISE，据说要红帽才行），现在入了一块 iCESugar-Pro，能用上这个开源工具链了，试了一下 macOS 上也能装起来，那我爽了 😊

本文将介绍 RISC-V 的 RoCC 加速器扩展方案。

内联汇编的一万种输入输出寄存器方式我永远也记不住啊😭