คลังข่าว | GeekNews

◀ ปีก่อนหน้า | ◁ เดือนก่อนหน้า | << สัปดาห์ก่อนหน้า | < วันก่อนหน้า | 2024-05-06 | วันถัดไป > | สัปดาห์ถัดไป >> | เดือนถัดไป ▷ | ปีถัดไป ▶

21

เทคโนโลยีการพิสูจน์ความถูกต้องของ Rust สำหรับโค้ดระบบระดับล่าง

(github.com/verus-lang)

Verus เป็นเครื่องมือพิสูจน์ความถูกต้องแบบคงที่สำหรับโค้ด Rust ระดับระบบที่ยังอยู่ระยะแรก แต่มีศักยภาพสูงที่จะพัฒนาไปเป็นโซลูชันสำคัญ

1 คะแนน โดย GN⁺ 2024-05-06 | 1 ความคิดเห็น

22

นินเทนโดส่งคำขอ DMCA ลบเนื้อหาที่เกี่ยวข้องกับเอมูเลเตอร์บน GitHub กว่า 8,000 รายการ

(engadget.com)

นินเทนโดส่งคำขอ DMCA เพื่อลบที่เก็บบน GitHub เกี่ยวกับเอมูเลเตอร์มากกว่า 8,000 แห่ง นำไปสู่ข้อถกเถียงเรื่องการปกป้องลิขสิทธิ์กับการอนุรักษ์เกม

4 คะแนน โดย GN⁺ 2024-05-06 | 1 ความคิดเห็น