Reddit Programming – Telegram
Reddit Programming
211 subscribers
1.22K photos
125K links
I will send you newest post from subreddit /r/programming
Download Telegram
Functional Equality (rewrite)
https://www.reddit.com/r/programming/comments/1pt2c68/functional_equality_rewrite/

<!-- SC_OFF -->Three years after my original post here (https://www.reddit.com/r/programming/comments/13yjutr/functional_equality/), I've extensively rewritten my essay on Functional Equality vs. Semantic Equality in programming languages. It dives into Leibniz's Law, substitutability, caching pitfalls, and a survey of == across langs like Python, Go, and Haskell. Feedback welcome! <!-- SC_ON --> submitted by /u/Master-Reception9062 (https://www.reddit.com/user/Master-Reception9062)
[link] (https://jonathanwarden.com/functional-equality/) [comments] (https://www.reddit.com/r/programming/comments/1pt2c68/functional_equality_rewrite/)
Algorithmically Generated Crosswords: Finding 'good enough' for an NP-Complete problem
https://www.reddit.com/r/programming/comments/1pt2x8x/algorithmically_generated_crosswords_finding_good/

<!-- SC_OFF -->The library is on GitHub (Eyas/xwgen) and linked from the post, which you can use with a provided sample dictionary. <!-- SC_ON --> submitted by /u/eyassh (https://www.reddit.com/user/eyassh)
[link] (https://blog.eyas.sh/2025/12/algorithmic-crosswords/) [comments] (https://www.reddit.com/r/programming/comments/1pt2x8x/algorithmically_generated_crosswords_finding_good/)
Mitigating Cascading Failures in Distributed Systems :Architectural Analysis
https://www.reddit.com/r/programming/comments/1pt44im/mitigating_cascading_failures_in_distributed/

<!-- SC_OFF -->In high-scale distributed architectures, a marginal increase in latency within a leaf service is rarely an isolated event. Instead, it frequently serves as the catalyst for cascading failures—a systemic collapse where resource exhaustion propagates upstream, transforming localized degradation into a total site outage. The Mechanism of Resource Exhaustion The fundamental vulnerability in many microservices architectures is the reliance on synchronous, blocking I/O within fixed thread pools. When a downstream dependency (e.g., a database or a third-party API) transitions from a 100ms response time to a 10-second latency, the calling service’s worker threads do not vanish; they become blocked. Consider an API gateway utilizing a pool of 200 worker threads. If a downstream service slows significantly, these threads quickly saturate while waiting for I/O completion. Once the pool is exhausted, the service can no longer accept new connections, effectively rendering the system unavailable despite the process remaining “healthy” from a liveness-probe perspective. This is not a crash; it is thread starvation. https://sdcourse.substack.com/ https://systemdrd.com/ <!-- SC_ON --> submitted by /u/Extra_Ear_10 (https://www.reddit.com/user/Extra_Ear_10)
[link] (https://systemdr.substack.com/p/mitigating-cascading-failures-in) [comments] (https://www.reddit.com/r/programming/comments/1pt44im/mitigating_cascading_failures_in_distributed/)
A benchmark for one-shot catastrophe avoidance in RL agents (MiniGrid LavaCrossing)
https://www.reddit.com/r/programming/comments/1ptjeoq/a_benchmark_for_oneshot_catastrophe_avoidance_in/

<!-- SC_OFF -->I’m sharing a new benchmark and paper that tests a specific capability in reinforcement learning agents: whether an agent can learn a permanent safety constraint from a single catastrophic failure and generalize it to unseen environments. The benchmark uses the official MiniGrid LavaCrossing environments (no custom modifications, fixed seeds). The protocol is: Run an agent until it experiences its first lava death Freeze the agent (no training, no gradients, no parameter updates) Evaluate on hundreds of unseen episodes Measure whether the agent ever steps into lava again The key metric is post_death_lava_deaths, which should be zero for true one-shot constraint learning. A public benchmark harness is included so others can test their own agents under the same rules. The paper describes the protocol, metrics, and design decisions in detail. Feedback from people working in RL, safety, or benchmarks would be especially welcome. <!-- SC_ON --> submitted by /u/anima-core (https://www.reddit.com/user/anima-core)
[link] (https://zenodo.org/records/18027900) [comments] (https://www.reddit.com/r/programming/comments/1ptjeoq/a_benchmark_for_oneshot_catastrophe_avoidance_in/)
Implementing “Remember Me” in Java Swing (Real User Management Module)
https://www.reddit.com/r/programming/comments/1ptkrgl/implementing_remember_me_in_java_swing_real_user/

<!-- SC_OFF -->I’m working on a complete Library Management System using Java Swing and MySQL, and in Part 31 of the series I implemented a “Remember Me” functionality inside the User Management / Login module. Many Java Swing tutorials stop at basic login forms, but this video focuses on real-world behavior that users actually expect. What’s covered in this video? Login system with Remember Me checkbox Secure credential handling (no plain text passwords) Saving & loading login state properly Java Swing UI + backend logic separation JDBC + MySQL integration Best practices for desktop authentication Why this matters “Remember Me” seems simple, but implementing it correctly and safely in a desktop application is often skipped or done incorrectly. This video walks through the logic step-by-step as part of a real project, not a demo app. Who this is for? Java Swing learners Students building final-year projects Developers learning desktop authentication flows Anyone moving from basics to real systems YouTube Video (Part 31 – Remember Me Functionality):
Part 31 — Java Swing Library System | Part 8 User Management Module – Remember Me Functionality (https://www.youtube.com/watch?v=0QlgVoE0vJc&t=13s) Full Library Management System Playlist:
https://www.youtube.com/playlist?list=PLR_BEPp_tMBv2T4zT7Z0rL-zgLL6WxEmF <!-- SC_ON --> submitted by /u/Substantial-Log-9305 (https://www.reddit.com/user/Substantial-Log-9305)
[link] (https://www.youtube.com/watch?v=0QlgVoE0vJc&t=13s) [comments] (https://www.reddit.com/r/programming/comments/1ptkrgl/implementing_remember_me_in_java_swing_real_user/)
Talks Worth Watching – Week of 2025-12-22
https://www.reddit.com/r/programming/comments/1ptm55f/talks_worth_watching_week_of_20251222/

<!-- SC_OFF -->This week's HFT Weekly roundup covers seven conference talks united by a common theme: domain knowledge beats generic optimization. Highlights include Greg Law's L3 logging library achieving 1ns latency by eliminating locks via memory-mapped buffers and atomic operations, Khalil Estell's 90% reduction in C++ exception overhead through smarter table search algorithms, Denis Yaroshevskiy explaining C++26 hazard pointers for lock-free config access at Meta, and Andrew Drakeford demonstrating a million-times speedup in leave-one-out regression by exploiting mathematical properties rather than just cache locality. The week's takeaway: before reaching for SIMD or optimizing data layout, spend time understanding what your code actually does at the domain level—that's where the biggest wins hide. <!-- SC_ON --> submitted by /u/OkSadMathematician (https://www.reddit.com/user/OkSadMathematician)
[link] (https://hftuniversity.com/2025/12/23/hft-weekly-2025-12-22-3/) [comments] (https://www.reddit.com/r/programming/comments/1ptm55f/talks_worth_watching_week_of_20251222/)
Posting my takeaways from AI Engineers Code (NYC) Conference
https://www.reddit.com/r/programming/comments/1ptnklp/posting_my_takeaways_from_ai_engineers_code_nyc/

<!-- SC_OFF -->Took a few days of watching to get through all the sessions of AIE Code but its finally done. Obviously a lot of marketing and self promotion in the talks but infinitely more value from the learnings and experiments from the companies working at the cutting edge of AI. Both in research and implementation. Hope y'all find this useful. <!-- SC_ON --> submitted by /u/ric03uec (https://www.reddit.com/user/ric03uec)
[link] (https://www.devashish.me/p/aie-code-2025-wrapup) [comments] (https://www.reddit.com/r/programming/comments/1ptnklp/posting_my_takeaways_from_ai_engineers_code_nyc/)
PyTorch vs TensorFlow in Enterprise Isn’t a Model Choice; It’s an Org Design Choice
https://www.reddit.com/r/programming/comments/1pttx2e/pytorch_vs_tensorflow_in_enterprise_isnt_a_model/

<!-- SC_OFF -->Most PyTorch vs TensorFlow debates stop at syntax or research popularity, but in enterprise environments the real differences show up later; deployment workflows, model governance, monitoring, and how easily teams can move from experiment to production. PyTorch often wins developer mindshare, while TensorFlow still shows up strong where long-term stability, tooling, and standardized pipelines matter. The “better” choice usually depends less on the model and more on how your org ships, scales, and maintains ML systems. This guide breaks down the trade-offs through an enterprise lens instead of a hype-driven one: PyTorch vs TensorFlow (https://www.netcomlearning.com/blog/pytorch-vs-tensorflow-enterprise-guide) What tipped the scale for your team; developer velocity, production tooling, or long-term maintainability? <!-- SC_ON --> submitted by /u/netcommah (https://www.reddit.com/user/netcommah)
[link] (https://www.netcomlearning.com/blog/pytorch-vs-tensorflow-enterprise-guide) [comments] (https://www.reddit.com/r/programming/comments/1pttx2e/pytorch_vs_tensorflow_in_enterprise_isnt_a_model/)
Agent Tech Lead + RTS game
https://www.reddit.com/r/programming/comments/1ptwzo7/agent_tech_lead_rts_game/

<!-- SC_OFF -->Wrote a blog post about using Cursor Cloud API to manage multiple agents in parallel — basically a kanban board where each task is a separate agent. Calling it "Agent Tech Lead". The main idea: software engineering is becoming an RTS game. Your company is the map, coding agents are your units, and your job is to place them, unblock them, and intervene when someone gets stuck. Job denoscription for this role if anyone wants to reuse: https://github.com/kyryl-opens-ml/ai-engineering/blob/main/blog-posts/agent-tech-lead/JobDenoscription.md <!-- SC_ON --> submitted by /u/Such_Tale_9830 (https://www.reddit.com/user/Such_Tale_9830)
[link] (https://kyrylai.com/2025/12/23/becoming-an-aiagent-tech-lead/) [comments] (https://www.reddit.com/r/programming/comments/1ptwzo7/agent_tech_lead_rts_game/)