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
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
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