คลังข่าว | GeekNews

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

Manganin: เครื่องมือสำคัญ

 (blog.manganin.dev)
Manganin เป็น Git forge ที่กำลังพัฒนาเพื่อสร้างโมเดลการทำงานร่วมกันแบบอิงความไว้วางใจ เน้น self-hosting และเวิร์กโฟลว์แบบ local-first แทนแนวทางเดิมของ GitHub.
2 คะแนน โดย GN⁺ 17 시간 전 | ความคิดเห็นและการสนทนา
22
 

กระแสคลั่ง AI กำลังทำลายการตัดสินใจทั่วโลก

 (hermit-tech.com)
Hermit Tech ระบุว่าโครงการ AI ที่พบเจอตลอด 1 ปีครึ่งล้มเหลวทั้งหมด ขณะที่แรงจูงใจภายในองค์กรกำลังผลักให้มีการโอ้อวดผลลัพธ์และตัดสินใจผิดพลาดต่อไป
3 คะแนน โดย GN⁺ 18 시간 전 | ความคิดเห็นและการสนทนา
23
 

ข้อเท็จจริงที่ว่า “Matz ใจดี” ไม่ได้สำคัญ

 (po-ru.com)
MINASWAN ไม่ได้รับประกันความเป็นมิตรของชุมชน Ruby ขณะที่อำนาจของ DHH และ Shopify ทำให้เกิดคำถามต่ออนาคตของระบบนิเวศ Ruby
2 คะแนน โดย GN⁺ 18 시간 전 | ความคิดเห็นและการสนทนา
24
 

Kimi K3-256k

 (kimi.com)
Kimi K3-256k เป็นโมเดลเขียนโค้ดคอนเท็กซ์ 256k ที่รักษาคุณภาพของ K3 แต่ใช้โควตาน้อยลงสำหรับงานพัฒนาประจำวัน
1 คะแนน โดย GN⁺ 18 시간 전 | 1 ความคิดเห็น
25
 

เวิร์ม AI ของ Copilot ที่แพร่กระจายตัวเองผ่านเอกสาร Word

 (enklypesalt.com)
พรอมป์ต์โจมตีที่ซ่อนในเอกสาร Word สามารถบิดเบือนผลลัพธ์ของ Copilot คัดลอกตัวเองไปยังเอกสารใหม่ และแพร่ต่อผ่านเวิร์กโฟลว์งานปกติได้
2 คะแนน โดย GN⁺ 19 시간 전 | 1 ความคิดเห็น
26
 

นักดนตรีฝรั่งเศส Kavinsky ถูกพบเสียชีวิตที่บ้านพักในปารีส

 (euronews.com)
DJ ชาวฝรั่งเศส Kavinsky ผู้เป็นที่รู้จักจาก ‘Nightcall’ ถูกพบเสียชีวิตที่บ้านพักในปารีส ขณะอายุ 50 ปี
1 คะแนน โดย GN⁺ 22 시간 전 | 1 ความคิดเห็น
27
 

Superlogical - มัลติเพล็กเซอร์สำหรับทุกงาน

 (superlogical.com)
Superlogical กำลังสร้างมัลติเพล็กเซอร์ที่รวมงานพัฒนา งานอัตโนมัติ และการปฏิบัติการไว้ในเซสชันต่อเนื่องเดียว โดยเริ่มจากเทอร์มินัลมัลติเพล็กเซอร์
1 คะแนน โดย GN⁺ 22 시간 전 | 1 ความคิดเห็น
28
 

TurboFieldfare - เอนจินโอเพนซอร์สที่รัน Gemma 4 26B บน Mac ชิป M ทุกรุ่นด้วย RAM 2GB

 (github.com/drumih)
TurboFieldfare เป็นเอนจินโอเพนซอร์สที่รัน Gemma 4 26B บน Apple Silicon Mac ด้วย RAM ราว 2GB โดยสตรีมน้ำหนัก MoE จาก SSD.
9 คะแนน โดย GN⁺ 23 시간 전 | 4 ความคิดเห็น
29
 

อินเทอร์เฟซผู้ใช้ของเดโมซีน

 (datagubbe.se)
เดโมซีนสร้างวัฒนธรรม UI เฉพาะตัวผ่านเครื่องมือทำศิลปะ เพลง โค้ด การคัดลอกดิสก์ และกราฟิกบน Amiga รวมถึงแพลตฟอร์มอื่น ๆ
1 คะแนน โดย GN⁺ 1 일 전 | 1 ความคิดเห็น
30
 

KOReader

 (koreader.rocks)
โปรแกรมดูเอกสารสำหรับอุปกรณ์ E Ink ที่รองรับอีบุ๊กและไฟล์หลายรูปแบบ รวมถึงใช้งานได้บน Android และเดสก์ท็อป Linux
1 คะแนน โดย GN⁺ 1 일 전 | 1 ความคิดเห็น
31
 

ทำไม Rocq ถึงดีกว่า Lean สำหรับการพิสูจน์ความถูกต้องของโปรแกรม

 (joomy.korkutblech.com)
แม้ Lean จะเติบโตเด่นในงานทำให้คณิตศาสตร์เป็นแบบรูป แต่สำหรับการพิสูจน์ความถูกต้องของโปรแกรมที่รันได้ Rocq ยังเหมาะกว่าด้วย coinduction แบบเนทีฟ เส้นทางการสกัดโปรแกรมที่หลากหลาย และระบบนิเวศการพิสูจน์ที่สั่งสมมา.
1 คะแนน โดย GN⁺ 1 일 전 | ความคิดเห็นและการสนทนา