Concurrency in Clojure, Racket, and Gerbil Scheme

» Read More


On Communication

Reading List.

» Read More


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


Guide to Serve Machine Learning Models in Production

Here’s a simple checklist for people who deploy machine learning models to production. Based on my personal experience.

» Read More


Running a Service in Production without Losing Your Sanity

» Read More


The Golden Age of New Programming Languages

2020 is going to be the golden age of new programming languages.

» 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


Cheney on the M.T.A

如果問軟體工程師他覺得簡潔又經典的文章,我想很多人會回答你這篇:Cheney on the M.T.A.

» Read More


Structured Concurrency

Thread 跟 Coroutine 是兩種常常用來處理 Concurrency 的工具。

使用這兩個工具時,很麻煩的一點就是需要手動管理他們的生命週期。本質上,Thread 跟 Coroutine 都是 global scope,不管你如何建立,他們都獨立在原本的程式順序之外。

常見的例子是,如果你在 main 建立一個新的 thread,main 並不會等 thread 結束,而需要你手動 join thread,在複雜的情況(例如 cancel、timeout)便相當容易出錯。

而 Structured Concurrency 就是試圖將 Thread 的生命週期與大家都很熟悉的 scope 結合。

» Read More


工程師的英文寫作能力

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

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

» Read More


Go,七年後

開始接觸 Go 到現在也已經過了 7 年了啊… 最近又有機會拿出 Go 出來寫寫,隨手寫一下感受。

» Read More