Why you should care about dependently typed programming
https://www.reddit.com/r/programming/comments/7pvw4c/why_you_should_care_about_dependently_typed/

submitted by /u/Xenasis (https://www.reddit.com/user/Xenasis)
[link] (https://medium.com/travel-cloud/why-you-should-care-about-dependently-typed-programming-2f7a409f31c0) [comments] (https://www.reddit.com/r/programming/comments/7pvw4c/why_you_should_care_about_dependently_typed/)

Etiquette for Pair Programming
https://www.reddit.com/r/programming/comments/7pvypu/etiquette_for_pair_programming/

submitted by /u/justaguythatcodes (https://www.reddit.com/user/justaguythatcodes)
[link] (https://aspetraining.com/resources/blog/etiquette-for-pair-programming) [comments] (https://www.reddit.com/r/programming/comments/7pvypu/etiquette_for_pair_programming/)

Let’s Kill JavaScript (and Replace It with Something Better)
https://www.reddit.com/r/programming/comments/7pw2d7/lets_kill_javascript_and_replace_it_with/

submitted by /u/jocap (https://www.reddit.com/user/jocap)
[link] (https://john.ankarstrom.se/english/texts/replacing-javascript/) [comments] (https://www.reddit.com/r/programming/comments/7pw2d7/lets_kill_javascript_and_replace_it_with/)

Ergodox EZ layout designed for Vim users
https://www.reddit.com/r/programming/comments/7pw7ho/ergodox_ez_layout_designed_for_vim_users/

submitted by /u/kopophobia (https://www.reddit.com/user/kopophobia)
[link] (https://github.com/Ganon-M/ergodox-vim-ubuntu) [comments] (https://www.reddit.com/r/programming/comments/7pw7ho/ergodox_ez_layout_designed_for_vim_users/)

Next; tech; meltdown..? Mandatory; semicolons; in; JavaScript; mulled;
https://www.reddit.com/r/programming/comments/7pwe5r/next_tech_meltdown_mandatory_semicolons_in/

submitted by /u/one_eyed_golfer (https://www.reddit.com/user/one_eyed_golfer)
[link] (https://www.theregister.co.uk/2018/01/12/javascript_technical_group_semicolons/) [comments] (https://www.reddit.com/r/programming/comments/7pwe5r/next_tech_meltdown_mandatory_semicolons_in/)

React JavaScript library on the rise in NPM registry
https://www.reddit.com/r/programming/comments/7pwe77/react_javascript_library_on_the_rise_in_npm/

submitted by /u/one_eyed_golfer (https://www.reddit.com/user/one_eyed_golfer)
[link] (https://www.infoworld.com/article/3246218/javascript/react-javascript-library-on-the-rise-in-npm-registry.html) [comments] (https://www.reddit.com/r/programming/comments/7pwe77/react_javascript_library_on_the_rise_in_npm/)

Minor improvement to yesod-form: A Stack Builders open source update
https://www.reddit.com/r/programming/comments/7pwqef/minor_improvement_to_yesodform_a_stack_builders/

submitted by /u/jpvillaisaza (https://www.reddit.com/user/jpvillaisaza)
[link] (https://www.stackbuilders.com/news/minor-improvement-to-yesod-forms-a-stack-builders-open-source-update) [comments] (https://www.reddit.com/r/programming/comments/7pwqef/minor_improvement_to_yesodform_a_stack_builders/)

Ruby Still isn't dead
https://www.reddit.com/r/programming/comments/7pwrj6/ruby_still_isnt_dead/

submitted by /u/aspleenic (https://www.reddit.com/user/aspleenic)
[link] (https://www.engineyard.com/blog/ruby-still-isnt-dead) [comments] (https://www.reddit.com/r/programming/comments/7pwrj6/ruby_still_isnt_dead/)

Podcast Interview: Meltdown and Spectre for C++ Programmers
https://www.reddit.com/r/programming/comments/7pwu14/podcast_interview_meltdown_and_spectre_for_c/

submitted by /u/tallassrob (https://www.reddit.com/user/tallassrob)
[link] (https://cppcast.com/2018/01/matt-godbolt/) [comments] (https://www.reddit.com/r/programming/comments/7pwu14/podcast_interview_meltdown_and_spectre_for_c/)

C Will Live For Another 45 Years - And Here's Why
https://www.reddit.com/r/programming/comments/7pwwxb/c_will_live_for_another_45_years_and_heres_why/

submitted by /u/coredev (https://www.reddit.com/user/coredev)
[link] (https://codeaddiction.net/articles/64/5-reasons-c-and-c-will-live-for-another-45-years) [comments] (https://www.reddit.com/r/programming/comments/7pwwxb/c_will_live_for_another_45_years_and_heres_why/)

Spring, Reactor and ElasticSearch: from callbacks to reactive streams
https://www.reddit.com/r/programming/comments/7px3va/spring_reactor_and_elasticsearch_from_callbacks/

submitted by /u/javinpaul (https://www.reddit.com/user/javinpaul)
[link] (http://www.nurkiewicz.com/2018/01/spring-reactor-and-elasticsearch-from.html) [comments] (https://www.reddit.com/r/programming/comments/7px3va/spring_reactor_and_elasticsearch_from_callbacks/)

Garmin Connect IQ 2 SDK (with Monkey C)
https://www.reddit.com/r/programming/comments/7px954/garmin_connect_iq_2_sdk_with_monkey_c/

submitted by /u/pjmlp (https://www.reddit.com/user/pjmlp)
[link] (https://developer.garmin.com/connect-iq/what-you-can-build/) [comments] (https://www.reddit.com/r/programming/comments/7px954/garmin_connect_iq_2_sdk_with_monkey_c/)

Pastel Markdown styling framework
https://www.reddit.com/r/programming/comments/7pxh01/pastel_markdown_styling_framework/

submitted by /u/ohaiomasta (https://www.reddit.com/user/ohaiomasta)
[link] (https://github.com/klauscfhq/kuma) [comments] (https://www.reddit.com/r/programming/comments/7pxh01/pastel_markdown_styling_framework/)

Weak Intel AMT security lets hackers hijack corporate comps – without a single line of code
https://www.reddit.com/r/programming/comments/7pxmib/weak_intel_amt_security_lets_hackers_hijack/

submitted by /u/ben_a_adams (https://www.reddit.com/user/ben_a_adams)
[link] (https://www.theregister.co.uk/2018/01/12/intel_amt_insecure/) [comments] (https://www.reddit.com/r/programming/comments/7pxmib/weak_intel_amt_security_lets_hackers_hijack/)

Making a notes app using Room database
https://www.reddit.com/r/programming/comments/7pxmti/making_a_notes_app_using_room_database/

submitted by /u/prtkgpt (https://www.reddit.com/user/prtkgpt)
[link] (https://www.pluralsight.com/guides/other/making-a-notes-app-using-room-database) [comments] (https://www.reddit.com/r/programming/comments/7pxmti/making_a_notes_app_using_room_database/)

The Death of Microservice Madness in 2018
https://www.reddit.com/r/programming/comments/7pxriw/the_death_of_microservice_madness_in_2018/

submitted by /u/dwmkerr (https://www.reddit.com/user/dwmkerr)
[link] (http://www.dwmkerr.com/the-death-of-microservice-madness-in-2018/) [comments] (https://www.reddit.com/r/programming/comments/7pxriw/the_death_of_microservice_madness_in_2018/)

DNSFS. Store your files in others DNS resolver caches
https://www.reddit.com/r/programming/comments/7pxseg/dnsfs_store_your_files_in_others_dns_resolver/

submitted by /u/DarkMio (https://www.reddit.com/user/DarkMio)
[link] (https://blog.benjojo.co.uk/post/dns-filesystem-true-cloud-storage-dnsfs) [comments] (https://www.reddit.com/r/programming/comments/7pxseg/dnsfs_store_your_files_in_others_dns_resolver/)

Stanford CS140e: Writing a Raspberry Pi OS in Rust
https://www.reddit.com/r/programming/comments/7pymlu/stanford_cs140e_writing_a_raspberry_pi_os_in_rust/

submitted by /u/steveklabnik1 (https://www.reddit.com/user/steveklabnik1)
[link] (https://web.stanford.edu/class/cs140e/) [comments] (https://www.reddit.com/r/programming/comments/7pymlu/stanford_cs140e_writing_a_raspberry_pi_os_in_rust/)

Let the code speak!
https://www.reddit.com/r/programming/comments/7pzl6c/let_the_code_speak/

submitted by /u/aboullaite (https://www.reddit.com/user/aboullaite)
[link] (https://hackernoon.com/let-the-code-speak-52d1cebf0394) [comments] (https://www.reddit.com/r/programming/comments/7pzl6c/let_the_code_speak/)

WebAssembly: Swift, C#, Java and Oxygene in the Browser
https://www.reddit.com/r/programming/comments/7pzizx/webassembly_swift_c_java_and_oxygene_in_the/

submitted by /u/dwarfland (https://www.reddit.com/user/dwarfland)
[link] (https://blogs.remobjects.com/2018/01/12/webassembly-swift-c-java-and-oxygene-in-the-browser/) [comments] (https://www.reddit.com/r/programming/comments/7pzizx/webassembly_swift_c_java_and_oxygene_in_the/)