Lưu trữ | GeekNews

◀ Năm trước | ◁ Tháng trước | << Tuần trước | < Ngày trước | 2024-05-06 | Ngày sau > | Tuần sau >> | Tháng sau ▷ | Năm sau ▶

21

Công nghệ xác minh Rust, áp dụng cho mã hệ thống mức thấp

(github.com/verus-lang)

Verus là công cụ kiểm chứng tĩnh cho mã Rust nhằm tăng tính an toàn cho code hệ thống, đặc biệt hữu ích cho xác minh song song.

1 điểm bởi GN⁺ 2024-05-06 | 1 bình luận

22

Nintendo gửi hơn 8.000 yêu cầu gỡ theo DMCA liên quan đến trình mô phỏng trên GitHub

(engadget.com)

Nintendo vừa đẩy mạnh hơn 8.000 yêu cầu gỡ DMCA liên quan đến emulator trên GitHub, làm dấy lên lo ngại về tác động của các biện pháp này tới bảo tồn trò chơi và quyền sở hữu trí tuệ.

4 điểm bởi GN⁺ 2024-05-06 | 1 bình luận