212
I will send you newest post from subreddit /r/programming
How to check for overlapping intervals
https://www.reddit.com/r/programming/comments/1o6el19/how_to_check_for_overlapping_intervals/
submitted by /u/mzl (https://www.reddit.com/user/mzl)
[link] (https://zayenz.se/blog/post/how-to-check-for-overlapping-intervals/) [comments] (https://www.reddit.com/r/programming/comments/1o6el19/how_to_check_for_overlapping_intervals/)
Inside Cassandra: The Internals That Make It Fast and Massively Scalable
https://www.reddit.com/r/programming/comments/1o68coy/inside_cassandra_the_internals_that_make_it_fast/
submitted by /u/Sushant098123 (https://www.reddit.com/user/Sushant098123)
[link] (https://beyondthesyntax.substack.com/p/inside-cassandra-the-internals-that) [comments] (https://www.reddit.com/r/programming/comments/1o68coy/inside_cassandra_the_internals_that_make_it_fast/)
React Compiler v1.0
https://www.reddit.com/r/programming/comments/1o5x90j/react_compiler_v10/
submitted by /u/alexeyr (https://www.reddit.com/user/alexeyr)
[link] (https://react.dev/blog/2025/10/07/react-compiler-1) [comments] (https://www.reddit.com/r/programming/comments/1o5x90j/react_compiler_v10/)
Tests Don’t Prove Code Is Correct… They Just Agree With It
https://www.reddit.com/r/programming/comments/1o5rh32/tests_dont_prove_code_is_correct_they_just_agree/
<!-- SC_OFF -->“A test isn’t proof that something is correct, it’s proof that one piece of code behaves the way another piece of code thinks it should behave.” This thought hit me the other day while writing a few “perfectly passing” tests. I realized they weren’t actually proving anything — just confirming that my assumptions in two places matched. When both your implementation and your test share the same wrong assumption, everything still passes. Green checkmarks, false confidence. It made me rethink what tests are even for. They’re not really about proving truth — more about locking down intent. A way to say, “If I ever change this behavior, I want to know.” The tricky part is that the intent itself can be wrong. Anyway, just a random reflection from too many late nights chasing 100% coverage. Curious how you all think about it — do you see tests as validation, documentation, or just guardrails to keep chaos in check? <!-- SC_ON --> submitted by /u/untypedfuture (https://www.reddit.com/user/untypedfuture)
[link] (arnonaxelrod/proof-driven-development-or-the-business-value-of-clean-code-b84380ff312e" rel="nofollow">https://medium.com/@arnonaxelrod/proof-driven-development-or-the-business-value-of-clean-code-b84380ff312e) [comments] (https://www.reddit.com/r/programming/comments/1o5rh32/tests_dont_prove_code_is_correct_they_just_agree/)
Environment variables are a legacy mess: Let's dive deep into them
https://www.reddit.com/r/programming/comments/1o5j78b/environment_variables_are_a_legacy_mess_lets_dive/
submitted by /u/Low-Strawberry7579 (https://www.reddit.com/user/Low-Strawberry7579)
[link] (https://allvpv.org/haotic-journey-through-envvars/) [comments] (https://www.reddit.com/r/programming/comments/1o5j78b/environment_variables_are_a_legacy_mess_lets_dive/)
zkTLS for Verifiable HTTP — Stop Blindly Trusting AI Agents & Oracles
https://www.reddit.com/r/programming/comments/1o5bxsd/zktls_for_verifiable_http_stop_blindly_trusting/
<!-- SC_OFF -->When you’re vibe-coding with LLMs, you often heard: LLMs say:
“✅ I sent the request.”
Oracles say:
“✅ This is the real data.” But… how do you verify that actually happened?
You don’t. You just blindly trust. 😬 And this isn’t just an LLM problem — humans do this too.
Without proof, trust is fragile. That's why we build VEFAS (Verifiable Execution Framework for AI Agents) changes that.
We use zkTLS to turn any HTTP(S) request into a cryptographic proof: At time T, I sent request X to URL Y over real TLS and got response Z. ❌ No notaries ❌ No trusted gateways ✅ Anyone can verify the proof This is the first layer of a bigger verifiable AI stack.
The project is open source, under heavy development, and we’re inviting devs, cryptographers, and AI builders to help push this forward. <!-- SC_ON --> submitted by /u/bryanlee9889 (https://www.reddit.com/user/bryanlee9889)
[link] (https://github.com/Off-Live/vefas) [comments] (https://www.reddit.com/r/programming/comments/1o5bxsd/zktls_for_verifiable_http_stop_blindly_trusting/)
Be like John
https://www.reddit.com/r/programming/comments/1o526wh/be_like_john/
submitted by /u/balianone (https://www.reddit.com/user/balianone)
[link] (https://www.youtube.com/watch?v=kqLz53z8Inc) [comments] (https://www.reddit.com/r/programming/comments/1o526wh/be_like_john/)
Vite: The Documentary
https://www.reddit.com/r/programming/comments/1o500cl/vite_the_documentary/
submitted by /u/Happy_Junket_9540 (https://www.reddit.com/user/Happy_Junket_9540)
[link] (https://youtu.be/bmWQqAKLgT4?si=ppak7jaUeWrXw1Bv) [comments] (https://www.reddit.com/r/programming/comments/1o500cl/vite_the_documentary/)
Making a Game Inside Blender
https://www.reddit.com/r/programming/comments/1o4vopd/making_a_game_inside_blender/
submitted by /u/Diligent_Historian_4 (https://www.reddit.com/user/Diligent_Historian_4)
[link] (https://youtu.be/g-yZDG_0qw8) [comments] (https://www.reddit.com/r/programming/comments/1o4vopd/making_a_game_inside_blender/)
Pattern Matching, Under the Microscope
https://www.reddit.com/r/programming/comments/1o4tyhy/pattern_matching_under_the_microscope/
submitted by /u/BlueGoliath (https://www.reddit.com/user/BlueGoliath)
[link] (https://youtube.com/watch?v=hcWKRfRR-7Y&pp=0gcJCRsBo7VqN5tD) [comments] (https://www.reddit.com/r/programming/comments/1o4tyhy/pattern_matching_under_the_microscope/)
Documentation for BASIC Studio on PS2
https://www.reddit.com/r/programming/comments/1o4oukr/documentation_for_basic_studio_on_ps2/
<!-- SC_OFF -->BASIC Studio is a programming and asset (models, images, music) creation suite released in 2001 in Japan for the Playstation 2. I recently completed a complete translation of the included documentation, for those who might have fun with it. More info can be found here https://forums.insertcredit.com/t/welcome-to-basic-studio-powerful-game-workshop-ps2/5395 <!-- SC_ON --> submitted by /u/mds01 (https://www.reddit.com/user/mds01)
[link] (https://archive.org/details/basic-studio-ps2-documentation_202510) [comments] (https://www.reddit.com/r/programming/comments/1o4oukr/documentation_for_basic_studio_on_ps2/)
Introducing the Testing Vial: a (better?) alternative to Testing Diamond and Testing Pyramid
https://www.reddit.com/r/programming/comments/1o4lons/introducing_the_testing_vial_a_better_alternative/
<!-- SC_OFF -->The Testing Pyramid emphasizes Unit Tests. The Testing Diamond emphasizes Integration Tests. But I really think we should not focus on technical aspects. That's why I came up with the Testing Vial. Let me know what you think of it! <!-- SC_ON --> submitted by /u/davidebellone (https://www.reddit.com/user/davidebellone)
[link] (https://www.code4it.dev/blog/testing-vial/) [comments] (https://www.reddit.com/r/programming/comments/1o4lons/introducing_the_testing_vial_a_better_alternative/)
Consistency in Databases — Why it matters
https://www.reddit.com/r/programming/comments/1o4iox0/consistency_in_databases_why_it_matters/
submitted by /u/smit2k14 (https://www.reddit.com/user/smit2k14)
[link] (smit2k14/consistency-in-databases-why-it-matters-ee7fee2f060a" rel="nofollow">https://medium.com/@smit2k14/consistency-in-databases-why-it-matters-ee7fee2f060a) [comments] (https://www.reddit.com/r/programming/comments/1o4iox0/consistency_in_databases_why_it_matters/)
Zed's DeltaDB idea - real problem or overkill?
https://www.reddit.com/r/programming/comments/1o4h34t/zeds_deltadb_idea_real_problem_or_overkill/
<!-- SC_OFF -->Zed the editor pitched this thing called DeltaDB — a version control system that tracks every small code change and discussion, not just commits. https://zed.dev/blog/sequoia-backs-zed The idea is that this helps: Humans – who waste time figuring out why code was written a certain way because commit messages lose meaning and the real discussions are buried in Slack etc. AI agents – which today see only the code snapshot, not the reasoning behind it, so they suggest stuff that ignores intent. Basically, DeltaDB wants code to carry its why, not just its what. ⸻ Do these problems actually hurt you in real life? Would you want your editor or version control to remember that much context, or is this just unnecessary complexity? Share your stories. I personally hit #1 a lot when I was a dev — chasing old Slack threads just to understand one weird line of code. <!-- SC_ON --> submitted by /u/anonymous085 (https://www.reddit.com/user/anonymous085)
[link] (https://zed.dev/blog/sequoia-backs-zed) [comments] (https://www.reddit.com/r/programming/comments/1o4h34t/zeds_deltadb_idea_real_problem_or_overkill/)
Real Consulting Example: Refactoring FinTech Project to use Terraform and ArgoCD
https://www.reddit.com/r/programming/comments/1o46o52/real_consulting_example_refactoring_fintech/
submitted by /u/trolleid (https://www.reddit.com/user/trolleid)
[link] (https://lukasniessen.medium.com/real-consulting-example-refactoring-fintech-project-to-use-terraform-and-argocd-1180594b071a) [comments] (https://www.reddit.com/r/programming/comments/1o46o52/real_consulting_example_refactoring_fintech/)
We saved 76% on our cloud bills while tripling our capacity by migrating to Hetzner from AWS and DigitalOcean
https://www.reddit.com/r/programming/comments/1o6au24/we_saved_76_on_our_cloud_bills_while_tripling_our/
submitted by /u/hedgehogsinus (https://www.reddit.com/user/hedgehogsinus)
[link] (https://digitalsociety.coop/posts/migrating-to-hetzner-cloud/) [comments] (https://www.reddit.com/r/programming/comments/1o6au24/we_saved_76_on_our_cloud_bills_while_tripling_our/)
The Story of Codesmith: How a Competitor Crippled a $23.5M Bootcamp By Becoming a Reddit Moderator
https://www.reddit.com/r/programming/comments/1o67ip8/the_story_of_codesmith_how_a_competitor_crippled/
<!-- SC_OFF -->Saw this on theprimeagen stream, thought it would be interested to share. Anyone here who did a codesmith bootcamp? <!-- SC_ON --> submitted by /u/Happy_Junket_9540 (https://www.reddit.com/user/Happy_Junket_9540)
[link] (https://larslofgren.com/codesmith-reddit-reputation-attack/) [comments] (https://www.reddit.com/r/programming/comments/1o67ip8/the_story_of_codesmith_how_a_competitor_crippled/)
AI Won’t Fix Broken Systems: Lessons from the 2025 DORA Report
https://www.reddit.com/r/programming/comments/1o5wxpz/ai_wont_fix_broken_systems_lessons_from_the_2025/
<!-- SC_OFF -->Faster coding doesn’t always mean increased productivity. <!-- SC_ON --> submitted by /u/aviator_co (https://www.reddit.com/user/aviator_co)
[link] (https://www.aviator.co/blog/ai-2025-dora-report/) [comments] (https://www.reddit.com/r/programming/comments/1o5wxpz/ai_wont_fix_broken_systems_lessons_from_the_2025/)
There Are No Programmers In Star Trek
https://www.reddit.com/r/programming/comments/1o5rdyg/there_are_no_programmers_in_star_trek/
submitted by /u/Active-Fuel-49 (https://www.reddit.com/user/Active-Fuel-49)
[link] (https://www.i-programmer.info/news/99-professional/18368-there-are-no-programmers-in-star-trek.html) [comments] (https://www.reddit.com/r/programming/comments/1o5rdyg/there_are_no_programmers_in_star_trek/)
Blameless Culture in Software Engineering
https://www.reddit.com/r/programming/comments/1o5czje/blameless_culture_in_software_engineering/
submitted by /u/thehustlingengineer (https://www.reddit.com/user/thehustlingengineer)
[link] (https://open.substack.com/pub/thehustlingengineer/p/how-to-build-a-blameless-culture?r=yznlc&utm_medium=ios) [comments] (https://www.reddit.com/r/programming/comments/1o5czje/blameless_culture_in_software_engineering/)
Java Backend Coding Technology
https://www.reddit.com/r/programming/comments/1o5ao8k/java_backend_coding_technology/
<!-- SC_OFF -->The new approach to writing Java backend code. No "best practices", no "clean code" mantras. Just a small set of clear and explicit rules. <!-- SC_ON --> submitted by /u/Zestyclose-Error9313 (https://www.reddit.com/user/Zestyclose-Error9313)
[link] (https://pragmatica.dev/) [comments] (https://www.reddit.com/r/programming/comments/1o5ao8k/java_backend_coding_technology/)
From Text to Token: How Tokenization Pipelines Work
https://www.reddit.com/r/programming/comments/1o51z48/from_text_to_token_how_tokenization_pipelines_work/
submitted by /u/jamesgresql (https://www.reddit.com/user/jamesgresql)
[link] (https://www.paradedb.com/blog/when-tokenization-becomes-token) [comments] (https://www.reddit.com/r/programming/comments/1o51z48/from_text_to_token_how_tokenization_pipelines_work/)
Using Constraint Satisfaction to Optimize Item Selection for Bundles in Minecraft
https://www.reddit.com/r/programming/comments/1o4wx99/using_constraint_satisfaction_to_optimize_item/
submitted by /u/Fickle-Ad-866 (https://www.reddit.com/user/Fickle-Ad-866)
[link] (https://www.robw.fyi/2025/10/12/using-constraint-satisfaction-to-optimize-item-selection-for-bundles-in-minecraft/) [comments] (https://www.reddit.com/r/programming/comments/1o4wx99/using_constraint_satisfaction_to_optimize_item/)
The LLMentalist Effect: How AI programmers and users and trick themselves
https://www.reddit.com/r/programming/comments/1o4vas9/the_llmentalist_effect_how_ai_programmers_and/
submitted by /u/grauenwolf (https://www.reddit.com/user/grauenwolf)
[link] (https://softwarecrisis.dev/letters/llmentalist/) [comments] (https://www.reddit.com/r/programming/comments/1o4vas9/the_llmentalist_effect_how_ai_programmers_and/)
Exploring Database Isolation Levels: A Deep Dive into Anomalies
https://www.reddit.com/r/programming/comments/1o4pdp6/exploring_database_isolation_levels_a_deep_dive/
submitted by /u/teivah (https://www.reddit.com/user/teivah)
[link] (https://www.thecoder.cafe/p/exploring-database-isolation-levels) [comments] (https://www.reddit.com/r/programming/comments/1o4pdp6/exploring_database_isolation_levels_a_deep_dive/)
C++ reflection (P2996) and moc
https://www.reddit.com/r/programming/comments/1o4oqu9/c_reflection_p2996_and_moc/
submitted by /u/DateFriendly8502 (https://www.reddit.com/user/DateFriendly8502)
[link] (https://wiki.qt.io/C%2B%2B_reflection_(P2996)_and_moc) [comments] (https://www.reddit.com/r/programming/comments/1o4oqu9/c_reflection_p2996_and_moc/)
Mario 64's Sound engine is better than the game itself
https://www.reddit.com/r/programming/comments/1o4lats/mario_64s_sound_engine_is_better_than_the_game/
submitted by /u/Chii (https://www.reddit.com/user/Chii)
[link] (https://www.youtube.com/watch?v=Ot-lD1ABxqQ) [comments] (https://www.reddit.com/r/programming/comments/1o4lats/mario_64s_sound_engine_is_better_than_the_game/)
Coding Adventure: Simulating Smoke
https://www.reddit.com/r/programming/comments/1o4ifwl/coding_adventure_simulating_smoke/
submitted by /u/Chii (https://www.reddit.com/user/Chii)
[link] (https://www.youtube.com/watch?v=Q78wvrQ9xsU) [comments] (https://www.reddit.com/r/programming/comments/1o4ifwl/coding_adventure_simulating_smoke/)
Why I built the same REST API in 5 languages (C#, Java, Go, TypeScript, Python)
https://www.reddit.com/r/programming/comments/1o4ex3p/why_i_built_the_same_rest_api_in_5_languages_c/
submitted by /u/AdventurousArticle40 (https://www.reddit.com/user/AdventurousArticle40)
[link] (ayasrah/i-open-sourced-my-production-todo-app-written-in-c-java-go-typescript-and-python-fa4eb24b90f3" rel="nofollow">https://medium.com/@ayasrah/i-open-sourced-my-production-todo-app-written-in-c-java-go-typescript-and-python-fa4eb24b90f3) [comments] (https://www.reddit.com/r/programming/comments/1o4ex3p/why_i_built_the_same_rest_api_in_5_languages_c/)
Talking Postgres podcast: The Fundamental Interconnectedness of All Things with Boriss Mejías
https://www.reddit.com/r/programming/comments/1o45hpl/talking_postgres_podcast_the_fundamental/
<!-- SC_OFF -->I just published a podcast episode with guest Boriss Mejías (systems engineer, solutions architect, teacher, musician) about the methodologies he uses to tackle complex database issues. The topic: The Fundamental Interconnectedness of All Things. Douglas Adams fans will recognize the idea: look holistically at a system, not just at piece parts. We apply that lens to a few software problems (plus some fun analogies). This episode is not just for Postgres people—the things we discussed are useful for anyone interested in the creative process, why perfectionism is overrated, how chess clocks help with decision-making, and how to help users learn about technology through metaphor. Example: Sparta’s dual-kingship and Postgres active-active. If you like systems thinking, and like exploring the connections between seemingly disparate topics, this episode is for you. 🎧 Listen wherever you get your podcasts (there’s also a transcript): https://talkingpostgres.com/episodes/the-fundamental-interconnectedness-of-all-things-with-boriss-mejias OP here and podcast host... Feedback (and ideas for future guests and topics) welcome. <!-- SC_ON --> submitted by /u/clairegiordano (https://www.reddit.com/user/clairegiordano)
[link] (https://talkingpostgres.com/episodes/the-fundamental-interconnectedness-of-all-things-with-boriss-mejias) [comments] (https://www.reddit.com/r/programming/comments/1o45hpl/talking_postgres_podcast_the_fundamental/)