Lưu trữ | GeekNews

◀ Năm trước | ◁ Tháng trước | << Tuần trước | < Ngày trước | 2026-04-16 | Ngày sau > | Tuần sau >> | Tháng sau ▷

41

Lean đã chứng minh tính đúng đắn của chương trình, nhưng vẫn phát hiện lỗi bên trong

(kirancodes.me)

Fuzzing một bản triển khai zlib đã được Lean kiểm chứng đã phát hiện tràn bộ đệm heap trong runtime Lean 4 và một lỗ hổng DoS trong phần archive chưa được kiểm chứng.

1 điểm bởi GN⁺ 2026-04-16 | 1 bình luận

42

Tây Ban Nha mở rộng chặn Internet sang cả khung giờ phát sóng quần vợt, golf và phim ảnh

(bandaancha.eu)

Tây Ban Nha đang mở rộng biện pháp chặn Internet theo IP sang các khung giờ phát sóng thể thao, phim và series, với nguy cơ chặn nhầm cả website hợp pháp.

2 điểm bởi GN⁺ 2026-04-16 | 1 bình luận

43

Công cụ tự động đồng bộ Claude Code/Codex Skills từ Git repository

(github.com/leshleekor)

Một công cụ script giúp tự động đồng bộ Claude Code/Codex Skills từ Git repository vào thư mục local và hỗ trợ lọc, hook cùng cơ chế an toàn khi lỗi.

1 điểm bởi leshlee 2026-04-16 | Bình luận và thảo luận