编程之眼

经典策略总结

strategy

思想：使用唐奇安通道，设置上轨，中轨，下轨。

thread_local_value实现原理

多线程

今天无意看到了yalantinglibs，雅兰亭库，名字很优雅，也很强大，是阿里开源的一个现代C++基础工具库的集合。看到里面的实现尤为惊天。其中的thread_local_value类打开了我新世界的大门。

左值和右值

C++

C++的左值和右值是比较有理解难度的概念。每个 C++ 表达式都有一个类型，属于某个值类别。值类别是编译器在表达式计算期间创建、复制和移动临时对象时必须遵循的规则的基础。

C++的内存序

C++

在现代CPU中，指令的执行顺序可能会被CPU重排序，乱序执行从而提高执行的性能。这导致在某些情况在任意时刻得到的结果并不会按照预期顺序执行的一样。内存序就是控制CPU重排序的程度。

shared_ptr底层原理

C++

shared_ptr 原理是引用计数。每多一个shared指针指向同一个对象时，引用+1，而析构则相反，如果计数为零，则保存的指针被删除。

用互斥锁实现读写锁

多线程

字节有一道面试题：

数据库笔记1-现代SQL

数据库(database)

SQL用于关系数据库的声明式查询语言。它最初是在1970年代作为IBM System R项目的一部分开发的。IBM最初称它为“SEQUEL”（结构化英语查询语言）。这个名称在1980年代改为“SQL”（结构化查询语言）。

关于io_uring的两三事

Linux

io_uring 是 2019 年 Linux 5.1 内核首次引入的高性能异步 I/O 框架，能显著加速 I/O 密集型应用的性能。它有如下优点：

对接雨水问题的思考

algorithm

今天回顾了一道题目

无锁线程安全的方法

C++

在多线程编程中，确保线程安全是保证程序正确性和稳定性的关键。以下是一些常见的线程安全方法及其应用场景。

吃透Dijkstra算法

algorithm

PAT甲级有一道关于真题 All Roads Lead to Rome

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中，因为理论上来说定理证明器涉及不到其他环境的交互，但我想的太简单了。最终我放弃了，写此文章记录探索的过程。