A6: Pro Git, Git Ready, Git Reference, Git Magic, Git for Computer Scientists, A Visual Git Reference, Git Primer, Git Immersion, Think Like a Git, Git Workflows, Git on Stack Overflow, Getting Git Right, The Git Parable. Updates: Added external links to precedence among options and environment variables and configuration variables, and security section of git upload-pack. Added concept links to tree, directory, hook, merge workflow, patch workflow, and many merge-operation-related concepts; moved and grouped all merge-operation-related concept links at one place under "Combining Diffs" section. Added internal link to examples for namespaces. Added plumbing link to git check-mailmap. Extracted common prefixes in links' text into bash brace expansion style. Simplified (e.g. removing unnecessary intermediate shell variables and scaffolding branches and tags) and/or improved (e.g. adding diff against AUTO_MERGE, adding commands to orthogonally show effects of options, adding commands to deal with post-merge-conflict situations, adding options to print more relevant paths in more predictable form, printing values of intermediate shell variables) examples: Parameters: "git config rename-section and git config remove-section", "git var", "git -C [] and git --git-dir= [] and git --work-tree= []", "git --bare [] and git --git-dir= [] and git --work-tree= []", "git --namespace= []". Managing Working Trees: "git worktree add --track/--no-track". Managing References: "git ls-remote --get-url". Repository Creation and Synchronization: "git init --separate-git-dir=", "git clone --separate-git-dir=", "git clone --config='remote.origin.fetch='", "git fetch --shallow-exclude=", "git fetch remote to fetch from", "git push [--tags]", "git push --force-with-lease --force-if-includes/--no-force-if-includes", "git push --force-with-lease=:". Diffing: "git diff --find-renames= --break-rewrites=[][/]", "git diff --find-copies= --break-rewrites=[][/]", "git diff --find-object=". Listing History: "git log --first-parent", "git log commit following and inclusion". Snapshotting: "git checkout (without ) (with …)", "git checkout (with optional ) (without …)", "git reset --merge". Merge Workflow: "git merge --squash and git merge (--no-squash) --no-commit". Rewriting History: "git rebase --root --onto= []", "git rebase --rebase-merges=rebase-cousins". Fixed typo or formatting in description of these examples: "git checkout (with optional ) (without …)", "git reset --keep", "git diff --stat". Fixed these examples (e.g. escaping control characters) to make output conform to HTML spec (The W3C Markup Validation Service (https://validator.w3.org/)): "git config allowed characters in section name and subsection name", "git config allowed characters in value". Split "git fetch refs to fetch from remote and local refs to update" into two examples "git fetch refs to fetch from remote" and "git fetch local refs to update". <!-- SC_ON --> submitted by /u/jhcarl0814 (https://www.reddit.com/user/jhcarl0814)
[link] (https://jhcarl0814.github.io/ClosedAI/git/git.html) [comments] (https://www.reddit.com/r/programming/comments/1md1a1y/the_ultimate_git_tutorial_git_250/)
[link] (https://jhcarl0814.github.io/ClosedAI/git/git.html) [comments] (https://www.reddit.com/r/programming/comments/1md1a1y/the_ultimate_git_tutorial_git_250/)
Happy 20th birthday MDN!
https://www.reddit.com/r/programming/comments/1md1cc2/happy_20th_birthday_mdn/
submitted by /u/feross (https://www.reddit.com/user/feross)
[link] (https://web.dev/blog/mdn-birthday?hl=en) [comments] (https://www.reddit.com/r/programming/comments/1md1cc2/happy_20th_birthday_mdn/)
https://www.reddit.com/r/programming/comments/1md1cc2/happy_20th_birthday_mdn/
submitted by /u/feross (https://www.reddit.com/user/feross)
[link] (https://web.dev/blog/mdn-birthday?hl=en) [comments] (https://www.reddit.com/r/programming/comments/1md1cc2/happy_20th_birthday_mdn/)
🕹️ Virtual Office 2D game self-hostable & open-sourced!
https://www.reddit.com/r/programming/comments/1md1fxd/virtual_office_2d_game_selfhostable_opensourced/
submitted by /u/Inevitable-Brain-629 (https://www.reddit.com/user/Inevitable-Brain-629)
[link] (https://github.com/workadventure/workadventure) [comments] (https://www.reddit.com/r/programming/comments/1md1fxd/virtual_office_2d_game_selfhostable_opensourced/)
https://www.reddit.com/r/programming/comments/1md1fxd/virtual_office_2d_game_selfhostable_opensourced/
submitted by /u/Inevitable-Brain-629 (https://www.reddit.com/user/Inevitable-Brain-629)
[link] (https://github.com/workadventure/workadventure) [comments] (https://www.reddit.com/r/programming/comments/1md1fxd/virtual_office_2d_game_selfhostable_opensourced/)
Most watched Software Engineering talks of 2025 (so far)
https://www.reddit.com/r/programming/comments/1md34bm/most_watched_software_engineering_talks_of_2025/
submitted by /u/GarethX (https://www.reddit.com/user/GarethX)
[link] (https://www.techtalksweekly.io/p/50-most-watched-software-engineering) [comments] (https://www.reddit.com/r/programming/comments/1md34bm/most_watched_software_engineering_talks_of_2025/)
https://www.reddit.com/r/programming/comments/1md34bm/most_watched_software_engineering_talks_of_2025/
submitted by /u/GarethX (https://www.reddit.com/user/GarethX)
[link] (https://www.techtalksweekly.io/p/50-most-watched-software-engineering) [comments] (https://www.reddit.com/r/programming/comments/1md34bm/most_watched_software_engineering_talks_of_2025/)
Documented my journey from monolith hell to event-driven bliss (with actual code, not just pretty diagrams)
https://www.reddit.com/r/programming/comments/1md5bjs/documented_my_journey_from_monolith_hell_to/
<!-- SC_OFF -->Alright, so I just finished what might be the most thorough procrastination project of my career - documenting how to properly break apart a monolithic application. You know those articles that show you beautiful architecture diagrams but leave out all the messy implementation details? Yeah, this is the opposite of that. Built a complete example app and walked through every painful step of the migration. The evolution: Monolith (everything's coupled, it's a mess) Modular monolith (same app, better boundaries) Actual microservices (separate deployments) Event-driven architecture (async all the things) What I actually learned: Split your databases first, even if it breaks stuff. Forces you to think about real boundaries Use tools to enforce your architecture rules (humans are terrible at following conventions) Gradual changes > big rewrites. Each step should be shippable Test coverage at the API level is way more important than unit tests for this stuff The example is a food delivery app because it has all the fun cross-service complexity - orders, payments, deliveries, status updates, etc. Best part? Each phase has working code and handles all the annoying edge cases like "what happens when you can't do joins anymore" and "how do you handle transactions across services." Full thing: https://medium.com/@ilyachase/practical-example-of-decoupling-a-monolithic-php-application-6ff82fefc80a Code: https://github.com/ilyachase/monolith-decoupling-example Anyone else been through architectural migration hell? What patterns actually worked vs what looked good on paper? <!-- SC_ON --> submitted by /u/ilyachase (https://www.reddit.com/user/ilyachase)
[link] (https://medium.com/@ilyachase/practical-example-of-decoupling-a-monolithic-php-application-6ff82fefc80a) [comments] (https://www.reddit.com/r/programming/comments/1md5bjs/documented_my_journey_from_monolith_hell_to/)
https://www.reddit.com/r/programming/comments/1md5bjs/documented_my_journey_from_monolith_hell_to/
<!-- SC_OFF -->Alright, so I just finished what might be the most thorough procrastination project of my career - documenting how to properly break apart a monolithic application. You know those articles that show you beautiful architecture diagrams but leave out all the messy implementation details? Yeah, this is the opposite of that. Built a complete example app and walked through every painful step of the migration. The evolution: Monolith (everything's coupled, it's a mess) Modular monolith (same app, better boundaries) Actual microservices (separate deployments) Event-driven architecture (async all the things) What I actually learned: Split your databases first, even if it breaks stuff. Forces you to think about real boundaries Use tools to enforce your architecture rules (humans are terrible at following conventions) Gradual changes > big rewrites. Each step should be shippable Test coverage at the API level is way more important than unit tests for this stuff The example is a food delivery app because it has all the fun cross-service complexity - orders, payments, deliveries, status updates, etc. Best part? Each phase has working code and handles all the annoying edge cases like "what happens when you can't do joins anymore" and "how do you handle transactions across services." Full thing: https://medium.com/@ilyachase/practical-example-of-decoupling-a-monolithic-php-application-6ff82fefc80a Code: https://github.com/ilyachase/monolith-decoupling-example Anyone else been through architectural migration hell? What patterns actually worked vs what looked good on paper? <!-- SC_ON --> submitted by /u/ilyachase (https://www.reddit.com/user/ilyachase)
[link] (https://medium.com/@ilyachase/practical-example-of-decoupling-a-monolithic-php-application-6ff82fefc80a) [comments] (https://www.reddit.com/r/programming/comments/1md5bjs/documented_my_journey_from_monolith_hell_to/)
Looking for Paywall Article Sharing (Pragmatic Engineer)
https://www.reddit.com/r/programming/comments/1md6nb7/looking_for_paywall_article_sharing_pragmatic/
<!-- SC_OFF -->Hello,
I came across an article that really interests me, but it's behind a subscription paywall ($15/month). That feels like a steep price for just one article, so I was wondering if anyone here is subscribed and could share it with me? Title: Building Great SDKs
Link: https://newsletter.pragmaticengineer.com/p/building-great-sdks Thanks! <!-- SC_ON --> submitted by /u/lambda-person (https://www.reddit.com/user/lambda-person)
[link] (https://newsletter.pragmaticengineer.com/p/building-great-sdks) [comments] (https://www.reddit.com/r/programming/comments/1md6nb7/looking_for_paywall_article_sharing_pragmatic/)
https://www.reddit.com/r/programming/comments/1md6nb7/looking_for_paywall_article_sharing_pragmatic/
<!-- SC_OFF -->Hello,
I came across an article that really interests me, but it's behind a subscription paywall ($15/month). That feels like a steep price for just one article, so I was wondering if anyone here is subscribed and could share it with me? Title: Building Great SDKs
Link: https://newsletter.pragmaticengineer.com/p/building-great-sdks Thanks! <!-- SC_ON --> submitted by /u/lambda-person (https://www.reddit.com/user/lambda-person)
[link] (https://newsletter.pragmaticengineer.com/p/building-great-sdks) [comments] (https://www.reddit.com/r/programming/comments/1md6nb7/looking_for_paywall_article_sharing_pragmatic/)
Desktop app distribution in 2024 - are we solving the right problems?
https://www.reddit.com/r/programming/comments/1md6xy8/desktop_app_distribution_in_2024_are_we_solving/
<!-- SC_OFF -->Mobile has App Store and Google Play. Web has npm and browser extension stores. Desktop has... what exactly? This seems particularly relevant for AI applications where desktop offers significant advantages: Direct hardware access (GPU, specialized chips) No bandwidth constraints for large models Privacy by default (data doesn't leave the machine) System-level integration capabilities Technical question: What's preventing modern desktop app distribution from being a solved problem? Challenges I've been thinking about: Cross-platform packaging and dependency management Automated updates without compromising security Discovery algorithms for desktop software Code signing across different operating systems For the community: Those building desktop applications (especially AI tools), what's your biggest distribution challenge? Are current solutions like GitHub releases, direct downloads, or OS-specific stores adequate? Related observation: Many new AI tools work better as desktop apps than web apps, but discovery remains terrible. Wondering if this represents a broader opportunity in desktop software distribution. Curious about the community's thoughts on the state of desktop app ecosystems and whether there are technical solutions we're missing. <!-- SC_ON --> submitted by /u/Real-Tip8531 (https://www.reddit.com/user/Real-Tip8531)
[link] (https://pcagents.store/) [comments] (https://www.reddit.com/r/programming/comments/1md6xy8/desktop_app_distribution_in_2024_are_we_solving/)
https://www.reddit.com/r/programming/comments/1md6xy8/desktop_app_distribution_in_2024_are_we_solving/
<!-- SC_OFF -->Mobile has App Store and Google Play. Web has npm and browser extension stores. Desktop has... what exactly? This seems particularly relevant for AI applications where desktop offers significant advantages: Direct hardware access (GPU, specialized chips) No bandwidth constraints for large models Privacy by default (data doesn't leave the machine) System-level integration capabilities Technical question: What's preventing modern desktop app distribution from being a solved problem? Challenges I've been thinking about: Cross-platform packaging and dependency management Automated updates without compromising security Discovery algorithms for desktop software Code signing across different operating systems For the community: Those building desktop applications (especially AI tools), what's your biggest distribution challenge? Are current solutions like GitHub releases, direct downloads, or OS-specific stores adequate? Related observation: Many new AI tools work better as desktop apps than web apps, but discovery remains terrible. Wondering if this represents a broader opportunity in desktop software distribution. Curious about the community's thoughts on the state of desktop app ecosystems and whether there are technical solutions we're missing. <!-- SC_ON --> submitted by /u/Real-Tip8531 (https://www.reddit.com/user/Real-Tip8531)
[link] (https://pcagents.store/) [comments] (https://www.reddit.com/r/programming/comments/1md6xy8/desktop_app_distribution_in_2024_are_we_solving/)
Zstandard Compression in Python 3.14: Why It Is a Big Deal for Developers
https://www.reddit.com/r/programming/comments/1mdajyi/zstandard_compression_in_python_314_why_it_is_a/
submitted by /u/yangzhou1993 (https://www.reddit.com/user/yangzhou1993)
[link] (https://yangzhou1993.medium.com/b161fea9ffcb?sk=cef998d87e1a0712cd0c5c0b39e74ed8) [comments] (https://www.reddit.com/r/programming/comments/1mdajyi/zstandard_compression_in_python_314_why_it_is_a/)
https://www.reddit.com/r/programming/comments/1mdajyi/zstandard_compression_in_python_314_why_it_is_a/
submitted by /u/yangzhou1993 (https://www.reddit.com/user/yangzhou1993)
[link] (https://yangzhou1993.medium.com/b161fea9ffcb?sk=cef998d87e1a0712cd0c5c0b39e74ed8) [comments] (https://www.reddit.com/r/programming/comments/1mdajyi/zstandard_compression_in_python_314_why_it_is_a/)
Yes, the majority of language migrations are driven by hype
https://www.reddit.com/r/programming/comments/1mdaocg/yes_the_majority_of_language_migrations_are/
<!-- SC_OFF -->71% of experienced software developers say their language migration decisions were influenced more by hype than by proven outcomes, and the other 29% are lying. <!-- SC_ON --> submitted by /u/scarey102 (https://www.reddit.com/user/scarey102)
[link] (https://leaddev.com/technical-direction/yes-the-majority-of-language-migrations-are-driven-by-hype) [comments] (https://www.reddit.com/r/programming/comments/1mdaocg/yes_the_majority_of_language_migrations_are/)
https://www.reddit.com/r/programming/comments/1mdaocg/yes_the_majority_of_language_migrations_are/
<!-- SC_OFF -->71% of experienced software developers say their language migration decisions were influenced more by hype than by proven outcomes, and the other 29% are lying. <!-- SC_ON --> submitted by /u/scarey102 (https://www.reddit.com/user/scarey102)
[link] (https://leaddev.com/technical-direction/yes-the-majority-of-language-migrations-are-driven-by-hype) [comments] (https://www.reddit.com/r/programming/comments/1mdaocg/yes_the_majority_of_language_migrations_are/)
Sharding Postgres at network speed
https://www.reddit.com/r/programming/comments/1mdc7w1/sharding_postgres_at_network_speed/
submitted by /u/levkk1 (https://www.reddit.com/user/levkk1)
[link] (https://pgdog.dev/blog/sharding-postgres-at-network-speed) [comments] (https://www.reddit.com/r/programming/comments/1mdc7w1/sharding_postgres_at_network_speed/)
https://www.reddit.com/r/programming/comments/1mdc7w1/sharding_postgres_at_network_speed/
submitted by /u/levkk1 (https://www.reddit.com/user/levkk1)
[link] (https://pgdog.dev/blog/sharding-postgres-at-network-speed) [comments] (https://www.reddit.com/r/programming/comments/1mdc7w1/sharding_postgres_at_network_speed/)
You're Shipping Too Slow - Improving Deployment frequency
https://www.reddit.com/r/programming/comments/1mdgs31/youre_shipping_too_slow_improving_deployment/
submitted by /u/agbell (https://www.reddit.com/user/agbell)
[link] (https://www.youtube.com/watch?v=Qfl3KUl2vT4) [comments] (https://www.reddit.com/r/programming/comments/1mdgs31/youre_shipping_too_slow_improving_deployment/)
https://www.reddit.com/r/programming/comments/1mdgs31/youre_shipping_too_slow_improving_deployment/
submitted by /u/agbell (https://www.reddit.com/user/agbell)
[link] (https://www.youtube.com/watch?v=Qfl3KUl2vT4) [comments] (https://www.reddit.com/r/programming/comments/1mdgs31/youre_shipping_too_slow_improving_deployment/)
A Jujutsu later: Exploring jj-vcs
https://www.reddit.com/r/programming/comments/1mdhy0m/a_jujutsu_later_exploring_jjvcs/
submitted by /u/Sonder-Otis (https://www.reddit.com/user/Sonder-Otis)
[link] (https://mtende.blog/a-jujutsu-later) [comments] (https://www.reddit.com/r/programming/comments/1mdhy0m/a_jujutsu_later_exploring_jjvcs/)
https://www.reddit.com/r/programming/comments/1mdhy0m/a_jujutsu_later_exploring_jjvcs/
submitted by /u/Sonder-Otis (https://www.reddit.com/user/Sonder-Otis)
[link] (https://mtende.blog/a-jujutsu-later) [comments] (https://www.reddit.com/r/programming/comments/1mdhy0m/a_jujutsu_later_exploring_jjvcs/)
GitHub - isene/xrpn: The eXtended RPN programming language
https://www.reddit.com/r/programming/comments/1mdmpo5/github_isenexrpn_the_extended_rpn_programming/
submitted by /u/isene (https://www.reddit.com/user/isene)
[link] (https://github.com/isene/xrpn) [comments] (https://www.reddit.com/r/programming/comments/1mdmpo5/github_isenexrpn_the_extended_rpn_programming/)
https://www.reddit.com/r/programming/comments/1mdmpo5/github_isenexrpn_the_extended_rpn_programming/
submitted by /u/isene (https://www.reddit.com/user/isene)
[link] (https://github.com/isene/xrpn) [comments] (https://www.reddit.com/r/programming/comments/1mdmpo5/github_isenexrpn_the_extended_rpn_programming/)
Having fun with DSP HLE - melonDS (NDS emulator)
https://www.reddit.com/r/programming/comments/1mdoneo/having_fun_with_dsp_hle_melonds_nds_emulator/
submitted by /u/NXGZ (https://www.reddit.com/user/NXGZ)
[link] (https://melonds.kuribo64.net/comments.php?id=231) [comments] (https://www.reddit.com/r/programming/comments/1mdoneo/having_fun_with_dsp_hle_melonds_nds_emulator/)
https://www.reddit.com/r/programming/comments/1mdoneo/having_fun_with_dsp_hle_melonds_nds_emulator/
submitted by /u/NXGZ (https://www.reddit.com/user/NXGZ)
[link] (https://melonds.kuribo64.net/comments.php?id=231) [comments] (https://www.reddit.com/r/programming/comments/1mdoneo/having_fun_with_dsp_hle_melonds_nds_emulator/)
Claude Code: My Most Trusted Coworker and My Worst Enemy
https://www.reddit.com/r/programming/comments/1mdu3ar/claude_code_my_most_trusted_coworker_and_my_worst/
submitted by /u/lopezbenito (https://www.reddit.com/user/lopezbenito)
[link] (https://lopezb.com/articles/claude-code-my-most-trusted-coworker-and-my-worst-enemy) [comments] (https://www.reddit.com/r/programming/comments/1mdu3ar/claude_code_my_most_trusted_coworker_and_my_worst/)
https://www.reddit.com/r/programming/comments/1mdu3ar/claude_code_my_most_trusted_coworker_and_my_worst/
submitted by /u/lopezbenito (https://www.reddit.com/user/lopezbenito)
[link] (https://lopezb.com/articles/claude-code-my-most-trusted-coworker-and-my-worst-enemy) [comments] (https://www.reddit.com/r/programming/comments/1mdu3ar/claude_code_my_most_trusted_coworker_and_my_worst/)
What’s New in Jakarta REST 4.0
https://www.reddit.com/r/programming/comments/1mdumk1/whats_new_in_jakarta_rest_40/
submitted by /u/congolomera (https://www.reddit.com/user/congolomera)
[link] (https://hantsy.medium.com/whats-new-in-jakarta-rest-4-0-ba979d9c0cd7?source=friends_link&sk=030d124a16041c2e51d8c68a97790440) [comments] (https://www.reddit.com/r/programming/comments/1mdumk1/whats_new_in_jakarta_rest_40/)
https://www.reddit.com/r/programming/comments/1mdumk1/whats_new_in_jakarta_rest_40/
submitted by /u/congolomera (https://www.reddit.com/user/congolomera)
[link] (https://hantsy.medium.com/whats-new-in-jakarta-rest-4-0-ba979d9c0cd7?source=friends_link&sk=030d124a16041c2e51d8c68a97790440) [comments] (https://www.reddit.com/r/programming/comments/1mdumk1/whats_new_in_jakarta_rest_40/)
On Optimizing Meteor Publications
https://www.reddit.com/r/programming/comments/1mdv5u7/on_optimizing_meteor_publications/
submitted by /u/radekmie (https://www.reddit.com/user/radekmie)
[link] (https://radekmie.dev/blog/on-optimizing-meteor-publications/) [comments] (https://www.reddit.com/r/programming/comments/1mdv5u7/on_optimizing_meteor_publications/)
https://www.reddit.com/r/programming/comments/1mdv5u7/on_optimizing_meteor_publications/
submitted by /u/radekmie (https://www.reddit.com/user/radekmie)
[link] (https://radekmie.dev/blog/on-optimizing-meteor-publications/) [comments] (https://www.reddit.com/r/programming/comments/1mdv5u7/on_optimizing_meteor_publications/)
Development with GenAI: Boardroom vs reality
https://www.reddit.com/r/programming/comments/1mdv6rf/development_with_genai_boardroom_vs_reality/
submitted by /u/pdolega (https://www.reddit.com/user/pdolega)
[link] (https://open.substack.com/pub/pdolega/p/genai-in-development-boardroom-trenches?r=kslqq&utm_source=reddit) [comments] (https://www.reddit.com/r/programming/comments/1mdv6rf/development_with_genai_boardroom_vs_reality/)
https://www.reddit.com/r/programming/comments/1mdv6rf/development_with_genai_boardroom_vs_reality/
submitted by /u/pdolega (https://www.reddit.com/user/pdolega)
[link] (https://open.substack.com/pub/pdolega/p/genai-in-development-boardroom-trenches?r=kslqq&utm_source=reddit) [comments] (https://www.reddit.com/r/programming/comments/1mdv6rf/development_with_genai_boardroom_vs_reality/)
Analyzing DuckDB’s Performance Optimization through TOPN and COUNT DISTINCT Operations
https://www.reddit.com/r/programming/comments/1mdva67/analyzing_duckdbs_performance_optimization/
submitted by /u/Vast_Lab8278 (https://www.reddit.com/user/Vast_Lab8278)
[link] (https://github.com/SPLWare/esProc/wiki/Analyzing-DuckDB%E2%80%99s-Performance-Optimization-through-TOPN-and-COUNT-DISTINCT-Operations) [comments] (https://www.reddit.com/r/programming/comments/1mdva67/analyzing_duckdbs_performance_optimization/)
https://www.reddit.com/r/programming/comments/1mdva67/analyzing_duckdbs_performance_optimization/
submitted by /u/Vast_Lab8278 (https://www.reddit.com/user/Vast_Lab8278)
[link] (https://github.com/SPLWare/esProc/wiki/Analyzing-DuckDB%E2%80%99s-Performance-Optimization-through-TOPN-and-COUNT-DISTINCT-Operations) [comments] (https://www.reddit.com/r/programming/comments/1mdva67/analyzing_duckdbs_performance_optimization/)
Unison
https://www.reddit.com/r/programming/comments/1mdx8co/unison/
<!-- SC_OFF -->It would be great to hear some opinions and experiences of the language and how it's been used in production. <!-- SC_ON --> submitted by /u/Successful_Answer_66 (https://www.reddit.com/user/Successful_Answer_66)
[link] (https://www.unison-lang.org/) [comments] (https://www.reddit.com/r/programming/comments/1mdx8co/unison/)
https://www.reddit.com/r/programming/comments/1mdx8co/unison/
<!-- SC_OFF -->It would be great to hear some opinions and experiences of the language and how it's been used in production. <!-- SC_ON --> submitted by /u/Successful_Answer_66 (https://www.reddit.com/user/Successful_Answer_66)
[link] (https://www.unison-lang.org/) [comments] (https://www.reddit.com/r/programming/comments/1mdx8co/unison/)