คลังข่าว | GeekNews

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

1

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

(euronews.com)

DJ ชาวฝรั่งเศส Kavinsky ผู้เป็นที่รู้จักจาก ‘Nightcall’ ถูกพบเสียชีวิตที่บ้านพักในปารีส ขณะอายุ 50 ปี

1 คะแนน โดย GN⁺ 2 시간 전 | 1 ความคิดเห็น

2

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

(superlogical.com)

Superlogical กำลังสร้างมัลติเพล็กเซอร์ที่รวมงานพัฒนา งานอัตโนมัติ และการปฏิบัติการไว้ในเซสชันต่อเนื่องเดียว โดยเริ่มจากเทอร์มินัลมัลติเพล็กเซอร์

1 คะแนน โดย GN⁺ 2 시간 전 | 1 ความคิดเห็น

3

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

(github.com/drumih)

TurboFieldfare เป็นเอนจินโอเพนซอร์สที่รัน Gemma 4 26B บน Apple Silicon Mac ด้วย RAM ราว 2GB โดยสตรีมน้ำหนัก MoE จาก SSD.

1 คะแนน โดย GN⁺ 3 시간 전 | 1 ความคิดเห็น

4

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

(datagubbe.se)

เดโมซีนสร้างวัฒนธรรม UI เฉพาะตัวผ่านเครื่องมือทำศิลปะ เพลง โค้ด การคัดลอกดิสก์ และกราฟิกบน Amiga รวมถึงแพลตฟอร์มอื่น ๆ

1 คะแนน โดย GN⁺ 6 시간 전 | 1 ความคิดเห็น

5

KOReader

(koreader.rocks)

โปรแกรมดูเอกสารสำหรับอุปกรณ์ E Ink ที่รองรับอีบุ๊กและไฟล์หลายรูปแบบ รวมถึงใช้งานได้บน Android และเดสก์ท็อป Linux

1 คะแนน โดย GN⁺ 6 시간 전 | 1 ความคิดเห็น

6

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

(joomy.korkutblech.com)

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

1 คะแนน โดย GN⁺ 7 시간 전 | ความคิดเห็นและการสนทนา