The TLA+ Video Course (Leslie Lamport)
https://www.reddit.com/r/programming/comments/60mpec/the_tla_video_course_leslie_lamport/
submitted by /u/pron98 (https://www.reddit.com/user/pron98)
[link] (http://lamport.azurewebsites.net/video/videos.html) [comments] (https://www.reddit.com/r/programming/comments/60mpec/the_tla_video_course_leslie_lamport/)
https://www.reddit.com/r/programming/comments/60mpec/the_tla_video_course_leslie_lamport/
submitted by /u/pron98 (https://www.reddit.com/user/pron98)
[link] (http://lamport.azurewebsites.net/video/videos.html) [comments] (https://www.reddit.com/r/programming/comments/60mpec/the_tla_video_course_leslie_lamport/)
KDevelop 5.1.0 released, with LLDB support, cppcheck integration, OpenCL support, improved Python support, etc.
https://www.reddit.com/r/programming/comments/60mqmm/kdevelop_510_released_with_lldb_support_cppcheck/
submitted by /u/kfunk87 (https://www.reddit.com/user/kfunk87)
[link] (https://www.kdevelop.org/news/kdevelop-510-released) [comments] (https://www.reddit.com/r/programming/comments/60mqmm/kdevelop_510_released_with_lldb_support_cppcheck/)
https://www.reddit.com/r/programming/comments/60mqmm/kdevelop_510_released_with_lldb_support_cppcheck/
submitted by /u/kfunk87 (https://www.reddit.com/user/kfunk87)
[link] (https://www.kdevelop.org/news/kdevelop-510-released) [comments] (https://www.reddit.com/r/programming/comments/60mqmm/kdevelop_510_released_with_lldb_support_cppcheck/)
New Original Programming from WAKUWAKU JAPAN "WAKUWAKU be Ponkickies" Broadcasting to Begin in March
https://www.reddit.com/r/programming/comments/60mrpt/new_original_programming_from_wakuwaku_japan/
submitted by /u/peoplesdyson (https://www.reddit.com/user/peoplesdyson)
[link] (http://finance.yahoo.com/news/original-programming-wakuwaku-japan-wakuwaku-040000964.html) [comments] (https://www.reddit.com/r/programming/comments/60mrpt/new_original_programming_from_wakuwaku_japan/)
https://www.reddit.com/r/programming/comments/60mrpt/new_original_programming_from_wakuwaku_japan/
submitted by /u/peoplesdyson (https://www.reddit.com/user/peoplesdyson)
[link] (http://finance.yahoo.com/news/original-programming-wakuwaku-japan-wakuwaku-040000964.html) [comments] (https://www.reddit.com/r/programming/comments/60mrpt/new_original_programming_from_wakuwaku_japan/)
Community members march to support PBS and programming
https://www.reddit.com/r/programming/comments/60mrwz/community_members_march_to_support_pbs_and/
submitted by /u/zimmercollazo (https://www.reddit.com/user/zimmercollazo)
[link] (http://fox11online.com/news/local/green-bay/community-members-march-to-support-pbs-and-programming) [comments] (https://www.reddit.com/r/programming/comments/60mrwz/community_members_march_to_support_pbs_and/)
https://www.reddit.com/r/programming/comments/60mrwz/community_members_march_to_support_pbs_and/
submitted by /u/zimmercollazo (https://www.reddit.com/user/zimmercollazo)
[link] (http://fox11online.com/news/local/green-bay/community-members-march-to-support-pbs-and-programming) [comments] (https://www.reddit.com/r/programming/comments/60mrwz/community_members_march_to_support_pbs_and/)
Downers Grove Park District to partner on after school programming this fall
https://www.reddit.com/r/programming/comments/60mriw/downers_grove_park_district_to_partner_on_after/
submitted by /u/dobbsrobledo (https://www.reddit.com/user/dobbsrobledo)
[link] (http://www.mysuburbanlife.com/2017/03/13/downers-grove-park-district-to-partner-on-after-school-programming-this-fall/ac4jw2n/) [comments] (https://www.reddit.com/r/programming/comments/60mriw/downers_grove_park_district_to_partner_on_after/)
https://www.reddit.com/r/programming/comments/60mriw/downers_grove_park_district_to_partner_on_after/
submitted by /u/dobbsrobledo (https://www.reddit.com/user/dobbsrobledo)
[link] (http://www.mysuburbanlife.com/2017/03/13/downers-grove-park-district-to-partner-on-after-school-programming-this-fall/ac4jw2n/) [comments] (https://www.reddit.com/r/programming/comments/60mriw/downers_grove_park_district_to_partner_on_after/)
My Swift Library "nirma/Attributed" made it into this weeks issue (#68) of Swift Weekly!!! Pull Requests Welcome!!
https://www.reddit.com/r/programming/comments/60mspc/my_swift_library_nirmaattributed_made_it_into/
submitted by /u/NSZ0mbie (https://www.reddit.com/user/NSZ0mbie)
[link] (http://digest.swiftweekly.com/issues/swift-weekly-issue-68-49136) [comments] (https://www.reddit.com/r/programming/comments/60mspc/my_swift_library_nirmaattributed_made_it_into/)
https://www.reddit.com/r/programming/comments/60mspc/my_swift_library_nirmaattributed_made_it_into/
submitted by /u/NSZ0mbie (https://www.reddit.com/user/NSZ0mbie)
[link] (http://digest.swiftweekly.com/issues/swift-weekly-issue-68-49136) [comments] (https://www.reddit.com/r/programming/comments/60mspc/my_swift_library_nirmaattributed_made_it_into/)
Setting up automatic code quality checks using git hooks
https://www.reddit.com/r/programming/comments/60myif/setting_up_automatic_code_quality_checks_using/
submitted by /u/jskalc (https://www.reddit.com/user/jskalc)
[link] (https://rock-it.pl/automatic-code-quality-checks-with-git-hooks/) [comments] (https://www.reddit.com/r/programming/comments/60myif/setting_up_automatic_code_quality_checks_using/)
https://www.reddit.com/r/programming/comments/60myif/setting_up_automatic_code_quality_checks_using/
submitted by /u/jskalc (https://www.reddit.com/user/jskalc)
[link] (https://rock-it.pl/automatic-code-quality-checks-with-git-hooks/) [comments] (https://www.reddit.com/r/programming/comments/60myif/setting_up_automatic_code_quality_checks_using/)
Google Go's popularity doesn't translate to the enterprise
https://www.reddit.com/r/programming/comments/60mymo/google_gos_popularity_doesnt_translate_to_the/
submitted by /u/springuni (https://www.reddit.com/user/springuni)
[link] (http://www.javaworld.com/article/3180847/application-development/googles-go-popularity-doesnt-translate-to-the-enterprise.html) [comments] (https://www.reddit.com/r/programming/comments/60mymo/google_gos_popularity_doesnt_translate_to_the/)
https://www.reddit.com/r/programming/comments/60mymo/google_gos_popularity_doesnt_translate_to_the/
submitted by /u/springuni (https://www.reddit.com/user/springuni)
[link] (http://www.javaworld.com/article/3180847/application-development/googles-go-popularity-doesnt-translate-to-the-enterprise.html) [comments] (https://www.reddit.com/r/programming/comments/60mymo/google_gos_popularity_doesnt_translate_to_the/)
Mobile Application development from scratch
https://www.reddit.com/r/programming/comments/60myqy/mobile_application_development_from_scratch/
submitted by /u/joey_php (https://www.reddit.com/user/joey_php)
[link] (http://www.discoversdk.com/blog/application-development-from-scratch) [comments] (https://www.reddit.com/r/programming/comments/60myqy/mobile_application_development_from_scratch/)
https://www.reddit.com/r/programming/comments/60myqy/mobile_application_development_from_scratch/
submitted by /u/joey_php (https://www.reddit.com/user/joey_php)
[link] (http://www.discoversdk.com/blog/application-development-from-scratch) [comments] (https://www.reddit.com/r/programming/comments/60myqy/mobile_application_development_from_scratch/)
Mindful Software Development
https://www.reddit.com/r/programming/comments/60n4i8/mindful_software_development/
submitted by /u/beavertime (https://www.reddit.com/user/beavertime)
[link] (https://dennisforbes.ca/index.php/2017/03/20/mindful-software-development/) [comments] (https://www.reddit.com/r/programming/comments/60n4i8/mindful_software_development/)
https://www.reddit.com/r/programming/comments/60n4i8/mindful_software_development/
submitted by /u/beavertime (https://www.reddit.com/user/beavertime)
[link] (https://dennisforbes.ca/index.php/2017/03/20/mindful-software-development/) [comments] (https://www.reddit.com/r/programming/comments/60n4i8/mindful_software_development/)
GitHub employees can now develop their own IP using company equipment and time
https://www.reddit.com/r/programming/comments/60n6or/github_employees_can_now_develop_their_own_ip/
submitted by /u/keeferc (https://www.reddit.com/user/keeferc)
[link] (https://qz.com/937038/github-now-lets-its-workers-keep-the-ip-when-they-use-company-resources-for-personal-projects/?s=2) [comments] (https://www.reddit.com/r/programming/comments/60n6or/github_employees_can_now_develop_their_own_ip/)
https://www.reddit.com/r/programming/comments/60n6or/github_employees_can_now_develop_their_own_ip/
submitted by /u/keeferc (https://www.reddit.com/user/keeferc)
[link] (https://qz.com/937038/github-now-lets-its-workers-keep-the-ip-when-they-use-company-resources-for-personal-projects/?s=2) [comments] (https://www.reddit.com/r/programming/comments/60n6or/github_employees_can_now_develop_their_own_ip/)
Not Magic...Quantum: "A nascent commercial quantum computer has arrived at Los Alamos and may solve certain problems with such astonishing speed that it would be like pulling answers out of a hat."
https://www.reddit.com/r/programming/comments/60n72c/not_magicquantum_a_nascent_commercial_quantum/
submitted by /u/trot-trot (https://www.reddit.com/user/trot-trot)
[link] (http://www.lanl.gov/discover/publications/1663/2016-july/not-magic-quantum.php) [comments] (https://www.reddit.com/r/programming/comments/60n72c/not_magicquantum_a_nascent_commercial_quantum/)
https://www.reddit.com/r/programming/comments/60n72c/not_magicquantum_a_nascent_commercial_quantum/
submitted by /u/trot-trot (https://www.reddit.com/user/trot-trot)
[link] (http://www.lanl.gov/discover/publications/1663/2016-july/not-magic-quantum.php) [comments] (https://www.reddit.com/r/programming/comments/60n72c/not_magicquantum_a_nascent_commercial_quantum/)
Mobile application security: Checklist for Data security and vulnerabilities
https://www.reddit.com/r/programming/comments/60n8ss/mobile_application_security_checklist_for_data/
submitted by /u/maxpaul001 (https://www.reddit.com/user/maxpaul001)
[link] (https://www.simform.com/mobile-application-security-data-vulnerabilities/) [comments] (https://www.reddit.com/r/programming/comments/60n8ss/mobile_application_security_checklist_for_data/)
https://www.reddit.com/r/programming/comments/60n8ss/mobile_application_security_checklist_for_data/
submitted by /u/maxpaul001 (https://www.reddit.com/user/maxpaul001)
[link] (https://www.simform.com/mobile-application-security-data-vulnerabilities/) [comments] (https://www.reddit.com/r/programming/comments/60n8ss/mobile_application_security_checklist_for_data/)
How to create a professional website || Tables || HTML and CSS tutorials...
https://www.reddit.com/r/programming/comments/60ncos/how_to_create_a_professional_website_tables_html/
submitted by /u/bhargavsrinivas (https://www.reddit.com/user/bhargavsrinivas)
[link] (https://www.youtube.com/attribution_link?a=ER70T9lqg7I&u=%2Fwatch%3Fv%3DDE8SMaGy2s4%26feature%3Dshare) [comments] (https://www.reddit.com/r/programming/comments/60ncos/how_to_create_a_professional_website_tables_html/)
https://www.reddit.com/r/programming/comments/60ncos/how_to_create_a_professional_website_tables_html/
submitted by /u/bhargavsrinivas (https://www.reddit.com/user/bhargavsrinivas)
[link] (https://www.youtube.com/attribution_link?a=ER70T9lqg7I&u=%2Fwatch%3Fv%3DDE8SMaGy2s4%26feature%3Dshare) [comments] (https://www.reddit.com/r/programming/comments/60ncos/how_to_create_a_professional_website_tables_html/)
Bug reporting and handling a bug report: A better way
https://www.reddit.com/r/programming/comments/60ncri/bug_reporting_and_handling_a_bug_report_a_better/
submitted by /u/SarahPleasant (https://www.reddit.com/user/SarahPleasant)
[link] (http://blog.debugme.eu/bug-reporting-debugme/) [comments] (https://www.reddit.com/r/programming/comments/60ncri/bug_reporting_and_handling_a_bug_report_a_better/)
https://www.reddit.com/r/programming/comments/60ncri/bug_reporting_and_handling_a_bug_report_a_better/
submitted by /u/SarahPleasant (https://www.reddit.com/user/SarahPleasant)
[link] (http://blog.debugme.eu/bug-reporting-debugme/) [comments] (https://www.reddit.com/r/programming/comments/60ncri/bug_reporting_and_handling_a_bug_report_a_better/)
Duplicate image detection with perceptual hashing in Python
https://www.reddit.com/r/programming/comments/60neu0/duplicate_image_detection_with_perceptual_hashing/
submitted by /u/benhoyt (https://www.reddit.com/user/benhoyt)
[link] (http://tech.jetsetter.com/2017/03/21/duplicate-image-detection/) [comments] (https://www.reddit.com/r/programming/comments/60neu0/duplicate_image_detection_with_perceptual_hashing/)
https://www.reddit.com/r/programming/comments/60neu0/duplicate_image_detection_with_perceptual_hashing/
submitted by /u/benhoyt (https://www.reddit.com/user/benhoyt)
[link] (http://tech.jetsetter.com/2017/03/21/duplicate-image-detection/) [comments] (https://www.reddit.com/r/programming/comments/60neu0/duplicate_image_detection_with_perceptual_hashing/)
Making PostgreSQL Realtime
https://www.reddit.com/r/programming/comments/60ngc6/making_postgresql_realtime/
submitted by /u/Realm_News (https://www.reddit.com/user/Realm_News)
[link] (https://realm.io/news/making-postgresql-realtime/) [comments] (https://www.reddit.com/r/programming/comments/60ngc6/making_postgresql_realtime/)
https://www.reddit.com/r/programming/comments/60ngc6/making_postgresql_realtime/
submitted by /u/Realm_News (https://www.reddit.com/user/Realm_News)
[link] (https://realm.io/news/making-postgresql-realtime/) [comments] (https://www.reddit.com/r/programming/comments/60ngc6/making_postgresql_realtime/)
Announcing Scala.js 0.6.15
https://www.reddit.com/r/programming/comments/60norg/announcing_scalajs_0615/
submitted by /u/fromscalatohaskell (https://www.reddit.com/user/fromscalatohaskell)
[link] (https://www.scala-js.org/news/2017/03/21/announcing-scalajs-0.6.15/) [comments] (https://www.reddit.com/r/programming/comments/60norg/announcing_scalajs_0615/)
https://www.reddit.com/r/programming/comments/60norg/announcing_scalajs_0615/
submitted by /u/fromscalatohaskell (https://www.reddit.com/user/fromscalatohaskell)
[link] (https://www.scala-js.org/news/2017/03/21/announcing-scalajs-0.6.15/) [comments] (https://www.reddit.com/r/programming/comments/60norg/announcing_scalajs_0615/)
Writing a Linux Debugger Part 1: Setup
https://www.reddit.com/r/programming/comments/60npcm/writing_a_linux_debugger_part_1_setup/
submitted by /u/mttd (https://www.reddit.com/user/mttd)
[link] (http://blog.tartanllama.xyz/c++/2017/03/21/writing-a-linux-debugger-setup/) [comments] (https://www.reddit.com/r/programming/comments/60npcm/writing_a_linux_debugger_part_1_setup/)
https://www.reddit.com/r/programming/comments/60npcm/writing_a_linux_debugger_part_1_setup/
submitted by /u/mttd (https://www.reddit.com/user/mttd)
[link] (http://blog.tartanllama.xyz/c++/2017/03/21/writing-a-linux-debugger-setup/) [comments] (https://www.reddit.com/r/programming/comments/60npcm/writing_a_linux_debugger_part_1_setup/)
How I Became a Better Programmer
https://www.reddit.com/r/programming/comments/60ntxj/how_i_became_a_better_programmer/
submitted by /u/speckz (https://www.reddit.com/user/speckz)
[link] (http://jlongster.com/How-I-Became-Better-Programmer) [comments] (https://www.reddit.com/r/programming/comments/60ntxj/how_i_became_a_better_programmer/)
https://www.reddit.com/r/programming/comments/60ntxj/how_i_became_a_better_programmer/
submitted by /u/speckz (https://www.reddit.com/user/speckz)
[link] (http://jlongster.com/How-I-Became-Better-Programmer) [comments] (https://www.reddit.com/r/programming/comments/60ntxj/how_i_became_a_better_programmer/)