Domain Modeling Made Functional

Notes on the book Domain Modeling Made Functional: Tackle Software Complexity with Domain-Driven Design and F#.

» Read More


Zero Trust Network

Notes on the book Zero Trust Network.

» Read More


OCaml Quickstart

OCaml is a great language. However, the tooling for newbies is kinda confusing. Here’s a guide to setup a working OCaml development environment in neovim on MacOS.

» Read More


Benchmarking VPS for Remote Rust Development Environment

» Read More


Ripgrep Cheat Sheet

» Read More


Notes on The Signal Protocol

So, I assume you’re already familiar with Public-key cryptography and Diffie-Hellman key exchange. If not, there are lots of good materials about them. Check them out first!

Public-key cryptography is a solid, well-studied foundation for today’s modern encryption and privacy. PGP, Diffle-Hellman, and RSA are all well-known. However, if you want to develop something with encryption, they might be not enough.

» Read More


工程師的英文寫作能力

寫作能力一直是工程師實力一個很重要的指標。

能清楚的透過文字表達,在寫規格、文件時都很重要。在這個非同步的遠端工作時代,文字能力也幾乎直接代表了團隊合作的能力。

» Read More


Notes on the Implementation of Lua 5.3

Notes on the Implementation on Lua 5.3 is a collection of my notes on the Lua 5.3 source code. It’s a mix of both high-level ideas and interesting details in the source code.

» Read More


The Design of Everyday Things

雜亂筆記

» Read More