Programming

Microsoft Research เสนอ Checked C ส่วนขยายภาษาซีป้องกันบั๊ก

By lew

on 17 June 2016 - 01:47 Tag: Microsoft Research, Programming, Microsoft

Microsoft Research

Microsoft Research เสนอโครงการวิจัย Checked C ที่พยายามหาทางสร้างส่วนขยายของภาษาซีเพื่อป้องกันบั๊กที่เกิดขึ้นบ่อยๆ ในภาษาซี เช่น การใช้บัฟเฟอร์เกินกำหนด, การเข้าถึงหน่วยความจำเกินขอบเขต, และการแปลงชนิดค่าตัวแปรผิดประเภท

ฟีเจอร์ป้องกันบั๊กเหล่านี้มีในภาษาสมัยใหม่แทบทั้งหมดแล้ว แต่ซอฟต์แวร์ระบบ (system software) ส่วนใหญ่ในโลกก็ยังคงเขียนด้วยภาษา C/C++ รวมถึงระบบปฏิบัติการ, ระบบฐานข้อมูล, หรือตัวแปลภาษาโปรแกรมส่วนใหญ่ บั๊กพื้นฐานเหล่านี้มีส่วนสำคัญต่อความเสถียรของระบบและช่องโหว่ของระบบ

แอปเปิลเปิดตัว Swift Playgrounds แอพสอนเขียนโปรแกรมภาษา Swift บน iPad

By mk

on 14 June 2016 - 08:44 Tag: Swift, Apple, Education, Programming, Mobile App

Swift

แอปเปิลเปิดตัว Swift Playgrounds แอพบน iPad ที่ออกแบบมาเพื่อสอนการเขียนโปรแกรมภาษา Swift โดยเฉพาะ

Swift Playgrounds จะมีอินเทอร์เฟซที่เอาใจผู้ใช้กลุ่มเด็ก บทเรียนหลักเป็นการ์ตูนน่ารัก ให้ผู้เล่นต้องเขียนโปรแกรมสั่งให้ตัวละครเดินไปมาและแก้ปริศนา (ลักษณะเดียวกับเว็บเขียนโปรแกรมพวก Code.org) เพื่อสอนให้เรียนรู้แนวคิดของ loop, parameter, function เป็นต้น

แอพออกแบบมาสำหรับ iPad เป็นหลัก มีปุ่มต่างๆ ช่วยให้เขียนโค้ดได้ง่ายโดยไม่ต้องพิมพ์ตัวอักษรมากนัก แอพจะเปิดให้ใช้ฟรีช่วงฤดูใบไม้ร่วงปีนี้

โปรแกรมเมอร์ในสหรัฐฯ โดนไล่ออก หลังบริษัทจับได้ว่าเขียนบอทช่วยทำงานมานานกว่า 6 ปี

By nrad6949

on 11 June 2016 - 12:57 Tag: Programming, USA

Programming

เรื่องนี้อาจเป็นข่าวชวนหัว แต่ก็สะท้อนความเป็นจริงอะไรบางอย่างไม่ใช่น้อย เมื่อเว็บไซต์ข่าวไอที TechWorm รายงานว่าผู้ใช้ Reddit ที่มีชื่อว่า FiletofFish1066 ซึ่งมีอาชีพเป็นโปรแกรมเมอร์ ถูกให้ออกจากงาน หลังจากที่บริษัทซึ่งเขาเคยทำงานอยู่ด้วย พบว่าเขาเขียนบอทขึ้นมาทำงานแทนเขาเองเป็นเวลานานกว่า 6 ปี

สู่โลกแห่งสถิติ IBM เข้าเป็นสมาชิกระดับแพลทินัมของ R Consortium

By lew

on 7 June 2016 - 13:03 Tag: IBM, R, Programming, Open Source

IBM

ไอบีเอ็มเข้าเป็นสมาชิกระดับแพลทินัมของ R Consortium แล้วในวันนี้ โดยสมาชิกระดับนี้มีสามรายคือ ไอบีเอ็ม, ไมโครซอฟท์, และ RStudio การเข้าเป็นสมาชิกระดับนี้ทำให้ไอบีเอ็มสามารถส่งตัวแทนเข้ามาเป็นกรรมการของ R Consortium เพื่อแนะแนวทางด้านเทคนิคของชุมชน R ต่อไป

ELLO คอมพิวเตอร์ DIY ที่ผู้ซื้อต้องนำไปประกอบเอง ใช้ชิป PIC32

By sunnywalker

