Software Engineer building mobile apps, backend services, and open-source tools.
I'm Petrus Nguyễn Thái Học (hoc081098), a software engineer based in Da Nang, Vietnam. I build mobile apps, backend services, and open-source tools with a focus on clean architecture and reactive systems — and I share what I learn through open-source contributions and technical writing on Medium.
Deep dive vào Kotlin ArrayDeque: circular buffer layout, physical vs logical index, capacity growth 1.5x, amortized O(1) analysis, và những trade-off đằng sau một data structure tưởng chừng đơn giản.
Kleisli biểu diễn một effectful function A -> M<B>. Nếu M là Monad, andThen (>=>) cho phép compose các effectful arrows — đây là Kleisli composition, hay còn gọi là Right Fish operator 🐟.