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 🐟.
Union types in C# 15 / .NET 11 Preview 2 — syntax, implicit conversions, pattern matching semantics, null checking, and common traps.
Union types trong C# 15 / .NET 11 Preview 2 — bản chất, implicit conversion, union matching, null checking, và những cạm bẫy cần tránh.
