SeL4 พิสูจน์ความปลอดภัยครบแล้วบน AArch64
Proofcraft สร้างบทพิสูจน์ว่า seL4 บังคับความลับบน AArch64 ได้ครบแล้ว ครอบคลุมการแยกความปลอดภัยของแอปพลิเคชัน พร้อม MCS บน RISC-V และ Dynamic Domain Scheduler
หน้า 12
Proofcraft สร้างบทพิสูจน์ว่า seL4 บังคับความลับบน AArch64 ได้ครบแล้ว ครอบคลุมการแยกความปลอดภัยของแอปพลิเคชัน พร้อม MCS บน RISC-V และ Dynamic Domain Scheduler
Vercel ปรับระบบ Environment Variables ให้เลือกประเภท Config หรือ Secret แทนสวิตช์ Sensitive โดย Config อ่านค่าได้หลังบันทึก ส่วน Secret ใช้กับรหัสผ่าน API keys และ tokens โดยสมาชิกดูค่าไม่ได้หลังบันทึก
Amazon ปรับขึ้นราคาอุปกรณ์ฮาร์ดแวร์หลายรุ่นสูงสุด 60% ครอบคลุม Fire TV, Echo, Kindle และ Eero โดย Echo Dot เพิ่มจาก 49.99 ดอลลาร์เป็น 79.99 ดอลลาร์ พร้อมชี้ว่าต้นทุนหน่วยความจำและพื้นที่จัดเก็บข้อมูลสูงขึ้น
CD Projekt Red ตั้งเป้าเปิดตัว The Witcher 4 ในช่วงปี 2028 พร้อมโชว์เนื้อหาเสริม Witcher 3: Songs of the Past ในงาน Gamescom ซึ่งมีกำหนดวางจำหน่ายในช่วงปี 2027
Instinct ผู้ช่วย AI ส่วนตัวที่เชื่อมต่ออีเมล ปฏิทิน แอปแชท และอุปกรณ์ กำลังถูกผู้ใช้ทดสอบตั้งข้อกังวลจากข้อกำหนดการใช้งานที่กว้างและพฤติกรรมเก็บข้อมูลแม้ตัดการเชื่อมต่อ
หน่วยงานคุ้มครองข้อมูลส่วนบุคคลของเนเธอร์แลนด์ปรับ Uber 825 ล้านยูโร หรือราว 966 ล้านดอลลาร์ จากการใช้ระบบอัตโนมัติระงับบัญชีคนขับโดยไม่มีมนุษย์ตรวจสอบเพียงพอ
Ox Alpha โมเดล AI ฟรีแบบ stealth ถูกปล่อยบน OpenRouter โดยผู้พัฒนาไม่เปิดเผยตัวตน ระบุว่าเป็นโมเดลเหตุผลสำหรับงานโค้ด งาน agent ยาว และงาน production ทำให้เกิดกระแสคาดเดาว่าใครอยู่เบื้องหลัง
Inherent สตาร์ทอัพ AI จากลอนดอนที่ก่อตั้งโดยอดีตทีม Google DeepMind เผย Faraday เอเจนต์ AI ที่ใช้โมเดล Qwen 3.6 ขนาด 27 พันล้านพารามิเตอร์ ทำซ้ำผลวิจัยจากบทความวิทยาศาสตร์ได้เหนือ Claude Opus 4.8 และ GPT-5.5
ศาลสั่ง Anthropic จ่ายค่าชดเชยลิขสิทธิ์ 1.5 พันล้านดอลลาร์จากกรณีใช้หนังสือจากคลังออนไลน์ผิดกฎหมายเทรนโมเดล แต่ชี้ว่าการเทรน AI เองไม่ผิดลิขสิทธิ์ ทำให้ประเด็น fair use ยังคลุมเครือ
รายงานของ Bloomberg ระบุว่ากระทรวงยุติธรรมสหรัฐฯ กำลังสอบสวน Andreessen Horowitz หรือ a16z จากกรณีถือที่นั่งบอร์ดบริษัท AI ที่กลายเป็นคู่แข่ง ทำให้ VC หลายคนบอก TechCrunch ว่ารู้สึกงุนงง