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

21

Ghostty กำลังออกจาก GitHub

(mitchellh.com)

Ghostty ตัดสินใจออกจาก GitHub หลังปัญหาขัดข้องซ้ำซากรบกวนการรีวิว PR และการทำงานประจำวันอย่างต่อเนื่อง.

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

22

เปิดตัวเบราว์เซอร์ Dillo 3.3.0

(dillo-browser.org)

Dillo 3.3.0 เพิ่มการควบคุมระยะไกลด้วย `dilloc`, ปรับปรุง OAuth, รองรับ FLTK 1.4 แบบทดลอง และแก้บั๊กด้านความเสถียรกับความปลอดภัยจำนวนมาก

4 คะแนน โดย GN⁺ 1 일 전 | 1 ความคิดเห็น

23

สิ่งที่ได้เรียนรู้จากการเขียนเครื่องมือ MCP 50 ตัว: การเรียกฟังก์ชันคือความสัมพันธ์ที่ใกล้ชิดกันผิดปกติ

(evan-moon.github.io)

บทความจากประสบการณ์สร้าง CLI และ MCP ที่ชี้ว่าการออกแบบเครื่องมือสำหรับ LLM ต่างจาก RPC ตรงที่คำอธิบาย เจตนา และความเชื่อใจสำคัญกว่าซิกเนเจอร์เพียงอย่างเดียว

6 คะแนน โดย bboydart91 1 일 전 | ความคิดเห็นและการสนทนา

24

Prompt API

(developer.chrome.com)

Web API ใน Chrome สำหรับส่งพรอมป์ต์ไปยัง Gemini Nano บนอุปกรณ์ พร้อมรองรับ text, image, audio, เอาต์พุตแบบมีโครงสร้าง และการจัดการเซสชันภายในเบราว์เซอร์

5 คะแนน โดย GN⁺ 1 일 전 | 1 ความคิดเห็น

25

ทำไมถึงไม่ใช้แค่ Lean

(lawrencecpaulson.github.io)

บทความนี้อธิบายว่าทำไม Lean ไม่ใช่ตัวเลือกเดียวของ proof assistant โดยเทียบกับสายอย่าง Isabelle, HOL, AUTOMATH, ACL2 และ Mizar รวมถึงผลกระทบของ AI ต่อการแปลและจัดระเบียบบทพิสูจน์

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

26

ถึงนักศึกษา

(ozark.hendrix.edu)

ข้อคิดถึงนักศึกษาคอมพิวเตอร์ให้ยึดผู้คน ความยุติธรรม และการเลือกอย่างมีเจตนา ท่ามกลางอุตสาหกรรมเทคโนโลยีที่สั่นคลอน

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

27

Warp ประกาศโอเพนซอร์สและเปิดตัวโมเดลการพัฒนาที่มีเอเจนต์เป็นศูนย์กลาง

(x.com/zachlloydtweets)

Warp เตรียมโอเพนซอร์สไคลเอนต์ภายใต้ AGPL พร้อมปรับกระบวนการพัฒนาไปสู่โมเดลที่ให้เอเจนต์ลงมือสร้างและให้ชุมชนกำกับตรวจสอบ

4 คะแนน โดย ragingwind 1 일 전 | 1 ความคิดเห็น

28

ขณะนี้ GitHub กำลังเกิดเหตุขัดข้อง

(githubstatus.com)

GitHub กำลังประสบปัญหาประสิทธิภาพลดลงใน Pull Requests ทำให้ผลลัพธ์บนหน้า `/pulls` อาจแสดงไม่ครบ ขณะที่บริการหลักอื่นส่วนใหญ่ยังทำงานได้ตามปกติ

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

29

Super ZSNES - โปรแกรมจำลอง SNES แบบใช้ GPU

(zsnes.com)

Super ZSNES คือโปรแกรมจำลอง SNES แบบใช้ GPU ที่เขียนใหม่ทั้งหมด พร้อมฟีเจอร์ปรับปรุงภาพและความสะดวกในการใช้งาน แต่ยังอยู่ในขั้น early build.

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

30

Quarkdown - Markdown ที่ทรงพลังยิ่งขึ้น

(quarkdown.com)

Quarkdown ผสาน Markdown กับความสามารถจัดพิมพ์ระดับ LaTeX เพื่อสร้างเอกสาร หนังสือ สไลด์ เว็บไซต์ และฐานความรู้ได้ในเครื่องมือเดียวแบบโอเพนซอร์ส

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

31

Warp เปิดซอร์ส Agentic Development Environment บนเทอร์มินัล

(github.com/warpdotdev)

Warp เปิดซอร์สไคลเอนต์เทอร์มินัลและทดลองแนวทางรับ contribution แบบใช้ AI agent ผ่าน label และ workflow.

6 คะแนน โดย happyhaki 1 일 전 | 4 ความคิดเห็น