category · software engineering
2 of 2 documents
searches title, description, category and tags
ทำไมการเขียนซอฟต์แวร์ให้ "ถูกต้อง" ถึงยากอย่างที่คิด: Halting Problem กับข้อจำกัดของการพิสูจน์
สรุปบทความ Why Writing Correct Software Is Hard ของ pron.github.io เรื่อง halting problem ที่บอกว่าไม่มีอัลกอริทึมไหนตัดสินได้ว่าโปรแกรมจะจบหรือไม่จบ พร้อมตัวอย่างโค้ด 10 บรรทัดที่พิสูจน์ไม่ได้เพราะเท่ากับ Goldbach conjecture
software engineering13 Nov 2026 · 4 min readสรุป .NET 11 มีอะไรใหม่? ฉบับเพื่อนเล่าให้ฟัง: Runtime Async, FullJoin และของเล่นใหม่ที่ช่วยให้เขียนโค้ดเหนื่อยน้อยลง
สรุปไฮไลต์ .NET 11 จาก PVS-Studio แบบกระชับเข้าใจง่าย ตั้งแต่ Runtime Async ที่ย้ายงานจากคอมไพเลอร์ลง Runtime, คำสั่งรัน Process บรรทัดเดียว ไปจนถึงข้อควรระวังเรื่อง CPU รุ่นเก่า
software engineering12 Nov 2026 · 3 min read
