xmonad in Coq - Programming a Window Manager with a Proof Assistant
https://www.reddit.com/r/programming/comments/672qvm/xmonad_in_coq_programming_a_window_manager_with_a/

submitted by /u/based2 (https://www.reddit.com/user/based2)
[link] (http://www.staff.science.uu.nl/~swier004/Publications/XmonadInCoq.pdf) [comments] (https://www.reddit.com/r/programming/comments/672qvm/xmonad_in_coq_programming_a_window_manager_with_a/)

The SSH port is 22. It is not a co-incidence. This is a story I (Tatu Ylonen, who wrote the initial version of SSH in Spring 1995) haven't told before.
https://www.reddit.com/r/programming/comments/67349l/the_ssh_port_is_22_it_is_not_a_coincidence_this/

submitted by /u/speckz (https://www.reddit.com/user/speckz)
[link] (https://www.ssh.com/ssh/port) [comments] (https://www.reddit.com/r/programming/comments/67349l/the_ssh_port_is_22_it_is_not_a_coincidence_this/)

Transform ordinary download links into WebTorrent ones
https://www.reddit.com/r/programming/comments/6734qv/transform_ordinary_download_links_into_webtorrent/

submitted by /u/agumonkey (https://www.reddit.com/user/agumonkey)
[link] (https://github.com/wmhilton/download-with-webtorrent-button) [comments] (https://www.reddit.com/r/programming/comments/6734qv/transform_ordinary_download_links_into_webtorrent/)

[VIDEO] HashDog, A Java CPU Cracker!
https://www.reddit.com/r/programming/comments/6736zr/video_hashdog_a_java_cpu_cracker/

submitted by /u/PastaBlizzard (https://www.reddit.com/user/PastaBlizzard)
[link] (https://youtu.be/r0MNpcESEHg) [comments] (https://www.reddit.com/r/programming/comments/6736zr/video_hashdog_a_java_cpu_cracker/)

Python, as Reviewed by a C++ Programmer
https://www.reddit.com/r/programming/comments/673btw/python_as_reviewed_by_a_c_programmer/

submitted by /u/agumonkey (https://www.reddit.com/user/agumonkey)
[link] (http://www.sgh1.net/b4/python-first-impressions) [comments] (https://www.reddit.com/r/programming/comments/673btw/python_as_reviewed_by_a_c_programmer/)

VisuAlgo - visualising data structures and algorithms through animation
https://www.reddit.com/r/programming/comments/673g6z/visualgo_visualising_data_structures_and/

submitted by /u/based2 (https://www.reddit.com/user/based2)
[link] (https://visualgo.net/en) [comments] (https://www.reddit.com/r/programming/comments/673g6z/visualgo_visualising_data_structures_and/)

What I would like to see in a company of my dream
https://www.reddit.com/r/programming/comments/673gv5/what_i_would_like_to_see_in_a_company_of_my_dream/

submitted by /u/olegkovalov (https://www.reddit.com/user/olegkovalov)
[link] (https://github.com/cristaloleg/awesome-manifesto) [comments] (https://www.reddit.com/r/programming/comments/673gv5/what_i_would_like_to_see_in_a_company_of_my_dream/)

The role of compilers in JavaScript (performance)
https://www.reddit.com/r/programming/comments/673lr5/the_role_of_compilers_in_javascript_performance/

submitted by /u/jsdev2017 (https://www.reddit.com/user/jsdev2017)
[link] (http://www.syntaxsuccess.com/viewarticle/optimizing-applications-using-svelte) [comments] (https://www.reddit.com/r/programming/comments/673lr5/the_role_of_compilers_in_javascript_performance/)

Redefining the Learning Structure : Computer Science + Enterprise Level Practical !
https://www.reddit.com/r/programming/comments/673lwr/redefining_the_learning_structure_computer/

submitted by /u/shiv4nsh (https://www.reddit.com/user/shiv4nsh)
[link] (http://blog.internity.in/) [comments] (https://www.reddit.com/r/programming/comments/673lwr/redefining_the_learning_structure_computer/)

Improving Startup Time For Atom
https://www.reddit.com/r/programming/comments/673nik/improving_startup_time_for_atom/

submitted by /u/nerzid (https://www.reddit.com/user/nerzid)
[link] (http://blog.atom.io/2017/04/18/improving-startup-time.html) [comments] (https://www.reddit.com/r/programming/comments/673nik/improving_startup_time_for_atom/)

(Open-Source) TerraLegion - AI with Behavior Trees
https://www.reddit.com/r/programming/comments/673vj4/opensource_terralegion_ai_with_behavior_trees/

submitted by /u/j_rapp (https://www.reddit.com/user/j_rapp)
[link] (https://www.youtube.com/watch?v=S97D8hyZ6v4) [comments] (https://www.reddit.com/r/programming/comments/673vj4/opensource_terralegion_ai_with_behavior_trees/)

All about java.util.Date | Jon Skeet's coding blog
https://www.reddit.com/r/programming/comments/674082/all_about_javautildate_jon_skeets_coding_blog/

submitted by /u/Sprokes (https://www.reddit.com/user/Sprokes)
[link] (https://codeblog.jonskeet.uk/2017/04/23/all-about-java-util-date/) [comments] (https://www.reddit.com/r/programming/comments/674082/all_about_javautildate_jon_skeets_coding_blog/)

How to Internationalize Your AngularJS App
https://www.reddit.com/r/programming/comments/6741oe/how_to_internationalize_your_angularjs_app/

submitted by /u/ask4ebuka (https://www.reddit.com/user/ask4ebuka)
[link] (http://tekhinnovation.blogspot.com/2017/04/how-to-internationalize-your-angularjs.html) [comments] (https://www.reddit.com/r/programming/comments/6741oe/how_to_internationalize_your_angularjs_app/)

Treemaps for space-constrained visualization of hierarchies: a history.
https://www.reddit.com/r/programming/comments/674axb/treemaps_for_spaceconstrained_visualization_of/

submitted by /u/self (https://www.reddit.com/user/self)
[link] (https://www.cs.umd.edu/hcil/treemap-history/) [comments] (https://www.reddit.com/r/programming/comments/674axb/treemaps_for_spaceconstrained_visualization_of/)

How to Install Emmet on Sublime Text 3 | 2017
https://www.reddit.com/r/programming/comments/674l3f/how_to_install_emmet_on_sublime_text_3_2017/

submitted by /u/infomdalamin (https://www.reddit.com/user/infomdalamin)
[link] (https://youtu.be/kkWyMyVJkv0) [comments] (https://www.reddit.com/r/programming/comments/674l3f/how_to_install_emmet_on_sublime_text_3_2017/)

.NET Spans and ref part 1 : ref
https://www.reddit.com/r/programming/comments/674h2s/net_spans_and_ref_part_1_ref/

submitted by /u/mattwarren (https://www.reddit.com/user/mattwarren)
[link] (http://blog.marcgravell.com/2017/04/spans-and-ref-part-1-ref.html) [comments] (https://www.reddit.com/r/programming/comments/674h2s/net_spans_and_ref_part_1_ref/)

Hystrix in monolithic architecture
https://www.reddit.com/r/programming/comments/674rz0/hystrix_in_monolithic_architecture/

submitted by /u/wprzecho (https://www.reddit.com/user/wprzecho)
[link] (http://pragmatists.pl/blog/2017/03/hystrix-in-monolithic-architecture/) [comments] (https://www.reddit.com/r/programming/comments/674rz0/hystrix_in_monolithic_architecture/)

iproute2mac - CLI wrapper for macOS network utilities which simulates iproute2 (ip command) from Linux
https://www.reddit.com/r/programming/comments/674ta1/iproute2mac_cli_wrapper_for_macos_network/

submitted by /u/ThangCZ (https://www.reddit.com/user/ThangCZ)
[link] (https://github.com/brona/iproute2mac) [comments] (https://www.reddit.com/r/programming/comments/674ta1/iproute2mac_cli_wrapper_for_macos_network/)

Quadratic Programming in Python
https://www.reddit.com/r/programming/comments/674wqh/quadratic_programming_in_python/

submitted by /u/tastalian (https://www.reddit.com/user/tastalian)
[link] (https://scaron.info/blog/quadratic-programming-in-python.html) [comments] (https://www.reddit.com/r/programming/comments/674wqh/quadratic_programming_in_python/)

Jon Blow - "Making Game Programming Less Terrible" (audio starts at 1:04)
https://www.reddit.com/r/programming/comments/675461/jon_blow_making_game_programming_less_terrible/

submitted by /u/TheSizik (https://www.reddit.com/user/TheSizik)
[link] (https://youtu.be/gWv_vUgbmug?t=64) [comments] (https://www.reddit.com/r/programming/comments/675461/jon_blow_making_game_programming_less_terrible/)