Arşiv | GeekNews

◀ Önceki yıl | ◁ Önceki ay | << Önceki hafta | < Önceki gün | 2024-05-06 | Sonraki gün > | Sonraki hafta >> | Sonraki ay ▷ | Sonraki yıl ▶

21

Rust doğrulama teknolojisi, düşük seviye sistem kodunda uygulanıyor

(github.com/verus-lang)

Verus, Rust kodunu tüm olası çalıştırmalar için derleme zamanında doğrulayan ve gelişimi sürdürülen güçlü bir statik doğrulama aracı sunuyor.

1 puan yazan GN⁺ 2024-05-06 | 1 yorum

22

Nintendo, emülatörle ilgili olarak GitHub'da 8.000'in üzerinde DMCA kaldırma talebi gönderdi

(engadget.com)

Nintendo, Switch emülatörü kodunu barındıran 8 binden fazla GitHub reposuna DMCA kaldırma bildirimi göndererek emülatör tartışmalarını yeniden alevlendirdi.

4 puan yazan GN⁺ 2024-05-06 | 1 yorum