on 30 May 2016 - 16:24 Tag: ELLO, Programming

ELLO

ELLO คือคอมพิวเตอร์ที่อาจไม่เหมาะกับผู้ใช้ทั่วไป แต่เหมาะสำหรับโปรแกรมเมอร์ผู้ต้องการเรียนรู้ระบบและแฮกกิ้งโดยเฉพาะ เพราะ ELLO ไม่ใช่คอมพิวเตอร์สำเร็จรูป แต่เป็นคอมพิวเตอร์ DIY ที่ผู้ใช้งานต้องนำไปประกอบเข้าด้วยกัน โดย EllO มาพร้อมกับแผงวงจรไฟฟ้า 6 ชิ้น ความหนารวม 6.4 มิลลิเมตร บอร์ดทดสอบอุปกรณ์ จอ LCD Touchscreen กว้าง 7 นิ้ว และ แป้นพิมพ์

เชิญชมการแข่งเขียนโปรแกรมชิงแชมป์โลก ACM-ICPC World Finals 2016 ปีนี้จัดที่เมืองไทย

By mk

on 19 May 2016 - 07:21 Tag: Competition, Programming, Thailand, IBM

Competition

สมาคม Association for Computing Machinery (ACM) เป็นสมาคมวิชาชีพด้านคอมพิวเตอร์ที่เก่าแก่และมีจำนวนสมาชิกมากที่สุดแห่งหนึ่งของโลก นอกจากวารสารวิชาการ ACM ที่มีชื่อเสียงแล้ว กิจกรรมอย่างหนึ่งของสมาคมคือการแข่งขันเขียนโปรแกรมระดับมหาวิทยาลัย (International Collegiate Programming Contest หรือ ICPC) ซึ่งเป็นการแข่งขันระดับโลกที่มีนักศึกษาทั่วโลกจำนวนหลายหมื่นคนเข้าชิงชัย

Google App Engine รองรับภาษา Ruby แล้ว

By mk

on 7 May 2016 - 23:07 Tag: Ruby, App Engine, Google Cloud, Programming

Ruby

Google App Engine เริ่มรองรับการพัฒนาโปรแกรมด้วยภาษา Ruby แล้ว สถานะตอนนี้ยังเป็นขั้น Beta แต่นักพัฒนาก็สามารถใช้เฟรมเวิร์คยอดนิยมอย่าง Rails หรือ Sinatra ได้แล้ว

การใช้งาน Ruby บน App Engine ยังสามารถใช้แพ็กเกจ gcloud เพื่อเข้าถึงฟีเจอร์ต่างๆ ของ Google Cloud Platform (เช่น BigQuery หรือ Cloud Datastore) ได้ทันที นอกจากนี้กูเกิลยังเปิดซอร์สตัวซอฟต์แวร์ทั้งหมดที่ใช้รัน Ruby บน App Engine ต่อสาธารณะด้วย

ก่อนหน้านี้ App Engine รองรับการพัฒนาด้วยภาษา Python, Java, Go ตามด้วย PHP และ Node.js รวมทั้งหมด 5 ภาษา ส่วน Ruby นับเป็นภาษาที่หกครับ

Chrome 52 รุ่นทดสอบ รองรับ ECMAScript เวอร์ชัน 6 และ 7 แล้ว

By mk

on 3 May 2016 - 20:21 Tag: JavaScript, Chrome, ECMA, Standard, Browser, Programming

JavaScript

ทีมพัฒนา Chrome ออกมาประกาศว่า Chrome 52 (ตอนนี้สถานะยังเป็นรุ่นทดสอบ) จะรองรับมาตรฐาน ECMAScript (ชื่ออย่างเป็นทางการของ JavaScript) เวอร์ชัน 6 และ 7 แล้ว

สเปก ECMAScript 6 ผ่านเป็นมาตรฐานเมื่อกลางปีที่แล้ว สถานะของ Chrome 52 สามารถผ่านชุดทดสอบมาตรฐานได้ 98% แล้ว เบราว์เซอร์อีกตัวที่ได้คะแนนระดับเดียวกันคือ Safari Technology Preview ทำคะแนนได้ 99% ส่วน Edge และ Firefox อยู่ที่ 90% ใครสนใจตามไปดูตารางคะแนนกันได้

GitLab ร่วมมือ DigitalOcean ให้บริการโฮสต์สำหรับทดสอบโค้ดฟรี

By lew

on 19 April 2016 - 22:11 Tag: Git, DigitalOcean, Cloud Computing, Programming, Development

Git

