Phần mềm — Tin tức công nghệ - Công ty TNHH công nghệ Lê Huy

Công cụ trực quan hóa quy hoạch tuyến tính chạy ngay trên trình duyệt

Công nghệ/17/10/2026

New York đề xuất luật buộc game thủ phải thực sự sở hữu game, không chỉ mua giấy phép

Công nghệ/18/10/2026

Lỗi Codex Desktop trên macOS: tự sinh hàng trăm GB file rác, có máy "chết" ổ cứng chỉ sau vài tháng

Công nghệ/17/10/2026

Chrome và Edge sắp khai tử XSLT: điều gì sẽ hỏng, điều gì vẫn an toàn?

Công nghệ/17/10/2026

Microsoft bắt tay CMU đào tạo kỹ sư phần mềm trẻ trong kỷ nguyên AI

Microsoft và Đại học Carnegie Mellon (CMU) hợp tác triển khai chương trình PRAISE, giúp các kỹ sư phần mềm mới vào nghề vừa làm việc tại công ty vừa học các khóa về AI và kỹ nghệ phần mềm do CMU giảng dạy trực tuyến. Sáng kiến này nhằm bù đắp khoảng trống kỹ năng khi AI đang thay đổi nhanh chóng cách viết và phát triển phần mềm.

Phần mềmMới

AI viết code, nhưng ai kiểm chứng? Bài toán xác minh phần mềm thời đại tác nhân AI

Khi các lập trình viên ngày càng giao phó việc viết code cho AI, tốc độ tạo ra mã nguồn tăng vọt nhưng kéo theo lượng lỗi, thời gian review và sự cố sản xuất gia tăng. Bài viết phân tích các công cụ review code bằng AI hiện có và đề xuất xây dựng quy trình xác minh phần mềm tự động nhiều tầng để giữ vững chất lượng.

Replit chấm dứt hợp tác với Anthropic, chuyển sang OpenAI làm đối tác mặc định

CEO Amjad Masad xác nhận Replit không còn hợp tác với Anthropic vì lý do chi phí, hiệu suất và đối tác. OpenAI giờ là nhà cung cấp mô hình mặc định cho nền tảng lập trình AI này, dù người dùng vẫn có thể chọn Claude.

Things to Do API: API dữ liệu sự kiện địa phương dành cho ứng dụng AI

Một lập trình viên độc lập vừa giới thiệu Things to Do API trên Hacker News — dịch vụ cung cấp dữ liệu sự kiện địa phương như concert, hội chợ, pop-up và buổi diễn thuyết, tối ưu cho các tác nhân AI (AI agent). Hiện API phủ khu vực vịnh San Francisco với cả hai giao diện REST và MCP, và đang cân nhắc mở rộng sang các thành phố khác.

16/10/2026

Một người hoài nghi lần đầu tiếp cận Kubernetes: Góc nhìn từ bên trong

Một kỹ sư hạ tầng lâu năm, vốn né tránh Kubernetes vì công việc cần kiểm soát chặt chẽ vị trí triển khai, đã quyết định tìm hiểu thực chất thay vì dựa vào định kiến. Bài viết phân tích các khái niệm cốt lõi như vòng lặp điều khiển, Service, workload và lưu trữ, đồng thời nêu những điểm mạnh lẫn các câu hỏi còn bỏ ngỏ.

Estonia công bố mã nguồn hệ thống bỏ phiếu trực tuyến để cộng đồng cùng kiểm chứng

Estonia vừa đưa mã nguồn hệ thống bỏ phiếu trực tuyến IVXV lên GitHub nhằm phục vụ việc rà soát công khai. Đây là mã nguồn thực tế được dùng trong các kỳ bầu cử có giá trị pháp lý, dưới sự giám sát của Ủy ban Bầu cử Quốc gia Estonia.

Pele: Thư viện mã nguồn mở biến sơ đồ Mermaid thành SVG tùy biến giao diện

Pele là thư viện mã nguồn mở nhẹ, chuyển cú pháp Mermaid thành SVG với dung lượng chỉ 230 kB và tốc độ kết xuất nhanh gấp nhiều lần Mermaid.js. Điểm nổi bật là khả năng tùy biến màu sắc, phông chữ hoàn toàn bằng biến CSS mà không cần kết xuất lại sơ đồ.

tsc-ts: Trình biên dịch TypeScript 7.0.2 được viết lại hoàn toàn bằng TypeScript

