แท็ก

#CUDA

4 บทความ

Bend 2 มาแล้ว: ภาษาที่ให้คุณเขียน 'กฎ' แล้วบังคับให้ AI พิสูจน์ว่าโค้ดไม่ละเมิด — type checker เร็วกว่า Rocq 20 เท่า แต่ตัวเลขบนหน้าเว็บมีข้อควรอ่าน
เครื่องมือนักพัฒนา

Bend 2 มาแล้ว: ภาษาที่ให้คุณเขียน 'กฎ' แล้วบังคับให้ AI พิสูจน์ว่าโค้ดไม่ละเมิด — type checker เร็วกว่า Rocq 20 เท่า แต่ตัวเลขบนหน้าเว็บมีข้อควรอ่าน

16-17 ก.ย. ทีม HigherOrderCO ปล่อย Bend 2 ภายใต้ Apache-2.0 พร้อมแนวคิด LAWS.bend — ไฟล์ที่คุณประกาศกฎที่แอปห้ามละเมิด แล้ว compiler จะไม่ยอมให้ AI merge โค้ดจนกว่าจะพิสูจน์ได้ว่ากฎยังอยู่ ตัวเลข benchmark ในรีโปยืนยันว่า checker เร็วจริง (0.295 วิ เทียบ Rocq 5.985 วิ, Lean 36.177 วิ) แต่คำโฆษณา 'เร็วเท่า C บนคอร์เดียว' อ่านจาก pin ของเขาเองแล้วยังช้ากว่า C ใน 15 จาก 16 เบนช์

· อ่าน 8 นาที
NVIDIA เปิด CUDA Rust สองเส้นทาง เขียน GPU kernel เป็น Rust คอมไพล์ลง PTX ตรง — cutile-rs ใช้ได้จริงบน stable แล้ว ส่วน cuda-oxide ยัง early alpha
เครื่องมือนักพัฒนา

NVIDIA เปิด CUDA Rust สองเส้นทาง เขียน GPU kernel เป็น Rust คอมไพล์ลง PTX ตรง — cutile-rs ใช้ได้จริงบน stable แล้ว ส่วน cuda-oxide ยัง early alpha

NVIDIA ประกาศ CUDA Rust เมื่อ 8 ก.ย. 2026 (เราตามเก็บช้า หลังเรื่องกลับมาเป็นกระแสบน Hacker News วันที่ 16 ก.ย.) เปิดสองโปรเจกต์คู่กัน cuda-oxide เป็น rustc codegen backend แปลง kernel แบบ SIMT ลง PTX ตรงผ่าน Pliron IR และ cutile-rs เป็น DSL แบบ tile ที่ JIT ผ่าน CUDA Tile IR ทั้งคู่ Apache-2.0 ทำงานเฉพาะ Linux และ compute capability 8.0 ขึ้นไป โดย cutile-rs ถูกใช้จริงแล้วใน Grout ของ Hugging Face และ mistral.rs ขณะที่ NVIDIA ระบุเองว่าทั้งสองยังไม่พร้อม production

· อ่าน 6 นาที
NVIDIA ประกาศ CUDA Python 1.0 — Python กลายเป็นทางเข้าแพลตฟอร์ม CUDA ที่ "รองรับอย่างเป็นทางการ" พร้อมสัญญา semver ว่าจะไม่พัง API กลางทาง
เครื่องมือนักพัฒนา

NVIDIA ประกาศ CUDA Python 1.0 — Python กลายเป็นทางเข้าแพลตฟอร์ม CUDA ที่ "รองรับอย่างเป็นทางการ" พร้อมสัญญา semver ว่าจะไม่พัง API กลางทาง

25 ส.ค. 2026 NVIDIA ประกาศหมุดหมาย CUDA Python 1.0 บนบล็อกนักพัฒนา — ยกให้ Python เป็นทางเข้าแพลตฟอร์ม CUDA ที่รองรับอย่างเป็นทางการเทียบชั้น C++ พร้อมผูก semantic versioning ว่า breaking change จะเกิดเฉพาะเวอร์ชันหลัก ครอบคลุม cuda.core, cuda.bindings, cuda.compute, Numba CUDA และ nvmath-python บนฐานร่วมเดียวกัน แต่ยังกันของทดลองอย่าง cutile-python และ cuteDSL ออกนอกสัญญา

· อ่าน 6 นาที
Hugging Face ยกเครื่อง Kernels: ทำ compute kernel ให้เป็นพลเมืองชั้นหนึ่งบน Hub พร้อมลายเซ็นดิจิทัลกัน kernel ปลอม
เครื่องมือนักพัฒนา

Hugging Face ยกเครื่อง Kernels: ทำ compute kernel ให้เป็นพลเมืองชั้นหนึ่งบน Hub พร้อมลายเซ็นดิจิทัลกัน kernel ปลอม

Hugging Face อัปเดตใหญ่ให้ไลบรารี kernels — เพิ่ม repository type ใหม่บน Hub สำหรับ compute kernel, บังคับโมเดล trusted publisher เป็นค่าเริ่มต้น และเซ็นลายเซ็น kernel ด้วย Sigstore cosign เพื่อกันโค้ดเร่งความเร็วที่ถูกฝังของอันตราย

· อ่าน 5 นาที