GitLab.com ผู้พัฒนาระบบจัดการโค้ดโอเพนซอร์สและบริการโฮสต์โค้ดประกาศความร่วมมือกับ DigitalOcean ให้บริการเซิร์ฟเวอร์ฟรีสำหรับผู้ที่วางโฮสต์บน GitLab.com โดยใช้ฟีเจอร์ GitLab Runner Autoscale

บริการฟรีจำกัดเฉพาะผูใช้ GitLab.com เท่านั้น ส่วนผู้ที่ดาวน์โหลด GitLab ไปติดตั้งเองสามารถขอรับโปรโมชั่น 10 ดอลลาร์ (ซึ่งเอาเข้าจริงก็ไม่ต่างจากโปรโมชั่นทั่วไปของ DigitalOcean) หรือหากเป็นลูกค้า GitLab Enterprise Edition จะได้อีเมลเสนอโปรโมชั่นเครดิตถึง 250 ดอลลาร์

MicroPython 1.7 ออกแล้ว โค้ดจากการระดมทุนปรับปรุงการรองรับ ESP8266 ชุดแรกเริ่มใช้งานได้

By lew

on 16 April 2016 - 01:15 Tag: Python, Programming, Internet of Things

Python

MicroPython เปิดระดมทุนปีที่แล้วเพื่อพัฒนาโค้ดสำหรับ ESP8266 ให้ทำงานได้เต็มประสิทธิภาพ และได้เงินไปถึง 28,534 ปอนด์จากเป้าหมาย 6,000 ปอนด์ ตอนนี้ผลจากการระดมทุนก็เริ่มชัดเจนเมื่อโค้ดปรับปรุงการทำงานสำหรับ ESP8266 รวมเข้ามาใน MicroPython 1.7 ชุดแรกแล้ว

รายการปรับปรุงเช่น ระบบไอพี, รองรับ Bignum, เปิดใช้งานโมดูลเพิ่มเติมจำนวนมาก

ทางทีมพัฒนา MicroPython แสดงผลโหวตโมดูลเพิ่มเติมสำหรับการระดมทุน สองโมดูลหลักที่ได้รับการโหวตสูงสุดคือ MQTT และ OTA ดังนั้นทีมงานจะเริ่มพอร์ตสองโมดูลนี้ก่อน

GitHub เปิดบริการ commit แบบยืนยันด้วย GPG

By lew

on 8 April 2016 - 19:07 Tag: GitHub, Programming, Security, PGP

GitHub

GitHub ประกาศรองรับการ commit และ tag โค้ดที่ยืนยันด้วย GPG เพิ่มความน่าเชื่อถือให้กับโค้ดว่าไม่ได้ถูกดัดแปลง แม้ว่า GitHub จะถูกแฮกไปก็ตาม (แต่ถ้ากุญแจลับ GPG หลุดอีกก็ช่วยไม่ได้)

หน้าเว็บของ GitHub เองจะแสดงเครื่องหมายยืนยันว่าโค้ดที่ commit ครั้งใดบ้างที่ได้รับการยืนยันด้วย GPG แล้วบ้าง

ความสามารถในการตรวจสอบโค้ดด้วย GPG เป็นความสามารถของ Git มาก่อน เป็นประโยชน์ในกรณีเราไม่ได้ดึงโค้ดจากแหล่งของนักพัฒนาโดยตรง หรือโค้ดที่ต้องระวังการถูกแก้ไขจากภายนอกกว่าปกติ สำหรับคนทั่วไปอาจจะไม่จำเป็นเท่าใดนัก

MIT คิดค้นภาษาโปรแกรมที่ทำให้สามารถออกแบบลักษณะของเซลล์สิ่งมีชีวิตได้

By ตะโร่งโต้ง

on 4 April 2016 - 11:11 Tag: MIT, Biology, Programming, Languages

MIT

เหล่าวิศวกรชีววิทยาแห่ง MIT ได้สร้างภาษาสำหรับการเขียนโปรแกรมขึ้นมาใหม่ ด้วยการเขียนโปรแกรมดังกล่าว พวกเขาจะสามารถออกแบบวงจรรหัสพันธุกรรมให้แก่เซลล์สิ่งมีชีวิตเพื่อกำหนดลักษณะเฉพาะของเซลล์นั้นได้