Vercel Labs công bố tsc-ts, một cổng thử nghiệm của trình biên dịch TypeScript 7.0.2 (tsgo) được viết lại bằng TypeScript thuần và biên dịch sang mã máy thông qua scriptc. Dự án đạt kết quả khớp hoàn toàn với bản gốc trên bộ kiểm thử khoảng 12.500 tệp của TypeScript và hỗ trợ cả giao diện dòng lệnh lẫn máy chủ --api.

Duck Pond – Dự án tổng hợp âm thanh vịt sống động bằng thuật toán

Một lập trình viên đã chia sẻ Duck Pond trên Hacker News, một dự án tổng hợp âm thanh vịt theo thời gian thực. Toàn bộ tiếng kêu của đàn vịt trời được tạo ra bằng thuật toán thay vì ghi âm, mang lại trải nghiệm âm thanh không gian ấn tượng và mở ra hướng đi thú vị cho lĩnh vực tổng hợp âm thanh thủ tục.

Nhân Linux 7.2: Số bản vá tăng vọt hơn gấp đôi nhờ làn sóng LLM

Nhân Linux 7.2 vừa ra mắt với số lượng commit và lập trình viên tham gia cao thứ hai trong lịch sử, nhưng điểm đáng chú ý nhất là số bản vá sửa lỗi tăng hơn gấp đôi kể từ tháng 4/2026. Nguyên nhân được cho là sự bùng nổ của các mô hình ngôn ngữ lớn (LLM) trong việc tìm kiếm lỗi, đặt ra câu hỏi lớn về chất lượng và khả năng bảo trì mã nguồn trong tương lai.

Năm 1982, các nhà khoa học đã tiên đoán tương lai của lập trình — và nhiều dự báo vẫn đúng đến hôm nay

Bài báo của A.I. Wasserman và S. Gutz xuất bản trên ACM năm 1982 đưa ra những dự báo về tương lai của lập trình, từ trí tuệ nhân tạo đến kỹ nghệ phần mềm. Hơn bốn thập kỷ sau, nhiều luận điểm trong đó vẫn còn nguyên giá trị tham khảo cho giới phát triển phần mềm Việt Nam.

Phần mềmMới

Esp32sim: chạy firmware ESP32 trực tiếp trên trình duyệt bằng Rust và WebAssembly

Dự án mã nguồn mở Esp32sim mang đến trình giả lập ESP32 viết bằng Rust, mô phỏng ở mức lệnh cho bốn dòng chip ESP32-S3, ESP32-C3, ESP32-C6 và ESP32 cổ điển, khởi động từ ROM thật đến FreeRTOS rồi ứng dụng mà không cần chỉnh sửa firmware. Nhờ biên dịch sang WebAssembly, lập trình viên có thể nạp và chạy firmware ESP32 ngay trong trình duyệt mà không cần cài đặt gì.

Công ty ad-tech bị tố là vỏ bọc phát tán phần mềm gián điệp đánh thuê

Báo cáo mới của Citizen Lab cho thấy một công ty quảng cáo công nghệ có trụ sở tại Israel đã lợi dụng hệ thống quảng cáo của Google, Facebook và nhiều nền tảng lớn khác để phát tán phần mềm gián điệp nhắm mục tiêu cụ thể. Kẻ tấn công chỉ cần người dùng mở một trang web hoặc ứng dụng là đủ để chiếm quyền điều khiển thiết bị mà không cần bất kỳ thao tác nào.

Nghệ thuật dựng bầu trời đẹp trong game Around The World

Nhà phát triển Thomas ten Cate chia sẻ quá trình tinh chỉnh bầu trời trong game khám phá đại dương Around The World, từ việc tự viết ray tracer để sửa lỗi tán xạ ánh sáng đa lớp trong mây cho đến mẹo uốn cong đường chân trời và tinh chỉnh tone mapping. Bài viết hé lộ nhiều thủ thuật đồ họa thú vị mà bất kỳ lập trình viên game nào cũng có thể học hỏi.

16/10/2026

Lỗ hổng đo lường trong quy trình kiểm định mô hình lượng tử hóa

Hầu hết các quy trình kiểm định mô hình lượng tử hóa (quantization) chỉ dựa trên các chỉ số độ chính xác không phụ thuộc ngưỡng, khiến chúng không thể phát hiện một lỗi nghiêm trọng: ngưỡng quyết định (threshold) đã bị lệch sau khi lượng tử hóa. Bài viết phân tích vì sao các cổng kiểm định hiện tại "mù" trước lỗi này và đề xuất hai chỉ số FAR/FRR đo tại đúng ngưỡng thực tế để bịt lỗ hổng đó.