Khám phá
Review, giới thiệu tool/project, trải nghiệm, kinh nghiệm
Bài viết mới nhất
IAM Deep Dive: Đừng để AWS account của bạn thành cái bẫy
IAM không chỉ là tạo user và gán quyền. Hiểu sai IAM là con đường ngắn nhất để production bị breach hoặc bill AWS tăng vọt.
AWS cho Developer: Hiểu đúng từ đầu để không phải khóc sau
Từ IAM, VPC đến Well-Architected Framework mọi thứ bạn cần nắm trước khi deploy app lên AWS lần đầu.
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.
Giới thiệu
View MoreLean 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.
Kinh nghiệm
View MoreIAM Deep Dive: Đừng để AWS account của bạn thành cái bẫy
IAM không chỉ là tạo user và gán quyền. Hiểu sai IAM là con đường ngắn nhất để production bị breach hoặc bill AWS tăng vọt.
AWS cho Developer: Hiểu đúng từ đầu để không phải khóc sau
Từ IAM, VPC đến Well-Architected Framework mọi thứ bạn cần nắm trước khi deploy app lên AWS lần đầu.
GLR: Khi LLM suy luận bằng hình học thay vì viết dài dòng
Geometric Latent Reasoning giúp LLM suy luận ngắn hơn đáng kể mà không cần dạy nó phải viết ngắn bằng cách đưa reasoning vào không gian embedding liên tục.