ด้วยภาษาที่ถูกพัฒนาขึ้นมานี้ ไม่ว่าใครก็สามารถออกแบบฟังก์ชั่นของเซลล์ได้ เช่น สั่งให้เซลล์ตรวจสอบสภาพแวดล้อมและทำการตอบสนองอย่างใดอย่างหนึ่งเมื่ออยู่ภายใต้สภาวะแวดล้อมที่กำหนด จากนั้นพวกเขาก็จะสร้างรหัสพันธุกรรมขึ้นมาตามโปรแกรมที่เขียนเอาไว้ ก่อนจะนำไปใส่ไว้ในเซลล์สิ่งมีชีวิต

[April Fools] ก้าวกระโดดไกล Python รุ่นต่อไปจะเป็น Python 8

By lew

on 1 April 2016 - 14:24 Tag: Python, Programming, April Fools

Python

โครงการ Python ประกาศแผนการหลัง Python 3 พร้อมใช้งานเต็มที่แล้วว่าถึงเวลาวางแผนถึงเวอร์ชั่นต่อไป และตอนนี้ก็ประกาศว่ารุ่นต่อไปจะเป็น Python 8

สาเหตุที่ต้องประกาศแผนอย่างรวดเร็วเพราะในสมัย Python 2 นั้นมีการวางแผนยาวนานจน Python 2 มีการใช้งานเป็นวงกว้างและการอัพเกรดทำได้ยาก เช่น เหตุการณ์ล่าสุดที่ Ubuntu ถอด Python 2 ไม่ได้ เพื่อให้การอัพเกรดได้รวดเร็วก็จะต้องรีบออกเวอร์ชั่นใหม่ ส่วนสาเหตุที่ต้องเป็น Python 8 เพื่อให้เลขเวอร์ชั่นนำหน้า Perl 6 และ PHP 7 และหลังจากนั้นจะออกเวอร์ชั่นใหม่ทุกๆ 2 ปี พร้อมกับปรับเลขเวอร์ชั่นเป็นการคูณสองจากเวอร์ชั่นก่อนหน้าไปเรื่อยๆ คาดว่าเลขเวอร์ชั่นจะแซงหน้าไฟร์ฟอกซ์ในปี 2022 เพราะไฟร์ฟอกซ์จะเป็นเวอร์ชั่น 44 แต่ Python จะเป็นเวอร์ชั่น 64

BBC Micro Bit โครงการบอร์ดอิเล็กทรอนิกส์เขียนโปรแกรมได้เพื่อการศึกษาโดย BBC

By ตะโร่งโต้ง

on 23 March 2016 - 00:45 Tag: micro:bit, BBC, Education, Programming

micro:bit

BBC ได้จัดทำ BBC Micro Bit บอร์ดอิเล็กทรอนิกส์เพื่อการศึกษากว่า 1 ล้านชิ้น และเริ่มจัดส่งมอบให้เด็กๆ ในสหราชอาณาจักร โดยหวังเป็นส่วนหนึ่งที่จะช่วยกระตุ้นให้เด็กรุ่นใหม่เกิดความผูกพันและสนใจในงานเขียนโปรแกรมมากขึ้น

ตัวบอร์ดมีหน่วยประมวลผล ARM Cortex M0 32 บิต มีชิปบลูทูธพลังงานต่ำ (ultra-low power) ซึ่งสนับสนุนโดย Nordic Semiconductor และยังมีไมโครคอนโทรลเลอร์พร้อมตัววัดสนามแม่เหล็ก, ตัววัดอัตราเร่ง, ตัวป้องกันไฟฟ้าสถิตซึ่งสนับสนุนโดย NXP Semiconductor

ภาษา Swift 2.2 ออกแล้ว ใช้งานบนลินุกซ์ได้แล้ว

By mk

on 22 March 2016 - 10:33 Tag: Swift, Programming, Apple, Open Source, Linux

Swift

แอปเปิลเปิดตัวภาษา Swift เวอร์ชัน 2.2 ซึ่งถือเป็นเวอร์ชันแรกหลังประกาศ Swift เป็นโอเพนซอร์สเมื่อปลายปีที่แล้ว

ฟีเจอร์สำคัญของ Swift 2.2 คือรองรับลินุกซ์แล้ว การพอร์ตยังไม่สมบูรณ์และยังขาดไลบรารีบางตัว ระบบปฏิบัติการที่รองรับคือ Ubuntu 14.04 และ 15.10 ใครอยากลองใช้งานก็ดาวน์โหลดไฟล์ไบนารีกันได้

ส่วนฟีเจอร์อื่นๆ มีการเปลี่ยนแปลงระดับตัวภาษาเล็กน้อย โดยรวมไม่ต่างจาก Swift 2.1 มาก ที่เหลือเน้นแก้บั๊กซะเป็นส่วนใหญ่

