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

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

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