编程之眼

关于io_uring的两三事

Linux

io_uring 是 2019 年 Linux 5.1 内核首次引入的高性能异步 I/O 框架，能显著加速 I/O 密集型应用的性能。它有如下优点： - 统一了 Linux 异步 I/O 框架： Linux AIO 只支持 direct I/O 模式的存储文件（storage file） - 在设计上是真正的异步 I/O

convert recursion into iteration

code

数据结构和算法(data structure and algorithms)

Recursive function calls are a simple and understandable way to code. For certain problems, recursion can provide more concise code and more intuitive readability, such as…

将递归转成迭代

code

数据结构和算法(data structure and algorithms)

函数的递归调用是简单易懂的编码方式，在某些问题上，函数递归可以提供更为简洁的代码实现和更为直观的阅读理解，比如说我们很熟悉的树形结构的遍历。

trying to integrate Z3 into Typst

code

typst

Z3 Solver is an efficient and user-friendly theorem prover developed by Microsoft and made open-source. One day, I had a sudden inspiration to integrate it into Typst, as…

尝试将z3集成进typst

code

typst

Z3求解器是一个微软开源的定理证明器，高效好用。有一天我突发奇想，想将其集成进typst中，因为理论上来说定理证明器涉及不到其他环境的交互，但我想的太简单了。最终我放弃了，写此文章记录探索的过程。