เจ้าของ Experts Exchange ระบุการให้เด็กเรียนเขียนโปรแกรมเป็นสิ่งที่มีความสำคัญ

By nrad6949

on 21 March 2016 - 15:50 Tag: Programming, Public Policy, Education, USA

Programming

Randy Redberg เจ้าของและผู้ดูแลเว็บไซต์ Experts Exchange ชุมชนออนไลน์ด้านเทคโนโลยีของสหรัฐอเมริกา เผยแพร่ข้อเขียนในเว็บ Venture Beat โดยระบุว่าการให้เด็กเรียนเขียนโปรแกรมเป็นภาษาที่สอง ถือเป็นเรื่องที่มีความสำคัญมากสำหรับเด็กและจัดว่าเป็นรากฐานที่สำคัญในอนาคต

สอนเด็กเขียนโปรแกรมด้วย Cubetto บอร์ดหัดเขียนโปรแกรมสุดน่ารัก

By lew

on 17 March 2016 - 03:08 Tag: Kickstarter, Education, Programming

Kickstarter

การออกแบบระบบสอนเด็กเขียนโปรแกรมเป็นความท้าทายในวงการการศึกษามานาน ที่ผ่านมามีภาษาสำหรับเด็กเช่น LOGO หรือ Blockly สำหรับเด็กๆ โดยเฉพาะ ตอนนี้ทีมวิศวกรทีมหนึ่งก็เสนอรูปแบบการเรียนรูปแบบใหม่ด้วยการทำหุ่นยนต์และบอร์ดเขียนโปรแกรมสำหรับเด็กในชื่อว่า Cubetto

ภาษา Kotlin ทำงานบน JVM และแอนดรอยด์ได้ ออกเวอร์ชั่น 1.0 แล้ว

By lew

on 16 February 2016 - 20:44 Tag: Kotlin, Java, Android, Programming

Kotlin

ภาษา Kotlin ที่พัฒนาโดย JetBrains ผู้สร้าง IntelliJ IDEA ประกาศเวอร์ชั่น 1.0 พร้อมสำหรับการใช้งานจริงแล้ว โดยภาษานี้ออกแบบมาให้ใช้งานได้จริง และโค้ดส่วนอื่นๆ ที่ไม่เกี่ยวข้องกับฟังก์ชั่นงานน้อยลง โดยคงความเข้ากันได้กับจาวา, JVM, ไลบรารี, แอนดรอยด์, และเครื่องมืออื่นๆ

ตัวโค้ด Kotlin เป็นสัญญาอนุญาตแบบ Apache 2.0 ซอฟต์แวร์ของ JetBrains เองหลายตัวก็ใช้งาน Kotlin อยู่แล้ว และตอนนี้มีพนักงานของบริษัททำงานเต็มเวลาในโครงการนี้กว่า 20 คน

แอปเปิลเปิดซอร์สชุดเบนช์มาร์คสำหรับภาษา Swift

By mk

on 9 February 2016 - 08:32 Tag: Open Source, Apple, Programming, Benchmark, Swift

Open Source

แอปเปิลเปิดซอร์สโค้ดชุดเบนช์มาร์คสำหรับภาษา Swift โดยประกอบด้วยชุดทดสอบประสิทธิภาพ 75 แบบ, ไลบรารีและไดรเวอร์ที่จำเป็น รวมถึง utility เสริมอื่นๆ

ตัวโค้ดอยู่บน GitHub ใช้สัญญาอนุญาตแบบ Apache 2 วิธีการคอมไพล์อ่านได้ตามลิงก์เดียวกัน

แอปเปิลบอกว่ายินดีรับโค้ดจากนักพัฒนาภายนอกที่ต้องการปรับปรุงชุดเบนช์มาร์คตัวนี้ นักพัฒนาที่สนใจก็สามารถ pull request ได้ตามระบบปกติของ GitHub

ที่มา - Swift.org

ไอบีเอ็มพอร์ตภาษา Go ไปรันบนเมนเฟรม System z

By lew

on 13 January 2016 - 00:34 Tag: IBM, Programming, Go, Mainframe

IBM

ทีมงานโอเพนซอร์สของไอบีเอ็มพอร์ตภาษา Go ของกูเกิลไปรันบน System z s390x พร้อมกับเปิดให้ดาวน์โหลดบน Github เคียงคู่กับโครงการอื่นๆ ที่ไอบีเอ็มพอร์ตไปยัง System z เช่น Cassandra, Spark, Mongo

Subscribe to Programming