The journey of g0v.social

Slides for g0v summit 2020.
Read more

A Taste of OCaml's Predictable Performance

eqaf, a constant-time compare function implementation in OCaml, is a great case to demonstrate the predictable performance of OCaml’s compiler. Why?

在 iPad 上布置軟體開發環境

五月買了 iPad Pro 跟 巧控鍵盤 後,大部分的需求 iPad Pro 都能直接滿足,除了寫程式以外。摸索了一陣子之後總算找到順手又省錢的寫程式方式了,這篇簡單記錄一下。
Read more

Concurrency in Clojure, Racket, and Gerbil Scheme

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

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