1. 什么时候才应该造轮子?

    为什么我的前公司的同事们最终没有使用封装好的 Amount,还是在使用 jdk BigDecimal?

    2025/06/11 总结

  2. Y 组合子的推导过程

    再推一遍仍然令人感叹啊,define 也能被实现了,就像是公理突然退化成了定理一样,整个推导过程也令人头晕。

    2025/06/07 Scheme FP

  3. IO 中的数据拷贝消耗

    IO 中存在很多次重复的数据拷贝,带来很多资源消耗。

    2025/05/05 操作系统

  4. 五种 IO 模型与它们背后的消耗

    不同的 IO 模型之间有什么区别?在逐渐演进的过程中,哪些问题得到改善了,哪些没有?我们应该怎么选择自己业务逻辑应该使用的 IO 模型?

    2025/05/05 操作系统

  5. MySQL 的幻读与 MVCC,锁

    众所周知,数据库的事务隔离级别有四种,后一种解决了前一种所存在的一种并发性问题。MySQL 默认隔离级别为 RR,可重复读,而它额外做了一些操作来防止幻读,但又没完全防止,不然它就是串行化了。那么它是怎么做的呢?

    2025/01/22 database

  6. SICP Exercise in chapter3

    Let's learn some SICP. I'm not done, yet.

    2024/11/08 FP SICP Scheme

  7. SICP Exercise in chapter2

    Let's learn some SICP. Indeed.

    2024/10/14 FP SICP Scheme

  8. SICP Exercise in chapter1

    Let's learn some SICP. It's chill so far.

    2024/10/01 FP SICP Scheme

  9. OCaml 99 问题笔记(Miscellaneous 部分)

    学了点 FP,趁热打铁,试试 OCaml 和他的这些函数式问题。

    2024/09/13 FP OCaml

  10. OCaml 99 问题笔记(Graphs 部分)

    学了点 FP,趁热打铁,试试 OCaml 和他的这些函数式问题。

    2024/09/13 FP OCaml