คลังข่าว | GeekNews

◀ ปีก่อนหน้า | ◁ เดือนก่อนหน้า | << สัปดาห์ก่อนหน้า | < วันก่อนหน้า | 2026-04-16 | วันถัดไป > | สัปดาห์ถัดไป >> | เดือนถัดไป ▷

41

Lean พิสูจน์ความถูกต้องของโปรแกรมได้ แต่กลับพบบั๊กอยู่ภายในนั้น

(kirancodes.me)

การทำ fuzzing กับอิมพลีเมนเทชัน zlib ที่ผ่านการพิสูจน์ด้วย Lean พบช่องโหว่ใน Lean 4 runtime และส่วนที่ไม่ได้ผ่านการพิสูจน์ แม้โค้ดที่พิสูจน์แล้วเองจะยังแข็งแรงมาก

1 คะแนน โดย GN⁺ 2026-04-16 | 1 ความคิดเห็น

42

สเปนขยายการบล็อกอินเทอร์เน็ตไปถึงช่วงถ่ายทอดเทนนิส กอล์ฟ และภาพยนตร์

(bandaancha.eu)

สเปนขยายคำสั่งบล็อกอินเทอร์เน็ตแบบอิง IP ไปยังคอนเทนต์กีฬาและบันเทิงหลากหลายประเภท พร้อมเพิ่มผลกระทบต่อผู้ให้บริการและเว็บไซต์ปกติในวงกว้าง

2 คะแนน โดย GN⁺ 2026-04-16 | 1 ความคิดเห็น

43

เครื่องมือสำหรับซิงก์ Claude Code/Codex Skills จาก Git repository แบบอัตโนมัติ

(github.com/leshleekor)

สคริปต์ที่ซิงก์ Claude Code และ Codex Skills จาก Git repository ไปยังไดเรกทอรีโลคัลแบบอัตโนมัติ พร้อมรองรับ hook และการกรอง Skill ที่ต้องการ

1 คะแนน โดย leshlee 2026-04-16 | ความคิดเห็นและการสนทนา