#Kỹ Thuật Phần Mềm

Kỹ sư phát triển thuật toán tính thứ trong tuần rất nhanh

Một kỹ sư phần mềm công bố loạt thuật toán mới giúp máy tính xác định thứ trong tuần chỉ bằng một phép nhân duy nhất, thu hút sự chú ý lớn trong cộng đồng lập trình viên.

Công Nghệ

Margaret Hamilton, người dẫn dắt phần mềm Apollo, qua đời ở tuổi 90

Margaret Hamilton, người lãnh đạo nhóm phần mềm của chương trình Apollo tại MIT và là nhà tiên phong của ngành kỹ thuật phần mềm, đã qua đời ngày 30/9 ở tuổi 90.

Công Nghệ

Shopify chuyển hệ thống chống bán trùng hàng sang MySQL

Shopify chuyển hệ thống chống bán trùng hàng tồn kho từ Redis sang MySQL 8, xử lý thành công doanh số kỷ lục 5,1 triệu USD mỗi phút trong Black Friday 2025.

Startup

Cá hang mù dạy bài học về sự mù lòa năng lực trong startup

Loài cá hang mù Mexico dạy startup công nghệ bài học đắt giá: thành công có thể khiến doanh nghiệp mất khả năng nhận ra năng lực thực sự, biến kỹ thuật cẩn thận thành đặc điểm thoái hóa.

Grokking

Google ra mắt ứng dụng Finance riêng với AI phân tích biến động giá, nhưng write-ahead log đảm bảo không mất dữ liệu khi hệ thống sập bằng cách nào?

Google ra mắt ứng dụng Finance độc lập với AI Key Moments giải thích biến động giá cổ phiếu. Bài viết giải thích write-ahead log, cơ chế nền tảng đảm bảo dữ liệu không bao giờ bị mất.

Grokking

Cursor có 1 triệu người dùng trả phí, nhưng Git quản lý phiên bản code bên dưới bằng cách nào?

SpaceX hoàn tất thương vụ mua Cursor với giá 60 tỷ USD. Bài viết giải thích cách Git sử dụng blob, tree, commit và cấu trúc DAG để quản lý phiên bản code.

Grokking

SpaceX chi 60 tỷ USD mua Cursor, nhưng SSA form biến code hỗn loạn thành dạng tối ưu cho compiler bằng cách nào?

SSA form buộc mỗi biến chỉ được gán đúng một lần, biến code thành dạng mà compiler có thể tối ưu hóa cực kỳ hiệu quả. Đây là nền tảng của LLVM, GCC và mọi trình biên dịch hiện đại.

Grokking

Cursor huấn luyện mô hình 1,5 nghìn tỷ tham số trên 100.000 GPU, nhưng monomorphization biến mã generic thành mã máy chuyên biệt bằng cách nào?

SpaceX chi 60 tỷ USD mua Cursor với mô hình 1,5 nghìn tỷ tham số. Khi AI sinh mã Rust chứa generic, monomorphization biến mã trừu tượng thành mã máy chuyên biệt cực nhanh tại thời điểm biên dịch.

AI đòi hỏi kỷ luật kỹ thuật cao hơn, không phải thấp hơn

AI có thể tạo ra code ngang với kỹ sư trung bình, nhưng điều này không loại bỏ nhu cầu kỷ luật kỹ thuật; ngược lại, nó đòi hỏi sự giám sát chặt chẽ hơn để tránh lỗi và nợ kỹ thuật.

Grokking

Cursor sinh 150 triệu dòng code mỗi ngày cho Fortune 500, nhưng ngôn ngữ lập trình được thiết kế bằng cách nào?

Cursor sinh 150 triệu dòng code mỗi ngày trên hàng chục ngôn ngữ lập trình. Bài viết giải thích cách ngôn ngữ lập trình được thiết kế từ hệ thống kiểu, mô hình bộ nhớ đến mô hình lập trình.

Meta (META) tàn phá đội ngũ kỹ thuật, chạy theo AI giá nào?

Meta đang phá bỏ nền tảng kỹ thuật 20 năm để chạy theo AI, khiến đội ngũ kỹ sư bất mãn và gây ra sự cố đáng xấu hổ nhất lịch sử công ty.

Grokking

Generational GC chia heap thành ba thế hệ để dọn rác nhanh gấp 10 lần bằng cách nào?

Generational garbage collection chia heap thành ba thế hệ dựa trên quy luật 'object trẻ chết sớm', giúp dọn bộ nhớ nhanh gấp hàng chục lần so với quét toàn bộ heap.