Giới thiệu
Giới thiệu tool, library, project, đánh giá chi tiết, danh sách curated
36 bài viết
Lean 4 và bài toán verify toán tài chính bằng proof chính thức
Một thư viện Lean 4 mới cho phép formally verify các định lý toán tài chính nghe có vẻ hàn lâm nhưng implications của nó với fintech rất đáng bàn.

SonarQube Security: Bắt lỗi bảo mật trước khi lên production
SonarQube không chỉ check code quality nó còn là lớp bảo vệ đầu tiên chống lại SQL injection, XSS và hàng loạt lỗ hổng bảo mật nguy hiểm khác.
FreeForm: Khi NVIDIA làm simulation vật lý nhanh hơn 100x
NVIDIA Research vừa công bố FreeForm một kỹ thuật simulation biến dạng vật thể real-time dựa trên particle skinning eigenmodes, nhanh hơn FEM truyền thống hàng trăm lần.
State Management trong React: Chọn đúng tool cho đúng việc
Từ useState đơn giản đến Zustand, TanStack Query khi nào dùng gì, tại sao, và những sai lầm mình từng mắc phải.
Next.js là gì? Tại sao React SPA không còn đủ nữa
Từ empty div SEO-unfriendly đến full-stack framework với SSR, file-based routing và Server Components hành trình chuyển từ React SPA sang Next.js.
Auth trong Next.js: Middleware, Cookie và mấy thứ không ai nói cho bạn
Implement authentication flow trong Next.js từ middleware đến protected routes, cookie-based session và chọn auth library phù hợp.
Testing & Type Safety trong Next.js: Setup pipeline bài bản từ đầu
Từ TypeScript strict mode đến Playwright E2E cách mình setup một testing pipeline hoàn chỉnh cho dự án Next.js production.
Tailwind v4 + Shadcn UI: Xây Design System cho Next.js từ A đến Z
Từ CSS-first config của Tailwind v4 đến copy-paste components của Shadcn cách mình setup styling layer cho mọi dự án Next.js.
Deploy Next.js lên Production: Từ git push đến monitoring thực tế
Bài cuối series React → Next.js: tất cả những gì cần biết để đưa app lên production an toàn, từ Vercel đến self-hosted Docker.
Docker Compose: Gom hết stack vào một file, deploy bằng một lệnh
Quản lý multi-container apps không còn đau đầu khi bạn biết dùng Docker Compose đúng cách từ syntax cơ bản đến healthcheck, named volumes và networking.
AI giúp code nhanh hơn? Mình vừa mất 6 tiếng debug một dòng code
Câu chuyện thật về việc tin tưởng AI quá mức và cái giá phải trả khi không hiểu code mình đang dùng.
Game dạy mình code tốt hơn bất kỳ khóa học nào
Những bài học từ gaming tưởng vô nghĩa lại hóa ra cực kỳ applicable trong công việc dev hàng ngày.