#Testing

3 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

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.

Nguyễn Nhật Long
6 phút
SonarQube security scan workflow diagram showing source code flowing through static analysis engine, security rules being applied per language, severity classification, and results consolidated in a central dashboard with issue tracking and assignment features, clean flat design with blue and green accent colors

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.

Nguyễn Nhật Long
7 phút
Testing & Type Safety trong Next.js: Setup pipeline bài bản từ đầu

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.

Nguyễn Nhật Long
6 phút
#Testing — Stacklog