214
I will send you newest post from subreddit /r/programming
The Magic Fix: “Sync to HEAD and Try Again”
https://www.reddit.com/r/programming/comments/1lfx7hj/the_magic_fix_sync_to_head_and_try_again/
submitted by /u/Good-Astronomer9485 (https://www.reddit.com/user/Good-Astronomer9485)
[link] (fast_fail_devlog/the-magic-fix-sync-to-head-and-try-again-10fed83ecc50" rel="nofollow">https://medium.com/@fast_fail_devlog/the-magic-fix-sync-to-head-and-try-again-10fed83ecc50) [comments] (https://www.reddit.com/r/programming/comments/1lfx7hj/the_magic_fix_sync_to_head_and_try_again/)
DSA Fundamentals #1: A Practical Guide to Propositional Logic
https://www.reddit.com/r/programming/comments/1lfvjji/dsa_fundamentals_1_a_practical_guide_to/
<!-- SC_OFF -->Propositional logic is the foundation for many computer science topics. It is used in formal verification, AI, and circuit design. Many learning resources are either too abstract or too simple. I wrote a guide to bridge that gap. It is for students and self-taught programmers. This is the first article in my series on DSA fundamentals. The guide covers syntax, semantics, rules of inference, and normal forms. It includes practice problems and project ideas. The full guide is available here: https://beyondit.blog/blogs/DSA-Fundamentals-1-A-Practical-Guide-to-Propositional-Logic I am interested in your thoughts. How do you use logic principles in your work beyond basic control flow? <!-- SC_ON --> submitted by /u/WillingnessFun7051 (https://www.reddit.com/user/WillingnessFun7051)
[link] (https://beyondit.blog/blogs/DSA-Fundamentals-1-A-Practical-Guide-to-Propositional-Logic) [comments] (https://www.reddit.com/r/programming/comments/1lfvjji/dsa_fundamentals_1_a_practical_guide_to/)
My winning formula for developing with LLMs (a guide)
https://www.reddit.com/r/programming/comments/1lfs74q/my_winning_formula_for_developing_with_llms_a/
submitted by /u/gametorch (https://www.reddit.com/user/gametorch)
[link] (https://x.com/gametorch_app/status/1935851290409505052) [comments] (https://www.reddit.com/r/programming/comments/1lfs74q/my_winning_formula_for_developing_with_llms_a/)
What is in pepperoni? Using Quora questions to test semantic caching
https://www.reddit.com/r/programming/comments/1lfiurd/what_is_in_pepperoni_using_quora_questions_to/
submitted by /u/louisscb (https://www.reddit.com/user/louisscb)
[link] (https://www.louiscb.com/blog/2025/06/19/semcache.html) [comments] (https://www.reddit.com/r/programming/comments/1lfiurd/what_is_in_pepperoni_using_quora_questions_to/)
The Ubiquitous Skiplist: A Survey of What Cannot be Skipped About the Skiplist and its Applications in Data Systems
https://www.reddit.com/r/programming/comments/1lfe2zt/the_ubiquitous_skiplist_a_survey_of_what_cannot/
submitted by /u/zvrba (https://www.reddit.com/user/zvrba)
[link] (https://dl.acm.org/doi/10.1145/3736754) [comments] (https://www.reddit.com/r/programming/comments/1lfe2zt/the_ubiquitous_skiplist_a_survey_of_what_cannot/)
Why I Think Every Developer Should Try Vim
https://www.reddit.com/r/programming/comments/1lfdhj0/why_i_think_every_developer_should_try_vim/
<!-- SC_OFF -->Hi all, I've written a small article on Vim and my experience transitioning to it. I think that every developer should at least try it as it's such an amazing experience. <!-- SC_ON --> submitted by /u/DutchBytes (https://www.reddit.com/user/DutchBytes)
[link] (https://govigilant.io/articles/every-developer-should-try-vim) [comments] (https://www.reddit.com/r/programming/comments/1lfdhj0/why_i_think_every_developer_should_try_vim/)
Multi-cloud Strategies With MongoDB Atlas
https://www.reddit.com/r/programming/comments/1lfaknc/multicloud_strategies_with_mongodb_atlas/
submitted by /u/Majestic_Wallaby7374 (https://www.reddit.com/user/Majestic_Wallaby7374)
[link] (https://foojay.io/today/multi-cloud-strategies-with-mongodb-atlas/) [comments] (https://www.reddit.com/r/programming/comments/1lfaknc/multicloud_strategies_with_mongodb_atlas/)
What Would a Kubernetes 2.0 Look Like
https://www.reddit.com/r/programming/comments/1lf9s0v/what_would_a_kubernetes_20_look_like/
submitted by /u/LaFoudre250 (https://www.reddit.com/user/LaFoudre250)
[link] (https://matduggan.com/what-would-a-kubernetes-2-0-look-like/) [comments] (https://www.reddit.com/r/programming/comments/1lf9s0v/what_would_a_kubernetes_20_look_like/)
The Story of a Prisoner Who Became a Software Engineer
https://www.reddit.com/r/programming/comments/1lf8o2p/the_story_of_a_prisoner_who_became_a_software/
<!-- SC_OFF -->Interesting to see that he said, “I’m very grateful that LLMs are something that I did not have available to me for a large portion of my time learning.” <!-- SC_ON --> submitted by /u/Soul_Predator (https://www.reddit.com/user/Soul_Predator)
[link] (https://analyticsindiamag.com/ai-features/the-story-of-a-prisoner-who-became-a-software-engineer/) [comments] (https://www.reddit.com/r/programming/comments/1lf8o2p/the_story_of_a_prisoner_who_became_a_software/)
The joy of (type) sets in Go
https://www.reddit.com/r/programming/comments/1lf6ndh/the_joy_of_type_sets_in_go/
<!-- SC_OFF -->The point of generic programming (https://bitfieldconsulting.com/posts/generics) is to be able to write code that operates on more than one concrete data type. That way, we don’t have to repeat the same code over and over, once for each kind of data that we need it to handle. But being free and easy about your data types can go too far: type parameters (https://bitfieldconsulting.com/posts/type-parameters) that accept literally any kind of data aren’t that useful. We need constraints (https://bitfieldconsulting.com/posts/constraints) to reduce the set of types that a function can deal with. When the type set is infinite (as it is with [T any], for example), then there’s almost nothing we can do with those values, because we’re infinitely ignorant about them. So, how can we write more flexible constraints, whose type sets are broad enough to be useful, but narrow enough to be usable? <!-- SC_ON --> submitted by /u/EightLines_03 (https://www.reddit.com/user/EightLines_03)
[link] (https://bitfieldconsulting.com/posts/type-sets) [comments] (https://www.reddit.com/r/programming/comments/1lf6ndh/the_joy_of_type_sets_in_go/)
Osprey Programming Language
https://www.reddit.com/r/programming/comments/1letj43/osprey_programming_language/
<!-- SC_OFF -->Osprey is a modern functional programming oriented language designed for elegance, safety, and performance. But, more importantly, this is the first programming language and compiler that encourages you to contribute with AI assistance. Much of the compiler code was written with help from AI. Compilers are no longer relegated to the select few who have the time and privilege to spend years studying compiler design. Check out the playground and jump on the GitHub discussion threads <!-- SC_ON --> submitted by /u/emanresu_2017 (https://www.reddit.com/user/emanresu_2017)
[link] (https://www.ospreylang.dev/) [comments] (https://www.reddit.com/r/programming/comments/1letj43/osprey_programming_language/)
Building with purpose 6.2: Retrieving the user from Clerk
https://www.reddit.com/r/programming/comments/1lemkdh/building_with_purpose_62_retrieving_the_user_from/
submitted by /u/jordiolle11 (https://www.reddit.com/user/jordiolle11)
[link] (https://www.jordi-olle.com/blog/building-with-purpose-62-retrieving-the-user-from-clerk) [comments] (https://www.reddit.com/r/programming/comments/1lemkdh/building_with_purpose_62_retrieving_the_user_from/)
💥 Tech Talks Weekly #64: all new Software Engineering conference talk recordings published in the past 7 days
https://www.reddit.com/r/programming/comments/1lejunu/tech_talks_weekly_64_all_new_software_engineering/
submitted by /u/TechTalksWeekly (https://www.reddit.com/user/TechTalksWeekly)
[link] (https://www.techtalksweekly.io/p/tech-talks-weekly-64) [comments] (https://www.reddit.com/r/programming/comments/1lejunu/tech_talks_weekly_64_all_new_software_engineering/)
CRA to Next.js: Unlock 5x Performance & Perfect SE
https://www.reddit.com/r/programming/comments/1leigvo/cra_to_nextjs_unlock_5x_performance_perfect_se/
<!-- SC_OFF -->Hey everyone, With Create React App now deprecated, I know a lot of us are looking at how to migrate existing projects. I just finished moving a decent-sized app over to the Next.js App Router and wanted to share what I learned. The biggest "aha!" moments for me were: Moving all data fetching from useEffect hooks into async Server Components. This completely eliminated my client-side request waterfalls. Replacing react-router-dom with the new file-based routing and next/navigation hooks. Using middleware for auth instead of client-side logic. It's so much cleaner. I compiled all my notes, code snippets, and a pre-migration checklist into a full guide to make the process easier for others. Hope it helps you out! Link:https://beyondit.blog/blogs/CRA-to-Next-js-Unlock-5x-Performance-Perfect-SEO <!-- SC_ON --> submitted by /u/WillingnessFun7051 (https://www.reddit.com/user/WillingnessFun7051)
[link] (https://beyondit.blog/blogs/CRA-to-Next-js-Unlock-5x-Performance-Perfect-SEO) [comments] (https://www.reddit.com/r/programming/comments/1leigvo/cra_to_nextjs_unlock_5x_performance_perfect_se/)
Ace Your Next JavaScript Interview: `this`, `new`, Prototypes, Classes (Part 3) ✨
https://www.reddit.com/r/programming/comments/1leh78y/ace_your_next_javascript_interview_this_new/
submitted by /u/pepincho (https://www.reddit.com/user/pepincho)
[link] (https://thetshaped.dev/p/ace-your-next-javascript-interview-this-new-keywords-prototypes-classes) [comments] (https://www.reddit.com/r/programming/comments/1leh78y/ace_your_next_javascript_interview_this_new/)
Terminal Commands That I Use to Boost Programming Speed
https://www.reddit.com/r/programming/comments/1lfx0se/terminal_commands_that_i_use_to_boost_programming/
submitted by /u/delvin0 (https://www.reddit.com/user/delvin0)
[link] (https://medium.com/gitconnected/terminal-commands-that-i-use-to-boost-programming-speed-e76b6ef07cb0?sk=84dc6150ea662198080fe12a1f4a0b81) [comments] (https://www.reddit.com/r/programming/comments/1lfx0se/terminal_commands_that_i_use_to_boost_programming/)
In Praise of “Normal” Engineers
https://www.reddit.com/r/programming/comments/1lfsa7f/in_praise_of_normal_engineers/
submitted by /u/gametorch (https://www.reddit.com/user/gametorch)
[link] (https://charity.wtf/2025/06/19/in-praise-of-normal-engineers/) [comments] (https://www.reddit.com/r/programming/comments/1lfsa7f/in_praise_of_normal_engineers/)
Literate: A tool for any programming language. (What is Literate programming?)
https://www.reddit.com/r/programming/comments/1lfpyss/literate_a_tool_for_any_programming_language_what/
submitted by /u/gametorch (https://www.reddit.com/user/gametorch)
[link] (https://github.com/zyedidia/Literate) [comments] (https://www.reddit.com/r/programming/comments/1lfpyss/literate_a_tool_for_any_programming_language_what/)
CQRS in 1 diagram and 178 words
https://www.reddit.com/r/programming/comments/1lfiojk/cqrs_in_1_diagram_and_178_words/
submitted by /u/stmoreau (https://www.reddit.com/user/stmoreau)
[link] (https://www.systemdesignbutsimple.com/p/cqrs-in-1-diagram-and-178-words) [comments] (https://www.reddit.com/r/programming/comments/1lfiojk/cqrs_in_1_diagram_and_178_words/)
Git: From Personal Project to the Tool Everyone Needed
https://www.reddit.com/r/programming/comments/1lfdnlq/git_from_personal_project_to_the_tool_everyone/
<!-- SC_OFF -->In the early 1990s, Linus Torvalds, a student from Finland, began working on an operating system kernel. What started as a personal project gradually evolved into Linux, which eventually became one of the most widely used open-source operating systems in the world. Since the source code was open to everyone, developers from different parts of the world began contributing. As the community grew, Linus and his team needed a proper way to manage all the code changes efficiently. To manage the increasing number of contributions, the Linux team started using a version control system called BitKeeper around 2002. BitKeeper worked well for a large-scale project like the Linux kernel because it was fast and had the right features. However, BitKeeper was a proprietary ( not open-source ) tool. The Linux community was only allowed to use it under certain conditions. In 2005, the company behind BitKeeper revoked that access after conflicts with the community. This left the Linux project without a proper version control system during a crucial time. After BitKeeper was no longer available, Linus decided not to depend on external tools again. He was not satisfied with the alternatives like CVS (Concurrent Versions System) or Subversion (SVN), as they were too slow and inflexible for the scale of the Linux project. Instead of depending on another tool, he chose to build his own. In approximately ten days, Linus created the first version of Git. His only goal was to build something efficient for managing Linux development. It was not designed as a public project or a tool for others. Git was simply a personal solution to a real problem he was facing. But it did not remain personal for long. The qualities that made Git suitable for Linux quickly caught the attention of developers around the world. A distributed system that ensured speed, reliability, and safe collaboration became valuable far beyond its original purpose. Git gradually moved from being a personal tool built by Linus to becoming the version control system used by almost every software team today. While reading about how Git got its name, I came across this on Wikipedia (https://en.wikipedia.org/wiki/Git#Naming). The documentation lists a few possible meanings behind the name Git. Here is the exact text: "git" can mean anything, depending on your mood. Random three-letter combination that is pronounceable, and not actually used by any common UNIX command. The fact that it is a mispronunciation of "get" may or may not be relevant. Stupid. Contemptible and despicable. Simple. Take your pick from the dictionary of slang. "Global information tracker": you're in a good mood, and it actually works for you. Angels sing, and a light suddenly fills the room. "Goddamn idiotic truckload of sh*t": when it breaks. <!-- SC_ON --> submitted by /u/Karthik-Writes-Tech (https://www.reddit.com/user/Karthik-Writes-Tech)
[link] (https://karthikwritestech.com/git-from-personal-project-to-the-tool-everyone-needed/) [comments] (https://www.reddit.com/r/programming/comments/1lfdnlq/git_from_personal_project_to_the_tool_everyone/)
Day 30: Async vs Cluster vs Worker Threads in Node.js — Which One Should You Use?
https://www.reddit.com/r/programming/comments/1lfbgy9/day_30_async_vs_cluster_vs_worker_threads_in/
submitted by /u/MysteriousEye8494 (https://www.reddit.com/user/MysteriousEye8494)
[link] (https://blog.stackademic.com/day-30-async-vs-cluster-vs-worker-threads-in-node-js-which-one-should-you-use-bef12a9681e7) [comments] (https://www.reddit.com/r/programming/comments/1lfbgy9/day_30_async_vs_cluster_vs_worker_threads_in/)
Gauntlet Language Updated: Sum Types, Reworked Syntax, New Pipe Operator
https://www.reddit.com/r/programming/comments/1lfa545/gauntlet_language_updated_sum_types_reworked/
submitted by /u/TricolorHen061 (https://www.reddit.com/user/TricolorHen061)
[link] (https://gauntletlang.gitbook.io/docs/version-release-notes/v0.2.0-alpha) [comments] (https://www.reddit.com/r/programming/comments/1lfa545/gauntlet_language_updated_sum_types_reworked/)
Rate Limiting in .NET with Redis
https://www.reddit.com/r/programming/comments/1lf8qwd/rate_limiting_in_net_with_redis/
<!-- SC_OFF -->Hey everyone I just published a guide on Rate Limiting in .NET with Redis, and I hope it’ll be valuable for anyone working with APIs, microservices, or distributed systems and looking to implement rate limiting in a distributed environment. In this post, I cover: - Why rate limiting is critical for modern APIs
- The limitations of the built-in .NET RateLimiter in distributed environments
- How to implement Fixed Window, Sliding Window (with and without Lua), and Token Bucket algorithms using Redis
- Sample code, Docker setup, Redis tips, and gotchas like clock skew and fail-open vs. fail-closed strategies If you’re looking to implement rate limiting for your .NET APIs — especially in load-balanced or multi-instance setups — this guide should save you a ton of time. Check it out here:
https://hamedsalameh.com/implementing-rate-limiting-in-net-with-redis-easily/ <!-- SC_ON --> submitted by /u/DotDeveloper (https://www.reddit.com/user/DotDeveloper)
[link] (https://hamedsalameh.com/implementing-rate-limiting-in-net-with-redis-easily/) [comments] (https://www.reddit.com/r/programming/comments/1lf8qwd/rate_limiting_in_net_with_redis/)
the six-month recap: closing talk on AI at Web Directions, Melbourne, June 2025
https://www.reddit.com/r/programming/comments/1lf7p04/the_sixmonth_recap_closing_talk_on_ai_at_web/
submitted by /u/geoffreyhuntley (https://www.reddit.com/user/geoffreyhuntley)
[link] (https://ghuntley.com/six-month-recap/) [comments] (https://www.reddit.com/r/programming/comments/1lf7p04/the_sixmonth_recap_closing_talk_on_ai_at_web/)
Real-time analytics with an all-in-one system: Are we there yet?
https://www.reddit.com/r/programming/comments/1lf6a3k/realtime_analytics_with_an_allinone_system_are_we/
submitted by /u/j1897OS (https://www.reddit.com/user/j1897OS)
[link] (https://questdb.com/blog/realtime-analytics-using-tsdb/) [comments] (https://www.reddit.com/r/programming/comments/1lf6a3k/realtime_analytics_with_an_allinone_system_are_we/)
UI Component Testing Revisited: Modern Implementation with Visual Verification
https://www.reddit.com/r/programming/comments/1lepscg/ui_component_testing_revisited_modern/
submitted by /u/defnotthrown (https://www.reddit.com/user/defnotthrown)
[link] (https://paulhammant.com/2025/06/17/ui-component-testing-revisited/) [comments] (https://www.reddit.com/r/programming/comments/1lepscg/ui_component_testing_revisited_modern/)
JSON module scripts are now Baseline Newly available
https://www.reddit.com/r/programming/comments/1lem1s3/json_module_scripts_are_now_baseline_newly/
submitted by /u/feross (https://www.reddit.com/user/feross)
[link] (https://web.dev/blog/json-imports-baseline-newly-available?hl=en) [comments] (https://www.reddit.com/r/programming/comments/1lem1s3/json_module_scripts_are_now_baseline_newly/)
Node.js Interview Q&A: Day 11
https://www.reddit.com/r/programming/comments/1leit9l/nodejs_interview_qa_day_11/
submitted by /u/MysteriousEye8494 (https://www.reddit.com/user/MysteriousEye8494)
[link] (https://medium.com/devinsight/node-js-interview-q-a-day-11-af1fb3153220) [comments] (https://www.reddit.com/r/programming/comments/1leit9l/nodejs_interview_qa_day_11/)
Exploring JavaScript (ES2025 Edition)
https://www.reddit.com/r/programming/comments/1lehwel/exploring_javascript_es2025_edition/
submitted by /u/mariuz (https://www.reddit.com/user/mariuz)
[link] (https://exploringjs.com/js/downloads/exploring-js-book-changelog.html) [comments] (https://www.reddit.com/r/programming/comments/1lehwel/exploring_javascript_es2025_edition/)
A* Path Finding
https://www.reddit.com/r/programming/comments/1legxlh/a_path_finding/
submitted by /u/symbolicard (https://www.reddit.com/user/symbolicard)
[link] (https://www.redblobgames.com/pathfinding/a-star/introduction.html) [comments] (https://www.reddit.com/r/programming/comments/1legxlh/a_path_finding/)